| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K128.opb |
| MD5SUM | 17c4ca9a6493665b57c1ccd2ab23e03d |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 15232 |
| Total number of constraints | 15490 |
| Number of constraints which are clauses | 15362 |
| Number of constraints which are cardinality constraints (but not clauses) | 128 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 128 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 129 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T09:22:47+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-4078893-1465284167.opb"] 0.00/0.01 c use --random-gen="1365944315 2538294437 4060444518 1850005242 3337290944 3178409496 2158590881 4171179951 223081946 3833562563 1762255832 1603059735 122267683 1360970864 1999478771 76308360 3044747435 644974959 4106700057 627441440 776028820 531099277 2965412252 1921425160 2508503276 2608258643 461810751 2567209763 1750982143 3384720020 3268411480 3816399465 1938294982 3564531647 613643880 1063826626 651870363 3656078920 1400399802 320194379 918692458 3258836520 999302291 274770137 2562537035 2849657712 488424012 60464797 2975612489 1136544133 1189954126 2116802864 3183988622 1878117745 1244952119 2887173258 1824514203 3207038371 2896872846 3960050102 300036095 418483423 655610366 2813836953 1003883186 2275810817 3365882146 3226922330 3970172992 486397812 3417842809 2724001225 91500404 1241062163 986046298 2438406078 1650926229 3306249878 3027637506 356395850 1042603520 4263657799 3379211846 3237778606 2764075042 2527380417 1548829284 162488147 3041069886 4049607353 3224144298 374219464 2228202273 4190839790 4269720862 2486584920 3687970390 26132447 3011080920 1472830169 901884227 4135956847 2267031849 1599368147 3130864792 303050440 2980912661 2830344811 2051392399 459679337 2740065508 1830702468 568034 1836367842 2668459762 117584062 3753994489 3712188310 975247822 1879539876 3531857594 733262687 2414210611 578910406 2232052775 1496253504 3985203375 96674897 3357237718 3621540386 766463573 118897030 2933854134 3372378221 1515935509 54575453 2318898326 1124744779 4051390624 3875125508 3155385567 2583130146 3664544853 3425066290 2910877963 3108439687 2208006726 1781083449 3107906930 535116066 1967621689 4085281262 1258031192 3277897029 1015575245 4288032460 331231416 4183167657 1605878878 3989861336 3253314807 1366266282 3410640861 4197652405 3296478759 1273862536 169457577 4074568940 692601278 1826350331 3445176270 3279121958 1961880167 89149537 4220080610 4213923150 3822298270 1415370429 1110473322 2857043127 1065764308 748357307 891179186 1182518709 2619726815 1927945764 2959542654 3612172255 1759326635 2053436582 3868395580 3458619201 607862095 104393489 453538155 1259489848 4054704873 912050277 1971623602 335499240 1112450389 2504541418 1467508248 1260913990 1618837894 607398590 2217458342 3695983085 809684132 4279451279 4089258978 3928834100 2766081199 1534986270 3220132592 2751407068 4096781033 70566968 2161062091 1732025501 1792051232 3333733604 3216888002 2112811076 869479804 3626518839 2334951405 3010017560 250862281 4078769456 2647022734 1623231102 1967116538 1446286336 422010919 2841224256 3620476188 4241063375 475118206 196065237 1892515013 1897909664 1252675665 1151043419 1680589860 2322793590 2042575206 1442165818 1199491044 1634092483 2644927762 2693578040 3762020687 1197174377 1247948265 1131064914 255 362436" option to reproduce the execution 0.19/0.21 c #vars 15232 0.19/0.21 c #constraints 15490 0.48/0.55 c Solving starts ... 0.48/0.55 c ============================[ Search Statistics ]============================ 0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.55 c | | | | Limit GC | Var | Constra 0.48/0.55 c ============================================================================= 0.48/0.55 c 0.0s | 0 | 0 | 0 | 10240 0 | 742 | 0 1.09/1.15 c 0.6s | 1 | 1551 | 100 | 10240 0 | 743 | 634 1.48/1.58 c 1.0s | 2 | 6938 | 250 | 11264 0 | 743 | 634 2.19/2.25 c 1.7s | 3 | 9334 | 475 | 12391 0 | 743 | 634 2.68/2.78 c 2.2s | 4 | 16220 | 813 | 13631 0 | 744 | 635 3.79/3.83 c 3.3s | 5 | 30831 | 1320 | 14995 0 | 746 | 637 5.59/5.63 c 5.1s | 6 | 60921 | 2081 | 18145 0 | 747 | 638 7.69/7.71 c 7.2s | 6 | 86732 | 3181 | 18145 0 | 747 | 638 7.79/7.85 c 7.3s | 7 | 88883 | 3223 | 19960 0 | 748 | 639 9.99/10.03 c 9.5s | 7 | 117497 | 4323 | 19960 0 | 749 | 640 11.68/11.79 c 11.2s | 8 | 128759 | 4936 | 21956 0 | 749 | 640 13.98/14.01 c 13.5s | 8 | 159173 | 5836 | 21956 0 | 751 | 642 15.98/16.07 c 15.5s | 8 | 180386 | 6636 | 21956 0 | 753 | 644 18.08/18.11 c 17.6s | 8 | 200506 | 7436 | 21956 0 | 754 | 645 18.18/18.26 c 17.7s | 9 | 200964 | 7506 | 24152 0 | 754 | 645 20.18/20.26 c 19.7s | 9 | 219343 | 8406 | 24152 0 | 754 | 645 22.28/22.31 c 21.8s | 9 | 243381 | 9106 | 24152 0 | 754 | 645 24.68/24.78 c 24.2s | 9 | 249118 | 9606 | 24152 0 | 754 | 645 27.38/27.44 c 26.9s | 9 | 250647 | 10006 | 24152 0 | 754 | 645 29.68/29.72 c 29.2s | 9 | 253109 | 10406 | 24152 0 | 754 | 645 32.08/32.18 c 31.6s | 9 | 254540 | 10806 | 24152 0 | 754 | 645 34.48/34.50 c 34.0s | 9 | 255866 | 11106 | 24152 0 | 754 | 645 35.38/35.49 c 34.9s | 10 | 258306 | 11361 | 26568 0 | 754 | 645 37.58/37.60 c 37.1s | 10 | 277766 | 12161 | 26568 0 | 755 | 646 39.68/39.71 c 39.2s | 10 | 296731 | 12861 | 26568 0 | 755 | 646 41.67/41.77 c 41.2s | 10 | 317294 | 13461 | 26568 0 | 757 | 648 43.77/43.84 c 43.3s | 10 | 337978 | 14161 | 26568 0 | 758 | 649 45.77/45.89 c 45.3s | 10 | 359933 | 14961 | 26568 0 | 758 | 649 48.17/48.24 c 47.7s | 10 | 379333 | 15861 | 26568 0 | 758 | 649 50.17/50.28 c 49.7s | 10 | 396595 | 16561 | 26568 0 | 759 | 650 52.08/52.10 c 51.6s | 11 | 405808 | 17144 | 29225 0 | 759 | 650 54.08/54.15 c 53.6s | 11 | 425586 | 17844 | 29225 0 | 759 | 650 56.28/56.39 c 55.8s | 11 | 436706 | 18544 | 29225 0 | 759 | 650 58.39/58.46 c 57.9s | 11 | 453564 | 19244 | 29225 0 | 759 | 650 60.49/60.54 c 60.0s | 11 | 465703 | 19944 | 29225 0 | 759 | 650 62.58/62.68 c 62.1s | 11 | 469042 | 20544 | 29225 0 | 759 | 650 64.58/64.69 c 64.1s | 11 | 473637 | 21144 | 29225 0 | 759 | 650 66.88/66.90 c 66.4s | 11 | 495735 | 21844 | 29225 0 | 759 | 650 68.98/69.03 c 68.5s | 11 | 513836 | 22444 | 29225 0 | 759 | 650 71.28/71.37 c 70.8s | 11 | 525864 | 23244 | 29225 0 | 759 | 650 73.38/73.49 c 72.9s | 11 | 537484 | 24044 | 29225 0 | 759 | 650 75.48/75.50 c 75.0s | 11 | 541138 | 24544 | 29225 0 | 759 | 650 77.78/77.80 c 77.3s | 11 | 544797 | 25244 | 29225 0 | 759 | 650 80.18/80.23 c 79.7s | 11 | 546375 | 25544 | 29225 0 | 759 | 650 81.38/81.41 c 80.9s | 12 | 547951 | 25819 | 32148 0 | 759 | 650 83.37/83.45 c 82.9s | 12 | 552558 | 26319 | 32148 0 | 760 | 651 85.57/85.67 c 85.1s | 12 | 558744 | 26819 | 32148 0 | 760 | 651 87.57/87.69 c 87.1s | 12 | 575158 | 27419 | 32148 0 | 760 | 651 89.87/89.90 c 89.4s | 12 | 592420 | 28019 | 32148 0 | 760 | 651 92.27/92.31 c 91.8s | 12 | 600319 | 28619 | 32148 0 | 760 | 651 94.27/94.35 c 93.8s | 12 | 613245 | 29219 | 32148 0 | 760 | 651 96.88/96.91 c 96.4s | 12 | 625840 | 29919 | 32148 0 | 761 | 652 99.27/99.33 c 98.8s | 12 | 647468 | 30619 | 32148 0 | 761 | 652 101.28/101.34 c 100s | 12 | 656613 | 31219 | 32148 0 | 761 | 652 103.38/103.44 c 102s | 12 | 666841 | 31819 | 32148 0 | 762 | 653 105.68/105.71 c 105s | 12 | 686819 | 32419 | 32148 0 | 762 | 653 107.67/107.77 c 107s | 12 | 698612 | 33119 | 32148 0 | 762 | 653 109.67/109.77 c 109s | 12 | 711848 | 33819 | 32148 0 | 762 | 653 111.87/111.90 c 111s | 12 | 722945 | 34219 | 32148 1 | 763 | 654 113.97/114.03 c 113s | 12 | 731551 | 34819 | 32148 1 | 764 | 655 116.07/116.10 c 115s | 12 | 739277 | 35419 | 32148 1 | 764 | 655 118.27/118.33 c 117s | 12 | 756136 | 36219 | 32148 1 | 764 | 655 120.47/120.56 c 120s | 12 | 763251 | 36919 | 32148 1 | 764 | 655 122.67/122.74 c 122s | 12 | 778214 | 37719 | 32148 1 | 764 | 655 124.77/124.88 c 124s | 12 | 787428 | 38319 | 32148 1 | 765 | 656 127.17/127.20 c 126s | 12 | 794654 | 38819 | 35363 1 | 765 | 656 127.17/127.22 c 126s | 13 | 794843 | 38832 | 35363 1 | 765 | 656 129.17/129.23 c 128s | 13 | 809281 | 39432 | 35363 1 | 765 | 656 131.47/131.54 c 130s | 13 | 822302 | 40132 | 35363 1 | 765 | 656 133.56/133.65 c 133s | 13 | 825742 | 40732 | 35363 1 | 765 | 656 135.76/135.81 c 135s | 13 | 829974 | 41432 | 35363 1 | 765 | 656 137.76/137.86 c 137s | 13 | 844043 | 42132 | 35363 1 | 765 | 656 139.96/140.09 c 139s | 13 | 858643 | 42832 | 35363 1 | 765 | 656 142.06/142.11 c 141s | 13 | 871841 | 43432 | 35363 1 | 765 | 656 144.18/144.21 c 143s | 13 | 881136 | 44032 | 35363 1 | 765 | 656 146.17/146.28 c 145s | 13 | 892357 | 44732 | 35363 1 | 765 | 656 148.37/148.49 c 147s | 13 | 897767 | 45232 | 35363 1 | 765 | 656 151.37/151.45 c 150s | 13 | 900463 | 45432 | 35363 1 | 765 | 656 153.57/153.67 c 153s | 13 | 909096 | 46032 | 35363 1 | 765 | 656 155.87/155.93 c 155s | 13 | 919132 | 46532 | 35363 1 | 765 | 656 157.87/157.94 c 157s | 13 | 928734 | 47032 | 35363 1 | 765 | 656 160.07/160.18 c 159s | 13 | 934172 | 47532 | 35363 1 | 765 | 656 162.26/162.31 c 161s | 13 | 942319 | 48232 | 35363 1 | 765 | 656 164.56/164.60 c 164s | 13 | 946133 | 48732 | 35363 1 | 765 | 656 166.56/166.67 c 166s | 13 | 950570 | 49132 | 35363 1 | 765 | 656 168.76/168.87 c 168s | 13 | 959577 | 49832 | 35363 1 | 765 | 656 171.16/171.20 c 170s | 13 | 962364 | 50232 | 35363 1 | 765 | 656 173.46/173.59 c 173s | 13 | 969501 | 50632 | 35363 1 | 765 | 656 175.56/175.61 c 175s | 13 | 976811 | 51232 | 35363 1 | 765 | 656 177.66/177.78 c 177s | 13 | 982175 | 51832 | 35363 1 | 765 | 656 180.16/180.27 c 179s | 13 | 983672 | 52232 | 35363 1 | 765 | 656 182.26/182.38 c 181s | 13 | 986384 | 52632 | 35363 1 | 765 | 656 184.77/184.81 c 184s | 13 | 988735 | 52932 | 35363 1 | 765 | 656 186.86/186.97 c 186s | 13 | 997353 | 53432 | 35363 1 | 765 | 656 188.96/189.06 c 188s | 13 | 1004265 | 53832 | 35363 1 | 765 | 656 191.36/191.50 c 190s | 13 | 1013951 | 54332 | 35363 1 | 765 | 656 194.16/194.23 c 193s | 13 | 1023081 | 54832 | 35363 2 | 765 | 656 196.36/196.45 c 195s | 13 | 1029592 | 55332 | 35363 2 | 765 | 656 198.56/198.64 c 198s | 13 | 1037252 | 55932 | 35363 2 | 765 | 656 200.66/200.74 c 200s | 13 | 1043055 | 56432 | 35363 2 | 765 | 656 202.76/202.84 c 202s | 13 | 1050902 | 56932 | 35363 2 | 765 | 656 205.05/205.16 c 204s | 13 | 1058237 | 57432 | 35363 2 | 765 | 656 207.25/207.30 c 206s | 13 | 1060701 | 57732 | 35363 2 | 765 | 656 209.45/209.55 c 209s | 13 | 1064608 | 58032 | 38900 2 | 765 | 656 210.45/210.54 c 209s | 14 | 1068014 | 58352 | 38900 2 | 765 | 656 212.55/212.63 c 212s | 14 | 1079619 | 58852 | 38900 2 | 765 | 656 214.75/214.80 c 214s | 14 | 1090999 | 59452 | 38900 2 | 766 | 657 216.95/217.00 c 216s | 14 | 1106137 | 60152 | 38900 2 | 766 | 657 219.05/219.10 c 218s | 14 | 1120601 | 60852 | 38900 2 | 766 | 657 221.25/221.37 c 220s | 14 | 1124909 | 61352 | 38900 2 | 766 | 657 223.75/223.87 c 223s | 14 | 1127493 | 61752 | 38900 2 | 766 | 657 225.85/225.95 c 225s | 14 | 1130446 | 62352 | 38900 2 | 766 | 657 228.15/228.27 c 227s | 14 | 1134750 | 62852 | 38900 2 | 766 | 657 230.25/230.39 c 229s | 14 | 1143214 | 63352 | 38900 2 | 766 | 657 232.65/232.75 c 232s | 14 | 1151414 | 64052 | 38900 2 | 766 | 657 234.75/234.86 c 234s | 14 | 1163255 | 64752 | 38900 2 | 766 | 657 236.85/236.92 c 236s | 14 | 1172529 | 65352 | 38900 2 | 766 | 657 239.05/239.10 c 238s | 14 | 1174323 | 65952 | 38900 2 | 766 | 657 241.05/241.15 c 240s | 14 | 1175789 | 66352 | 38900 2 | 766 | 657 243.35/243.41 c 242s | 14 | 1182217 | 66952 | 38900 2 | 766 | 657 245.35/245.46 c 244s | 14 | 1197548 | 67552 | 38900 2 | 766 | 657 247.55/247.63 c 247s | 14 | 1212505 | 68152 | 38900 2 | 766 | 657 249.65/249.74 c 249s | 14 | 1223935 | 68852 | 38900 2 | 766 | 657 251.74/251.90 c 251s | 14 | 1236565 | 69552 | 38900 2 | 766 | 657 254.15/254.26 c 253s | 14 | 1248285 | 70152 | 38900 2 | 766 | 657 256.14/256.30 c 255s | 14 | 1255274 | 70752 | 38900 2 | 766 | 657 258.34/258.41 c 257s | 14 | 1264072 | 71352 | 38900 2 | 766 | 657 260.54/260.65 c 260s | 14 | 1272781 | 71952 | 38900 2 | 766 | 657 262.95/263.01 c 262s | 14 | 1282218 | 72652 | 38900 2 | 766 | 657 265.05/265.16 c 264s | 14 | 1291388 | 73252 | 38900 2 | 766 | 657 267.54/267.62 c 267s | 14 | 1300421 | 73952 | 38900 2 | 766 | 657 269.64/269.75 c 269s | 14 | 1311811 | 74552 | 38900 2 | 766 | 657 271.84/271.94 c 271s | 14 | 1316829 | 75252 | 38900 2 | 766 | 657 274.44/274.57 c 274s | 14 | 1319333 | 75852 | 38900 2 | 766 | 657 276.64/276.75 c 276s | 14 | 1324341 | 76452 | 38900 2 | 766 | 657 278.94/279.03 c 278s | 14 | 1329987 | 77152 | 38900 2 | 766 | 657 281.14/281.26 c 280s | 14 | 1331065 | 77452 | 38900 2 | 766 | 657 284.54/284.60 c 284s | 14 | 1331838 | 77652 | 38900 2 | 766 | 657 287.15/287.23 c 286s | 14 | 1333211 | 77852 | 38900 2 | 766 | 657 289.84/289.97 c 289s | 14 | 1334765 | 78152 | 38900 2 | 766 | 657 293.05/293.12 c 292s | 14 | 1335757 | 78352 | 38900 2 | 766 | 657 295.04/295.14 c 294s | 14 | 1336193 | 78452 | 38900 2 | 766 | 657 298.94/299.05 c 298s | 14 | 1336550 | 78552 | 38900 2 | 766 | 657 301.45/301.59 c 301s | 14 | 1337217 | 78652 | 38900 2 | 766 | 657 305.64/305.75 c 305s | 14 | 1337424 | 78752 | 38900 2 | 766 | 657 309.74/309.81 c 309s | 14 | 1337560 | 78852 | 38900 2 | 766 | 657 313.64/313.71 c 313s | 14 | 1337975 | 78952 | 38900 2 | 766 | 657 315.65/315.72 c 315s | 14 | 1338743 | 79052 | 38900 2 | 766 | 657 318.54/318.61 c 318s | 14 | 1339565 | 79252 | 38900 2 | 766 | 657 320.84/320.93 c 320s | 14 | 1339918 | 79352 | 38900 2 | 766 | 657 323.24/323.33 c 322s | 14 | 1340213 | 79452 | 38900 2 | 766 | 657 326.84/326.95 c 326s | 14 | 1340790 | 79652 | 38900 2 | 766 | 657 330.53/330.61 c 330s | 14 | 1341543 | 79852 | 38900 2 | 766 | 657 332.83/332.90 c 332s | 14 | 1341927 | 79952 | 38900 2 | 766 | 657 335.33/335.42 c 334s | 14 | 1342478 | 80052 | 38900 2 | 766 | 657 337.53/337.64 c 337s | 14 | 1343613 | 80252 | 38900 2 | 766 | 657 340.83/340.94 c 340s | 14 | 1344520 | 80452 | 38900 2 | 766 | 657 343.14/343.28 c 342s | 14 | 1344961 | 80552 | 38900 2 | 766 | 657 346.64/346.77 c 346s | 14 | 1346439 | 80752 | 38900 2 | 766 | 657 348.94/349.08 c 348s | 14 | 1346640 | 80852 | 38900 2 | 766 | 657 352.04/352.16 c 351s | 14 | 1346893 | 80952 | 38900 2 | 766 | 657 355.54/355.64 c 355s | 14 | 1347357 | 81052 | 38900 2 | 766 | 657 358.64/358.78 c 358s | 14 | 1347875 | 81152 | 38900 2 | 766 | 657 362.53/362.69 c 362s | 14 | 1348052 | 81252 | 38900 2 | 766 | 657 364.63/364.78 c 364s | 14 | 1349085 | 81452 | 38900 2 | 766 | 657 366.93/367.02 c 366s | 14 | 1352030 | 81752 | 38900 3 | 766 | 657 369.03/369.17 c 368s | 14 | 1356173 | 82352 | 38900 3 | 766 | 657 371.43/371.59 c 371s | 14 | 1358294 | 82752 | 38900 3 | 766 | 657 373.73/373.82 c 373s | 14 | 1362273 | 83252 | 38900 3 | 766 | 657 375.93/376.06 c 375s | 14 | 1362755 | 83452 | 38900 3 | 766 | 657 378.13/378.21 c 377s | 14 | 1367751 | 83852 | 38900 3 | 766 | 657 380.23/380.34 c 379s | 14 | 1373655 | 84452 | 38900 3 | 766 | 657 382.43/382.59 c 382s | 14 | 1379794 | 84952 | 38900 3 | 766 | 657 384.63/384.77 c 384s | 14 | 1381780 | 85252 | 38900 3 | 766 | 657 387.03/387.15 c 386s | 14 | 1384690 | 85852 | 38900 3 | 766 | 657 389.23/389.32 c 388s | 14 | 1393110 | 86452 | 38900 3 | 766 | 657 391.53/391.60 c 391s | 14 | 1405851 | 87052 | 42790 3 | 766 | 657 393.23/393.37 c 392s | 15 | 1416155 | 87632 | 42790 3 | 766 | 657 395.23/395.39 c 394s | 15 | 1422785 | 88232 | 42790 3 | 766 | 657 397.33/397.46 c 396s | 15 | 1431920 | 88932 | 42790 3 | 766 | 657 399.73/399.85 c 399s | 15 | 1447412 | 89632 | 42790 3 | 766 | 657 401.82/401.92 c 401s | 15 | 1460305 | 90432 | 42790 3 | 766 | 657 403.82/403.94 c 403s | 15 | 1474036 | 91032 | 42790 3 | 766 | 657 405.83/405.99 c 405s | 15 | 1477665 | 91732 | 42790 3 | 766 | 657 407.92/408.01 c 407s | 15 | 1479920 | 92332 | 42790 3 | 766 | 657 409.92/410.09 c 409s | 15 | 1481697 | 92832 | 42790 3 | 766 | 657 412.32/412.45 c 411s | 15 | 1483044 | 93332 | 42790 3 | 766 | 657 414.63/414.80 c 414s | 15 | 1484911 | 93732 | 42790 3 | 766 | 657 417.02/417.14 c 416s | 15 | 1487475 | 94432 | 42790 3 | 766 | 657 419.22/419.33 c 418s | 15 | 1493094 | 94932 | 42790 3 | 766 | 657 421.52/421.65 c 421s | 15 | 1505122 | 95632 | 42790 3 | 766 | 657 423.62/423.71 c 423s | 15 | 1520826 | 96232 | 42790 3 | 766 | 657 425.92/426.07 c 425s | 15 | 1522831 | 96832 | 42790 3 | 766 | 657 428.02/428.16 c 427s | 15 | 1530120 | 97432 | 42790 3 | 766 | 657 430.52/430.61 c 430s | 15 | 1537353 | 98132 | 42790 3 | 766 | 657 432.92/433.00 c 432s | 15 | 1549613 | 98832 | 42790 3 | 766 | 657 434.92/435.04 c 434s | 15 | 1560445 | 99432 | 42790 3 | 766 | 657 437.02/437.16 c 436s | 15 | 1570482 | 100132 | 42790 3 | 766 | 657 439.12/439.26 c 438s | 15 | 1575323 | 100732 | 42790 3 | 766 | 657 441.42/441.56 c 441s | 15 | 1591352 | 101432 | 42790 3 | 766 | 657 443.52/443.65 c 443s | 15 | 1601708 | 102032 | 42790 3 | 766 | 657 445.92/446.02 c 445s | 15 | 1603836 | 102632 | 42790 3 | 766 | 657 448.21/448.38 c 447s | 15 | 1604976 | 103032 | 42790 3 | 766 | 657 450.51/450.60 c 450s | 15 | 1606590 | 103532 | 42790 3 | 766 | 657 453.22/453.34 c 452s | 15 | 1608228 | 103932 | 42790 3 | 766 | 657 456.31/456.47 c 455s | 15 | 1612464 | 104232 | 42790 4 | 766 | 657 458.32/458.48 c 457s | 15 | 1625179 | 104932 | 42790 4 | 766 | 657 460.52/460.63 c 460s | 15 | 1636478 | 105832 | 42790 4 | 766 | 657 462.62/462.76 c 462s | 15 | 1655907 | 106532 | 42790 4 | 766 | 657 464.82/464.92 c 464s | 15 | 1673429 | 107332 | 42790 4 | 766 | 657 466.92/467.04 c 466s | 15 | 1685932 | 108032 | 42790 4 | 766 | 657 469.12/469.25 c 468s | 15 | 1702089 | 108732 | 42790 4 | 766 | 657 471.22/471.37 c 470s | 15 | 1715871 | 109232 | 42790 4 | 767 | 658 473.32/473.49 c 472s | 15 | 1726372 | 109832 | 42790 4 | 767 | 658 475.62/475.71 c 475s | 15 | 1741479 | 110532 | 42790 4 | 767 | 658 477.82/477.91 c 477s | 15 | 1752289 | 111232 | 42790 4 | 767 | 658 479.92/480.07 c 479s | 15 | 1761311 | 111932 | 42790 4 | 767 | 658 481.92/482.08 c 481s | 15 | 1770100 | 112532 | 42790 4 | 767 | 658 484.02/484.18 c 483s | 15 | 1780532 | 113232 | 42790 4 | 767 | 658 486.32/486.49 c 485s | 15 | 1782694 | 113832 | 42790 4 | 767 | 658 488.62/488.79 c 488s | 15 | 1788009 | 114432 | 42790 4 | 767 | 658 491.02/491.15 c 490s | 15 | 1802648 | 115132 | 42790 4 | 767 | 658 493.02/493.18 c 492s | 15 | 1818409 | 115732 | 42790 4 | 767 | 658 495.21/495.30 c 494s | 15 | 1829178 | 116332 | 42790 4 | 767 | 658 497.41/497.53 c 496s | 15 | 1845871 | 117132 | 42790 4 | 767 | 658 499.61/499.72 c 499s | 15 | 1857282 | 117632 | 42790 4 | 768 | 659 501.81/501.91 c 501s | 15 | 1867974 | 118132 | 42790 4 | 768 | 659 504.21/504.33 c 503s | 15 | 1882094 | 118732 | 42790 4 | 768 | 659 506.31/506.44 c 505s | 15 | 1900837 | 119332 | 42790 4 | 768 | 659 508.41/508.58 c 508s | 15 | 1907455 | 119932 | 42790 4 | 768 | 659 510.71/510.86 c 510s | 15 | 1917609 | 120532 | 42790 4 | 768 | 659 512.81/512.96 c 512s | 15 | 1928899 | 121332 | 42790 4 | 768 | 659 515.11/515.29 c 514s | 15 | 1939752 | 122032 | 42790 4 | 768 | 659 517.41/517.50 c 516s | 15 | 1957670 | 122632 | 42790 4 | 768 | 659 519.41/519.58 c 519s | 15 | 1966325 | 123232 | 42790 4 | 768 | 659 521.81/521.90 c 521s | 15 | 1973979 | 123832 | 42790 4 | 768 | 659 524.11/524.28 c 523s | 15 | 1976831 | 124332 | 42790 4 | 768 | 659 526.11/526.28 c 525s | 15 | 1983582 | 124832 | 42790 4 | 768 | 659 528.21/528.38 c 527s | 15 | 1989272 | 125332 | 42790 4 | 768 | 659 530.51/530.61 c 530s | 15 | 1993116 | 125832 | 42790 4 | 768 | 659 532.91/533.00 c 532s | 15 | 1999928 | 126332 | 42790 4 | 768 | 659 535.01/535.12 c 534s | 15 | 2005106 | 126832 | 42790 4 | 768 | 659 537.51/537.68 c 537s | 15 | 2006116 | 127032 | 42790 4 | 768 | 659 539.81/539.93 c 539s | 15 | 2006956 | 127232 | 42790 4 | 768 | 659 541.81/541.94 c 541s | 15 | 2008863 | 127532 | 42790 4 | 768 | 659 544.41/544.53 c 543s | 15 | 2009947 | 127732 | 42790 4 | 768 | 659 547.50/547.60 c 547s | 15 | 2012547 | 128032 | 42790 4 | 768 | 659 549.70/549.81 c 549s | 15 | 2013137 | 128232 | 42790 4 | 768 | 659 551.90/552.05 c 551s | 15 | 2013370 | 128332 | 42790 4 | 768 | 659 556.40/556.50 c 555s | 15 | 2014207 | 128532 | 42790 4 | 768 | 659 558.60/558.73 c 558s | 15 | 2014402 | 128632 | 42790 4 | 768 | 659 561.10/561.20 c 560s | 15 | 2014816 | 128732 | 42790 4 | 768 | 659 563.30/563.45 c 562s | 15 | 2017059 | 129032 | 42790 4 | 768 | 659 565.90/566.00 c 565s | 15 | 2019499 | 129432 | 42790 5 | 768 | 659 568.00/568.13 c 567s | 15 | 2030100 | 129932 | 42790 5 | 768 | 659 570.10/570.22 c 569s | 15 | 2041447 | 130532 | 42790 5 | 768 | 659 572.60/572.73 c 572s | 15 | 2047621 | 131132 | 47070 5 | 768 | 659 574.30/574.41 c 573s | 16 | 2057235 | 131552 | 47070 5 | 768 | 659 576.50/576.67 c 576s | 16 | 2064188 | 132252 | 47070 5 | 768 | 659 578.60/578.75 c 578s | 16 | 2067416 | 132852 | 47070 5 | 768 | 659 580.70/580.85 c 580s | 16 | 2070396 | 133452 | 47070 5 | 768 | 659 582.79/582.93 c 582s | 16 | 2073302 | 133952 | 47070 5 | 768 | 659 584.99/585.19 c 584s | 16 | 2086046 | 134752 | 47070 5 | 768 | 659 587.09/587.28 c 586s | 16 | 2092487 | 135452 | 47070 5 | 768 | 659 589.19/589.34 c 588s | 16 | 2100225 | 136252 | 47070 5 | 768 | 659 591.19/591.39 c 590s | 16 | 2106058 | 136752 | 47070 5 | 768 | 659 593.29/593.43 c 592s | 16 | 2114989 | 137352 | 47070 5 | 768 | 659 595.49/595.67 c 595s | 16 | 2120261 | 137752 | 47070 5 | 768 | 659 597.49/597.69 c 597s | 16 | 2128021 | 138352 | 47070 5 | 768 | 659 599.89/600.04 c 599s | 16 | 2132436 | 138852 | 47070 5 | 769 | 660 602.30/602.48 c 601s | 16 | 2134587 | 139352 | 47070 5 | 769 | 660 604.40/604.53 c 603s | 16 | 2138979 | 139852 | 47070 5 | 769 | 660 606.80/606.95 c 606s | 16 | 2141254 | 140452 | 47070 5 | 769 | 660 608.99/609.13 c 608s | 16 | 2143603 | 140952 | 47070 5 | 769 | 660 611.29/611.43 c 610s | 16 | 2153316 | 141552 | 47070 5 | 769 | 660 613.39/613.56 c 613s | 16 | 2163758 | 142252 | 47070 5 | 769 | 660 615.59/615.73 c 615s | 16 | 2174724 | 142852 | 47070 5 | 769 | 660 617.89/618.01 c 617s | 16 | 2187687 | 143352 | 47070 5 | 769 | 660 619.99/620.15 c 619s | 16 | 2192549 | 143952 | 47070 5 | 769 | 660 622.09/622.20 c 621s | 16 | 2195534 | 144552 | 47070 5 | 769 | 660 624.29/624.45 c 623s | 16 | 2199734 | 145052 | 47070 5 | 769 | 660 626.99/627.14 c 626s | 16 | 2202387 | 145552 | 47070 5 | 769 | 660 629.19/629.34 c 628s | 16 | 2205776 | 146052 | 47070 5 | 769 | 660 631.69/631.85 c 631s | 16 | 2206930 | 146352 | 47070 5 | 769 | 660 633.78/633.98 c 633s | 16 | 2208582 | 146752 | 47070 5 | 769 | 660 635.80/635.99 c 635s | 16 | 2209453 | 147052 | 47070 5 | 769 | 660 638.19/638.33 c 637s | 16 | 2211468 | 147452 | 47070 5 | 769 | 660 640.59/640.70 c 640s | 16 | 2214740 | 147952 | 47070 5 | 769 | 660 642.59/642.70 c 642s | 16 | 2217470 | 148352 | 47070 5 | 769 | 660 645.09/645.24 c 644s | 16 | 2218869 | 148752 | 47070 5 | 769 | 660 647.59/647.75 c 647s | 16 | 2220961 | 149052 | 47070 5 | 769 | 660 650.19/650.38 c 649s | 16 | 2224826 | 149552 | 47070 5 | 769 | 660 652.29/652.41 c 651s | 16 | 2229436 | 150052 | 47070 5 | 769 | 660 654.49/654.63 c 654s | 16 | 2243593 | 150552 | 47070 5 | 769 | 660 656.69/656.84 c 656s | 16 | 2251534 | 150952 | 47070 5 | 769 | 660 658.89/659.04 c 658s | 16 | 2255665 | 151452 | 47070 5 | 769 | 660 660.99/661.17 c 660s | 16 | 2256849 | 151752 | 47070 5 | 769 | 660 663.39/663.53 c 662s | 16 | 2258555 | 152152 | 47070 5 | 769 | 660 665.88/666.01 c 665s | 16 | 2266070 | 152752 | 47070 5 | 769 | 660 667.88/668.07 c 667s | 16 | 2282885 | 153252 | 47070 5 | 769 | 660 670.08/670.23 c 669s | 16 | 2290441 | 153752 | 47070 5 | 769 | 660 672.09/672.23 c 671s | 16 | 2294757 | 154052 | 47070 5 | 769 | 660 674.19/674.35 c 673s | 16 | 2301474 | 154552 | 47070 5 | 769 | 660 676.28/676.43 c 675s | 16 | 2305073 | 155052 | 47070 5 | 769 | 660 678.38/678.51 c 677s | 16 | 2313020 | 155552 | 47070 5 | 769 | 660 680.48/680.66 c 680s | 16 | 2321327 | 156052 | 47070 5 | 769 | 660 682.88/683.09 c 682s | 16 | 2326744 | 156552 | 47070 5 | 769 | 660 686.29/686.47 c 685s | 16 | 2332385 | 157052 | 47070 6 | 769 | 660 688.49/688.61 c 688s | 16 | 2339458 | 157752 | 47070 6 | 769 | 660 690.48/690.69 c 690s | 16 | 2349329 | 158252 | 47070 6 | 769 | 660 692.89/693.01 c 692s | 16 | 2355114 | 158752 | 47070 6 | 769 | 660 694.98/695.15 c 694s | 16 | 2360864 | 159352 | 47070 6 | 769 | 660 697.18/697.38 c 696s | 16 | 2364220 | 160152 | 47070 6 | 769 | 660 699.28/699.40 c 698s | 16 | 2376788 | 160752 | 47070 6 | 769 | 660 701.68/701.83 c 701s | 16 | 2382786 | 161352 | 47070 6 | 769 | 660 703.98/704.11 c 703s | 16 | 2393997 | 161952 | 47070 6 | 769 | 660 706.18/706.32 c 705s | 16 | 2407485 | 162452 | 47070 6 | 769 | 660 708.57/708.71 c 708s | 16 | 2429794 | 163152 | 47070 6 | 769 | 660 710.87/711.01 c 710s | 16 | 2442859 | 163752 | 47070 6 | 769 | 660 713.07/713.21 c 712s | 16 | 2448603 | 164652 | 47070 6 | 769 | 660 715.37/715.53 c 714s | 16 | 2455835 | 165252 | 47070 6 | 769 | 660 718.07/718.23 c 717s | 16 | 2457450 | 165652 | 47070 6 | 769 | 660 720.07/720.28 c 719s | 16 | 2467967 | 166152 | 47070 6 | 769 | 660 722.17/722.37 c 721s | 16 | 2478544 | 166752 | 47070 6 | 769 | 660 724.26/724.42 c 723s | 16 | 2481272 | 167252 | 47070 6 | 769 | 660 726.56/726.72 c 726s | 16 | 2493252 | 167852 | 47070 6 | 769 | 660 728.76/728.98 c 728s | 16 | 2508024 | 168352 | 47070 6 | 769 | 660 730.86/731.06 c 730s | 16 | 2512958 | 168852 | 47070 6 | 769 | 660 733.06/733.24 c 732s | 16 | 2518782 | 169352 | 47070 6 | 769 | 660 735.06/735.24 c 734s | 16 | 2526160 | 169852 | 47070 6 | 769 | 660 737.36/737.53 c 736s | 16 | 2535334 | 170652 | 47070 6 | 769 | 660 739.36/739.54 c 738s | 16 | 2540140 | 171252 | 47070 6 | 769 | 660 741.66/741.87 c 741s | 16 | 2547136 | 171852 | 47070 6 | 769 | 660 743.66/743.88 c 743s | 16 | 2550307 | 172352 | 47070 6 | 769 | 660 745.86/746.01 c 745s | 16 | 2552597 | 172852 | 47070 6 | 769 | 660 748.07/748.21 c 747s | 16 | 2554489 | 173252 | 47070 6 | 769 | 660 750.66/750.81 c 750s | 16 | 2555528 | 173552 | 47070 6 | 769 | 660 753.16/753.40 c 752s | 16 | 2556821 | 173852 | 47070 6 | 769 | 660 755.46/755.61 c 755s | 16 | 2566895 | 174352 | 47070 6 | 769 | 660 757.56/757.74 c 757s | 16 | 2579005 | 174852 | 47070 6 | 769 | 660 759.66/759.83 c 759s | 16 | 2588406 | 175452 | 47070 6 | 769 | 660 761.75/761.90 c 761s | 16 | 2593249 | 175952 | 47070 6 | 769 | 660 764.05/764.28 c 763s | 16 | 2605505 | 176552 | 47070 6 | 769 | 660 766.45/766.61 c 766s | 16 | 2617730 | 177052 | 47070 6 | 769 | 660 768.76/768.96 c 768s | 16 | 2625417 | 177552 | 47070 6 | 769 | 660 770.85/771.00 c 770s | 16 | 2636337 | 178052 | 47070 6 | 769 | 660 773.05/773.30 c 772s | 16 | 2645977 | 178552 | 47070 6 | 769 | 660 775.55/775.70 c 775s | 16 | 2657955 | 179052 | 47070 6 | 769 | 660 779.15/779.32 c 778s | 16 | 2662831 | 179552 | 47070 6 | 769 | 660 781.15/781.38 c 780s | 16 | 2670433 | 179952 | 47070 6 | 769 | 660 783.44/783.69 c 783s | 16 | 2676851 | 180252 | 47070 7 | 769 | 660 785.54/785.73 c 785s | 16 | 2680062 | 180652 | 47070 7 | 769 | 660 787.64/787.86 c 787s | 16 | 2684085 | 180852 | 47070 7 | 769 | 660 789.94/790.18 c 789s | 16 | 2701431 | 181652 | 47070 7 | 769 | 660 792.24/792.47 c 791s | 16 | 2715263 | 182252 | 47070 7 | 769 | 660 794.34/794.55 c 794s | 16 | 2717815 | 182652 | 47070 7 | 769 | 660 796.54/796.73 c 796s | 16 | 2723843 | 183052 | 47070 7 | 769 | 660 798.55/798.76 c 798s | 16 | 2737203 | 183652 | 47070 7 | 769 | 660 800.65/800.85 c 800s | 16 | 2746870 | 184252 | 47070 7 | 769 | 660 803.04/803.20 c 802s | 16 | 2756802 | 184952 | 47070 7 | 769 | 660 805.24/805.48 c 804s | 16 | 2767274 | 185552 | 47070 7 | 769 | 660 807.44/807.69 c 807s | 16 | 2778450 | 186152 | 47070 7 | 769 | 660 809.64/809.80 c 809s | 16 | 2786171 | 186752 | 47070 7 | 769 | 660 811.74/811.92 c 811s | 16 | 2797370 | 187252 | 47070 7 | 769 | 660 813.73/813.99 c 813s | 16 | 2803191 | 187752 | 47070 7 | 769 | 660 816.04/816.21 c 815s | 16 | 2813938 | 188452 | 47070 7 | 769 | 660 818.13/818.32 c 817s | 16 | 2821289 | 189052 | 47070 7 | 769 | 660 820.23/820.47 c 819s | 16 | 2832757 | 189652 | 47070 7 | 769 | 660 822.33/822.52 c 821s | 16 | 2842796 | 190152 | 47070 7 | 769 | 660 824.73/824.95 c 824s | 16 | 2848111 | 190552 | 47070 7 | 769 | 660 826.93/827.17 c 826s | 16 | 2854535 | 191152 | 47070 7 | 769 | 660 829.23/829.43 c 828s | 16 | 2862542 | 191752 | 47070 7 | 769 | 660 831.53/831.76 c 831s | 16 | 2871738 | 192452 | 47070 7 | 769 | 660 833.73/833.94 c 833s | 16 | 2879494 | 193152 | 47070 7 | 769 | 660 836.12/836.35 c 835s | 16 | 2886938 | 193752 | 47070 7 | 769 | 660 838.52/838.73 c 838s | 16 | 2894926 | 194252 | 47070 7 | 769 | 660 841.43/841.62 c 841s | 16 | 2896803 | 194752 | 47070 7 | 769 | 660 843.62/843.84 c 843s | 16 | 2905814 | 195152 | 47070 7 | 769 | 660 846.22/846.45 c 845s | 16 | 2913826 | 195652 | 47070 7 | 769 | 660 848.72/848.93 c 848s | 16 | 2925446 | 196152 | 51778 7 | 769 | 660 851.12/851.33 c 850s | 16 | 2935243 | 196752 | 51778 7 | 769 | 660 853.21/853.41 c 852s | 16 | 2941911 | 197252 | 51778 7 | 769 | 660 854.01/854.28 c 853s | 17 | 2945491 | 197432 | 51778 7 | 769 | 660 856.11/856.34 c 855s | 17 | 2954851 | 197832 | 51778 7 | 769 | 660 858.31/858.51 c 857s | 17 | 2966503 | 198632 | 51778 7 | 769 | 660 860.61/860.81 c 860s | 17 | 2979422 | 199232 | 51778 7 | 769 | 660 863.50/863.70 c 863s | 17 | 2983551 | 199732 | 51778 7 | 769 | 660 866.00/866.28 c 865s | 17 | 2985122 | 200032 | 51778 7 | 769 | 660 868.30/868.55 c 868s | 17 | 2985669 | 200232 | 51778 7 | 769 | 660 870.70/870.96 c 870s | 17 | 2990717 | 200832 | 51778 7 | 769 | 660 872.79/873.06 c 872s | 17 | 2997060 | 201432 | 51778 7 | 769 | 660 874.90/875.13 c 874s | 17 | 3007429 | 201932 | 51778 7 | 769 | 660 877.30/877.51 c 876s | 17 | 3018575 | 202532 | 51778 7 | 769 | 660 879.50/879.74 c 879s | 17 | 3027921 | 203032 | 51778 7 | 769 | 660 881.70/881.90 c 881s | 17 | 3036450 | 203632 | 51778 7 | 769 | 660 883.70/883.98 c 883s | 17 | 3045523 | 204232 | 51778 7 | 769 | 660 886.00/886.24 c 885s | 17 | 3056897 | 204832 | 51778 7 | 769 | 660 888.10/888.30 c 887s | 17 | 3063360 | 205232 | 51778 7 | 769 | 660 890.20/890.43 c 889s | 17 | 3073143 | 205732 | 51778 7 | 769 | 660 892.20/892.43 c 891s | 17 | 3078300 | 206132 | 51778 7 | 769 | 660 894.30/894.58 c 894s | 17 | 3082486 | 206632 | 51778 7 | 769 | 660 896.80/897.01 c 896s | 17 | 3086664 | 207132 | 51778 7 | 769 | 660 899.19/899.44 c 898s | 17 | 3091147 | 207632 | 51778 7 | 769 | 660 901.59/901.82 c 901s | 17 | 3093619 | 208032 | 51778 7 | 769 | 660 903.89/904.15 c 903s | 17 | 3102973 | 208632 | 51778 7 | 769 | 660 905.99/906.28 c 905s | 17 | 3108331 | 209032 | 51778 7 | 769 | 660 908.40/908.66 c 908s | 17 | 3112318 | 209532 | 51778 7 | 769 | 660 910.79/911.02 c 910s | 17 | 3124323 | 210132 | 51778 7 | 769 | 660 914.09/914.34 c 913s | 17 | 3133233 | 210732 | 51778 8 | 769 | 660 916.29/916.56 c 916s | 17 | 3143404 | 211332 | 51778 8 | 769 | 660 918.59/918.88 c 918s | 17 | 3153677 | 212032 | 51778 8 | 769 | 660 920.69/920.92 c 920s | 17 | 3161528 | 212532 | 51778 8 | 769 | 660 922.79/923.03 c 922s | 17 | 3167662 | 213032 | 51778 8 | 769 | 660 925.08/925.39 c 924s | 17 | 3176508 | 213632 | 51778 8 | 769 | 660 927.09/927.40 c 926s | 17 | 3182309 | 214132 | 51778 8 | 769 | 660 929.39/929.65 c 929s | 17 | 3185747 | 214632 | 51778 8 | 769 | 660 931.38/931.67 c 931s | 17 | 3187509 | 215032 | 51778 8 | 769 | 660 933.69/933.97 c 933s | 17 | 3191590 | 215632 | 51778 8 | 769 | 660 936.18/936.45 c 935s | 17 | 3193718 | 216132 | 51778 8 | 769 | 660 938.98/939.26 c 938s | 17 | 3197357 | 216632 | 51778 8 | 769 | 660 941.17/941.42 c 940s | 17 | 3198195 | 216832 | 51778 8 | 769 | 660 943.46/943.78 c 943s | 17 | 3199245 | 217132 | 51778 8 | 769 | 660 945.57/945.88 c 945s | 17 | 3200173 | 217332 | 51778 8 | 769 | 660 947.77/948.07 c 947s | 17 | 3210164 | 217832 | 51778 8 | 769 | 660 950.07/950.35 c 949s | 17 | 3216961 | 218332 | 51778 8 | 769 | 660 952.37/952.63 c 952s | 17 | 3222521 | 218832 | 51778 8 | 769 | 660 954.57/954.88 c 954s | 17 | 3230072 | 219332 | 51778 8 | 769 | 660 956.96/957.28 c 956s | 17 | 3238394 | 219932 | 51778 8 | 769 | 660 959.07/959.31 c 958s | 17 | 3241713 | 220332 | 51778 8 | 769 | 660 961.06/961.38 c 960s | 17 | 3249411 | 220732 | 51778 8 | 769 | 660 963.36/963.67 c 963s | 17 | 3256638 | 221232 | 51778 8 | 769 | 660 965.76/966.08 c 965s | 17 | 3258921 | 221632 | 51778 8 | 769 | 660 968.06/968.39 c 967s | 17 | 3261230 | 222032 | 51778 8 | 769 | 660 970.26/970.57 c 970s | 17 | 3265135 | 222532 | 51778 8 | 769 | 660 972.45/972.74 c 972s | 17 | 3272671 | 223032 | 51778 8 | 769 | 660 974.85/975.15 c 974s | 17 | 3277577 | 223532 | 51778 8 | 769 | 660 977.15/977.46 c 976s | 17 | 3282114 | 223932 | 51778 8 | 769 | 660 979.45/979.72 c 979s | 17 | 3284361 | 224232 | 51778 8 | 769 | 660 982.16/982.40 c 981s | 17 | 3293827 | 224732 | 51778 8 | 769 | 660 984.36/984.63 c 984s | 17 | 3295880 | 225032 | 51778 8 | 769 | 660 986.35/986.69 c 986s | 17 | 3299585 | 225532 | 51778 8 | 769 | 660 988.45/988.77 c 988s | 17 | 3305751 | 226032 | 51778 8 | 769 | 660 991.45/991.74 c 991s | 17 | 3309036 | 226432 | 51778 8 | 769 | 660 993.55/993.82 c 993s | 17 | 3311949 | 226732 | 51778 8 | 769 | 660 995.54/995.89 c 995s | 17 | 3317403 | 227132 | 51778 8 | 769 | 660 997.94/998.29 c 997s | 17 | 3322914 | 227632 | 51778 8 | 769 | 660 1000.34/1000.64 c 1000s | 17 | 3327408 | 228032 | 51778 8 | 769 | 660 1002.54/1002.87 c 1002s | 17 | 3332295 | 228432 | 51778 8 | 769 | 660 1005.34/1005.61 c 1005s | 17 | 3338144 | 228832 | 51778 8 | 769 | 660 1007.64/1007.92 c 1007s | 17 | 3342411 | 229332 | 51778 8 | 769 | 660 1010.65/1010.94 c 1010s | 17 | 3343434 | 229632 | 51778 8 | 769 | 660 1012.73/1013.00 c 1012s | 17 | 3344882 | 230032 | 51778 8 | 769 | 660 1015.64/1015.99 c 1015s | 17 | 3346210 | 230332 | 51778 8 | 769 | 660 1017.84/1018.16 c 1017s | 17 | 3350205 | 230732 | 51778 8 | 769 | 660 1020.24/1020.52 c 1019s | 17 | 3354023 | 231132 | 51778 8 | 769 | 660 1022.93/1023.24 c 1022s | 17 | 3356268 | 231532 | 51778 8 | 769 | 660 1024.94/1025.30 c 1024s | 17 | 3358483 | 231832 | 51778 8 | 769 | 660 1027.63/1027.92 c 1027s | 17 | 3365020 | 232332 | 51778 8 | 769 | 660 1031.13/1031.46 c 1030s | 17 | 3366050 | 232632 | 51778 8 | 769 | 660 1035.22/1035.57 c 1035s | 17 | 3366907 | 232832 | 51778 8 | 769 | 660 1037.92/1038.30 c 1037s | 17 | 3367083 | 232932 | 51778 8 | 769 | 660 1040.43/1040.74 c 1040s | 17 | 3367553 | 233032 | 51778 8 | 769 | 660 1043.62/1043.99 c 1043s | 17 | 3368964 | 233232 | 51778 8 | 769 | 660 1046.52/1046.82 c 1046s | 17 | 3370578 | 233532 | 51778 8 | 769 | 660 1048.92/1049.26 c 1048s | 17 | 3371312 | 233632 | 51778 8 | 769 | 660 1051.02/1051.31 c 1050s | 17 | 3373417 | 233832 | 51778 8 | 769 | 660 1053.11/1053.41 c 1052s | 17 | 3376500 | 234132 | 51778 8 | 769 | 660 1055.41/1055.76 c 1055s | 17 | 3378757 | 234432 | 51778 8 | 769 | 660 1057.92/1058.28 c 1057s | 17 | 3379708 | 234632 | 51778 8 | 769 | 660 1060.40/1060.71 c 1060s | 17 | 3380697 | 234832 | 51778 8 | 769 | 660 1063.31/1063.68 c 1063s | 17 | 3383027 | 235132 | 51778 8 | 769 | 660 1065.51/1065.81 c 1065s | 17 | 3386092 | 235432 | 51778 8 | 769 | 660 1067.81/1068.12 c 1067s | 17 | 3386597 | 235632 | 51778 8 | 769 | 660 1069.90/1070.21 c 1069s | 17 | 3387756 | 235932 | 51778 8 | 769 | 660 1072.00/1072.36 c 1071s | 17 | 3388777 | 236232 | 51778 8 | 769 | 660 1074.40/1074.75 c 1074s | 17 | 3389570 | 236432 | 51778 8 | 769 | 660 1077.20/1077.58 c 1077s | 17 | 3393875 | 236832 | 51778 8 | 769 | 660 1080.40/1080.79 c 1080s | 17 | 3394807 | 237032 | 51778 8 | 769 | 660 1083.09/1083.44 c 1082s | 17 | 3396150 | 237332 | 51778 8 | 769 | 660 1085.09/1085.49 c 1084s | 17 | 3397721 | 237632 | 51778 8 | 769 | 660 1087.60/1087.98 c 1087s | 17 | 3401866 | 238032 | 51778 8 | 769 | 660 1089.90/1090.27 c 1089s | 17 | 3403819 | 238332 | 51778 8 | 769 | 660 1092.59/1092.97 c 1092s | 17 | 3407340 | 238732 | 51778 8 | 769 | 660 1096.09/1096.49 c 1095s | 17 | 3409265 | 239132 | 51778 8 | 769 | 660 1098.29/1098.62 c 1098s | 17 | 3411830 | 239432 | 51778 8 | 769 | 660 1100.68/1101.05 c 1100s | 17 | 3414113 | 239832 | 51778 8 | 769 | 660 1103.38/1103.77 c 1103s | 17 | 3415768 | 240232 | 51778 8 | 769 | 660 1105.88/1106.22 c 1105s | 17 | 3419338 | 240632 | 51778 8 | 769 | 660 1108.18/1108.59 c 1108s | 17 | 3419586 | 240732 | 51778 8 | 769 | 660 1110.88/1111.24 c 1110s | 17 | 3420875 | 240932 | 51778 8 | 769 | 660 1114.67/1115.05 c 1114s | 17 | 3422575 | 241232 | 51778 9 | 769 | 660 1116.77/1117.14 c 1116s | 17 | 3426174 | 241632 | 51778 9 | 769 | 660 1119.17/1119.52 c 1118s | 17 | 3430138 | 242032 | 51778 9 | 769 | 660 1121.27/1121.68 c 1121s | 17 | 3431748 | 242332 | 51778 9 | 769 | 660 1123.57/1123.97 c 1123s | 17 | 3437323 | 242732 | 51778 9 | 769 | 660 1125.96/1126.34 c 1125s | 17 | 3445440 | 243232 | 51778 9 | 769 | 660 1128.27/1128.62 c 1128s | 17 | 3451600 | 243732 | 51778 9 | 769 | 660 1131.36/1131.70 c 1131s | 17 | 3452983 | 243932 | 51778 9 | 769 | 660 1133.36/1133.73 c 1133s | 17 | 3457679 | 244432 | 51778 9 | 769 | 660 1135.46/1135.80 c 1135s | 17 | 3462859 | 245032 | 51778 9 | 769 | 660 1137.86/1138.26 c 1137s | 17 | 3470261 | 245532 | 51778 9 | 769 | 660 1140.16/1140.52 c 1139s | 17 | 3474819 | 245932 | 51778 9 | 769 | 660 1142.26/1142.67 c 1142s | 17 | 3480644 | 246332 | 51778 9 | 769 | 660 1144.36/1144.79 c 1144s | 17 | 3484282 | 246732 | 51778 9 | 769 | 660 1146.45/1146.82 c 1146s | 17 | 3486007 | 247032 | 51778 9 | 769 | 660 1149.05/1149.45 c 1148s | 17 | 3493174 | 247532 | 51778 9 | 769 | 660 1151.46/1151.84 c 1151s | 17 | 3496322 | 247832 | 51778 9 | 769 | 660 1154.05/1154.40 c 1153s | 17 | 3503185 | 248332 | 51778 9 | 769 | 660 1156.45/1156.88 c 1156s | 17 | 3510933 | 248832 | 51778 9 | 769 | 660 1159.64/1160.00 c 1159s | 17 | 3512347 | 249132 | 51778 9 | 769 | 660 1162.73/1163.10 c 1162s | 17 | 3515235 | 249432 | 51778 9 | 769 | 660 1164.94/1165.31 c 1164s | 17 | 3516922 | 249632 | 51778 9 | 769 | 660 1167.24/1167.65 c 1167s | 17 | 3520342 | 250032 | 51778 9 | 769 | 660 1169.54/1169.98 c 1169s | 17 | 3525111 | 250532 | 51778 9 | 769 | 660 1172.34/1172.70 c 1172s | 17 | 3527173 | 250832 | 51778 9 | 769 | 660 1174.54/1174.98 c 1174s | 17 | 3529193 | 251132 | 51778 9 | 769 | 660 1176.84/1177.27 c 1176s | 17 | 3533216 | 251532 | 51778 9 | 769 | 660 1179.03/1179.49 c 1178s | 17 | 3535861 | 251932 | 51778 9 | 769 | 660 1181.53/1181.98 c 1181s | 17 | 3540029 | 252332 | 51778 9 | 769 | 660 1184.63/1185.09 c 1184s | 17 | 3541067 | 252632 | 51778 9 | 769 | 660 1187.13/1187.54 c 1186s | 17 | 3542740 | 252932 | 51778 9 | 769 | 660 1190.03/1190.41 c 1189s | 17 | 3543837 | 253232 | 51778 9 | 769 | 660 1192.82/1193.22 c 1192s | 17 | 3544425 | 253432 | 51778 9 | 769 | 660 1195.12/1195.54 c 1194s | 17 | 3545384 | 253632 | 51778 9 | 769 | 660 1198.32/1198.79 c 1198s | 17 | 3546232 | 253832 | 51778 9 | 769 | 660 1201.02/1201.48 c 1200s | 17 | 3548485 | 254132 | 51778 9 | 769 | 660 1203.12/1203.57 c 1203s | 17 | 3549252 | 254332 | 51778 9 | 769 | 660 1205.62/1206.09 c 1205s | 17 | 3551948 | 254732 | 51778 9 | 769 | 660 1208.12/1208.57 c 1208s | 17 | 3555567 | 255132 | 51778 9 | 769 | 660 1210.42/1210.83 c 1210s | 17 | 3558728 | 255432 | 51778 9 | 769 | 660 1213.91/1214.31 c 1213s | 17 | 3559583 | 255732 | 51778 9 | 769 | 660 1216.32/1216.73 c 1216s | 17 | 3564661 | 256132 | 51778 9 | 769 | 660 1218.81/1219.25 c 1218s | 17 | 3568458 | 256632 | 51778 9 | 769 | 660 1221.21/1221.63 c 1221s | 17 | 3570654 | 257032 | 51778 9 | 769 | 660 1223.60/1224.05 c 1223s | 17 | 3572240 | 257232 | 51778 9 | 769 | 660 1226.00/1226.46 c 1225s | 17 | 3574158 | 257532 | 51778 9 | 769 | 660 1228.40/1228.86 c 1228s | 17 | 3575858 | 257732 | 51778 9 | 769 | 660 1230.70/1231.12 c 1230s | 17 | 3578521 | 258132 | 51778 9 | 769 | 660 1232.70/1233.13 c 1232s | 17 | 3580206 | 258332 | 51778 9 | 769 | 660 1234.79/1235.23 c 1234s | 17 | 3582015 | 258632 | 51778 9 | 769 | 660 1237.79/1238.21 c 1237s | 17 | 3583265 | 259032 | 51778 9 | 769 | 660 1240.10/1240.55 c 1240s | 17 | 3590056 | 259432 | 51778 9 | 769 | 660 1242.69/1243.11 c 1242s | 17 | 3592690 | 259832 | 51778 9 | 769 | 660 1246.88/1247.36 c 1246s | 17 | 3593135 | 260032 | 51778 9 | 769 | 660 1249.19/1249.64 c 1249s | 17 | 3593714 | 260232 | 51778 9 | 769 | 660 1251.48/1251.94 c 1251s | 17 | 3593904 | 260332 | 51778 9 | 769 | 660 1254.18/1254.64 c 1254s | 17 | 3594169 | 260432 | 51778 9 | 769 | 660 1256.58/1257.01 c 1256s | 17 | 3596544 | 260732 | 51778 9 | 769 | 660 1258.97/1259.46 c 1258s | 17 | 3598603 | 261032 | 51778 9 | 769 | 660 1261.17/1261.61 c 1261s | 17 | 3599165 | 261232 | 51778 9 | 769 | 660 1263.37/1263.84 c 1263s | 17 | 3600228 | 261432 | 51778 9 | 769 | 660 1265.68/1266.14 c 1265s | 17 | 3601918 | 261632 | 51778 9 | 769 | 660 1268.27/1268.79 c 1268s | 17 | 3602283 | 261732 | 51778 9 | 769 | 660 1270.37/1270.81 c 1270s | 17 | 3606178 | 262032 | 51778 9 | 769 | 660 1272.56/1273.07 c 1272s | 17 | 3610039 | 262332 | 51778 9 | 769 | 660 1274.96/1275.49 c 1274s | 17 | 3614947 | 262732 | 51778 9 | 769 | 660 1277.36/1277.88 c 1277s | 17 | 3617882 | 263032 | 51778 9 | 769 | 660 1279.66/1280.15 c 1279s | 17 | 3620745 | 263332 | 51778 9 | 769 | 660 1281.85/1282.36 c 1281s | 17 | 3622459 | 263632 | 51778 9 | 769 | 660 1284.05/1284.55 c 1284s | 17 | 3623720 | 264032 | 51778 9 | 769 | 660 1286.95/1287.46 c 1286s | 17 | 3627154 | 264432 | 51778 9 | 769 | 660 1289.05/1289.57 c 1289s | 17 | 3627989 | 264632 | 51778 9 | 769 | 660 1291.25/1291.74 c 1291s | 17 | 3629043 | 264832 | 51778 9 | 769 | 660 1293.75/1294.27 c 1293s | 17 | 3630595 | 265132 | 51778 9 | 769 | 660 1296.95/1297.46 c 1296s | 17 | 3632211 | 265332 | 51778 9 | 769 | 660 1299.15/1299.62 c 1299s | 17 | 3632783 | 265432 | 51778 9 | 769 | 660 1303.05/1303.54 c 1302s | 17 | 3633136 | 265532 | 51778 9 | 769 | 660 1305.74/1306.21 c 1305s | 17 | 3635325 | 265832 | 51778 9 | 769 | 660 1308.34/1308.84 c 1308s | 17 | 3637569 | 266132 | 51778 9 | 769 | 660 1310.44/1310.91 c 1310s | 17 | 3638448 | 266332 | 51778 9 | 769 | 660 1312.84/1313.30 c 1312s | 17 | 3639129 | 266532 | 51778 9 | 769 | 660 1314.94/1315.43 c 1314s | 17 | 3639359 | 266632 | 51778 9 | 769 | 660 1318.73/1319.26 c 1318s | 17 | 3639843 | 266832 | 51778 9 | 769 | 660 1320.74/1321.30 c 1320s | 17 | 3640834 | 267132 | 51778 9 | 769 | 660 1323.33/1323.82 c 1323s | 17 | 3641888 | 267432 | 51778 9 | 769 | 660 1325.83/1326.35 c 1325s | 17 | 3644312 | 267632 | 51778 9 | 769 | 660 1329.03/1329.56 c 1329s | 17 | 3645773 | 267832 | 51778 9 | 769 | 660 1331.42/1331.95 c 1331s | 17 | 3645958 | 267932 | 51778 9 | 769 | 660 1334.42/1334.92 c 1334s | 17 | 3646084 | 268032 | 51778 9 | 769 | 660 1337.32/1337.83 c 1337s | 17 | 3646503 | 268132 | 51778 9 | 769 | 660 1341.22/1341.74 c 1341s | 17 | 3647628 | 268332 | 51778 9 | 769 | 660 1343.52/1344.05 c 1343s | 17 | 3648264 | 268432 | 51778 9 | 769 | 660 1346.42/1346.91 c 1346s | 17 | 3648618 | 268532 | 51778 9 | 769 | 660 1349.22/1349.76 c 1349s | 17 | 3649238 | 268632 | 51778 10 | 769 | 660 1351.42/1351.98 c 1351s | 17 | 3651680 | 268932 | 51778 10 | 769 | 660 1353.91/1354.44 c 1353s | 17 | 3654836 | 269332 | 51778 10 | 769 | 660 1356.61/1357.18 c 1356s | 17 | 3656490 | 269532 | 51778 10 | 769 | 660 1358.81/1359.39 c 1358s | 17 | 3659606 | 269832 | 51778 10 | 769 | 660 1360.91/1361.41 c 1360s | 17 | 3660654 | 270032 | 51778 10 | 769 | 660 1362.91/1363.48 c 1362s | 17 | 3661766 | 270232 | 51778 10 | 769 | 660 1365.41/1365.90 c 1365s | 17 | 3662654 | 270432 | 51778 10 | 769 | 660 1367.81/1368.33 c 1367s | 17 | 3664717 | 270632 | 51778 10 | 769 | 660 1370.71/1371.24 c 1370s | 17 | 3666899 | 270932 | 51778 10 | 769 | 660 1373.81/1374.35 c 1373s | 17 | 3668341 | 271232 | 51778 10 | 769 | 660 1376.01/1376.59 c 1376s | 17 | 3669778 | 271432 | 51778 10 | 769 | 660 1378.80/1379.32 c 1378s | 17 | 3670437 | 271632 | 51778 10 | 769 | 660 1383.21/1383.79 c 1383s | 17 | 3670964 | 271832 | 51778 10 | 769 | 660 1385.62/1386.15 c 1385s | 17 | 3673145 | 272132 | 51778 10 | 769 | 660 1388.21/1388.79 c 1388s | 17 | 3673879 | 272332 | 51778 10 | 769 | 660 1390.81/1391.36 c 1390s | 17 | 3675481 | 272632 | 51778 10 | 769 | 660 1393.51/1394.09 c 1393s | 17 | 3676029 | 272832 | 51778 10 | 769 | 660 1397.51/1398.08 c 1397s | 17 | 3677026 | 273132 | 51778 10 | 769 | 660 1400.21/1400.74 c 1400s | 17 | 3677435 | 273332 | 51778 10 | 769 | 660 1404.11/1404.63 c 1404s | 17 | 3677906 | 273532 | 51778 10 | 769 | 660 1406.51/1407.03 c 1406s | 17 | 3678127 | 273632 | 51778 10 | 769 | 660 1409.50/1410.06 c 1409s | 17 | 3679860 | 273932 | 51778 10 | 769 | 660 1412.20/1412.72 c 1412s | 17 | 3681755 | 274232 | 51778 10 | 769 | 660 1415.60/1416.17 c 1415s | 17 | 3683590 | 274432 | 51778 10 | 769 | 660 1417.80/1418.36 c 1417s | 17 | 3684687 | 274632 | 51778 10 | 769 | 660 1420.90/1421.41 c 1420s | 17 | 3685197 | 274832 | 51778 10 | 769 | 660 1424.50/1425.04 c 1424s | 17 | 3685934 | 275032 | 51778 10 | 769 | 660 1428.10/1428.66 c 1428s | 17 | 3686731 | 275232 | 51778 10 | 769 | 660 1430.40/1430.90 c 1430s | 17 | 3686949 | 275332 | 51778 10 | 769 | 660 1434.00/1434.57 c 1434s | 17 | 3687341 | 275432 | 51778 10 | 769 | 660 1436.70/1437.25 c 1436s | 17 | 3687562 | 275532 | 51778 10 | 769 | 660 1439.10/1439.68 c 1439s | 17 | 3687729 | 275632 | 51778 10 | 769 | 660 1441.30/1441.89 c 1441s | 17 | 3688300 | 275732 | 51778 10 | 769 | 660 1445.30/1445.86 c 1445s | 17 | 3689020 | 275932 | 51778 10 | 769 | 660 1449.90/1450.45 c 1449s | 17 | 3689679 | 276132 | 51778 10 | 769 | 660 1452.90/1453.43 c 1452s | 17 | 3689897 | 276232 | 51778 10 | 769 | 660 1455.30/1455.82 c 1455s | 17 | 3690065 | 276332 | 51778 10 | 769 | 660 1457.70/1458.24 c 1457s | 17 | 3690466 | 276432 | 51778 10 | 769 | 660 1460.10/1460.61 c 1460s | 17 | 3690775 | 276532 | 51778 10 | 769 | 660 1464.71/1465.28 c 1464s | 17 | 3691071 | 276632 | 51778 10 | 769 | 660 1467.50/1468.02 c 1467s | 17 | 3691783 | 276732 | 51778 10 | 769 | 660 1469.60/1470.16 c 1469s | 17 | 3692221 | 276832 | 51778 10 | 769 | 660 1473.40/1473.92 c 1473s | 17 | 3692836 | 277032 | 51778 10 | 769 | 660 1475.50/1476.05 c 1475s | 17 | 3693156 | 277132 | 51778 10 | 769 | 660 1477.50/1478.06 c 1477s | 17 | 3693563 | 277232 | 51778 10 | 769 | 660 1479.80/1480.38 c 1479s | 17 | 3694203 | 277332 | 51778 10 | 769 | 660 1482.79/1483.39 c 1482s | 17 | 3694640 | 277432 | 51778 10 | 769 | 660 1487.59/1488.19 c 1487s | 17 | 3695355 | 277632 | 51778 10 | 769 | 660 1490.99/1491.54 c 1490s | 17 | 3695614 | 277732 | 51778 10 | 769 | 660 1493.89/1494.42 c 1493s | 17 | 3696396 | 277932 | 51778 10 | 769 | 660 1496.19/1496.76 c 1496s | 17 | 3696855 | 278032 | 51778 10 | 769 | 660 1498.49/1499.01 c 1498s | 17 | 3697139 | 278132 | 51778 10 | 769 | 660 1500.59/1501.19 c 1500s | 17 | 3697365 | 278232 | 51778 10 | 769 | 660 1502.89/1503.46 c 1502s | 17 | 3697653 | 278332 | 51778 10 | 769 | 660 1505.40/1505.98 c 1505s | 17 | 3697989 | 278432 | 51778 10 | 769 | 660 1507.49/1508.10 c 1507s | 17 | 3698137 | 278532 | 51778 10 | 769 | 660 1509.58/1510.18 c 1509s | 17 | 3698598 | 278632 | 51778 10 | 769 | 660 1513.88/1514.47 c 1513s | 17 | 3698928 | 278732 | 51778 10 | 769 | 660 1516.69/1517.22 c 1516s | 17 | 3699192 | 278832 | 51778 10 | 769 | 660 1518.89/1519.42 c 1518s | 17 | 3701285 | 279032 | 51778 10 | 769 | 660 1522.09/1522.67 c 1522s | 17 | 3702513 | 279232 | 51778 10 | 769 | 660 1524.59/1525.16 c 1524s | 17 | 3702761 | 279332 | 51778 10 | 769 | 660 1526.89/1527.44 c 1526s | 17 | 3703063 | 279432 | 51778 10 | 769 | 660 1531.19/1531.72 c 1531s | 17 | 3703808 | 279632 | 51778 10 | 769 | 660 1534.09/1534.62 c 1534s | 17 | 3704171 | 279732 | 51778 10 | 769 | 660 1537.29/1537.81 c 1537s | 17 | 3704544 | 279832 | 51778 10 | 769 | 660 1540.09/1540.69 c 1540s | 17 | 3704920 | 279932 | 51778 10 | 769 | 660 1543.19/1543.75 c 1543s | 17 | 3705189 | 280032 | 51778 10 | 769 | 660 1546.78/1547.37 c 1546s | 17 | 3705426 | 280132 | 51778 10 | 769 | 660 1549.49/1550.01 c 1549s | 17 | 3705709 | 280232 | 51778 10 | 769 | 660 1552.88/1553.45 c 1552s | 17 | 3706107 | 280332 | 51778 10 | 769 | 660 1555.88/1556.45 c 1555s | 17 | 3706332 | 280432 | 51778 10 | 769 | 660 1559.68/1560.26 c 1559s | 17 | 3707151 | 280632 | 51778 10 | 769 | 660 1563.18/1563.72 c 1563s | 17 | 3708044 | 280832 | 51778 10 | 769 | 660 1565.88/1566.44 c 1565s | 17 | 3708960 | 281032 | 51778 10 | 769 | 660 1569.38/1569.92 c 1569s | 17 | 3709614 | 281232 | 51778 10 | 769 | 660 1571.98/1572.57 c 1572s | 17 | 3709894 | 281332 | 51778 10 | 769 | 660 1575.58/1576.16 c 1575s | 17 | 3710161 | 281432 | 51778 10 | 769 | 660 1577.78/1578.36 c 1577s | 17 | 3710481 | 281532 | 51778 10 | 769 | 660 1580.88/1581.41 c 1580s | 17 | 3710733 | 281632 | 51778 10 | 769 | 660 1583.59/1584.12 c 1583s | 17 | 3711265 | 281732 | 51778 10 | 769 | 660 1586.58/1587.16 c 1586s | 17 | 3711630 | 281832 | 51778 10 | 769 | 660 1588.88/1589.49 c 1588s | 17 | 3712041 | 281932 | 51778 10 | 769 | 660 1591.78/1592.34 c 1591s | 17 | 3712375 | 282032 | 51778 10 | 769 | 660 1594.98/1595.58 c 1595s | 17 | 3712603 | 282132 | 51778 10 | 769 | 660 1599.08/1599.63 c 1599s | 17 | 3712770 | 282232 | 51778 10 | 769 | 660 1602.98/1603.54 c 1602s | 17 | 3713002 | 282332 | 51778 10 | 769 | 660 1606.18/1606.71 c 1606s | 17 | 3713160 | 282432 | 51778 10 | 769 | 660 1609.17/1609.76 c 1609s | 17 | 3713503 | 282532 | 51778 10 | 769 | 660 1612.77/1613.39 c 1612s | 17 | 3715173 | 282732 | 51778 10 | 769 | 660 1616.98/1617.52 c 1616s | 17 | 3716509 | 282832 | 51778 10 | 769 | 660 1619.18/1619.73 c 1619s | 17 | 3717170 | 282932 | 51778 10 | 769 | 660 1622.08/1622.64 c 1622s | 17 | 3718617 | 283132 | 51778 10 | 769 | 660 1625.97/1626.52 c 1625s | 17 | 3719633 | 283332 | 51778 10 | 769 | 660 1629.57/1630.18 c 1629s | 17 | 3720272 | 283532 | 51778 10 | 769 | 660 1631.88/1632.42 c 1631s | 17 | 3724499 | 283832 | 51778 10 | 769 | 660 1634.57/1635.10 c 1634s | 17 | 3729067 | 284232 | 51778 10 | 769 | 660 1636.87/1637.43 c 1636s | 17 | 3730723 | 284532 | 51778 10 | 769 | 660 1639.17/1639.77 c 1639s | 17 | 3735341 | 285032 | 51778 10 | 769 | 660 1641.57/1642.13 c 1641s | 17 | 3739849 | 285432 | 51778 10 | 769 | 660 1643.97/1644.60 c 1644s | 17 | 3746664 | 286032 | 51778 10 | 769 | 660 1646.57/1647.14 c 1646s | 17 | 3752104 | 286432 | 51778 10 | 769 | 660 1648.97/1649.54 c 1648s | 17 | 3756002 | 286932 | 51778 10 | 769 | 660 1652.17/1652.76 c 1652s | 17 | 3758552 | 287232 | 51778 10 | 769 | 660 1654.47/1655.05 c 1654s | 17 | 3763349 | 287632 | 51778 10 | 769 | 660 1657.37/1657.90 c 1657s | 17 | 3763971 | 287932 | 51778 10 | 769 | 660 1659.37/1660.00 c 1659s | 17 | 3764840 | 288132 | 51778 10 | 769 | 660 1662.36/1662.92 c 1662s | 17 | 3766165 | 288432 | 51778 10 | 769 | 660 1664.88/1665.44 c 1664s | 17 | 3769206 | 288832 | 51778 10 | 769 | 660 1667.27/1667.89 c 1667s | 17 | 3772967 | 289132 | 51778 10 | 769 | 660 1669.97/1670.58 c 1670s | 17 | 3776630 | 289532 | 51778 10 | 769 | 660 1672.47/1673.04 c 1672s | 17 | 3780770 | 289932 | 51778 10 | 769 | 660 1674.57/1675.10 c 1674s | 17 | 3782174 | 290232 | 51778 10 | 769 | 660 1676.67/1677.20 c 1676s | 17 | 3785557 | 290532 | 51778 10 | 769 | 660 1679.07/1679.60 c 1679s | 17 | 3788939 | 290932 | 51778 10 | 769 | 660 1681.06/1681.69 c 1681s | 17 | 3791153 | 291232 | 51778 10 | 769 | 660 1683.86/1684.48 c 1683s | 17 | 3793805 | 291632 | 51778 10 | 769 | 660 1686.66/1687.20 c 1686s | 17 | 3796870 | 292032 | 51778 10 | 769 | 660 1688.66/1689.29 c 1688s | 17 | 3798455 | 292232 | 51778 10 | 769 | 660 1690.76/1691.38 c 1690s | 17 | 3799234 | 292432 | 51778 10 | 769 | 660 1693.06/1693.63 c 1693s | 17 | 3801242 | 292632 | 51778 10 | 769 | 660 1695.86/1696.44 c 1695s | 17 | 3803781 | 293032 | 51778 10 | 769 | 660 1697.97/1698.58 c 1698s | 17 | 3804694 | 293232 | 51778 10 | 769 | 660 1700.56/1701.11 c 1700s | 17 | 3805654 | 293432 | 51778 10 | 769 | 660 1704.06/1704.63 c 1704s | 17 | 3806302 | 293632 | 51778 10 | 769 | 660 1706.06/1706.66 c 1706s | 17 | 3806616 | 293732 | 51778 10 | 769 | 660 1708.36/1708.92 c 1708s | 17 | 3806855 | 293832 | 51778 10 | 769 | 660 1710.46/1711.03 c 1710s | 17 | 3807500 | 294032 | 51778 10 | 769 | 660 1715.26/1715.86 c 1715s | 17 | 3807997 | 294132 | 51778 10 | 769 | 660 1718.65/1719.22 c 1718s | 17 | 3808285 | 294232 | 56956 10 | 769 | 660 1722.55/1723.11 c 1722s | 17 | 3809179 | 294432 | 56956 10 | 769 | 660 1725.26/1725.88 c 1725s | 17 | 3809607 | 294632 | 56956 10 | 769 | 660 1727.67/1728.21 c 1727s | 17 | 3810507 | 294832 | 56956 10 | 769 | 660 1730.46/1731.08 c 1730s | 17 | 3811043 | 295032 | 56956 10 | 769 | 660 1733.36/1733.99 c 1733s | 17 | 3811469 | 295132 | 56956 10 | 769 | 660 1736.46/1737.03 c 1736s | 17 | 3811864 | 295232 | 56956 10 | 769 | 660 1738.56/1739.18 c 1738s | 17 | 3812437 | 295332 | 56956 10 | 769 | 660 1742.05/1742.63 c 1742s | 17 | 3812770 | 295432 | 56956 10 | 769 | 660 1745.95/1746.59 c 1746s | 17 | 3813063 | 295532 | 56956 10 | 769 | 660 1751.15/1751.71 c 1751s | 17 | 3813239 | 295632 | 56956 10 | 769 | 660 1753.85/1754.48 c 1753s | 17 | 3813639 | 295732 | 56956 10 | 769 | 660 1756.65/1757.29 c 1756s | 17 | 3814968 | 295932 | 56956 10 | 769 | 660 1760.05/1760.65 c 1760s | 17 | 3816548 | 296132 | 56956 10 | 769 | 660 1763.05/1763.60 c 1763s | 17 | 3817035 | 296232 | 56956 10 | 769 | 660 1764.35/1764.95 c 1764s | 18 | 3817176 | 296252 | 56956 10 | 769 | 660 1766.35/1766.99 c 1766s | 18 | 3821914 | 296452 | 56956 10 | 769 | 660 1768.85/1769.47 c 1768s | 18 | 3831640 | 296852 | 56956 10 | 769 | 660 1771.65/1772.22 c 1771s | 18 | 3843322 | 297252 | 56956 10 | 769 | 660 1773.65/1774.28 c 1773s | 18 | 3848644 | 297452 | 56956 10 | 769 | 660 1776.65/1777.21 c 1776s | 18 | 3852718 | 297752 | 56956 10 | 769 | 660 1778.64/1779.24 c 1778s | 18 | 3854546 | 298052 | 56956 10 | 769 | 660 1780.84/1781.49 c 1780s | 18 | 3863963 | 298352 | 56956 10 | 769 | 660 1783.04/1783.65 c 1783s | 18 | 3868753 | 298752 | 56956 10 | 769 | 660 1785.54/1786.12 c 1785s | 18 | 3872958 | 299052 | 56956 10 | 769 | 660 1788.34/1788.96 c 1788s | 18 | 3877652 | 299452 | 56956 10 | 769 | 660 1790.54/1791.11 c 1790s | 18 | 3882502 | 300052 | 56956 10 | 769 | 660 1794.24/1794.86 c 1794s | 18 | 3884195 | 300252 | 56956 11 | 769 | 660 1796.54/1797.15 c 1796s | 18 | 3893135 | 300652 | 56956 11 | 769 | 660 1799.24/1799.87 c 1799s | 18 | 3898686 | 301252 | 56956 11 | 769 | 660
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-4078893-1465284167/watcher-4078893-1465284167 -o /tmp/evaluation-result-4078893-1465284167/solver-4078893-1465284167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078893-1465284167.opb pid=3965 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.16 2.11 3/179 3968 /proc/meminfo: memFree=30081600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 4 0 110349254 246870016 1685 33554432000 4194304 16246674 140737040766912 140737040766336 4221105 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3968/statm: 60271 1687 441 2943 0 57165 0 [pid=3968/tid=3969] ppid=3965 vsize=255420 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 261550080 1739 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=259516 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 265744384 1757 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=263612 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 269938688 1773 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.12 2.16 2.11 3/179 3968 /proc/meminfo: memFree=30081600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 26406 0 0 0 5 4 0 0 20 0 4 0 110349254 1333334016 27217 33554432000 4194304 16246674 140737040766912 140737040766224 7368729 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3968/statm: 325521 27235 800 2943 0 322415 0 [pid=3968/tid=3969] ppid=3965 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1333334016 27246 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1333334016 27258 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1333334016 27268 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200545 s] /proc/loadavg: 2.12 2.16 2.11 3/179 3968 /proc/meminfo: memFree=30081600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 44637 0 0 0 12 7 0 0 20 0 4 0 110349254 1344868352 45958 33554432000 4194304 16246674 140737040766912 140737040749904 7377736 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3968/statm: 328337 45958 801 2943 0 325231 0 [pid=3968/tid=3969] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 45958 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 45958 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 45958 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300506 s] /proc/loadavg: 2.12 2.16 2.11 3/179 3968 /proc/meminfo: memFree=30081600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 44718 0 0 0 22 7 0 0 20 0 4 0 110349254 1344868352 46039 33554432000 4194304 16246674 140737040766912 140737040748800 6939236 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328337 46039 833 2943 0 325231 0 [pid=3968/tid=3969] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 46039 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 46039 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 46039 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700421 s] /proc/loadavg: 2.12 2.16 2.11 3/179 3968 /proc/meminfo: memFree=30081600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1313348 CPUtime=0.68 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 114135 0 0 0 51 17 0 0 20 0 4 0 110349254 1344868352 115456 33554432000 4194304 16246674 140737040766912 140737040748800 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328337 115460 876 2943 0 325231 0 [pid=3968/tid=3969] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 115462 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 115464 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 115466 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.12 2.16 2.11 3/183 3972 /proc/meminfo: memFree=29447752/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1313348 CPUtime=1.48 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 221306 0 0 0 115 33 0 0 20 0 4 0 110349254 1344868352 222627 33554432000 4194304 16246674 140737040766912 140737040748800 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328337 222634 876 2943 0 325231 0 [pid=3968/tid=3969] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 222638 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 222641 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1344868352 222644 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.12 2.16 2.11 3/183 3972 /proc/meminfo: memFree=29011796/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=3.08 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 266520 0 0 0 268 40 0 0 20 0 4 0 110349254 1345916928 267841 33554432000 4194304 16246674 140737040766912 140737040748800 5754764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 267841 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 267841 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 267841 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 267841 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1314372 [startup+6.30043 s] /proc/loadavg: 2.11 2.16 2.11 3/183 3972 /proc/meminfo: memFree=29001012/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=6.29 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269264 0 0 0 588 41 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 140737040748800 12483532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 270585 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.10 2.15 2.10 3/183 3972 /proc/meminfo: memFree=29001508/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=12.68 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269264 0 0 0 1227 41 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 140737040748800 12483562 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 270585 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.15 2.16 2.11 3/183 3972 /proc/meminfo: memFree=29001580/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=25.48 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269264 0 0 0 2507 41 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 140737040748800 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 270585 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.18 2.16 2.11 3/183 3972 /proc/meminfo: memFree=29001800/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269264 0 0 0 5066 42 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 140737040748800 5662136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 270585 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.18 2.17 2.11 4/183 3974 /proc/meminfo: memFree=29001648/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269264 0 0 0 10186 42 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 140737040748800 5523416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328593 270585 885 2943 0 325487 0 [pid=3968/tid=3969] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1345916928 270585 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1346965504 270845 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1315396 [startup+1302.3 s] /proc/loadavg: 2.19 2.16 2.13 3/183 4003 /proc/meminfo: memFree=28996872/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1315396 CPUtime=1301.85 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 269880 0 0 0 130125 60 0 0 20 0 4 0 110349254 1346965504 270845 33554432000 4194304 16246674 140737040766912 140737040748800 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 328849 270845 886 2943 0 325743 0 [pid=3968/tid=3969] ppid=3965 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1346965504 270845 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1346965504 270845 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1346965504 270845 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.11 2.14 2.13 3/183 4005 /proc/meminfo: memFree=28995236/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1361.81 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 136121 60 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040764864 5722849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.14 2.14 2.12 3/183 4006 /proc/meminfo: memFree=28995424/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1421.81 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 142120 61 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 12478276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.13 2.14 2.12 3/183 4007 /proc/meminfo: memFree=28995180/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1481.79 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 148117 62 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 6842475 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.09 2.13 2.12 3/182 4008 /proc/meminfo: memFree=28992536/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1541.79 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 154116 63 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.13 2.13 2.12 3/183 4010 /proc/meminfo: memFree=28992224/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1601.78 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 160114 64 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.15 2.14 2.12 3/184 4015 /proc/meminfo: memFree=28992048/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1661.76 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 166111 65 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 12477791 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.05 2.11 2.10 3/183 4016 /proc/meminfo: memFree=28991804/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1721.75 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 172109 66 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 2.16 2.13 2.11 3/183 4017 /proc/meminfo: memFree=28990752/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1781.74 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270455 0 0 0 178107 67 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 140737040748800 5823455 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271386 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271386 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.12 2.12 2.10 3/183 4066 /proc/meminfo: memFree=28974600/32872528 swapFree=12328/568296 [pid=3968] ppid=3965 vsize=1318468 CPUtime=1800.04 cores=1,3,5,7 /proc/3968/stat : 3968 (toysat) R 3965 3968 3396 0 -1 4202496 270682 0 0 0 179937 67 0 0 20 0 4 0 110349254 1350111232 271613 33554432000 4194304 16246674 140737040766912 140737040748800 12483674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3968/statm: 329617 271613 886 2943 0 326511 0 [pid=3968/tid=3969] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3969/stat : 3969 (toysat) S 3965 3968 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271613 33554432000 4194304 16246674 140737040766912 139932744002800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3968/tid=3970] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3970/stat : 3970 (toysat) S 3965 3968 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271613 33554432000 4194304 16246674 140737040766912 139932733512944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3968/tid=3971] ppid=3965 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/3968/task/3971/stat : 3971 (toysat) S 3965 3968 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110349254 1350111232 271613 33554432000 4194304 16246674 140737040766912 139932651744432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1318468 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 3968 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.06 CPU user time (s): 1799.38 CPU system time (s): 0.677896 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.677896 maximum resident set size= 1086452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270682 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= 408 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56131 second user time and 6.96994 second system time The end
Begin job on node138 at 2016-06-07 09:22:47 IDJOB=4078893 IDBENCH=90142 IDSOLVER=2542 FILE ID=node138/4078893-1465284167 RUNJOBID= node138-1465278758-3413 PBS_JOBID= 19843315 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K128.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078893-1465284167/watcher-4078893-1465284167 -o /tmp/evaluation-result-4078893-1465284167/solver-4078893-1465284167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078893-1465284167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 17c4ca9a6493665b57c1ccd2ab23e03d RANDOM SEED=831093607 node138.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.807 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.61 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.807 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.56 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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 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.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 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.807 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.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30081912 kB Buffers: 106080 kB Cached: 252688 kB SwapCached: 46740 kB Active: 1217712 kB Inactive: 266544 kB Active(anon): 1080048 kB Inactive(anon): 47688 kB Active(file): 137664 kB Inactive(file): 218856 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053656 kB Dirty: 35300 kB Writeback: 0 kB AnonPages: 1732104 kB Mapped: 11752 kB Shmem: 0 kB Slab: 603472 kB SReclaimable: 46520 kB SUnreclaim: 556952 kB KernelStack: 1520 kB PageTables: 7324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1793380 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 645120 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= 71712 MiB End job on node138 at 2016-06-07 09:52:48