Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ subsetcard/normalized-subsetcard-eq-random4regular-80.opb |
MD5SUM | 59d94da41177a29ab8da7774c6b2954c |
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.011997 |
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 | 321 |
Total number of constraints | 160 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 160 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 8 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 2016-06-16T20:29:34+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096071-1466101774.opb"] 0.00/0.01 c use --random-gen="4063710731 715191431 2345128748 1262007065 3140731368 2417947111 858799623 4282933594 1910995845 3502619657 3544275002 1072100982 4090618025 3868688742 3101949026 1561746098 1671261874 864297594 1873254033 1207022732 3844834740 1209338797 1676433545 35098469 176832505 2899201741 1558466415 839419437 944105619 2261215519 1213771999 2116313728 2899206283 2142757949 2350782544 1557243426 3464024333 3814122613 3771386752 3915392683 2723007812 1762551727 2298312539 2799099098 1301384124 3862833946 2393356017 530196793 369237980 794562883 3773194946 609046751 1033473952 1475797580 108292589 3098729581 3574062175 2247839832 3857387131 1255403326 2676067887 973218568 3139071856 341407134 976953715 3029310560 1350139677 3589496589 2787808424 982898764 1954177597 537772924 3427784051 2637633278 3540177360 3015564236 961853280 1637669378 1257845738 2904708397 2443424381 1948053141 2848658173 3719261516 2331166708 108302262 868600477 45666055 3342068764 522934296 3980685448 3558148457 3653667624 1074300482 1376627197 1278162753 4053542253 2855020070 1320906318 3825612853 198824541 349506621 2016868883 1075065941 565185136 2591827078 1498641163 1033189199 2217864351 1295768024 261620373 3113097939 1316687992 192483721 3884670206 1888827729 958380339 2030888916 2759006811 1880494243 3339735370 3331772954 1222810208 3836311621 269234521 3258077752 4194966831 949881435 3468752249 2021411757 1073565676 60665992 2913374068 4260099935 30990552 2935230458 1568477077 3258034327 223341699 277108410 377413786 1129373008 95189154 1506727453 1440946237 4031038083 1600542090 3931391932 3852992781 3044152587 2759292730 801426791 3351527469 916337527 1281172725 3639318936 2111239096 2922072599 3569768060 1812131925 399765939 348302553 2104394888 3515987351 734453196 2336874422 2915351091 526727851 2293350012 922178667 331666395 167634756 3599928264 2892645629 2236574386 3330876530 1929453817 2642639197 1709442591 1690221526 1001639610 1915672516 1182439859 3504176549 435606796 327663732 1423936252 4002512602 1246549386 2136629203 3871124931 618974892 870918142 535865913 2285677842 449016845 3409381111 2700817434 4078051494 2325045815 2066234534 1938289397 3572682661 749335370 1216295045 2531195064 3891328387 2714990262 2930793582 1222221321 2547734669 1796033752 644515487 3206044598 1874232945 3173604820 2066415048 461925694 1240795832 586214561 3782629948 1208185280 1159060366 1294425572 182084111 32189591 1615585017 1416472685 291191802 161718300 1433393824 3893440161 3831891670 871368523 4184914646 1514916060 3057636136 1177875221 2520409522 3231944005 4120395553 1855974292 470793429 1725373560 282484789 1884489239 3726362645 1241431723 2049769634 2443358139 2317828561 1202529052 1248079012 621839757 4029068173 1102520077 255 362436" option to reproduce the execution 0.00/0.01 c #vars 321 0.00/0.01 c #constraints 160 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 213 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 205 | 100 | 213 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 551 | 250 | 235 0 | 0 | 0 0.08/0.12 c 0.1s | 3 | 1005 | 475 | 259 1 | 0 | 0 0.08/0.19 c 0.2s | 4 | 1555 | 813 | 285 2 | 0 | 0 0.19/0.29 c 0.3s | 5 | 2212 | 1320 | 314 4 | 0 | 0 0.39/0.45 c 0.4s | 6 | 3232 | 2081 | 381 7 | 0 | 0 0.69/0.70 c 0.7s | 7 | 5055 | 3223 | 420 12 | 0 | 0 0.99/1.07 c 1.1s | 8 | 7804 | 4936 | 463 17 | 0 | 0 1.39/1.47 c 1.5s | 9 | 10884 | 7506 | 510 25 | 0 | 0 1.99/2.09 c 2.1s | 10 | 15898 | 11361 | 561 35 | 0 | 0 3.09/3.10 c 3.1s | 11 | 22495 | 17144 | 618 50 | 0 | 0 4.69/4.73 c 4.7s | 12 | 32663 | 25819 | 680 71 | 0 | 0 6.69/6.73 c 6.7s | 12 | 44493 | 36219 | 680 95 | 0 | 0 7.18/7.21 c 7.2s | 13 | 47431 | 38832 | 749 101 | 0 | 0 9.19/9.23 c 9.2s | 13 | 61311 | 50532 | 749 125 | 0 | 0 10.49/10.56 c 10.5s | 14 | 71617 | 58352 | 824 142 | 0 | 0 12.49/12.57 c 12.6s | 14 | 82850 | 67652 | 824 162 | 0 | 0 14.49/14.59 c 14.6s | 14 | 93775 | 76852 | 824 181 | 0 | 0 16.50/16.60 c 16.6s | 14 | 105324 | 86352 | 824 201 | 0 | 0 16.79/16.87 c 16.9s | 15 | 106833 | 87632 | 907 203 | 0 | 0 18.80/18.88 c 18.9s | 15 | 118609 | 96432 | 907 220 | 0 | 0 20.79/20.88 c 20.9s | 15 | 128679 | 104832 | 907 236 | 0 | 0 22.79/22.89 c 22.9s | 15 | 140495 | 113832 | 907 254 | 0 | 0 24.89/24.90 c 24.9s | 15 | 150565 | 122432 | 907 270 | 0 | 0 26.89/26.92 c 26.9s | 15 | 162198 | 131332 | 998 288 | 0 | 0 26.89/26.96 c 26.9s | 16 | 162440 | 131552 | 998 288 | 0 | 0 28.89/28.96 c 28.9s | 16 | 173793 | 140252 | 998 303 | 0 | 0 30.90/30.97 c 31.0s | 16 | 183953 | 148952 | 998 319 | 0 | 0 32.89/32.99 c 33.0s | 16 | 193671 | 157652 | 998 335 | 0 | 0 34.89/34.99 c 35.0s | 16 | 203802 | 166452 | 998 351 | 0 | 0 36.99/37.00 c 37.0s | 16 | 213884 | 175352 | 998 367 | 0 | 0 38.99/39.01 c 39.0s | 16 | 224129 | 184352 | 998 384 | 0 | 0 40.99/41.02 c 41.0s | 16 | 233965 | 193152 | 998 400 | 0 | 0 41.99/42.03 c 42.0s | 17 | 238941 | 197432 | 1098 408 | 0 | 0 43.99/44.04 c 44.0s | 17 | 250416 | 206232 | 1098 422 | 0 | 0 45.99/46.04 c 46.0s | 17 | 260702 | 214632 | 1098 436 | 0 | 0 47.98/48.05 c 48.0s | 17 | 270881 | 223032 | 1098 450 | 0 | 0 49.98/50.06 c 50.0s | 17 | 281353 | 231432 | 1098 464 | 0 | 0 51.98/52.07 c 52.1s | 17 | 290259 | 239132 | 1098 477 | 0 | 0 53.99/54.08 c 54.1s | 17 | 300480 | 247232 | 1098 490 | 0 | 0 55.98/56.09 c 56.1s | 17 | 311009 | 255832 | 1098 504 | 0 | 0 57.98/58.10 c 58.1s | 17 | 320472 | 264032 | 1098 517 | 0 | 0 60.08/60.11 c 60.1s | 17 | 329848 | 271932 | 1098 530 | 0 | 0 62.08/62.13 c 62.1s | 17 | 339865 | 280132 | 1098 544 | 0 | 0 64.08/64.14 c 64.1s | 17 | 349873 | 288432 | 1098 558 | 0 | 0 65.88/65.95 c 65.9s | 18 | 359799 | 296252 | 1208 570 | 0 | 0 67.88/67.96 c 67.9s | 18 | 370512 | 305852 | 1208 584 | 0 | 0 69.88/69.98 c 70.0s | 18 | 380939 | 314152 | 1208 597 | 0 | 0 71.88/71.99 c 72.0s | 18 | 389825 | 321952 | 1208 609 | 0 | 0 73.97/74.01 c 74.0s | 18 | 399618 | 330152 | 1208 621 | 0 | 0 75.98/76.03 c 76.0s | 18 | 408941 | 338152 | 1208 633 | 0 | 0 77.97/78.05 c 78.0s | 18 | 418313 | 346152 | 1208 646 | 0 | 0 79.97/80.06 c 80.0s | 18 | 426881 | 353752 | 1208 658 | 0 | 0 81.97/82.08 c 82.1s | 18 | 436567 | 362052 | 1208 670 | 0 | 0 83.97/84.09 c 84.1s | 18 | 445684 | 370052 | 1208 683 | 0 | 0 86.08/86.12 c 86.1s | 18 | 454647 | 377852 | 1208 695 | 0 | 0 88.08/88.14 c 88.1s | 18 | 463773 | 385752 | 1208 707 | 0 | 0 90.08/90.15 c 90.1s | 18 | 472894 | 393652 | 1208 719 | 0 | 0 92.08/92.16 c 92.1s | 18 | 482198 | 401852 | 1208 732 | 0 | 0 94.08/94.17 c 94.2s | 18 | 491433 | 410052 | 1208 744 | 0 | 0 96.08/96.18 c 96.2s | 18 | 502256 | 418852 | 1208 758 | 0 | 0 98.08/98.19 c 98.2s | 18 | 513547 | 427852 | 1208 772 | 0 | 0 100.08/100.19 c 100s | 18 | 523094 | 436052 | 1208 784 | 0 | 0 102.18/102.20 c 102s | 19 | 533271 | 444482 | 1329 797 | 0 | 0 104.18/104.20 c 104s | 19 | 550261 | 453582 | 1329 810 | 0 | 0 106.17/106.23 c 106s | 19 | 563734 | 462182 | 1329 822 | 0 | 0 108.17/108.25 c 108s | 19 | 576580 | 470582 | 1329 833 | 0 | 0 110.17/110.28 c 110s | 19 | 585683 | 477982 | 1329 843 | 0 | 0 112.18/112.28 c 112s | 19 | 596628 | 485782 | 1329 854 | 0 | 0 114.17/114.29 c 114s | 19 | 609032 | 494082 | 1329 866 | 0 | 0 116.27/116.31 c 116s | 19 | 621768 | 502082 | 1329 877 | 0 | 0 118.27/118.31 c 118s | 19 | 637249 | 510882 | 1329 889 | 0 | 0 120.27/120.33 c 120s | 19 | 653234 | 519582 | 1329 901 | 0 | 0 122.27/122.34 c 122s | 19 | 663102 | 527182 | 1329 911 | 0 | 0 124.28/124.34 c 124s | 19 | 674531 | 535482 | 1329 923 | 0 | 0 126.27/126.35 c 126s | 19 | 686724 | 543782 | 1329 934 | 0 | 0 128.27/128.36 c 128s | 19 | 696914 | 551482 | 1329 945 | 0 | 0 130.27/130.37 c 130s | 19 | 708690 | 559882 | 1329 957 | 0 | 0 132.27/132.37 c 132s | 19 | 718842 | 567882 | 1329 968 | 0 | 0 134.28/134.38 c 134s | 19 | 728596 | 575282 | 1329 978 | 0 | 0 136.27/136.40 c 136s | 19 | 738714 | 582682 | 1329 988 | 0 | 0 138.37/138.41 c 138s | 19 | 748109 | 590382 | 1329 999 | 0 | 0 140.37/140.42 c 140s | 19 | 758869 | 598082 | 1329 1009 | 0 | 0 142.37/142.45 c 142s | 19 | 769381 | 605782 | 1329 1020 | 0 | 0 144.37/144.46 c 144s | 19 | 779569 | 613482 | 1329 1031 | 0 | 0 146.37/146.46 c 146s | 19 | 789880 | 620882 | 1329 1041 | 0 | 0 148.37/148.48 c 148s | 19 | 800785 | 628182 | 1329 1051 | 0 | 0 150.47/150.51 c 150s | 19 | 811232 | 635082 | 1329 1060 | 0 | 0 152.47/152.52 c 152s | 19 | 822704 | 643382 | 1329 1072 | 0 | 0 154.47/154.54 c 154s | 19 | 833107 | 651382 | 1329 1083 | 0 | 0 156.46/156.57 c 156s | 19 | 843695 | 659282 | 1329 1094 | 0 | 0 158.47/158.55 c 158s | 20 | 854515 | 666827 | 1462 1104 | 0 | 0 160.46/160.55 c 160s | 20 | 865242 | 674027 | 1462 1113 | 0 | 0 162.46/162.58 c 162s | 20 | 877197 | 681827 | 1462 1123 | 0 | 0 164.46/164.58 c 164s | 20 | 889464 | 689627 | 1462 1133 | 0 | 0 166.56/166.60 c 166s | 20 | 902126 | 697327 | 1462 1143 | 0 | 0 168.56/168.61 c 168s | 20 | 913602 | 704827 | 1462 1152 | 0 | 0 170.57/170.61 c 170s | 20 | 929427 | 712927 | 1462 1162 | 0 | 0 172.56/172.63 c 172s | 20 | 939544 | 720627 | 1462 1172 | 0 | 0 174.56/174.63 c 174s | 20 | 953206 | 728527 | 1462 1182 | 0 | 0 176.56/176.63 c 176s | 20 | 966328 | 736427 | 1462 1192 | 0 | 0 178.57/178.66 c 178s | 20 | 977942 | 744227 | 1462 1202 | 0 | 0 180.57/180.69 c 180s | 20 | 988291 | 751827 | 1462 1212 | 0 | 0 182.57/182.70 c 182s | 20 | 998539 | 759227 | 1462 1221 | 0 | 0 184.67/184.71 c 184s | 20 | 1009032 | 767127 | 1462 1231 | 0 | 0 186.67/186.73 c 186s | 20 | 1021850 | 774927 | 1462 1241 | 0 | 0 188.67/188.73 c 188s | 20 | 1033080 | 782327 | 1462 1251 | 0 | 0 190.67/190.73 c 190s | 20 | 1048346 | 790127 | 1462 1261 | 0 | 0 192.66/192.76 c 192s | 20 | 1061286 | 797727 | 1462 1270 | 0 | 0 194.67/194.79 c 194s | 20 | 1071792 | 805027 | 1462 1280 | 0 | 0 196.76/196.81 c 196s | 20 | 1082916 | 812627 | 1462 1289 | 0 | 0 198.76/198.83 c 198s | 20 | 1095736 | 820527 | 1462 1300 | 0 | 0 200.76/200.85 c 200s | 20 | 1108748 | 828527 | 1462 1310 | 0 | 0 202.76/202.85 c 202s | 20 | 1125112 | 837127 | 1462 1321 | 0 | 0 204.76/204.86 c 204s | 20 | 1136846 | 844727 | 1462 1330 | 0 | 0 206.77/206.86 c 206s | 20 | 1148387 | 852427 | 1462 1340 | 0 | 0 208.76/208.89 c 208s | 20 | 1160020 | 860227 | 1462 1350 | 0 | 0 210.86/210.90 c 210s | 20 | 1171696 | 868027 | 1462 1360 | 0 | 0 212.86/212.91 c 212s | 20 | 1184912 | 875827 | 1462 1370 | 0 | 0 214.86/214.91 c 214s | 20 | 1197554 | 883127 | 1462 1379 | 0 | 0 216.86/216.93 c 216s | 20 | 1214425 | 892027 | 1462 1391 | 0 | 0 218.87/218.94 c 218s | 20 | 1230535 | 900527 | 1462 1402 | 0 | 0 220.86/220.96 c 220s | 20 | 1243998 | 908627 | 1462 1412 | 0 | 0 222.86/222.98 c 222s | 20 | 1255004 | 916327 | 1462 1422 | 0 | 0 224.96/225.00 c 224s | 20 | 1268429 | 924327 | 1462 1432 | 0 | 0 226.96/227.01 c 226s | 20 | 1282599 | 932427 | 1462 1443 | 0 | 0 228.96/229.02 c 229s | 20 | 1295018 | 940027 | 1462 1452 | 0 | 0 230.96/231.03 c 231s | 20 | 1308285 | 947927 | 1462 1463 | 0 | 0 232.96/233.05 c 233s | 20 | 1320902 | 955927 | 1462 1473 | 0 | 0 234.96/235.06 c 235s | 20 | 1332312 | 963427 | 1462 1482 | 0 | 0 236.96/237.07 c 237s | 20 | 1342779 | 970827 | 1462 1492 | 0 | 0 238.95/239.09 c 239s | 20 | 1351902 | 977827 | 1462 1501 | 0 | 0 241.05/241.10 c 241s | 20 | 1361864 | 985227 | 1462 1510 | 0 | 0 243.06/243.10 c 243s | 20 | 1373759 | 992527 | 1462 1520 | 0 | 0 245.05/245.11 c 245s | 20 | 1386443 | 1000227 | 1609 1528 | 0 | 0 245.05/245.15 c 245s | 21 | 1386821 | 1000345 | 1609 1529 | 0 | 0 247.05/247.17 c 247s | 21 | 1399594 | 1008545 | 1609 1538 | 0 | 0 249.05/249.18 c 249s | 21 | 1410778 | 1015845 | 1609 1547 | 0 | 0 251.05/251.19 c 251s | 21 | 1423678 | 1023545 | 1609 1556 | 0 | 0 253.15/253.21 c 253s | 21 | 1434833 | 1031445 | 1609 1565 | 0 | 0 255.16/255.22 c 255s | 21 | 1446263 | 1038845 | 1609 1573 | 0 | 0 257.15/257.24 c 257s | 21 | 1459617 | 1046945 | 1609 1583 | 0 | 0 259.15/259.25 c 259s | 21 | 1471767 | 1054945 | 1609 1592 | 0 | 0 261.15/261.26 c 261s | 21 | 1484027 | 1063245 | 1609 1602 | 0 | 0 263.15/263.29 c 263s | 21 | 1494396 | 1071045 | 1609 1611 | 0 | 0 265.25/265.31 c 265s | 21 | 1504267 | 1078845 | 1609 1621 | 0 | 0 267.26/267.33 c 267s | 21 | 1515168 | 1086645 | 1609 1630 | 0 | 0 269.25/269.35 c 269s | 21 | 1524848 | 1094145 | 1609 1638 | 0 | 0 271.25/271.35 c 271s | 21 | 1533679 | 1101045 | 1609 1646 | 0 | 0 273.25/273.37 c 273s | 21 | 1544220 | 1108545 | 1609 1655 | 0 | 0 275.35/275.41 c 275s | 21 | 1554677 | 1116145 | 1609 1664 | 0 | 0 277.35/277.41 c 277s | 21 | 1565076 | 1123545 | 1609 1673 | 0 | 0 279.35/279.42 c 279s | 21 | 1575849 | 1131145 | 1609 1682 | 0 | 0 281.35/281.44 c 281s | 21 | 1587045 | 1138845 | 1609 1691 | 0 | 0 283.35/283.46 c 283s | 21 | 1597068 | 1146345 | 1609 1700 | 0 | 0 285.35/285.49 c 285s | 21 | 1606927 | 1153645 | 1609 1709 | 0 | 0 287.44/287.52 c 287s | 21 | 1618569 | 1161545 | 1609 1718 | 0 | 0 289.44/289.54 c 289s | 21 | 1630411 | 1169145 | 1609 1727 | 0 | 0 291.45/291.56 c 291s | 21 | 1642022 | 1176345 | 1609 1735 | 0 | 0 293.45/293.58 c 293s | 21 | 1654589 | 1184245 | 1609 1744 | 0 | 0 295.45/295.58 c 295s | 21 | 1665529 | 1192145 | 1609 1754 | 0 | 0 297.55/297.60 c 297s | 21 | 1677836 | 1200245 | 1609 1763 | 0 | 0 299.55/299.61 c 299s | 21 | 1689183 | 1208145 | 1609 1772 | 0 | 0 301.55/301.61 c 301s | 21 | 1700590 | 1216245 | 1609 1782 | 0 | 0 303.55/303.62 c 303s | 21 | 1713353 | 1224545 | 1609 1792 | 0 | 0 305.55/305.63 c 305s | 21 | 1727840 | 1232745 | 1609 1801 | 0 | 0 307.55/307.64 c 307s | 21 | 1742328 | 1241045 | 1609 1811 | 0 | 0 309.54/309.66 c 309s | 21 | 1752825 | 1248345 | 1609 1820 | 0 | 0 311.54/311.69 c 311s | 21 | 1763719 | 1256145 | 1609 1829 | 0 | 0 313.64/313.70 c 313s | 21 | 1775702 | 1263845 | 1609 1838 | 0 | 0 315.65/315.70 c 315s | 21 | 1785772 | 1271445 | 1609 1847 | 0 | 0 317.64/317.71 c 317s | 21 | 1795326 | 1279045 | 1609 1856 | 0 | 0 319.64/319.71 c 319s | 21 | 1806669 | 1287245 | 1609 1866 | 0 | 0 321.64/321.74 c 321s | 21 | 1819208 | 1296045 | 1609 1876 | 0 | 0 323.64/323.77 c 323s | 21 | 1828766 | 1303645 | 1609 1885 | 0 | 0 325.65/325.79 c 325s | 21 | 1837965 | 1311245 | 1609 1893 | 0 | 0 327.64/327.80 c 327s | 21 | 1848856 | 1319645 | 1609 1903 | 0 | 0 329.74/329.81 c 329s | 21 | 1859825 | 1327845 | 1609 1913 | 0 | 0 331.74/331.83 c 331s | 21 | 1869026 | 1335445 | 1609 1922 | 0 | 0 333.74/333.85 c 333s | 21 | 1877966 | 1342845 | 1609 1930 | 0 | 0 335.74/335.87 c 335s | 21 | 1891829 | 1351045 | 1609 1940 | 0 | 0 337.74/337.89 c 337s | 21 | 1901243 | 1358245 | 1609 1948 | 0 | 0 339.74/339.90 c 339s | 21 | 1910419 | 1365845 | 1609 1957 | 0 | 0 341.84/341.91 c 341s | 21 | 1918123 | 1372545 | 1609 1965 | 0 | 0 343.84/343.91 c 343s | 21 | 1926363 | 1379345 | 1609 1973 | 0 | 0 345.84/345.93 c 345s | 21 | 1933906 | 1386145 | 1609 1981 | 0 | 0 347.84/347.95 c 347s | 21 | 1943458 | 1394045 | 1609 1990 | 0 | 0 349.84/349.98 c 349s | 21 | 1952336 | 1401545 | 1609 1999 | 0 | 0 351.83/351.99 c 351s | 21 | 1960612 | 1408445 | 1609 2007 | 0 | 0 353.83/353.99 c 353s | 21 | 1967651 | 1414445 | 1609 2014 | 0 | 0 355.93/356.00 c 355s | 21 | 1976099 | 1420945 | 1609 2021 | 0 | 0 357.93/358.00 c 357s | 21 | 1984144 | 1427645 | 1609 2029 | 0 | 0 359.93/360.02 c 360s | 21 | 1992252 | 1434245 | 1609 2037 | 0 | 0 361.94/362.04 c 362s | 21 | 2000417 | 1440945 | 1609 2045 | 0 | 0 363.93/364.05 c 364s | 21 | 2008350 | 1447645 | 1609 2052 | 0 | 0 365.93/366.07 c 366s | 21 | 2017151 | 1454545 | 1609 2061 | 0 | 0 367.93/368.08 c 368s | 21 | 2026197 | 1462045 | 1609 2069 | 0 | 0 369.93/370.08 c 370s | 21 | 2037764 | 1470045 | 1609 2079 | 0 | 0 372.03/372.10 c 372s | 21 | 2048712 | 1478145 | 1609 2088 | 0 | 0 374.04/374.10 c 374s | 21 | 2059464 | 1485545 | 1609 2097 | 0 | 0 376.03/376.13 c 376s | 21 | 2070776 | 1493145 | 1770 2105 | 0 | 0 378.03/378.13 c 378s | 21 | 2080987 | 1500045 | 1770 2113 | 0 | 0 378.13/378.28 c 378s | 22 | 2081691 | 1500622 | 1770 2113 | 0 | 0 380.14/380.29 c 380s | 22 | 2092586 | 1508122 | 1770 2121 | 0 | 0 382.24/382.30 c 382s | 22 | 2103813 | 1515622 | 1770 2129 | 0 | 0 384.24/384.30 c 384s | 22 | 2114723 | 1523022 | 1770 2137 | 0 | 0 386.24/386.31 c 386s | 22 | 2123609 | 1530122 | 1770 2145 | 0 | 0 388.24/388.33 c 388s | 22 | 2133871 | 1537322 | 1770 2152 | 0 | 0 390.23/390.36 c 390s | 22 | 2144900 | 1544622 | 1770 2160 | 0 | 0 392.23/392.38 c 392s | 22 | 2152735 | 1551122 | 1770 2167 | 0 | 0 394.33/394.41 c 394s | 22 | 2162495 | 1558222 | 1770 2175 | 0 | 0 396.33/396.43 c 396s | 22 | 2173181 | 1565722 | 1770 2183 | 0 | 0 398.33/398.43 c 398s | 22 | 2182795 | 1573222 | 1770 2191 | 0 | 0 400.34/400.45 c 400s | 22 | 2192611 | 1580522 | 1770 2199 | 0 | 0 402.33/402.45 c 402s | 22 | 2201480 | 1587222 | 1770 2206 | 0 | 0 404.33/404.46 c 404s | 22 | 2210330 | 1594022 | 1770 2213 | 0 | 0 406.33/406.46 c 406s | 22 | 2218293 | 1600822 | 1770 2221 | 0 | 0 408.33/408.48 c 408s | 22 | 2227192 | 1607822 | 1770 2228 | 0 | 0 410.43/410.50 c 410s | 22 | 2235008 | 1614222 | 1770 2235 | 0 | 0 412.44/412.53 c 412s | 22 | 2245281 | 1621622 | 1770 2243 | 0 | 0 414.43/414.55 c 414s | 22 | 2255173 | 1628322 | 1770 2250 | 0 | 0 416.43/416.55 c 416s | 22 | 2264040 | 1635122 | 1770 2257 | 0 | 0 418.43/418.58 c 418s | 22 | 2275333 | 1642822 | 1770 2265 | 0 | 0 420.43/420.58 c 420s | 22 | 2284395 | 1649722 | 1770 2273 | 0 | 0 422.53/422.60 c 422s | 22 | 2293239 | 1656422 | 1770 2280 | 0 | 0 424.43/424.60 c 424s | 22 | 2302241 | 1663222 | 1770 2287 | 0 | 0 426.53/426.62 c 426s | 22 | 2310312 | 1669722 | 1770 2294 | 0 | 0 428.53/428.65 c 428s | 22 | 2319205 | 1676522 | 1770 2301 | 0 | 0 430.53/430.67 c 430s | 22 | 2327460 | 1683322 | 1770 2308 | 0 | 0 432.63/432.70 c 432s | 22 | 2335881 | 1690222 | 1770 2316 | 0 | 0 434.62/434.72 c 434s | 22 | 2345021 | 1697322 | 1770 2323 | 0 | 0 436.63/436.73 c 436s | 22 | 2354010 | 1704022 | 1770 2330 | 0 | 0 438.62/438.75 c 438s | 22 | 2362416 | 1710622 | 1770 2337 | 0 | 0 440.62/440.77 c 440s | 22 | 2370995 | 1717522 | 1770 2345 | 0 | 0 442.62/442.78 c 442s | 22 | 2379497 | 1724522 | 1770 2352 | 0 | 0 444.72/444.80 c 444s | 22 | 2387206 | 1731222 | 1770 2359 | 0 | 0 446.72/446.83 c 446s | 22 | 2394707 | 1737622 | 1770 2366 | 0 | 0 448.73/448.85 c 448s | 22 | 2402223 | 1743922 | 1770 2373 | 0 | 0 450.72/450.86 c 450s | 22 | 2410587 | 1750622 | 1770 2380 | 0 | 0 452.72/452.87 c 452s | 22 | 2418799 | 1757322 | 1770 2387 | 0 | 0 454.72/454.87 c 454s | 22 | 2426739 | 1763622 | 1770 2393 | 0 | 0 456.82/456.90 c 456s | 22 | 2434542 | 1770122 | 1770 2400 | 0 | 0 458.82/458.90 c 458s | 22 | 2441822 | 1775922 | 1770 2407 | 0 | 0 460.83/460.93 c 460s | 22 | 2449536 | 1781822 | 1770 2413 | 0 | 0 462.82/462.94 c 462s | 22 | 2457541 | 1788322 | 1770 2420 | 0 | 0 464.82/464.97 c 464s | 22 | 2464636 | 1794122 | 1770 2426 | 0 | 0 466.82/466.99 c 466s | 22 | 2471920 | 1799922 | 1770 2432 | 0 | 0 468.92/469.00 c 468s | 22 | 2480957 | 1807022 | 1770 2440 | 0 | 0 470.92/471.01 c 470s | 22 | 2489375 | 1813622 | 1770 2447 | 0 | 0 472.92/473.02 c 473s | 22 | 2498035 | 1820022 | 1770 2454 | 0 | 0 474.91/475.05 c 475s | 22 | 2506909 | 1826422 | 1770 2461 | 0 | 0 476.91/477.06 c 477s | 22 | 2516045 | 1832922 | 1770 2468 | 0 | 0 478.91/479.07 c 479s | 22 | 2523902 | 1839422 | 1770 2474 | 0 | 0 480.91/481.09 c 481s | 22 | 2531017 | 1845322 | 1770 2481 | 0 | 0 483.01/483.11 c 483s | 22 | 2539624 | 1852122 | 1770 2488 | 0 | 0 485.02/485.12 c 485s | 22 | 2548819 | 1859322 | 1770 2496 | 0 | 0 487.01/487.15 c 487s | 22 | 2558155 | 1867022 | 1770 2504 | 0 | 0 489.01/489.17 c 489s | 22 | 2566377 | 1874122 | 1770 2511 | 0 | 0 491.11/491.20 c 491s | 22 | 2575906 | 1881522 | 1770 2519 | 0 | 0 493.11/493.20 c 493s | 22 | 2584100 | 1888122 | 1770 2526 | 0 | 0 495.11/495.24 c 495s | 22 | 2592062 | 1894922 | 1770 2534 | 0 | 0 497.12/497.26 c 497s | 22 | 2601472 | 1901922 | 1770 2541 | 0 | 0 499.21/499.30 c 499s | 22 | 2610246 | 1909022 | 1770 2549 | 0 | 0 501.21/501.31 c 501s | 22 | 2620374 | 1916922 | 1770 2557 | 0 | 0 503.21/503.34 c 503s | 22 | 2630095 | 1924622 | 1770 2565 | 0 | 0 505.21/505.35 c 505s | 22 | 2637861 | 1931122 | 1770 2572 | 0 | 0 507.21/507.36 c 507s | 22 | 2646053 | 1937722 | 1770 2579 | 0 | 0 509.22/509.38 c 509s | 22 | 2654545 | 1944622 | 1770 2586 | 0 | 0 511.31/511.40 c 511s | 22 | 2663198 | 1951722 | 1770 2594 | 0 | 0 513.31/513.42 c 513s | 22 | 2671616 | 1958622 | 1770 2601 | 0 | 0 515.31/515.43 c 515s | 22 | 2679822 | 1965422 | 1770 2608 | 0 | 0 517.31/517.46 c 517s | 22 | 2687641 | 1972122 | 1770 2615 | 0 | 0 519.31/519.47 c 519s | 22 | 2696349 | 1979122 | 1770 2623 | 0 | 0 521.31/521.49 c 521s | 22 | 2703765 | 1985622 | 1770 2630 | 0 | 0 523.41/523.51 c 523s | 22 | 2711430 | 1991922 | 1770 2637 | 0 | 0 525.41/525.53 c 525s | 22 | 2718684 | 1998022 | 1770 2643 | 0 | 0 527.41/527.57 c 527s | 22 | 2726675 | 2004922 | 1770 2651 | 0 | 0 529.51/529.60 c 529s | 22 | 2734282 | 2011422 | 1770 2658 | 0 | 0 531.51/531.60 c 531s | 22 | 2741176 | 2017422 | 1770 2664 | 0 | 0 533.52/533.62 c 533s | 22 | 2748166 | 2023622 | 1770 2670 | 0 | 0 535.51/535.63 c 535s | 22 | 2755362 | 2029922 | 1770 2677 | 0 | 0 537.51/537.65 c 537s | 22 | 2763059 | 2036222 | 1770 2684 | 0 | 0 539.51/539.66 c 539s | 22 | 2770250 | 2042222 | 1770 2690 | 0 | 0 541.51/541.69 c 541s | 22 | 2777083 | 2048022 | 1770 2696 | 0 | 0 543.51/543.69 c 543s | 22 | 2784154 | 2054022 | 1770 2702 | 0 | 0 545.61/545.72 c 545s | 22 | 2790765 | 2059722 | 1770 2708 | 0 | 0 547.61/547.73 c 547s | 22 | 2799992 | 2066722 | 1770 2716 | 0 | 0 549.61/549.73 c 549s | 22 | 2807962 | 2073522 | 1770 2723 | 0 | 0 551.60/551.75 c 551s | 22 | 2816360 | 2080122 | 1770 2730 | 0 | 0 553.60/553.78 c 553s | 22 | 2823409 | 2086322 | 1770 2737 | 0 | 0 555.60/555.79 c 555s | 22 | 2831651 | 2092922 | 1770 2744 | 0 | 0 557.71/557.82 c 557s | 22 | 2839755 | 2099322 | 1770 2751 | 0 | 0 559.70/559.84 c 559s | 22 | 2847104 | 2105522 | 1770 2758 | 0 | 0 561.70/561.85 c 561s | 22 | 2855053 | 2112322 | 1770 2765 | 0 | 0 563.70/563.87 c 563s | 22 | 2862363 | 2118622 | 1770 2772 | 0 | 0 565.70/565.89 c 565s | 22 | 2871341 | 2125922 | 1770 2779 | 0 | 0 567.70/567.89 c 567s | 22 | 2880548 | 2133422 | 1770 2787 | 0 | 0 569.71/569.89 c 569s | 22 | 2889263 | 2140822 | 1770 2795 | 0 | 0 571.80/571.90 c 571s | 22 | 2898590 | 2148322 | 1770 2803 | 0 | 0 573.80/573.90 c 573s | 22 | 2907390 | 2155822 | 1770 2811 | 0 | 0 575.80/575.93 c 575s | 22 | 2917039 | 2163522 | 1770 2820 | 0 | 0 577.80/577.96 c 577s | 22 | 2926153 | 2171022 | 1770 2828 | 0 | 0 579.80/579.96 c 579s | 22 | 2935646 | 2178722 | 1770 2836 | 0 | 0 581.81/581.97 c 581s | 22 | 2944655 | 2186322 | 1770 2844 | 0 | 0 583.81/583.99 c 583s | 22 | 2954018 | 2193822 | 1770 2852 | 0 | 0 585.81/585.99 c 585s | 22 | 2963094 | 2201322 | 1770 2860 | 0 | 0 587.80/587.99 c 587s | 22 | 2971914 | 2208922 | 1770 2868 | 0 | 0 589.90/590.00 c 589s | 22 | 2980925 | 2216522 | 1770 2876 | 0 | 0 591.90/592.01 c 591s | 22 | 2989762 | 2223922 | 1770 2884 | 0 | 0 593.91/594.02 c 594s | 22 | 2998587 | 2231722 | 1770 2892 | 0 | 0 595.90/596.04 c 596s | 22 | 3007752 | 2239022 | 1948 2900 | 0 | 0 597.90/598.07 c 598s | 22 | 3016181 | 2246322 | 1948 2907 | 0 | 0 599.30/599.44 c 599s | 23 | 3021478 | 2251038 | 1948 2911 | 0 | 0 601.30/601.46 c 601s | 23 | 3030499 | 2257638 | 1948 2918 | 0 | 0 603.30/603.47 c 603s | 23 | 3038824 | 2264138 | 1948 2924 | 0 | 0 605.30/605.49 c 605s | 23 | 3047460 | 2270838 | 1948 2930 | 0 | 0 607.30/607.49 c 607s | 23 | 3054748 | 2277138 | 1948 2936 | 0 | 0 609.41/609.50 c 609s | 23 | 3063341 | 2284138 | 1948 2943 | 0 | 0 611.40/611.51 c 611s | 23 | 3071473 | 2290838 | 1948 2949 | 0 | 0 613.40/613.54 c 613s | 23 | 3079193 | 2297238 | 1948 2956 | 0 | 0 615.40/615.54 c 615s | 23 | 3086956 | 2303538 | 1948 2962 | 0 | 0 617.40/617.54 c 617s | 23 | 3095046 | 2310038 | 1948 2968 | 0 | 0 619.40/619.56 c 619s | 23 | 3102740 | 2316538 | 1948 2974 | 0 | 0 621.40/621.57 c 621s | 23 | 3110193 | 2322838 | 1948 2980 | 0 | 0 623.40/623.59 c 623s | 23 | 3118748 | 2329338 | 1948 2986 | 0 | 0 625.50/625.62 c 625s | 23 | 3126921 | 2335838 | 1948 2992 | 0 | 0 627.50/627.64 c 627s | 23 | 3135135 | 2342438 | 1948 2999 | 0 | 0 629.50/629.64 c 629s | 23 | 3143278 | 2348738 | 1948 3005 | 0 | 0 631.50/631.67 c 631s | 23 | 3153163 | 2355838 | 1948 3012 | 0 | 0 633.50/633.68 c 633s | 23 | 3162552 | 2362938 | 1948 3019 | 0 | 0 635.49/635.69 c 635s | 23 | 3171554 | 2369938 | 1948 3025 | 0 | 0 637.59/637.72 c 637s | 23 | 3180756 | 2376738 | 1948 3032 | 0 | 0 639.59/639.72 c 639s | 23 | 3189545 | 2383738 | 1948 3039 | 0 | 0 641.59/641.73 c 641s | 23 | 3199186 | 2390738 | 1948 3045 | 0 | 0 643.59/643.75 c 643s | 23 | 3206683 | 2396838 | 1948 3051 | 0 | 0 645.60/645.76 c 645s | 23 | 3217472 | 2403538 | 1948 3058 | 0 | 0 647.59/647.77 c 647s | 23 | 3225869 | 2409838 | 1948 3064 | 0 | 0 649.69/649.80 c 649s | 23 | 3234875 | 2416238 | 1948 3070 | 0 | 0 651.69/651.81 c 651s | 23 | 3243530 | 2422338 | 1948 3076 | 0 | 0 653.69/653.84 c 653s | 23 | 3252373 | 2428438 | 1948 3082 | 0 | 0 655.69/655.86 c 655s | 23 | 3261930 | 2434638 | 1948 3088 | 0 | 0 657.69/657.88 c 657s | 23 | 3270605 | 2441138 | 1948 3094 | 0 | 0 659.69/659.88 c 659s | 23 | 3279799 | 2448038 | 1948 3101 | 0 | 0 661.69/661.88 c 661s | 23 | 3290702 | 2454738 | 1948 3107 | 0 | 0 663.69/663.88 c 663s | 23 | 3299740 | 2461338 | 1948 3114 | 0 | 0 665.78/665.90 c 665s | 23 | 3310241 | 2468138 | 1948 3120 | 0 | 0 667.78/667.91 c 667s | 23 | 3318962 | 2474738 | 1948 3127 | 0 | 0 669.79/669.92 c 669s | 23 | 3328940 | 2481738 | 1948 3134 | 0 | 0 671.78/671.92 c 671s | 23 | 3336982 | 2488138 | 1948 3140 | 0 | 0 673.78/673.93 c 673s | 23 | 3345468 | 2494838 | 1948 3146 | 0 | 0 675.79/675.94 c 675s | 23 | 3354356 | 2501538 | 1948 3153 | 0 | 0 677.79/677.96 c 677s | 23 | 3362579 | 2508038 | 1948 3159 | 0 | 0 679.80/679.96 c 679s | 23 | 3372540 | 2515038 | 1948 3166 | 0 | 0 681.79/681.99 c 681s | 23 | 3383480 | 2522138 | 1948 3173 | 0 | 0 683.89/684.01 c 683s | 23 | 3391956 | 2528438 | 1948 3179 | 0 | 0 685.89/686.03 c 686s | 23 | 3400571 | 2534738 | 1948 3185 | 0 | 0 687.89/688.05 c 688s | 23 | 3410256 | 2541338 | 1948 3191 | 0 | 0 689.89/690.06 c 690s | 23 | 3419993 | 2548038 | 1948 3198 | 0 | 0 691.89/692.08 c 692s | 23 | 3430798 | 2555038 | 1948 3204 | 0 | 0 693.99/694.12 c 694s | 23 | 3438970 | 2561438 | 1948 3211 | 0 | 0 695.99/696.15 c 696s | 23 | 3446245 | 2567338 | 1948 3216 | 0 | 0 697.99/698.15 c 698s | 23 | 3453453 | 2573338 | 1948 3222 | 0 | 0 699.99/700.18 c 700s | 23 | 3461073 | 2579338 | 1948 3228 | 0 | 0 701.99/702.19 c 702s | 23 | 3469426 | 2585538 | 1948 3234 | 0 | 0 704.09/704.20 c 704s | 23 | 3478606 | 2592238 | 1948 3240 | 0 | 0 706.09/706.22 c 706s | 23 | 3487054 | 2598838 | 1948 3246 | 0 | 0 708.08/708.22 c 708s | 23 | 3495104 | 2605238 | 1948 3253 | 0 | 0 710.08/710.24 c 710s | 23 | 3501922 | 2611038 | 1948 3258 | 0 | 0 712.08/712.28 c 712s | 23 | 3508791 | 2616938 | 1948 3264 | 0 | 0 714.08/714.28 c 714s | 23 | 3516500 | 2623038 | 1948 3270 | 0 | 0 716.09/716.29 c 716s | 23 | 3523521 | 2629038 | 1948 3276 | 0 | 0 718.08/718.30 c 718s | 23 | 3530441 | 2634938 | 1948 3281 | 0 | 0 720.18/720.32 c 720s | 23 | 3538104 | 2640938 | 1948 3287 | 0 | 0 722.18/722.33 c 722s | 23 | 3546082 | 2647238 | 1948 3293 | 0 | 0 724.18/724.35 c 724s | 23 | 3555306 | 2653738 | 1948 3300 | 0 | 0 726.18/726.37 c 726s | 23 | 3564809 | 2660538 | 1948 3306 | 0 | 0 728.18/728.38 c 728s | 23 | 3573500 | 2666738 | 1948 3312 | 0 | 0 730.17/730.39 c 730s | 23 | 3580175 | 2672238 | 1948 3318 | 0 | 0 732.27/732.41 c 732s | 23 | 3586466 | 2677538 | 1948 3323 | 0 | 0 734.27/734.41 c 734s | 23 | 3594227 | 2683938 | 1948 3329 | 0 | 0 736.27/736.42 c 736s | 23 | 3602136 | 2690138 | 1948 3335 | 0 | 0 738.27/738.42 c 738s | 23 | 3608922 | 2695938 | 1948 3341 | 0 | 0 740.27/740.44 c 740s | 23 | 3616190 | 2702038 | 1948 3347 | 0 | 0 742.27/742.47 c 742s | 23 | 3624600 | 2708638 | 1948 3353 | 0 | 0 744.27/744.47 c 744s | 23 | 3633158 | 2715238 | 1948 3359 | 0 | 0 746.27/746.48 c 746s | 23 | 3641862 | 2722138 | 1948 3366 | 0 | 0 748.37/748.50 c 748s | 23 | 3650000 | 2728538 | 1948 3372 | 0 | 0 750.36/750.52 c 750s | 23 | 3658011 | 2734938 | 1948 3378 | 0 | 0 752.37/752.53 c 752s | 23 | 3666704 | 2741538 | 1948 3385 | 0 | 0 754.36/754.54 c 754s | 23 | 3674560 | 2747738 | 1948 3391 | 0 | 0 756.36/756.57 c 756s | 23 | 3682099 | 2753638 | 1948 3396 | 0 | 0 758.36/758.57 c 758s | 23 | 3689563 | 2759638 | 1948 3402 | 0 | 0 760.36/760.58 c 760s | 23 | 3698638 | 2766138 | 1948 3409 | 0 | 0 762.36/762.59 c 762s | 23 | 3707205 | 2772238 | 1948 3414 | 0 | 0 764.36/764.59 c 764s | 23 | 3714829 | 2778038 | 1948 3420 | 0 | 0 766.45/766.62 c 766s | 23 | 3721977 | 2783938 | 1948 3426 | 0 | 0 768.45/768.64 c 768s | 23 | 3729982 | 2790138 | 1948 3432 | 0 | 0 770.45/770.65 c 770s | 23 | 3739026 | 2796538 | 1948 3438 | 0 | 0 772.45/772.68 c 772s | 23 | 3747689 | 2802838 | 1948 3444 | 0 | 0 774.55/774.71 c 774s | 23 | 3756542 | 2809238 | 1948 3450 | 0 | 0 776.56/776.74 c 776s | 23 | 3765131 | 2815638 | 1948 3457 | 0 | 0 778.55/778.77 c 778s | 23 | 3773741 | 2821738 | 1948 3462 | 0 | 0 780.55/780.78 c 780s | 23 | 3782385 | 2827938 | 1948 3468 | 0 | 0 782.65/782.80 c 782s | 23 | 3790809 | 2834138 | 1948 3475 | 0 | 0 784.64/784.81 c 784s | 23 | 3798453 | 2840438 | 1948 3481 | 0 | 0 786.64/786.83 c 786s | 23 | 3806593 | 2847038 | 1948 3487 | 0 | 0 788.65/788.84 c 788s | 23 | 3814176 | 2853238 | 1948 3493 | 0 | 0 790.64/790.84 c 790s | 23 | 3821368 | 2859238 | 1948 3499 | 0 | 0 792.64/792.85 c 792s | 23 | 3829335 | 2865538 | 1948 3505 | 0 | 0 794.64/794.88 c 794s | 23 | 3837251 | 2871938 | 1948 3511 | 0 | 0 796.64/796.88 c 796s | 23 | 3845798 | 2878438 | 1948 3517 | 0 | 0 798.74/798.90 c 798s | 23 | 3854659 | 2885338 | 1948 3524 | 0 | 0 800.74/800.93 c 800s | 23 | 3862705 | 2891838 | 1948 3530 | 0 | 0 802.73/802.95 c 802s | 23 | 3871347 | 2898238 | 1948 3536 | 0 | 0 804.74/804.96 c 804s | 23 | 3879607 | 2904538 | 1948 3543 | 0 | 0 806.74/806.96 c 806s | 23 | 3888048 | 2910938 | 1948 3549 | 0 | 0 808.74/808.97 c 808s | 23 | 3896543 | 2917638 | 1948 3555 | 0 | 0 810.73/810.99 c 810s | 23 | 3906186 | 2924538 | 1948 3562 | 0 | 0 812.74/813.00 c 812s | 23 | 3914689 | 2930638 | 1948 3568 | 0 | 0 814.83/815.03 c 815s | 23 | 3921633 | 2936538 | 1948 3573 | 0 | 0 816.83/817.04 c 817s | 23 | 3928970 | 2942638 | 1948 3579 | 0 | 0 818.83/819.06 c 819s | 23 | 3936022 | 2948938 | 1948 3585 | 0 | 0 820.83/821.07 c 821s | 23 | 3943183 | 2955138 | 1948 3591 | 0 | 0 822.93/823.10 c 823s | 23 | 3950060 | 2961138 | 1948 3597 | 0 | 0 824.83/825.10 c 825s | 23 | 3959242 | 2967838 | 1948 3603 | 0 | 0 826.93/827.12 c 827s | 23 | 3967483 | 2974038 | 1948 3609 | 0 | 0 828.93/829.13 c 829s | 23 | 3975949 | 2980538 | 1948 3616 | 0 | 0 830.92/831.16 c 831s | 23 | 3985595 | 2987638 | 1948 3623 | 0 | 0 832.92/833.18 c 833s | 23 | 3994147 | 2994338 | 1948 3629 | 0 | 0 835.02/835.21 c 835s | 23 | 4002912 | 3001038 | 1948 3635 | 0 | 0 837.03/837.23 c 837s | 23 | 4011654 | 3007938 | 1948 3642 | 0 | 0 839.02/839.26 c 839s | 23 | 4020296 | 3014838 | 1948 3649 | 0 | 0 841.02/841.28 c 841s | 23 | 4028812 | 3021738 | 1948 3655 | 0 | 0 843.12/843.30 c 843s | 23 | 4037627 | 3028638 | 1948 3662 | 0 | 0 845.12/845.33 c 845s | 23 | 4045637 | 3035338 | 1948 3669 | 0 | 0 847.12/847.34 c 847s | 23 | 4054154 | 3042038 | 1948 3675 | 0 | 0 849.12/849.37 c 849s | 23 | 4062958 | 3048838 | 1948 3682 | 0 | 0 851.11/851.37 c 851s | 23 | 4071221 | 3055438 | 1948 3688 | 0 | 0 853.11/853.38 c 853s | 23 | 4080654 | 3062638 | 1948 3695 | 0 | 0 855.21/855.40 c 855s | 23 | 4089550 | 3069438 | 1948 3702 | 0 | 0 857.21/857.42 c 857s | 23 | 4097774 | 3076338 | 1948 3708 | 0 | 0 859.20/859.42 c 859s | 23 | 4106095 | 3083238 | 1948 3715 | 0 | 0 861.21/861.43 c 861s | 23 | 4114474 | 3090138 | 1948 3722 | 0 | 0 863.20/863.46 c 863s | 23 | 4123454 | 3096938 | 1948 3728 | 0 | 0 865.20/865.48 c 865s | 23 | 4131043 | 3103338 | 1948 3734 | 0 | 0 867.20/867.49 c 867s | 23 | 4139061 | 3109638 | 1948 3741 | 0 | 0 869.30/869.51 c 869s | 23 | 4146969 | 3115838 | 1948 3747 | 0 | 0 871.30/871.52 c 871s | 23 | 4154614 | 3121838 | 1948 3752 | 0 | 0 873.30/873.54 c 873s | 23 | 4162245 | 3127738 | 1948 3758 | 0 | 0 875.29/875.54 c 875s | 23 | 4170781 | 3134138 | 1948 3764 | 0 | 0 877.29/877.54 c 877s | 23 | 4179080 | 3140538 | 1948 3770 | 0 | 0 879.29/879.54 c 879s | 23 | 4188335 | 3147238 | 1948 3777 | 0 | 0 881.29/881.57 c 881s | 23 | 4196218 | 3153638 | 1948 3783 | 0 | 0 883.29/883.58 c 883s | 23 | 4204345 | 3160238 | 1948 3790 | 0 | 0 885.30/885.60 c 885s | 23 | 4213168 | 3166838 | 1948 3796 | 0 | 0 887.39/887.61 c 887s | 23 | 4220931 | 3173238 | 1948 3802 | 0 | 0 889.39/889.64 c 889s | 23 | 4228490 | 3179638 | 1948 3808 | 0 | 0 891.39/891.66 c 891s | 23 | 4236544 | 3186038 | 1948 3814 | 0 | 0 893.39/893.67 c 893s | 23 | 4243926 | 3192238 | 1948 3820 | 0 | 0 895.38/895.69 c 895s | 23 | 4251044 | 3198538 | 1948 3827 | 0 | 0 897.39/897.70 c 897s | 23 | 4258492 | 3204938 | 1948 3833 | 0 | 0 899.48/899.72 c 899s | 23 | 4266581 | 3211638 | 1948 3839 | 0 | 0 901.48/901.76 c 901s | 23 | 4274431 | 3218238 | 1948 3846 | 0 | 0 903.48/903.78 c 903s | 23 | 4281868 | 3224638 | 1948 3852 | 0 | 0 905.58/905.81 c 905s | 23 | 4289089 | 3230938 | 1948 3858 | 0 | 0 907.58/907.81 c 907s | 23 | 4297170 | 3237438 | 1948 3864 | 0 | 0 909.58/909.84 c 909s | 23 | 4304485 | 3243838 | 1948 3870 | 0 | 0 911.57/911.84 c 911s | 23 | 4311621 | 3250038 | 1948 3876 | 0 | 0 913.57/913.85 c 913s | 23 | 4319164 | 3256338 | 1948 3882 | 0 | 0 915.57/915.86 c 915s | 23 | 4327262 | 3263138 | 1948 3889 | 0 | 0 917.57/917.88 c 917s | 23 | 4334806 | 3269538 | 1948 3895 | 0 | 0 919.57/919.89 c 919s | 23 | 4341463 | 3275538 | 1948 3901 | 0 | 0 921.67/921.92 c 921s | 23 | 4349237 | 3282238 | 1948 3907 | 0 | 0 923.67/923.93 c 923s | 23 | 4356497 | 3288638 | 1948 3914 | 0 | 0 925.67/925.95 c 925s | 23 | 4365074 | 3295238 | 1948 3920 | 0 | 0 927.67/927.98 c 927s | 23 | 4371858 | 3301138 | 1948 3926 | 0 | 0 929.67/929.98 c 929s | 23 | 4378900 | 3307338 | 1948 3932 | 0 | 0 931.67/931.99 c 931s | 23 | 4386300 | 3313638 | 1948 3938 | 0 | 0 933.78/934.02 c 933s | 23 | 4393738 | 3320238 | 1948 3945 | 0 | 0 935.77/936.03 c 936s | 23 | 4401219 | 3326838 | 1948 3951 | 0 | 0 937.77/938.06 c 938s | 23 | 4409182 | 3333538 | 1948 3958 | 0 | 0 939.76/940.06 c 940s | 23 | 4416189 | 3339738 | 1948 3964 | 0 | 0 941.76/942.08 c 942s | 23 | 4423283 | 3345938 | 1948 3970 | 0 | 0 943.86/944.11 c 944s | 23 | 4431364 | 3352738 | 2143 3976 | 0 | 0 945.87/946.14 c 946s | 23 | 4439201 | 3359338 | 2143 3982 | 0 | 0 947.86/948.16 c 948s | 23 | 4446850 | 3365738 | 2143 3988 | 0 | 0 949.86/950.16 c 950s | 23 | 4455767 | 3372538 | 2143 3994 | 0 | 0 951.16/951.46 c 951s | 24 | 4460626 | 3376662 | 2143 3998 | 0 | 0 953.16/953.48 c 953s | 24 | 4472485 | 3384462 | 2143 4005 | 0 | 0 955.16/955.49 c 955s | 24 | 4481419 | 3391562 | 2143 4011 | 0 | 0 957.26/957.50 c 957s | 24 | 4491115 | 3398762 | 2143 4017 | 0 | 0 959.25/959.51 c 959s | 24 | 4500397 | 3405862 | 2143 4024 | 0 | 0 961.26/961.54 c 961s | 24 | 4510663 | 3412962 | 2143 4030 | 0 | 0 963.25/963.54 c 963s | 24 | 4519974 | 3419762 | 2143 4036 | 0 | 0 965.25/965.54 c 965s | 24 | 4529518 | 3426662 | 2143 4042 | 0 | 0 967.25/967.55 c 967s | 24 | 4539393 | 3433462 | 2143 4048 | 0 | 0 969.25/969.55 c 969s | 24 | 4549653 | 3440662 | 2143 4054 | 0 | 0 971.25/971.58 c 971s | 24 | 4560531 | 3448062 | 2143 4061 | 0 | 0 973.25/973.59 c 973s | 24 | 4570996 | 3455162 | 2143 4067 | 0 | 0 975.34/975.61 c 975s | 24 | 4581671 | 3462262 | 2143 4073 | 0 | 0 977.34/977.63 c 977s | 24 | 4591303 | 3469262 | 2143 4080 | 0 | 0 979.34/979.64 c 979s | 24 | 4600879 | 3476262 | 2143 4086 | 0 | 0 981.34/981.64 c 981s | 24 | 4610065 | 3483262 | 2143 4092 | 0 | 0 983.34/983.64 c 983s | 24 | 4619841 | 3490362 | 2143 4098 | 0 | 0 985.35/985.66 c 985s | 24 | 4629479 | 3497462 | 2143 4104 | 0 | 0 987.34/987.69 c 987s | 24 | 4638078 | 3504462 | 2143 4111 | 0 | 0 989.44/989.70 c 989s | 24 | 4647395 | 3511962 | 2143 4117 | 0 | 0 991.44/991.71 c 991s | 24 | 4655404 | 3518762 | 2143 4123 | 0 | 0 993.44/993.73 c 993s | 24 | 4664091 | 3525462 | 2143 4129 | 0 | 0 995.44/995.75 c 995s | 24 | 4672086 | 3531962 | 2143 4135 | 0 | 0 997.44/997.77 c 997s | 24 | 4679922 | 3538562 | 2143 4140 | 0 | 0 999.43/999.78 c 999s | 24 | 4687817 | 3544962 | 2143 4146 | 0 | 0 1001.53/1001.80 c 1001s | 24 | 4696948 | 3551962 | 2143 4152 | 0 | 0 1003.53/1003.82 c 1003s | 24 | 4705013 | 3558662 | 2143 4158 | 0 | 0 1005.53/1005.83 c 1005s | 24 | 4712704 | 3565062 | 2143 4164 | 0 | 0 1007.53/1007.84 c 1007s | 24 | 4720300 | 3571462 | 2143 4169 | 0 | 0 1009.54/1009.85 c 1009s | 24 | 4727899 | 3577562 | 2143 4175 | 0 | 0 1011.54/1011.85 c 1011s | 24 | 4736178 | 3583862 | 2143 4180 | 0 | 0 1013.53/1013.86 c 1013s | 24 | 4743688 | 3590062 | 2143 4186 | 0 | 0 1015.63/1015.90 c 1015s | 24 | 4752108 | 3596562 | 2143 4191 | 0 | 0 1017.63/1017.90 c 1017s | 24 | 4761511 | 3603662 | 2143 4198 | 0 | 0 1019.63/1019.92 c 1019s | 24 | 4769969 | 3610162 | 2143 4203 | 0 | 0 1021.64/1021.92 c 1021s | 24 | 4778393 | 3616962 | 2143 4209 | 0 | 0 1023.63/1023.95 c 1023s | 24 | 4787391 | 3623662 | 2143 4215 | 0 | 0 1025.63/1025.97 c 1025s | 24 | 4794993 | 3629862 | 2143 4221 | 0 | 0 1027.63/1027.97 c 1027s | 24 | 4803509 | 3636562 | 2143 4227 | 0 | 0 1029.72/1030.00 c 1029s | 24 | 4811644 | 3643262 | 2143 4233 | 0 | 0 1031.72/1032.00 c 1031s | 24 | 4822164 | 3651062 | 2143 4239 | 0 | 0 1033.73/1034.03 c 1034s | 24 | 4830782 | 3657962 | 2143 4246 | 0 | 0 1035.72/1036.06 c 1036s | 24 | 4840092 | 3665162 | 2143 4252 | 0 | 0 1037.72/1038.07 c 1038s | 24 | 4849486 | 3671962 | 2143 4258 | 0 | 0 1039.72/1040.08 c 1040s | 24 | 4858485 | 3678762 | 2143 4264 | 0 | 0 1041.72/1042.08 c 1042s | 24 | 4868531 | 3685762 | 2143 4270 | 0 | 0 1043.72/1044.09 c 1044s | 24 | 4876825 | 3691962 | 2143 4276 | 0 | 0 1045.82/1046.11 c 1046s | 24 | 4885480 | 3698762 | 2143 4282 | 0 | 0 1047.81/1048.14 c 1048s | 24 | 4893744 | 3705462 | 2143 4288 | 0 | 0 1049.81/1050.16 c 1050s | 24 | 4902488 | 3712062 | 2143 4293 | 0 | 0 1051.81/1052.18 c 1052s | 24 | 4910056 | 3718262 | 2143 4299 | 0 | 0 1053.91/1054.21 c 1054s | 24 | 4917706 | 3724462 | 2143 4304 | 0 | 0 1055.91/1056.22 c 1056s | 24 | 4926676 | 3731162 | 2143 4310 | 0 | 0 1057.92/1058.24 c 1058s | 24 | 4934854 | 3737762 | 2143 4316 | 0 | 0 1059.90/1060.25 c 1060s | 24 | 4945300 | 3745562 | 2143 4323 | 0 | 0 1061.90/1062.27 c 1062s | 24 | 4953714 | 3752562 | 2143 4329 | 0 | 0 1063.90/1064.28 c 1064s | 24 | 4962745 | 3759662 | 2143 4335 | 0 | 0 1066.00/1066.30 c 1066s | 24 | 4972771 | 3766962 | 2143 4342 | 0 | 0 1068.00/1068.30 c 1068s | 24 | 4981642 | 3773762 | 2143 4348 | 0 | 0 1070.01/1070.32 c 1070s | 24 | 4990168 | 3780262 | 2143 4353 | 0 | 0 1072.00/1072.34 c 1072s | 24 | 5000589 | 3787462 | 2143 4360 | 0 | 0 1074.00/1074.36 c 1074s | 24 | 5010295 | 3794262 | 2143 4366 | 0 | 0 1076.00/1076.37 c 1076s | 24 | 5019550 | 3801162 | 2143 4372 | 0 | 0 1078.00/1078.38 c 1078s | 24 | 5028162 | 3807562 | 2143 4377 | 0 | 0 1080.00/1080.38 c 1080s | 24 | 5037413 | 3814262 | 2143 4383 | 0 | 0 1081.99/1082.39 c 1082s | 24 | 5046105 | 3820762 | 2143 4389 | 0 | 0 1084.09/1084.40 c 1084s | 24 | 5054582 | 3827362 | 2143 4395 | 0 | 0 1086.09/1086.42 c 1086s | 24 | 5063367 | 3833762 | 2143 4401 | 0 | 0 1088.09/1088.44 c 1088s | 24 | 5073240 | 3840462 | 2143 4406 | 0 | 0 1090.09/1090.47 c 1090s | 24 | 5082683 | 3847062 | 2143 4412 | 0 | 0 1092.19/1092.50 c 1092s | 24 | 5090344 | 3853262 | 2143 4418 | 0 | 0 1094.20/1094.52 c 1094s | 24 | 5098196 | 3859762 | 2143 4423 | 0 | 0 1096.19/1096.55 c 1096s | 24 | 5105819 | 3866362 | 2143 4429 | 0 | 0 1098.19/1098.57 c 1098s | 24 | 5113757 | 3872762 | 2143 4435 | 0 | 0 1100.19/1100.58 c 1100s | 24 | 5122080 | 3879362 | 2143 4441 | 0 | 0 1102.19/1102.59 c 1102s | 24 | 5129618 | 3885962 | 2143 4446 | 0 | 0 1104.29/1104.60 c 1104s | 24 | 5137641 | 3892162 | 2143 4452 | 0 | 0 1106.29/1106.64 c 1106s | 24 | 5145735 | 3898562 | 2143 4458 | 0 | 0 1108.28/1108.65 c 1108s | 24 | 5153773 | 3904962 | 2143 4463 | 0 | 0 1110.28/1110.68 c 1110s | 24 | 5162119 | 3911162 | 2143 4469 | 0 | 0 1112.38/1112.70 c 1112s | 24 | 5171974 | 3918062 | 2143 4475 | 0 | 0 1114.38/1114.73 c 1114s | 24 | 5181303 | 3924962 | 2143 4481 | 0 | 0 1116.38/1116.75 c 1116s | 24 | 5190214 | 3931862 | 2143 4487 | 0 | 0 1118.39/1118.76 c 1118s | 24 | 5199152 | 3938862 | 2143 4493 | 0 | 0 1120.37/1120.78 c 1120s | 24 | 5207751 | 3945862 | 2143 4499 | 0 | 0 1122.37/1122.79 c 1122s | 24 | 5215733 | 3952562 | 2143 4505 | 0 | 0 1124.47/1124.80 c 1124s | 24 | 5223967 | 3959262 | 2143 4511 | 0 | 0 1126.47/1126.81 c 1126s | 24 | 5233228 | 3966362 | 2143 4517 | 0 | 0 1128.47/1128.83 c 1128s | 24 | 5242494 | 3973462 | 2143 4523 | 0 | 0 1130.47/1130.84 c 1130s | 24 | 5252751 | 3980962 | 2143 4530 | 0 | 0 1132.46/1132.86 c 1132s | 24 | 5261494 | 3988062 | 2143 4536 | 0 | 0 1134.46/1134.86 c 1134s | 24 | 5270160 | 3994862 | 2143 4542 | 0 | 0 1136.46/1136.86 c 1136s | 24 | 5278270 | 4001662 | 2143 4548 | 0 | 0 1138.46/1138.87 c 1138s | 24 | 5285703 | 4008162 | 2143 4554 | 0 | 0 1140.56/1140.90 c 1140s | 24 | 5293667 | 4014862 | 2143 4560 | 0 | 0 1142.57/1142.91 c 1142s | 24 | 5300952 | 4021262 | 2143 4566 | 0 | 0 1144.56/1144.91 c 1144s | 24 | 5308684 | 4027762 | 2143 4571 | 0 | 0 1146.56/1146.94 c 1146s | 24 | 5315930 | 4033962 | 2143 4577 | 0 | 0 1148.56/1148.94 c 1148s | 24 | 5324679 | 4040662 | 2143 4583 | 0 | 0 1150.55/1150.95 c 1150s | 24 | 5332610 | 4047062 | 2143 4589 | 0 | 0 1152.56/1152.95 c 1152s | 24 | 5342206 | 4053962 | 2143 4595 | 0 | 0 1154.55/1154.97 c 1154s | 24 | 5351959 | 4061162 | 2143 4601 | 0 | 0 1156.55/1156.97 c 1156s | 24 | 5359926 | 4067362 | 2143 4606 | 0 | 0 1158.56/1158.98 c 1158s | 24 | 5368234 | 4073762 | 2143 4612 | 0 | 0 1160.55/1160.99 c 1160s | 24 | 5376531 | 4080562 | 2143 4618 | 0 | 0 1162.65/1163.00 c 1162s | 24 | 5385551 | 4087862 | 2143 4625 | 0 | 0 1164.66/1165.03 c 1165s | 24 | 5394402 | 4095162 | 2143 4631 | 0 | 0 1166.65/1167.05 c 1167s | 24 | 5403540 | 4102362 | 2143 4637 | 0 | 0 1168.65/1169.06 c 1169s | 24 | 5413250 | 4109762 | 2143 4644 | 0 | 0 1170.65/1171.09 c 1171s | 24 | 5421833 | 4116662 | 2143 4650 | 0 | 0 1172.65/1173.09 c 1173s | 24 | 5430441 | 4123462 | 2143 4656 | 0 | 0 1174.75/1175.12 c 1175s | 24 | 5438929 | 4130362 | 2143 4662 | 0 | 0 1176.76/1177.12 c 1177s | 24 | 5447203 | 4137262 | 2143 4668 | 0 | 0 1178.75/1179.14 c 1179s | 24 | 5454624 | 4143662 | 2143 4674 | 0 | 0 1180.74/1181.15 c 1181s | 24 | 5463000 | 4150562 | 2143 4680 | 0 | 0 1182.74/1183.15 c 1183s | 24 | 5470851 | 4156962 | 2143 4685 | 0 | 0 1184.74/1185.16 c 1185s | 24 | 5480436 | 4164062 | 2143 4692 | 0 | 0 1186.74/1187.18 c 1187s | 24 | 5489569 | 4170962 | 2143 4698 | 0 | 0 1188.75/1189.20 c 1189s | 24 | 5497729 | 4177662 | 2143 4704 | 0 | 0 1190.84/1191.23 c 1191s | 24 | 5505878 | 4184262 | 2143 4709 | 0 | 0 1192.84/1193.25 c 1193s | 24 | 5514984 | 4190962 | 2143 4715 | 0 | 0 1194.84/1195.29 c 1195s | 24 | 5523079 | 4197562 | 2143 4721 | 0 | 0 1196.94/1197.30 c 1197s | 24 | 5531344 | 4204062 | 2143 4727 | 0 | 0 1198.94/1199.32 c 1199s | 24 | 5539121 | 4210362 | 2143 4732 | 0 | 0 1200.94/1201.35 c 1201s | 24 | 5547052 | 4216562 | 2143 4738 | 0 | 0 1202.93/1203.36 c 1203s | 24 | 5554287 | 4222562 | 2143 4743 | 0 | 0 1204.93/1205.39 c 1205s | 24 | 5562136 | 4228662 | 2143 4748 | 0 | 0 1207.03/1207.40 c 1207s | 24 | 5568118 | 4234062 | 2143 4753 | 0 | 0 1209.03/1209.42 c 1209s | 24 | 5575582 | 4240062 | 2143 4758 | 0 | 0 1211.03/1211.43 c 1211s | 24 | 5584195 | 4246362 | 2143 4764 | 0 | 0 1213.03/1213.45 c 1213s | 24 | 5594199 | 4253362 | 2143 4770 | 0 | 0 1215.03/1215.47 c 1215s | 24 | 5602374 | 4259862 | 2143 4776 | 0 | 0 1217.03/1217.48 c 1217s | 24 | 5610720 | 4266362 | 2143 4782 | 0 | 0 1219.12/1219.50 c 1219s | 24 | 5618822 | 4272862 | 2143 4787 | 0 | 0 1221.12/1221.50 c 1221s | 24 | 5627753 | 4279762 | 2143 4793 | 0 | 0 1223.12/1223.50 c 1223s | 24 | 5637025 | 4286762 | 2143 4800 | 0 | 0 1225.13/1225.52 c 1225s | 24 | 5645501 | 4293662 | 2143 4806 | 0 | 0 1227.12/1227.56 c 1227s | 24 | 5654621 | 4300362 | 2143 4812 | 0 | 0 1229.12/1229.57 c 1229s | 24 | 5663482 | 4307462 | 2143 4818 | 0 | 0 1231.12/1231.58 c 1231s | 24 | 5671843 | 4314362 | 2143 4824 | 0 | 0 1233.12/1233.60 c 1233s | 24 | 5680292 | 4321362 | 2143 4830 | 0 | 0 1235.21/1235.61 c 1235s | 24 | 5689174 | 4328362 | 2143 4836 | 0 | 0 1237.22/1237.64 c 1237s | 24 | 5697959 | 4335362 | 2143 4842 | 0 | 0 1239.21/1239.65 c 1239s | 24 | 5706271 | 4342162 | 2143 4848 | 0 | 0 1241.21/1241.65 c 1241s | 24 | 5714729 | 4348862 | 2143 4854 | 0 | 0 1243.21/1243.65 c 1243s | 24 | 5723539 | 4355562 | 2143 4860 | 0 | 0 1245.21/1245.66 c 1245s | 24 | 5731257 | 4361862 | 2143 4866 | 0 | 0 1247.21/1247.66 c 1247s | 24 | 5738914 | 4368262 | 2143 4871 | 0 | 0 1249.21/1249.67 c 1249s | 24 | 5747066 | 4374862 | 2143 4877 | 0 | 0 1251.20/1251.68 c 1251s | 24 | 5755362 | 4381262 | 2143 4883 | 0 | 0 1253.30/1253.71 c 1253s | 24 | 5763673 | 4387462 | 2143 4888 | 0 | 0 1255.30/1255.72 c 1255s | 24 | 5772694 | 4394362 | 2143 4894 | 0 | 0 1257.30/1257.73 c 1257s | 24 | 5780326 | 4400862 | 2143 4900 | 0 | 0 1259.29/1259.73 c 1259s | 24 | 5790158 | 4407562 | 2143 4906 | 0 | 0 1261.30/1261.74 c 1261s | 24 | 5798517 | 4414062 | 2143 4912 | 0 | 0 1263.29/1263.76 c 1263s | 24 | 5806070 | 4420362 | 2143 4917 | 0 | 0 1265.29/1265.77 c 1265s | 24 | 5814998 | 4427062 | 2143 4923 | 0 | 0 1267.29/1267.78 c 1267s | 24 | 5824048 | 4433862 | 2143 4929 | 0 | 0 1269.29/1269.79 c 1269s | 24 | 5832946 | 4440262 | 2143 4935 | 0 | 0 1271.38/1271.80 c 1271s | 24 | 5841529 | 4446962 | 2143 4941 | 0 | 0 1273.39/1273.81 c 1273s | 24 | 5850496 | 4453762 | 2143 4947 | 0 | 0 1275.38/1275.83 c 1275s | 24 | 5859265 | 4460362 | 2143 4953 | 0 | 0 1277.38/1277.87 c 1277s | 24 | 5868266 | 4466962 | 2143 4959 | 0 | 0 1279.38/1279.88 c 1279s | 24 | 5877544 | 4473362 | 2143 4964 | 0 | 0 1281.38/1281.88 c 1281s | 24 | 5886117 | 4479562 | 2143 4970 | 0 | 0 1283.49/1283.91 c 1283s | 24 | 5895135 | 4485962 | 2143 4975 | 0 | 0 1285.50/1285.92 c 1285s | 24 | 5905165 | 4492562 | 2143 4981 | 0 | 0 1287.49/1287.94 c 1287s | 24 | 5914719 | 4499262 | 2143 4987 | 0 | 0 1289.48/1289.97 c 1289s | 24 | 5924320 | 4506062 | 2143 4993 | 0 | 0 1291.48/1291.99 c 1291s | 24 | 5934634 | 4512962 | 2143 4999 | 0 | 0 1293.58/1294.02 c 1294s | 24 | 5942854 | 4519662 | 2143 5005 | 0 | 0 1295.58/1296.04 c 1296s | 24 | 5951264 | 4526362 | 2143 5011 | 0 | 0 1297.59/1298.05 c 1298s | 24 | 5959709 | 4533062 | 2143 5017 | 0 | 0 1299.58/1300.07 c 1300s | 24 | 5969318 | 4539862 | 2143 5023 | 0 | 0 1301.58/1302.07 c 1302s | 24 | 5977559 | 4546662 | 2143 5029 | 0 | 0 1303.57/1304.08 c 1304s | 24 | 5986993 | 4553762 | 2143 5036 | 0 | 0 1305.57/1306.09 c 1306s | 24 | 5996804 | 4560962 | 2143 5042 | 0 | 0 1307.58/1308.09 c 1308s | 24 | 6005256 | 4567462 | 2143 5048 | 0 | 0 1309.67/1310.12 c 1310s | 24 | 6013591 | 4573962 | 2143 5053 | 0 | 0 1311.67/1312.12 c 1312s | 24 | 6022919 | 4580762 | 2143 5060 | 0 | 0 1313.67/1314.13 c 1314s | 24 | 6030048 | 4586962 | 2143 5065 | 0 | 0 1315.67/1316.16 c 1316s | 24 | 6037773 | 4593262 | 2143 5071 | 0 | 0 1317.66/1318.17 c 1318s | 24 | 6044941 | 4599362 | 2143 5076 | 0 | 0 1319.67/1320.18 c 1320s | 24 | 6054345 | 4606462 | 2143 5082 | 0 | 0 1321.66/1322.19 c 1322s | 24 | 6062876 | 4613462 | 2143 5089 | 0 | 0 1323.76/1324.21 c 1324s | 24 | 6071551 | 4620262 | 2143 5095 | 0 | 0 1325.76/1326.22 c 1326s | 24 | 6079442 | 4627062 | 2143 5101 | 0 | 0 1327.76/1328.23 c 1328s | 24 | 6088473 | 4634262 | 2143 5107 | 0 | 0 1329.75/1330.25 c 1330s | 24 | 6097136 | 4641162 | 2143 5113 | 0 | 0 1331.76/1332.27 c 1332s | 24 | 6105430 | 4647762 | 2143 5119 | 0 | 0 1333.75/1334.27 c 1334s | 24 | 6113749 | 4654662 | 2143 5125 | 0 | 0 1335.75/1336.29 c 1336s | 24 | 6122662 | 4661762 | 2143 5132 | 0 | 0 1337.85/1338.31 c 1338s | 24 | 6132072 | 4668862 | 2143 5138 | 0 | 0 1339.85/1340.33 c 1340s | 24 | 6141703 | 4675662 | 2143 5144 | 0 | 0 1341.85/1342.33 c 1342s | 24 | 6150835 | 4683162 | 2143 5151 | 0 | 0 1343.86/1344.34 c 1344s | 24 | 6160203 | 4690762 | 2143 5157 | 0 | 0 1345.85/1346.34 c 1346s | 24 | 6169752 | 4698062 | 2143 5164 | 0 | 0 1347.85/1348.37 c 1348s | 24 | 6178837 | 4705362 | 2143 5170 | 0 | 0 1349.94/1350.40 c 1350s | 24 | 6187082 | 4711862 | 2143 5176 | 0 | 0 1351.94/1352.43 c 1352s | 24 | 6197013 | 4718762 | 2143 5182 | 0 | 0 1353.94/1354.45 c 1354s | 24 | 6207172 | 4725862 | 2143 5188 | 0 | 0 1355.95/1356.46 c 1356s | 24 | 6215941 | 4732662 | 2143 5194 | 0 | 0 1357.94/1358.47 c 1358s | 24 | 6224616 | 4739262 | 2143 5200 | 0 | 0 1359.94/1360.49 c 1360s | 24 | 6233192 | 4745962 | 2143 5206 | 0 | 0 1362.04/1362.50 c 1362s | 24 | 6242822 | 4753062 | 2143 5212 | 0 | 0 1364.04/1364.53 c 1364s | 24 | 6252100 | 4760362 | 2143 5219 | 0 | 0 1366.04/1366.55 c 1366s | 24 | 6262389 | 4767662 | 2143 5225 | 0 | 0 1368.04/1368.58 c 1368s | 24 | 6272620 | 4774762 | 2143 5232 | 0 | 0 1370.03/1370.60 c 1370s | 24 | 6284509 | 4782262 | 2143 5238 | 0 | 0 1372.13/1372.62 c 1372s | 24 | 6293861 | 4789062 | 2143 5244 | 0 | 0 1374.13/1374.63 c 1374s | 24 | 6300891 | 4795062 | 2143 5250 | 0 | 0 1376.13/1376.65 c 1376s | 24 | 6310219 | 4801762 | 2143 5255 | 0 | 0 1378.13/1378.66 c 1378s | 24 | 6318921 | 4808662 | 2143 5262 | 0 | 0 1380.14/1380.68 c 1380s | 24 | 6328699 | 4815662 | 2143 5268 | 0 | 0 1382.13/1382.69 c 1382s | 24 | 6336861 | 4822262 | 2143 5274 | 0 | 0 1384.23/1384.71 c 1384s | 24 | 6345794 | 4829362 | 2143 5280 | 0 | 0 1386.23/1386.73 c 1386s | 24 | 6354120 | 4836062 | 2143 5286 | 0 | 0 1388.23/1388.75 c 1388s | 24 | 6362227 | 4842562 | 2143 5292 | 0 | 0 1390.23/1390.75 c 1390s | 24 | 6370112 | 4849162 | 2143 5297 | 0 | 0 1392.24/1392.78 c 1392s | 24 | 6377987 | 4855862 | 2143 5303 | 0 | 0 1394.23/1394.80 c 1394s | 24 | 6386123 | 4862662 | 2143 5309 | 0 | 0 1396.33/1396.82 c 1396s | 24 | 6394069 | 4869362 | 2143 5315 | 0 | 0 1398.33/1398.85 c 1398s | 24 | 6402112 | 4876062 | 2143 5321 | 0 | 0 1400.33/1400.85 c 1400s | 24 | 6410897 | 4882862 | 2143 5327 | 0 | 0 1402.33/1402.88 c 1402s | 24 | 6420377 | 4889962 | 2143 5334 | 0 | 0 1404.33/1404.89 c 1404s | 24 | 6427674 | 4896262 | 2143 5339 | 0 | 0 1406.33/1406.90 c 1406s | 24 | 6435613 | 4902762 | 2143 5345 | 0 | 0 1408.43/1408.90 c 1408s | 24 | 6443770 | 4909362 | 2143 5351 | 0 | 0 1410.43/1410.92 c 1410s | 24 | 6451673 | 4915862 | 2143 5356 | 0 | 0 1412.43/1412.92 c 1412s | 24 | 6460280 | 4922662 | 2143 5362 | 0 | 0 1414.43/1414.95 c 1414s | 24 | 6468152 | 4929062 | 2143 5368 | 0 | 0 1416.44/1416.96 c 1416s | 24 | 6476527 | 4935662 | 2143 5374 | 0 | 0 1418.43/1418.97 c 1418s | 24 | 6483646 | 4941962 | 2143 5379 | 0 | 0 1420.53/1421.00 c 1420s | 24 | 6491983 | 4948562 | 2143 5385 | 0 | 0 1422.53/1423.01 c 1422s | 24 | 6499544 | 4954962 | 2143 5391 | 0 | 0 1424.53/1425.01 c 1424s | 24 | 6508083 | 4961462 | 2143 5396 | 0 | 0 1426.53/1427.04 c 1427s | 24 | 6514711 | 4967362 | 2143 5402 | 0 | 0 1428.54/1429.06 c 1429s | 24 | 6523058 | 4974062 | 2143 5408 | 0 | 0 1430.53/1431.07 c 1431s | 24 | 6531364 | 4980962 | 2143 5414 | 0 | 0 1432.53/1433.09 c 1433s | 24 | 6539634 | 4987762 | 2143 5420 | 0 | 0 1434.53/1435.09 c 1435s | 24 | 6547438 | 4994462 | 2143 5426 | 0 | 0 1436.63/1437.13 c 1437s | 24 | 6555220 | 5001262 | 2143 5432 | 0 | 0 1438.63/1439.15 c 1439s | 24 | 6563716 | 5008362 | 2143 5438 | 0 | 0 1440.64/1441.17 c 1441s | 24 | 6571932 | 5015262 | 2143 5444 | 0 | 0 1442.63/1443.19 c 1443s | 24 | 6580668 | 5022062 | 2143 5450 | 0 | 0 1444.73/1445.22 c 1445s | 24 | 6588410 | 5028362 | 2143 5456 | 0 | 0 1446.73/1447.22 c 1447s | 24 | 6596903 | 5035262 | 2358 5461 | 0 | 0 1448.73/1449.25 c 1449s | 24 | 6604776 | 5041762 | 2358 5466 | 0 | 0 1450.73/1451.26 c 1451s | 24 | 6612605 | 5048262 | 2358 5472 | 0 | 0 1452.73/1453.27 c 1453s | 24 | 6620532 | 5054962 | 2358 5477 | 0 | 0 1454.72/1455.29 c 1455s | 24 | 6628889 | 5061462 | 2358 5482 | 0 | 0 1455.93/1456.41 c 1456s | 25 | 6633657 | 5065098 | 2358 5485 | 0 | 0 1457.92/1458.42 c 1458s | 25 | 6645185 | 5072498 | 2358 5491 | 0 | 0 1459.92/1460.43 c 1460s | 25 | 6654782 | 5079598 | 2358 5497 | 0 | 0 1461.92/1462.45 c 1462s | 25 | 6666000 | 5086598 | 2358 5502 | 0 | 0 1463.92/1464.45 c 1464s | 25 | 6674647 | 5092998 | 2358 5508 | 0 | 0 1465.93/1466.49 c 1466s | 25 | 6685841 | 5100398 | 2358 5514 | 0 | 0 1468.03/1468.51 c 1468s | 25 | 6697618 | 5108198 | 2358 5520 | 0 | 0 1470.02/1470.53 c 1470s | 25 | 6707317 | 5115298 | 2358 5526 | 0 | 0 1472.02/1472.55 c 1472s | 25 | 6715902 | 5122198 | 2358 5531 | 0 | 0 1474.02/1474.57 c 1474s | 25 | 6724998 | 5129298 | 2358 5537 | 0 | 0 1476.02/1476.59 c 1476s | 25 | 6734071 | 5136198 | 2358 5542 | 0 | 0 1478.12/1478.62 c 1478s | 25 | 6743864 | 5143398 | 2358 5548 | 0 | 0 1480.13/1480.64 c 1480s | 25 | 6752510 | 5150298 | 2358 5554 | 0 | 0 1482.12/1482.66 c 1482s | 25 | 6762157 | 5157798 | 2358 5560 | 0 | 0 1484.12/1484.67 c 1484s | 25 | 6770229 | 5164498 | 2358 5565 | 0 | 0 1486.12/1486.68 c 1486s | 25 | 6778481 | 5171298 | 2358 5571 | 0 | 0 1488.22/1488.71 c 1488s | 25 | 6787958 | 5178798 | 2358 5577 | 0 | 0 1490.22/1490.73 c 1490s | 25 | 6797292 | 5185898 | 2358 5582 | 0 | 0 1492.22/1492.73 c 1492s | 25 | 6806258 | 5192898 | 2358 5588 | 0 | 0 1494.21/1494.74 c 1494s | 25 | 6814225 | 5199398 | 2358 5593 | 0 | 0 1496.21/1496.74 c 1496s | 25 | 6822191 | 5205998 | 2358 5598 | 0 | 0 1498.21/1498.76 c 1498s | 25 | 6830445 | 5212498 | 2358 5604 | 0 | 0 1500.31/1500.80 c 1500s | 25 | 6838921 | 5219398 | 2358 5609 | 0 | 0 1502.31/1502.82 c 1502s | 25 | 6847642 | 5226098 | 2358 5615 | 0 | 0 1504.33/1504.82 c 1504s | 25 | 6857008 | 5232998 | 2358 5620 | 0 | 0 1506.32/1506.84 c 1506s | 25 | 6866051 | 5239698 | 2358 5625 | 0 | 0 1508.32/1508.86 c 1508s | 25 | 6876792 | 5246898 | 2358 5631 | 0 | 0 1510.32/1510.86 c 1510s | 25 | 6888241 | 5254298 | 2358 5637 | 0 | 0 1512.32/1512.88 c 1512s | 25 | 6899515 | 5261998 | 2358 5643 | 0 | 0 1514.33/1514.89 c 1514s | 25 | 6909734 | 5269198 | 2358 5649 | 0 | 0 1516.32/1516.90 c 1516s | 25 | 6919752 | 5276398 | 2358 5655 | 0 | 0 1518.42/1518.90 c 1518s | 25 | 6930028 | 5283898 | 2358 5661 | 0 | 0 1520.42/1520.93 c 1520s | 25 | 6938916 | 5290998 | 2358 5667 | 0 | 0 1522.42/1522.95 c 1522s | 25 | 6949267 | 5298198 | 2358 5672 | 0 | 0 1524.42/1524.95 c 1524s | 25 | 6959229 | 5304998 | 2358 5678 | 0 | 0 1526.42/1526.98 c 1526s | 25 | 6968100 | 5311898 | 2358 5684 | 0 | 0 1528.42/1528.99 c 1528s | 25 | 6976723 | 5318298 | 2358 5689 | 0 | 0 1530.52/1531.00 c 1530s | 25 | 6985012 | 5324898 | 2358 5694 | 0 | 0 1532.52/1533.02 c 1533s | 25 | 6993582 | 5331298 | 2358 5699 | 0 | 0 1534.51/1535.04 c 1535s | 25 | 7002079 | 5337898 | 2358 5704 | 0 | 0 1536.51/1537.04 c 1537s | 25 | 7010706 | 5344398 | 2358 5709 | 0 | 0 1538.52/1539.06 c 1539s | 25 | 7020307 | 5351098 | 2358 5715 | 0 | 0 1540.51/1541.07 c 1541s | 25 | 7027131 | 5356998 | 2358 5720 | 0 | 0 1542.51/1543.08 c 1543s | 25 | 7033945 | 5362798 | 2358 5724 | 0 | 0 1544.51/1545.09 c 1545s | 25 | 7043354 | 5369598 | 2358 5730 | 0 | 0 1546.61/1547.11 c 1547s | 25 | 7052546 | 5376598 | 2358 5735 | 0 | 0 1548.61/1549.14 c 1549s | 25 | 7059717 | 5382798 | 2358 5740 | 0 | 0 1550.62/1551.15 c 1551s | 25 | 7068392 | 5389298 | 2358 5746 | 0 | 0 1552.61/1553.15 c 1553s | 25 | 7076642 | 5395898 | 2358 5751 | 0 | 0 1554.61/1555.16 c 1555s | 25 | 7084176 | 5402398 | 2358 5756 | 0 | 0 1556.61/1557.20 c 1557s | 25 | 7092752 | 5409198 | 2358 5761 | 0 | 0 1558.71/1559.20 c 1559s | 25 | 7100556 | 5415298 | 2358 5766 | 0 | 0 1560.71/1561.20 c 1561s | 25 | 7110677 | 5422698 | 2358 5772 | 0 | 0 1562.72/1563.22 c 1563s | 25 | 7118543 | 5429398 | 2358 5778 | 0 | 0 1564.71/1565.24 c 1565s | 25 | 7127208 | 5435998 | 2358 5783 | 0 | 0 1566.71/1567.26 c 1567s | 25 | 7136610 | 5442898 | 2358 5788 | 0 | 0 1568.71/1569.28 c 1569s | 25 | 7146776 | 5449598 | 2358 5794 | 0 | 0 1570.70/1571.28 c 1571s | 25 | 7155351 | 5456298 | 2358 5799 | 0 | 0 1572.80/1573.32 c 1573s | 25 | 7163765 | 5462998 | 2358 5805 | 0 | 0 1574.81/1575.33 c 1575s | 25 | 7173070 | 5469798 | 2358 5810 | 0 | 0 1576.80/1577.35 c 1577s | 25 | 7180353 | 5475998 | 2358 5815 | 0 | 0 1578.80/1579.37 c 1579s | 25 | 7187680 | 5482298 | 2358 5820 | 0 | 0 1580.80/1581.38 c 1581s | 25 | 7195159 | 5488598 | 2358 5825 | 0 | 0 1582.90/1583.40 c 1583s | 25 | 7202884 | 5494998 | 2358 5830 | 0 | 0 1584.90/1585.41 c 1585s | 25 | 7212879 | 5501998 | 2358 5836 | 0 | 0 1586.91/1587.42 c 1587s | 25 | 7222599 | 5508998 | 2358 5841 | 0 | 0 1588.91/1589.43 c 1589s | 25 | 7232930 | 5516198 | 2358 5847 | 0 | 0 1590.91/1591.44 c 1591s | 25 | 7241855 | 5523098 | 2358 5853 | 0 | 0 1592.91/1593.46 c 1593s | 25 | 7250244 | 5529898 | 2358 5858 | 0 | 0 1594.90/1595.48 c 1595s | 25 | 7259672 | 5537098 | 2358 5864 | 0 | 0 1596.90/1597.49 c 1597s | 25 | 7267573 | 5543698 | 2358 5869 | 0 | 0 1599.01/1599.52 c 1599s | 25 | 7276464 | 5550798 | 2358 5875 | 0 | 0 1601.00/1601.52 c 1601s | 25 | 7285426 | 5557898 | 2358 5881 | 0 | 0 1603.00/1603.53 c 1603s | 25 | 7293355 | 5564498 | 2358 5886 | 0 | 0 1605.00/1605.54 c 1605s | 25 | 7302454 | 5571298 | 2358 5892 | 0 | 0 1607.00/1607.57 c 1607s | 25 | 7311161 | 5577898 | 2358 5897 | 0 | 0 1609.00/1609.58 c 1609s | 25 | 7317896 | 5583598 | 2358 5902 | 0 | 0 1611.01/1611.59 c 1611s | 25 | 7325875 | 5589998 | 2358 5907 | 0 | 0 1613.10/1613.61 c 1613s | 25 | 7333523 | 5596198 | 2358 5912 | 0 | 0 1615.10/1615.63 c 1615s | 25 | 7340565 | 5601998 | 2358 5916 | 0 | 0 1617.10/1617.63 c 1617s | 25 | 7347266 | 5607398 | 2358 5921 | 0 | 0 1619.10/1619.65 c 1619s | 25 | 7354155 | 5613098 | 2358 5925 | 0 | 0 1621.10/1621.65 c 1621s | 25 | 7360786 | 5618398 | 2358 5929 | 0 | 0 1623.11/1623.67 c 1623s | 25 | 7370875 | 5625398 | 2358 5935 | 0 | 0 1625.10/1625.69 c 1625s | 25 | 7381395 | 5632198 | 2358 5940 | 0 | 0 1627.10/1627.69 c 1627s | 25 | 7390633 | 5638998 | 2358 5946 | 0 | 0 1629.20/1629.72 c 1629s | 25 | 7399787 | 5645698 | 2358 5951 | 0 | 0 1631.20/1631.73 c 1631s | 25 | 7410638 | 5652798 | 2358 5957 | 0 | 0 1633.20/1633.74 c 1633s | 25 | 7419690 | 5659398 | 2358 5962 | 0 | 0 1635.20/1635.75 c 1635s | 25 | 7429132 | 5665998 | 2358 5968 | 0 | 0 1637.20/1637.77 c 1637s | 25 | 7437608 | 5672698 | 2358 5973 | 0 | 0 1639.20/1639.78 c 1639s | 25 | 7446313 | 5679798 | 2358 5979 | 0 | 0 1641.19/1641.78 c 1641s | 25 | 7455958 | 5687198 | 2358 5985 | 0 | 0 1643.29/1643.80 c 1643s | 25 | 7464759 | 5694398 | 2358 5990 | 0 | 0 1645.29/1645.82 c 1645s | 25 | 7473001 | 5701098 | 2358 5996 | 0 | 0 1647.30/1647.84 c 1647s | 25 | 7482483 | 5708398 | 2358 6002 | 0 | 0 1649.29/1649.87 c 1649s | 25 | 7491610 | 5715498 | 2358 6007 | 0 | 0 1651.29/1651.88 c 1651s | 25 | 7501380 | 5722998 | 2358 6013 | 0 | 0 1653.29/1653.89 c 1653s | 25 | 7509408 | 5729498 | 2358 6019 | 0 | 0 1655.39/1655.92 c 1655s | 25 | 7518999 | 5736798 | 2358 6024 | 0 | 0 1657.39/1657.94 c 1657s | 25 | 7527920 | 5743698 | 2358 6030 | 0 | 0 1659.40/1659.94 c 1659s | 25 | 7536196 | 5750298 | 2358 6035 | 0 | 0 1661.39/1661.97 c 1661s | 25 | 7543387 | 5755998 | 2358 6040 | 0 | 0 1663.39/1663.99 c 1663s | 25 | 7550813 | 5761698 | 2358 6044 | 0 | 0 1665.39/1665.99 c 1665s | 25 | 7561755 | 5769298 | 2358 6050 | 0 | 0 1667.39/1667.99 c 1667s | 25 | 7571175 | 5776098 | 2358 6056 | 0 | 0 1669.49/1670.02 c 1670s | 25 | 7580873 | 5782998 | 2358 6062 | 0 | 0 1671.49/1672.03 c 1672s | 25 | 7590626 | 5789798 | 2358 6067 | 0 | 0 1673.49/1674.04 c 1674s | 25 | 7598876 | 5796598 | 2358 6072 | 0 | 0 1675.49/1676.06 c 1676s | 25 | 7606880 | 5803198 | 2358 6078 | 0 | 0 1677.49/1678.07 c 1678s | 25 | 7614910 | 5809598 | 2358 6083 | 0 | 0 1679.49/1680.07 c 1680s | 25 | 7622879 | 5815998 | 2358 6088 | 0 | 0 1681.49/1682.08 c 1682s | 25 | 7631058 | 5822298 | 2358 6093 | 0 | 0 1683.48/1684.10 c 1684s | 25 | 7639529 | 5828798 | 2358 6098 | 0 | 0 1685.58/1686.11 c 1686s | 25 | 7648308 | 5835698 | 2358 6104 | 0 | 0 1687.59/1688.11 c 1688s | 25 | 7657071 | 5842798 | 2358 6110 | 0 | 0 1689.59/1690.13 c 1690s | 25 | 7666108 | 5849898 | 2358 6115 | 0 | 0 1691.59/1692.16 c 1692s | 25 | 7673431 | 5856098 | 2358 6120 | 0 | 0 1693.60/1694.17 c 1694s | 25 | 7681486 | 5862498 | 2358 6125 | 0 | 0 1695.59/1696.20 c 1696s | 25 | 7689317 | 5868798 | 2358 6130 | 0 | 0 1697.69/1698.24 c 1698s | 25 | 7696927 | 5875098 | 2358 6136 | 0 | 0 1699.69/1700.25 c 1700s | 25 | 7705310 | 5881798 | 2358 6141 | 0 | 0 1701.69/1702.26 c 1702s | 25 | 7712934 | 5888098 | 2358 6146 | 0 | 0 1703.69/1704.26 c 1704s | 25 | 7721615 | 5894498 | 2358 6151 | 0 | 0 1705.70/1706.29 c 1706s | 25 | 7730209 | 5900898 | 2358 6156 | 0 | 0 1707.80/1708.31 c 1708s | 25 | 7739202 | 5907298 | 2358 6161 | 0 | 0 1709.79/1710.33 c 1710s | 25 | 7746583 | 5912898 | 2358 6166 | 0 | 0 1711.79/1712.36 c 1712s | 25 | 7755495 | 5919198 | 2358 6171 | 0 | 0 1713.79/1714.38 c 1714s | 25 | 7764226 | 5925798 | 2358 6176 | 0 | 0 1715.79/1716.39 c 1716s | 25 | 7773111 | 5932398 | 2358 6182 | 0 | 0 1717.79/1718.39 c 1718s | 25 | 7781239 | 5938998 | 2358 6187 | 0 | 0 1719.89/1720.41 c 1720s | 25 | 7788663 | 5944998 | 2358 6192 | 0 | 0 1721.89/1722.43 c 1722s | 25 | 7796060 | 5951198 | 2358 6197 | 0 | 0 1723.88/1724.45 c 1724s | 25 | 7804064 | 5957398 | 2358 6202 | 0 | 0 1725.88/1726.47 c 1726s | 25 | 7812336 | 5963698 | 2358 6207 | 0 | 0 1727.88/1728.47 c 1728s | 25 | 7819545 | 5969698 | 2358 6212 | 0 | 0 1729.98/1730.50 c 1730s | 25 | 7828221 | 5976098 | 2358 6217 | 0 | 0 1731.99/1732.51 c 1732s | 25 | 7835987 | 5982098 | 2358 6222 | 0 | 0 1733.98/1734.52 c 1734s | 25 | 7843964 | 5988198 | 2358 6227 | 0 | 0 1735.98/1736.52 c 1736s | 25 | 7852764 | 5994698 | 2358 6232 | 0 | 0 1737.98/1738.55 c 1738s | 25 | 7860500 | 6000898 | 2358 6237 | 0 | 0 1739.98/1740.55 c 1740s | 25 | 7869605 | 6007898 | 2358 6242 | 0 | 0 1741.99/1742.57 c 1742s | 25 | 7877002 | 6014198 | 2358 6248 | 0 | 0 1743.98/1744.58 c 1744s | 25 | 7884870 | 6020798 | 2358 6253 | 0 | 0 1745.98/1746.58 c 1746s | 25 | 7894842 | 6028098 | 2358 6259 | 0 | 0 1748.08/1748.60 c 1748s | 25 | 7903188 | 6034798 | 2358 6264 | 0 | 0 1750.08/1750.62 c 1750s | 25 | 7911711 | 6041698 | 2358 6270 | 0 | 0 1752.08/1752.64 c 1752s | 25 | 7920894 | 6049098 | 2358 6276 | 0 | 0 1754.08/1754.66 c 1754s | 25 | 7928199 | 6055598 | 2358 6281 | 0 | 0 1756.08/1756.67 c 1756s | 25 | 7935944 | 6062198 | 2358 6286 | 0 | 0 1758.17/1758.70 c 1758s | 25 | 7944844 | 6068998 | 2358 6292 | 0 | 0 1760.17/1760.70 c 1760s | 25 | 7954158 | 6076098 | 2358 6297 | 0 | 0 1762.17/1762.71 c 1762s | 25 | 7963098 | 6083298 | 2358 6303 | 0 | 0 1764.17/1764.74 c 1764s | 25 | 7972674 | 6090398 | 2358 6309 | 0 | 0 1766.18/1766.74 c 1766s | 25 | 7981394 | 6097498 | 2358 6314 | 0 | 0 1768.17/1768.78 c 1768s | 25 | 7988725 | 6103998 | 2358 6320 | 0 | 0 1770.17/1770.79 c 1770s | 25 | 7996729 | 6110498 | 2358 6325 | 0 | 0 1772.17/1772.80 c 1772s | 25 | 8005304 | 6117398 | 2358 6330 | 0 | 0 1774.27/1774.80 c 1774s | 25 | 8013231 | 6123998 | 2358 6336 | 0 | 0 1776.27/1776.80 c 1776s | 25 | 8020863 | 6130498 | 2358 6341 | 0 | 0 1778.28/1778.81 c 1778s | 25 | 8029064 | 6137198 | 2358 6346 | 0 | 0 1780.27/1780.83 c 1780s | 25 | 8037072 | 6143898 | 2358 6352 | 0 | 0 1782.27/1782.85 c 1782s | 25 | 8044501 | 6150298 | 2358 6357 | 0 | 0 1784.27/1784.85 c 1784s | 25 | 8051665 | 6156598 | 2358 6362 | 0 | 0 1786.27/1786.88 c 1786s | 25 | 8060606 | 6163298 | 2358 6367 | 0 | 0 1788.27/1788.88 c 1788s | 25 | 8068997 | 6170098 | 2358 6373 | 0 | 0 1790.28/1790.90 c 1790s | 25 | 8078063 | 6176998 | 2358 6378 | 0 | 0 1792.37/1792.92 c 1792s | 25 | 8087304 | 6183698 | 2358 6384 | 0 | 0 1794.37/1794.92 c 1794s | 25 | 8094203 | 6189398 | 2358 6388 | 0 | 0 1796.37/1796.94 c 1796s | 25 | 8101674 | 6195798 | 2358 6393 | 0 | 0 1798.37/1798.97 c 1798s | 25 | 8109750 | 6202298 | 2358 6399 | 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-4096071-1466101774/watcher-4096071-1466101774 -o /tmp/evaluation-result-4096071-1466101774/solver-4096071-1466101774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096071-1466101774.opb pid=29113 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.13 2.09 3/179 29116 /proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=616892 CPUtime=0 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 2278 0 0 0 0 0 0 0 20 0 4 0 12222807 631697408 3151 33554432000 4194304 16246674 140737437626736 140737437626160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 154735 3160 441 2943 0 151629 0 [pid=29116/tid=29117] ppid=29113 vsize=634300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 649523200 3220 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=638396 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 653717504 3237 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=642492 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 657911808 3253 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100213 s] /proc/loadavg: 2.16 2.13 2.09 3/179 29116 /proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 25870 0 0 0 5 3 0 0 20 0 4 0 12222807 1247350784 26731 33554432000 4194304 16246674 140737437626736 140737437626160 5546500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 304529 26745 711 2943 0 301423 0 [pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26751 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26756 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 26761 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200472 s] /proc/loadavg: 2.16 2.13 2.09 3/179 29116 /proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 50028 0 0 0 12 7 0 0 20 0 4 0 12222807 1247350784 50889 33554432000 4194304 16246674 140737437626736 140737437626160 5724245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 304529 50903 711 2943 0 301423 0 [pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50908 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50913 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 50919 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300473 s] /proc/loadavg: 2.16 2.13 2.09 3/179 29116 /proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 73018 0 0 0 18 11 0 0 20 0 4 0 12222807 1247350784 73879 33554432000 4194304 16246674 140737437626736 140737437626160 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 304529 73891 711 2943 0 301423 0 [pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73896 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73904 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 73913 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700402 s] /proc/loadavg: 2.16 2.13 2.09 3/179 29116 /proc/meminfo: memFree=30364808/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 167331 0 0 0 47 22 0 0 20 0 4 0 12222807 1247350784 168192 33554432000 4194304 16246674 140737437626736 140737437608640 5668673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 304529 168199 711 2943 0 301423 0 [pid=29116/tid=29117] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168207 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168212 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12222808 1247350784 168217 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.16 2.13 2.09 3/183 29120 /proc/meminfo: memFree=29380336/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 245626 0 0 0 117 32 0 0 20 0 4 0 12222807 1248399360 246467 33554432000 4194304 16246674 140737437626736 140737437626048 5724123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 304785 246467 786 2943 0 301679 0 [pid=29116/tid=29117] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1248399360 246467 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10041 s] /proc/loadavg: 2.14 2.13 2.09 3/183 29120 /proc/meminfo: memFree=29293260/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267462 0 0 0 275 34 0 0 20 0 4 0 12222807 1337528320 268303 33554432000 4194304 16246674 140737437626736 140737437608640 12483276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 326545 268303 786 2943 0 323439 0 [pid=29116/tid=29117] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268303 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.14 2.13 2.09 3/183 29120 /proc/meminfo: memFree=29292124/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267464 0 0 0 594 34 0 0 20 0 4 0 12222807 1337528320 268305 33554432000 4194304 16246674 140737437626736 140737437609736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 326545 268305 787 2943 0 323439 0 [pid=29116/tid=29117] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1337528320 268305 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.12 2.13 2.08 4/183 29120 /proc/meminfo: memFree=29291432/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267618 0 0 0 1234 35 0 0 20 0 4 0 12222807 1338576896 268459 33554432000 4194304 16246674 140737437626736 140737437609736 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 326801 268459 787 2943 0 323695 0 [pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268459 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.10 2.12 2.08 3/183 29120 /proc/meminfo: memFree=29291708/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267664 0 0 0 2514 35 0 0 20 0 4 0 12222807 1338576896 268505 33554432000 4194304 16246674 140737437626736 140737437609736 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 326801 268505 789 2943 0 323695 0 [pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268505 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.13 2.13 2.09 3/184 29123 /proc/meminfo: memFree=29289824/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267693 0 0 0 5073 35 0 0 20 0 4 0 12222807 1338576896 268534 33554432000 4194304 16246674 140737437626736 140737437609736 5668682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 326801 268534 790 2943 0 323695 0 [pid=29116/tid=29117] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1338576896 268534 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.09 2.12 2.09 4/183 29125 /proc/meminfo: memFree=29288812/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1308228 CPUtime=102.28 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 267916 0 0 0 10192 36 0 0 20 0 4 0 12222807 1339625472 268757 33554432000 4194304 16246674 140737437626736 140737437609736 6012316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327057 268757 790 2943 0 323951 0 [pid=29116/tid=29117] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1339625472 268757 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1311300 [startup+1302.3 s] /proc/loadavg: 2.03 2.05 2.04 3/183 29154 /proc/meminfo: memFree=29282624/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1301.88 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269026 0 0 0 130140 48 0 0 20 0 4 0 12222807 1342771200 269455 33554432000 4194304 16246674 140737437626736 140737437608640 5553712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269455 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269455 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.21 2.08 2.05 3/183 29156 /proc/meminfo: memFree=29282512/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1361.84 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269082 0 0 0 136136 48 0 0 20 0 4 0 12222807 1342771200 269464 33554432000 4194304 16246674 140737437626736 140737437608640 5823627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269464 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269464 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.24 2.11 2.06 3/183 29157 /proc/meminfo: memFree=29282276/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1421.84 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269103 0 0 0 142135 49 0 0 20 0 4 0 12222807 1342771200 269479 33554432000 4194304 16246674 140737437626736 140737437608640 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269479 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.16 2.10 2.06 3/183 29158 /proc/meminfo: memFree=29282516/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1481.82 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269103 0 0 0 148133 49 0 0 20 0 4 0 12222807 1342771200 269479 33554432000 4194304 16246674 140737437626736 140737437608640 5822224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269479 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269479 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1311300 [startup+1542.31 s] /proc/loadavg: 2.22 2.12 2.07 3/183 29159 /proc/meminfo: memFree=29282252/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1541.82 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 154132 50 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 13946543 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269577 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.17 2.12 2.07 3/183 29160 /proc/meminfo: memFree=29282228/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1601.8 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 160129 51 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 6012310 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269577 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.06 2.10 2.07 3/183 29162 /proc/meminfo: memFree=29282200/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1661.79 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 166128 51 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269577 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.09 2.09 2.07 3/183 29163 /proc/meminfo: memFree=29282184/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1721.79 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269201 0 0 0 172127 52 0 0 20 0 4 0 12222807 1342771200 269577 33554432000 4194304 16246674 140737437626736 140737437608640 6023058 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269577 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269577 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1311300 [startup+1782.3 s] /proc/loadavg: 2.08 2.09 2.07 3/183 29164 /proc/meminfo: memFree=29281560/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1781.77 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269242 0 0 0 178125 52 0 0 20 0 4 0 12222807 1342771200 269618 33554432000 4194304 16246674 140737437626736 140737437609736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269618 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1311300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.06 2.08 2.07 3/183 29213 /proc/meminfo: memFree=29279120/32872528 swapFree=496356/529060 [pid=29116] ppid=29113 vsize=1311300 CPUtime=1800.07 cores=0,2,4,6 /proc/29116/stat : 29116 (toysat) R 29113 29116 28709 0 -1 4202496 269242 0 0 0 179955 52 0 0 20 0 4 0 12222807 1342771200 269618 33554432000 4194304 16246674 140737437626736 140737437608640 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29116/statm: 327825 269618 791 2943 0 324719 0 [pid=29116/tid=29117] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29117/stat : 29117 (toysat) S 29113 29116 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411561553136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29116/tid=29118] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29118/stat : 29118 (toysat) S 29113 29116 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411473472752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29116/tid=29119] ppid=29113 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/29116/task/29119/stat : 29119 (toysat) S 29113 29116 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12222808 1342771200 269618 33554432000 4194304 16246674 140737437626736 140411462999216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1311300 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 29116 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.09 CPU user time (s): 1799.56 CPU system time (s): 0.528919 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.528919 maximum resident set size= 1078472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269242 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= 480 involuntary context switches= 2057 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.89126 second user time and 6.63499 second system time The end
Begin job on node141 at 2016-06-16 20:29:34 IDJOB=4096071 IDBENCH=107562 IDSOLVER=2542 FILE ID=node141/4096071-1466101774 RUNJOBID= node141-1466098167-28725 PBS_JOBID= 19904052 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-80.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096071-1466101774/watcher-4096071-1466101774 -o /tmp/evaluation-result-4096071-1466101774/solver-4096071-1466101774 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096071-1466101774.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59d94da41177a29ab8da7774c6b2954c RANDOM SEED=156961422 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: 30364800 kB Buffers: 50216 kB Cached: 151784 kB SwapCached: 2880 kB Active: 1192184 kB Inactive: 81216 kB Active(anon): 1071460 kB Inactive(anon): 2156 kB Active(file): 120724 kB Inactive(file): 79060 kB Unevictable: 529060 kB Mlocked: 496356 kB SwapTotal: 67108856 kB SwapFree: 67098996 kB Dirty: 32796 kB Writeback: 0 kB AnonPages: 1674708 kB Mapped: 10292 kB Shmem: 0 kB Slab: 571548 kB SReclaimable: 14424 kB SUnreclaim: 557124 kB KernelStack: 1520 kB PageTables: 7172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1745788 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 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= 71696 MiB End job on node141 at 2016-06-16 20:59:35