| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ vertexcover-instances/normalized-vertexcover-grid6x25.opb |
| MD5SUM | ba4dac5e63ce4b7dd0b2bb812f19aa1c |
| 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.007997 |
| 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 | 150 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 300 |
| 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 | 150 |
| 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 | 75 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 225 |
| 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.04 c 2016-06-15T22:29:55+0200 0.00/0.04 c version = 0.5.0 0.00/0.04 c githash = 1a49202 0.00/0.04 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.04 c arch = x86_64 0.00/0.04 c os = linux 0.00/0.04 c compiler = ghc 7.10 0.00/0.04 c packages: 0.00/0.04 c OptDir-0.0.3 0.00/0.04 c array-0.5.1.0 0.00/0.04 c base-4.8.2.0 0.00/0.04 c bytestring-0.10.6.0 0.00/0.04 c bytestring-builder-0.10.6.0.0 0.00/0.04 c clock-0.7.2 0.00/0.04 c containers-0.5.6.2 0.00/0.04 c data-default-0.5.3 0.00/0.04 c data-default-class-0.0.1 0.00/0.04 c data-interval-1.2.0 0.00/0.04 c deepseq-1.4.1.1 0.00/0.04 c directory-1.2.2.0 0.00/0.04 c exceptions-0.8.2.1 0.00/0.04 c extended-reals-0.2.1.0 0.00/0.04 c filepath-1.4.0.0 0.00/0.04 c finite-field-0.8.0 0.00/0.04 c hashable-1.2.4.0 0.00/0.04 c heaps-0.3.3 0.00/0.04 c intern-0.9.1.4 0.00/0.04 c loop-0.3.0 0.00/0.04 c mtl-2.2.1 0.00/0.04 c multiset-0.3.2 0.00/0.04 c mwc-random-0.13.3.2 0.00/0.04 c parse_dimacs-1.3 0.00/0.04 c parsec-3.1.9 0.00/0.04 c prettyclass-1.0.0.0 0.00/0.04 c primes-0.2.1.0 0.00/0.04 c primitive-0.6.1.0 0.00/0.04 c process-1.2.3.0 0.00/0.04 c pseudo-boolean-0.1.3.0 0.00/0.05 c queue-0.1.2 0.00/0.05 c semigroups-0.18.1 0.00/0.05 c sign-0.4.3 0.00/0.05 c stm-2.4.4.1 0.00/0.05 c template-haskell-2.10.0.0 0.00/0.05 c temporary-1.2.0.4 0.00/0.05 c time-1.5.0.1 0.00/0.05 c transformers-0.4.2.0 0.00/0.05 c transformers-compat-0.5.1.4 0.00/0.05 c type-level-numbers-0.1.1.1 0.00/0.05 c unbounded-delays-0.1.0.9 0.00/0.05 c unordered-containers-0.2.6.0 0.00/0.05 c vector-0.11.0.0 0.00/0.05 c vector-space-0.10.3 0.00/0.05 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089155-1466022595.opb"] 0.00/0.05 c use --random-gen="1212158237 1159855504 3163204676 890762583 88584764 189820887 2800962887 384645986 933216569 3374365498 2407654735 3530522002 3490190024 1426804768 520254455 1556928205 3470735389 4136266513 3154872 3069281101 2400554286 3037111199 2417743089 4290797698 279794036 1884118534 3808524088 1440167567 4178708203 4019097945 1639592829 1237739694 2400394554 3895420173 3943385309 2097546450 1420204283 396238217 1635108722 871601723 1009235763 388172797 848717952 434168537 1177768148 719446115 822801470 3124215798 170209135 140794730 2978232219 273529149 725127189 2859497200 1119295177 2375093587 3705089051 1126519557 4092014677 55104614 2277061053 1428228931 2564553854 1468874307 1014975613 1142841984 1702317723 183599294 3192444332 2491821886 657895206 1935073490 594456672 3186359499 2819602090 3994491798 1256338930 2145653970 73456660 505368477 741799458 2734152933 2501930121 843160989 1186064070 1754570926 2038457168 3675998470 932036578 3362178459 711924067 1974426134 352506269 1493441832 2207038191 1787638048 642477226 503033328 1277428320 1499474762 1247700116 4162647386 2425924369 3071875786 2105990014 1873049552 1105090423 2872733679 138563408 3504406044 2668318021 3089119898 2045671526 3266218492 343591430 2845328791 1115744989 967905214 1641687430 3763086879 885266915 2372591976 3516209675 2709602260 270395783 1555906049 2627687179 765218119 2399907427 3286992882 1309364953 1885646660 3606394286 305173557 243242695 4141065913 2609797544 27505623 2623102062 4158849852 886561983 3143539240 805876857 3258145458 3771902566 2878504641 3790546656 4164941430 1850952752 1409005609 306983960 55409195 583969242 3120779482 4171282354 1372150082 881652100 1872813687 409724695 288234675 875109152 484079909 241643434 3526034643 1619952788 1657075997 1758598339 672944674 2307619328 1989923286 3952182342 2430204855 3280586441 706243167 3415718854 949014416 1428374000 997565008 3516255784 1629788326 2460705630 1361817583 4032361903 3834482448 2832685466 2487871594 1546016330 2866909018 2638563331 4130786340 359018340 3231388709 247931284 243788914 936582064 2174603781 3731436334 2512749874 3523631298 4036224283 2888613931 4207086399 3413203361 2477942946 765494803 4057610035 1797109084 1730012517 1042800512 1775744783 1768376139 2168252043 1459401054 4083061898 3425183311 2121701209 1228013737 3374022174 656159410 1506514412 1416762846 534934256 860192127 2006061291 1761571161 3460679725 3021098395 2771421504 1272672820 1134889138 895251873 3089461956 527080491 3320037266 2920797209 825406783 550273442 4142497607 564241664 1841084351 1744134752 3251484659 212669885 2632644135 3427462541 3425338974 3205032793 2317181681 237020364 3786774987 2968668166 1235186482 4080122094 2003916159 2072665566 3034761555 255 362436" option to reproduce the execution 0.00/0.05 c #vars 150 0.00/0.05 c #constraints 301 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 150 0 | 0 | 0 0.00/0.07 c 0.0s | 1 | 173 | 100 | 150 0 | 0 | 0 0.05/0.10 c 0.0s | 2 | 395 | 250 | 165 1 | 0 | 0 0.05/0.14 c 0.1s | 3 | 685 | 475 | 182 2 | 0 | 0 0.15/0.21 c 0.1s | 4 | 1095 | 813 | 201 5 | 0 | 0 0.24/0.31 c 0.2s | 5 | 1663 | 1320 | 222 8 | 0 | 0 0.35/0.47 c 0.4s | 6 | 2493 | 2081 | 270 13 | 0 | 0 0.64/0.71 c 0.7s | 7 | 3704 | 3223 | 297 20 | 0 | 0 0.94/1.01 c 0.9s | 8 | 5493 | 4936 | 327 29 | 0 | 0 1.24/1.36 c 1.3s | 9 | 8158 | 7506 | 360 42 | 0 | 0 1.84/1.93 c 1.9s | 10 | 12123 | 11361 | 397 60 | 0 | 0 2.64/2.73 c 2.7s | 11 | 18058 | 17144 | 437 85 | 0 | 0 3.84/3.98 c 3.9s | 12 | 26953 | 25819 | 481 119 | 0 | 0 5.74/5.88 c 5.8s | 13 | 40321 | 38832 | 530 167 | 0 | 0 7.75/7.89 c 7.8s | 13 | 53975 | 52132 | 530 212 | 0 | 0 8.75/8.83 c 8.8s | 14 | 60342 | 58352 | 583 232 | 0 | 0 10.74/10.84 c 10.8s | 14 | 74056 | 71752 | 583 274 | 0 | 0 12.74/12.86 c 12.8s | 14 | 87684 | 85052 | 583 315 | 0 | 0 13.15/13.25 c 13.2s | 15 | 90303 | 87632 | 642 323 | 0 | 0 15.14/15.26 c 15.2s | 15 | 103762 | 100732 | 642 360 | 0 | 0 17.14/17.27 c 17.2s | 15 | 116857 | 113532 | 642 396 | 0 | 0 19.14/19.28 c 19.2s | 15 | 130431 | 126732 | 642 434 | 0 | 0 19.94/20.03 c 20.0s | 16 | 135384 | 131552 | 707 447 | 0 | 0 21.95/22.04 c 22.0s | 16 | 149018 | 144452 | 707 480 | 0 | 0 23.94/24.05 c 24.0s | 16 | 162522 | 157252 | 707 514 | 0 | 0 25.94/26.07 c 26.0s | 16 | 176147 | 170552 | 707 548 | 0 | 0 27.94/28.08 c 28.0s | 16 | 189526 | 183552 | 707 582 | 0 | 0 29.94/30.08 c 30.0s | 16 | 202755 | 196252 | 778 615 | 0 | 0 30.14/30.27 c 30.2s | 17 | 204012 | 197432 | 778 618 | 0 | 0 32.15/32.28 c 32.2s | 17 | 217276 | 210232 | 778 648 | 0 | 0 34.15/34.29 c 34.2s | 17 | 230088 | 222632 | 778 678 | 0 | 0 36.14/36.30 c 36.2s | 17 | 242703 | 235032 | 778 707 | 0 | 0 38.24/38.31 c 38.2s | 17 | 255493 | 247532 | 778 737 | 0 | 0 40.24/40.31 c 40.3s | 17 | 268044 | 259732 | 778 766 | 0 | 0 42.24/42.32 c 42.3s | 17 | 280605 | 272032 | 778 795 | 0 | 0 44.24/44.33 c 44.3s | 17 | 293263 | 284332 | 778 825 | 0 | 0 46.25/46.32 c 46.3s | 18 | 305627 | 296252 | 856 853 | 0 | 0 48.24/48.32 c 48.3s | 18 | 318836 | 308852 | 856 880 | 0 | 0 50.24/50.32 c 50.3s | 18 | 332247 | 321252 | 856 907 | 0 | 0 52.24/52.33 c 52.3s | 18 | 345578 | 334052 | 856 935 | 0 | 0 54.24/54.34 c 54.3s | 18 | 358623 | 346452 | 856 962 | 0 | 0 56.24/56.35 c 56.3s | 18 | 371518 | 358852 | 856 989 | 0 | 0 58.25/58.36 c 58.3s | 18 | 384610 | 371352 | 856 1016 | 0 | 0 60.24/60.36 c 60.3s | 18 | 397278 | 383552 | 856 1043 | 0 | 0 62.24/62.37 c 62.3s | 18 | 409891 | 395852 | 856 1069 | 0 | 0 64.24/64.38 c 64.3s | 18 | 422714 | 408252 | 856 1096 | 0 | 0 66.24/66.39 c 66.3s | 18 | 435228 | 420352 | 856 1123 | 0 | 0 68.24/68.39 c 68.3s | 18 | 447736 | 432352 | 856 1149 | 0 | 0 70.24/70.34 c 70.3s | 19 | 460349 | 444482 | 942 1175 | 0 | 0 72.24/72.35 c 72.3s | 19 | 473462 | 456882 | 942 1199 | 0 | 0 74.23/74.36 c 74.3s | 19 | 486512 | 469082 | 942 1224 | 0 | 0 76.23/76.37 c 76.3s | 19 | 499109 | 480782 | 942 1247 | 0 | 0 78.23/78.38 c 78.3s | 19 | 511813 | 492682 | 942 1271 | 0 | 0 80.24/80.39 c 80.3s | 19 | 524586 | 504582 | 942 1294 | 0 | 0 82.33/82.40 c 82.3s | 19 | 537508 | 516782 | 942 1319 | 0 | 0 84.33/84.40 c 84.3s | 19 | 550464 | 529082 | 942 1343 | 0 | 0 86.33/86.40 c 86.3s | 19 | 562803 | 540982 | 942 1367 | 0 | 0 88.33/88.41 c 88.4s | 19 | 575436 | 552882 | 942 1391 | 0 | 0 90.33/90.42 c 90.4s | 19 | 588445 | 565082 | 942 1415 | 0 | 0 92.34/92.43 c 92.4s | 19 | 601092 | 577082 | 942 1439 | 0 | 0 94.33/94.43 c 94.4s | 19 | 613660 | 589082 | 942 1463 | 0 | 0 96.33/96.45 c 96.4s | 19 | 626270 | 600982 | 942 1487 | 0 | 0 98.33/98.46 c 98.4s | 19 | 638877 | 612882 | 942 1510 | 0 | 0 100.33/100.47 c 100s | 19 | 651012 | 624482 | 942 1534 | 0 | 0 102.33/102.49 c 102s | 19 | 663948 | 636482 | 942 1558 | 0 | 0 104.33/104.50 c 104s | 19 | 676960 | 648282 | 942 1581 | 0 | 0 106.43/106.51 c 106s | 19 | 688961 | 659582 | 942 1604 | 0 | 0 107.63/107.78 c 107s | 20 | 696559 | 666827 | 1037 1617 | 0 | 0 109.63/109.79 c 109s | 20 | 709581 | 678927 | 1037 1639 | 0 | 0 111.63/111.79 c 111s | 20 | 722281 | 690927 | 1037 1661 | 0 | 0 113.73/113.80 c 113s | 20 | 734581 | 702527 | 1037 1682 | 0 | 0 115.73/115.80 c 115s | 20 | 747205 | 714127 | 1037 1703 | 0 | 0 117.74/117.80 c 117s | 20 | 759417 | 725227 | 1037 1724 | 0 | 0 119.73/119.82 c 119s | 20 | 771708 | 736827 | 1037 1745 | 0 | 0 121.73/121.84 c 121s | 20 | 783924 | 748127 | 1037 1765 | 0 | 0 123.73/123.85 c 123s | 20 | 796198 | 759827 | 1037 1787 | 0 | 0 125.73/125.86 c 125s | 20 | 808465 | 771527 | 1037 1808 | 0 | 0 127.73/127.87 c 127s | 20 | 820469 | 782927 | 1037 1829 | 0 | 0 129.74/129.88 c 129s | 20 | 832207 | 794427 | 1037 1850 | 0 | 0 131.73/131.88 c 131s | 20 | 844033 | 805827 | 1037 1870 | 0 | 0 133.73/133.88 c 133s | 20 | 856630 | 817727 | 1037 1892 | 0 | 0 135.83/135.90 c 135s | 20 | 868859 | 829427 | 1037 1913 | 0 | 0 137.83/137.91 c 137s | 20 | 880722 | 840927 | 1037 1934 | 0 | 0 139.83/139.91 c 139s | 20 | 892713 | 852427 | 1037 1955 | 0 | 0 141.83/141.92 c 141s | 20 | 904512 | 863527 | 1037 1975 | 0 | 0 143.83/143.93 c 143s | 20 | 916233 | 874727 | 1037 1996 | 0 | 0 145.82/145.94 c 145s | 20 | 928197 | 886027 | 1037 2016 | 0 | 0 147.82/147.95 c 147s | 20 | 940515 | 897727 | 1037 2038 | 0 | 0 149.82/149.98 c 149s | 20 | 952527 | 909227 | 1037 2059 | 0 | 0 151.83/151.98 c 151s | 20 | 964296 | 920327 | 1037 2079 | 0 | 0 153.82/153.98 c 153s | 20 | 976474 | 931827 | 1037 2100 | 0 | 0 155.82/155.99 c 155s | 20 | 988270 | 943227 | 1037 2121 | 0 | 0 157.92/158.00 c 157s | 20 | 999917 | 954527 | 1037 2141 | 0 | 0 159.92/160.02 c 159s | 20 | 1011835 | 966127 | 1037 2162 | 0 | 0 161.92/162.03 c 161s | 20 | 1023483 | 977427 | 1037 2183 | 0 | 0 163.93/164.04 c 163s | 20 | 1035046 | 988627 | 1037 2203 | 0 | 0 165.92/166.05 c 165s | 20 | 1047301 | 1000227 | 1141 2223 | 0 | 0 165.92/166.08 c 166s | 21 | 1047417 | 1000345 | 1141 2224 | 0 | 0 167.92/168.08 c 168s | 21 | 1059391 | 1011745 | 1141 2242 | 0 | 0 169.92/170.09 c 170s | 21 | 1071417 | 1023145 | 1141 2261 | 0 | 0 172.02/172.10 c 172s | 21 | 1083275 | 1034545 | 1141 2280 | 0 | 0 174.02/174.10 c 174s | 21 | 1095306 | 1046145 | 1141 2300 | 0 | 0 176.02/176.10 c 176s | 21 | 1107118 | 1057445 | 1141 2319 | 0 | 0 178.02/178.11 c 178s | 21 | 1119081 | 1068945 | 1141 2338 | 0 | 0 180.02/180.13 c 180s | 21 | 1131132 | 1080345 | 1141 2357 | 0 | 0 182.02/182.14 c 182s | 21 | 1143016 | 1091745 | 1141 2376 | 0 | 0 184.02/184.14 c 184s | 21 | 1155001 | 1102845 | 1141 2394 | 0 | 0 186.01/186.14 c 186s | 21 | 1167055 | 1114145 | 1141 2413 | 0 | 0 188.02/188.15 c 188s | 21 | 1178874 | 1125545 | 1141 2432 | 0 | 0 190.01/190.16 c 190s | 21 | 1190891 | 1137045 | 1141 2451 | 0 | 0 192.02/192.17 c 192s | 21 | 1202722 | 1148345 | 1141 2470 | 0 | 0 194.02/194.19 c 194s | 21 | 1214542 | 1159645 | 1141 2489 | 0 | 0 196.02/196.19 c 196s | 21 | 1226632 | 1170845 | 1141 2507 | 0 | 0 198.12/198.20 c 198s | 21 | 1238549 | 1182145 | 1141 2526 | 0 | 0 200.12/200.22 c 200s | 21 | 1250291 | 1193345 | 1141 2545 | 0 | 0 202.11/202.22 c 202s | 21 | 1262079 | 1204345 | 1141 2563 | 0 | 0 204.11/204.23 c 204s | 21 | 1273845 | 1215645 | 1141 2582 | 0 | 0 206.11/206.23 c 206s | 21 | 1285478 | 1226745 | 1141 2601 | 0 | 0 208.11/208.23 c 208s | 21 | 1296881 | 1237745 | 1141 2619 | 0 | 0 210.12/210.25 c 210s | 21 | 1308355 | 1248845 | 1141 2637 | 0 | 0 212.11/212.26 c 212s | 21 | 1320224 | 1260145 | 1141 2656 | 0 | 0 214.11/214.27 c 214s | 21 | 1332187 | 1271645 | 1141 2675 | 0 | 0 216.11/216.28 c 216s | 21 | 1344242 | 1283045 | 1141 2694 | 0 | 0 218.21/218.30 c 218s | 21 | 1355967 | 1294245 | 1141 2713 | 0 | 0 220.20/220.32 c 220s | 21 | 1367563 | 1305445 | 1141 2732 | 0 | 0 222.21/222.32 c 222s | 21 | 1379257 | 1316745 | 1141 2750 | 0 | 0 224.20/224.33 c 224s | 21 | 1391035 | 1327845 | 1141 2769 | 0 | 0 226.20/226.34 c 226s | 21 | 1402439 | 1338845 | 1141 2787 | 0 | 0 228.20/228.34 c 228s | 21 | 1413919 | 1349745 | 1141 2805 | 0 | 0 230.20/230.35 c 230s | 21 | 1425684 | 1361145 | 1141 2824 | 0 | 0 232.20/232.36 c 232s | 21 | 1437166 | 1372145 | 1141 2843 | 0 | 0 234.20/234.36 c 234s | 21 | 1448506 | 1383045 | 1141 2861 | 0 | 0 236.20/236.37 c 236s | 21 | 1460225 | 1394045 | 1141 2879 | 0 | 0 238.20/238.38 c 238s | 21 | 1472255 | 1405145 | 1141 2898 | 0 | 0 240.19/240.39 c 240s | 21 | 1484310 | 1416345 | 1141 2916 | 0 | 0 242.19/242.39 c 242s | 21 | 1495827 | 1427345 | 1141 2935 | 0 | 0 244.29/244.40 c 244s | 21 | 1507325 | 1438345 | 1141 2953 | 0 | 0 246.30/246.40 c 246s | 21 | 1518649 | 1449345 | 1141 2971 | 0 | 0 248.29/248.41 c 248s | 21 | 1530074 | 1460245 | 1141 2990 | 0 | 0 250.29/250.42 c 250s | 21 | 1541188 | 1470945 | 1141 3007 | 0 | 0 252.29/252.43 c 252s | 21 | 1552594 | 1482045 | 1141 3026 | 0 | 0 254.29/254.44 c 254s | 21 | 1564172 | 1493245 | 1256 3044 | 0 | 0 255.69/255.82 c 255s | 22 | 1571870 | 1500622 | 1256 3055 | 0 | 0 257.69/257.84 c 257s | 22 | 1583658 | 1511922 | 1256 3072 | 0 | 0 259.69/259.85 c 259s | 22 | 1595315 | 1522822 | 1256 3089 | 0 | 0 261.69/261.87 c 261s | 22 | 1606843 | 1533922 | 1256 3106 | 0 | 0 263.69/263.87 c 263s | 22 | 1617932 | 1544522 | 1256 3122 | 0 | 0 265.69/265.89 c 265s | 22 | 1629599 | 1555622 | 1256 3139 | 0 | 0 267.79/267.91 c 267s | 22 | 1641478 | 1566922 | 1256 3156 | 0 | 0 269.79/269.92 c 269s | 22 | 1652901 | 1577922 | 1256 3172 | 0 | 0 271.79/271.93 c 271s | 22 | 1664315 | 1588822 | 1256 3189 | 0 | 0 273.79/273.95 c 273s | 22 | 1675890 | 1599922 | 1256 3206 | 0 | 0 275.78/275.95 c 275s | 22 | 1687266 | 1610822 | 1256 3222 | 0 | 0 277.78/277.97 c 277s | 22 | 1698617 | 1621422 | 1256 3239 | 0 | 0 279.78/279.97 c 279s | 22 | 1710291 | 1632722 | 1256 3256 | 0 | 0 281.78/281.98 c 281s | 22 | 1721786 | 1643822 | 1256 3273 | 0 | 0 283.78/283.99 c 283s | 22 | 1733048 | 1654822 | 1256 3289 | 0 | 0 285.78/286.00 c 285s | 22 | 1744281 | 1665722 | 1256 3306 | 0 | 0 287.88/288.00 c 287s | 22 | 1755765 | 1676722 | 1256 3323 | 0 | 0 289.87/290.02 c 289s | 22 | 1767189 | 1687722 | 1256 3339 | 0 | 0 291.87/292.04 c 291s | 22 | 1778235 | 1698422 | 1256 3356 | 0 | 0 293.87/294.04 c 293s | 22 | 1790191 | 1709722 | 1256 3373 | 0 | 0 295.88/296.05 c 295s | 22 | 1801966 | 1720922 | 1256 3390 | 0 | 0 297.87/298.07 c 298s | 22 | 1813615 | 1732022 | 1256 3407 | 0 | 0 299.87/300.09 c 300s | 22 | 1825073 | 1743122 | 1256 3423 | 0 | 0 301.97/302.10 c 302s | 22 | 1836612 | 1754222 | 1256 3440 | 0 | 0 303.97/304.12 c 304s | 22 | 1847978 | 1765022 | 1256 3457 | 0 | 0 305.97/306.13 c 306s | 22 | 1859482 | 1776022 | 1256 3473 | 0 | 0 307.97/308.14 c 308s | 22 | 1870704 | 1786722 | 1256 3490 | 0 | 0 309.96/310.16 c 310s | 22 | 1882172 | 1797822 | 1256 3507 | 0 | 0 311.97/312.18 c 312s | 22 | 1893438 | 1808522 | 1256 3523 | 0 | 0 313.97/314.19 c 314s | 22 | 1904808 | 1819322 | 1256 3539 | 0 | 0 316.07/316.20 c 316s | 22 | 1916287 | 1830122 | 1256 3556 | 0 | 0 318.07/318.21 c 318s | 22 | 1927631 | 1840822 | 1256 3572 | 0 | 0 320.07/320.22 c 320s | 22 | 1939226 | 1851922 | 1256 3589 | 0 | 0 322.07/322.24 c 322s | 22 | 1950565 | 1862922 | 1256 3606 | 0 | 0 324.07/324.25 c 324s | 22 | 1962263 | 1873822 | 1256 3622 | 0 | 0 326.07/326.25 c 326s | 22 | 1974130 | 1884322 | 1256 3638 | 0 | 0 328.07/328.26 c 328s | 22 | 1985416 | 1895122 | 1256 3654 | 0 | 0 330.06/330.26 c 330s | 22 | 1996509 | 1905822 | 1256 3671 | 0 | 0 332.07/332.27 c 332s | 22 | 2007828 | 1916822 | 1256 3687 | 0 | 0 334.06/334.28 c 334s | 22 | 2019085 | 1927822 | 1256 3704 | 0 | 0 336.06/336.29 c 336s | 22 | 2030423 | 1938622 | 1256 3721 | 0 | 0 338.16/338.30 c 338s | 22 | 2041668 | 1949522 | 1256 3737 | 0 | 0 340.16/340.32 c 340s | 22 | 2053183 | 1960622 | 1256 3754 | 0 | 0 342.16/342.33 c 342s | 22 | 2064296 | 1971322 | 1256 3770 | 0 | 0 344.16/344.34 c 344s | 22 | 2075109 | 1981622 | 1256 3786 | 0 | 0 346.16/346.34 c 346s | 22 | 2086959 | 1992722 | 1256 3803 | 0 | 0 348.16/348.35 c 348s | 22 | 2098361 | 2003722 | 1256 3820 | 0 | 0 350.15/350.35 c 350s | 22 | 2109803 | 2014622 | 1256 3836 | 0 | 0 352.15/352.36 c 352s | 22 | 2120960 | 2025422 | 1256 3853 | 0 | 0 354.16/354.37 c 354s | 22 | 2132520 | 2036322 | 1256 3869 | 0 | 0 356.15/356.38 c 356s | 22 | 2143733 | 2046922 | 1256 3885 | 0 | 0 358.25/358.40 c 358s | 22 | 2154874 | 2057622 | 1256 3902 | 0 | 0 360.25/360.41 c 360s | 22 | 2166067 | 2068422 | 1256 3918 | 0 | 0 362.25/362.43 c 362s | 22 | 2177160 | 2078922 | 1256 3934 | 0 | 0 364.25/364.43 c 364s | 22 | 2188361 | 2089722 | 1256 3951 | 0 | 0 366.25/366.44 c 366s | 22 | 2199734 | 2100722 | 1256 3967 | 0 | 0 368.24/368.45 c 368s | 22 | 2211152 | 2111822 | 1256 3984 | 0 | 0 370.24/370.45 c 370s | 22 | 2222506 | 2122722 | 1256 4001 | 0 | 0 372.24/372.45 c 372s | 22 | 2233736 | 2133222 | 1256 4017 | 0 | 0 374.24/374.46 c 374s | 22 | 2245080 | 2143822 | 1256 4033 | 0 | 0 376.24/376.47 c 376s | 22 | 2256355 | 2154622 | 1256 4049 | 0 | 0 378.24/378.49 c 378s | 22 | 2267472 | 2165122 | 1256 4065 | 0 | 0 380.23/380.49 c 380s | 22 | 2278299 | 2175722 | 1256 4081 | 0 | 0 382.23/382.49 c 382s | 22 | 2289148 | 2186422 | 1256 4098 | 0 | 0 384.33/384.50 c 384s | 22 | 2300138 | 2197022 | 1256 4114 | 0 | 0 386.33/386.53 c 386s | 22 | 2311419 | 2207422 | 1256 4130 | 0 | 0 388.33/388.53 c 388s | 22 | 2322788 | 2217922 | 1256 4145 | 0 | 0 390.33/390.54 c 390s | 22 | 2333839 | 2228622 | 1256 4162 | 0 | 0 392.32/392.55 c 392s | 22 | 2344685 | 2239122 | 1382 4177 | 0 | 0 394.33/394.56 c 394s | 22 | 2355520 | 2249522 | 1382 4191 | 0 | 0 394.63/394.84 c 394s | 23 | 2357094 | 2251038 | 1382 4194 | 0 | 0 396.63/396.84 c 396s | 23 | 2368649 | 2262038 | 1382 4209 | 0 | 0 398.63/398.84 c 398s | 23 | 2380032 | 2273038 | 1382 4224 | 0 | 0 400.62/400.85 c 400s | 23 | 2391407 | 2283838 | 1382 4239 | 0 | 0 402.62/402.86 c 402s | 23 | 2402572 | 2294638 | 1382 4254 | 0 | 0 404.63/404.87 c 404s | 23 | 2413985 | 2305438 | 1382 4269 | 0 | 0 406.62/406.89 c 406s | 23 | 2425227 | 2316138 | 1382 4284 | 0 | 0 408.62/408.89 c 408s | 23 | 2436318 | 2326738 | 1382 4298 | 0 | 0 410.72/410.90 c 410s | 23 | 2447647 | 2337638 | 1382 4313 | 0 | 0 412.72/412.92 c 412s | 23 | 2459036 | 2348538 | 1382 4328 | 0 | 0 414.72/414.92 c 414s | 23 | 2470183 | 2359238 | 1382 4343 | 0 | 0 416.72/416.93 c 416s | 23 | 2481162 | 2369938 | 1382 4358 | 0 | 0 418.71/418.93 c 418s | 23 | 2492718 | 2381138 | 1382 4373 | 0 | 0 420.71/420.93 c 420s | 23 | 2503614 | 2391638 | 1382 4388 | 0 | 0 422.71/422.94 c 422s | 23 | 2514781 | 2402438 | 1382 4403 | 0 | 0 424.71/424.95 c 424s | 23 | 2525903 | 2413038 | 1382 4418 | 0 | 0 426.72/426.96 c 426s | 23 | 2536699 | 2423538 | 1382 4432 | 0 | 0 428.71/428.98 c 428s | 23 | 2547703 | 2434238 | 1382 4447 | 0 | 0 430.71/430.99 c 430s | 23 | 2558442 | 2444738 | 1382 4461 | 0 | 0 432.71/433.00 c 432s | 23 | 2569499 | 2455438 | 1382 4476 | 0 | 0 434.80/435.01 c 434s | 23 | 2580616 | 2466338 | 1382 4491 | 0 | 0 436.80/437.02 c 436s | 23 | 2591680 | 2476938 | 1382 4506 | 0 | 0 438.81/439.03 c 438s | 23 | 2602727 | 2487738 | 1382 4521 | 0 | 0 440.80/441.03 c 440s | 23 | 2613767 | 2498438 | 1382 4536 | 0 | 0 442.80/443.04 c 442s | 23 | 2624524 | 2508838 | 1382 4550 | 0 | 0 444.80/445.05 c 444s | 23 | 2635806 | 2519638 | 1382 4565 | 0 | 0 446.80/447.06 c 446s | 23 | 2646732 | 2530338 | 1382 4580 | 0 | 0 448.80/449.06 c 449s | 23 | 2657603 | 2540738 | 1382 4594 | 0 | 0 450.80/451.07 c 451s | 23 | 2668511 | 2551038 | 1382 4609 | 0 | 0 452.79/453.08 c 453s | 23 | 2679548 | 2561638 | 1382 4623 | 0 | 0 454.79/455.09 c 455s | 23 | 2690367 | 2571938 | 1382 4638 | 0 | 0 456.89/457.11 c 457s | 23 | 2701496 | 2582538 | 1382 4652 | 0 | 0 458.89/459.12 c 459s | 23 | 2712827 | 2593338 | 1382 4667 | 0 | 0 460.88/461.12 c 461s | 23 | 2724199 | 2603938 | 1382 4682 | 0 | 0 462.89/463.12 c 463s | 23 | 2735528 | 2614338 | 1382 4696 | 0 | 0 464.88/465.14 c 465s | 23 | 2746493 | 2624838 | 1382 4711 | 0 | 0 466.88/467.14 c 467s | 23 | 2757515 | 2635538 | 1382 4726 | 0 | 0 468.88/469.16 c 469s | 23 | 2768551 | 2646238 | 1382 4740 | 0 | 0 470.88/471.17 c 471s | 23 | 2779468 | 2656838 | 1382 4755 | 0 | 0 472.88/473.18 c 473s | 23 | 2790329 | 2667338 | 1382 4770 | 0 | 0 474.88/475.18 c 475s | 23 | 2801115 | 2677638 | 1382 4784 | 0 | 0 476.88/477.19 c 477s | 23 | 2811876 | 2688038 | 1382 4798 | 0 | 0 478.98/479.21 c 479s | 23 | 2822745 | 2698438 | 1382 4813 | 0 | 0 480.97/481.21 c 481s | 23 | 2833679 | 2708838 | 1382 4827 | 0 | 0 482.97/483.24 c 483s | 23 | 2844165 | 2718938 | 1382 4841 | 0 | 0 484.98/485.24 c 485s | 23 | 2854528 | 2728938 | 1382 4855 | 0 | 0 486.97/487.24 c 487s | 23 | 2865423 | 2739338 | 1382 4869 | 0 | 0 488.98/489.25 c 489s | 23 | 2876504 | 2749938 | 1382 4884 | 0 | 0 490.98/491.26 c 491s | 23 | 2887647 | 2760338 | 1382 4898 | 0 | 0 492.98/493.26 c 493s | 23 | 2898710 | 2771038 | 1382 4913 | 0 | 0 494.98/495.27 c 495s | 23 | 2909696 | 2781638 | 1382 4928 | 0 | 0 496.98/497.27 c 497s | 23 | 2920555 | 2792138 | 1382 4942 | 0 | 0 498.98/499.28 c 499s | 23 | 2931530 | 2802538 | 1382 4957 | 0 | 0 501.07/501.30 c 501s | 23 | 2942153 | 2812838 | 1382 4971 | 0 | 0 503.07/503.30 c 503s | 23 | 2953060 | 2823238 | 1382 4985 | 0 | 0 505.07/505.31 c 505s | 23 | 2964147 | 2833938 | 1382 5000 | 0 | 0 507.07/507.33 c 507s | 23 | 2975167 | 2844438 | 1382 5015 | 0 | 0 509.07/509.33 c 509s | 23 | 2986053 | 2854738 | 1382 5029 | 0 | 0 511.06/511.35 c 511s | 23 | 2996739 | 2864838 | 1382 5043 | 0 | 0 513.06/513.35 c 513s | 23 | 3007649 | 2875338 | 1382 5058 | 0 | 0 515.06/515.36 c 515s | 23 | 3018619 | 2885838 | 1382 5072 | 0 | 0 517.06/517.36 c 517s | 23 | 3029492 | 2896238 | 1382 5087 | 0 | 0 519.07/519.38 c 519s | 23 | 3040454 | 2906538 | 1382 5101 | 0 | 0 521.06/521.38 c 521s | 23 | 3051000 | 2916538 | 1382 5115 | 0 | 0 523.06/523.39 c 523s | 23 | 3061803 | 2926938 | 1382 5129 | 0 | 0 525.16/525.40 c 525s | 23 | 3072361 | 2937238 | 1382 5143 | 0 | 0 527.15/527.40 c 527s | 23 | 3082914 | 2947538 | 1382 5158 | 0 | 0 529.15/529.42 c 529s | 23 | 3093646 | 2957838 | 1382 5172 | 0 | 0 531.15/531.43 c 531s | 23 | 3104380 | 2968038 | 1382 5186 | 0 | 0 533.15/533.43 c 533s | 23 | 3115038 | 2978238 | 1382 5200 | 0 | 0 535.15/535.44 c 535s | 23 | 3125902 | 2988838 | 1382 5215 | 0 | 0 537.15/537.44 c 537s | 23 | 3136439 | 2999138 | 1382 5229 | 0 | 0 539.15/539.45 c 539s | 23 | 3147203 | 3009638 | 1382 5244 | 0 | 0 541.15/541.47 c 541s | 23 | 3157925 | 3020038 | 1382 5258 | 0 | 0 543.15/543.48 c 543s | 23 | 3168701 | 3030238 | 1382 5272 | 0 | 0 545.15/545.48 c 545s | 23 | 3179197 | 3040438 | 1382 5286 | 0 | 0 547.25/547.50 c 547s | 23 | 3189722 | 3050638 | 1382 5301 | 0 | 0 549.25/549.51 c 549s | 23 | 3200363 | 3060838 | 1382 5315 | 0 | 0 551.24/551.52 c 551s | 23 | 3211278 | 3071238 | 1382 5329 | 0 | 0 553.24/553.53 c 553s | 23 | 3221958 | 3081538 | 1382 5343 | 0 | 0 555.25/555.54 c 555s | 23 | 3232413 | 3091638 | 1382 5358 | 0 | 0 557.24/557.55 c 557s | 23 | 3243164 | 3101738 | 1382 5372 | 0 | 0 559.24/559.56 c 559s | 23 | 3253737 | 3111838 | 1382 5386 | 0 | 0 561.24/561.58 c 561s | 23 | 3264468 | 3122238 | 1382 5400 | 0 | 0 563.24/563.60 c 563s | 23 | 3275748 | 3133038 | 1382 5415 | 0 | 0 565.33/565.61 c 565s | 23 | 3286661 | 3143538 | 1382 5429 | 0 | 0 567.34/567.62 c 567s | 23 | 3297526 | 3153938 | 1382 5444 | 0 | 0 569.33/569.63 c 569s | 23 | 3308381 | 3164338 | 1382 5458 | 0 | 0 571.33/571.64 c 571s | 23 | 3319137 | 3174638 | 1382 5472 | 0 | 0 573.33/573.65 c 573s | 23 | 3329733 | 3184738 | 1382 5486 | 0 | 0 575.33/575.66 c 575s | 23 | 3340341 | 3195038 | 1382 5501 | 0 | 0 577.33/577.67 c 577s | 23 | 3350847 | 3205138 | 1382 5515 | 0 | 0 579.32/579.69 c 579s | 23 | 3361717 | 3215538 | 1382 5529 | 0 | 0 581.32/581.69 c 581s | 23 | 3372185 | 3225738 | 1382 5543 | 0 | 0 583.42/583.71 c 583s | 23 | 3382622 | 3235938 | 1382 5557 | 0 | 0 585.42/585.73 c 585s | 23 | 3393276 | 3246238 | 1382 5572 | 0 | 0 587.42/587.75 c 587s | 23 | 3403936 | 3256538 | 1382 5586 | 0 | 0 589.43/589.77 c 589s | 23 | 3414448 | 3266738 | 1382 5600 | 0 | 0 591.42/591.78 c 591s | 23 | 3424925 | 3276838 | 1382 5614 | 0 | 0 593.42/593.79 c 593s | 23 | 3435156 | 3286738 | 1382 5628 | 0 | 0 595.52/595.80 c 595s | 23 | 3445500 | 3296738 | 1382 5641 | 0 | 0 597.52/597.81 c 597s | 23 | 3455847 | 3306538 | 1382 5655 | 0 | 0 599.53/599.82 c 599s | 23 | 3466093 | 3316338 | 1382 5669 | 0 | 0 601.53/601.84 c 601s | 23 | 3476382 | 3326138 | 1382 5682 | 0 | 0 603.52/603.86 c 603s | 23 | 3486884 | 3336238 | 1382 5696 | 0 | 0 605.52/605.87 c 605s | 23 | 3497127 | 3346238 | 1382 5710 | 0 | 0 607.52/607.88 c 607s | 23 | 3508175 | 3356938 | 1521 5724 | 0 | 0 609.62/609.90 c 609s | 23 | 3519037 | 3367438 | 1521 5737 | 0 | 0 611.43/611.71 c 611s | 24 | 3528513 | 3376662 | 1521 5749 | 0 | 0 613.42/613.72 c 613s | 24 | 3539383 | 3386962 | 1521 5762 | 0 | 0 615.42/615.73 c 615s | 24 | 3550138 | 3397362 | 1521 5775 | 0 | 0 617.42/617.73 c 617s | 24 | 3560617 | 3407562 | 1521 5788 | 0 | 0 619.41/619.74 c 619s | 24 | 3571235 | 3417762 | 1521 5801 | 0 | 0 621.41/621.74 c 621s | 24 | 3581553 | 3427762 | 1521 5813 | 0 | 0 623.41/623.75 c 623s | 24 | 3592030 | 3437862 | 1521 5826 | 0 | 0 625.41/625.75 c 625s | 24 | 3602498 | 3447962 | 1521 5839 | 0 | 0 627.41/627.77 c 627s | 24 | 3613134 | 3458162 | 1521 5852 | 0 | 0 629.41/629.78 c 629s | 24 | 3623860 | 3468562 | 1521 5865 | 0 | 0 631.40/631.79 c 631s | 24 | 3634641 | 3478762 | 1521 5878 | 0 | 0 633.50/633.80 c 633s | 24 | 3645152 | 3488462 | 1521 5890 | 0 | 0 635.51/635.81 c 635s | 24 | 3655492 | 3498362 | 1521 5902 | 0 | 0 637.51/637.82 c 637s | 24 | 3665920 | 3508462 | 1521 5915 | 0 | 0 639.51/639.82 c 639s | 24 | 3676392 | 3518662 | 1521 5928 | 0 | 0 641.50/641.83 c 641s | 24 | 3687491 | 3529262 | 1521 5941 | 0 | 0 643.50/643.84 c 643s | 24 | 3698241 | 3539362 | 1521 5954 | 0 | 0 645.51/645.86 c 645s | 24 | 3708802 | 3549662 | 1521 5967 | 0 | 0 647.50/647.87 c 647s | 24 | 3719442 | 3559962 | 1521 5980 | 0 | 0 649.50/649.89 c 649s | 24 | 3730007 | 3570062 | 1521 5993 | 0 | 0 651.50/651.89 c 651s | 24 | 3740768 | 3580362 | 1521 6005 | 0 | 0 653.49/653.89 c 653s | 24 | 3751824 | 3590662 | 1521 6018 | 0 | 0 655.59/655.90 c 655s | 24 | 3762526 | 3600762 | 1521 6031 | 0 | 0 657.60/657.91 c 657s | 24 | 3773093 | 3610862 | 1521 6044 | 0 | 0 659.59/659.92 c 659s | 24 | 3783754 | 3621162 | 1521 6057 | 0 | 0 661.59/661.92 c 661s | 24 | 3794072 | 3631162 | 1521 6070 | 0 | 0 663.59/663.94 c 663s | 24 | 3804472 | 3641162 | 1521 6082 | 0 | 0 665.59/665.94 c 665s | 24 | 3815105 | 3651362 | 1521 6095 | 0 | 0 667.59/667.94 c 667s | 24 | 3825509 | 3661362 | 1521 6108 | 0 | 0 669.59/669.96 c 669s | 24 | 3836023 | 3671362 | 1521 6120 | 0 | 0 671.58/671.96 c 671s | 24 | 3846472 | 3681262 | 1521 6133 | 0 | 0 673.58/673.98 c 673s | 24 | 3856897 | 3691262 | 1521 6145 | 0 | 0 675.58/676.00 c 675s | 24 | 3867451 | 3701562 | 1521 6158 | 0 | 0 677.68/678.01 c 677s | 24 | 3878028 | 3711762 | 1521 6171 | 0 | 0 679.68/680.03 c 679s | 24 | 3888666 | 3721862 | 1521 6184 | 0 | 0 681.69/682.03 c 681s | 24 | 3898707 | 3731562 | 1521 6196 | 0 | 0 683.68/684.05 c 683s | 24 | 3908915 | 3741462 | 1521 6209 | 0 | 0 685.68/686.05 c 685s | 24 | 3919558 | 3751162 | 1521 6221 | 0 | 0 687.68/688.06 c 688s | 24 | 3929953 | 3760662 | 1521 6233 | 0 | 0 689.68/690.08 c 690s | 24 | 3940410 | 3770462 | 1521 6245 | 0 | 0 691.69/692.08 c 692s | 24 | 3951058 | 3780562 | 1521 6258 | 0 | 0 693.68/694.08 c 694s | 24 | 3961448 | 3790562 | 1521 6270 | 0 | 0 695.68/696.10 c 696s | 24 | 3971642 | 3800262 | 1521 6283 | 0 | 0 697.78/698.10 c 698s | 24 | 3981841 | 3809962 | 1521 6295 | 0 | 0 699.78/700.10 c 700s | 24 | 3992205 | 3819762 | 1521 6307 | 0 | 0 701.77/702.12 c 702s | 24 | 4002993 | 3829962 | 1521 6320 | 0 | 0 703.78/704.12 c 704s | 24 | 4013521 | 3839962 | 1521 6333 | 0 | 0 705.77/706.13 c 706s | 24 | 4023988 | 3850162 | 1521 6346 | 0 | 0 707.77/708.15 c 708s | 24 | 4034186 | 3860062 | 1521 6358 | 0 | 0 709.77/710.15 c 710s | 24 | 4044273 | 3869762 | 1521 6370 | 0 | 0 711.77/712.15 c 712s | 24 | 4054306 | 3879462 | 1521 6382 | 0 | 0 713.77/714.16 c 714s | 24 | 4064627 | 3889362 | 1521 6395 | 0 | 0 715.77/716.17 c 716s | 24 | 4074971 | 3899262 | 1521 6407 | 0 | 0 717.77/718.18 c 718s | 24 | 4085286 | 3909262 | 1521 6420 | 0 | 0 719.86/720.20 c 720s | 24 | 4095515 | 3919262 | 1521 6433 | 0 | 0 721.86/722.22 c 722s | 24 | 4105887 | 3929362 | 1521 6445 | 0 | 0 723.86/724.22 c 724s | 24 | 4116162 | 3939362 | 1521 6458 | 0 | 0 725.86/726.23 c 726s | 24 | 4126799 | 3949662 | 1521 6471 | 0 | 0 727.87/728.24 c 728s | 24 | 4137055 | 3959562 | 1521 6483 | 0 | 0 729.86/730.24 c 730s | 24 | 4147164 | 3969462 | 1521 6496 | 0 | 0 731.86/732.26 c 732s | 24 | 4157492 | 3979462 | 1521 6509 | 0 | 0 733.86/734.28 c 734s | 24 | 4167987 | 3989662 | 1521 6522 | 0 | 0 735.86/736.29 c 736s | 24 | 4178212 | 3999462 | 1521 6534 | 0 | 0 737.96/738.30 c 738s | 24 | 4188832 | 4009462 | 1521 6547 | 0 | 0 739.96/740.31 c 740s | 24 | 4199039 | 4019162 | 1521 6559 | 0 | 0 741.95/742.32 c 742s | 24 | 4209908 | 4029362 | 1521 6572 | 0 | 0 743.95/744.34 c 744s | 24 | 4220277 | 4039462 | 1521 6584 | 0 | 0 745.95/746.35 c 746s | 24 | 4230698 | 4049462 | 1521 6597 | 0 | 0 747.95/748.36 c 748s | 24 | 4240732 | 4059262 | 1521 6609 | 0 | 0 749.95/750.37 c 750s | 24 | 4251018 | 4069262 | 1521 6622 | 0 | 0 751.94/752.39 c 752s | 24 | 4261244 | 4079162 | 1521 6635 | 0 | 0 754.04/754.40 c 754s | 24 | 4271563 | 4089062 | 1521 6647 | 0 | 0 756.04/756.42 c 756s | 24 | 4281714 | 4098862 | 1521 6659 | 0 | 0 758.04/758.44 c 758s | 24 | 4291911 | 4108662 | 1521 6672 | 0 | 0 760.04/760.44 c 760s | 24 | 4301483 | 4117962 | 1521 6684 | 0 | 0 762.05/762.45 c 762s | 24 | 4311327 | 4127362 | 1521 6695 | 0 | 0 764.04/764.46 c 764s | 24 | 4321638 | 4137162 | 1521 6708 | 0 | 0 766.05/766.48 c 766s | 24 | 4331740 | 4146962 | 1521 6720 | 0 | 0 768.05/768.49 c 768s | 24 | 4341728 | 4156562 | 1521 6732 | 0 | 0 770.14/770.50 c 770s | 24 | 4352035 | 4166462 | 1521 6745 | 0 | 0 772.14/772.52 c 772s | 24 | 4362408 | 4176462 | 1521 6757 | 0 | 0 774.15/774.52 c 774s | 24 | 4372618 | 4186362 | 1521 6770 | 0 | 0 776.14/776.54 c 776s | 24 | 4382711 | 4196162 | 1521 6782 | 0 | 0 778.14/778.54 c 778s | 24 | 4392812 | 4205962 | 1521 6794 | 0 | 0 780.14/780.56 c 780s | 24 | 4403030 | 4215662 | 1521 6807 | 0 | 0 782.14/782.57 c 782s | 24 | 4412966 | 4225362 | 1521 6819 | 0 | 0 784.13/784.59 c 784s | 24 | 4423104 | 4235162 | 1521 6831 | 0 | 0 786.14/786.59 c 786s | 24 | 4433116 | 4244862 | 1521 6844 | 0 | 0 788.23/788.61 c 788s | 24 | 4443148 | 4254562 | 1521 6856 | 0 | 0 790.23/790.62 c 790s | 24 | 4453070 | 4264162 | 1521 6868 | 0 | 0 792.23/792.63 c 792s | 24 | 4463181 | 4273762 | 1521 6880 | 0 | 0 794.22/794.64 c 794s | 24 | 4473164 | 4283262 | 1521 6892 | 0 | 0 796.22/796.66 c 796s | 24 | 4483191 | 4292862 | 1521 6904 | 0 | 0 798.23/798.67 c 798s | 24 | 4493451 | 4302662 | 1521 6916 | 0 | 0 800.22/800.69 c 800s | 24 | 4503680 | 4312462 | 1521 6929 | 0 | 0 802.32/802.70 c 802s | 24 | 4513786 | 4322262 | 1521 6941 | 0 | 0 804.32/804.71 c 804s | 24 | 4523859 | 4331762 | 1521 6953 | 0 | 0 806.33/806.71 c 806s | 24 | 4533920 | 4341362 | 1521 6965 | 0 | 0 808.33/808.74 c 808s | 24 | 4543914 | 4351062 | 1521 6978 | 0 | 0 810.33/810.75 c 810s | 24 | 4554216 | 4360762 | 1521 6990 | 0 | 0 812.32/812.77 c 812s | 24 | 4564732 | 4370662 | 1521 7002 | 0 | 0 814.32/814.77 c 814s | 24 | 4575358 | 4380362 | 1521 7015 | 0 | 0 816.32/816.78 c 816s | 24 | 4585797 | 4389762 | 1521 7026 | 0 | 0 818.32/818.78 c 818s | 24 | 4595700 | 4399262 | 1521 7038 | 0 | 0 820.32/820.79 c 820s | 24 | 4605951 | 4408762 | 1521 7050 | 0 | 0 822.32/822.80 c 822s | 24 | 4616025 | 4418162 | 1521 7062 | 0 | 0 824.42/824.81 c 824s | 24 | 4625750 | 4427162 | 1521 7074 | 0 | 0 826.42/826.82 c 826s | 24 | 4635350 | 4436362 | 1521 7085 | 0 | 0 828.42/828.83 c 828s | 24 | 4644852 | 4445562 | 1521 7097 | 0 | 0 830.41/830.84 c 830s | 24 | 4655176 | 4455062 | 1521 7109 | 0 | 0 832.42/832.85 c 832s | 24 | 4665299 | 4464462 | 1521 7121 | 0 | 0 834.41/834.86 c 834s | 24 | 4675280 | 4474162 | 1521 7133 | 0 | 0 836.41/836.87 c 836s | 24 | 4685190 | 4483762 | 1521 7145 | 0 | 0 838.41/838.88 c 838s | 24 | 4695295 | 4493562 | 1521 7157 | 0 | 0 840.41/840.89 c 840s | 24 | 4705319 | 4503162 | 1521 7169 | 0 | 0 842.41/842.89 c 842s | 24 | 4715226 | 4512462 | 1521 7181 | 0 | 0 844.52/844.91 c 844s | 24 | 4725126 | 4521762 | 1521 7193 | 0 | 0 846.51/846.92 c 846s | 24 | 4735610 | 4531662 | 1521 7205 | 0 | 0 848.51/848.94 c 848s | 24 | 4745601 | 4541362 | 1521 7217 | 0 | 0 850.51/850.95 c 850s | 24 | 4755536 | 4550962 | 1521 7230 | 0 | 0 852.51/852.96 c 852s | 24 | 4765343 | 4560462 | 1521 7242 | 0 | 0 854.51/854.97 c 854s | 24 | 4775239 | 4569462 | 1521 7253 | 0 | 0 856.51/856.99 c 856s | 24 | 4785293 | 4579162 | 1521 7265 | 0 | 0 858.60/859.00 c 858s | 24 | 4795410 | 4588862 | 1521 7277 | 0 | 0 860.60/861.00 c 860s | 24 | 4805410 | 4598562 | 1521 7290 | 0 | 0 862.60/863.02 c 862s | 24 | 4815482 | 4608162 | 1521 7302 | 0 | 0 864.60/865.03 c 864s | 24 | 4825184 | 4617562 | 1521 7314 | 0 | 0 866.60/867.04 c 866s | 24 | 4834873 | 4626962 | 1521 7326 | 0 | 0 868.61/869.05 c 868s | 24 | 4844847 | 4636562 | 1521 7338 | 0 | 0 870.60/871.06 c 871s | 24 | 4854643 | 4646062 | 1521 7350 | 0 | 0 872.60/873.08 c 873s | 24 | 4864448 | 4655562 | 1521 7362 | 0 | 0 874.60/875.08 c 875s | 24 | 4874124 | 4664962 | 1521 7373 | 0 | 0 876.60/877.08 c 877s | 24 | 4884170 | 4674662 | 1521 7386 | 0 | 0 878.61/879.09 c 879s | 24 | 4894127 | 4684262 | 1521 7398 | 0 | 0 880.61/881.09 c 881s | 24 | 4904091 | 4693962 | 1521 7410 | 0 | 0 882.71/883.10 c 883s | 24 | 4914081 | 4703662 | 1521 7422 | 0 | 0 884.71/885.12 c 885s | 24 | 4923796 | 4713062 | 1521 7434 | 0 | 0 886.71/887.13 c 887s | 24 | 4933277 | 4722162 | 1521 7446 | 0 | 0 888.70/889.15 c 889s | 24 | 4942996 | 4731562 | 1521 7458 | 0 | 0 890.71/891.15 c 891s | 24 | 4952328 | 4740662 | 1521 7469 | 0 | 0 892.70/893.16 c 893s | 24 | 4961967 | 4749962 | 1521 7481 | 0 | 0 894.70/895.16 c 895s | 24 | 4971656 | 4759262 | 1521 7493 | 0 | 0 896.70/897.17 c 897s | 24 | 4981218 | 4768462 | 1521 7504 | 0 | 0 898.70/899.19 c 899s | 24 | 4990963 | 4777862 | 1521 7516 | 0 | 0 900.80/901.20 c 901s | 24 | 5000802 | 4787462 | 1521 7528 | 0 | 0 902.81/903.21 c 903s | 24 | 5010453 | 4796862 | 1521 7540 | 0 | 0 904.80/905.22 c 905s | 24 | 5020478 | 4806362 | 1521 7552 | 0 | 0 906.80/907.24 c 907s | 24 | 5030555 | 4816062 | 1521 7564 | 0 | 0 908.80/909.24 c 909s | 24 | 5040660 | 4825762 | 1521 7576 | 0 | 0 910.80/911.24 c 911s | 24 | 5050715 | 4835162 | 1521 7588 | 0 | 0 912.80/913.24 c 913s | 24 | 5060541 | 4844562 | 1521 7600 | 0 | 0 914.80/915.26 c 915s | 24 | 5070750 | 4854362 | 1521 7612 | 0 | 0 916.80/917.27 c 917s | 24 | 5080729 | 4863962 | 1521 7625 | 0 | 0 918.80/919.28 c 919s | 24 | 5091027 | 4873762 | 1521 7637 | 0 | 0 920.90/921.30 c 921s | 24 | 5100898 | 4883362 | 1521 7649 | 0 | 0 922.90/923.33 c 923s | 24 | 5110977 | 4892962 | 1521 7661 | 0 | 0 924.90/925.34 c 925s | 24 | 5120690 | 4902462 | 1521 7673 | 0 | 0 926.90/927.35 c 927s | 24 | 5130424 | 4911862 | 1521 7685 | 0 | 0 928.89/929.38 c 929s | 24 | 5140444 | 4921562 | 1521 7697 | 0 | 0 930.89/931.38 c 931s | 24 | 5150282 | 4931062 | 1521 7709 | 0 | 0 932.89/933.38 c 933s | 24 | 5160050 | 4940562 | 1521 7721 | 0 | 0 934.89/935.39 c 935s | 24 | 5169970 | 4950262 | 1521 7733 | 0 | 0 936.90/937.39 c 937s | 24 | 5179870 | 4959762 | 1521 7745 | 0 | 0 939.00/939.41 c 939s | 24 | 5189566 | 4968962 | 1521 7757 | 0 | 0 940.99/941.41 c 941s | 24 | 5199302 | 4978462 | 1521 7769 | 0 | 0 942.99/943.42 c 943s | 24 | 5209254 | 4988062 | 1521 7781 | 0 | 0 944.99/945.44 c 945s | 24 | 5219032 | 4997562 | 1521 7793 | 0 | 0 946.99/947.45 c 947s | 24 | 5228779 | 5007062 | 1521 7805 | 0 | 0 949.00/949.46 c 949s | 24 | 5238471 | 5016362 | 1521 7817 | 0 | 0 951.00/951.47 c 951s | 24 | 5248416 | 5025962 | 1521 7829 | 0 | 0 952.99/953.48 c 953s | 24 | 5258360 | 5035362 | 1674 7840 | 0 | 0 955.09/955.50 c 955s | 24 | 5268069 | 5044562 | 1674 7851 | 0 | 0 957.09/957.51 c 957s | 24 | 5277619 | 5053762 | 1674 7861 | 0 | 0 959.09/959.53 c 959s | 24 | 5287318 | 5063062 | 1674 7872 | 0 | 0 959.49/959.97 c 959s | 25 | 5289562 | 5065098 | 1674 7874 | 0 | 0 961.49/961.98 c 961s | 25 | 5300145 | 5074998 | 1674 7886 | 0 | 0 963.49/963.98 c 963s | 25 | 5310253 | 5084598 | 1674 7897 | 0 | 0 965.50/965.99 c 965s | 25 | 5320308 | 5094098 | 1674 7907 | 0 | 0 967.49/967.99 c 967s | 25 | 5330336 | 5103698 | 1674 7918 | 0 | 0 969.59/970.00 c 969s | 25 | 5340447 | 5112998 | 1674 7929 | 0 | 0 971.59/972.00 c 971s | 25 | 5350581 | 5122798 | 1674 7940 | 0 | 0 973.59/974.02 c 973s | 25 | 5360693 | 5132598 | 1674 7952 | 0 | 0 975.59/976.03 c 975s | 25 | 5370744 | 5142198 | 1674 7963 | 0 | 0 977.60/978.04 c 977s | 25 | 5380848 | 5151798 | 1674 7974 | 0 | 0 979.59/980.05 c 979s | 25 | 5390847 | 5161398 | 1674 7985 | 0 | 0 981.59/982.07 c 982s | 25 | 5400766 | 5171098 | 1674 7996 | 0 | 0 983.59/984.07 c 984s | 25 | 5410820 | 5180898 | 1674 8007 | 0 | 0 985.59/986.09 c 986s | 25 | 5420716 | 5190198 | 1674 8018 | 0 | 0 987.69/988.11 c 988s | 25 | 5430531 | 5199698 | 1674 8029 | 0 | 0 989.69/990.11 c 990s | 25 | 5440754 | 5209598 | 1674 8040 | 0 | 0 991.69/992.12 c 992s | 25 | 5450670 | 5219298 | 1674 8051 | 0 | 0 993.69/994.13 c 994s | 25 | 5460722 | 5228998 | 1674 8062 | 0 | 0 995.68/996.14 c 996s | 25 | 5470838 | 5238598 | 1674 8073 | 0 | 0 997.68/998.15 c 998s | 25 | 5480505 | 5247898 | 1674 8084 | 0 | 0 999.68/1000.16 c 1000s | 25 | 5490747 | 5257198 | 1674 8095 | 0 | 0 1001.69/1002.18 c 1002s | 25 | 5501001 | 5266898 | 1674 8106 | 0 | 0 1003.68/1004.19 c 1004s | 25 | 5510782 | 5276398 | 1674 8117 | 0 | 0 1005.78/1006.21 c 1006s | 25 | 5520786 | 5285898 | 1674 8128 | 0 | 0 1007.79/1008.21 c 1008s | 25 | 5530809 | 5295298 | 1674 8138 | 0 | 0 1009.79/1010.22 c 1010s | 25 | 5540683 | 5304598 | 1674 8149 | 0 | 0 1011.79/1012.23 c 1012s | 25 | 5550574 | 5313798 | 1674 8160 | 0 | 0 1013.79/1014.24 c 1014s | 25 | 5561011 | 5323498 | 1674 8171 | 0 | 0 1015.78/1016.26 c 1016s | 25 | 5571208 | 5333198 | 1674 8182 | 0 | 0 1017.78/1018.28 c 1018s | 25 | 5581454 | 5342898 | 1674 8193 | 0 | 0 1019.78/1020.29 c 1020s | 25 | 5591496 | 5352198 | 1674 8204 | 0 | 0 1021.88/1022.32 c 1022s | 25 | 5601690 | 5361498 | 1674 8215 | 0 | 0 1023.88/1024.33 c 1024s | 25 | 5611910 | 5370698 | 1674 8225 | 0 | 0 1025.89/1026.34 c 1026s | 25 | 5621959 | 5380398 | 1674 8236 | 0 | 0 1027.88/1028.36 c 1028s | 25 | 5632395 | 5390298 | 1674 8248 | 0 | 0 1029.88/1030.38 c 1030s | 25 | 5643242 | 5400098 | 1674 8259 | 0 | 0 1031.88/1032.38 c 1032s | 25 | 5653815 | 5409698 | 1674 8270 | 0 | 0 1033.98/1034.40 c 1034s | 25 | 5664042 | 5419498 | 1674 8281 | 0 | 0 1035.98/1036.41 c 1036s | 25 | 5674667 | 5428998 | 1674 8292 | 0 | 0 1037.98/1038.42 c 1038s | 25 | 5685151 | 5438098 | 1674 8303 | 0 | 0 1039.98/1040.43 c 1040s | 25 | 5695060 | 5447498 | 1674 8313 | 0 | 0 1041.97/1042.46 c 1042s | 25 | 5704876 | 5456798 | 1674 8324 | 0 | 0 1043.97/1044.46 c 1044s | 25 | 5714903 | 5466198 | 1674 8335 | 0 | 0 1045.97/1046.47 c 1046s | 25 | 5724914 | 5475698 | 1674 8346 | 0 | 0 1047.98/1048.47 c 1048s | 25 | 5734814 | 5484998 | 1674 8356 | 0 | 0 1049.97/1050.49 c 1050s | 25 | 5744637 | 5494398 | 1674 8367 | 0 | 0 1051.98/1052.49 c 1052s | 25 | 5754576 | 5503898 | 1674 8378 | 0 | 0 1054.08/1054.51 c 1054s | 25 | 5765300 | 5513598 | 1674 8389 | 0 | 0 1056.08/1056.52 c 1056s | 25 | 5775502 | 5523098 | 1674 8400 | 0 | 0 1058.08/1058.54 c 1058s | 25 | 5785465 | 5532298 | 1674 8411 | 0 | 0 1060.09/1060.55 c 1060s | 25 | 5795285 | 5541498 | 1674 8421 | 0 | 0 1062.08/1062.56 c 1062s | 25 | 5805143 | 5550798 | 1674 8432 | 0 | 0 1064.08/1064.57 c 1064s | 25 | 5815106 | 5560198 | 1674 8443 | 0 | 0 1066.08/1066.59 c 1066s | 25 | 5825636 | 5569698 | 1674 8454 | 0 | 0 1068.18/1068.61 c 1068s | 25 | 5835428 | 5578898 | 1674 8465 | 0 | 0 1070.17/1070.61 c 1070s | 25 | 5845456 | 5588398 | 1674 8475 | 0 | 0 1072.18/1072.62 c 1072s | 25 | 5855613 | 5598298 | 1674 8487 | 0 | 0 1074.17/1074.63 c 1074s | 25 | 5865464 | 5607998 | 1674 8498 | 0 | 0 1076.17/1076.65 c 1076s | 25 | 5875529 | 5617598 | 1674 8509 | 0 | 0 1078.17/1078.66 c 1078s | 25 | 5885163 | 5626598 | 1674 8519 | 0 | 0 1080.17/1080.68 c 1080s | 25 | 5895045 | 5636098 | 1674 8530 | 0 | 0 1082.17/1082.69 c 1082s | 25 | 5904763 | 5645498 | 1674 8541 | 0 | 0 1084.18/1084.70 c 1084s | 25 | 5914458 | 5654898 | 1674 8552 | 0 | 0 1086.27/1086.71 c 1086s | 25 | 5924447 | 5664398 | 1674 8563 | 0 | 0 1088.27/1088.72 c 1088s | 25 | 5934599 | 5673898 | 1674 8574 | 0 | 0 1090.27/1090.73 c 1090s | 25 | 5944243 | 5683298 | 1674 8584 | 0 | 0 1092.27/1092.74 c 1092s | 25 | 5954144 | 5692698 | 1674 8595 | 0 | 0 1094.27/1094.75 c 1094s | 25 | 5964246 | 5702298 | 1674 8606 | 0 | 0 1096.27/1096.76 c 1096s | 25 | 5973901 | 5711598 | 1674 8617 | 0 | 0 1098.27/1098.77 c 1098s | 25 | 5983894 | 5720998 | 1674 8628 | 0 | 0 1100.27/1100.79 c 1100s | 25 | 5994147 | 5730398 | 1674 8639 | 0 | 0 1102.27/1102.79 c 1102s | 25 | 6004065 | 5739698 | 1674 8649 | 0 | 0 1104.37/1104.80 c 1104s | 25 | 6014022 | 5748998 | 1674 8660 | 0 | 0 1106.37/1106.82 c 1106s | 25 | 6023796 | 5758398 | 1674 8671 | 0 | 0 1108.37/1108.82 c 1108s | 25 | 6033580 | 5767898 | 1674 8682 | 0 | 0 1110.37/1110.83 c 1110s | 25 | 6043578 | 5777498 | 1674 8693 | 0 | 0 1112.36/1112.85 c 1112s | 25 | 6053846 | 5787298 | 1674 8704 | 0 | 0 1114.36/1114.86 c 1114s | 25 | 6063616 | 5796798 | 1674 8715 | 0 | 0 1116.36/1116.86 c 1116s | 25 | 6073605 | 5806398 | 1674 8726 | 0 | 0 1118.37/1118.88 c 1118s | 25 | 6083733 | 5816098 | 1674 8737 | 0 | 0 1120.36/1120.89 c 1120s | 25 | 6093667 | 5825498 | 1674 8748 | 0 | 0 1122.46/1122.90 c 1122s | 25 | 6103800 | 5835198 | 1674 8759 | 0 | 0 1124.46/1124.92 c 1124s | 25 | 6113571 | 5844498 | 1674 8770 | 0 | 0 1126.46/1126.92 c 1126s | 25 | 6123517 | 5853898 | 1674 8780 | 0 | 0 1128.46/1128.92 c 1128s | 25 | 6133039 | 5863098 | 1674 8791 | 0 | 0 1130.47/1130.93 c 1130s | 25 | 6143142 | 5872598 | 1674 8802 | 0 | 0 1132.46/1132.95 c 1132s | 25 | 6153018 | 5882198 | 1674 8813 | 0 | 0 1134.46/1134.96 c 1134s | 25 | 6162879 | 5891698 | 1674 8824 | 0 | 0 1136.47/1136.97 c 1136s | 25 | 6172632 | 5901098 | 1674 8835 | 0 | 0 1138.47/1138.98 c 1138s | 25 | 6182606 | 5910698 | 1674 8846 | 0 | 0 1140.47/1140.99 c 1140s | 25 | 6192718 | 5920398 | 1674 8857 | 0 | 0 1142.47/1142.99 c 1142s | 25 | 6202597 | 5929898 | 1674 8868 | 0 | 0 1144.47/1144.99 c 1144s | 25 | 6212342 | 5939298 | 1674 8879 | 0 | 0 1146.57/1147.01 c 1146s | 25 | 6222106 | 5948598 | 1674 8889 | 0 | 0 1148.57/1149.01 c 1148s | 25 | 6232070 | 5957898 | 1674 8900 | 0 | 0 1150.57/1151.01 c 1150s | 25 | 6241824 | 5967298 | 1674 8911 | 0 | 0 1152.56/1153.02 c 1152s | 25 | 6252022 | 5976998 | 1674 8922 | 0 | 0 1154.57/1155.03 c 1154s | 25 | 6262033 | 5986698 | 1674 8933 | 0 | 0 1156.56/1157.05 c 1156s | 25 | 6272582 | 5996098 | 1674 8944 | 0 | 0 1158.56/1159.07 c 1159s | 25 | 6282838 | 6005498 | 1674 8955 | 0 | 0 1160.56/1161.09 c 1161s | 25 | 6292603 | 6014798 | 1674 8966 | 0 | 0 1162.66/1163.10 c 1163s | 25 | 6302610 | 6024198 | 1674 8976 | 0 | 0 1164.66/1165.11 c 1165s | 25 | 6312398 | 6033298 | 1674 8987 | 0 | 0 1166.67/1167.12 c 1167s | 25 | 6322223 | 6042598 | 1674 8998 | 0 | 0 1168.66/1169.14 c 1169s | 25 | 6332662 | 6051698 | 1674 9008 | 0 | 0 1170.66/1171.15 c 1171s | 25 | 6342283 | 6060998 | 1674 9019 | 0 | 0 1172.66/1173.17 c 1173s | 25 | 6352297 | 6070698 | 1674 9030 | 0 | 0 1174.66/1175.18 c 1175s | 25 | 6362046 | 6080098 | 1674 9041 | 0 | 0 1176.67/1177.19 c 1177s | 25 | 6371666 | 6089398 | 1674 9051 | 0 | 0 1178.66/1179.20 c 1179s | 25 | 6381454 | 6098898 | 1674 9062 | 0 | 0 1180.76/1181.23 c 1181s | 25 | 6391659 | 6108598 | 1674 9074 | 0 | 0 1182.76/1183.23 c 1183s | 25 | 6401555 | 6118098 | 1674 9084 | 0 | 0 1184.75/1185.24 c 1185s | 25 | 6411807 | 6127998 | 1674 9096 | 0 | 0 1186.75/1187.25 c 1187s | 25 | 6422044 | 6137798 | 1674 9107 | 0 | 0 1188.76/1189.27 c 1189s | 25 | 6431882 | 6147198 | 1674 9118 | 0 | 0 1190.75/1191.28 c 1191s | 25 | 6441649 | 6156598 | 1674 9129 | 0 | 0 1192.75/1193.28 c 1193s | 25 | 6451591 | 6166198 | 1674 9140 | 0 | 0 1194.75/1195.29 c 1195s | 25 | 6461535 | 6175798 | 1674 9151 | 0 | 0 1196.85/1197.30 c 1197s | 25 | 6471777 | 6185498 | 1674 9162 | 0 | 0 1198.86/1199.32 c 1199s | 25 | 6481749 | 6195098 | 1674 9173 | 0 | 0 1200.87/1201.34 c 1201s | 25 | 6491589 | 6204698 | 1674 9184 | 0 | 0 1202.86/1203.35 c 1203s | 25 | 6501079 | 6213998 | 1674 9195 | 0 | 0 1204.86/1205.36 c 1205s | 25 | 6510807 | 6223398 | 1674 9205 | 0 | 0 1206.86/1207.36 c 1207s | 25 | 6520516 | 6232798 | 1674 9216 | 0 | 0 1208.86/1209.37 c 1209s | 25 | 6530222 | 6242098 | 1674 9227 | 0 | 0 1210.86/1211.37 c 1211s | 25 | 6540145 | 6251398 | 1674 9238 | 0 | 0 1212.86/1213.38 c 1213s | 25 | 6550206 | 6260998 | 1674 9249 | 0 | 0 1214.96/1215.40 c 1215s | 25 | 6560207 | 6270198 | 1674 9259 | 0 | 0 1216.96/1217.42 c 1217s | 25 | 6570002 | 6279398 | 1674 9270 | 0 | 0 1218.95/1219.44 c 1219s | 25 | 6579666 | 6288698 | 1674 9281 | 0 | 0 1220.95/1221.44 c 1221s | 25 | 6589688 | 6298398 | 1674 9292 | 0 | 0 1222.95/1223.46 c 1223s | 25 | 6599629 | 6307998 | 1674 9303 | 0 | 0 1224.96/1225.47 c 1225s | 25 | 6609483 | 6317498 | 1674 9314 | 0 | 0 1226.95/1227.49 c 1227s | 25 | 6619177 | 6326898 | 1674 9324 | 0 | 0 1228.95/1229.49 c 1229s | 25 | 6628846 | 6336298 | 1674 9335 | 0 | 0 1231.05/1231.51 c 1231s | 25 | 6638687 | 6345698 | 1674 9346 | 0 | 0 1233.05/1233.52 c 1233s | 25 | 6648421 | 6354998 | 1674 9357 | 0 | 0 1235.05/1235.54 c 1235s | 25 | 6658082 | 6364298 | 1674 9368 | 0 | 0 1237.06/1237.55 c 1237s | 25 | 6667623 | 6373298 | 1674 9378 | 0 | 0 1239.05/1239.55 c 1239s | 25 | 6677421 | 6382798 | 1674 9389 | 0 | 0 1241.05/1241.58 c 1241s | 25 | 6687075 | 6392098 | 1674 9400 | 0 | 0 1243.05/1243.58 c 1243s | 25 | 6696879 | 6401498 | 1674 9410 | 0 | 0 1245.15/1245.60 c 1245s | 25 | 6706922 | 6410898 | 1674 9421 | 0 | 0 1247.15/1247.61 c 1247s | 25 | 6716681 | 6420298 | 1674 9432 | 0 | 0 1249.15/1249.61 c 1249s | 25 | 6726670 | 6429898 | 1674 9443 | 0 | 0 1251.15/1251.63 c 1251s | 25 | 6736514 | 6439398 | 1674 9454 | 0 | 0 1253.14/1253.64 c 1253s | 25 | 6746230 | 6448698 | 1674 9465 | 0 | 0 1255.14/1255.65 c 1255s | 25 | 6756020 | 6457998 | 1674 9475 | 0 | 0 1257.14/1257.66 c 1257s | 25 | 6766649 | 6467898 | 1674 9487 | 0 | 0 1259.15/1259.66 c 1259s | 25 | 6776828 | 6477698 | 1674 9498 | 0 | 0 1261.14/1261.67 c 1261s | 25 | 6786706 | 6487198 | 1674 9509 | 0 | 0 1263.15/1263.68 c 1263s | 25 | 6796789 | 6496898 | 1674 9520 | 0 | 0 1265.15/1265.68 c 1265s | 25 | 6806583 | 6506398 | 1674 9531 | 0 | 0 1267.15/1267.69 c 1267s | 25 | 6816418 | 6515698 | 1674 9542 | 0 | 0 1269.25/1269.70 c 1269s | 25 | 6826592 | 6524998 | 1674 9552 | 0 | 0 1271.25/1271.71 c 1271s | 25 | 6836725 | 6534598 | 1674 9563 | 0 | 0 1273.25/1273.73 c 1273s | 25 | 6846583 | 6543998 | 1674 9574 | 0 | 0 1275.25/1275.74 c 1275s | 25 | 6856873 | 6553698 | 1674 9585 | 0 | 0 1277.25/1277.74 c 1277s | 25 | 6866752 | 6563098 | 1674 9596 | 0 | 0 1279.24/1279.76 c 1279s | 25 | 6876603 | 6572598 | 1674 9607 | 0 | 0 1281.24/1281.77 c 1281s | 25 | 6886420 | 6581998 | 1674 9618 | 0 | 0 1283.25/1283.79 c 1283s | 25 | 6896408 | 6591498 | 1674 9629 | 0 | 0 1285.34/1285.80 c 1285s | 25 | 6905907 | 6600798 | 1674 9639 | 0 | 0 1287.34/1287.81 c 1287s | 25 | 6916259 | 6610398 | 1674 9650 | 0 | 0 1289.34/1289.81 c 1289s | 25 | 6926251 | 6619698 | 1674 9661 | 0 | 0 1291.34/1291.83 c 1291s | 25 | 6936175 | 6628998 | 1674 9672 | 0 | 0 1293.34/1293.84 c 1293s | 25 | 6946087 | 6638398 | 1674 9682 | 0 | 0 1295.35/1295.86 c 1295s | 25 | 6955848 | 6647598 | 1674 9693 | 0 | 0 1297.34/1297.87 c 1297s | 25 | 6965919 | 6656798 | 1674 9703 | 0 | 0 1299.34/1299.88 c 1299s | 25 | 6975755 | 6666198 | 1674 9714 | 0 | 0 1301.44/1301.90 c 1301s | 25 | 6985534 | 6675698 | 1674 9725 | 0 | 0 1303.44/1303.90 c 1303s | 25 | 6995296 | 6684698 | 1674 9736 | 0 | 0 1305.44/1305.90 c 1305s | 25 | 7004917 | 6693798 | 1674 9746 | 0 | 0 1307.45/1307.91 c 1307s | 25 | 7014729 | 6702898 | 1674 9756 | 0 | 0 1309.44/1309.93 c 1309s | 25 | 7024159 | 6711998 | 1674 9767 | 0 | 0 1311.44/1311.93 c 1311s | 25 | 7034454 | 6721698 | 1674 9778 | 0 | 0 1313.44/1313.93 c 1313s | 25 | 7044361 | 6731098 | 1674 9789 | 0 | 0 1315.44/1315.94 c 1315s | 25 | 7054373 | 6740698 | 1674 9800 | 0 | 0 1317.44/1317.95 c 1317s | 25 | 7064308 | 6750198 | 1674 9811 | 0 | 0 1319.44/1319.96 c 1319s | 25 | 7074205 | 6759598 | 1674 9822 | 0 | 0 1321.44/1321.96 c 1321s | 25 | 7084250 | 6768998 | 1674 9832 | 0 | 0 1323.43/1323.97 c 1323s | 25 | 7093984 | 6778298 | 1674 9843 | 0 | 0 1325.43/1325.97 c 1325s | 25 | 7103942 | 6787898 | 1674 9854 | 0 | 0 1327.43/1327.98 c 1327s | 25 | 7114210 | 6797498 | 1674 9865 | 0 | 0 1329.44/1329.99 c 1329s | 25 | 7123973 | 6806998 | 1674 9876 | 0 | 0 1331.53/1332.01 c 1331s | 25 | 7133878 | 6816398 | 1674 9887 | 0 | 0 1333.53/1334.03 c 1333s | 25 | 7144027 | 6825998 | 1674 9898 | 0 | 0 1335.53/1336.04 c 1335s | 25 | 7153955 | 6835498 | 1674 9909 | 0 | 0 1337.53/1338.05 c 1337s | 25 | 7163779 | 6844798 | 1674 9920 | 0 | 0 1339.53/1340.07 c 1340s | 25 | 7173826 | 6854198 | 1674 9930 | 0 | 0 1341.54/1342.09 c 1342s | 25 | 7183627 | 6863498 | 1674 9941 | 0 | 0 1343.63/1344.10 c 1344s | 25 | 7193864 | 6872898 | 1674 9952 | 0 | 0 1345.63/1346.11 c 1346s | 25 | 7203732 | 6882298 | 1674 9963 | 0 | 0 1347.63/1348.12 c 1348s | 25 | 7213599 | 6891598 | 1674 9973 | 0 | 0 1349.63/1350.12 c 1350s | 25 | 7223617 | 6900798 | 1674 9984 | 0 | 0 1351.63/1352.13 c 1352s | 25 | 7233737 | 6910498 | 1674 9995 | 0 | 0 1353.63/1354.15 c 1354s | 25 | 7243444 | 6919898 | 1674 10006 | 0 | 0 1355.63/1356.16 c 1356s | 25 | 7253333 | 6929498 | 1674 10017 | 0 | 0 1357.63/1358.17 c 1358s | 25 | 7263359 | 6938998 | 1674 10028 | 0 | 0 1359.63/1360.17 c 1360s | 25 | 7273291 | 6948498 | 1674 10039 | 0 | 0 1361.63/1362.18 c 1362s | 25 | 7283246 | 6957998 | 1674 10050 | 0 | 0 1363.64/1364.19 c 1364s | 25 | 7293427 | 6967698 | 1674 10061 | 0 | 0 1365.63/1366.20 c 1366s | 25 | 7303194 | 6977098 | 1674 10072 | 0 | 0 1367.73/1368.20 c 1368s | 25 | 7312924 | 6986498 | 1674 10083 | 0 | 0 1369.73/1370.21 c 1370s | 25 | 7322978 | 6995998 | 1674 10094 | 0 | 0 1371.73/1372.23 c 1372s | 25 | 7333090 | 7005498 | 1674 10105 | 0 | 0 1373.73/1374.23 c 1374s | 25 | 7343229 | 7014898 | 1674 10115 | 0 | 0 1375.74/1376.25 c 1376s | 25 | 7353536 | 7024198 | 1674 10126 | 0 | 0 1377.73/1378.25 c 1378s | 25 | 7363677 | 7033898 | 1674 10137 | 0 | 0 1379.73/1380.26 c 1380s | 25 | 7373479 | 7043298 | 1674 10148 | 0 | 0 1381.73/1382.26 c 1382s | 25 | 7383825 | 7052998 | 1674 10159 | 0 | 0 1383.73/1384.28 c 1384s | 25 | 7394180 | 7062598 | 1674 10170 | 0 | 0 1385.73/1386.29 c 1386s | 25 | 7404337 | 7072198 | 1674 10181 | 0 | 0 1387.73/1388.30 c 1388s | 25 | 7414631 | 7081698 | 1674 10192 | 0 | 0 1389.82/1390.31 c 1390s | 25 | 7424436 | 7090998 | 1674 10203 | 0 | 0 1391.82/1392.32 c 1392s | 25 | 7434137 | 7100298 | 1674 10214 | 0 | 0 1393.82/1394.34 c 1394s | 25 | 7444029 | 7109298 | 1674 10224 | 0 | 0 1395.82/1396.34 c 1396s | 25 | 7454356 | 7118398 | 1674 10235 | 0 | 0 1397.82/1398.36 c 1398s | 25 | 7464716 | 7127598 | 1674 10245 | 0 | 0 1399.83/1400.37 c 1400s | 25 | 7474475 | 7136598 | 1674 10256 | 0 | 0 1401.82/1402.37 c 1402s | 25 | 7485033 | 7145898 | 1674 10266 | 0 | 0 1403.82/1404.38 c 1404s | 25 | 7495616 | 7155498 | 1674 10277 | 0 | 0 1405.92/1406.40 c 1406s | 25 | 7506441 | 7165098 | 1674 10289 | 0 | 0 1407.92/1408.40 c 1408s | 25 | 7516422 | 7174498 | 1674 10299 | 0 | 0 1409.92/1410.41 c 1410s | 25 | 7526618 | 7184098 | 1674 10310 | 0 | 0 1411.92/1412.43 c 1412s | 25 | 7537498 | 7193798 | 1674 10322 | 0 | 0 1413.92/1414.45 c 1414s | 25 | 7548402 | 7203598 | 1674 10333 | 0 | 0 1415.92/1416.47 c 1416s | 25 | 7558985 | 7213298 | 1674 10344 | 0 | 0 1417.92/1418.47 c 1418s | 25 | 7569771 | 7222998 | 1674 10355 | 0 | 0 1419.92/1420.47 c 1420s | 25 | 7580424 | 7232598 | 1674 10366 | 0 | 0 1421.93/1422.47 c 1422s | 25 | 7590923 | 7242098 | 1674 10377 | 0 | 0 1423.92/1424.48 c 1424s | 25 | 7601372 | 7251598 | 1674 10388 | 0 | 0 1425.92/1426.49 c 1426s | 25 | 7611232 | 7260998 | 1674 10399 | 0 | 0 1428.02/1428.51 c 1428s | 25 | 7621336 | 7270598 | 1674 10410 | 0 | 0 1430.02/1430.51 c 1430s | 25 | 7631103 | 7279898 | 1674 10421 | 0 | 0 1432.02/1432.53 c 1432s | 25 | 7641191 | 7289198 | 1674 10431 | 0 | 0 1434.03/1434.54 c 1434s | 25 | 7651274 | 7298498 | 1674 10442 | 0 | 0 1436.02/1436.55 c 1436s | 25 | 7661428 | 7307898 | 1674 10453 | 0 | 0 1438.02/1438.57 c 1438s | 25 | 7671271 | 7317198 | 1674 10464 | 0 | 0 1440.02/1440.58 c 1440s | 25 | 7681245 | 7326698 | 1674 10475 | 0 | 0 1442.02/1442.59 c 1442s | 25 | 7691789 | 7336298 | 1674 10486 | 0 | 0 1444.12/1444.60 c 1444s | 25 | 7702128 | 7345798 | 1674 10496 | 0 | 0 1446.13/1446.61 c 1446s | 25 | 7712210 | 7355198 | 1674 10507 | 0 | 0 1448.12/1448.61 c 1448s | 25 | 7722818 | 7364598 | 1674 10518 | 0 | 0 1450.12/1450.62 c 1450s | 25 | 7733337 | 7373998 | 1674 10529 | 0 | 0 1452.12/1452.62 c 1452s | 25 | 7743341 | 7383198 | 1674 10540 | 0 | 0 1454.12/1454.63 c 1454s | 25 | 7753412 | 7392398 | 1674 10550 | 0 | 0 1456.12/1456.64 c 1456s | 25 | 7763269 | 7401698 | 1674 10561 | 0 | 0 1458.12/1458.65 c 1458s | 25 | 7773098 | 7411098 | 1674 10572 | 0 | 0 1460.12/1460.68 c 1460s | 25 | 7782860 | 7420498 | 1674 10583 | 0 | 0 1462.12/1462.69 c 1462s | 25 | 7792602 | 7429898 | 1674 10593 | 0 | 0 1464.22/1464.70 c 1464s | 25 | 7802525 | 7439298 | 1674 10604 | 0 | 0 1466.21/1466.71 c 1466s | 25 | 7812216 | 7448298 | 1674 10615 | 0 | 0 1468.21/1468.72 c 1468s | 25 | 7822097 | 7457598 | 1674 10625 | 0 | 0 1470.22/1470.72 c 1470s | 25 | 7832127 | 7466898 | 1674 10636 | 0 | 0 1472.21/1472.72 c 1472s | 25 | 7842109 | 7476198 | 1674 10647 | 0 | 0 1474.21/1474.74 c 1474s | 25 | 7851738 | 7485398 | 1674 10657 | 0 | 0 1476.21/1476.74 c 1476s | 25 | 7861968 | 7495198 | 1674 10669 | 0 | 0 1478.21/1478.76 c 1478s | 25 | 7872370 | 7504898 | 1674 10680 | 0 | 0 1480.22/1480.77 c 1480s | 25 | 7882324 | 7514498 | 1674 10691 | 0 | 0 1482.21/1482.78 c 1482s | 25 | 7892208 | 7524098 | 1674 10702 | 0 | 0 1484.21/1484.78 c 1484s | 25 | 7902378 | 7533598 | 1674 10713 | 0 | 0 1486.31/1486.81 c 1486s | 25 | 7912460 | 7543198 | 1674 10724 | 0 | 0 1488.31/1488.83 c 1488s | 25 | 7922558 | 7552798 | 1842 10734 | 0 | 0 1490.31/1490.84 c 1490s | 25 | 7932596 | 7562398 | 1842 10744 | 0 | 0 1492.32/1492.84 c 1492s | 25 | 7942616 | 7571998 | 1842 10754 | 0 | 0 1494.31/1494.85 c 1494s | 25 | 7952812 | 7581098 | 1842 10763 | 0 | 0 1496.31/1496.85 c 1496s | 25 | 7962888 | 7590398 | 1842 10773 | 0 | 0 1497.91/1498.44 c 1498s | 26 | 7970647 | 7597752 | 1842 10781 | 0 | 0 1499.92/1500.44 c 1500s | 26 | 7981051 | 7607452 | 1842 10791 | 0 | 0 1501.91/1502.45 c 1502s | 26 | 7991619 | 7617252 | 1842 10801 | 0 | 0 1503.91/1504.46 c 1504s | 26 | 8001593 | 7626752 | 1842 10811 | 0 | 0 1505.91/1506.47 c 1506s | 26 | 8011641 | 7636152 | 1842 10821 | 0 | 0 1507.91/1508.49 c 1508s | 26 | 8021392 | 7645452 | 1842 10831 | 0 | 0 1510.01/1510.50 c 1510s | 26 | 8031247 | 7654752 | 1842 10840 | 0 | 0 1512.01/1512.51 c 1512s | 26 | 8041116 | 7664252 | 1842 10850 | 0 | 0 1514.01/1514.53 c 1514s | 26 | 8050928 | 7673552 | 1842 10860 | 0 | 0 1516.01/1516.53 c 1516s | 26 | 8060723 | 7682852 | 1842 10870 | 0 | 0 1518.01/1518.53 c 1518s | 26 | 8070550 | 7692452 | 1842 10880 | 0 | 0 1520.01/1520.54 c 1520s | 26 | 8080556 | 7701952 | 1842 10890 | 0 | 0 1522.01/1522.56 c 1522s | 26 | 8090401 | 7711452 | 1842 10900 | 0 | 0 1524.00/1524.56 c 1524s | 26 | 8099940 | 7720652 | 1842 10909 | 0 | 0 1526.00/1526.57 c 1526s | 26 | 8110093 | 7730252 | 1842 10919 | 0 | 0 1528.00/1528.57 c 1528s | 26 | 8119884 | 7739552 | 1842 10929 | 0 | 0 1530.00/1530.58 c 1530s | 26 | 8129601 | 7748852 | 1842 10939 | 0 | 0 1532.00/1532.58 c 1532s | 26 | 8139047 | 7758052 | 1842 10948 | 0 | 0 1534.01/1534.60 c 1534s | 26 | 8148556 | 7767152 | 1842 10958 | 0 | 0 1536.10/1536.62 c 1536s | 26 | 8158192 | 7776352 | 1842 10968 | 0 | 0 1538.10/1538.62 c 1538s | 26 | 8167979 | 7785752 | 1842 10977 | 0 | 0 1540.10/1540.64 c 1540s | 26 | 8177960 | 7795152 | 1842 10987 | 0 | 0 1542.10/1542.65 c 1542s | 26 | 8187260 | 7804252 | 1842 10997 | 0 | 0 1544.10/1544.65 c 1544s | 26 | 8196529 | 7813252 | 1842 11006 | 0 | 0 1546.10/1546.66 c 1546s | 26 | 8206195 | 7822452 | 1842 11016 | 0 | 0 1548.10/1548.67 c 1548s | 26 | 8215728 | 7831652 | 1842 11025 | 0 | 0 1550.10/1550.67 c 1550s | 26 | 8225643 | 7841152 | 1842 11035 | 0 | 0 1552.10/1552.68 c 1552s | 26 | 8235387 | 7850452 | 1842 11045 | 0 | 0 1554.10/1554.68 c 1554s | 26 | 8244962 | 7859652 | 1842 11055 | 0 | 0 1556.11/1556.68 c 1556s | 26 | 8254600 | 7868852 | 1842 11064 | 0 | 0 1558.10/1558.68 c 1558s | 26 | 8264201 | 7878052 | 1842 11074 | 0 | 0 1560.20/1560.70 c 1560s | 26 | 8273826 | 7887352 | 1842 11084 | 0 | 0 1562.20/1562.70 c 1562s | 26 | 8283151 | 7896452 | 1842 11093 | 0 | 0 1564.20/1564.71 c 1564s | 26 | 8292923 | 7905852 | 1842 11103 | 0 | 0 1566.20/1566.73 c 1566s | 26 | 8302380 | 7914952 | 1842 11113 | 0 | 0 1568.21/1568.74 c 1568s | 26 | 8311849 | 7923952 | 1842 11122 | 0 | 0 1570.20/1570.74 c 1570s | 26 | 8321399 | 7933052 | 1842 11132 | 0 | 0 1572.20/1572.76 c 1572s | 26 | 8330915 | 7942252 | 1842 11141 | 0 | 0 1574.20/1574.77 c 1574s | 26 | 8340513 | 7951352 | 1842 11151 | 0 | 0 1576.20/1576.77 c 1576s | 26 | 8349925 | 7960352 | 1842 11160 | 0 | 0 1578.20/1578.79 c 1578s | 26 | 8359564 | 7969652 | 1842 11170 | 0 | 0 1580.21/1580.80 c 1580s | 26 | 8369257 | 7979052 | 1842 11180 | 0 | 0 1582.30/1582.82 c 1582s | 26 | 8378952 | 7988352 | 1842 11190 | 0 | 0 1584.30/1584.83 c 1584s | 26 | 8388588 | 7997552 | 1842 11199 | 0 | 0 1586.30/1586.84 c 1586s | 26 | 8398435 | 8007052 | 1842 11209 | 0 | 0 1588.30/1588.86 c 1588s | 26 | 8408028 | 8016352 | 1842 11219 | 0 | 0 1590.30/1590.88 c 1590s | 26 | 8418016 | 8025952 | 1842 11229 | 0 | 0 1592.30/1592.89 c 1592s | 26 | 8427440 | 8035152 | 1842 11239 | 0 | 0 1594.30/1594.90 c 1594s | 26 | 8436865 | 8044252 | 1842 11248 | 0 | 0 1596.40/1596.90 c 1596s | 26 | 8446372 | 8053352 | 1842 11258 | 0 | 0 1598.40/1598.91 c 1598s | 26 | 8455521 | 8062152 | 1842 11267 | 0 | 0 1600.39/1600.91 c 1600s | 26 | 8465108 | 8071452 | 1842 11277 | 0 | 0 1602.39/1602.92 c 1602s | 26 | 8474912 | 8080952 | 1842 11286 | 0 | 0 1604.40/1604.94 c 1604s | 26 | 8484662 | 8090352 | 1842 11296 | 0 | 0 1606.39/1606.95 c 1606s | 26 | 8494316 | 8099652 | 1842 11306 | 0 | 0 1608.39/1608.95 c 1608s | 26 | 8503847 | 8108952 | 1842 11316 | 0 | 0 1610.39/1610.95 c 1610s | 26 | 8513056 | 8117852 | 1842 11325 | 0 | 0 1612.39/1612.95 c 1612s | 26 | 8522289 | 8126752 | 1842 11334 | 0 | 0 1614.40/1614.97 c 1614s | 26 | 8531996 | 8136152 | 1842 11344 | 0 | 0 1616.39/1616.97 c 1616s | 26 | 8541412 | 8145152 | 1842 11354 | 0 | 0 1618.39/1618.98 c 1618s | 26 | 8551229 | 8154452 | 1842 11363 | 0 | 0 1620.39/1620.99 c 1620s | 26 | 8560934 | 8163552 | 1842 11373 | 0 | 0 1622.39/1622.99 c 1622s | 26 | 8570234 | 8172352 | 1842 11382 | 0 | 0 1624.49/1625.00 c 1624s | 26 | 8579501 | 8181152 | 1842 11391 | 0 | 0 1626.49/1627.01 c 1626s | 26 | 8589163 | 8190252 | 1842 11401 | 0 | 0 1628.49/1629.02 c 1628s | 26 | 8599100 | 8199552 | 1842 11411 | 0 | 0 1630.48/1631.03 c 1630s | 26 | 8608937 | 8208952 | 1842 11421 | 0 | 0 1632.48/1633.04 c 1632s | 26 | 8618595 | 8218252 | 1842 11430 | 0 | 0 1634.48/1635.04 c 1634s | 26 | 8627972 | 8227252 | 1842 11440 | 0 | 0 1636.49/1637.04 c 1636s | 26 | 8637594 | 8236452 | 1842 11449 | 0 | 0 1638.50/1639.04 c 1638s | 26 | 8647421 | 8245952 | 1842 11459 | 0 | 0 1640.49/1641.05 c 1640s | 26 | 8657221 | 8255152 | 1842 11469 | 0 | 0 1642.49/1643.05 c 1642s | 26 | 8666709 | 8264252 | 1842 11478 | 0 | 0 1644.49/1645.05 c 1644s | 26 | 8676216 | 8273452 | 1842 11488 | 0 | 0 1646.49/1647.06 c 1647s | 26 | 8685890 | 8282652 | 1842 11498 | 0 | 0 1648.49/1649.07 c 1649s | 26 | 8695456 | 8291752 | 1842 11507 | 0 | 0 1650.49/1651.08 c 1651s | 26 | 8705184 | 8301152 | 1842 11517 | 0 | 0 1652.48/1653.09 c 1653s | 26 | 8714701 | 8310452 | 1842 11527 | 0 | 0 1654.58/1655.11 c 1655s | 26 | 8724555 | 8319652 | 1842 11536 | 0 | 0 1656.58/1657.11 c 1657s | 26 | 8733769 | 8328652 | 1842 11546 | 0 | 0 1658.58/1659.13 c 1659s | 26 | 8743884 | 8338152 | 1842 11556 | 0 | 0 1660.59/1661.14 c 1661s | 26 | 8753471 | 8347452 | 1842 11566 | 0 | 0 1662.58/1663.15 c 1663s | 26 | 8763101 | 8356652 | 1842 11575 | 0 | 0 1664.58/1665.16 c 1665s | 26 | 8772396 | 8365652 | 1842 11585 | 0 | 0 1666.58/1667.17 c 1667s | 26 | 8782017 | 8374952 | 1842 11594 | 0 | 0 1668.58/1669.18 c 1669s | 26 | 8791637 | 8384352 | 1842 11604 | 0 | 0 1670.58/1671.18 c 1671s | 26 | 8801206 | 8393652 | 1842 11614 | 0 | 0 1672.59/1673.18 c 1673s | 26 | 8810742 | 8402852 | 1842 11624 | 0 | 0 1674.68/1675.20 c 1675s | 26 | 8820234 | 8412052 | 1842 11633 | 0 | 0 1676.68/1677.22 c 1677s | 26 | 8830022 | 8421352 | 1842 11643 | 0 | 0 1678.68/1679.23 c 1679s | 26 | 8839592 | 8430552 | 1842 11653 | 0 | 0 1680.68/1681.23 c 1681s | 26 | 8849575 | 8440052 | 1842 11663 | 0 | 0 1682.68/1683.25 c 1683s | 26 | 8860100 | 8449952 | 1842 11673 | 0 | 0 1684.69/1685.27 c 1685s | 26 | 8870260 | 8459552 | 1842 11683 | 0 | 0 1686.68/1687.29 c 1687s | 26 | 8879864 | 8468852 | 1842 11693 | 0 | 0 1688.68/1689.29 c 1689s | 26 | 8889514 | 8477952 | 1842 11702 | 0 | 0 1690.68/1691.29 c 1691s | 26 | 8899464 | 8487452 | 1842 11712 | 0 | 0 1692.78/1693.31 c 1693s | 26 | 8909500 | 8497052 | 1842 11722 | 0 | 0 1694.78/1695.33 c 1695s | 26 | 8919260 | 8506452 | 1842 11732 | 0 | 0 1696.79/1697.34 c 1697s | 26 | 8929310 | 8516152 | 1842 11742 | 0 | 0 1698.78/1699.36 c 1699s | 26 | 8939229 | 8525352 | 1842 11752 | 0 | 0 1700.78/1701.37 c 1701s | 26 | 8948775 | 8534552 | 1842 11762 | 0 | 0 1702.78/1703.39 c 1703s | 26 | 8958819 | 8543952 | 1842 11771 | 0 | 0 1704.88/1705.41 c 1705s | 26 | 8968720 | 8553352 | 1842 11781 | 0 | 0 1706.88/1707.42 c 1707s | 26 | 8978671 | 8562652 | 1842 11791 | 0 | 0 1708.88/1709.43 c 1709s | 26 | 8988598 | 8572052 | 1842 11801 | 0 | 0 1710.88/1711.44 c 1711s | 26 | 8998301 | 8581452 | 1842 11811 | 0 | 0 1712.88/1713.46 c 1713s | 26 | 9008138 | 8590852 | 1842 11821 | 0 | 0 1714.88/1715.48 c 1715s | 26 | 9018005 | 8600452 | 1842 11831 | 0 | 0 1716.98/1717.51 c 1717s | 26 | 9027825 | 8609852 | 1842 11840 | 0 | 0 1718.97/1719.51 c 1719s | 26 | 9037433 | 8619152 | 1842 11850 | 0 | 0 1720.98/1721.53 c 1721s | 26 | 9047012 | 8628352 | 1842 11860 | 0 | 0 1722.97/1723.54 c 1723s | 26 | 9056913 | 8637752 | 1842 11870 | 0 | 0 1724.97/1725.54 c 1725s | 26 | 9066620 | 8646952 | 1842 11879 | 0 | 0 1726.97/1727.54 c 1727s | 26 | 9076509 | 8656552 | 1842 11889 | 0 | 0 1728.97/1729.55 c 1729s | 26 | 9085772 | 8665452 | 1842 11899 | 0 | 0 1730.98/1731.55 c 1731s | 26 | 9095279 | 8674552 | 1842 11908 | 0 | 0 1732.97/1733.55 c 1733s | 26 | 9104842 | 8683752 | 1842 11918 | 0 | 0 1734.97/1735.56 c 1735s | 26 | 9114143 | 8692852 | 1842 11928 | 0 | 0 1736.97/1737.57 c 1737s | 26 | 9124213 | 8702552 | 1842 11938 | 0 | 0 1738.97/1739.58 c 1739s | 26 | 9133822 | 8711952 | 1842 11948 | 0 | 0 1741.07/1741.60 c 1741s | 26 | 9143563 | 8721452 | 1842 11957 | 0 | 0 1743.07/1743.62 c 1743s | 26 | 9153243 | 8730752 | 1842 11967 | 0 | 0 1745.07/1745.64 c 1745s | 26 | 9162690 | 8739952 | 1842 11977 | 0 | 0 1747.07/1747.65 c 1747s | 26 | 9172089 | 8749152 | 1842 11987 | 0 | 0 1749.07/1749.66 c 1749s | 26 | 9181856 | 8758452 | 1842 11996 | 0 | 0 1751.07/1751.68 c 1751s | 26 | 9191624 | 8767852 | 1842 12006 | 0 | 0 1753.07/1753.69 c 1753s | 26 | 9200967 | 8776952 | 1842 12016 | 0 | 0 1755.18/1755.71 c 1755s | 26 | 9210815 | 8786352 | 1842 12026 | 0 | 0 1757.17/1757.71 c 1757s | 26 | 9220561 | 8795652 | 1842 12035 | 0 | 0 1759.17/1759.73 c 1759s | 26 | 9230142 | 8804752 | 1842 12045 | 0 | 0 1761.17/1761.75 c 1761s | 26 | 9240197 | 8814152 | 1842 12055 | 0 | 0 1763.17/1763.76 c 1763s | 26 | 9250081 | 8823552 | 1842 12065 | 0 | 0 1765.17/1765.76 c 1765s | 26 | 9259880 | 8832852 | 1842 12074 | 0 | 0 1767.18/1767.77 c 1767s | 26 | 9269737 | 8842152 | 1842 12084 | 0 | 0 1769.17/1769.78 c 1769s | 26 | 9279243 | 8851252 | 1842 12094 | 0 | 0 1771.27/1771.80 c 1771s | 26 | 9288915 | 8860652 | 1842 12104 | 0 | 0 1773.27/1773.81 c 1773s | 26 | 9298553 | 8869952 | 1842 12113 | 0 | 0 1775.27/1775.82 c 1775s | 26 | 9307838 | 8878952 | 1842 12123 | 0 | 0 1777.27/1777.82 c 1777s | 26 | 9317472 | 8888152 | 1842 12132 | 0 | 0 1779.27/1779.83 c 1779s | 26 | 9327233 | 8897552 | 1842 12142 | 0 | 0 1781.27/1781.83 c 1781s | 26 | 9337003 | 8906852 | 1842 12152 | 0 | 0 1783.26/1783.84 c 1783s | 26 | 9346544 | 8916152 | 1842 12162 | 0 | 0 1785.26/1785.86 c 1785s | 26 | 9355893 | 8925152 | 1842 12171 | 0 | 0 1787.26/1787.87 c 1787s | 26 | 9365383 | 8934152 | 1842 12181 | 0 | 0 1789.27/1789.89 c 1789s | 26 | 9375410 | 8943452 | 1842 12190 | 0 | 0 1791.37/1791.91 c 1791s | 26 | 9384889 | 8952652 | 1842 12200 | 0 | 0 1793.36/1793.92 c 1793s | 26 | 9394606 | 8961952 | 1842 12210 | 0 | 0 1795.36/1795.92 c 1795s | 26 | 9404190 | 8971152 | 1842 12219 | 0 | 0 1797.36/1797.93 c 1797s | 26 | 9413472 | 8980152 | 1842 12229 | 0 | 0 1799.36/1799.94 c 1799s | 26 | 9422946 | 8989352 | 1842 12239 | 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-4089155-1466022595/watcher-4089155-1466022595 -o /tmp/evaluation-result-4089155-1466022595/solver-4089155-1466022595 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089155-1466022595.opb pid=7775 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.10 2.04 2.06 3/179 7778 /proc/meminfo: memFree=30446020/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/7778/stat : 7778 (runsolver) D 7775 7778 5955 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 4304969 24911872 151 33554432000 4194304 4338465 140735523565088 140735523562728 211458804919 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0 /proc/7778/statm: 6082 151 105 36 0 2655 0 [startup+0.100174 s] /proc/loadavg: 2.10 2.04 2.06 3/179 7778 /proc/meminfo: memFree=30446020/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1218116 CPUtime=0.05 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 17157 0 0 0 3 2 0 0 20 0 4 0 4304969 1247350784 18019 33554432000 4194304 16246674 140734143450896 140734143450320 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 304529 18035 711 2943 0 301423 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1218116 [startup+0.200455 s] /proc/loadavg: 2.10 2.04 2.06 3/179 7778 /proc/meminfo: memFree=30446020/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1218116 CPUtime=0.15 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 45913 0 0 0 8 7 0 0 20 0 4 0 4304969 1247350784 46774 33554432000 4194304 16246674 140734143450896 140734143450320 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 304529 46788 711 2943 0 301423 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 1218116 [startup+0.30042 s] /proc/loadavg: 2.10 2.04 2.06 3/179 7778 /proc/meminfo: memFree=30446020/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1218116 CPUtime=0.24 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 74560 0 0 0 13 11 0 0 20 0 4 0 4304969 1247350784 75421 33554432000 4194304 16246674 140734143450896 140734143450320 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 304529 75436 711 2943 0 301423 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 1218116 [startup+0.700306 s] /proc/loadavg: 2.10 2.04 2.06 3/179 7778 /proc/meminfo: memFree=30446020/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1218116 CPUtime=0.64 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 192458 0 0 0 37 27 0 0 20 0 4 0 4304969 1247350784 193319 33554432000 4194304 16246674 140734143450896 140734143450320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 304529 193334 711 2943 0 301423 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 1218116 [startup+1.50046 s] /proc/loadavg: 2.10 2.04 2.06 3/183 7782 /proc/meminfo: memFree=29461168/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1305156 CPUtime=1.44 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267162 0 0 0 107 37 0 0 20 0 4 0 4304969 1336479744 268003 33554432000 4194304 16246674 140734143450896 140734143433896 5589576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326289 268003 789 2943 0 323183 0 [pid=7778/tid=7780] ppid=7775 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1336479744 268003 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1336479744 268003 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1336479744 268003 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 1305156 [startup+3.10046 s] /proc/loadavg: 2.10 2.04 2.06 3/183 7782 /proc/meminfo: memFree=29373748/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1306180 CPUtime=3.04 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267470 0 0 0 267 37 0 0 20 0 4 0 4304969 1337528320 268311 33554432000 4194304 16246674 140734143450896 140734143433896 5754764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326545 268311 789 2943 0 323439 0 [pid=7778/tid=7780] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268311 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268311 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268311 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 1306180 [startup+6.30037 s] /proc/loadavg: 2.09 2.04 2.06 3/183 7782 /proc/meminfo: memFree=29373104/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1306180 CPUtime=6.24 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267505 0 0 0 587 37 0 0 20 0 4 0 4304969 1337528320 268346 33554432000 4194304 16246674 140734143450896 140734143432768 12483332 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326545 268346 789 2943 0 323439 0 [pid=7778/tid=7780] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268346 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268346 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268346 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.08 2.04 2.06 3/184 7785 /proc/meminfo: memFree=29372548/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1306180 CPUtime=12.64 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267567 0 0 0 1227 37 0 0 20 0 4 0 4304969 1337528320 268408 33554432000 4194304 16246674 140734143450896 140734143432768 5669452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326545 268408 792 2943 0 323439 0 [pid=7778/tid=7780] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268408 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268408 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268408 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.07 2.04 2.06 3/184 7785 /proc/meminfo: memFree=29372800/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1306180 CPUtime=25.44 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267572 0 0 0 2507 37 0 0 20 0 4 0 4304969 1337528320 268413 33554432000 4194304 16246674 140734143450896 140734143433896 5675905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326545 268413 793 2943 0 323439 0 [pid=7778/tid=7780] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268413 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268413 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1337528320 268413 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.12 2.05 2.06 3/184 7785 /proc/meminfo: memFree=29372436/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1307204 CPUtime=51.04 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267649 0 0 0 5066 38 0 0 20 0 4 0 4304969 1338576896 268490 33554432000 4194304 16246674 140734143450896 140734143432768 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 326801 268490 793 2943 0 323695 0 [pid=7778/tid=7780] ppid=7775 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1338576896 268490 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1338576896 268490 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1338576896 268490 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.05 2.04 2.06 3/183 7786 /proc/meminfo: memFree=29371008/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1308228 CPUtime=102.23 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 267997 0 0 0 10185 38 0 0 20 0 4 0 4304969 1339625472 268838 33554432000 4194304 16246674 140734143450896 140734143432768 5721559 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 327057 268838 793 2943 0 323951 0 [pid=7778/tid=7780] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268838 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268838 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268838 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 1308228 [startup+162.3 s] /proc/loadavg: 2.13 2.06 2.06 3/183 7836 /proc/meminfo: memFree=29382476/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1308228 CPUtime=162.22 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 268084 0 0 0 16183 39 0 0 20 0 4 0 4304969 1339625472 268925 33554432000 4194304 16246674 140734143450896 140734143433896 5808585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 327057 268925 793 2943 0 323951 0 [pid=7778/tid=7780] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268925 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268925 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1339625472 268925 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1308228 [startup+222.308 s] /proc/loadavg: 2.04 2.05 2.05 3/184 7839 /proc/meminfo: memFree=29380336/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1309252 CPUtime=222.21 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 268357 0 0 0 22181 40 0 0 20 0 4 0 4304969 1340674048 269184 33554432000 4194304 16246674 140734143450896 140734143432768 12478212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 327313 269184 793 2943 0 324207 0 [pid=7778/tid=7780] ppid=7775 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1340674048 269184 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1340674048 269184 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1340674048 269184 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270894 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1316420 [startup+1302.3 s] /proc/loadavg: 2.29 2.15 2.10 3/183 7866 /proc/meminfo: memFree=29362076/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1301.84 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270455 0 0 0 130127 57 0 0 20 0 4 0 4304969 1348014080 270914 33554432000 4194304 16246674 140734143450896 140734143432768 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270914 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270914 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270914 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270914 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1316420 [startup+1362.3 s] /proc/loadavg: 2.23 2.15 2.10 3/183 7867 /proc/meminfo: memFree=29361600/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1361.83 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 136125 58 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143433896 5722668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1316420 [startup+1422.3 s] /proc/loadavg: 2.18 2.15 2.10 3/183 7869 /proc/meminfo: memFree=29361604/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1421.83 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 142124 59 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5667809 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1316420 [startup+1482.3 s] /proc/loadavg: 2.17 2.15 2.10 3/183 7870 /proc/meminfo: memFree=29360880/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1481.81 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 148122 59 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5663120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1316420 [startup+1542.31 s] /proc/loadavg: 2.12 2.14 2.09 3/183 7871 /proc/meminfo: memFree=29361428/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1541.8 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 154121 59 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.09 2.12 2.09 3/183 7872 /proc/meminfo: memFree=29361660/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1601.79 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 160119 60 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5523004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.19 2.14 2.10 3/183 7873 /proc/meminfo: memFree=29361628/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1661.78 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 166117 61 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.07 2.12 2.09 4/183 7875 /proc/meminfo: memFree=29361604/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1721.77 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 172115 62 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143433896 5721391 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.17 2.14 2.09 3/183 7876 /proc/meminfo: memFree=29360492/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1781.76 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 178113 63 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 5721571 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.27 2.16 2.10 3/183 7876 /proc/meminfo: memFree=29360964/32872528 swapFree=496356/529060 [pid=7778] ppid=7775 vsize=1316420 CPUtime=1800.06 cores=1,3,5,7 /proc/7778/stat : 7778 (toysat) R 7775 7778 5955 0 -1 4202496 270517 0 0 0 179943 63 0 0 20 0 4 0 4304969 1348014080 270976 33554432000 4194304 16246674 140734143450896 140734143432768 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 4 0 0 /proc/7778/statm: 329105 270976 793 2943 0 325999 0 [pid=7778/tid=7780] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7780/stat : 7780 (toysat) S 7775 7778 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785846893808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=7778/tid=7781] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7781/stat : 7781 (toysat) S 7775 7778 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785836403952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7778/tid=7782] ppid=7775 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7778/task/7782/stat : 7782 (toysat) S 7775 7778 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4304973 1348014080 270976 33554432000 4194304 16246674 140734143450896 139785750441136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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 7778 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.44 CPU system time (s): 0.638902 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.638902 maximum resident set size= 1083904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270517 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= 399 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53931 second user time and 7.05093 second system time The end
Begin job on node141 at 2016-06-15 22:29:55 IDJOB=4089155 IDBENCH=107366 IDSOLVER=2542 FILE ID=node141/4089155-1466022595 RUNJOBID= node141-1466008015-5972 PBS_JOBID= 19902806 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x25.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089155-1466022595/watcher-4089155-1466022595 -o /tmp/evaluation-result-4089155-1466022595/solver-4089155-1466022595 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089155-1466022595.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ba4dac5e63ce4b7dd0b2bb812f19aa1c RANDOM SEED=1755424962 node141.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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 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.55 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.547 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30446540 kB Buffers: 25288 kB Cached: 74804 kB SwapCached: 13072 kB Active: 1146924 kB Inactive: 50580 kB Active(anon): 1087624 kB Inactive(anon): 12008 kB Active(file): 59300 kB Inactive(file): 38572 kB Unevictable: 529060 kB Mlocked: 496356 kB SwapTotal: 67108856 kB SwapFree: 67088056 kB Dirty: 16344 kB Writeback: 0 kB AnonPages: 1698004 kB Mapped: 10380 kB Shmem: 0 kB Slab: 566544 kB SReclaimable: 10508 kB SUnreclaim: 556036 kB KernelStack: 1528 kB PageTables: 6928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1758076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1196032 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= 71716 MiB End job on node141 at 2016-06-15 22:59:56