| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K126.opb |
| MD5SUM | 8617651a414bb8902c12959cc1c92372 |
| 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 | 14994 |
| Total number of constraints | 15248 |
| Number of constraints which are clauses | 15122 |
| Number of constraints which are cardinality constraints (but not clauses) | 126 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 126 |
| 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 | 127 |
| Number of bits of the biggest sum of numbers | 7 |
| 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:36:12+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-4078892-1465284971.opb"] 0.00/0.01 c use --random-gen="196529806 1657512023 209251620 3243820223 3284500836 1394174436 3826989511 20383211 2596507740 1585125583 1333731133 1432150561 959322510 2587670229 2546220402 429056694 1759084129 352333618 201397489 3949403280 1190379416 2915625751 710060851 2638736506 3343566917 653623072 4249979455 1431247503 1229428427 2043008816 2013654453 1649825775 3261332601 3560075959 4152163052 2396942427 3150926725 1766666997 4283689668 3868607282 3523775675 2286921901 3023643954 244427205 3429156806 1231203619 1458030222 1355654274 467718433 3326820277 3715935009 3418859180 1903689472 1609947546 4254968182 500771412 1834555949 2041763804 3531859444 1811999842 2081696138 3937301927 3676737383 3106594801 783297128 3109162059 4167131891 3445148962 3582731534 3483244222 3725527828 1484271679 2514158040 1554379651 3343923976 1496214740 1175453200 3181473476 265560402 2165859578 2686198681 952775680 3114336927 2821413538 2930873487 3044287327 3330959980 1097518623 3313306346 1504210420 3438035909 1499878706 1286521825 2612906318 440858550 1042036125 2369043188 2204799539 88124734 310330387 1836621771 2675439894 47713488 4259336373 3874888048 384047885 3583824309 3576592378 3685056844 969267274 3969306479 2239521813 2958296527 4193185645 2190869294 1625486534 1766740489 2319341633 355188739 748874680 4005709858 905459511 1532668803 1472447776 3458368867 3886000865 810291031 2946817248 2889237826 2813361739 872719009 824100303 2357287458 4209945745 4206375301 3630826531 2963483199 2241665503 893432656 1314352442 2734911556 360741828 696286574 2783237710 288853535 3549057327 3191185816 2237521170 2520832771 3163279036 1842934391 3964035130 514494280 78607460 2913067834 95904859 107349022 2730947195 2232775021 1939897908 3287162591 1087729714 2423945075 2658638686 1290984854 536384488 821296037 1832521533 1727197369 2394224466 2347045971 3618186774 1029705113 3498377659 2240678317 4049170994 4245028459 1692300786 1938213719 3279183514 3232023427 2630536055 937199536 2137949591 1666025701 210766918 3153723469 2421276738 1820586731 3992441313 4046350092 1489998624 394098256 3095975113 3326200121 3088186499 1311598005 1741741592 1880616403 3449626304 538533106 1178057554 2346352198 364470223 4050124936 1898615065 1517763258 90885024 620417134 4153440186 4084534496 1532332748 1584729482 2719159143 61061182 4084164514 597584817 888322243 2603151054 574421955 2870768531 74619496 3170455327 2889132788 2856658434 4225549761 1192861309 3220609199 1371915190 4122806767 19165057 3463303685 1243211515 5140820 2471385667 310892334 3197070189 3772085267 708015659 2373071230 3942453434 2066925353 2645649197 3247579925 3440082597 3470650758 2301518776 3679177030 1081791259 2343418426 3679075879 1557197246 1099748369 2591882310 1372106118 3087332314 255 362436" option to reproduce the execution 0.18/0.21 c #vars 14994 0.18/0.21 c #constraints 15248 0.48/0.54 c Solving starts ... 0.48/0.54 c ============================[ Search Statistics ]============================ 0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.54 c | | | | Limit GC | Var | Constra 0.48/0.54 c ============================================================================= 0.48/0.54 c 0.0s | 0 | 0 | 0 | 10080 0 | 742 | 0 1.20/1.21 c 0.7s | 1 | 4258 | 100 | 10080 0 | 757 | 648 1.89/1.92 c 1.4s | 2 | 8823 | 250 | 11088 0 | 758 | 649 2.49/2.51 c 2.0s | 3 | 17279 | 475 | 12197 0 | 760 | 651 3.39/3.47 c 2.9s | 4 | 34530 | 813 | 13417 0 | 763 | 654 4.39/4.47 c 3.9s | 5 | 48927 | 1320 | 14759 0 | 765 | 656 6.09/6.13 c 5.6s | 6 | 59240 | 2081 | 17859 0 | 767 | 658 8.29/8.32 c 7.8s | 6 | 86175 | 2981 | 17859 0 | 769 | 660 8.79/8.87 c 8.3s | 7 | 95239 | 3223 | 19645 0 | 769 | 660 10.99/11.05 c 10.5s | 7 | 120736 | 4123 | 19645 0 | 771 | 662 12.99/13.07 c 12.5s | 8 | 138315 | 4936 | 21610 0 | 771 | 662 15.08/15.18 c 14.6s | 8 | 157487 | 5736 | 21610 0 | 771 | 662 17.18/17.24 c 16.7s | 8 | 181132 | 6536 | 21610 0 | 773 | 664 19.28/19.39 c 18.9s | 8 | 197966 | 7436 | 21610 0 | 773 | 664 19.48/19.57 c 19.0s | 9 | 200159 | 7506 | 23772 0 | 773 | 664 21.48/21.58 c 21.0s | 9 | 223899 | 8206 | 23772 0 | 774 | 665 23.59/23.69 c 23.1s | 9 | 248636 | 9006 | 23772 0 | 774 | 665 25.69/25.76 c 25.2s | 9 | 267320 | 9706 | 23772 0 | 778 | 669 27.79/27.85 c 27.3s | 9 | 291172 | 10306 | 23772 0 | 783 | 674 29.99/30.03 c 29.5s | 9 | 305912 | 11006 | 23772 0 | 788 | 679 30.79/30.83 c 30.3s | 10 | 312006 | 11361 | 26150 0 | 788 | 679 32.89/33.00 c 32.5s | 10 | 319677 | 12161 | 26150 0 | 788 | 679 35.19/35.22 c 34.7s | 10 | 332679 | 13161 | 26150 0 | 788 | 679 37.28/37.35 c 36.8s | 10 | 347882 | 14061 | 26150 0 | 788 | 679 39.38/39.40 c 38.9s | 10 | 361195 | 14861 | 26150 0 | 788 | 679 41.38/41.41 c 40.9s | 10 | 375427 | 15761 | 26150 0 | 788 | 679 43.58/43.61 c 43.1s | 10 | 383009 | 16461 | 26150 0 | 788 | 679 45.69/45.71 c 45.2s | 10 | 385250 | 17061 | 28766 0 | 788 | 679 45.98/46.02 c 45.5s | 11 | 385444 | 17144 | 28766 0 | 788 | 679 48.18/48.29 c 47.8s | 11 | 395942 | 17744 | 28766 0 | 791 | 682 50.28/50.34 c 49.8s | 11 | 417301 | 18544 | 28766 0 | 791 | 682 52.68/52.72 c 52.2s | 11 | 427237 | 19344 | 28766 0 | 791 | 682 54.88/54.96 c 54.4s | 11 | 444732 | 20044 | 28766 0 | 792 | 683 57.19/57.24 c 56.7s | 11 | 456080 | 20544 | 28766 0 | 796 | 687 59.18/59.27 c 58.7s | 11 | 476406 | 21244 | 28766 0 | 796 | 687 61.48/61.55 c 61.0s | 11 | 490460 | 21844 | 28766 0 | 799 | 690 63.78/63.81 c 63.3s | 11 | 508323 | 22444 | 28766 0 | 800 | 691 65.88/65.92 c 65.4s | 11 | 523413 | 22944 | 28766 0 | 802 | 693 68.08/68.17 c 67.6s | 11 | 537465 | 23344 | 28766 0 | 806 | 697 70.18/70.25 c 69.7s | 11 | 547705 | 24044 | 28766 0 | 807 | 698 72.69/72.72 c 72.2s | 11 | 560963 | 24844 | 28766 0 | 810 | 701 74.79/74.83 c 74.3s | 11 | 575219 | 25644 | 28766 0 | 810 | 701 75.48/75.58 c 75.0s | 12 | 581513 | 25819 | 31643 0 | 811 | 702 77.58/77.62 c 77.1s | 12 | 593324 | 26519 | 31643 0 | 811 | 702 79.88/79.98 c 79.4s | 12 | 605122 | 26919 | 31643 0 | 815 | 706 82.08/82.18 c 81.6s | 12 | 612527 | 27519 | 31643 0 | 815 | 706 84.48/84.57 c 84.0s | 12 | 615719 | 28119 | 31643 0 | 815 | 706 86.88/87.00 c 86.5s | 12 | 616663 | 28419 | 31643 0 | 815 | 706 89.57/89.60 c 89.1s | 12 | 621460 | 28719 | 31643 0 | 816 | 707 91.57/91.66 c 91.1s | 12 | 630230 | 29319 | 31643 0 | 816 | 707 93.97/94.06 c 93.5s | 12 | 640285 | 30019 | 31643 0 | 816 | 707 96.08/96.14 c 95.6s | 12 | 656706 | 30819 | 31643 0 | 816 | 707 98.58/98.65 c 98.1s | 12 | 673688 | 31619 | 31643 0 | 817 | 708 100.88/100.94 c 100s | 12 | 689592 | 32119 | 31643 0 | 818 | 709 102.98/103.05 c 102s | 12 | 701298 | 32519 | 31643 0 | 819 | 710 105.98/106.05 c 105s | 12 | 714490 | 33019 | 31643 1 | 821 | 712 108.28/108.39 c 107s | 12 | 727520 | 33719 | 31643 1 | 823 | 714 110.88/110.95 c 110s | 12 | 743097 | 34519 | 31643 1 | 824 | 715 113.08/113.18 c 112s | 12 | 760832 | 35119 | 31643 1 | 827 | 718 115.28/115.34 c 114s | 12 | 773265 | 35719 | 31643 1 | 829 | 720 117.28/117.36 c 116s | 12 | 788628 | 36319 | 31643 1 | 830 | 721 119.47/119.53 c 118s | 12 | 801585 | 36919 | 31643 1 | 831 | 722 121.47/121.55 c 121s | 12 | 811699 | 37519 | 31643 1 | 831 | 722 123.57/123.69 c 123s | 12 | 814502 | 38119 | 31643 1 | 831 | 722 125.67/125.80 c 125s | 12 | 817399 | 38519 | 31643 1 | 831 | 722 127.47/127.54 c 127s | 13 | 820995 | 38832 | 34808 1 | 833 | 724 129.57/129.67 c 129s | 13 | 835136 | 39432 | 34808 1 | 833 | 724 131.98/132.01 c 131s | 13 | 853623 | 40032 | 34808 1 | 833 | 724 134.18/134.22 c 133s | 13 | 861554 | 40732 | 34808 1 | 833 | 724 136.27/136.33 c 135s | 13 | 875884 | 41432 | 34808 1 | 833 | 724 138.76/138.90 c 138s | 13 | 890209 | 42232 | 34808 1 | 834 | 725 140.96/141.03 c 140s | 13 | 905697 | 42932 | 34808 1 | 834 | 725 143.17/143.28 c 142s | 13 | 917428 | 43632 | 34808 1 | 834 | 725 145.37/145.43 c 144s | 13 | 920093 | 44232 | 34808 1 | 834 | 725 147.77/147.86 c 147s | 13 | 922450 | 44832 | 34808 1 | 834 | 725 149.86/149.99 c 149s | 13 | 924618 | 45332 | 34808 1 | 834 | 725 152.27/152.35 c 151s | 13 | 925343 | 45732 | 34808 1 | 834 | 725 154.26/154.37 c 153s | 13 | 927360 | 46132 | 34808 1 | 834 | 725 156.37/156.49 c 155s | 13 | 930126 | 46832 | 34808 1 | 834 | 725 158.77/158.89 c 158s | 13 | 932978 | 47332 | 34808 1 | 834 | 725 160.87/160.94 c 160s | 13 | 936136 | 47832 | 34808 1 | 834 | 725 163.16/163.25 c 162s | 13 | 937584 | 48232 | 34808 1 | 834 | 725 165.87/165.92 c 165s | 13 | 938719 | 48632 | 34808 1 | 834 | 725 168.37/168.47 c 167s | 13 | 939698 | 48932 | 34808 1 | 834 | 725 171.36/171.47 c 170s | 13 | 941329 | 49332 | 34808 1 | 834 | 725 174.26/174.31 c 173s | 13 | 943903 | 49732 | 34808 1 | 834 | 725 177.07/177.19 c 176s | 13 | 945166 | 50032 | 34808 1 | 834 | 725 180.26/180.38 c 179s | 13 | 945823 | 50232 | 34808 1 | 834 | 725 183.26/183.31 c 182s | 13 | 946710 | 50432 | 34808 1 | 834 | 725 185.66/185.77 c 185s | 13 | 947740 | 50732 | 34808 1 | 834 | 725 187.76/187.89 c 187s | 13 | 948851 | 51032 | 34808 1 | 834 | 725 190.56/190.68 c 190s | 13 | 949923 | 51332 | 34808 1 | 834 | 725 193.06/193.11 c 192s | 13 | 952052 | 51832 | 34808 1 | 834 | 725 195.66/195.74 c 195s | 13 | 955661 | 52332 | 34808 1 | 834 | 725 197.76/197.85 c 197s | 13 | 955995 | 52532 | 34808 1 | 834 | 725 200.27/200.34 c 199s | 13 | 957705 | 52932 | 34808 1 | 834 | 725 202.47/202.50 c 201s | 13 | 958648 | 53232 | 34808 1 | 834 | 725 204.66/204.79 c 204s | 13 | 961605 | 53632 | 34808 1 | 834 | 725 207.25/207.33 c 206s | 13 | 964010 | 54032 | 34808 1 | 834 | 725 209.46/209.51 c 208s | 13 | 964718 | 54232 | 34808 1 | 834 | 725 211.95/212.09 c 211s | 13 | 965637 | 54432 | 34808 1 | 834 | 725 214.06/214.19 c 213s | 13 | 967732 | 54832 | 34808 1 | 834 | 725 216.56/216.70 c 216s | 13 | 969400 | 55132 | 34808 1 | 834 | 725 218.86/218.91 c 218s | 13 | 970021 | 55332 | 34808 1 | 834 | 725 221.26/221.34 c 220s | 13 | 970525 | 55532 | 34808 1 | 834 | 725 224.36/224.49 c 223s | 13 | 970942 | 55732 | 34808 1 | 834 | 725 227.26/227.37 c 226s | 13 | 971777 | 55932 | 34808 1 | 834 | 725 230.35/230.45 c 229s | 13 | 973104 | 56232 | 34808 1 | 834 | 725 232.96/233.00 c 232s | 13 | 974254 | 56532 | 34808 1 | 834 | 725 235.25/235.35 c 234s | 13 | 975508 | 56732 | 34808 1 | 834 | 725 238.15/238.27 c 237s | 13 | 976105 | 56932 | 34808 1 | 834 | 725 241.05/241.10 c 240s | 13 | 978496 | 57132 | 34808 1 | 834 | 725 244.26/244.34 c 243s | 13 | 979336 | 57332 | 34808 1 | 834 | 725 246.75/246.88 c 246s | 13 | 982249 | 57732 | 34808 1 | 834 | 725 249.25/249.40 c 248s | 13 | 984970 | 58132 | 38289 1 | 834 | 725 251.25/251.30 c 250s | 14 | 986009 | 58352 | 38289 1 | 834 | 725 253.45/253.55 c 253s | 14 | 989148 | 58452 | 38289 2 | 835 | 726 256.05/256.14 c 255s | 14 | 1006763 | 59152 | 38289 2 | 836 | 727 258.05/258.16 c 257s | 14 | 1021029 | 59752 | 38289 2 | 837 | 728 260.05/260.18 c 259s | 14 | 1033812 | 60352 | 38289 2 | 838 | 729 262.25/262.30 c 261s | 14 | 1047900 | 61152 | 38289 2 | 838 | 729 264.35/264.49 c 263s | 14 | 1054265 | 61952 | 38289 2 | 838 | 729 266.45/266.54 c 266s | 14 | 1071357 | 62552 | 38289 2 | 838 | 729 268.75/268.81 c 268s | 14 | 1085630 | 63352 | 38289 2 | 838 | 729 270.84/270.96 c 270s | 14 | 1087110 | 63752 | 38289 2 | 838 | 729 273.44/273.54 c 273s | 14 | 1089566 | 64152 | 38289 2 | 838 | 729 275.74/275.85 c 275s | 14 | 1091471 | 64552 | 38289 2 | 838 | 729 277.84/277.99 c 277s | 14 | 1099263 | 64952 | 38289 2 | 839 | 730 279.94/280.08 c 279s | 14 | 1110343 | 65552 | 38289 2 | 839 | 730 282.04/282.12 c 281s | 14 | 1125023 | 66052 | 38289 2 | 840 | 731 284.14/284.29 c 283s | 14 | 1143141 | 66752 | 38289 2 | 840 | 731 286.55/286.62 c 286s | 14 | 1161511 | 67552 | 38289 2 | 840 | 731 289.15/289.23 c 288s | 14 | 1173245 | 67952 | 38289 2 | 842 | 733 291.14/291.28 c 290s | 14 | 1184987 | 68652 | 38289 2 | 842 | 733 293.44/293.50 c 292s | 14 | 1193990 | 69252 | 38289 2 | 843 | 734 295.44/295.52 c 294s | 14 | 1208973 | 70052 | 38289 2 | 843 | 734 297.64/297.79 c 297s | 14 | 1220655 | 70852 | 38289 2 | 843 | 734 299.94/300.01 c 299s | 14 | 1238920 | 71652 | 38289 2 | 843 | 734 301.94/302.08 c 301s | 14 | 1254558 | 72452 | 38289 2 | 843 | 734 304.24/304.32 c 303s | 14 | 1271799 | 73052 | 38289 2 | 843 | 734 306.54/306.60 c 306s | 14 | 1290177 | 73752 | 38289 2 | 843 | 734 308.54/308.65 c 308s | 14 | 1301830 | 74352 | 38289 2 | 843 | 734 310.63/310.74 c 310s | 14 | 1304891 | 74952 | 38289 2 | 843 | 734 313.03/313.19 c 312s | 14 | 1306467 | 75352 | 38289 2 | 843 | 734 315.13/315.20 c 314s | 14 | 1316572 | 75952 | 38289 2 | 843 | 734 317.43/317.54 c 317s | 14 | 1328904 | 76652 | 38289 2 | 843 | 734 319.73/319.83 c 319s | 14 | 1334846 | 77252 | 38289 2 | 843 | 734 321.83/321.96 c 321s | 14 | 1346527 | 77952 | 38289 2 | 843 | 734 324.02/324.16 c 323s | 14 | 1353705 | 78952 | 38289 2 | 843 | 734 326.52/326.61 c 326s | 14 | 1356923 | 79652 | 38289 2 | 843 | 734 328.72/328.85 c 328s | 14 | 1360086 | 80352 | 38289 2 | 843 | 734 331.03/331.17 c 330s | 14 | 1361439 | 80752 | 38289 2 | 843 | 734 333.23/333.33 c 332s | 14 | 1362400 | 81052 | 38289 2 | 843 | 734 335.43/335.53 c 334s | 14 | 1363897 | 81352 | 38289 2 | 843 | 734 338.02/338.18 c 337s | 14 | 1364814 | 81652 | 38289 2 | 843 | 734 341.12/341.22 c 340s | 14 | 1365543 | 81852 | 38289 2 | 843 | 734 343.13/343.26 c 342s | 14 | 1370991 | 82052 | 38289 3 | 843 | 734 345.22/345.37 c 344s | 14 | 1388859 | 82752 | 38289 3 | 843 | 734 347.32/347.41 c 346s | 14 | 1399845 | 83652 | 38289 3 | 843 | 734 349.32/349.43 c 348s | 14 | 1412203 | 84352 | 38289 3 | 843 | 734 351.42/351.55 c 351s | 14 | 1428582 | 85052 | 38289 3 | 843 | 734 353.52/353.64 c 353s | 14 | 1435413 | 85552 | 38289 3 | 843 | 734 355.72/355.82 c 355s | 14 | 1449563 | 86252 | 38289 3 | 843 | 734 358.11/358.26 c 357s | 14 | 1464978 | 86952 | 38289 3 | 843 | 734 360.31/360.44 c 359s | 15 | 1474642 | 87632 | 42118 3 | 843 | 734 362.51/362.68 c 362s | 15 | 1485129 | 88132 | 42118 3 | 843 | 734 364.61/364.70 c 364s | 15 | 1490810 | 88732 | 42118 3 | 843 | 734 366.71/366.83 c 366s | 15 | 1498297 | 89532 | 42118 3 | 843 | 734 368.71/368.85 c 368s | 15 | 1500335 | 90032 | 42118 3 | 843 | 734 370.82/370.96 c 370s | 15 | 1505229 | 90632 | 42118 3 | 843 | 734 373.01/373.17 c 372s | 15 | 1508828 | 91132 | 42118 3 | 843 | 734 375.12/375.24 c 374s | 15 | 1516375 | 91832 | 42118 3 | 843 | 734 377.22/377.40 c 376s | 15 | 1522011 | 92432 | 42118 3 | 843 | 734 379.42/379.59 c 379s | 15 | 1525106 | 92932 | 42118 3 | 843 | 734 381.51/381.60 c 381s | 15 | 1529401 | 93632 | 42118 3 | 843 | 734 384.11/384.27 c 383s | 15 | 1531692 | 94132 | 42118 3 | 843 | 734 386.51/386.66 c 386s | 15 | 1534179 | 94532 | 42118 3 | 843 | 734 388.81/388.91 c 388s | 15 | 1536060 | 95032 | 42118 3 | 843 | 734 391.01/391.14 c 390s | 15 | 1537950 | 95432 | 42118 3 | 843 | 734 393.31/393.42 c 392s | 15 | 1539106 | 95732 | 42118 3 | 843 | 734 395.51/395.62 c 395s | 15 | 1540452 | 96032 | 42118 3 | 843 | 734 397.81/397.95 c 397s | 15 | 1546443 | 96532 | 42118 3 | 843 | 734 400.11/400.29 c 399s | 15 | 1550240 | 96932 | 42118 3 | 843 | 734 402.61/402.72 c 402s | 15 | 1551634 | 97232 | 42118 3 | 843 | 734 404.81/404.92 c 404s | 15 | 1553980 | 97732 | 42118 3 | 843 | 734 407.20/407.33 c 406s | 15 | 1555756 | 98132 | 42118 3 | 843 | 734 409.21/409.36 c 408s | 15 | 1558509 | 98632 | 42118 3 | 843 | 734 411.51/411.64 c 411s | 15 | 1560697 | 99032 | 42118 3 | 843 | 734 414.10/414.21 c 413s | 15 | 1562916 | 99432 | 42118 3 | 843 | 734 416.40/416.50 c 415s | 15 | 1563393 | 99632 | 42118 3 | 843 | 734 418.70/418.81 c 418s | 15 | 1564323 | 99932 | 42118 3 | 843 | 734 420.70/420.83 c 420s | 15 | 1565344 | 100132 | 42118 3 | 843 | 734 424.19/424.34 c 423s | 15 | 1565732 | 100332 | 42118 3 | 843 | 734 427.49/427.65 c 427s | 15 | 1566538 | 100532 | 42118 3 | 843 | 734 430.19/430.32 c 429s | 15 | 1567089 | 100732 | 42118 3 | 843 | 734 432.89/433.03 c 432s | 15 | 1567561 | 100932 | 42118 3 | 843 | 734 435.18/435.32 c 434s | 15 | 1573487 | 101632 | 42118 3 | 843 | 734 437.38/437.54 c 436s | 15 | 1587110 | 102132 | 42118 3 | 843 | 734 439.48/439.64 c 439s | 15 | 1600779 | 102632 | 42118 3 | 843 | 734 442.19/442.31 c 441s | 15 | 1602848 | 103132 | 42118 3 | 843 | 734 444.47/444.62 c 444s | 15 | 1606560 | 103632 | 42118 3 | 843 | 734 446.68/446.87 c 446s | 15 | 1607376 | 103932 | 42118 3 | 843 | 734 448.97/449.12 c 448s | 15 | 1608455 | 104232 | 42118 3 | 843 | 734 451.57/451.77 c 451s | 15 | 1616474 | 104632 | 42118 4 | 843 | 734 454.17/454.35 c 453s | 15 | 1623761 | 105132 | 42118 4 | 844 | 735 456.37/456.50 c 455s | 15 | 1626749 | 105632 | 42118 4 | 844 | 735 458.87/459.09 c 458s | 15 | 1629425 | 106032 | 42118 4 | 844 | 735 461.36/461.51 c 460s | 15 | 1630353 | 106232 | 42118 4 | 844 | 735 464.17/464.32 c 463s | 15 | 1632551 | 106532 | 42118 4 | 844 | 735 467.66/467.82 c 467s | 15 | 1633815 | 106832 | 42118 4 | 844 | 735 469.67/469.85 c 469s | 15 | 1634857 | 107032 | 42118 4 | 844 | 735 471.76/471.93 c 471s | 15 | 1635626 | 107232 | 42118 4 | 844 | 735 475.76/475.94 c 475s | 15 | 1636245 | 107432 | 42118 4 | 844 | 735 478.56/478.77 c 478s | 15 | 1636892 | 107632 | 42118 4 | 844 | 735 480.96/481.12 c 480s | 15 | 1639530 | 108032 | 42118 4 | 844 | 735 483.66/483.81 c 483s | 15 | 1640384 | 108232 | 42118 4 | 844 | 735 487.06/487.21 c 486s | 15 | 1641197 | 108432 | 42118 4 | 844 | 735 489.25/489.47 c 488s | 15 | 1642250 | 108632 | 42118 4 | 844 | 735 493.56/493.72 c 493s | 15 | 1642923 | 108832 | 42118 4 | 844 | 735 495.56/495.76 c 495s | 15 | 1643570 | 109032 | 42118 4 | 844 | 735 498.46/498.68 c 498s | 15 | 1644781 | 109232 | 42118 4 | 844 | 735 501.57/501.71 c 501s | 15 | 1644983 | 109332 | 42118 4 | 844 | 735 503.66/503.89 c 503s | 15 | 1645455 | 109432 | 42118 4 | 844 | 735 505.96/506.16 c 505s | 15 | 1645736 | 109532 | 42118 4 | 844 | 735 508.35/508.52 c 507s | 15 | 1646760 | 109832 | 42118 4 | 844 | 735 510.45/510.68 c 510s | 15 | 1647181 | 109932 | 42118 4 | 844 | 735 514.55/514.77 c 514s | 15 | 1647471 | 110032 | 42118 4 | 844 | 735 516.86/517.06 c 516s | 15 | 1648009 | 110132 | 42118 4 | 844 | 735 519.86/520.05 c 519s | 15 | 1649436 | 110532 | 42118 4 | 844 | 735 522.06/522.23 c 521s | 15 | 1649918 | 110632 | 42118 4 | 844 | 735 524.66/524.83 c 524s | 15 | 1651723 | 110932 | 42118 4 | 844 | 735 527.25/527.48 c 526s | 15 | 1653147 | 111232 | 42118 4 | 844 | 735 529.65/529.82 c 529s | 15 | 1654489 | 111432 | 42118 4 | 844 | 735 532.65/532.88 c 532s | 15 | 1658251 | 111632 | 42118 4 | 844 | 735 535.35/535.58 c 535s | 15 | 1662378 | 112232 | 42118 4 | 844 | 735 537.55/537.71 c 537s | 15 | 1663273 | 112432 | 42118 4 | 844 | 735 541.55/541.75 c 541s | 15 | 1664493 | 112632 | 42118 4 | 844 | 735 544.25/544.46 c 543s | 15 | 1665931 | 112932 | 42118 4 | 844 | 735 546.66/546.87 c 546s | 15 | 1666428 | 113032 | 42118 4 | 844 | 735 549.55/549.73 c 549s | 15 | 1667053 | 113132 | 42118 4 | 844 | 735 552.35/552.56 c 552s | 15 | 1681269 | 113632 | 42118 4 | 845 | 736 554.55/554.78 c 554s | 15 | 1688185 | 114232 | 42118 4 | 846 | 737 556.95/557.15 c 556s | 15 | 1699955 | 115032 | 42118 4 | 846 | 737 559.65/559.86 c 559s | 15 | 1707493 | 115432 | 42118 4 | 848 | 739 561.75/561.92 c 561s | 15 | 1714335 | 115832 | 42118 4 | 849 | 740 563.95/564.12 c 563s | 15 | 1722758 | 116532 | 42118 4 | 849 | 740 566.35/566.51 c 565s | 15 | 1732800 | 117032 | 42118 4 | 850 | 741 568.74/568.92 c 568s | 15 | 1744521 | 117632 | 42118 4 | 851 | 742 570.85/571.01 c 570s | 15 | 1749979 | 118232 | 42118 4 | 851 | 742 572.84/573.03 c 572s | 15 | 1756976 | 118932 | 42118 4 | 851 | 742 574.84/575.07 c 574s | 15 | 1765008 | 119532 | 42118 4 | 851 | 742 577.24/577.43 c 576s | 15 | 1769785 | 119932 | 42118 4 | 852 | 743 579.33/579.57 c 579s | 15 | 1781458 | 120532 | 42118 4 | 852 | 743 581.53/581.79 c 581s | 15 | 1789371 | 121532 | 42118 4 | 852 | 743 583.53/583.79 c 583s | 15 | 1800650 | 122132 | 42118 4 | 852 | 743 585.83/586.04 c 585s | 15 | 1819234 | 122732 | 42118 4 | 852 | 743 587.83/588.07 c 587s | 15 | 1831816 | 123332 | 42118 4 | 852 | 743 590.04/590.29 c 589s | 15 | 1842186 | 123832 | 42118 4 | 853 | 744 592.23/592.45 c 591s | 15 | 1850772 | 124432 | 42118 4 | 853 | 744 594.23/594.49 c 593s | 15 | 1861051 | 124932 | 42118 4 | 853 | 744 596.33/596.54 c 596s | 15 | 1873537 | 125432 | 42118 4 | 853 | 744 598.53/598.70 c 598s | 15 | 1885583 | 126032 | 42118 4 | 853 | 744 600.72/600.90 c 600s | 15 | 1887457 | 126532 | 42118 4 | 853 | 744 603.52/603.70 c 603s | 15 | 1889394 | 126932 | 42118 4 | 853 | 744 605.72/605.90 c 605s | 15 | 1892474 | 127332 | 42118 4 | 853 | 744 607.92/608.18 c 607s | 15 | 1898125 | 127632 | 42118 5 | 853 | 744 610.02/610.21 c 609s | 15 | 1909849 | 128332 | 42118 5 | 853 | 744 612.72/612.92 c 612s | 15 | 1922287 | 129232 | 42118 5 | 854 | 745 614.82/615.04 c 614s | 15 | 1930061 | 129832 | 42118 5 | 854 | 745 616.93/617.17 c 616s | 15 | 1931988 | 130332 | 42118 5 | 854 | 745 619.12/619.32 c 618s | 15 | 1933783 | 130832 | 46330 5 | 854 | 745 621.61/621.83 c 621s | 15 | 1936657 | 131332 | 46330 5 | 854 | 745 622.61/622.83 c 622s | 16 | 1937281 | 131552 | 46330 5 | 854 | 745 624.71/624.98 c 624s | 16 | 1943953 | 131952 | 46330 5 | 854 | 745 627.00/627.23 c 626s | 16 | 1954412 | 132652 | 46330 5 | 854 | 745 629.21/629.45 c 628s | 16 | 1956657 | 133252 | 46330 5 | 854 | 745 631.71/631.94 c 631s | 16 | 1958235 | 133652 | 46330 5 | 854 | 745 634.11/634.34 c 633s | 16 | 1959627 | 134052 | 46330 5 | 854 | 745 636.21/636.49 c 635s | 16 | 1960987 | 134352 | 46330 5 | 854 | 745 638.51/638.70 c 638s | 16 | 1968331 | 135052 | 46330 5 | 854 | 745 641.01/641.23 c 640s | 16 | 1971164 | 135452 | 46330 5 | 854 | 745 643.42/643.62 c 643s | 16 | 1973313 | 135852 | 46330 5 | 854 | 745 645.41/645.67 c 645s | 16 | 1974684 | 136152 | 46330 5 | 854 | 745 647.40/647.68 c 647s | 16 | 1977229 | 136552 | 46330 5 | 854 | 745 649.91/650.12 c 649s | 16 | 1979947 | 136952 | 46330 5 | 854 | 745 651.90/652.16 c 651s | 16 | 1981183 | 137252 | 46330 5 | 854 | 745 654.30/654.51 c 653s | 16 | 1982140 | 137552 | 46330 5 | 854 | 745 656.30/656.56 c 656s | 16 | 1982776 | 137752 | 46330 5 | 854 | 745 658.90/659.10 c 658s | 16 | 1983392 | 137952 | 46330 5 | 854 | 745 661.30/661.53 c 660s | 16 | 1984293 | 138252 | 46330 5 | 854 | 745 663.29/663.55 c 663s | 16 | 1985024 | 138452 | 46330 5 | 854 | 745 665.79/666.08 c 665s | 16 | 1988656 | 138852 | 46330 5 | 854 | 745 668.09/668.39 c 667s | 16 | 1991865 | 139352 | 46330 5 | 854 | 745 670.39/670.60 c 670s | 16 | 1994622 | 139852 | 46330 5 | 854 | 745 672.79/673.07 c 672s | 16 | 1998124 | 140252 | 46330 5 | 854 | 745 674.88/675.16 c 674s | 16 | 2006053 | 140852 | 46330 5 | 854 | 745 676.98/677.29 c 676s | 16 | 2018700 | 141452 | 46330 5 | 854 | 745 679.18/679.49 c 678s | 16 | 2026346 | 142152 | 46330 5 | 854 | 745 681.28/681.55 c 681s | 16 | 2041031 | 142552 | 46330 5 | 855 | 746 683.58/683.88 c 683s | 16 | 2054505 | 143152 | 46330 5 | 855 | 746 685.68/685.91 c 685s | 16 | 2065580 | 143752 | 46330 5 | 855 | 746 687.68/687.97 c 687s | 16 | 2072061 | 144352 | 46330 5 | 855 | 746 689.88/690.11 c 689s | 16 | 2074436 | 144752 | 46330 5 | 855 | 746 692.47/692.71 c 692s | 16 | 2077068 | 145352 | 46330 5 | 855 | 746 694.57/694.84 c 694s | 16 | 2081382 | 145952 | 46330 5 | 855 | 746 696.57/696.88 c 696s | 16 | 2092066 | 146452 | 46330 5 | 855 | 746 699.17/699.43 c 698s | 16 | 2106245 | 147052 | 46330 5 | 856 | 747 701.37/701.63 c 701s | 16 | 2115818 | 147752 | 46330 5 | 856 | 747 703.78/704.00 c 703s | 16 | 2127160 | 148252 | 46330 5 | 857 | 748 705.87/706.19 c 705s | 16 | 2139127 | 148852 | 46330 5 | 857 | 748 708.27/708.53 c 707s | 16 | 2156438 | 149452 | 46330 5 | 857 | 748 710.37/710.63 c 710s | 16 | 2162390 | 150052 | 46330 5 | 857 | 748 712.77/713.09 c 712s | 16 | 2180607 | 150752 | 46330 5 | 857 | 748 714.77/715.10 c 714s | 16 | 2190028 | 151552 | 46330 5 | 857 | 748 716.86/717.15 c 716s | 16 | 2204910 | 152152 | 46330 5 | 857 | 748 719.17/719.48 c 718s | 16 | 2218109 | 152852 | 46330 5 | 857 | 748 721.56/721.82 c 721s | 16 | 2230513 | 153552 | 46330 5 | 857 | 748 724.06/724.32 c 723s | 16 | 2236232 | 154152 | 46330 6 | 857 | 748 726.15/726.40 c 725s | 16 | 2247874 | 154852 | 46330 6 | 857 | 748 728.35/728.69 c 728s | 16 | 2251791 | 155352 | 46330 6 | 857 | 748 730.55/730.89 c 730s | 16 | 2254136 | 155652 | 46330 6 | 857 | 748 732.85/733.15 c 732s | 16 | 2259505 | 156352 | 46330 6 | 857 | 748 734.95/735.28 c 734s | 16 | 2262937 | 156952 | 46330 6 | 857 | 748 737.05/737.31 c 736s | 16 | 2269588 | 157652 | 46330 6 | 857 | 748 739.14/739.45 c 738s | 16 | 2275564 | 158352 | 46330 6 | 857 | 748 741.25/741.58 c 741s | 16 | 2278775 | 158952 | 46330 6 | 857 | 748 743.34/743.66 c 743s | 16 | 2283286 | 159552 | 46330 6 | 857 | 748 745.64/745.95 c 745s | 16 | 2297827 | 160252 | 46330 6 | 857 | 748 748.03/748.39 c 747s | 16 | 2312188 | 160952 | 46330 6 | 857 | 748 750.13/750.42 c 749s | 16 | 2319247 | 161452 | 46330 6 | 857 | 748 752.14/752.43 c 751s | 16 | 2327963 | 162152 | 46330 6 | 857 | 748 754.23/754.53 c 753s | 16 | 2339741 | 162852 | 46330 6 | 857 | 748 756.53/756.87 c 756s | 16 | 2352117 | 163552 | 46330 6 | 857 | 748 758.62/759.00 c 758s | 16 | 2363675 | 164152 | 46330 6 | 857 | 748 760.93/761.24 c 760s | 16 | 2376491 | 164752 | 46330 6 | 857 | 748 763.23/763.54 c 762s | 16 | 2385650 | 165352 | 46330 6 | 857 | 748 765.22/765.56 c 765s | 16 | 2394328 | 165952 | 46330 6 | 857 | 748 767.42/767.75 c 767s | 16 | 2402678 | 166652 | 46330 6 | 857 | 748 770.02/770.39 c 769s | 16 | 2404134 | 167052 | 46330 6 | 857 | 748 772.22/772.57 c 772s | 16 | 2409492 | 167652 | 46330 6 | 857 | 748 774.61/774.93 c 774s | 16 | 2413104 | 168252 | 46330 6 | 857 | 748 776.81/777.19 c 776s | 16 | 2418887 | 168852 | 46330 6 | 857 | 748 779.01/779.36 c 778s | 16 | 2421294 | 169252 | 46330 6 | 857 | 748 781.21/781.53 c 780s | 16 | 2422437 | 169552 | 46330 6 | 857 | 748 783.51/783.88 c 783s | 16 | 2424535 | 169952 | 46330 6 | 857 | 748 786.00/786.38 c 785s | 16 | 2426644 | 170352 | 46330 6 | 857 | 748 788.20/788.54 c 788s | 16 | 2430172 | 170752 | 46330 6 | 857 | 748 790.50/790.86 c 790s | 16 | 2433895 | 171252 | 46330 6 | 857 | 748 792.71/793.02 c 792s | 16 | 2435331 | 171652 | 46330 6 | 857 | 748 795.11/795.45 c 794s | 16 | 2436921 | 172052 | 46330 6 | 857 | 748 797.50/797.88 c 797s | 16 | 2444507 | 172852 | 46330 6 | 857 | 748 799.60/799.94 c 799s | 16 | 2451986 | 173352 | 46330 6 | 857 | 748 801.70/802.08 c 801s | 16 | 2456652 | 173852 | 46330 6 | 857 | 748 803.80/804.13 c 803s | 16 | 2463740 | 174352 | 46330 6 | 857 | 748 806.00/806.31 c 805s | 16 | 2473327 | 174952 | 46330 6 | 857 | 748 807.99/808.35 c 807s | 16 | 2482613 | 175452 | 46330 6 | 857 | 748 810.19/810.50 c 809s | 16 | 2492026 | 176052 | 46330 6 | 857 | 748 812.29/812.66 c 812s | 16 | 2498724 | 176652 | 46330 6 | 857 | 748 814.68/815.02 c 814s | 16 | 2500612 | 177152 | 46330 6 | 857 | 748 816.78/817.11 c 816s | 16 | 2502612 | 177552 | 46330 6 | 857 | 748 818.88/819.26 c 818s | 16 | 2504943 | 177952 | 46330 6 | 857 | 748 821.39/821.71 c 821s | 16 | 2510951 | 178452 | 46330 6 | 857 | 748 823.47/823.90 c 823s | 16 | 2516309 | 178852 | 46330 6 | 857 | 748 825.57/825.95 c 825s | 16 | 2524762 | 179252 | 46330 7 | 857 | 748 827.78/828.10 c 827s | 16 | 2540977 | 179952 | 46330 7 | 857 | 748 829.78/830.18 c 829s | 16 | 2548954 | 180652 | 46330 7 | 857 | 748 831.98/832.36 c 831s | 16 | 2555840 | 181152 | 46330 7 | 857 | 748 834.27/834.60 c 834s | 16 | 2569193 | 181952 | 46330 7 | 857 | 748 836.37/836.71 c 836s | 16 | 2576942 | 182552 | 46330 7 | 857 | 748 838.47/838.80 c 838s | 16 | 2582127 | 183052 | 46330 7 | 857 | 748 840.47/840.88 c 840s | 16 | 2592835 | 183552 | 46330 7 | 857 | 748 842.57/842.95 c 842s | 16 | 2600140 | 184052 | 46330 7 | 857 | 748 844.87/845.23 c 844s | 16 | 2613395 | 184852 | 46330 7 | 857 | 748 846.97/847.32 c 846s | 16 | 2621281 | 185552 | 46330 7 | 857 | 748 849.47/849.82 c 849s | 16 | 2628438 | 186252 | 46330 7 | 857 | 748 851.47/851.87 c 851s | 16 | 2634114 | 186852 | 46330 7 | 857 | 748 853.66/854.03 c 853s | 16 | 2638941 | 187452 | 46330 7 | 857 | 748 855.86/856.27 c 855s | 16 | 2647360 | 188052 | 46330 7 | 857 | 748 857.96/858.37 c 857s | 16 | 2655490 | 188652 | 46330 7 | 857 | 748 859.97/860.37 c 859s | 16 | 2663970 | 189352 | 46330 7 | 857 | 748 862.17/862.56 c 862s | 16 | 2670028 | 189952 | 46330 7 | 857 | 748 864.36/864.73 c 864s | 16 | 2678380 | 190552 | 46330 7 | 857 | 748 866.85/867.21 c 866s | 16 | 2683816 | 191052 | 46330 7 | 857 | 748 869.15/869.57 c 869s | 16 | 2686732 | 191452 | 46330 7 | 857 | 748 871.25/871.60 c 871s | 16 | 2692377 | 192052 | 46330 7 | 857 | 748 873.55/873.94 c 873s | 16 | 2697175 | 192652 | 46330 7 | 857 | 748 875.85/876.21 c 875s | 16 | 2702027 | 193152 | 46330 7 | 857 | 748 877.95/878.35 c 877s | 16 | 2708939 | 193752 | 46330 7 | 857 | 748 880.55/880.94 c 880s | 16 | 2711648 | 194052 | 46330 7 | 857 | 748 883.44/883.85 c 883s | 16 | 2712347 | 194252 | 46330 7 | 857 | 748 886.04/886.48 c 885s | 16 | 2713985 | 194452 | 46330 7 | 857 | 748 888.04/888.49 c 887s | 16 | 2719584 | 194952 | 46330 7 | 857 | 748 890.24/890.63 c 890s | 16 | 2723404 | 195352 | 46330 7 | 857 | 748 892.74/893.13 c 892s | 16 | 2725375 | 195652 | 46330 7 | 857 | 748 895.14/895.51 c 894s | 16 | 2727655 | 196052 | 46330 7 | 857 | 748 897.63/898.00 c 897s | 16 | 2728723 | 196252 | 50964 7 | 857 | 748 899.63/900.05 c 899s | 16 | 2729507 | 196452 | 50964 7 | 857 | 748 902.23/902.62 c 902s | 16 | 2730463 | 196652 | 50964 7 | 857 | 748 904.32/904.74 c 904s | 16 | 2733904 | 197052 | 50964 7 | 857 | 748 906.42/906.85 c 906s | 16 | 2735393 | 197352 | 50964 7 | 857 | 748 906.82/907.29 c 906s | 17 | 2736116 | 197432 | 50964 7 | 857 | 748 909.02/909.48 c 908s | 17 | 2739809 | 197932 | 50964 7 | 857 | 748 911.53/911.99 c 911s | 17 | 2741622 | 198332 | 50964 7 | 857 | 748 913.62/914.00 c 913s | 17 | 2742983 | 198632 | 50964 7 | 857 | 748 915.62/916.03 c 915s | 17 | 2745841 | 199232 | 50964 7 | 857 | 748 918.61/919.05 c 918s | 17 | 2747443 | 199632 | 50964 7 | 857 | 748 921.12/921.56 c 921s | 17 | 2751202 | 200232 | 50964 7 | 857 | 748 923.22/923.67 c 923s | 17 | 2755051 | 200732 | 50964 7 | 858 | 749 925.52/925.92 c 925s | 17 | 2761254 | 201432 | 50964 7 | 858 | 749 927.52/927.95 c 927s | 17 | 2764653 | 201932 | 50964 7 | 858 | 749 929.62/930.09 c 929s | 17 | 2768714 | 202532 | 50964 7 | 858 | 749 931.71/932.10 c 931s | 17 | 2770768 | 203032 | 50964 7 | 858 | 749 933.91/934.31 c 933s | 17 | 2773325 | 203532 | 50964 7 | 858 | 749 936.82/937.21 c 936s | 17 | 2779028 | 203932 | 50964 7 | 860 | 751 938.91/939.35 c 938s | 17 | 2786340 | 204532 | 50964 7 | 860 | 751 941.32/941.71 c 941s | 17 | 2795746 | 205232 | 50964 7 | 860 | 751 943.52/943.92 c 943s | 17 | 2808509 | 205732 | 50964 7 | 860 | 751 945.72/946.17 c 945s | 17 | 2821073 | 206232 | 50964 7 | 860 | 751 948.01/948.44 c 947s | 17 | 2830347 | 206832 | 50964 7 | 860 | 751 951.12/951.58 c 951s | 17 | 2843631 | 207432 | 50964 8 | 860 | 751 953.21/953.68 c 953s | 17 | 2860734 | 208132 | 50964 8 | 860 | 751 955.71/956.16 c 955s | 17 | 2869093 | 208732 | 50964 8 | 860 | 751 958.11/958.54 c 958s | 17 | 2874838 | 209432 | 50964 8 | 860 | 751 960.21/960.65 c 960s | 17 | 2880338 | 210132 | 50964 8 | 860 | 751 962.61/963.06 c 962s | 17 | 2886563 | 210932 | 50964 8 | 860 | 751 964.81/965.21 c 964s | 17 | 2888683 | 211432 | 50964 8 | 860 | 751 967.11/967.58 c 967s | 17 | 2893146 | 212132 | 50964 8 | 860 | 751 969.61/970.00 c 969s | 17 | 2894177 | 212432 | 50964 8 | 860 | 751 972.12/972.52 c 971s | 17 | 2895348 | 212732 | 50964 8 | 860 | 751 976.11/976.56 c 976s | 17 | 2895550 | 212832 | 50964 8 | 860 | 751 978.91/979.32 c 978s | 17 | 2895904 | 212932 | 50964 8 | 860 | 751 980.92/981.39 c 980s | 17 | 2908336 | 213532 | 50964 8 | 860 | 751 983.01/983.50 c 982s | 17 | 2920193 | 214232 | 50964 8 | 860 | 751 985.41/985.81 c 985s | 17 | 2934050 | 215032 | 50964 8 | 860 | 751 987.41/987.86 c 987s | 17 | 2946411 | 215732 | 50964 8 | 860 | 751 989.51/989.97 c 989s | 17 | 2955821 | 216432 | 50964 8 | 860 | 751 991.61/992.09 c 991s | 17 | 2975333 | 217132 | 50964 8 | 860 | 751 993.71/994.18 c 993s | 17 | 2981571 | 217732 | 50964 8 | 860 | 751 995.80/996.29 c 995s | 17 | 2990115 | 218432 | 50964 8 | 860 | 751 998.00/998.44 c 997s | 17 | 2996467 | 219232 | 50964 8 | 860 | 751 1000.30/1000.71 c 1000s | 17 | 3005432 | 219832 | 50964 8 | 860 | 751 1002.30/1002.79 c 1002s | 17 | 3014145 | 220432 | 50964 8 | 860 | 751 1004.40/1004.86 c 1004s | 17 | 3025371 | 221032 | 50964 8 | 860 | 751 1006.50/1006.96 c 1006s | 17 | 3032247 | 221732 | 50964 8 | 860 | 751 1008.70/1009.14 c 1008s | 17 | 3039454 | 222432 | 50964 8 | 860 | 751 1010.80/1011.23 c 1010s | 17 | 3041253 | 222832 | 50964 8 | 860 | 751 1013.00/1013.43 c 1012s | 17 | 3047448 | 223432 | 50964 8 | 860 | 751 1015.19/1015.65 c 1015s | 17 | 3053697 | 224132 | 50964 8 | 860 | 751 1017.29/1017.70 c 1017s | 17 | 3058473 | 224732 | 50964 8 | 860 | 751 1019.59/1020.01 c 1019s | 17 | 3062659 | 225432 | 50964 8 | 860 | 751 1022.19/1022.61 c 1022s | 17 | 3065384 | 226032 | 50964 8 | 860 | 751 1024.19/1024.66 c 1024s | 17 | 3068783 | 226532 | 50964 8 | 860 | 751 1026.50/1026.98 c 1026s | 17 | 3070589 | 226932 | 50964 8 | 860 | 751 1028.80/1029.21 c 1028s | 17 | 3072575 | 227432 | 50964 8 | 860 | 751 1031.20/1031.68 c 1031s | 17 | 3075599 | 227932 | 50964 8 | 860 | 751 1033.61/1034.04 c 1033s | 17 | 3079229 | 228532 | 50964 8 | 860 | 751 1035.70/1036.20 c 1035s | 17 | 3082381 | 229032 | 50964 8 | 860 | 751 1038.70/1039.11 c 1038s | 17 | 3083895 | 229432 | 50964 8 | 860 | 751 1041.19/1041.66 c 1041s | 17 | 3085092 | 229732 | 50964 8 | 860 | 751 1043.60/1044.03 c 1043s | 17 | 3086759 | 230032 | 50964 8 | 860 | 751 1045.70/1046.16 c 1045s | 17 | 3087407 | 230232 | 50964 8 | 860 | 751 1048.19/1048.63 c 1048s | 17 | 3088080 | 230432 | 50964 8 | 860 | 751 1050.29/1050.75 c 1050s | 17 | 3089913 | 230832 | 50964 8 | 860 | 751 1052.69/1053.16 c 1052s | 17 | 3092040 | 231332 | 50964 8 | 860 | 751 1055.09/1055.55 c 1055s | 17 | 3093118 | 231632 | 50964 8 | 860 | 751 1057.19/1057.60 c 1057s | 17 | 3096546 | 232032 | 50964 8 | 860 | 751 1059.29/1059.77 c 1059s | 17 | 3102472 | 232632 | 50964 8 | 860 | 751 1061.38/1061.81 c 1061s | 17 | 3104787 | 233132 | 50964 8 | 860 | 751 1063.48/1063.99 c 1063s | 17 | 3109730 | 233732 | 50964 8 | 860 | 751 1065.68/1066.11 c 1065s | 17 | 3113876 | 234232 | 50964 8 | 860 | 751 1067.70/1068.11 c 1067s | 17 | 3118022 | 234732 | 50964 8 | 860 | 751 1069.90/1070.34 c 1069s | 17 | 3120430 | 235332 | 50964 8 | 860 | 751 1072.10/1072.53 c 1071s | 17 | 3121867 | 235732 | 50964 8 | 860 | 751 1074.49/1074.98 c 1074s | 17 | 3123440 | 236232 | 50964 8 | 860 | 751 1077.38/1077.83 c 1077s | 17 | 3124998 | 236732 | 50964 8 | 860 | 751 1079.89/1080.32 c 1079s | 17 | 3126769 | 237132 | 50964 8 | 860 | 751 1082.18/1082.63 c 1082s | 17 | 3127697 | 237432 | 50964 8 | 860 | 751 1085.08/1085.51 c 1084s | 17 | 3128267 | 237732 | 50964 8 | 860 | 751 1087.58/1088.09 c 1087s | 17 | 3128441 | 237832 | 50964 8 | 860 | 751 1091.28/1091.75 c 1091s | 17 | 3128642 | 237932 | 50964 8 | 860 | 751 1093.38/1093.89 c 1093s | 17 | 3129820 | 238232 | 50964 8 | 860 | 751 1096.38/1096.84 c 1096s | 17 | 3130542 | 238432 | 50964 8 | 860 | 751 1099.47/1099.96 c 1099s | 17 | 3131293 | 238732 | 50964 8 | 860 | 751 1102.37/1102.83 c 1102s | 17 | 3132792 | 239032 | 50964 8 | 860 | 751 1104.37/1104.85 c 1104s | 17 | 3133357 | 239232 | 50964 8 | 860 | 751 1107.97/1108.48 c 1107s | 17 | 3133844 | 239432 | 50964 8 | 860 | 751 1111.88/1112.39 c 1111s | 17 | 3134237 | 239632 | 50964 8 | 860 | 751 1115.18/1115.69 c 1115s | 17 | 3134427 | 239732 | 50964 8 | 860 | 751 1118.68/1119.19 c 1118s | 17 | 3135229 | 239932 | 50964 8 | 860 | 751 1121.48/1121.97 c 1121s | 17 | 3136122 | 240132 | 50964 8 | 860 | 751 1124.08/1124.50 c 1123s | 17 | 3136733 | 240332 | 50964 8 | 860 | 751 1126.88/1127.37 c 1126s | 17 | 3137425 | 240532 | 50964 8 | 860 | 751 1130.58/1131.00 c 1130s | 17 | 3138132 | 240732 | 50964 8 | 860 | 751 1134.17/1134.67 c 1134s | 17 | 3138440 | 240832 | 50964 8 | 860 | 751 1137.37/1137.86 c 1137s | 17 | 3139129 | 241032 | 50964 8 | 860 | 751 1139.67/1140.13 c 1139s | 17 | 3139523 | 241132 | 50964 8 | 860 | 751 1143.07/1143.52 c 1142s | 17 | 3140034 | 241332 | 50964 8 | 860 | 751 1145.47/1145.91 c 1145s | 17 | 3140298 | 241432 | 50964 8 | 860 | 751 1148.17/1148.61 c 1148s | 17 | 3140479 | 241532 | 50964 8 | 860 | 751 1151.57/1152.01 c 1151s | 17 | 3140798 | 241632 | 50964 9 | 860 | 751 1154.27/1154.73 c 1154s | 17 | 3141152 | 241732 | 50964 9 | 860 | 751 1157.57/1158.00 c 1157s | 17 | 3141565 | 241832 | 50964 9 | 860 | 751 1160.66/1161.17 c 1160s | 17 | 3141754 | 241932 | 50964 9 | 860 | 751 1163.26/1163.74 c 1163s | 17 | 3142180 | 242032 | 50964 9 | 860 | 751 1166.77/1167.28 c 1166s | 17 | 3142367 | 242132 | 50964 9 | 860 | 751 1170.27/1170.73 c 1170s | 17 | 3142562 | 242232 | 50964 9 | 860 | 751 1172.77/1173.24 c 1172s | 17 | 3142936 | 242332 | 50964 9 | 860 | 751 1175.37/1175.80 c 1175s | 17 | 3143287 | 242432 | 50964 9 | 860 | 751 1178.67/1179.18 c 1178s | 17 | 3143624 | 242532 | 50964 9 | 860 | 751 1184.07/1184.57 c 1184s | 17 | 3143853 | 242632 | 50964 9 | 860 | 751 1188.16/1188.69 c 1188s | 17 | 3144440 | 242832 | 50964 9 | 860 | 751 1192.16/1192.64 c 1192s | 17 | 3144614 | 242932 | 50964 9 | 860 | 751 1195.86/1196.34 c 1195s | 17 | 3144833 | 243032 | 50964 9 | 860 | 751 1200.56/1201.07 c 1200s | 17 | 3145014 | 243132 | 50964 9 | 860 | 751 1203.76/1204.27 c 1203s | 17 | 3145173 | 243232 | 50964 9 | 860 | 751 1207.16/1207.66 c 1207s | 17 | 3145401 | 243332 | 50964 9 | 860 | 751 1211.26/1211.77 c 1211s | 17 | 3145629 | 243432 | 50964 9 | 860 | 751 1214.76/1215.27 c 1214s | 17 | 3145833 | 243532 | 50964 9 | 860 | 751 1217.76/1218.28 c 1217s | 17 | 3145966 | 243632 | 50964 9 | 860 | 751 1222.45/1222.95 c 1222s | 17 | 3146155 | 243732 | 50964 9 | 860 | 751 1225.46/1225.99 c 1225s | 17 | 3146390 | 243832 | 50964 9 | 860 | 751 1229.37/1229.82 c 1229s | 17 | 3146626 | 243932 | 50964 9 | 860 | 751 1233.56/1234.04 c 1233s | 17 | 3146876 | 244032 | 50964 9 | 860 | 751 1237.16/1237.63 c 1237s | 17 | 3147184 | 244132 | 50964 9 | 860 | 751 1240.75/1241.23 c 1240s | 17 | 3147406 | 244232 | 50964 9 | 860 | 751 1243.95/1244.42 c 1243s | 17 | 3147717 | 244332 | 50964 9 | 860 | 751 1246.55/1247.03 c 1246s | 17 | 3148048 | 244432 | 50964 9 | 860 | 751 1251.25/1251.75 c 1251s | 17 | 3148256 | 244532 | 50964 9 | 860 | 751 1255.56/1256.01 c 1255s | 17 | 3148612 | 244632 | 50964 9 | 860 | 751 1257.96/1258.46 c 1257s | 17 | 3149004 | 244732 | 50964 9 | 860 | 751 1261.26/1261.73 c 1261s | 17 | 3149297 | 244832 | 50964 9 | 860 | 751 1263.95/1264.46 c 1263s | 17 | 3149539 | 244932 | 50964 9 | 860 | 751 1268.35/1268.89 c 1268s | 17 | 3149868 | 245032 | 50964 9 | 860 | 751 1271.95/1272.44 c 1271s | 17 | 3150139 | 245132 | 50964 9 | 860 | 751 1275.56/1276.05 c 1275s | 17 | 3150514 | 245232 | 50964 9 | 860 | 751 1278.86/1279.39 c 1278s | 17 | 3150824 | 245332 | 50964 9 | 860 | 751 1282.35/1282.88 c 1282s | 17 | 3151039 | 245432 | 50964 9 | 860 | 751 1286.75/1287.24 c 1286s | 17 | 3151309 | 245532 | 50964 9 | 860 | 751 1290.45/1290.99 c 1290s | 17 | 3151664 | 245632 | 50964 9 | 860 | 751 1295.64/1296.13 c 1295s | 17 | 3151787 | 245732 | 50964 9 | 860 | 751 1300.05/1300.60 c 1300s | 17 | 3151937 | 245832 | 50964 9 | 860 | 751 1305.85/1306.32 c 1305s | 17 | 3152097 | 245932 | 50964 9 | 860 | 751 1310.54/1311.05 c 1310s | 17 | 3152276 | 246032 | 50964 9 | 860 | 751 1314.54/1315.02 c 1314s | 17 | 3152659 | 246132 | 50964 9 | 860 | 751 1316.74/1317.23 c 1316s | 17 | 3163997 | 246732 | 50964 9 | 860 | 751 1318.84/1319.39 c 1318s | 17 | 3171344 | 247332 | 50964 9 | 860 | 751 1321.04/1321.52 c 1320s | 17 | 3180983 | 247832 | 50964 9 | 860 | 751 1323.14/1323.69 c 1323s | 17 | 3184399 | 248332 | 50964 9 | 860 | 751 1325.24/1325.79 c 1325s | 17 | 3189000 | 248832 | 50964 9 | 860 | 751 1327.44/1327.92 c 1327s | 17 | 3192920 | 249332 | 50964 9 | 860 | 751 1329.84/1330.34 c 1329s | 17 | 3198029 | 249932 | 50964 9 | 860 | 751 1331.84/1332.39 c 1331s | 17 | 3200351 | 250432 | 50964 9 | 860 | 751 1334.24/1334.75 c 1334s | 17 | 3201511 | 250732 | 50964 9 | 860 | 751 1336.54/1337.08 c 1336s | 17 | 3205420 | 251132 | 50964 9 | 860 | 751 1338.93/1339.40 c 1338s | 17 | 3208166 | 251632 | 50964 9 | 860 | 751 1340.93/1341.48 c 1340s | 17 | 3210273 | 251932 | 50964 9 | 860 | 751 1343.63/1344.13 c 1343s | 17 | 3212882 | 252332 | 50964 9 | 860 | 751 1346.04/1346.51 c 1345s | 17 | 3213490 | 252532 | 50964 9 | 860 | 751 1348.53/1349.06 c 1348s | 17 | 3214897 | 252832 | 50964 9 | 860 | 751 1351.33/1351.82 c 1351s | 17 | 3216962 | 253132 | 50964 9 | 860 | 751 1353.64/1354.14 c 1353s | 17 | 3218369 | 253332 | 50964 9 | 860 | 751 1356.33/1356.89 c 1356s | 17 | 3218901 | 253532 | 50964 9 | 860 | 751 1359.54/1360.09 c 1359s | 17 | 3220594 | 253732 | 50964 9 | 860 | 751 1361.64/1362.13 c 1361s | 17 | 3224344 | 254132 | 50964 9 | 860 | 751 1363.94/1364.41 c 1363s | 17 | 3228471 | 254632 | 50964 9 | 860 | 751 1366.24/1366.74 c 1366s | 17 | 3230329 | 255032 | 50964 9 | 860 | 751 1368.64/1369.17 c 1368s | 17 | 3233737 | 255432 | 50964 9 | 860 | 751 1370.83/1371.31 c 1370s | 17 | 3234909 | 255732 | 50964 9 | 860 | 751 1373.44/1373.95 c 1373s | 17 | 3236096 | 256032 | 50964 9 | 860 | 751 1375.53/1376.10 c 1375s | 17 | 3243511 | 256532 | 50964 9 | 860 | 751 1377.64/1378.11 c 1377s | 17 | 3248907 | 256932 | 50964 9 | 860 | 751 1379.63/1380.17 c 1379s | 17 | 3251965 | 257432 | 50964 9 | 860 | 751 1381.73/1382.26 c 1381s | 17 | 3255325 | 258032 | 50964 9 | 860 | 751 1384.13/1384.60 c 1384s | 17 | 3257068 | 258432 | 50964 9 | 860 | 751 1386.83/1387.37 c 1386s | 17 | 3258527 | 258732 | 50964 9 | 860 | 751 1388.94/1389.48 c 1388s | 17 | 3259850 | 259032 | 50964 9 | 860 | 751 1391.13/1391.69 c 1391s | 17 | 3261616 | 259532 | 50964 9 | 860 | 751 1393.63/1394.17 c 1393s | 17 | 3263427 | 260032 | 50964 9 | 860 | 751 1396.23/1396.76 c 1396s | 17 | 3264288 | 260332 | 50964 9 | 860 | 751 1398.33/1398.89 c 1398s | 17 | 3265290 | 260532 | 50964 9 | 860 | 751 1401.13/1401.60 c 1401s | 17 | 3267580 | 260932 | 50964 9 | 860 | 751 1403.52/1404.02 c 1403s | 17 | 3274246 | 261432 | 50964 9 | 860 | 751 1405.72/1406.29 c 1405s | 17 | 3278395 | 262032 | 50964 9 | 860 | 751 1408.22/1408.77 c 1408s | 17 | 3281765 | 262532 | 50964 9 | 860 | 751 1410.52/1411.09 c 1410s | 17 | 3283725 | 262932 | 50964 9 | 860 | 751 1412.72/1413.29 c 1412s | 17 | 3286765 | 263532 | 50964 9 | 860 | 751 1414.83/1415.32 c 1414s | 17 | 3289347 | 264032 | 50964 9 | 860 | 751 1417.03/1417.57 c 1417s | 17 | 3291409 | 264432 | 50964 9 | 860 | 751 1419.23/1419.75 c 1419s | 17 | 3296342 | 265232 | 50964 9 | 860 | 751 1421.63/1422.15 c 1421s | 17 | 3299989 | 265832 | 50964 9 | 860 | 751 1423.83/1424.36 c 1423s | 17 | 3303789 | 266432 | 50964 9 | 860 | 751 1426.13/1426.64 c 1426s | 17 | 3307025 | 266932 | 50964 9 | 860 | 751 1428.43/1428.95 c 1428s | 17 | 3310276 | 267432 | 50964 9 | 860 | 751 1430.52/1431.08 c 1430s | 17 | 3311955 | 267832 | 50964 9 | 860 | 751 1432.72/1433.29 c 1432s | 17 | 3315079 | 268332 | 50964 9 | 860 | 751 1435.32/1435.80 c 1435s | 17 | 3316348 | 268732 | 50964 9 | 860 | 751 1437.32/1437.83 c 1437s | 17 | 3317474 | 269032 | 50964 9 | 860 | 751 1439.53/1440.02 c 1439s | 17 | 3320597 | 269532 | 50964 9 | 860 | 751 1442.42/1442.91 c 1442s | 17 | 3320942 | 269632 | 50964 10 | 860 | 751 1445.12/1445.64 c 1445s | 17 | 3323923 | 270132 | 50964 10 | 860 | 751 1447.42/1447.90 c 1447s | 17 | 3329933 | 270732 | 50964 10 | 860 | 751 1449.62/1450.14 c 1449s | 17 | 3342217 | 271432 | 50964 10 | 860 | 751 1451.82/1452.34 c 1451s | 17 | 3351177 | 272232 | 50964 10 | 860 | 751 1454.32/1454.84 c 1454s | 17 | 3361877 | 273032 | 50964 10 | 860 | 751 1456.61/1457.11 c 1456s | 17 | 3367892 | 273632 | 50964 10 | 860 | 751 1459.72/1460.24 c 1459s | 17 | 3370174 | 274132 | 50964 10 | 860 | 751 1462.92/1463.42 c 1462s | 17 | 3371280 | 274432 | 50964 10 | 860 | 751 1465.41/1465.97 c 1465s | 17 | 3373404 | 274732 | 50964 10 | 860 | 751 1467.41/1467.98 c 1467s | 17 | 3381796 | 275332 | 50964 10 | 860 | 751 1469.61/1470.16 c 1469s | 17 | 3389704 | 275832 | 50964 10 | 860 | 751 1471.72/1472.28 c 1471s | 17 | 3393546 | 276332 | 50964 10 | 860 | 751 1474.02/1474.55 c 1474s | 17 | 3399224 | 276932 | 50964 10 | 860 | 751 1476.62/1477.10 c 1476s | 17 | 3401497 | 277432 | 50964 10 | 860 | 751 1478.62/1479.19 c 1478s | 17 | 3402637 | 277732 | 50964 10 | 860 | 751 1481.41/1481.96 c 1481s | 17 | 3404074 | 278132 | 50964 10 | 860 | 751 1483.81/1484.34 c 1483s | 17 | 3405066 | 278432 | 50964 10 | 860 | 751 1486.01/1486.59 c 1486s | 17 | 3406476 | 278732 | 50964 10 | 860 | 751 1488.52/1489.02 c 1488s | 17 | 3407114 | 278932 | 50964 10 | 860 | 751 1490.82/1491.37 c 1490s | 17 | 3407647 | 279132 | 50964 10 | 860 | 751 1493.42/1493.95 c 1493s | 17 | 3408352 | 279332 | 50964 10 | 860 | 751 1495.62/1496.17 c 1495s | 17 | 3408552 | 279432 | 50964 10 | 860 | 751 1498.21/1498.79 c 1498s | 17 | 3409255 | 279632 | 50964 10 | 860 | 751 1501.31/1501.89 c 1501s | 17 | 3409679 | 279832 | 50964 10 | 860 | 751 1503.41/1503.90 c 1503s | 17 | 3411593 | 280032 | 50964 10 | 860 | 751 1505.81/1506.39 c 1505s | 17 | 3415446 | 280532 | 50964 10 | 860 | 751 1507.91/1508.42 c 1507s | 17 | 3416569 | 280732 | 50964 10 | 860 | 751 1510.21/1510.71 c 1510s | 17 | 3420840 | 281232 | 50964 10 | 860 | 751 1512.71/1513.25 c 1512s | 17 | 3424067 | 281732 | 50964 10 | 860 | 751 1514.70/1515.29 c 1514s | 17 | 3425627 | 282032 | 50964 10 | 860 | 751 1517.20/1517.74 c 1517s | 17 | 3426946 | 282332 | 50964 10 | 860 | 751 1519.20/1519.79 c 1519s | 17 | 3430064 | 282732 | 50964 10 | 860 | 751 1521.91/1522.41 c 1521s | 17 | 3430918 | 283032 | 50964 10 | 860 | 751 1523.90/1524.49 c 1523s | 17 | 3432587 | 283432 | 50964 10 | 860 | 751 1527.00/1527.51 c 1526s | 17 | 3433526 | 283732 | 50964 10 | 860 | 751 1529.20/1529.74 c 1529s | 17 | 3434296 | 283932 | 50964 10 | 860 | 751 1532.20/1532.71 c 1532s | 17 | 3435186 | 284132 | 50964 10 | 860 | 751 1534.20/1534.73 c 1534s | 17 | 3437081 | 284432 | 50964 10 | 860 | 751 1536.50/1537.04 c 1536s | 17 | 3439572 | 284832 | 50964 10 | 860 | 751 1538.60/1539.16 c 1538s | 17 | 3440278 | 285032 | 50964 10 | 860 | 751 1540.90/1541.46 c 1540s | 17 | 3441789 | 285332 | 50964 10 | 860 | 751 1543.60/1544.16 c 1543s | 17 | 3442284 | 285532 | 50964 10 | 860 | 751 1545.80/1546.39 c 1545s | 17 | 3443402 | 285732 | 50964 10 | 860 | 751 1548.40/1548.95 c 1548s | 17 | 3444395 | 286032 | 50964 10 | 860 | 751 1551.21/1551.75 c 1551s | 17 | 3445565 | 286332 | 50964 10 | 860 | 751 1553.50/1554.02 c 1553s | 17 | 3447120 | 286732 | 50964 10 | 860 | 751 1556.70/1557.28 c 1556s | 17 | 3447475 | 286932 | 50964 10 | 860 | 751 1558.90/1559.49 c 1558s | 17 | 3447623 | 287032 | 50964 10 | 860 | 751 1561.00/1561.57 c 1561s | 17 | 3448818 | 287332 | 50964 10 | 860 | 751 1563.40/1563.96 c 1563s | 17 | 3449964 | 287732 | 50964 10 | 860 | 751 1565.50/1566.04 c 1565s | 17 | 3450868 | 288032 | 50964 10 | 860 | 751 1567.60/1568.15 c 1567s | 17 | 3452023 | 288332 | 50964 10 | 860 | 751 1569.90/1570.48 c 1569s | 17 | 3453073 | 288632 | 50964 10 | 860 | 751 1572.20/1572.76 c 1572s | 17 | 3454222 | 288932 | 50964 10 | 860 | 751 1574.70/1575.26 c 1574s | 17 | 3456192 | 289332 | 50964 10 | 860 | 751 1577.00/1577.58 c 1577s | 17 | 3460508 | 289732 | 50964 10 | 860 | 751 1579.50/1580.01 c 1579s | 17 | 3462495 | 290132 | 50964 10 | 860 | 751 1581.60/1582.15 c 1581s | 17 | 3463118 | 290332 | 50964 10 | 860 | 751 1584.40/1584.95 c 1584s | 17 | 3464113 | 290632 | 50964 10 | 860 | 751 1587.30/1587.82 c 1587s | 17 | 3465105 | 290932 | 50964 10 | 860 | 751 1590.70/1591.26 c 1590s | 17 | 3465504 | 291132 | 50964 10 | 860 | 751 1593.19/1593.79 c 1593s | 17 | 3465947 | 291332 | 50964 10 | 860 | 751 1596.09/1596.64 c 1596s | 17 | 3467474 | 291732 | 50964 10 | 860 | 751 1598.90/1599.49 c 1598s | 17 | 3468160 | 291932 | 50964 10 | 860 | 751 1601.49/1602.03 c 1601s | 17 | 3468891 | 292132 | 50964 10 | 860 | 751 1604.40/1605.00 c 1604s | 17 | 3469749 | 292432 | 50964 10 | 860 | 751 1607.20/1607.71 c 1607s | 17 | 3471045 | 292832 | 50964 10 | 860 | 751 1609.30/1609.85 c 1609s | 17 | 3471720 | 293032 | 50964 10 | 860 | 751 1612.40/1612.99 c 1612s | 17 | 3472493 | 293332 | 50964 10 | 860 | 751 1615.09/1615.64 c 1615s | 17 | 3472969 | 293532 | 50964 10 | 860 | 751 1618.39/1618.91 c 1618s | 17 | 3473378 | 293732 | 50964 10 | 860 | 751 1621.29/1621.87 c 1621s | 17 | 3474057 | 293932 | 50964 10 | 860 | 751 1623.69/1624.28 c 1623s | 17 | 3475946 | 294132 | 50964 10 | 860 | 751 1625.89/1626.40 c 1625s | 17 | 3477207 | 294432 | 56061 10 | 860 | 751 1628.79/1629.36 c 1628s | 17 | 3478528 | 294732 | 56061 10 | 860 | 751 1631.09/1631.66 c 1631s | 17 | 3479189 | 294932 | 56061 10 | 860 | 751 1633.89/1634.48 c 1633s | 17 | 3479956 | 295132 | 56061 10 | 860 | 751 1636.19/1636.71 c 1636s | 17 | 3481092 | 295432 | 56061 10 | 860 | 751 1638.89/1639.48 c 1638s | 17 | 3482226 | 295732 | 56061 10 | 860 | 751 1641.49/1642.02 c 1641s | 17 | 3482671 | 295932 | 56061 10 | 860 | 751 1644.09/1644.67 c 1644s | 17 | 3483475 | 296132 | 56061 10 | 860 | 751 1645.59/1646.14 c 1645s | 18 | 3483955 | 296252 | 56061 10 | 860 | 751 1647.69/1648.21 c 1647s | 18 | 3490030 | 296552 | 56061 10 | 860 | 751 1649.78/1650.37 c 1649s | 18 | 3493809 | 296852 | 56061 10 | 861 | 752 1652.08/1652.62 c 1652s | 18 | 3496496 | 297452 | 56061 10 | 861 | 752 1654.08/1654.64 c 1654s | 18 | 3507098 | 298052 | 56061 10 | 861 | 752 1656.38/1656.97 c 1656s | 18 | 3510123 | 298852 | 56061 10 | 861 | 752 1658.99/1659.59 c 1659s | 18 | 3512315 | 299152 | 56061 11 | 861 | 752 1661.28/1661.87 c 1661s | 18 | 3526123 | 299852 | 56061 11 | 862 | 753 1663.48/1664.09 c 1663s | 18 | 3535960 | 300752 | 56061 11 | 862 | 753 1665.68/1666.28 c 1665s | 18 | 3550467 | 301552 | 56061 11 | 862 | 753 1667.88/1668.48 c 1667s | 18 | 3562615 | 302252 | 56061 11 | 863 | 754 1670.18/1670.76 c 1670s | 18 | 3570043 | 303052 | 56061 11 | 863 | 754 1672.58/1673.12 c 1672s | 18 | 3572813 | 303652 | 56061 11 | 863 | 754 1674.58/1675.15 c 1674s | 18 | 3573603 | 303852 | 56061 11 | 863 | 754 1676.68/1677.26 c 1676s | 18 | 3580834 | 304552 | 56061 11 | 863 | 754 1678.87/1679.41 c 1678s | 18 | 3584813 | 305052 | 56061 11 | 863 | 754 1680.87/1681.43 c 1680s | 18 | 3587553 | 305552 | 56061 11 | 863 | 754 1683.68/1684.25 c 1683s | 18 | 3590884 | 306052 | 56061 11 | 863 | 754 1685.97/1686.58 c 1686s | 18 | 3598723 | 306952 | 56061 11 | 863 | 754 1688.18/1688.77 c 1688s | 18 | 3603159 | 307752 | 56061 11 | 863 | 754 1690.48/1691.05 c 1690s | 18 | 3605848 | 308352 | 56061 11 | 863 | 754 1692.78/1693.38 c 1692s | 18 | 3607565 | 308752 | 56061 11 | 863 | 754 1695.18/1695.78 c 1695s | 18 | 3609379 | 309152 | 56061 11 | 863 | 754 1697.88/1698.43 c 1697s | 18 | 3611202 | 309552 | 56061 11 | 863 | 754 1699.88/1700.47 c 1699s | 18 | 3616048 | 309952 | 56061 11 | 863 | 754 1701.98/1702.50 c 1701s | 18 | 3631218 | 310652 | 56061 11 | 863 | 754 1704.08/1704.64 c 1704s | 18 | 3643890 | 311452 | 56061 11 | 863 | 754 1706.17/1706.74 c 1706s | 18 | 3658068 | 312152 | 56061 11 | 863 | 754 1708.47/1709.09 c 1708s | 18 | 3665705 | 312752 | 56061 11 | 864 | 755 1710.57/1711.11 c 1710s | 18 | 3675455 | 313452 | 56061 11 | 864 | 755 1712.57/1713.12 c 1712s | 18 | 3686870 | 314252 | 56061 11 | 864 | 755 1714.57/1715.19 c 1714s | 18 | 3699968 | 315052 | 56061 11 | 864 | 755 1716.87/1717.45 c 1716s | 18 | 3714141 | 315852 | 56061 11 | 864 | 755 1718.97/1719.57 c 1719s | 18 | 3729366 | 316452 | 56061 11 | 864 | 755 1721.17/1721.74 c 1721s | 18 | 3736010 | 317252 | 56061 11 | 864 | 755 1723.18/1723.77 c 1723s | 18 | 3745616 | 318052 | 56061 11 | 864 | 755 1725.17/1725.77 c 1725s | 18 | 3750296 | 318552 | 56061 11 | 864 | 755 1727.37/1727.99 c 1727s | 18 | 3757561 | 319152 | 56061 11 | 864 | 755 1729.88/1730.48 c 1729s | 18 | 3758539 | 319552 | 56061 11 | 864 | 755 1732.57/1733.19 c 1732s | 18 | 3760528 | 319952 | 56061 11 | 864 | 755 1735.68/1736.24 c 1735s | 18 | 3761799 | 320252 | 56061 11 | 864 | 755 1738.37/1738.97 c 1738s | 18 | 3762319 | 320452 | 56061 11 | 864 | 755 1740.78/1741.38 c 1740s | 18 | 3763926 | 320752 | 56061 11 | 864 | 755 1743.08/1743.69 c 1743s | 18 | 3765746 | 321152 | 56061 11 | 864 | 755 1745.67/1746.25 c 1745s | 18 | 3766813 | 321452 | 56061 11 | 864 | 755 1747.67/1748.25 c 1747s | 18 | 3777022 | 321852 | 56061 11 | 865 | 756 1749.77/1750.34 c 1749s | 18 | 3786038 | 322552 | 56061 11 | 865 | 756 1751.87/1752.41 c 1751s | 18 | 3794678 | 323152 | 56061 11 | 865 | 756 1753.87/1754.49 c 1753s | 18 | 3805187 | 323852 | 56061 11 | 865 | 756 1755.97/1756.57 c 1756s | 18 | 3816948 | 324652 | 56061 11 | 865 | 756 1758.16/1758.72 c 1758s | 18 | 3822700 | 325252 | 56061 11 | 865 | 756 1760.36/1760.90 c 1760s | 18 | 3830944 | 325952 | 56061 11 | 865 | 756 1762.36/1762.93 c 1762s | 18 | 3842680 | 326552 | 56061 11 | 865 | 756 1764.57/1765.15 c 1764s | 18 | 3853043 | 327252 | 56061 11 | 865 | 756 1766.87/1767.40 c 1766s | 18 | 3865805 | 327952 | 56061 11 | 865 | 756 1768.97/1769.59 c 1769s | 18 | 3867994 | 328452 | 56061 11 | 865 | 756 1771.07/1771.61 c 1771s | 18 | 3870463 | 328652 | 56061 12 | 865 | 756 1773.07/1773.67 c 1773s | 18 | 3880672 | 329352 | 56061 12 | 865 | 756 1775.77/1776.38 c 1775s | 18 | 3882930 | 329952 | 56061 12 | 865 | 756 1777.86/1778.49 c 1777s | 18 | 3888988 | 330552 | 56061 12 | 865 | 756 1780.16/1780.70 c 1780s | 18 | 3907759 | 331252 | 56061 12 | 865 | 756 1782.16/1782.71 c 1782s | 18 | 3916526 | 332052 | 56061 12 | 865 | 756 1784.26/1784.80 c 1784s | 18 | 3930683 | 332752 | 56061 12 | 865 | 756 1786.26/1786.87 c 1786s | 18 | 3946065 | 333452 | 56061 12 | 865 | 756 1788.46/1789.05 c 1788s | 18 | 3961097 | 334152 | 56061 12 | 865 | 756 1790.46/1791.09 c 1790s | 18 | 3973600 | 334852 | 56061 12 | 865 | 756 1792.76/1793.38 c 1792s | 18 | 3987893 | 335552 | 56061 12 | 865 | 756 1794.77/1795.39 c 1794s | 18 | 4002822 | 336252 | 56061 12 | 865 | 756 1796.87/1797.45 c 1796s | 18 | 4010102 | 336952 | 56061 12 | 865 | 756 1799.17/1799.73 c 1799s | 18 | 4012588 | 337552 | 56061 12 | 865 | 756
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-4078892-1465284971/watcher-4078892-1465284971 -o /tmp/evaluation-result-4078892-1465284971/solver-4078892-1465284971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078892-1465284971.opb pid=16813 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.04 2.10 2.05 3/179 16816 /proc/meminfo: memFree=30606988/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=803260 CPUtime=0 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 3010 0 0 0 0 0 0 0 20 0 4 0 110430618 822538240 2859 33554432000 4194304 16246674 140736857857136 140736857856560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 201327 2868 441 2943 0 198221 0 [pid=16816/tid=16817] ppid=16813 vsize=820668 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 840364032 2930 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=825788 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 845606912 2947 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=829884 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110430618 849801216 2963 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.04 2.10 2.05 3/179 16816 /proc/meminfo: memFree=30606988/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 28665 0 0 0 5 4 0 0 20 0 4 0 110430618 1333334016 28453 33554432000 4194304 16246674 140736857857136 140736857856448 7376282 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 325521 28467 801 2943 0 322415 0 [pid=16816/tid=16817] ppid=16813 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1333334016 28478 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1333334016 28488 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1333334016 28500 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200527 s] /proc/loadavg: 2.04 2.10 2.05 3/179 16816 /proc/meminfo: memFree=30606988/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1313348 CPUtime=0.18 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 47538 0 0 0 12 6 0 0 20 0 4 0 110430618 1344868352 47836 33554432000 4194304 16246674 140736857857136 140736857856448 8057033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 328337 47836 801 2943 0 325231 0 [pid=16816/tid=16817] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47836 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47836 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47836 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300452 s] /proc/loadavg: 2.04 2.10 2.05 3/179 16816 /proc/meminfo: memFree=30606988/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 47599 0 0 0 22 6 0 0 20 0 4 0 110430618 1344868352 47897 33554432000 4194304 16246674 140736857857136 140736857856448 13753008 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 328337 47897 833 2943 0 325231 0 [pid=16816/tid=16817] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47897 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47897 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 47897 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700414 s] /proc/loadavg: 2.04 2.10 2.05 3/179 16816 /proc/meminfo: memFree=30606988/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 111862 0 0 0 53 15 0 0 20 0 4 0 110430618 1344868352 112161 33554432000 4194304 16246674 140736857857136 140736857839040 5532589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 328337 112168 876 2943 0 325231 0 [pid=16816/tid=16817] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 112173 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 112177 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 112182 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.04 2.10 2.05 3/183 16820 /proc/meminfo: memFree=29953428/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 228786 0 0 0 118 31 0 0 20 0 4 0 110430618 1344868352 229084 33554432000 4194304 16246674 140736857857136 140736857839040 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 328337 229086 876 2943 0 325231 0 [pid=16816/tid=16817] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 229087 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 229089 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1344868352 229091 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10042 s] /proc/loadavg: 2.04 2.10 2.05 3/183 16820 /proc/meminfo: memFree=29594836/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=3.09 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 252905 0 0 0 275 34 0 0 20 0 4 0 110430618 1357451264 253203 33554432000 4194304 16246674 140736857857136 140736857839040 5823975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 253203 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 253203 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 253203 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 253203 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.30042 s] /proc/loadavg: 2.04 2.10 2.05 4/183 16820 /proc/meminfo: memFree=29517332/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=6.29 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272082 0 0 0 592 37 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 140736857839040 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 272380 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.12 2.11 2.05 3/183 16820 /proc/meminfo: memFree=29517628/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=12.69 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272082 0 0 0 1232 37 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 140736857839040 5824017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 272380 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272380 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5005 s] /proc/loadavg: 2.16 2.12 2.05 3/183 16820 /proc/meminfo: memFree=29518072/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=25.49 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272083 0 0 0 2511 38 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 140736857839040 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 272381 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1005 s] /proc/loadavg: 2.18 2.13 2.06 3/183 16820 /proc/meminfo: memFree=29518292/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=51.08 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272083 0 0 0 5069 39 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 140736857839040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 272381 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.301 s] /proc/loadavg: 2.08 2.11 2.05 3/183 16821 /proc/meminfo: memFree=29517708/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=102.29 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272083 0 0 0 10186 43 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 140736857839040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16816/statm: 331409 272381 885 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272381 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1325636 [startup+1302.3 s] /proc/loadavg: 2.03 2.04 2.01 3/183 16899 /proc/meminfo: memFree=29501016/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1301.85 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 130086 99 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857839040 12483280 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 4/183 16900 /proc/meminfo: memFree=29501292/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1361.84 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 136084 100 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 5722678 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.03 2.04 2.00 3/183 16902 /proc/meminfo: memFree=29501204/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1421.83 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 142081 102 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/184 16906 /proc/meminfo: memFree=29500608/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1481.81 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 148076 105 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 12483399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.00 3/184 16930 /proc/meminfo: memFree=29500820/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1541.81 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 154075 106 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857839040 12483201 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 16931 /proc/meminfo: memFree=29501108/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1601.79 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 160067 112 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 12483391 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 16932 /proc/meminfo: memFree=29501596/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1661.78 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 166064 114 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 5717450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 16934 /proc/meminfo: memFree=29501344/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1721.77 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 172062 115 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857840128 5754525 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.13 2.03 2.01 3/183 16935 /proc/meminfo: memFree=29501104/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1781.76 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 178059 117 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857839040 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.03 2.01 3/183 16936 /proc/meminfo: memFree=29501220/32872528 swapFree=11196/354588 [pid=16816] ppid=16813 vsize=1325636 CPUtime=1800.06 cores=0,2,4,6 /proc/16816/stat : 16816 (toysat) R 16813 16816 12837 0 -1 4202496 272415 0 0 0 179889 117 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 140736857839040 6026674 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16816/statm: 331409 272382 886 2943 0 328303 0 [pid=16816/tid=16817] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16817/stat : 16817 (toysat) S 16813 16816 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634867678448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16816/tid=16818] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16818/stat : 16818 (toysat) S 16813 16816 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634857188592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16816/tid=16819] ppid=16813 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/16816/task/16819/stat : 16819 (toysat) S 16813 16816 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110430618 1357451264 272382 33554432000 4194304 16246674 140736857857136 139634846715056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1325636 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 16816 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1798.9 CPU system time (s): 1.17382 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 1.17382 maximum resident set size= 1089528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272415 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= 345 involuntary context switches= 2445 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6173 second user time and 6.89495 second system time The end
Begin job on node126 at 2016-06-07 09:36:12 IDJOB=4078892 IDBENCH=90146 IDSOLVER=2542 FILE ID=node126/4078892-1465284971 RUNJOBID= node126-1465253620-12853 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K126.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078892-1465284971/watcher-4078892-1465284971 -o /tmp/evaluation-result-4078892-1465284971/solver-4078892-1465284971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078892-1465284971.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8617651a414bb8902c12959cc1c92372 RANDOM SEED=1502630760 node126.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 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.500 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.500 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.500 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.500 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.56 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.500 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.500 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: 30607532 kB Buffers: 20788 kB Cached: 80904 kB SwapCached: 2100 kB Active: 1138496 kB Inactive: 43680 kB Active(anon): 1077780 kB Inactive(anon): 4724 kB Active(file): 60716 kB Inactive(file): 38956 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098636 kB Dirty: 17100 kB Writeback: 0 kB AnonPages: 1515748 kB Mapped: 10696 kB Shmem: 0 kB Slab: 595744 kB SReclaimable: 39844 kB SUnreclaim: 555900 kB KernelStack: 1520 kB PageTables: 6936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1579404 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1099776 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 node126 at 2016-06-07 10:06:12