| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K139.opb |
| MD5SUM | 76516381ba4bc043f2da87444e256707 |
| 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 | 16541 |
| Total number of constraints | 16821 |
| Number of constraints which are clauses | 16682 |
| Number of constraints which are cardinality constraints (but not clauses) | 139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 139 |
| 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 | 140 |
| 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:37:51+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-4078899-1465285070.opb"] 0.00/0.01 c use --random-gen="2085788118 583082179 4091589889 2085432923 617319852 2992233159 2657028106 3206852797 3534040168 1769448455 824614866 1834023759 1270464823 2452050474 1116704963 2192764293 3651701314 967701669 2100545368 273345419 359459731 1388172324 2068719794 3746363329 4069313899 1557555531 3587580632 683824841 3475909419 1039867202 2063858613 3929864183 2854054455 316705317 1738272190 790007051 2651972680 2615130236 4074389915 284247270 4175661924 3474776519 3407049803 311935651 3871963221 2751834793 1545607397 2927998572 3387835410 2597624911 3009403562 1448200802 2578461227 2958961256 1504064341 2445525591 1350907174 1094310343 1213224915 160178655 341411009 2873057705 1451440578 1592578010 3651286116 1578095737 2837767486 270738920 519799813 2792905386 1575169036 2265264608 3846072138 4116822670 1826022414 821610837 1258334239 3403470018 2144676581 3395210328 2327845634 437490588 3548703411 2663246412 3316731271 588797126 1165048961 2825400287 3108720182 3893921717 1371401760 352550896 3506851657 321485606 227909849 4109458571 3104485499 3731635197 4213951163 195063087 694017841 726103316 3982088646 3128018883 1601985623 479289149 4253433275 1340885229 3242594796 2846141541 579290912 1553708171 201652144 1854558764 2121323947 1622633764 2549932130 4064658557 2377152132 1689567450 4050897988 2710846098 2895512824 3929541915 1727894776 389304648 1605994297 3668361592 2678657428 1497078167 4187658187 1321174381 3702663401 4119850041 1323753270 1784182699 721269077 376528151 2331984310 1795438721 3679750872 3232588371 3166722503 2195709088 1218400809 1128868968 3267998134 1405577388 377028533 1084383291 282044201 1088317884 798235418 2544999557 1213565551 1369551990 1598596355 2715667140 69182742 1404221436 489063445 2647705440 3893486463 905315793 2618841857 2627674335 2719672049 2750974919 1347458429 4071873043 3595609419 2653363144 2514195223 2603785319 2617393913 3614450190 154847895 3215542318 327052723 4040004860 953779628 472983676 801993576 1157008498 2435418146 2310854976 285521119 3559527525 1875120755 1028699084 3892954114 4022470342 1861104541 4152283593 2005762548 2407649965 731257261 2820046506 3574372453 384917265 977720163 3259306966 3093890248 2918312758 3543845113 4291857505 4198695283 779043472 1691272577 3230591307 964680312 2671796182 2317383133 49560025 2120453394 548593969 3153741164 3397218081 589417225 3556324386 3832984239 2085768263 3345229606 2439645607 2355348914 3045919361 2812686863 3000594880 1729059313 4147576749 4169371214 2695699801 3287813157 3430436649 2117523758 2297346065 3320373834 3893394517 1479466933 3106626148 1494835320 439390897 658552544 2657247609 1848249555 1975732653 388455210 683193659 467056654 1936706241 1779934588 327080647 1041323480 3747939789 3714115420 54225223 255 362436" option to reproduce the execution 0.19/0.24 c #vars 16541 0.19/0.24 c #constraints 16821 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 11120 0 | 742 | 0 1.59/1.65 c 1.0s | 1 | 6120 | 100 | 11120 0 | 743 | 634 2.09/2.10 c 1.5s | 2 | 15189 | 250 | 12233 0 | 743 | 634 2.89/2.98 c 2.3s | 3 | 29526 | 475 | 13457 0 | 743 | 634 3.89/3.95 c 3.3s | 4 | 41074 | 813 | 14803 0 | 743 | 634 5.60/5.66 c 5.0s | 5 | 57546 | 1320 | 16284 0 | 744 | 635 7.70/7.72 c 7.1s | 6 | 85960 | 2081 | 19705 0 | 746 | 637 9.79/9.87 c 9.2s | 6 | 114839 | 2781 | 19705 0 | 750 | 641 10.79/10.89 c 10.3s | 7 | 129661 | 3223 | 21676 0 | 750 | 641 12.89/12.97 c 12.3s | 7 | 155709 | 4223 | 21676 0 | 750 | 641 14.49/14.52 c 13.9s | 8 | 170760 | 4936 | 23844 0 | 750 | 641 16.59/16.67 c 16.0s | 8 | 199435 | 5636 | 23844 0 | 752 | 643 18.69/18.76 c 18.1s | 8 | 222609 | 6436 | 23844 0 | 752 | 643 20.89/20.97 c 20.3s | 8 | 250047 | 7336 | 23844 0 | 753 | 644 21.19/21.29 c 20.7s | 9 | 252835 | 7506 | 26229 0 | 753 | 644 23.49/23.55 c 22.9s | 9 | 286646 | 8106 | 26229 0 | 753 | 644 25.59/25.62 c 25.0s | 9 | 313352 | 8906 | 26229 0 | 755 | 646 27.68/27.76 c 27.1s | 9 | 330827 | 9806 | 26229 0 | 755 | 646 29.79/29.87 c 29.2s | 9 | 335015 | 10506 | 26229 0 | 755 | 646 31.89/31.98 c 31.4s | 9 | 343718 | 11206 | 26229 0 | 755 | 646 32.48/32.51 c 31.9s | 10 | 347422 | 11361 | 28852 0 | 755 | 646 34.48/34.53 c 33.9s | 10 | 368305 | 11961 | 28852 0 | 756 | 647 36.58/36.61 c 36.0s | 10 | 387669 | 12761 | 28852 0 | 756 | 647 38.59/38.66 c 38.0s | 10 | 407819 | 13361 | 28852 0 | 758 | 649 40.58/40.68 c 40.1s | 10 | 418392 | 14061 | 28852 0 | 758 | 649 42.68/42.74 c 42.1s | 10 | 441135 | 14761 | 28852 0 | 758 | 649 44.88/44.99 c 44.4s | 10 | 466924 | 15461 | 28852 0 | 758 | 649 47.08/47.20 c 46.6s | 10 | 489162 | 16161 | 28852 0 | 759 | 650 49.38/49.47 c 48.8s | 10 | 513812 | 16861 | 28852 0 | 760 | 651 50.18/50.23 c 49.6s | 11 | 516353 | 17144 | 31738 0 | 760 | 651 52.28/52.34 c 51.7s | 11 | 533457 | 17744 | 31738 0 | 760 | 651 54.57/54.60 c 54.0s | 11 | 543164 | 18444 | 31738 0 | 760 | 651 56.57/56.64 c 56.0s | 11 | 559852 | 19044 | 31738 0 | 760 | 651 58.67/58.72 c 58.1s | 11 | 565973 | 19744 | 31738 0 | 760 | 651 60.87/60.96 c 60.3s | 11 | 569429 | 20444 | 31738 0 | 760 | 651 63.07/63.17 c 62.5s | 11 | 585650 | 21044 | 31738 0 | 760 | 651 65.27/65.39 c 64.8s | 11 | 596407 | 21944 | 31738 0 | 760 | 651 67.57/67.66 c 67.0s | 11 | 612406 | 22544 | 31738 0 | 760 | 651 69.87/69.98 c 69.4s | 11 | 625449 | 23344 | 31738 0 | 760 | 651 72.07/72.10 c 71.5s | 11 | 631647 | 24144 | 31738 0 | 760 | 651 74.27/74.32 c 73.7s | 11 | 633922 | 24744 | 31738 0 | 760 | 651 76.47/76.55 c 75.9s | 11 | 635870 | 25244 | 31738 0 | 760 | 651 78.78/78.83 c 78.2s | 11 | 638201 | 25744 | 34912 0 | 760 | 651 79.08/79.19 c 78.6s | 12 | 638575 | 25819 | 34912 0 | 760 | 651 81.27/81.39 c 80.8s | 12 | 653793 | 26419 | 34912 0 | 760 | 651 83.77/83.82 c 83.2s | 12 | 676509 | 27019 | 34912 0 | 761 | 652 86.07/86.12 c 85.5s | 12 | 697297 | 27719 | 34912 0 | 761 | 652 88.27/88.37 c 87.7s | 12 | 718038 | 28419 | 34912 0 | 761 | 652 90.37/90.41 c 89.8s | 12 | 729727 | 29119 | 34912 0 | 761 | 652 92.67/92.75 c 92.1s | 12 | 747351 | 29719 | 34912 0 | 761 | 652 94.87/94.98 c 94.3s | 12 | 760158 | 30419 | 34912 0 | 761 | 652 96.97/97.01 c 96.4s | 12 | 770974 | 31019 | 34912 0 | 761 | 652 99.17/99.28 c 98.6s | 12 | 786651 | 31719 | 34912 0 | 761 | 652 101.37/101.41 c 100s | 12 | 793948 | 32319 | 34912 0 | 761 | 652 103.38/103.48 c 102s | 12 | 803160 | 32919 | 34912 0 | 761 | 652 105.77/105.85 c 105s | 12 | 806322 | 33419 | 34912 0 | 761 | 652 107.87/107.95 c 107s | 12 | 815998 | 34219 | 34912 0 | 761 | 652 110.17/110.26 c 109s | 12 | 826727 | 34919 | 34912 0 | 761 | 652 112.27/112.33 c 111s | 12 | 842096 | 35519 | 34912 0 | 761 | 652 114.47/114.55 c 113s | 12 | 854835 | 36219 | 34912 0 | 761 | 652 116.57/116.60 c 115s | 12 | 863148 | 36819 | 34912 0 | 761 | 652 118.67/118.70 c 118s | 12 | 875015 | 37119 | 34912 1 | 762 | 653 120.77/120.81 c 120s | 12 | 897790 | 37819 | 34912 1 | 762 | 653 122.87/122.97 c 122s | 12 | 913228 | 38619 | 38404 1 | 762 | 653 123.57/123.62 c 122s | 13 | 922953 | 38832 | 38404 1 | 762 | 653 125.76/125.82 c 125s | 13 | 941789 | 39432 | 38404 1 | 762 | 653 127.96/128.00 c 127s | 13 | 947695 | 40232 | 38404 1 | 762 | 653 130.46/130.52 c 129s | 13 | 950288 | 40832 | 38404 1 | 762 | 653 132.66/132.73 c 132s | 13 | 953162 | 41332 | 38404 1 | 762 | 653 134.96/135.03 c 134s | 13 | 957836 | 41932 | 38404 1 | 762 | 653 137.06/137.18 c 136s | 13 | 959784 | 42432 | 38404 1 | 762 | 653 139.37/139.49 c 138s | 13 | 961928 | 42832 | 38404 1 | 762 | 653 141.67/141.72 c 141s | 13 | 963373 | 43132 | 38404 1 | 762 | 653 144.37/144.44 c 143s | 13 | 965165 | 43532 | 38404 1 | 762 | 653 146.77/146.87 c 146s | 13 | 966518 | 43832 | 38404 1 | 762 | 653 149.27/149.36 c 148s | 13 | 967074 | 44032 | 38404 1 | 762 | 653 151.26/151.37 c 150s | 13 | 969588 | 44432 | 38404 1 | 762 | 653 153.56/153.68 c 153s | 13 | 970558 | 44732 | 38404 1 | 762 | 653 155.76/155.80 c 155s | 13 | 970936 | 44932 | 38404 1 | 762 | 653 157.96/158.00 c 157s | 13 | 972458 | 45232 | 38404 1 | 762 | 653 160.36/160.45 c 159s | 13 | 974667 | 45632 | 38404 1 | 762 | 653 162.66/162.73 c 162s | 13 | 976641 | 46032 | 38404 1 | 762 | 653 164.86/164.94 c 164s | 13 | 978387 | 46432 | 38404 1 | 762 | 653 167.46/167.52 c 166s | 13 | 980074 | 46832 | 38404 1 | 762 | 653 169.46/169.52 c 168s | 13 | 980608 | 47032 | 38404 1 | 762 | 653 172.96/173.10 c 172s | 13 | 981904 | 47332 | 38404 1 | 762 | 653 175.66/175.76 c 175s | 13 | 982403 | 47532 | 38404 1 | 762 | 653 178.66/178.71 c 178s | 13 | 982960 | 47732 | 38404 1 | 762 | 653 180.76/180.82 c 180s | 13 | 983658 | 47932 | 38404 1 | 762 | 653 183.26/183.32 c 182s | 13 | 984461 | 48132 | 38404 1 | 762 | 653 185.86/185.97 c 185s | 13 | 985069 | 48332 | 38404 1 | 762 | 653 187.96/188.03 c 187s | 13 | 988767 | 48732 | 38404 1 | 762 | 653 190.46/190.50 c 189s | 13 | 1003612 | 49232 | 38404 1 | 763 | 654 192.46/192.59 c 191s | 13 | 1014586 | 49932 | 38404 1 | 763 | 654 194.76/194.81 c 194s | 13 | 1031316 | 50332 | 38404 1 | 764 | 655 196.75/196.90 c 196s | 13 | 1046785 | 50732 | 38404 1 | 765 | 656 198.85/198.97 c 198s | 13 | 1053729 | 51332 | 38404 1 | 765 | 656 201.15/201.22 c 200s | 13 | 1069367 | 51932 | 38404 1 | 765 | 656 203.25/203.37 c 202s | 13 | 1079762 | 52432 | 38404 1 | 765 | 656 205.45/205.54 c 204s | 13 | 1100019 | 53032 | 38404 1 | 765 | 656 207.55/207.67 c 207s | 13 | 1110952 | 53532 | 38404 1 | 765 | 656 209.85/209.94 c 209s | 13 | 1128108 | 54232 | 38404 1 | 765 | 656 211.95/212.01 c 211s | 13 | 1130679 | 54632 | 38404 1 | 765 | 656 214.25/214.37 c 213s | 13 | 1139875 | 55032 | 38404 1 | 765 | 656 216.35/216.48 c 215s | 13 | 1152639 | 55532 | 38404 1 | 765 | 656 218.45/218.55 c 217s | 13 | 1164256 | 56032 | 38404 1 | 765 | 656 220.65/220.70 c 220s | 13 | 1179965 | 56532 | 38404 1 | 765 | 656 222.95/223.06 c 222s | 13 | 1192274 | 57232 | 38404 1 | 765 | 656 225.25/225.39 c 224s | 13 | 1203929 | 57732 | 38404 1 | 766 | 657 227.35/227.41 c 226s | 13 | 1220743 | 58332 | 42245 1 | 766 | 657 227.35/227.49 c 226s | 14 | 1221226 | 58352 | 42245 1 | 766 | 657 229.45/229.59 c 228s | 14 | 1232488 | 58652 | 42245 1 | 766 | 657 231.55/231.67 c 231s | 14 | 1249741 | 59152 | 42245 1 | 766 | 657 233.65/233.73 c 233s | 14 | 1254875 | 59752 | 42245 1 | 766 | 657 235.65/235.73 c 235s | 14 | 1257620 | 60352 | 42245 1 | 766 | 657 237.74/237.88 c 237s | 14 | 1268176 | 60952 | 42245 1 | 766 | 657 239.85/239.99 c 239s | 14 | 1277536 | 61552 | 42245 1 | 766 | 657 242.05/242.13 c 241s | 14 | 1282331 | 62152 | 42245 1 | 766 | 657 245.74/245.81 c 245s | 14 | 1290671 | 62652 | 42245 2 | 767 | 658 247.95/248.02 c 247s | 14 | 1293196 | 63352 | 42245 2 | 767 | 658 250.35/250.40 c 249s | 14 | 1295965 | 63952 | 42245 2 | 767 | 658 252.35/252.47 c 251s | 14 | 1298776 | 64452 | 42245 2 | 767 | 658 254.75/254.84 c 254s | 14 | 1300325 | 64852 | 42245 2 | 767 | 658 257.35/257.46 c 256s | 14 | 1301282 | 65152 | 42245 2 | 767 | 658 260.24/260.37 c 259s | 14 | 1302644 | 65552 | 42245 2 | 767 | 658 262.85/262.97 c 262s | 14 | 1303461 | 65752 | 42245 2 | 767 | 658 265.24/265.39 c 264s | 14 | 1304404 | 66052 | 42245 2 | 767 | 658 268.45/268.59 c 267s | 14 | 1305186 | 66352 | 42245 2 | 767 | 658 270.74/270.85 c 270s | 14 | 1306079 | 66552 | 42245 2 | 767 | 658 273.24/273.31 c 272s | 14 | 1306901 | 66752 | 42245 2 | 767 | 658 275.85/275.99 c 275s | 14 | 1307757 | 67052 | 42245 2 | 767 | 658 278.25/278.37 c 277s | 14 | 1308347 | 67252 | 42245 2 | 767 | 658 280.34/280.45 c 279s | 14 | 1309021 | 67452 | 42245 2 | 767 | 658 283.24/283.32 c 282s | 14 | 1310115 | 67752 | 42245 2 | 767 | 658 285.54/285.65 c 285s | 14 | 1310858 | 67952 | 42245 2 | 767 | 658 287.54/287.68 c 287s | 14 | 1311934 | 68152 | 42245 2 | 767 | 658 290.24/290.30 c 289s | 14 | 1312748 | 68452 | 42245 2 | 767 | 658 292.34/292.48 c 291s | 14 | 1317855 | 68852 | 42245 2 | 767 | 658 294.54/294.63 c 293s | 14 | 1340760 | 69452 | 42245 2 | 767 | 658 296.54/296.66 c 296s | 14 | 1355645 | 69852 | 42245 2 | 768 | 659 298.54/298.68 c 298s | 14 | 1366470 | 70552 | 42245 2 | 768 | 659 300.84/300.97 c 300s | 14 | 1378794 | 71252 | 42245 2 | 768 | 659 302.94/303.02 c 302s | 14 | 1395597 | 71752 | 42245 2 | 768 | 659 305.14/305.23 c 304s | 14 | 1408155 | 72452 | 42245 2 | 768 | 659 307.24/307.31 c 306s | 14 | 1418700 | 73152 | 42245 2 | 768 | 659 309.63/309.72 c 309s | 14 | 1436799 | 73852 | 42245 2 | 768 | 659 311.73/311.85 c 311s | 14 | 1446963 | 74452 | 42245 2 | 768 | 659 313.93/314.05 c 313s | 14 | 1460454 | 75152 | 42245 2 | 768 | 659 316.03/316.18 c 315s | 14 | 1469879 | 75852 | 42245 2 | 768 | 659 318.23/318.36 c 317s | 14 | 1487687 | 76452 | 42245 2 | 768 | 659 320.63/320.80 c 320s | 14 | 1505266 | 77052 | 42245 2 | 768 | 659 323.13/323.21 c 322s | 14 | 1518083 | 77652 | 42245 2 | 768 | 659 325.23/325.32 c 324s | 14 | 1539186 | 78252 | 42245 2 | 768 | 659 327.33/327.43 c 326s | 14 | 1555139 | 78852 | 42245 2 | 768 | 659 329.43/329.54 c 328s | 14 | 1568256 | 79352 | 42245 2 | 768 | 659 331.63/331.74 c 331s | 14 | 1581849 | 79952 | 42245 2 | 768 | 659 334.23/334.30 c 333s | 14 | 1592904 | 80552 | 42245 2 | 768 | 659 336.33/336.44 c 335s | 14 | 1609056 | 81152 | 42245 2 | 768 | 659 338.43/338.53 c 337s | 14 | 1628216 | 81652 | 42245 2 | 768 | 659 340.73/340.81 c 340s | 14 | 1643522 | 82252 | 42245 2 | 768 | 659 342.73/342.83 c 342s | 14 | 1657340 | 82752 | 42245 2 | 768 | 659 344.83/344.95 c 344s | 14 | 1669192 | 83352 | 42245 2 | 768 | 659 346.83/346.98 c 346s | 14 | 1677036 | 83852 | 42245 2 | 768 | 659 349.13/349.25 c 348s | 14 | 1690480 | 84452 | 42245 2 | 768 | 659 351.33/351.44 c 350s | 14 | 1704281 | 85052 | 42245 2 | 768 | 659 353.53/353.62 c 352s | 14 | 1708415 | 85152 | 42245 3 | 769 | 660 355.63/355.70 c 355s | 14 | 1723937 | 85852 | 42245 3 | 769 | 660 357.73/357.89 c 357s | 14 | 1737072 | 86452 | 42245 3 | 769 | 660 359.83/359.99 c 359s | 14 | 1752310 | 87052 | 46470 3 | 769 | 660 361.93/362.05 c 361s | 14 | 1762682 | 87552 | 46470 3 | 769 | 660 362.32/362.45 c 361s | 15 | 1763010 | 87632 | 46470 3 | 769 | 660 364.53/364.65 c 364s | 15 | 1772573 | 88232 | 46470 3 | 769 | 660 366.83/366.98 c 366s | 15 | 1777047 | 88832 | 46470 3 | 769 | 660 368.83/368.99 c 368s | 15 | 1787435 | 89332 | 46470 3 | 769 | 660 371.13/371.25 c 370s | 15 | 1799865 | 90032 | 46470 3 | 769 | 660 373.94/374.01 c 373s | 15 | 1806202 | 90632 | 46470 3 | 769 | 660 376.03/376.14 c 375s | 15 | 1808455 | 90932 | 46470 3 | 769 | 660 378.23/378.40 c 377s | 15 | 1812107 | 91332 | 46470 3 | 769 | 660 380.33/380.44 c 379s | 15 | 1819176 | 91832 | 46470 3 | 769 | 660 382.53/382.63 c 382s | 15 | 1828580 | 92432 | 46470 3 | 769 | 660 384.53/384.66 c 384s | 15 | 1837112 | 93032 | 46470 3 | 769 | 660 387.03/387.12 c 386s | 15 | 1839189 | 93332 | 46470 3 | 769 | 660 389.43/389.56 c 388s | 15 | 1840553 | 93632 | 46470 3 | 769 | 660 391.73/391.89 c 391s | 15 | 1841054 | 93832 | 46470 3 | 769 | 660 393.93/394.06 c 393s | 15 | 1841605 | 94032 | 46470 3 | 769 | 660 396.13/396.24 c 395s | 15 | 1842229 | 94232 | 46470 3 | 769 | 660 398.43/398.56 c 397s | 15 | 1847417 | 94732 | 46470 3 | 769 | 660 400.83/400.93 c 400s | 15 | 1855473 | 95332 | 46470 3 | 769 | 660 403.13/403.21 c 402s | 15 | 1856844 | 95632 | 46470 3 | 769 | 660 405.13/405.21 c 404s | 15 | 1858584 | 95932 | 46470 3 | 769 | 660 408.42/408.52 c 407s | 15 | 1859562 | 96232 | 46470 3 | 769 | 660 411.72/411.84 c 411s | 15 | 1859790 | 96332 | 46470 3 | 769 | 660 415.12/415.28 c 414s | 15 | 1860134 | 96432 | 46470 3 | 769 | 660 417.52/417.63 c 417s | 15 | 1860699 | 96532 | 46470 3 | 769 | 660 419.62/419.76 c 419s | 15 | 1861380 | 96732 | 46470 3 | 769 | 660 422.22/422.39 c 421s | 15 | 1862694 | 97032 | 46470 3 | 769 | 660 424.42/424.50 c 423s | 15 | 1867626 | 97432 | 46470 3 | 769 | 660 426.92/427.08 c 426s | 15 | 1873555 | 98032 | 46470 3 | 769 | 660 429.42/429.59 c 428s | 15 | 1874058 | 98232 | 46470 3 | 769 | 660 432.62/432.79 c 432s | 15 | 1874860 | 98432 | 46470 3 | 769 | 660 435.02/435.16 c 434s | 15 | 1877801 | 98732 | 46470 3 | 769 | 660 437.32/437.49 c 436s | 15 | 1882362 | 99132 | 46470 3 | 769 | 660 439.92/440.01 c 439s | 15 | 1885801 | 99532 | 46470 3 | 769 | 660 442.22/442.34 c 441s | 15 | 1891027 | 99932 | 46470 3 | 769 | 660 444.42/444.53 c 443s | 15 | 1893603 | 100232 | 46470 3 | 769 | 660 446.82/446.95 c 446s | 15 | 1894582 | 100532 | 46470 3 | 769 | 660 449.02/449.15 c 448s | 15 | 1895166 | 100732 | 46470 3 | 769 | 660 451.62/451.76 c 451s | 15 | 1896200 | 101032 | 46470 3 | 769 | 660 455.11/455.30 c 454s | 15 | 1897186 | 101332 | 46470 3 | 769 | 660 458.21/458.33 c 457s | 15 | 1897914 | 101532 | 46470 3 | 769 | 660 460.71/460.83 c 460s | 15 | 1899503 | 101832 | 46470 3 | 769 | 660 463.12/463.28 c 462s | 15 | 1901099 | 102132 | 46470 3 | 769 | 660 466.61/466.73 c 466s | 15 | 1902481 | 102432 | 46470 3 | 769 | 660 468.81/468.99 c 468s | 15 | 1903868 | 102632 | 46470 3 | 769 | 660 472.31/472.44 c 471s | 15 | 1904644 | 102832 | 46470 3 | 769 | 660 475.71/475.81 c 475s | 15 | 1905437 | 103032 | 46470 3 | 769 | 660 477.91/478.00 c 477s | 15 | 1905762 | 103132 | 46470 3 | 769 | 660 480.81/480.99 c 480s | 15 | 1907412 | 103432 | 46470 3 | 769 | 660 483.51/483.65 c 483s | 15 | 1908109 | 103632 | 46470 3 | 769 | 660 486.41/486.52 c 485s | 15 | 1909031 | 103832 | 46470 3 | 769 | 660 489.01/489.18 c 488s | 15 | 1910673 | 104032 | 46470 3 | 769 | 660 492.31/492.47 c 491s | 15 | 1913838 | 104332 | 46470 3 | 769 | 660 494.60/494.76 c 494s | 15 | 1915842 | 104632 | 46470 3 | 769 | 660 496.80/496.95 c 496s | 15 | 1916832 | 104832 | 46470 3 | 769 | 660 500.30/500.50 c 499s | 15 | 1917246 | 105032 | 46470 3 | 769 | 660 503.30/503.49 c 502s | 15 | 1917904 | 105232 | 46470 3 | 769 | 660 506.30/506.46 c 505s | 15 | 1918563 | 105432 | 46470 3 | 769 | 660 508.90/509.02 c 508s | 15 | 1919260 | 105632 | 46470 3 | 769 | 660 511.80/511.92 c 511s | 15 | 1920276 | 105932 | 46470 3 | 769 | 660 515.10/515.25 c 514s | 15 | 1920985 | 106132 | 46470 3 | 769 | 660 517.40/517.51 c 516s | 15 | 1924756 | 106332 | 46470 3 | 769 | 660 519.40/519.56 c 518s | 15 | 1941328 | 106832 | 46470 3 | 769 | 660 521.80/521.96 c 521s | 15 | 1952737 | 107332 | 46470 3 | 770 | 661 524.00/524.14 c 523s | 15 | 1969862 | 107932 | 46470 3 | 770 | 661 526.50/526.63 c 525s | 15 | 1980650 | 108532 | 46470 3 | 770 | 661 528.80/528.95 c 528s | 15 | 1991074 | 109332 | 46470 3 | 770 | 661 530.91/531.00 c 530s | 15 | 1996602 | 109832 | 46470 3 | 770 | 661 533.21/533.33 c 532s | 15 | 1998005 | 110232 | 46470 3 | 770 | 661 535.40/535.51 c 534s | 15 | 1999315 | 110532 | 46470 3 | 770 | 661 537.70/537.85 c 537s | 15 | 2001353 | 110832 | 46470 3 | 770 | 661 539.80/539.99 c 539s | 15 | 2004667 | 111332 | 46470 3 | 770 | 661 542.21/542.39 c 541s | 15 | 2011669 | 111932 | 46470 3 | 770 | 661 544.60/544.78 c 544s | 15 | 2014376 | 112332 | 46470 3 | 770 | 661 546.90/547.03 c 546s | 15 | 2018367 | 112832 | 46470 3 | 770 | 661 549.00/549.10 c 548s | 15 | 2025010 | 113332 | 46470 3 | 770 | 661 551.40/551.53 c 550s | 15 | 2027916 | 113832 | 46470 3 | 770 | 661 553.70/553.82 c 553s | 15 | 2037170 | 114432 | 46470 3 | 770 | 661 555.90/556.03 c 555s | 15 | 2043735 | 115032 | 46470 3 | 770 | 661 558.10/558.23 c 557s | 15 | 2049125 | 115532 | 46470 3 | 770 | 661 560.40/560.55 c 559s | 15 | 2054768 | 116132 | 46470 3 | 770 | 661 563.40/563.55 c 562s | 15 | 2061765 | 116632 | 46470 4 | 770 | 661 565.59/565.76 c 565s | 15 | 2067080 | 117032 | 46470 4 | 770 | 661 567.60/567.77 c 567s | 15 | 2067665 | 117232 | 46470 4 | 770 | 661 570.10/570.25 c 569s | 15 | 2068870 | 117632 | 46470 4 | 770 | 661 572.30/572.47 c 571s | 15 | 2074656 | 118132 | 46470 4 | 770 | 661 574.50/574.69 c 574s | 15 | 2080666 | 118632 | 46470 4 | 770 | 661 576.80/576.96 c 576s | 15 | 2085672 | 119232 | 46470 4 | 770 | 661 579.10/579.24 c 578s | 15 | 2088474 | 119732 | 46470 4 | 770 | 661 581.50/581.68 c 581s | 15 | 2093722 | 120232 | 46470 4 | 770 | 661 583.70/583.81 c 583s | 15 | 2095002 | 120632 | 46470 4 | 770 | 661 586.80/586.93 c 586s | 15 | 2096099 | 120932 | 46470 4 | 770 | 661 588.80/588.98 c 588s | 15 | 2098082 | 121232 | 46470 4 | 770 | 661 591.40/591.52 c 590s | 15 | 2100612 | 121732 | 46470 4 | 770 | 661 593.59/593.71 c 593s | 15 | 2105237 | 122332 | 46470 4 | 770 | 661 596.49/596.60 c 595s | 15 | 2108808 | 122832 | 46470 4 | 770 | 661 598.59/598.72 c 598s | 15 | 2114226 | 123432 | 46470 4 | 770 | 661 600.99/601.16 c 600s | 15 | 2118479 | 123932 | 46470 4 | 770 | 661 603.29/603.49 c 602s | 15 | 2120192 | 124332 | 46470 4 | 770 | 661 605.39/605.54 c 604s | 15 | 2121405 | 124632 | 46470 4 | 770 | 661 607.99/608.18 c 607s | 15 | 2123209 | 125032 | 46470 4 | 770 | 661 610.19/610.36 c 609s | 15 | 2124105 | 125232 | 46470 4 | 770 | 661 612.89/613.03 c 612s | 15 | 2124681 | 125532 | 46470 4 | 770 | 661 615.39/615.54 c 614s | 15 | 2125887 | 125832 | 46470 4 | 770 | 661 617.99/618.19 c 617s | 15 | 2127427 | 126232 | 46470 4 | 770 | 661 620.88/621.00 c 620s | 15 | 2129170 | 126632 | 46470 4 | 770 | 661 623.98/624.11 c 623s | 15 | 2130316 | 126932 | 46470 4 | 770 | 661 626.09/626.23 c 625s | 15 | 2131284 | 127232 | 46470 4 | 770 | 661 628.29/628.45 c 627s | 15 | 2136399 | 127832 | 46470 4 | 770 | 661 630.59/630.79 c 630s | 15 | 2141288 | 128332 | 46470 4 | 770 | 661 632.99/633.14 c 632s | 15 | 2145716 | 128932 | 46470 4 | 770 | 661 635.39/635.56 c 634s | 15 | 2148610 | 129432 | 46470 4 | 770 | 661 637.59/637.72 c 637s | 15 | 2149833 | 129732 | 46470 4 | 770 | 661 639.59/639.74 c 639s | 15 | 2151259 | 130032 | 46470 4 | 770 | 661 641.59/641.78 c 641s | 15 | 2151920 | 130232 | 46470 4 | 770 | 661 643.68/643.83 c 643s | 15 | 2154778 | 130632 | 46470 4 | 770 | 661 645.78/645.92 c 645s | 15 | 2159542 | 131132 | 51118 4 | 770 | 661 648.90/649.10 c 648s | 15 | 2160694 | 131532 | 51118 4 | 770 | 661 649.19/649.31 c 648s | 16 | 2160722 | 131552 | 51118 4 | 770 | 661 651.29/651.43 c 650s | 16 | 2174852 | 131852 | 51118 4 | 770 | 661 653.49/653.60 c 652s | 16 | 2190441 | 132352 | 51118 4 | 770 | 661 655.69/655.83 c 655s | 16 | 2209787 | 132852 | 51118 4 | 770 | 661 657.89/658.03 c 657s | 16 | 2218000 | 133352 | 51118 4 | 770 | 661 659.99/660.15 c 659s | 16 | 2226040 | 133852 | 51118 4 | 770 | 661 661.99/662.20 c 661s | 16 | 2231599 | 134052 | 51118 4 | 771 | 662 664.29/664.46 c 663s | 16 | 2240907 | 134652 | 51118 4 | 771 | 662 666.39/666.51 c 665s | 16 | 2252521 | 135352 | 51118 4 | 771 | 662 668.59/668.76 c 668s | 16 | 2265471 | 136052 | 51118 4 | 771 | 662 670.59/670.78 c 670s | 16 | 2276081 | 136552 | 51118 4 | 771 | 662 672.88/673.03 c 672s | 16 | 2285977 | 137152 | 51118 4 | 771 | 662 674.98/675.19 c 674s | 16 | 2295443 | 137652 | 51118 4 | 771 | 662 677.49/677.61 c 676s | 16 | 2299476 | 138052 | 51118 4 | 771 | 662 679.48/679.68 c 679s | 16 | 2307129 | 138552 | 51118 4 | 771 | 662 681.58/681.77 c 681s | 16 | 2315440 | 139052 | 51118 4 | 771 | 662 683.78/683.95 c 683s | 16 | 2323714 | 139552 | 51118 4 | 771 | 662 686.08/686.22 c 685s | 16 | 2333003 | 140052 | 51118 4 | 771 | 662 688.28/688.41 c 687s | 16 | 2338820 | 140652 | 51118 4 | 771 | 662 690.58/690.75 c 690s | 16 | 2348696 | 141252 | 51118 4 | 771 | 662 692.78/692.99 c 692s | 16 | 2354239 | 141752 | 51118 4 | 771 | 662 695.09/695.26 c 694s | 16 | 2362848 | 142252 | 51118 4 | 771 | 662 697.39/697.58 c 696s | 16 | 2373367 | 142752 | 51118 4 | 771 | 662 699.58/699.74 c 699s | 16 | 2378106 | 143352 | 51118 4 | 771 | 662 701.78/701.90 c 701s | 16 | 2380861 | 143852 | 51118 4 | 771 | 662 703.78/703.93 c 703s | 16 | 2388604 | 144252 | 51118 4 | 771 | 662 706.88/707.09 c 706s | 16 | 2399363 | 144552 | 51118 5 | 771 | 662 709.07/709.26 c 708s | 16 | 2409528 | 145152 | 51118 5 | 771 | 662 711.47/711.69 c 711s | 16 | 2417427 | 145952 | 51118 5 | 771 | 662 713.57/713.74 c 713s | 16 | 2426102 | 146452 | 51118 5 | 771 | 662 715.77/715.95 c 715s | 16 | 2434351 | 147152 | 51118 5 | 771 | 662 718.18/718.38 c 717s | 16 | 2447248 | 147652 | 51118 5 | 771 | 662 720.27/720.48 c 719s | 16 | 2459882 | 148252 | 51118 5 | 771 | 662 722.68/722.83 c 722s | 16 | 2472380 | 148952 | 51118 5 | 771 | 662 724.88/725.06 c 724s | 16 | 2476219 | 149452 | 51118 5 | 771 | 662 726.87/727.10 c 726s | 16 | 2493683 | 150052 | 51118 5 | 771 | 662 729.17/729.31 c 728s | 16 | 2497316 | 150652 | 51118 5 | 771 | 662 731.37/731.59 c 730s | 16 | 2506623 | 151352 | 51118 5 | 771 | 662 733.47/733.68 c 733s | 16 | 2509831 | 151852 | 51118 5 | 771 | 662 735.77/735.93 c 735s | 16 | 2521261 | 152352 | 51118 5 | 771 | 662 737.78/737.98 c 737s | 16 | 2534437 | 152852 | 51118 5 | 771 | 662 739.87/740.02 c 739s | 16 | 2536447 | 153252 | 51118 5 | 771 | 662 741.87/742.07 c 741s | 16 | 2537203 | 153452 | 51118 5 | 771 | 662 744.07/744.24 c 743s | 16 | 2544523 | 153952 | 51118 5 | 771 | 662 746.07/746.26 c 745s | 16 | 2552502 | 154652 | 51118 5 | 771 | 662 748.37/748.57 c 747s | 16 | 2565500 | 155352 | 51118 5 | 771 | 662 750.67/750.87 c 750s | 16 | 2579428 | 155952 | 51118 5 | 771 | 662 752.87/753.04 c 752s | 16 | 2596372 | 156452 | 51118 5 | 771 | 662 755.27/755.41 c 754s | 16 | 2599519 | 156952 | 51118 5 | 771 | 662 757.77/757.91 c 757s | 16 | 2601538 | 157352 | 51118 5 | 771 | 662 759.87/760.01 c 759s | 16 | 2613877 | 157852 | 51118 5 | 771 | 662 762.07/762.30 c 761s | 16 | 2623793 | 158452 | 51118 5 | 771 | 662 764.37/764.52 c 763s | 16 | 2631346 | 159052 | 51118 5 | 771 | 662 766.47/766.64 c 766s | 16 | 2639155 | 159452 | 51118 5 | 772 | 663 768.77/768.96 c 768s | 16 | 2653508 | 160152 | 51118 5 | 772 | 663 770.76/770.97 c 770s | 16 | 2666843 | 160652 | 51118 5 | 772 | 663 772.86/773.05 c 772s | 16 | 2683368 | 161152 | 51118 5 | 772 | 663 775.16/775.32 c 774s | 16 | 2688420 | 161752 | 51118 5 | 772 | 663 777.16/777.39 c 776s | 16 | 2696319 | 162152 | 51118 5 | 772 | 663 779.56/779.73 c 779s | 16 | 2704580 | 162752 | 51118 5 | 772 | 663 781.76/781.95 c 781s | 16 | 2719646 | 163152 | 51118 5 | 772 | 663 783.76/783.98 c 783s | 16 | 2724568 | 163652 | 51118 5 | 772 | 663 785.96/786.19 c 785s | 16 | 2730465 | 164252 | 51118 5 | 772 | 663 788.36/788.57 c 787s | 16 | 2741780 | 164852 | 51118 5 | 772 | 663 790.77/790.93 c 790s | 16 | 2755839 | 165352 | 51118 5 | 772 | 663 792.97/793.16 c 792s | 16 | 2767513 | 165852 | 51118 5 | 772 | 663 795.06/795.29 c 794s | 16 | 2768536 | 166252 | 51118 5 | 772 | 663 797.56/797.73 c 797s | 16 | 2770503 | 166752 | 51118 5 | 772 | 663 799.96/800.19 c 799s | 16 | 2785082 | 167252 | 51118 5 | 772 | 663 802.36/802.56 c 801s | 16 | 2800615 | 167752 | 51118 5 | 772 | 663 804.46/804.67 c 804s | 16 | 2803592 | 168352 | 51118 5 | 772 | 663 806.76/806.95 c 806s | 16 | 2804945 | 168752 | 51118 5 | 772 | 663 808.86/809.04 c 808s | 16 | 2815284 | 169252 | 51118 5 | 772 | 663 811.06/811.23 c 810s | 16 | 2823330 | 169752 | 51118 5 | 772 | 663 813.16/813.32 c 812s | 16 | 2833671 | 170252 | 51118 5 | 772 | 663 815.56/815.74 c 815s | 16 | 2844795 | 170752 | 51118 5 | 772 | 663 817.65/817.81 c 817s | 16 | 2857624 | 171352 | 51118 5 | 772 | 663 819.85/820.00 c 819s | 16 | 2862738 | 171652 | 51118 6 | 772 | 663 821.85/822.06 c 821s | 16 | 2872531 | 172152 | 51118 6 | 772 | 663 824.05/824.27 c 823s | 16 | 2882574 | 172552 | 51118 6 | 772 | 663 826.15/826.35 c 825s | 16 | 2897761 | 173152 | 51118 6 | 772 | 663 828.35/828.59 c 827s | 16 | 2913959 | 173752 | 51118 6 | 772 | 663 830.75/830.92 c 830s | 16 | 2927055 | 174452 | 51118 6 | 772 | 663 833.55/833.72 c 833s | 16 | 2936787 | 174952 | 51118 6 | 772 | 663 835.65/835.87 c 835s | 16 | 2939789 | 175652 | 51118 6 | 772 | 663 837.85/838.02 c 837s | 16 | 2949574 | 176252 | 51118 6 | 772 | 663 839.95/840.19 c 839s | 16 | 2961942 | 176852 | 51118 6 | 772 | 663 842.35/842.58 c 841s | 16 | 2970645 | 177252 | 51118 6 | 772 | 663 844.76/844.91 c 844s | 16 | 2972438 | 177652 | 51118 6 | 772 | 663 846.86/847.10 c 846s | 16 | 2973667 | 177952 | 51118 6 | 772 | 663 849.07/849.30 c 848s | 16 | 2975873 | 178352 | 51118 6 | 772 | 663 851.16/851.39 c 850s | 16 | 2985042 | 178852 | 51118 6 | 772 | 663 853.36/853.59 c 852s | 16 | 2996039 | 179452 | 51118 6 | 772 | 663 855.66/855.83 c 855s | 16 | 3008157 | 180152 | 51118 6 | 772 | 663 858.06/858.23 c 857s | 16 | 3017635 | 180652 | 51118 6 | 772 | 663 860.16/860.37 c 859s | 16 | 3025654 | 181152 | 51118 6 | 772 | 663 862.26/862.49 c 861s | 16 | 3037735 | 181752 | 51118 6 | 772 | 663 864.46/864.62 c 863s | 16 | 3047037 | 182152 | 51118 6 | 772 | 663 866.66/866.90 c 866s | 16 | 3051965 | 182552 | 51118 6 | 772 | 663 869.45/869.61 c 868s | 16 | 3052286 | 182652 | 51118 6 | 772 | 663 871.65/871.85 c 871s | 16 | 3052525 | 182752 | 51118 6 | 772 | 663 873.85/874.03 c 873s | 16 | 3061877 | 183252 | 51118 6 | 772 | 663 876.25/876.40 c 875s | 16 | 3066054 | 183852 | 51118 6 | 772 | 663 878.55/878.70 c 878s | 16 | 3067165 | 184252 | 51118 6 | 772 | 663 880.75/880.92 c 880s | 16 | 3067946 | 184552 | 51118 6 | 772 | 663 882.85/883.05 c 882s | 16 | 3069831 | 184852 | 51118 6 | 772 | 663 884.95/885.13 c 884s | 16 | 3070820 | 185152 | 51118 6 | 772 | 663 888.05/888.21 c 887s | 16 | 3073000 | 185552 | 51118 6 | 772 | 663 890.25/890.49 c 889s | 16 | 3079368 | 185852 | 51118 6 | 772 | 663 892.45/892.67 c 892s | 16 | 3092567 | 186452 | 51118 6 | 772 | 663 894.65/894.83 c 894s | 16 | 3104297 | 186952 | 51118 6 | 772 | 663 896.65/896.89 c 896s | 16 | 3107563 | 187352 | 51118 6 | 772 | 663 899.25/899.48 c 898s | 16 | 3109097 | 187752 | 51118 6 | 772 | 663 901.55/901.70 c 901s | 16 | 3120863 | 188252 | 51118 6 | 772 | 663 903.75/903.94 c 903s | 16 | 3123147 | 188752 | 51118 6 | 772 | 663 905.85/906.03 c 905s | 16 | 3133249 | 189252 | 51118 6 | 772 | 663 907.95/908.12 c 907s | 16 | 3140773 | 189752 | 51118 6 | 772 | 663 910.34/910.53 c 909s | 16 | 3148274 | 190252 | 51118 6 | 772 | 663 912.54/912.71 c 912s | 16 | 3152133 | 190652 | 51118 6 | 772 | 663 915.15/915.38 c 914s | 16 | 3154956 | 190952 | 51118 6 | 772 | 663 917.84/918.03 c 917s | 16 | 3158206 | 191252 | 51118 6 | 772 | 663 919.94/920.18 c 919s | 16 | 3160530 | 191552 | 51118 6 | 772 | 663 922.34/922.50 c 921s | 16 | 3168511 | 192052 | 51118 6 | 772 | 663 924.74/924.93 c 924s | 16 | 3170070 | 192452 | 51118 6 | 772 | 663 927.25/927.47 c 926s | 16 | 3170966 | 192752 | 51118 6 | 772 | 663 929.74/929.92 c 929s | 16 | 3171374 | 192952 | 51118 6 | 772 | 663 932.94/933.13 c 932s | 16 | 3172454 | 193252 | 51118 6 | 772 | 663 935.34/935.53 c 934s | 16 | 3173365 | 193552 | 51118 6 | 772 | 663 938.54/938.76 c 938s | 16 | 3174384 | 193852 | 51118 6 | 772 | 663 941.64/941.86 c 941s | 16 | 3174937 | 194052 | 51118 6 | 772 | 663 944.34/944.50 c 943s | 16 | 3175921 | 194352 | 51118 6 | 772 | 663 947.04/947.24 c 946s | 16 | 3176808 | 194552 | 51118 6 | 772 | 663 949.24/949.41 c 948s | 16 | 3177410 | 194752 | 51118 6 | 772 | 663 951.64/951.87 c 951s | 16 | 3178026 | 194952 | 51118 6 | 772 | 663 954.14/954.37 c 953s | 16 | 3178932 | 195152 | 51118 6 | 772 | 663 958.24/958.44 c 957s | 16 | 3179943 | 195352 | 51118 6 | 772 | 663 960.54/960.72 c 960s | 16 | 3187711 | 195752 | 51118 6 | 772 | 663 962.94/963.15 c 962s | 16 | 3192819 | 196052 | 51118 6 | 772 | 663 965.54/965.72 c 965s | 16 | 3193928 | 196352 | 56230 6 | 772 | 663 967.64/967.87 c 967s | 16 | 3203871 | 196652 | 56230 6 | 772 | 663 969.94/970.17 c 969s | 16 | 3213121 | 197252 | 56230 6 | 772 | 663 970.54/970.73 c 970s | 17 | 3217244 | 197432 | 56230 6 | 772 | 663 972.84/973.00 c 972s | 17 | 3223021 | 197632 | 56230 6 | 773 | 664 975.24/975.41 c 974s | 17 | 3234063 | 198132 | 56230 6 | 773 | 664 977.33/977.53 c 976s | 17 | 3247392 | 198632 | 56230 6 | 773 | 664 979.73/979.97 c 979s | 17 | 3258704 | 199132 | 56230 6 | 773 | 664 982.03/982.20 c 981s | 17 | 3269507 | 199632 | 56230 6 | 773 | 664 984.13/984.35 c 983s | 17 | 3280099 | 200132 | 56230 6 | 773 | 664 986.22/986.41 c 985s | 17 | 3285687 | 200732 | 56230 6 | 773 | 664 988.73/988.96 c 988s | 17 | 3289424 | 201132 | 56230 6 | 773 | 664 990.72/990.96 c 990s | 17 | 3290463 | 201432 | 56230 6 | 773 | 664 992.92/993.12 c 992s | 17 | 3295373 | 201832 | 56230 6 | 773 | 664 995.42/995.63 c 994s | 17 | 3304738 | 202432 | 56230 6 | 773 | 664 997.62/997.89 c 997s | 17 | 3315112 | 202932 | 56230 6 | 773 | 664 999.72/999.95 c 999s | 17 | 3322302 | 203332 | 56230 6 | 773 | 664 1003.31/1003.59 c 1002s | 17 | 3336427 | 203832 | 56230 7 | 773 | 664 1005.81/1006.00 c 1005s | 17 | 3341518 | 204432 | 56230 7 | 773 | 664 1008.01/1008.28 c 1007s | 17 | 3361299 | 205032 | 56230 7 | 773 | 664 1010.31/1010.59 c 1009s | 17 | 3375514 | 205632 | 56230 7 | 773 | 664 1012.81/1013.01 c 1012s | 17 | 3384017 | 206432 | 56230 7 | 773 | 664 1014.91/1015.19 c 1014s | 17 | 3397965 | 207032 | 56230 7 | 773 | 664 1017.10/1017.31 c 1016s | 17 | 3410310 | 207632 | 56230 7 | 773 | 664 1019.10/1019.38 c 1018s | 17 | 3421389 | 208332 | 56230 7 | 773 | 664 1021.40/1021.68 c 1021s | 17 | 3429097 | 208932 | 56230 7 | 773 | 664 1023.80/1024.03 c 1023s | 17 | 3437765 | 209532 | 56230 7 | 773 | 664 1026.00/1026.24 c 1025s | 17 | 3445991 | 210132 | 56230 7 | 773 | 664 1028.20/1028.43 c 1027s | 17 | 3455721 | 210732 | 56230 7 | 773 | 664 1030.30/1030.51 c 1029s | 17 | 3467868 | 211432 | 56230 7 | 773 | 664 1032.50/1032.71 c 1032s | 17 | 3482415 | 211932 | 56230 7 | 773 | 664 1034.70/1034.90 c 1034s | 17 | 3491038 | 212332 | 56230 7 | 773 | 664 1036.79/1037.06 c 1036s | 17 | 3498446 | 212932 | 56230 7 | 773 | 664 1038.99/1039.20 c 1038s | 17 | 3505026 | 213432 | 56230 7 | 773 | 664 1041.29/1041.51 c 1040s | 17 | 3519603 | 214032 | 56230 7 | 773 | 664 1043.70/1043.93 c 1043s | 17 | 3531602 | 214632 | 56230 7 | 773 | 664 1046.00/1046.21 c 1045s | 17 | 3545638 | 215232 | 56230 7 | 773 | 664 1048.19/1048.45 c 1047s | 17 | 3552592 | 215732 | 56230 7 | 773 | 664 1050.19/1050.47 c 1049s | 17 | 3561290 | 216232 | 56230 7 | 773 | 664 1052.39/1052.68 c 1052s | 17 | 3562407 | 216632 | 56230 7 | 773 | 664 1054.79/1055.08 c 1054s | 17 | 3569796 | 217232 | 56230 7 | 773 | 664 1056.89/1057.10 c 1056s | 17 | 3576907 | 217632 | 56230 7 | 773 | 664 1059.48/1059.70 c 1059s | 17 | 3586137 | 218232 | 56230 7 | 773 | 664 1061.58/1061.87 c 1061s | 17 | 3591754 | 218932 | 56230 7 | 773 | 664 1063.68/1063.95 c 1063s | 17 | 3601090 | 219632 | 56230 7 | 773 | 664 1065.69/1065.96 c 1065s | 17 | 3614212 | 220232 | 56230 7 | 773 | 664 1068.18/1068.40 c 1067s | 17 | 3625051 | 220732 | 56230 7 | 773 | 664 1070.48/1070.73 c 1070s | 17 | 3631982 | 221232 | 56230 7 | 773 | 664 1072.68/1072.98 c 1072s | 17 | 3635722 | 221732 | 56230 7 | 773 | 664 1074.88/1075.15 c 1074s | 17 | 3637547 | 222032 | 56230 7 | 773 | 664 1077.27/1077.52 c 1076s | 17 | 3640783 | 222432 | 56230 7 | 773 | 664 1079.47/1079.74 c 1079s | 17 | 3649740 | 223032 | 56230 7 | 773 | 664 1081.68/1081.93 c 1081s | 17 | 3652851 | 223532 | 56230 7 | 773 | 664 1084.08/1084.34 c 1083s | 17 | 3658197 | 224132 | 56230 7 | 773 | 664 1086.18/1086.44 c 1085s | 17 | 3664957 | 224632 | 56230 7 | 773 | 664 1088.48/1088.75 c 1088s | 17 | 3671067 | 225032 | 56230 7 | 773 | 664 1090.58/1090.86 c 1090s | 17 | 3682247 | 225532 | 56230 7 | 773 | 664 1092.67/1092.98 c 1092s | 17 | 3688679 | 226032 | 56230 7 | 773 | 664 1094.77/1095.04 c 1094s | 17 | 3693948 | 226432 | 56230 7 | 773 | 664 1097.07/1097.30 c 1096s | 17 | 3694839 | 226732 | 56230 7 | 773 | 664 1099.47/1099.70 c 1099s | 17 | 3695595 | 227032 | 56230 7 | 773 | 664 1102.97/1103.22 c 1102s | 17 | 3696256 | 227332 | 56230 7 | 773 | 664 1105.96/1106.28 c 1105s | 17 | 3697113 | 227632 | 56230 7 | 773 | 664 1109.67/1109.97 c 1109s | 17 | 3697432 | 227832 | 56230 7 | 773 | 664 1112.57/1112.87 c 1112s | 17 | 3703791 | 228132 | 56230 7 | 773 | 664 1114.97/1115.20 c 1114s | 17 | 3713022 | 228532 | 56230 7 | 773 | 664 1117.17/1117.47 c 1116s | 17 | 3723201 | 229032 | 56230 7 | 773 | 664 1119.47/1119.77 c 1119s | 17 | 3733479 | 229632 | 56230 7 | 773 | 664 1121.57/1121.88 c 1121s | 17 | 3736784 | 230132 | 56230 7 | 773 | 664 1123.77/1124.09 c 1123s | 17 | 3744101 | 230532 | 56230 7 | 773 | 664 1126.86/1127.17 c 1126s | 17 | 3744813 | 230832 | 56230 7 | 773 | 664 1129.47/1129.75 c 1129s | 17 | 3757494 | 231232 | 56230 7 | 773 | 664 1131.46/1131.77 c 1131s | 17 | 3769260 | 231832 | 56230 7 | 773 | 664 1133.76/1134.10 c 1133s | 17 | 3775701 | 232332 | 56230 7 | 773 | 664 1135.96/1136.27 c 1135s | 17 | 3777880 | 232832 | 56230 7 | 773 | 664 1138.16/1138.40 c 1137s | 17 | 3783176 | 233032 | 56230 8 | 773 | 664 1140.16/1140.45 c 1139s | 17 | 3794477 | 233532 | 56230 8 | 773 | 664 1142.46/1142.73 c 1142s | 17 | 3810590 | 234132 | 56230 8 | 773 | 664 1144.66/1144.91 c 1144s | 17 | 3823821 | 234732 | 56230 8 | 773 | 664 1146.86/1147.19 c 1146s | 17 | 3835509 | 235532 | 56230 8 | 773 | 664 1148.96/1149.22 c 1148s | 17 | 3841795 | 236032 | 56230 8 | 773 | 664 1150.96/1151.22 c 1150s | 17 | 3854190 | 236832 | 56230 8 | 773 | 664 1153.06/1153.30 c 1152s | 17 | 3863868 | 237532 | 56230 8 | 773 | 664 1155.45/1155.71 c 1155s | 17 | 3866418 | 238132 | 56230 8 | 773 | 664 1157.45/1157.76 c 1157s | 17 | 3868905 | 238632 | 56230 8 | 773 | 664 1159.86/1160.12 c 1159s | 17 | 3871311 | 239032 | 56230 8 | 773 | 664 1162.06/1162.34 c 1161s | 17 | 3872858 | 239432 | 56230 8 | 773 | 664 1164.36/1164.62 c 1163s | 17 | 3873669 | 239732 | 56230 8 | 773 | 664 1166.45/1166.79 c 1166s | 17 | 3881745 | 240132 | 56230 8 | 773 | 664 1168.65/1168.99 c 1168s | 17 | 3891775 | 240732 | 56230 8 | 773 | 664 1171.05/1171.33 c 1170s | 17 | 3905800 | 241332 | 56230 8 | 773 | 664 1173.05/1173.37 c 1172s | 17 | 3916367 | 241832 | 56230 8 | 773 | 664 1175.55/1175.80 c 1175s | 17 | 3935115 | 242332 | 56230 8 | 774 | 665 1177.75/1178.08 c 1177s | 17 | 3948459 | 242832 | 56230 8 | 774 | 665 1180.34/1180.66 c 1180s | 17 | 3950418 | 243332 | 56230 8 | 774 | 665 1183.14/1183.42 c 1182s | 17 | 3951742 | 243732 | 56230 8 | 774 | 665 1185.54/1185.86 c 1185s | 17 | 3953526 | 244032 | 56230 8 | 774 | 665 1187.74/1188.01 c 1187s | 17 | 3955502 | 244432 | 56230 8 | 774 | 665 1189.94/1190.27 c 1189s | 17 | 3957802 | 244832 | 56230 8 | 774 | 665 1192.24/1192.59 c 1191s | 17 | 3962605 | 245332 | 56230 8 | 774 | 665 1194.34/1194.61 c 1193s | 17 | 3970144 | 245932 | 56230 8 | 774 | 665 1196.34/1196.68 c 1196s | 17 | 3980974 | 246432 | 56230 8 | 775 | 666 1198.53/1198.83 c 1198s | 17 | 3997366 | 247132 | 56230 8 | 775 | 666 1200.73/1201.00 c 1200s | 17 | 4003436 | 247732 | 56230 8 | 775 | 666 1202.93/1203.27 c 1202s | 17 | 4012812 | 248232 | 56230 8 | 775 | 666 1205.03/1205.31 c 1204s | 17 | 4029691 | 248732 | 56230 8 | 775 | 666 1207.23/1207.56 c 1206s | 17 | 4043224 | 249132 | 56230 8 | 776 | 667 1209.33/1209.62 c 1208s | 17 | 4053982 | 249732 | 56230 8 | 776 | 667 1211.33/1211.67 c 1211s | 17 | 4068663 | 250232 | 56230 8 | 776 | 667 1213.73/1214.02 c 1213s | 17 | 4072498 | 250732 | 56230 8 | 776 | 667 1215.93/1216.20 c 1215s | 17 | 4078822 | 251332 | 56230 8 | 776 | 667 1218.13/1218.44 c 1217s | 17 | 4096569 | 251932 | 56230 8 | 776 | 667 1220.23/1220.56 c 1219s | 17 | 4110026 | 252532 | 56230 8 | 776 | 667 1222.43/1222.77 c 1222s | 17 | 4122679 | 253232 | 56230 8 | 776 | 667 1224.83/1225.12 c 1224s | 17 | 4132603 | 253932 | 56230 8 | 776 | 667 1227.02/1227.39 c 1226s | 17 | 4149892 | 254532 | 56230 8 | 776 | 667 1229.42/1229.80 c 1229s | 17 | 4158487 | 255232 | 56230 8 | 776 | 667 1231.62/1231.97 c 1231s | 17 | 4169493 | 255832 | 56230 8 | 776 | 667 1233.62/1233.99 c 1233s | 17 | 4175887 | 256332 | 56230 8 | 776 | 667 1235.82/1236.19 c 1235s | 17 | 4184215 | 256932 | 56230 8 | 776 | 667 1237.82/1238.19 c 1237s | 17 | 4195362 | 257332 | 56230 8 | 776 | 667 1240.12/1240.41 c 1239s | 17 | 4198694 | 257832 | 56230 8 | 776 | 667 1242.42/1242.76 c 1242s | 17 | 4210506 | 258332 | 56230 8 | 776 | 667 1244.62/1244.96 c 1244s | 17 | 4224374 | 258832 | 56230 8 | 776 | 667 1246.71/1247.07 c 1246s | 17 | 4229007 | 259532 | 56230 8 | 776 | 667 1248.91/1249.25 c 1248s | 17 | 4233253 | 260332 | 56230 8 | 776 | 667 1251.12/1251.48 c 1250s | 17 | 4236482 | 261032 | 56230 8 | 776 | 667 1253.42/1253.73 c 1253s | 17 | 4238177 | 261532 | 56230 8 | 776 | 667 1255.92/1256.23 c 1255s | 17 | 4244029 | 262032 | 56230 8 | 776 | 667 1258.01/1258.31 c 1257s | 17 | 4255960 | 262532 | 56230 8 | 776 | 667 1260.21/1260.54 c 1259s | 17 | 4267631 | 263232 | 56230 8 | 776 | 667 1262.52/1262.81 c 1262s | 17 | 4272942 | 263832 | 56230 8 | 776 | 667 1264.61/1264.99 c 1264s | 17 | 4276954 | 264332 | 56230 8 | 776 | 667 1266.81/1267.16 c 1266s | 17 | 4281832 | 264832 | 56230 8 | 776 | 667 1268.91/1269.23 c 1268s | 17 | 4287147 | 265332 | 56230 8 | 776 | 667 1271.21/1271.50 c 1270s | 17 | 4291363 | 265832 | 56230 8 | 776 | 667 1273.51/1273.85 c 1273s | 17 | 4298604 | 266532 | 56230 8 | 776 | 667 1276.20/1276.55 c 1275s | 17 | 4301528 | 267032 | 56230 8 | 776 | 667 1280.40/1280.72 c 1280s | 17 | 4304225 | 267432 | 56230 9 | 776 | 667 1282.70/1283.03 c 1282s | 17 | 4311110 | 268032 | 56230 9 | 776 | 667 1284.90/1285.25 c 1284s | 17 | 4317830 | 268632 | 56230 9 | 776 | 667 1287.29/1287.67 c 1287s | 17 | 4322511 | 269232 | 56230 9 | 776 | 667 1289.69/1290.06 c 1289s | 17 | 4325071 | 269632 | 56230 9 | 776 | 667 1291.89/1292.23 c 1291s | 17 | 4327452 | 269932 | 56230 9 | 776 | 667 1294.99/1295.37 c 1294s | 17 | 4329382 | 270332 | 56230 9 | 776 | 667 1297.69/1298.09 c 1297s | 17 | 4330718 | 270632 | 56230 9 | 776 | 667 1299.99/1300.34 c 1299s | 17 | 4331432 | 270832 | 56230 9 | 776 | 667 1302.58/1302.92 c 1302s | 17 | 4333413 | 271132 | 56230 9 | 776 | 667 1304.98/1305.38 c 1304s | 17 | 4334400 | 271432 | 56230 9 | 776 | 667 1307.38/1307.75 c 1307s | 17 | 4335908 | 271732 | 56230 9 | 776 | 667 1309.88/1310.25 c 1309s | 17 | 4337370 | 272032 | 56230 9 | 776 | 667 1312.68/1313.08 c 1312s | 17 | 4338879 | 272332 | 56230 9 | 776 | 667 1314.78/1315.15 c 1314s | 17 | 4339860 | 272532 | 56230 9 | 776 | 667 1316.87/1317.27 c 1316s | 17 | 4341216 | 272832 | 56230 9 | 776 | 667 1319.47/1319.89 c 1319s | 17 | 4342569 | 273032 | 56230 9 | 776 | 667 1323.17/1323.52 c 1322s | 17 | 4343265 | 273232 | 56230 9 | 776 | 667 1327.07/1327.40 c 1326s | 17 | 4344050 | 273432 | 56230 9 | 776 | 667 1329.67/1330.02 c 1329s | 17 | 4344610 | 273532 | 56230 9 | 776 | 667 1332.07/1332.45 c 1331s | 17 | 4347734 | 273932 | 56230 9 | 776 | 667 1334.87/1335.20 c 1334s | 17 | 4350500 | 274332 | 56230 9 | 776 | 667 1336.86/1337.26 c 1336s | 17 | 4353843 | 274832 | 56230 9 | 776 | 667 1339.47/1339.81 c 1339s | 17 | 4355343 | 275232 | 56230 9 | 776 | 667 1342.06/1342.47 c 1341s | 17 | 4356198 | 275432 | 56230 9 | 776 | 667 1344.16/1344.57 c 1343s | 17 | 4356605 | 275532 | 56230 9 | 776 | 667 1346.55/1346.99 c 1346s | 17 | 4358039 | 275832 | 56230 9 | 776 | 667 1348.65/1349.01 c 1348s | 17 | 4358281 | 275932 | 56230 9 | 776 | 667 1351.05/1351.49 c 1350s | 17 | 4358949 | 276132 | 56230 9 | 776 | 667 1353.25/1353.61 c 1352s | 17 | 4359564 | 276332 | 56230 9 | 776 | 667 1355.25/1355.69 c 1355s | 17 | 4360099 | 276432 | 56230 9 | 776 | 667 1358.35/1358.76 c 1358s | 17 | 4360576 | 276632 | 56230 9 | 776 | 667 1360.95/1361.39 c 1360s | 17 | 4361294 | 276832 | 56230 9 | 776 | 667 1363.25/1363.69 c 1363s | 17 | 4361868 | 277032 | 56230 9 | 776 | 667 1365.25/1365.70 c 1365s | 17 | 4363648 | 277432 | 56230 9 | 776 | 667 1368.54/1368.97 c 1368s | 17 | 4365177 | 277732 | 56230 9 | 776 | 667 1372.04/1372.47 c 1371s | 17 | 4365761 | 278032 | 56230 9 | 776 | 667 1374.54/1374.91 c 1374s | 17 | 4366420 | 278232 | 56230 9 | 776 | 667 1378.14/1378.57 c 1377s | 17 | 4367293 | 278432 | 56230 9 | 776 | 667 1380.44/1380.80 c 1380s | 17 | 4367733 | 278532 | 56230 9 | 776 | 667 1383.34/1383.74 c 1383s | 17 | 4368692 | 278832 | 56230 9 | 776 | 667 1385.83/1386.28 c 1385s | 17 | 4372264 | 279332 | 56230 9 | 776 | 667 1388.13/1388.59 c 1387s | 17 | 4372848 | 279532 | 56230 9 | 776 | 667 1390.33/1390.77 c 1390s | 17 | 4374310 | 279832 | 56230 9 | 776 | 667 1392.73/1393.14 c 1392s | 17 | 4375148 | 280032 | 56230 9 | 776 | 667 1395.92/1396.32 c 1395s | 17 | 4375785 | 280232 | 56230 9 | 776 | 667 1398.93/1399.32 c 1398s | 17 | 4377395 | 280632 | 56230 9 | 776 | 667 1402.32/1402.70 c 1402s | 17 | 4377978 | 280832 | 56230 9 | 776 | 667 1405.62/1406.05 c 1405s | 17 | 4378736 | 281032 | 56230 9 | 776 | 667 1408.31/1408.71 c 1408s | 17 | 4379728 | 281232 | 56230 9 | 776 | 667 1410.81/1411.21 c 1410s | 17 | 4381820 | 281532 | 56230 9 | 776 | 667 1413.41/1413.86 c 1413s | 17 | 4382572 | 281732 | 56230 9 | 776 | 667 1416.12/1416.59 c 1415s | 17 | 4383264 | 281932 | 56230 9 | 776 | 667 1419.12/1419.51 c 1418s | 17 | 4383790 | 282132 | 56230 9 | 776 | 667 1422.11/1422.56 c 1421s | 17 | 4384689 | 282332 | 56230 9 | 776 | 667 1424.41/1424.81 c 1424s | 17 | 4385143 | 282432 | 56230 9 | 776 | 667 1427.10/1427.55 c 1426s | 17 | 4386149 | 282632 | 56230 9 | 776 | 667 1429.20/1429.63 c 1428s | 17 | 4386881 | 282832 | 56230 9 | 776 | 667 1431.60/1432.03 c 1431s | 17 | 4387710 | 283032 | 56230 9 | 776 | 667 1434.91/1435.36 c 1434s | 17 | 4388653 | 283332 | 56230 9 | 776 | 667 1438.11/1438.58 c 1437s | 17 | 4389490 | 283532 | 56230 9 | 776 | 667 1440.51/1440.90 c 1440s | 17 | 4389936 | 283632 | 56230 9 | 776 | 667 1443.10/1443.52 c 1442s | 17 | 4390138 | 283732 | 56230 9 | 776 | 667 1445.70/1446.16 c 1445s | 17 | 4391138 | 283932 | 56230 9 | 776 | 667 1448.70/1449.19 c 1448s | 17 | 4391484 | 284132 | 56230 9 | 776 | 667 1451.90/1452.36 c 1451s | 17 | 4392954 | 284432 | 56230 9 | 776 | 667 1454.70/1455.16 c 1454s | 17 | 4394952 | 284732 | 56230 9 | 776 | 667 1457.50/1457.95 c 1457s | 17 | 4395757 | 284932 | 56230 9 | 776 | 667 1460.10/1460.56 c 1459s | 17 | 4397661 | 285332 | 56230 9 | 776 | 667 1462.49/1462.90 c 1462s | 17 | 4398825 | 285632 | 56230 9 | 776 | 667 1465.09/1465.52 c 1464s | 17 | 4400507 | 285932 | 56230 9 | 776 | 667 1467.69/1468.16 c 1467s | 17 | 4402029 | 286232 | 56230 9 | 776 | 667 1469.79/1470.25 c 1469s | 17 | 4403785 | 286532 | 56230 9 | 776 | 667 1472.50/1472.95 c 1472s | 17 | 4405151 | 286832 | 56230 9 | 776 | 667 1474.89/1475.33 c 1474s | 17 | 4405740 | 287032 | 56230 9 | 776 | 667 1477.38/1477.80 c 1477s | 17 | 4406529 | 287232 | 56230 9 | 776 | 667 1480.38/1480.80 c 1480s | 17 | 4407909 | 287532 | 56230 9 | 776 | 667 1482.68/1483.17 c 1482s | 17 | 4408616 | 287732 | 56230 9 | 776 | 667 1485.18/1485.69 c 1485s | 17 | 4409455 | 287932 | 56230 9 | 776 | 667 1487.57/1488.03 c 1487s | 17 | 4412396 | 288232 | 56230 9 | 776 | 667 1490.18/1490.70 c 1490s | 17 | 4416607 | 288732 | 56230 9 | 776 | 667 1492.28/1492.78 c 1492s | 17 | 4424261 | 289132 | 56230 9 | 776 | 667 1494.77/1495.22 c 1494s | 17 | 4433940 | 289632 | 56230 9 | 776 | 667 1497.06/1497.55 c 1496s | 17 | 4441195 | 290132 | 56230 9 | 776 | 667 1499.46/1499.92 c 1499s | 17 | 4447580 | 290732 | 56230 9 | 776 | 667 1501.56/1502.07 c 1501s | 17 | 4452825 | 291132 | 56230 9 | 776 | 667 1503.76/1504.22 c 1503s | 17 | 4465237 | 291632 | 56230 9 | 776 | 667 1505.86/1506.36 c 1505s | 17 | 4476592 | 292132 | 56230 9 | 776 | 667 1508.36/1508.82 c 1508s | 17 | 4487013 | 292632 | 56230 9 | 776 | 667 1510.87/1511.37 c 1510s | 17 | 4487618 | 292932 | 56230 9 | 776 | 667 1514.47/1514.93 c 1514s | 17 | 4488199 | 293132 | 56230 9 | 776 | 667 1517.06/1517.50 c 1516s | 17 | 4488950 | 293332 | 56230 9 | 776 | 667 1519.26/1519.74 c 1519s | 17 | 4489365 | 293432 | 56230 9 | 776 | 667 1521.36/1521.81 c 1521s | 17 | 4494169 | 293832 | 56230 9 | 776 | 667 1523.36/1523.84 c 1523s | 17 | 4503152 | 294332 | 61854 9 | 776 | 667 1525.66/1526.12 c 1525s | 17 | 4514045 | 294832 | 61854 9 | 776 | 667 1527.86/1528.36 c 1527s | 17 | 4526149 | 295432 | 61854 9 | 776 | 667 1530.46/1530.90 c 1530s | 17 | 4532426 | 296032 | 61854 9 | 776 | 667 1531.66/1532.16 c 1531s | 18 | 4535851 | 296252 | 61854 9 | 776 | 667 1533.96/1534.46 c 1533s | 18 | 4543316 | 296652 | 61854 9 | 776 | 667 1536.26/1536.75 c 1536s | 18 | 4554618 | 297252 | 61854 9 | 776 | 667 1538.26/1538.78 c 1538s | 18 | 4565288 | 297752 | 61854 9 | 776 | 667 1540.56/1541.07 c 1540s | 18 | 4577196 | 298452 | 61854 9 | 776 | 667 1542.66/1543.12 c 1542s | 18 | 4579118 | 298752 | 61854 9 | 776 | 667 1544.86/1545.31 c 1544s | 18 | 4583494 | 299252 | 61854 9 | 776 | 667 1546.86/1547.39 c 1546s | 18 | 4584474 | 299552 | 61854 9 | 776 | 667 1549.76/1550.22 c 1549s | 18 | 4585710 | 299952 | 61854 9 | 776 | 667 1551.85/1552.35 c 1551s | 18 | 4587276 | 300252 | 61854 9 | 776 | 667 1554.15/1554.65 c 1554s | 18 | 4589829 | 300652 | 61854 9 | 776 | 667 1556.65/1557.12 c 1556s | 18 | 4590821 | 300852 | 61854 9 | 776 | 667 1559.75/1560.25 c 1559s | 18 | 4591005 | 300952 | 61854 9 | 776 | 667 1563.35/1563.84 c 1563s | 18 | 4591901 | 301152 | 61854 9 | 776 | 667 1566.06/1566.57 c 1565s | 18 | 4592555 | 301352 | 61854 9 | 776 | 667 1569.05/1569.56 c 1568s | 18 | 4593194 | 301552 | 61854 9 | 776 | 667 1571.45/1571.99 c 1571s | 18 | 4593661 | 301652 | 61854 9 | 776 | 667 1574.05/1574.56 c 1573s | 18 | 4594099 | 301752 | 61854 9 | 776 | 667 1576.96/1577.47 c 1576s | 18 | 4596069 | 302152 | 61854 9 | 776 | 667 1579.16/1579.66 c 1579s | 18 | 4597398 | 302452 | 61854 9 | 776 | 667 1582.05/1582.56 c 1581s | 18 | 4598401 | 302752 | 61854 9 | 776 | 667 1586.25/1586.76 c 1586s | 18 | 4599923 | 303052 | 61854 9 | 776 | 667 1589.16/1589.62 c 1588s | 18 | 4601116 | 303352 | 61854 9 | 776 | 667 1591.75/1592.28 c 1591s | 18 | 4602508 | 303652 | 61854 9 | 776 | 667 1594.05/1594.50 c 1593s | 18 | 4603338 | 303852 | 61854 9 | 776 | 667 1596.34/1596.80 c 1596s | 18 | 4604304 | 304052 | 61854 9 | 776 | 667 1600.05/1600.57 c 1599s | 18 | 4604806 | 304252 | 61854 9 | 776 | 667 1602.25/1602.77 c 1602s | 18 | 4605286 | 304452 | 61854 9 | 776 | 667 1604.95/1605.45 c 1604s | 18 | 4605996 | 304652 | 61854 9 | 776 | 667 1608.04/1608.53 c 1607s | 18 | 4607440 | 304952 | 61854 9 | 776 | 667 1611.05/1611.60 c 1610s | 18 | 4608892 | 305252 | 61854 9 | 776 | 667 1613.94/1614.45 c 1613s | 18 | 4610568 | 305652 | 61854 9 | 776 | 667 1616.04/1616.53 c 1615s | 18 | 4611177 | 305852 | 61854 9 | 776 | 667 1618.24/1618.77 c 1618s | 18 | 4612032 | 306052 | 61854 9 | 776 | 667 1620.64/1621.17 c 1620s | 18 | 4612673 | 306252 | 61854 9 | 776 | 667 1623.64/1624.13 c 1623s | 18 | 4613930 | 306552 | 61854 9 | 776 | 667 1625.84/1626.34 c 1625s | 18 | 4615252 | 306752 | 61854 9 | 776 | 667 1628.14/1628.69 c 1628s | 18 | 4616051 | 306952 | 61854 9 | 776 | 667 1630.24/1630.72 c 1630s | 18 | 4616891 | 307152 | 61854 9 | 776 | 667 1633.83/1634.34 c 1633s | 18 | 4617781 | 307352 | 61854 9 | 776 | 667 1637.45/1637.96 c 1637s | 18 | 4617934 | 307452 | 61854 9 | 776 | 667 1640.34/1640.87 c 1640s | 18 | 4618360 | 307652 | 61854 9 | 776 | 667 1644.24/1644.77 c 1644s | 18 | 4619185 | 307852 | 61854 9 | 776 | 667 1646.63/1647.10 c 1646s | 18 | 4619504 | 307952 | 61854 9 | 776 | 667 1649.83/1650.38 c 1649s | 18 | 4622666 | 308052 | 61854 10 | 776 | 667 1652.23/1652.77 c 1652s | 18 | 4626734 | 308452 | 61854 10 | 776 | 667 1654.44/1654.97 c 1654s | 18 | 4628646 | 308852 | 61854 10 | 776 | 667 1656.54/1657.08 c 1656s | 18 | 4639511 | 309552 | 61854 10 | 776 | 667 1658.64/1659.15 c 1658s | 18 | 4656634 | 310152 | 61854 10 | 776 | 667 1660.84/1661.39 c 1660s | 18 | 4671707 | 310752 | 61854 10 | 776 | 667 1663.54/1664.01 c 1663s | 18 | 4682267 | 311352 | 61854 10 | 776 | 667 1665.54/1666.03 c 1665s | 18 | 4695783 | 311852 | 61854 10 | 776 | 667 1667.64/1668.13 c 1667s | 18 | 4708929 | 312452 | 61854 10 | 776 | 667 1669.64/1670.15 c 1669s | 18 | 4718062 | 312952 | 61854 10 | 776 | 667 1671.94/1672.42 c 1671s | 18 | 4727200 | 313552 | 61854 10 | 776 | 667 1674.04/1674.58 c 1673s | 18 | 4740245 | 314252 | 61854 10 | 776 | 667 1676.34/1676.85 c 1676s | 18 | 4751540 | 314752 | 61854 10 | 776 | 667 1678.33/1678.86 c 1678s | 18 | 4760300 | 315352 | 61854 10 | 776 | 667 1680.53/1681.10 c 1680s | 18 | 4775382 | 315952 | 61854 10 | 776 | 667 1683.03/1683.53 c 1682s | 18 | 4788436 | 316652 | 61854 10 | 776 | 667 1685.23/1685.79 c 1685s | 18 | 4800853 | 317252 | 61854 10 | 776 | 667 1687.53/1688.04 c 1687s | 18 | 4809253 | 317652 | 61854 10 | 776 | 667 1689.53/1690.08 c 1689s | 18 | 4811157 | 318052 | 61854 10 | 776 | 667 1691.83/1692.31 c 1691s | 18 | 4812656 | 318552 | 61854 10 | 776 | 667 1694.03/1694.50 c 1693s | 18 | 4815494 | 319052 | 61854 10 | 776 | 667 1696.03/1696.58 c 1695s | 18 | 4817780 | 319452 | 61854 10 | 776 | 667 1698.53/1699.06 c 1698s | 18 | 4819147 | 319752 | 61854 10 | 776 | 667 1700.93/1701.49 c 1700s | 18 | 4820521 | 320052 | 61854 10 | 776 | 667 1703.63/1704.11 c 1703s | 18 | 4822091 | 320352 | 61854 10 | 776 | 667 1706.03/1706.57 c 1705s | 18 | 4822966 | 320552 | 61854 10 | 776 | 667 1708.02/1708.59 c 1707s | 18 | 4824562 | 320852 | 61854 10 | 776 | 667 1710.23/1710.70 c 1710s | 18 | 4826481 | 321352 | 61854 10 | 776 | 667 1712.53/1713.09 c 1712s | 18 | 4828293 | 321652 | 61854 10 | 776 | 667 1715.64/1716.15 c 1715s | 18 | 4829300 | 321952 | 61854 10 | 776 | 667 1718.23/1718.76 c 1718s | 18 | 4831018 | 322252 | 61854 10 | 776 | 667 1721.23/1721.70 c 1721s | 18 | 4831987 | 322452 | 61854 10 | 776 | 667 1723.93/1724.41 c 1723s | 18 | 4832576 | 322652 | 61854 10 | 776 | 667 1726.93/1727.44 c 1726s | 18 | 4833485 | 322852 | 61854 10 | 776 | 667 1729.23/1729.70 c 1729s | 18 | 4834317 | 323052 | 61854 10 | 776 | 667 1731.63/1732.18 c 1731s | 18 | 4835112 | 323252 | 61854 10 | 776 | 667 1735.43/1735.92 c 1735s | 18 | 4836261 | 323452 | 61854 10 | 776 | 667 1738.22/1738.75 c 1738s | 18 | 4837703 | 323652 | 61854 10 | 776 | 667 1741.02/1741.59 c 1740s | 18 | 4838522 | 323852 | 61854 10 | 776 | 667 1743.62/1744.17 c 1743s | 18 | 4839027 | 323952 | 61854 10 | 776 | 667 1745.72/1746.29 c 1745s | 18 | 4839907 | 324152 | 61854 10 | 776 | 667 1748.82/1749.31 c 1748s | 18 | 4841190 | 324352 | 61854 10 | 776 | 667 1751.22/1751.70 c 1751s | 18 | 4841504 | 324452 | 61854 10 | 776 | 667 1755.42/1755.95 c 1755s | 18 | 4842779 | 324652 | 61854 10 | 776 | 667 1757.52/1758.05 c 1757s | 18 | 4843153 | 324752 | 61854 10 | 776 | 667 1761.02/1761.59 c 1760s | 18 | 4844093 | 324952 | 61854 10 | 776 | 667 1763.12/1763.62 c 1762s | 18 | 4844667 | 325052 | 61854 10 | 776 | 667 1767.62/1768.16 c 1767s | 18 | 4844787 | 325152 | 61854 10 | 776 | 667 1773.71/1774.30 c 1773s | 18 | 4845033 | 325252 | 61854 10 | 776 | 667 1776.31/1776.83 c 1776s | 18 | 4848111 | 325752 | 61854 10 | 776 | 667 1778.91/1779.40 c 1778s | 18 | 4849535 | 326052 | 61854 10 | 776 | 667 1782.81/1783.32 c 1782s | 18 | 4850405 | 326352 | 61854 10 | 776 | 667 1785.71/1786.27 c 1785s | 18 | 4851494 | 326652 | 61854 10 | 776 | 667 1788.61/1789.18 c 1788s | 18 | 4853594 | 327052 | 61854 10 | 776 | 667 1791.21/1791.73 c 1791s | 18 | 4854671 | 327252 | 61854 10 | 776 | 667 1793.91/1794.46 c 1793s | 18 | 4856417 | 327552 | 61854 10 | 776 | 667 1796.92/1797.47 c 1796s | 18 | 4857237 | 327752 | 61854 10 | 776 | 667 1799.91/1800.44 c 1799s | 18 | 4858032 | 327952 | 61854 10 | 776 | 667
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-4078899-1465285070/watcher-4078899-1465285070 -o /tmp/evaluation-result-4078899-1465285070/solver-4078899-1465285070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078899-1465285070.opb pid=8081 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.24 2.24 4/179 8084 /proc/meminfo: memFree=29165212/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=698812 CPUtime=0 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 110440641 715583488 3469 33554432000 4194304 16246674 140735669951184 140735669950608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 174959 3475 441 2943 0 171853 0 [pid=8084/tid=8085] ppid=8081 vsize=715196 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 732360704 3537 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 737603584 3554 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 741797888 3571 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100261 s] /proc/loadavg: 2.19 2.24 2.24 4/179 8084 /proc/meminfo: memFree=29165212/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 25003 0 0 0 6 3 0 0 20 0 4 0 110440641 1250496512 25813 33554432000 4194304 16246674 140735669951184 140735669950496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 305297 25820 800 2943 0 302191 0 [pid=8084/tid=8085] ppid=8081 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1250496512 25824 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1250496512 25829 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1250496512 25834 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200466 s] /proc/loadavg: 2.19 2.24 2.24 4/179 8084 /proc/meminfo: memFree=29165212/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 47586 0 0 0 12 7 0 0 20 0 4 0 110440641 1344868352 48907 33554432000 4194304 16246674 140735669951184 140735669950496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 48915 800 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 48920 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 48925 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 48930 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300439 s] /proc/loadavg: 2.19 2.24 2.24 4/179 8084 /proc/meminfo: memFree=29165212/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 47769 0 0 0 22 7 0 0 20 0 4 0 110440641 1344868352 49090 33554432000 4194304 16246674 140735669951184 140735669933056 13923652 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 49090 832 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 49090 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 49090 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 49090 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700354 s] /proc/loadavg: 2.19 2.24 2.24 4/179 8084 /proc/meminfo: memFree=29165212/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 113879 0 0 0 52 17 0 0 20 0 4 0 110440641 1344868352 115201 33554432000 4194304 16246674 140735669951184 140735669933056 5532589 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 115208 875 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 115213 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 115217 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 115222 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50034 s] /proc/loadavg: 2.19 2.24 2.24 4/183 8088 /proc/meminfo: memFree=28527232/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 189386 0 0 0 120 29 0 0 20 0 4 0 110440641 1344868352 190707 33554432000 4194304 16246674 140735669951184 140735669950496 5677720 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 190707 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 190707 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 190707 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 190707 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10035 s] /proc/loadavg: 2.19 2.24 2.24 3/183 8088 /proc/meminfo: memFree=28403604/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269003 0 0 0 268 41 0 0 20 0 4 0 110440641 1344868352 270324 33554432000 4194304 16246674 140735669951184 140735669933056 4220543 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 270324 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270324 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270324 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270324 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30037 s] /proc/loadavg: 2.17 2.24 2.24 3/183 8088 /proc/meminfo: memFree=28084368/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269004 0 0 0 587 42 0 0 20 0 4 0 110440641 1344868352 270325 33554432000 4194304 16246674 140735669951184 140735669933056 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 270325 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.16 2.23 2.24 3/183 8088 /proc/meminfo: memFree=28084548/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269004 0 0 0 1227 42 0 0 20 0 4 0 110440641 1344868352 270325 33554432000 4194304 16246674 140735669951184 140735669933056 5661428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 270325 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5004 s] /proc/loadavg: 2.20 2.24 2.24 3/183 8088 /proc/meminfo: memFree=28084688/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269004 0 0 0 2507 42 0 0 20 0 4 0 110440641 1344868352 270325 33554432000 4194304 16246674 140735669951184 140735669933056 5754924 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8084/statm: 328337 270325 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.19 2.23 2.24 3/183 8089 /proc/meminfo: memFree=28084816/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269004 0 0 0 5066 42 0 0 20 0 4 0 110440641 1344868352 270325 33554432000 4194304 16246674 140735669951184 140735669950280 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 328337 270325 883 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270325 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.21 2.23 2.24 3/183 8090 /proc/meminfo: memFree=28084748/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1313348 CPUtime=102.28 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 269005 0 0 0 10185 43 0 0 20 0 4 0 110440641 1344868352 270326 33554432000 4194304 16246674 140735669951184 140735669933056 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 328337 270326 884 2943 0 325231 0 [pid=8084/tid=8085] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270326 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270326 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1344868352 270326 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1319492 [startup+1362.3 s] /proc/loadavg: 2.22 2.25 2.22 4/184 8173 /proc/meminfo: memFree=28064528/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1361.95 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270747 0 0 0 136136 59 0 0 20 0 4 0 110440641 1351159808 271856 33554432000 4194304 16246674 140735669951184 140735669933056 5722250 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271856 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1319492 [startup+1422.3 s] /proc/loadavg: 2.35 2.28 2.23 3/184 8197 /proc/meminfo: memFree=28064396/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1421.92 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270791 0 0 0 142132 60 0 0 20 0 4 0 110440641 1351159808 271856 33554432000 4194304 16246674 140735669951184 140735669950360 12483366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271856 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1319492 [startup+1482.3 s] /proc/loadavg: 2.23 2.25 2.22 3/183 8198 /proc/meminfo: memFree=28063704/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1481.88 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270827 0 0 0 148127 61 0 0 20 0 4 0 110440641 1351159808 271856 33554432000 4194304 16246674 140735669951184 140735669933056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271856 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1319492 [startup+1542.31 s] /proc/loadavg: 2.17 2.23 2.21 3/183 8199 /proc/meminfo: memFree=28063924/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1541.86 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270863 0 0 0 154124 62 0 0 20 0 4 0 110440641 1351159808 271856 33554432000 4194304 16246674 140735669951184 140735669933056 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271856 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.19 2.23 2.21 3/183 8201 /proc/meminfo: memFree=28063092/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1601.85 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270863 0 0 0 160121 64 0 0 20 0 4 0 110440641 1351159808 271856 33554432000 4194304 16246674 140735669951184 140735669933056 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271856 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271856 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1319492 [startup+1662.3 s] /proc/loadavg: 2.18 2.23 2.21 3/183 8202 /proc/meminfo: memFree=28062652/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1661.84 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270873 0 0 0 166118 66 0 0 20 0 4 0 110440641 1351159808 271866 33554432000 4194304 16246674 140735669951184 140735669933056 6842296 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271866 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.24 2.23 2.21 3/183 8203 /proc/meminfo: memFree=28062816/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1721.83 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270873 0 0 0 172116 67 0 0 20 0 4 0 110440641 1351159808 271866 33554432000 4194304 16246674 140735669951184 140735669933056 12477780 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271866 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.18 2.22 2.20 3/183 8204 /proc/meminfo: memFree=28062972/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1781.81 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270873 0 0 0 178114 67 0 0 20 0 4 0 110440641 1351159808 271866 33554432000 4194304 16246674 140735669951184 140735669933056 12483337 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271866 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.24 2.21 4/183 8204 /proc/meminfo: memFree=28062820/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270873 0 0 0 179934 67 0 0 20 0 4 0 110440641 1351159808 271866 33554432000 4194304 16246674 140735669951184 140735669933056 5673511 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271866 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 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 8084 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.24 2.21 4/183 8204 /proc/meminfo: memFree=28062820/32872528 swapFree=15644/1722384 [pid=8084] ppid=8081 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/8084/stat : 8084 (toysat) R 8081 8084 4315 0 -1 4202496 270873 0 0 0 179934 67 0 0 20 0 4 0 110440641 1351159808 271866 33554432000 4194304 16246674 140735669951184 140735669933056 5673511 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8084/statm: 329873 271866 885 2943 0 326767 0 [pid=8084/tid=8085] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8085/stat : 8085 (toysat) S 8081 8084 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348718296304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8084/tid=8086] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8086/stat : 8086 (toysat) S 8081 8084 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348707806448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8084/tid=8087] ppid=8081 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/8084/task/8087/stat : 8087 (toysat) S 8081 8084 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110440642 1351159808 271866 33554432000 4194304 16246674 140735669951184 140348592483504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.35 CPU system time (s): 0.678896 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.35 system time used= 0.678896 maximum resident set size= 1087464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270873 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= 349 involuntary context switches= 2061 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.72128 second user time and 6.79097 second system time The end
Begin job on node120 at 2016-06-07 09:37:51 IDJOB=4078899 IDBENCH=90159 IDSOLVER=2542 FILE ID=node120/4078899-1465285070 RUNJOBID= node120-1465256721-4331 PBS_JOBID= 19843284 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078899-1465285070/watcher-4078899-1465285070 -o /tmp/evaluation-result-4078899-1465285070/solver-4078899-1465285070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078899-1465285070.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 76516381ba4bc043f2da87444e256707 RANDOM SEED=1562674239 node120.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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.85 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.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 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.425 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.425 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.425 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.425 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: 29165840 kB Buffers: 59164 kB Cached: 94964 kB SwapCached: 820 kB Active: 1168552 kB Inactive: 67336 kB Active(anon): 1079284 kB Inactive(anon): 4756 kB Active(file): 89268 kB Inactive(file): 62580 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099668 kB Dirty: 17484 kB Writeback: 0 kB AnonPages: 2885200 kB Mapped: 11764 kB Shmem: 0 kB Slab: 612812 kB SReclaimable: 56888 kB SUnreclaim: 555924 kB KernelStack: 1520 kB PageTables: 9544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2948036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2865152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node120 at 2016-06-07 10:07:51