| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K140.opb |
| MD5SUM | 59945e7fb6f70b0a7aeb9a0267c89f72 |
| 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 | 16660 |
| Total number of constraints | 16942 |
| Number of constraints which are clauses | 16802 |
| Number of constraints which are cardinality constraints (but not clauses) | 140 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 140 |
| 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 | 141 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c 2016-06-07T10:05:57+0200 0.00/0.02 c version = 0.5.0 0.00/0.02 c githash = 1a49202 0.00/0.02 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.02 c arch = x86_64 0.00/0.02 c os = linux 0.00/0.02 c compiler = ghc 7.10 0.00/0.02 c packages: 0.00/0.02 c OptDir-0.0.3 0.00/0.02 c array-0.5.1.0 0.00/0.02 c base-4.8.2.0 0.00/0.02 c bytestring-0.10.6.0 0.00/0.02 c bytestring-builder-0.10.6.0.0 0.00/0.02 c clock-0.7.2 0.00/0.02 c containers-0.5.6.2 0.00/0.02 c data-default-0.5.3 0.00/0.02 c data-default-class-0.0.1 0.00/0.02 c data-interval-1.2.0 0.00/0.02 c deepseq-1.4.1.1 0.00/0.02 c directory-1.2.2.0 0.00/0.02 c exceptions-0.8.2.1 0.00/0.02 c extended-reals-0.2.1.0 0.00/0.02 c filepath-1.4.0.0 0.00/0.02 c finite-field-0.8.0 0.00/0.02 c hashable-1.2.4.0 0.00/0.02 c heaps-0.3.3 0.00/0.02 c intern-0.9.1.4 0.00/0.02 c loop-0.3.0 0.00/0.02 c mtl-2.2.1 0.00/0.02 c multiset-0.3.2 0.00/0.02 c mwc-random-0.13.3.2 0.00/0.02 c parse_dimacs-1.3 0.00/0.02 c parsec-3.1.9 0.00/0.02 c prettyclass-1.0.0.0 0.00/0.02 c primes-0.2.1.0 0.00/0.02 c primitive-0.6.1.0 0.00/0.02 c process-1.2.3.0 0.00/0.02 c pseudo-boolean-0.1.3.0 0.00/0.03 c queue-0.1.2 0.00/0.03 c semigroups-0.18.1 0.00/0.03 c sign-0.4.3 0.00/0.03 c stm-2.4.4.1 0.00/0.03 c template-haskell-2.10.0.0 0.00/0.03 c temporary-1.2.0.4 0.00/0.03 c time-1.5.0.1 0.00/0.03 c transformers-0.4.2.0 0.00/0.03 c transformers-compat-0.5.1.4 0.00/0.03 c type-level-numbers-0.1.1.1 0.00/0.03 c unbounded-delays-0.1.0.9 0.00/0.03 c unordered-containers-0.2.6.0 0.00/0.03 c vector-0.11.0.0 0.00/0.03 c vector-space-0.10.3 0.00/0.03 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078900-1465286757.opb"] 0.00/0.03 c use --random-gen="2963486537 2235011794 2280029892 493257706 3065091705 730365757 4024391500 1787429159 1360778948 4172106509 767718495 2373541156 3746124197 2070040332 3065010035 3163244943 406383357 3734281996 3241667763 1974127241 44090789 503924569 4111383583 1696771606 1754589728 369427202 1532188828 1584629721 696149635 944435633 2703724614 2590470501 1662982040 1769340497 3659624802 1367017441 1157711426 3066679008 1004514118 2392567102 2097518410 3272214609 324295027 1352646324 3687666778 2194329305 1902305380 2334607048 2804230525 1797635469 469958401 2443022500 2127556284 2497808972 1456533880 26106247 1788645187 2727557521 614088767 588651385 3497700880 3619112471 333994982 279394429 2801279167 3865125765 312809346 1419337339 293354183 3943591929 432421505 4180480202 3779408832 1063409006 360487446 1994354984 84670146 2816435444 804800267 721871325 2196840847 1089622512 1512738169 3138664578 1039949660 3494102634 215544121 11895044 575569925 1892085735 3882658675 2926975412 3318521798 1400638936 2279939485 1972048376 3791946432 249884791 342638579 1501212349 15625691 3245267429 1133692004 384271325 3607577695 626821910 2756639420 1441842591 495717792 1635640290 150239694 1705747989 2748640100 1006151383 3181243959 4114860011 2413187644 742485524 1388911217 4018130895 2227052866 1230057729 1058175092 3837981032 485133206 648889703 2173571575 2270945346 2672196533 3022154172 2026972442 116737613 3218690374 799970104 124465235 3046370337 2621680593 1040153694 2650615554 2715257003 1580407091 3970304562 58761915 2744493874 2017447325 2771326460 3613528657 1046091202 3363355140 1794499034 1291776465 921072023 2183262934 3428452600 4226748127 64548050 395344188 3708537456 2914916203 1049326105 470021430 2542538119 3375637272 2778109449 173445220 2939163548 4086943352 799363544 36313046 348061097 2065375852 3159731690 2690364672 3886140245 3586461263 2889530145 3919731216 1096976390 3751215971 4010060593 2878288142 14370522 1568015356 1706031107 2260604788 76716051 4058768120 2645424488 1675709982 597058990 4257384963 2138557252 3859837250 3804755906 4026202872 3174647063 2735224090 4092836856 2557183084 2444640097 4213170459 258507927 3903291471 3202142414 2004643458 2785167692 2319742947 1121092120 1012931636 1152849265 1935231518 4058049807 4273595423 1300359352 931011962 2386694374 59998701 3405812503 2502147255 3260961366 2864519826 1409639309 4022505212 4241289149 4283725877 436680276 4105740869 77150510 455322291 2475617582 1611031573 3415672763 1908803960 744233381 2700012111 1184571600 1828966246 2928714203 3878712276 1370137744 2076736793 1653868459 21018533 1279370177 1941388871 2165331475 4023757641 2828699621 2020254736 3168230733 1809777978 513027377 3803159689 2644854146 3032908011 539440199 255 362436" option to reproduce the execution 0.16/0.24 c #vars 16660 0.16/0.24 c #constraints 16942 0.57/0.61 c Solving starts ... 0.57/0.61 c ============================[ Search Statistics ]============================ 0.57/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.57/0.61 c | | | | Limit GC | Var | Constra 0.57/0.61 c ============================================================================= 0.57/0.61 c 0.0s | 0 | 0 | 0 | 11200 0 | 742 | 0 0.87/0.97 c 0.4s | 1 | 3140 | 100 | 11200 0 | 744 | 635 1.46/1.50 c 0.9s | 2 | 10824 | 250 | 12321 0 | 744 | 635 1.86/1.94 c 1.3s | 3 | 17972 | 475 | 13554 0 | 744 | 635 3.06/3.14 c 2.5s | 4 | 36812 | 813 | 14910 0 | 747 | 638 4.16/4.21 c 3.6s | 5 | 48497 | 1320 | 16401 0 | 747 | 638 5.96/6.03 c 5.4s | 6 | 77829 | 2081 | 19847 0 | 748 | 639 8.06/8.14 c 7.5s | 6 | 105608 | 2881 | 19847 0 | 750 | 641 8.87/8.95 c 8.3s | 7 | 117955 | 3223 | 21832 0 | 750 | 641 10.97/11.05 c 10.4s | 7 | 147988 | 4023 | 21832 0 | 750 | 641 13.27/13.33 c 12.7s | 7 | 181822 | 4723 | 21832 0 | 753 | 644 13.76/13.86 c 13.2s | 8 | 186777 | 4936 | 24016 0 | 754 | 645 15.86/15.96 c 15.3s | 8 | 212427 | 5836 | 24016 0 | 754 | 645 17.96/18.05 c 17.4s | 8 | 239306 | 6636 | 24016 0 | 754 | 645 20.26/20.30 c 19.7s | 9 | 267556 | 7506 | 26418 0 | 756 | 647 22.46/22.56 c 21.9s | 9 | 303734 | 8206 | 26418 0 | 757 | 648 24.55/24.69 c 24.1s | 9 | 311933 | 8906 | 26418 0 | 757 | 648 26.75/26.84 c 26.2s | 9 | 325364 | 9606 | 26418 0 | 757 | 648 28.95/29.03 c 28.4s | 9 | 347819 | 10506 | 26418 0 | 758 | 649 31.05/31.12 c 30.5s | 9 | 371824 | 11206 | 26418 0 | 759 | 650 31.35/31.40 c 30.8s | 10 | 373977 | 11361 | 29060 0 | 759 | 650 33.45/33.55 c 32.9s | 10 | 401999 | 12061 | 29060 0 | 759 | 650 35.65/35.73 c 35.1s | 10 | 410639 | 12861 | 29060 0 | 759 | 650 37.65/37.74 c 37.1s | 10 | 422251 | 13361 | 29060 0 | 759 | 650 39.85/39.92 c 39.3s | 10 | 444009 | 14261 | 29060 0 | 759 | 650 41.95/42.02 c 41.4s | 10 | 457023 | 14861 | 29060 0 | 759 | 650 44.06/44.18 c 43.6s | 10 | 459357 | 15361 | 29060 0 | 759 | 650 46.26/46.36 c 45.7s | 10 | 461812 | 15761 | 29060 0 | 759 | 650 48.85/48.97 c 48.4s | 10 | 463779 | 16061 | 29060 0 | 759 | 650 51.26/51.38 c 50.8s | 10 | 467949 | 16361 | 29060 0 | 760 | 651 53.45/53.52 c 52.9s | 10 | 484418 | 17061 | 31967 0 | 760 | 651 53.65/53.75 c 53.1s | 11 | 486683 | 17144 | 31967 0 | 760 | 651 55.85/55.92 c 55.3s | 11 | 505721 | 17544 | 31967 0 | 762 | 653 57.85/57.96 c 57.3s | 11 | 527688 | 18144 | 31967 0 | 763 | 654 59.95/60.07 c 59.5s | 11 | 539916 | 18844 | 31967 0 | 763 | 654 61.95/62.09 c 61.5s | 11 | 551144 | 19644 | 31967 0 | 763 | 654 64.35/64.44 c 63.8s | 11 | 560138 | 20244 | 31967 0 | 763 | 654 66.35/66.48 c 65.9s | 11 | 580240 | 20844 | 31967 0 | 764 | 655 68.55/68.66 c 68.0s | 11 | 601965 | 21544 | 31967 0 | 764 | 655 70.65/70.76 c 70.1s | 11 | 615974 | 22244 | 31967 0 | 764 | 655 72.75/72.80 c 72.2s | 11 | 630989 | 23044 | 31967 0 | 764 | 655 74.86/74.96 c 74.3s | 11 | 645085 | 23644 | 31967 0 | 764 | 655 76.96/77.04 c 76.4s | 11 | 664320 | 24144 | 31967 0 | 765 | 656 79.16/79.21 c 78.6s | 11 | 682646 | 24744 | 31967 0 | 765 | 656 81.36/81.50 c 80.9s | 11 | 706490 | 25444 | 31967 0 | 765 | 656 82.56/82.69 c 82.1s | 12 | 714920 | 25819 | 35164 0 | 765 | 656 84.76/84.86 c 84.2s | 12 | 731150 | 26419 | 35164 0 | 765 | 656 86.85/86.92 c 86.3s | 12 | 735830 | 27019 | 35164 0 | 765 | 656 89.35/89.48 c 88.9s | 12 | 738204 | 27519 | 35164 0 | 765 | 656 91.54/91.63 c 91.0s | 12 | 745859 | 28119 | 35164 0 | 765 | 656 93.55/93.69 c 93.1s | 12 | 769716 | 28719 | 35164 0 | 765 | 656 95.94/96.09 c 95.5s | 12 | 780411 | 29319 | 35164 0 | 765 | 656 98.24/98.33 c 97.7s | 12 | 801384 | 30019 | 35164 0 | 765 | 656 100.54/100.60 c 100.0s | 12 | 819844 | 30719 | 35164 0 | 765 | 656 102.84/102.91 c 102s | 12 | 831883 | 31419 | 35164 0 | 765 | 656 105.24/105.34 c 104s | 12 | 842414 | 32119 | 35164 0 | 765 | 656 107.44/107.57 c 106s | 12 | 845116 | 32519 | 35164 0 | 765 | 656 109.84/109.98 c 109s | 12 | 852796 | 33019 | 35164 0 | 765 | 656 112.04/112.18 c 111s | 12 | 873447 | 33619 | 35164 0 | 765 | 656 114.24/114.37 c 113s | 12 | 894929 | 34219 | 35164 0 | 765 | 656 116.55/116.68 c 116s | 12 | 914231 | 34819 | 35164 0 | 765 | 656 118.85/118.93 c 118s | 12 | 929417 | 35519 | 35164 0 | 765 | 656 120.84/120.98 c 120s | 12 | 947908 | 36119 | 35164 0 | 765 | 656 123.15/123.30 c 122s | 12 | 968044 | 36819 | 35164 0 | 765 | 656 125.44/125.51 c 124s | 12 | 971601 | 37419 | 35164 0 | 765 | 656 127.44/127.56 c 126s | 12 | 981352 | 38019 | 35164 0 | 765 | 656 129.54/129.60 c 128s | 12 | 994418 | 38619 | 38681 0 | 765 | 656 130.34/130.49 c 129s | 13 | 1001381 | 38832 | 38681 0 | 765 | 656 132.43/132.54 c 131s | 13 | 1005394 | 39232 | 38681 0 | 765 | 656 135.13/135.20 c 134s | 13 | 1007267 | 39632 | 38681 0 | 765 | 656 137.83/137.98 c 137s | 13 | 1008287 | 39932 | 38681 0 | 765 | 656 140.33/140.44 c 139s | 13 | 1010692 | 40332 | 38681 0 | 765 | 656 142.34/142.46 c 141s | 13 | 1011490 | 40532 | 38681 0 | 765 | 656 145.34/145.44 c 144s | 13 | 1013034 | 40832 | 38681 0 | 765 | 656 147.64/147.78 c 147s | 13 | 1014235 | 41032 | 38681 0 | 765 | 656 150.04/150.18 c 149s | 13 | 1015961 | 41332 | 38681 0 | 765 | 656 152.13/152.26 c 151s | 13 | 1017111 | 41632 | 38681 0 | 765 | 656 154.23/154.32 c 153s | 13 | 1019040 | 41932 | 38681 0 | 765 | 656 156.63/156.70 c 156s | 13 | 1019765 | 42132 | 38681 0 | 765 | 656 158.64/158.75 c 158s | 13 | 1020837 | 42332 | 38681 0 | 765 | 656 161.84/161.90 c 161s | 13 | 1021377 | 42532 | 38681 0 | 765 | 656 165.04/165.15 c 164s | 13 | 1022277 | 42732 | 38681 0 | 765 | 656 167.63/167.70 c 167s | 13 | 1023117 | 42932 | 38681 0 | 765 | 656 170.54/170.62 c 170s | 13 | 1023808 | 43132 | 38681 0 | 765 | 656 173.23/173.37 c 172s | 13 | 1025297 | 43432 | 38681 0 | 765 | 656 176.13/176.26 c 175s | 13 | 1026095 | 43632 | 38681 0 | 765 | 656 178.83/178.98 c 178s | 13 | 1028058 | 44032 | 38681 0 | 765 | 656 181.34/181.42 c 180s | 13 | 1029295 | 44332 | 38681 0 | 765 | 656 183.53/183.60 c 182s | 13 | 1030689 | 44632 | 38681 0 | 765 | 656 186.23/186.37 c 185s | 13 | 1032390 | 44932 | 38681 0 | 765 | 656 188.23/188.38 c 187s | 13 | 1033006 | 45132 | 38681 0 | 765 | 656 190.53/190.66 c 190s | 13 | 1034348 | 45332 | 38681 0 | 765 | 656 194.83/194.99 c 194s | 13 | 1037252 | 45532 | 38681 1 | 765 | 656 197.13/197.20 c 196s | 13 | 1053486 | 46032 | 38681 1 | 766 | 657 199.22/199.39 c 198s | 13 | 1071788 | 46732 | 38681 1 | 766 | 657 201.42/201.53 c 200s | 13 | 1085403 | 47432 | 38681 1 | 766 | 657 203.53/203.65 c 203s | 13 | 1100662 | 48132 | 38681 1 | 766 | 657 205.63/205.80 c 205s | 13 | 1106273 | 48832 | 38681 1 | 766 | 657 207.93/208.06 c 207s | 13 | 1111354 | 49532 | 38681 1 | 766 | 657 210.13/210.25 c 209s | 13 | 1115270 | 50232 | 38681 1 | 766 | 657 212.12/212.25 c 211s | 13 | 1119595 | 50932 | 38681 1 | 766 | 657 214.32/214.42 c 213s | 13 | 1121915 | 51432 | 38681 1 | 766 | 657 216.53/216.67 c 216s | 13 | 1123541 | 51832 | 38681 1 | 766 | 657 218.63/218.71 c 218s | 13 | 1124136 | 52032 | 38681 1 | 766 | 657 221.03/221.12 c 220s | 13 | 1125832 | 52432 | 38681 1 | 766 | 657 224.72/224.80 c 224s | 13 | 1127124 | 52732 | 38681 1 | 766 | 657 228.22/228.30 c 227s | 13 | 1127530 | 52932 | 38681 1 | 766 | 657 230.82/230.98 c 230s | 13 | 1127725 | 53032 | 38681 1 | 766 | 657 233.32/233.49 c 232s | 13 | 1128286 | 53232 | 38681 1 | 766 | 657 237.12/237.22 c 236s | 13 | 1129160 | 53532 | 38681 1 | 766 | 657 239.73/239.85 c 239s | 13 | 1129993 | 53832 | 38681 1 | 766 | 657 241.82/241.96 c 241s | 13 | 1131092 | 54032 | 38681 1 | 766 | 657 245.02/245.15 c 244s | 13 | 1131739 | 54232 | 38681 1 | 766 | 657 247.42/247.60 c 246s | 13 | 1132579 | 54432 | 38681 1 | 766 | 657 249.73/249.84 c 249s | 13 | 1134320 | 54832 | 38681 1 | 766 | 657 252.22/252.33 c 251s | 13 | 1137454 | 55332 | 38681 1 | 766 | 657 254.52/254.65 c 254s | 13 | 1138507 | 55732 | 38681 1 | 766 | 657 257.12/257.24 c 256s | 13 | 1139041 | 56032 | 38681 1 | 766 | 657 259.22/259.35 c 258s | 13 | 1139780 | 56332 | 38681 1 | 766 | 657 261.42/261.50 c 260s | 13 | 1140787 | 56632 | 38681 1 | 766 | 657 263.61/263.75 c 263s | 13 | 1145108 | 57232 | 38681 1 | 766 | 657 267.02/267.18 c 266s | 13 | 1146241 | 57532 | 38681 1 | 766 | 657 269.12/269.25 c 268s | 13 | 1156442 | 57932 | 38681 1 | 766 | 657 271.12/271.29 c 270s | 13 | 1166354 | 58232 | 42550 1 | 767 | 658 271.52/271.64 c 271s | 14 | 1166881 | 58352 | 42550 1 | 767 | 658 273.83/273.93 c 273s | 14 | 1172833 | 58852 | 42550 1 | 767 | 658 275.82/275.97 c 275s | 14 | 1187941 | 59352 | 42550 1 | 767 | 658 278.22/278.33 c 277s | 14 | 1205773 | 59952 | 42550 1 | 767 | 658 280.22/280.37 c 279s | 14 | 1224092 | 60552 | 42550 1 | 767 | 658 282.32/282.45 c 281s | 14 | 1236882 | 61152 | 42550 1 | 767 | 658 284.62/284.70 c 284s | 14 | 1247012 | 61752 | 42550 1 | 767 | 658 286.62/286.78 c 286s | 14 | 1264288 | 62352 | 42550 1 | 767 | 658 289.02/289.13 c 288s | 14 | 1283903 | 62952 | 42550 1 | 767 | 658 291.02/291.18 c 290s | 14 | 1295269 | 63452 | 42550 1 | 767 | 658 293.12/293.26 c 292s | 14 | 1309366 | 63952 | 42550 1 | 767 | 658 295.42/295.51 c 294s | 14 | 1327030 | 64552 | 42550 1 | 767 | 658 297.81/297.92 c 297s | 14 | 1333903 | 64852 | 42550 1 | 768 | 659 300.11/300.20 c 299s | 14 | 1349499 | 65452 | 42550 1 | 768 | 659 302.31/302.41 c 301s | 14 | 1358710 | 66052 | 42550 1 | 768 | 659 304.31/304.42 c 303s | 14 | 1369731 | 66552 | 42550 1 | 768 | 659 306.41/306.53 c 305s | 14 | 1385498 | 67152 | 42550 1 | 768 | 659 308.51/308.68 c 308s | 14 | 1402963 | 67652 | 42550 1 | 768 | 659 310.91/311.03 c 310s | 14 | 1408694 | 68252 | 42550 1 | 768 | 659 313.01/313.19 c 312s | 14 | 1412074 | 68652 | 42550 1 | 768 | 659 315.11/315.21 c 314s | 14 | 1415434 | 69152 | 42550 1 | 768 | 659 317.21/317.33 c 316s | 14 | 1418555 | 69352 | 42550 2 | 768 | 659 319.41/319.53 c 318s | 14 | 1428531 | 69952 | 42550 2 | 768 | 659 321.51/321.68 c 321s | 14 | 1440236 | 70552 | 42550 2 | 768 | 659 323.71/323.83 c 323s | 14 | 1457412 | 71052 | 42550 2 | 768 | 659 326.01/326.18 c 325s | 14 | 1472022 | 71552 | 42550 2 | 768 | 659 328.11/328.24 c 327s | 14 | 1487150 | 72252 | 42550 2 | 768 | 659 330.21/330.35 c 329s | 14 | 1497119 | 72952 | 42550 2 | 768 | 659 333.21/333.36 c 332s | 14 | 1498548 | 73252 | 42550 2 | 768 | 659 335.71/335.87 c 335s | 14 | 1500508 | 73652 | 42550 2 | 768 | 659 339.70/339.90 c 339s | 14 | 1501969 | 73952 | 42550 2 | 768 | 659 341.90/342.09 c 341s | 14 | 1502228 | 74052 | 42550 2 | 768 | 659 344.31/344.43 c 343s | 14 | 1502527 | 74152 | 42550 2 | 768 | 659 346.51/346.63 c 346s | 14 | 1502893 | 74252 | 42550 2 | 768 | 659 349.30/349.40 c 348s | 14 | 1504610 | 74652 | 42550 2 | 768 | 659 352.01/352.14 c 351s | 14 | 1505332 | 74852 | 42550 2 | 768 | 659 354.70/354.89 c 354s | 14 | 1505769 | 74952 | 42550 2 | 768 | 659 357.00/357.12 c 356s | 14 | 1516497 | 75452 | 42550 2 | 768 | 659 359.61/359.72 c 359s | 14 | 1518268 | 75852 | 42550 2 | 768 | 659 362.01/362.15 c 361s | 14 | 1520944 | 76152 | 42550 2 | 768 | 659 364.40/364.54 c 363s | 14 | 1530376 | 76752 | 42550 2 | 768 | 659 366.60/366.72 c 366s | 14 | 1544115 | 77352 | 42550 2 | 768 | 659 368.80/368.93 c 368s | 14 | 1557909 | 77952 | 42550 2 | 768 | 659 370.90/371.09 c 370s | 14 | 1570900 | 78552 | 42550 2 | 768 | 659 373.30/373.41 c 372s | 14 | 1583727 | 79152 | 42550 2 | 768 | 659 375.70/375.83 c 375s | 14 | 1596246 | 79752 | 42550 2 | 768 | 659 377.80/377.99 c 377s | 14 | 1606462 | 80352 | 42550 2 | 768 | 659 380.20/380.31 c 379s | 14 | 1616115 | 81052 | 42550 2 | 768 | 659 383.10/383.29 c 382s | 14 | 1624121 | 81552 | 42550 2 | 768 | 659 385.40/385.60 c 384s | 14 | 1624304 | 81652 | 42550 2 | 768 | 659 387.80/387.94 c 387s | 14 | 1628461 | 81952 | 42550 2 | 768 | 659 389.80/389.96 c 389s | 14 | 1633529 | 82352 | 42550 2 | 768 | 659 392.61/392.73 c 392s | 14 | 1635243 | 82652 | 42550 2 | 768 | 659 396.00/396.11 c 395s | 14 | 1636221 | 82852 | 42550 2 | 768 | 659 398.70/398.80 c 398s | 14 | 1638768 | 83252 | 42550 2 | 768 | 659 401.10/401.27 c 400s | 14 | 1640092 | 83452 | 42550 2 | 768 | 659 404.70/404.86 c 404s | 14 | 1640914 | 83652 | 42550 2 | 768 | 659 408.20/408.37 c 407s | 14 | 1642318 | 83852 | 42550 2 | 768 | 659 412.00/412.14 c 411s | 14 | 1642550 | 83952 | 42550 2 | 768 | 659 414.20/414.36 c 413s | 14 | 1643016 | 84052 | 42550 2 | 768 | 659 417.29/417.43 c 416s | 14 | 1643271 | 84152 | 42550 2 | 768 | 659 420.69/420.89 c 420s | 14 | 1644148 | 84352 | 42550 2 | 768 | 659 422.99/423.13 c 422s | 14 | 1644556 | 84452 | 42550 2 | 768 | 659 424.99/425.13 c 424s | 14 | 1644899 | 84552 | 42550 2 | 768 | 659 427.19/427.32 c 426s | 14 | 1647512 | 84852 | 42550 2 | 768 | 659 429.19/429.32 c 428s | 14 | 1651309 | 85452 | 42550 2 | 768 | 659 431.39/431.51 c 430s | 14 | 1653879 | 85952 | 42550 2 | 768 | 659 433.89/434.09 c 433s | 14 | 1654995 | 86252 | 42550 2 | 768 | 659 435.99/436.12 c 435s | 14 | 1656899 | 86552 | 42550 2 | 768 | 659 438.29/438.47 c 437s | 14 | 1658156 | 86752 | 42550 2 | 768 | 659 441.10/441.22 c 440s | 14 | 1658959 | 86952 | 42550 2 | 768 | 659 443.39/443.50 c 442s | 14 | 1659453 | 87052 | 46806 2 | 768 | 659 445.50/445.65 c 445s | 14 | 1660430 | 87252 | 46806 2 | 768 | 659 447.89/448.03 c 447s | 14 | 1660584 | 87352 | 46806 2 | 768 | 659 451.59/451.77 c 451s | 14 | 1661193 | 87552 | 46806 2 | 768 | 659 452.69/452.81 c 452s | 15 | 1661487 | 87632 | 46806 2 | 768 | 659 454.89/455.02 c 454s | 15 | 1673791 | 87932 | 46806 2 | 768 | 659 456.99/457.16 c 456s | 15 | 1682061 | 88432 | 46806 2 | 768 | 659 459.19/459.30 c 458s | 15 | 1694515 | 89032 | 46806 2 | 768 | 659 461.19/461.31 c 460s | 15 | 1702766 | 89632 | 46806 2 | 768 | 659 463.29/463.45 c 462s | 15 | 1709625 | 90332 | 46806 2 | 768 | 659 465.89/466.05 c 465s | 15 | 1712055 | 90732 | 46806 2 | 768 | 659 468.18/468.39 c 467s | 15 | 1716517 | 91032 | 46806 2 | 768 | 659 470.58/470.77 c 470s | 15 | 1721525 | 91732 | 46806 2 | 768 | 659 472.68/472.85 c 472s | 15 | 1726209 | 92232 | 46806 2 | 768 | 659 474.78/474.93 c 474s | 15 | 1736618 | 93032 | 46806 2 | 768 | 659 476.78/476.95 c 476s | 15 | 1744312 | 93732 | 46806 2 | 768 | 659 478.88/479.06 c 478s | 15 | 1750500 | 94232 | 46806 2 | 768 | 659 480.98/481.17 c 480s | 15 | 1754905 | 94832 | 46806 2 | 768 | 659 483.28/483.43 c 482s | 15 | 1765892 | 95332 | 46806 2 | 768 | 659 485.98/486.12 c 485s | 15 | 1770748 | 95932 | 46806 2 | 768 | 659 487.98/488.15 c 487s | 15 | 1772062 | 96232 | 46806 2 | 768 | 659 489.98/490.18 c 489s | 15 | 1777961 | 96732 | 46806 2 | 768 | 659 492.28/492.44 c 491s | 15 | 1785019 | 97432 | 46806 2 | 768 | 659 494.48/494.65 c 494s | 15 | 1790502 | 98032 | 46806 2 | 768 | 659 496.78/496.96 c 496s | 15 | 1794965 | 98432 | 46806 2 | 768 | 659 498.88/499.03 c 498s | 15 | 1800240 | 99032 | 46806 2 | 768 | 659 501.08/501.23 c 500s | 15 | 1801551 | 99332 | 46806 2 | 768 | 659 503.68/503.86 c 503s | 15 | 1805053 | 99532 | 46806 3 | 768 | 659 505.78/505.96 c 505s | 15 | 1813082 | 100232 | 46806 3 | 768 | 659 507.89/508.07 c 507s | 15 | 1814660 | 100632 | 46806 3 | 768 | 659 510.48/510.68 c 510s | 15 | 1815196 | 100832 | 46806 3 | 768 | 659 512.98/513.11 c 512s | 15 | 1817550 | 101432 | 46806 3 | 768 | 659 515.38/515.58 c 514s | 15 | 1819841 | 101832 | 46806 3 | 768 | 659 517.68/517.84 c 517s | 15 | 1821155 | 102032 | 46806 3 | 768 | 659 519.88/520.03 c 519s | 15 | 1835788 | 102632 | 46806 3 | 768 | 659 522.18/522.32 c 521s | 15 | 1852459 | 103232 | 46806 3 | 768 | 659 524.38/524.52 c 523s | 15 | 1863950 | 103832 | 46806 3 | 768 | 659 526.48/526.62 c 526s | 15 | 1877281 | 104532 | 46806 3 | 768 | 659 528.68/528.86 c 528s | 15 | 1885696 | 105232 | 46806 3 | 768 | 659 530.88/531.07 c 530s | 15 | 1890277 | 105732 | 46806 3 | 768 | 659 533.18/533.32 c 532s | 15 | 1893641 | 106232 | 46806 3 | 768 | 659 535.59/535.71 c 535s | 15 | 1894580 | 106532 | 46806 3 | 768 | 659 537.68/537.87 c 537s | 15 | 1905470 | 107232 | 46806 3 | 768 | 659 539.68/539.87 c 539s | 15 | 1916621 | 107932 | 46806 3 | 768 | 659 542.18/542.36 c 541s | 15 | 1923036 | 108432 | 46806 3 | 768 | 659 544.48/544.62 c 544s | 15 | 1926762 | 108832 | 46806 3 | 768 | 659 546.47/546.64 c 546s | 15 | 1941810 | 109232 | 46806 3 | 768 | 659 548.78/548.91 c 548s | 15 | 1960544 | 109832 | 46806 3 | 768 | 659 550.98/551.11 c 550s | 15 | 1974953 | 110232 | 46806 3 | 769 | 660 552.97/553.14 c 552s | 15 | 1981390 | 110932 | 46806 3 | 769 | 660 555.57/555.71 c 555s | 15 | 1985388 | 111632 | 46806 3 | 769 | 660 557.68/557.88 c 557s | 15 | 1988532 | 111932 | 46806 3 | 769 | 660 559.97/560.15 c 559s | 15 | 1992958 | 112632 | 46806 3 | 769 | 660 562.37/562.59 c 561s | 15 | 2009219 | 113332 | 46806 3 | 769 | 660 564.47/564.69 c 564s | 15 | 2020691 | 113832 | 46806 3 | 769 | 660 566.87/567.08 c 566s | 15 | 2024302 | 114232 | 46806 3 | 769 | 660 568.97/569.13 c 568s | 15 | 2037168 | 114832 | 46806 3 | 769 | 660 571.17/571.31 c 570s | 15 | 2045177 | 115432 | 46806 3 | 769 | 660 573.17/573.39 c 572s | 15 | 2047788 | 115832 | 46806 3 | 769 | 660 575.37/575.52 c 574s | 15 | 2062911 | 116332 | 46806 3 | 769 | 660 577.47/577.69 c 577s | 15 | 2080625 | 116832 | 46806 3 | 769 | 660 579.77/579.92 c 579s | 15 | 2092308 | 117432 | 46806 3 | 769 | 660 582.07/582.23 c 581s | 15 | 2104651 | 118032 | 46806 3 | 769 | 660 584.37/584.51 c 583s | 15 | 2118659 | 118632 | 46806 3 | 769 | 660 586.47/586.61 c 585s | 15 | 2121999 | 119132 | 46806 3 | 769 | 660 588.67/588.87 c 588s | 15 | 2125038 | 119632 | 46806 3 | 769 | 660 590.96/591.10 c 590s | 15 | 2126743 | 120132 | 46806 3 | 769 | 660 593.26/593.45 c 592s | 15 | 2128637 | 120632 | 46806 3 | 769 | 660 595.36/595.54 c 594s | 15 | 2133467 | 121132 | 46806 3 | 769 | 660 598.16/598.39 c 597s | 15 | 2142610 | 121532 | 46806 4 | 769 | 660 600.47/600.64 c 600s | 15 | 2151772 | 122232 | 46806 4 | 769 | 660 602.77/602.95 c 602s | 15 | 2159392 | 122932 | 46806 4 | 769 | 660 604.76/604.97 c 604s | 15 | 2162763 | 123532 | 46806 4 | 769 | 660 607.27/607.45 c 606s | 15 | 2164716 | 124032 | 46806 4 | 769 | 660 609.77/609.98 c 609s | 15 | 2166230 | 124532 | 46806 4 | 769 | 660 611.97/612.18 c 611s | 15 | 2167394 | 124932 | 46806 4 | 769 | 660 614.67/614.81 c 614s | 15 | 2168489 | 125232 | 46806 4 | 769 | 660 616.67/616.89 c 616s | 15 | 2168949 | 125432 | 46806 4 | 769 | 660 618.96/619.13 c 618s | 15 | 2169855 | 125732 | 46806 4 | 769 | 660 621.26/621.45 c 620s | 15 | 2170708 | 126032 | 46806 4 | 769 | 660 623.57/623.78 c 623s | 15 | 2189392 | 126632 | 46806 4 | 769 | 660 625.66/625.89 c 625s | 15 | 2196364 | 127132 | 46806 4 | 769 | 660 627.86/628.00 c 627s | 15 | 2198335 | 127632 | 46806 4 | 769 | 660 630.36/630.50 c 629s | 15 | 2200104 | 128032 | 46806 4 | 769 | 660 632.56/632.73 c 632s | 15 | 2221319 | 128532 | 46806 4 | 769 | 660 634.57/634.79 c 634s | 15 | 2238200 | 129132 | 46806 4 | 769 | 660 636.66/636.86 c 636s | 15 | 2246461 | 129732 | 46806 4 | 769 | 660 638.76/638.96 c 638s | 15 | 2259351 | 130332 | 46806 4 | 769 | 660 640.96/641.13 c 640s | 15 | 2266239 | 130932 | 51487 4 | 769 | 660 642.66/642.88 c 642s | 16 | 2273235 | 131552 | 51487 4 | 769 | 660 644.96/645.18 c 644s | 16 | 2286585 | 132052 | 51487 4 | 769 | 660 647.26/647.42 c 646s | 16 | 2294402 | 132852 | 51487 4 | 769 | 660 649.66/649.88 c 649s | 16 | 2297174 | 133452 | 51487 4 | 769 | 660 651.86/652.02 c 651s | 16 | 2302190 | 133952 | 51487 4 | 769 | 660 654.06/654.20 c 653s | 16 | 2305964 | 134652 | 51487 4 | 769 | 660 656.36/656.55 c 655s | 16 | 2315490 | 135252 | 51487 4 | 769 | 660 658.56/658.71 c 658s | 16 | 2328169 | 135852 | 51487 4 | 769 | 660 660.76/660.99 c 660s | 16 | 2344434 | 136452 | 51487 4 | 769 | 660 663.06/663.23 c 662s | 16 | 2361680 | 137052 | 51487 4 | 769 | 660 665.36/665.55 c 664s | 16 | 2369954 | 137652 | 51487 4 | 769 | 660 667.36/667.57 c 666s | 16 | 2385867 | 138152 | 51487 4 | 769 | 660 669.56/669.71 c 669s | 16 | 2396638 | 138652 | 51487 4 | 769 | 660 671.66/671.81 c 671s | 16 | 2408695 | 139152 | 51487 4 | 769 | 660 673.85/674.02 c 673s | 16 | 2418902 | 140052 | 51487 4 | 769 | 660 676.05/676.28 c 675s | 16 | 2422949 | 140552 | 51487 4 | 769 | 660 678.35/678.58 c 677s | 16 | 2434939 | 141252 | 51487 4 | 769 | 660 680.76/680.97 c 680s | 16 | 2448761 | 141852 | 51487 4 | 769 | 660 682.85/683.08 c 682s | 16 | 2460428 | 142452 | 51487 4 | 769 | 660 685.16/685.40 c 684s | 16 | 2475529 | 143052 | 51487 4 | 769 | 660 687.55/687.76 c 687s | 16 | 2486119 | 143652 | 51487 4 | 769 | 660 689.66/689.83 c 689s | 16 | 2496427 | 144252 | 51487 4 | 769 | 660 691.76/691.92 c 691s | 16 | 2505329 | 144752 | 51487 4 | 769 | 660 694.35/694.50 c 693s | 16 | 2509952 | 145252 | 51487 4 | 769 | 660 696.45/696.69 c 696s | 16 | 2510545 | 145452 | 51487 4 | 769 | 660 698.75/698.99 c 698s | 16 | 2512367 | 145752 | 51487 4 | 769 | 660 700.85/701.05 c 700s | 16 | 2518070 | 146252 | 51487 4 | 769 | 660 703.15/703.35 c 702s | 16 | 2528894 | 146752 | 51487 4 | 769 | 660 705.25/705.43 c 704s | 16 | 2538446 | 147452 | 51487 4 | 769 | 660 707.26/707.49 c 706s | 16 | 2546802 | 147952 | 51487 4 | 769 | 660 709.55/709.75 c 709s | 16 | 2561698 | 148452 | 51487 4 | 769 | 660 711.75/711.90 c 711s | 16 | 2571662 | 148952 | 51487 4 | 769 | 660 713.95/714.19 c 713s | 16 | 2587722 | 149452 | 51487 4 | 769 | 660 716.55/716.77 c 716s | 16 | 2603124 | 149952 | 51487 4 | 769 | 660 718.65/718.83 c 718s | 16 | 2616790 | 150352 | 51487 4 | 769 | 660 721.55/721.79 c 721s | 16 | 2629838 | 150652 | 51487 5 | 769 | 660 723.84/724.07 c 723s | 16 | 2637603 | 151152 | 51487 5 | 769 | 660 726.24/726.42 c 725s | 16 | 2652725 | 151852 | 51487 5 | 769 | 660 728.55/728.79 c 728s | 16 | 2655707 | 152452 | 51487 5 | 769 | 660 731.25/731.42 c 730s | 16 | 2658353 | 153052 | 51487 5 | 769 | 660 733.45/733.68 c 733s | 16 | 2660493 | 153552 | 51487 5 | 769 | 660 735.65/735.86 c 735s | 16 | 2663002 | 153952 | 51487 5 | 769 | 660 738.15/738.32 c 737s | 16 | 2665012 | 154352 | 51487 5 | 769 | 660 740.16/740.36 c 739s | 16 | 2665788 | 154652 | 51487 5 | 769 | 660 742.55/742.78 c 742s | 16 | 2668319 | 155152 | 51487 5 | 769 | 660 744.95/745.15 c 744s | 16 | 2670599 | 155652 | 51487 5 | 769 | 660 747.55/747.75 c 747s | 16 | 2673467 | 156252 | 51487 5 | 769 | 660 749.64/749.81 c 749s | 16 | 2674903 | 156552 | 51487 5 | 769 | 660 752.25/752.41 c 751s | 16 | 2675941 | 156852 | 51487 5 | 769 | 660 754.74/754.94 c 754s | 16 | 2677953 | 157252 | 51487 5 | 769 | 660 757.44/757.66 c 757s | 16 | 2679246 | 157652 | 51487 5 | 769 | 660 760.54/760.77 c 760s | 16 | 2680861 | 158052 | 51487 5 | 769 | 660 763.54/763.74 c 763s | 16 | 2681718 | 158252 | 51487 5 | 769 | 660 766.04/766.20 c 765s | 16 | 2682923 | 158552 | 51487 5 | 769 | 660 769.64/769.86 c 769s | 16 | 2684803 | 158952 | 51487 5 | 769 | 660 772.64/772.86 c 772s | 16 | 2685924 | 159252 | 51487 5 | 769 | 660 775.14/775.35 c 774s | 16 | 2686804 | 159452 | 51487 5 | 769 | 660 778.14/778.33 c 777s | 16 | 2687173 | 159652 | 51487 5 | 769 | 660 781.44/781.69 c 781s | 16 | 2687730 | 159852 | 51487 5 | 769 | 660 783.74/783.90 c 783s | 16 | 2687914 | 159952 | 51487 5 | 769 | 660 786.24/786.40 c 785s | 16 | 2688393 | 160152 | 51487 5 | 769 | 660 788.44/788.63 c 788s | 16 | 2688986 | 160352 | 51487 5 | 769 | 660 791.24/791.40 c 790s | 16 | 2689634 | 160552 | 51487 5 | 769 | 660 795.54/795.75 c 795s | 16 | 2690140 | 160752 | 51487 5 | 769 | 660 797.74/797.99 c 797s | 16 | 2690314 | 160852 | 51487 5 | 769 | 660 801.33/801.60 c 800s | 16 | 2690979 | 161052 | 51487 5 | 769 | 660 804.73/804.99 c 804s | 16 | 2692295 | 161352 | 51487 5 | 769 | 660 807.53/807.73 c 807s | 16 | 2693716 | 161652 | 51487 5 | 769 | 660 809.63/809.85 c 809s | 16 | 2695028 | 161952 | 51487 5 | 769 | 660 811.64/811.85 c 811s | 16 | 2696013 | 162252 | 51487 5 | 769 | 660 813.84/814.01 c 813s | 16 | 2698908 | 162652 | 51487 5 | 769 | 660 816.03/816.23 c 815s | 16 | 2699715 | 162852 | 51487 5 | 769 | 660 818.43/818.61 c 817s | 16 | 2700268 | 163052 | 51487 5 | 769 | 660 821.54/821.71 c 821s | 16 | 2700773 | 163252 | 51487 5 | 769 | 660 824.33/824.59 c 823s | 16 | 2701853 | 163552 | 51487 5 | 769 | 660 826.93/827.11 c 826s | 16 | 2702163 | 163652 | 51487 5 | 769 | 660 829.83/830.07 c 829s | 16 | 2702380 | 163752 | 51487 5 | 769 | 660 832.13/832.34 c 831s | 16 | 2702641 | 163852 | 51487 5 | 769 | 660 834.23/834.46 c 833s | 16 | 2702873 | 163952 | 51487 5 | 769 | 660 836.32/836.58 c 835s | 16 | 2703087 | 164052 | 51487 5 | 769 | 660 840.82/841.07 c 840s | 16 | 2703719 | 164252 | 51487 5 | 769 | 660 843.02/843.21 c 842s | 16 | 2703982 | 164352 | 51487 5 | 769 | 660 846.42/846.66 c 846s | 16 | 2704463 | 164452 | 51487 5 | 769 | 660 848.52/848.72 c 848s | 16 | 2707060 | 164852 | 51487 5 | 769 | 660 851.32/851.51 c 850s | 16 | 2709661 | 165252 | 51487 5 | 769 | 660 853.92/854.11 c 853s | 16 | 2711522 | 165552 | 51487 5 | 769 | 660 856.21/856.44 c 855s | 16 | 2713526 | 165852 | 51487 5 | 769 | 660 859.41/859.67 c 859s | 16 | 2715834 | 166252 | 51487 5 | 769 | 660 862.11/862.32 c 861s | 16 | 2717455 | 166552 | 51487 5 | 769 | 660 864.61/864.83 c 864s | 16 | 2718334 | 166852 | 51487 5 | 769 | 660 866.91/867.14 c 866s | 16 | 2719268 | 167052 | 51487 5 | 769 | 660 869.01/869.28 c 868s | 16 | 2719649 | 167152 | 51487 5 | 769 | 660 871.71/871.95 c 871s | 16 | 2720123 | 167352 | 51487 5 | 769 | 660 874.32/874.56 c 873s | 16 | 2720755 | 167552 | 51487 5 | 769 | 660 877.62/877.85 c 877s | 16 | 2721385 | 167752 | 51487 5 | 769 | 660 880.11/880.38 c 879s | 16 | 2723074 | 167952 | 51487 5 | 769 | 660 882.61/882.84 c 882s | 16 | 2739024 | 168452 | 51487 5 | 769 | 660 884.91/885.12 c 884s | 16 | 2756370 | 168952 | 51487 5 | 769 | 660 887.01/887.26 c 886s | 16 | 2769889 | 169452 | 51487 5 | 769 | 660 889.01/889.27 c 888s | 16 | 2783814 | 169952 | 51487 5 | 769 | 660 891.30/891.59 c 890s | 16 | 2797058 | 170552 | 51487 5 | 769 | 660 893.90/894.13 c 893s | 16 | 2810693 | 171152 | 51487 5 | 769 | 660 896.00/896.20 c 895s | 16 | 2821601 | 171652 | 51487 5 | 769 | 660 898.10/898.35 c 897s | 16 | 2829933 | 172252 | 51487 5 | 769 | 660 900.50/900.78 c 900s | 16 | 2835476 | 172852 | 51487 5 | 769 | 660 902.50/902.78 c 902s | 16 | 2840655 | 173352 | 51487 5 | 769 | 660 904.90/905.14 c 904s | 16 | 2854695 | 173852 | 51487 5 | 769 | 660 907.00/907.20 c 906s | 16 | 2861440 | 174352 | 51487 5 | 769 | 660 909.00/909.22 c 908s | 16 | 2867106 | 174852 | 51487 5 | 769 | 660 911.19/911.45 c 910s | 16 | 2873923 | 175352 | 51487 5 | 769 | 660 913.49/913.79 c 913s | 16 | 2885654 | 175852 | 51487 5 | 769 | 660 915.69/915.94 c 915s | 16 | 2890796 | 176452 | 51487 5 | 769 | 660 918.09/918.38 c 917s | 16 | 2893129 | 176852 | 51487 5 | 769 | 660 920.39/920.69 c 920s | 16 | 2895465 | 177252 | 51487 5 | 769 | 660 922.99/923.20 c 922s | 16 | 2896974 | 177552 | 51487 5 | 769 | 660 924.99/925.24 c 924s | 16 | 2899776 | 177852 | 51487 5 | 769 | 660 926.99/927.25 c 926s | 16 | 2903286 | 178252 | 51487 5 | 769 | 660 930.38/930.62 c 930s | 16 | 2908099 | 178652 | 51487 6 | 769 | 660 932.88/933.15 c 932s | 16 | 2915720 | 179252 | 51487 6 | 769 | 660 935.18/935.43 c 934s | 16 | 2917081 | 179552 | 51487 6 | 769 | 660 937.28/937.56 c 936s | 16 | 2917902 | 179752 | 51487 6 | 769 | 660 939.58/939.86 c 939s | 16 | 2920652 | 180152 | 51487 6 | 769 | 660 941.87/942.10 c 941s | 16 | 2921533 | 180352 | 51487 6 | 769 | 660 944.37/944.61 c 943s | 16 | 2923503 | 180652 | 51487 6 | 769 | 660 947.47/947.78 c 947s | 16 | 2924843 | 180952 | 51487 6 | 769 | 660 949.97/950.20 c 949s | 16 | 2938900 | 181452 | 51487 6 | 769 | 660 952.07/952.37 c 951s | 16 | 2944126 | 182052 | 51487 6 | 769 | 660 954.37/954.60 c 953s | 16 | 2950064 | 182552 | 51487 6 | 769 | 660 956.57/956.84 c 956s | 16 | 2963172 | 183252 | 51487 6 | 769 | 660 958.67/958.96 c 958s | 16 | 2968930 | 183752 | 51487 6 | 769 | 660 960.96/961.28 c 960s | 16 | 2984127 | 184452 | 51487 6 | 769 | 660 963.37/963.67 c 963s | 16 | 2993652 | 185152 | 51487 6 | 769 | 660 965.57/965.84 c 965s | 16 | 2998647 | 185652 | 51487 6 | 769 | 660 967.56/967.86 c 967s | 16 | 3011713 | 186052 | 51487 6 | 769 | 660 969.85/970.20 c 969s | 16 | 3016017 | 186552 | 51487 6 | 769 | 660 971.95/972.22 c 971s | 16 | 3019680 | 187052 | 51487 6 | 769 | 660 974.36/974.62 c 974s | 16 | 3034305 | 187652 | 51487 6 | 769 | 660 976.35/976.68 c 976s | 16 | 3042913 | 188352 | 51487 6 | 769 | 660 978.45/978.72 c 978s | 16 | 3047382 | 188952 | 51487 6 | 769 | 660 980.65/980.99 c 980s | 16 | 3053950 | 189452 | 51487 6 | 769 | 660 982.85/983.10 c 982s | 16 | 3070775 | 190052 | 51487 6 | 769 | 660 984.95/985.23 c 984s | 16 | 3081196 | 190652 | 51487 6 | 769 | 660 987.15/987.48 c 986s | 16 | 3088265 | 191252 | 51487 6 | 769 | 660 989.85/990.12 c 989s | 16 | 3090327 | 191752 | 51487 6 | 769 | 660 991.95/992.22 c 991s | 16 | 3090775 | 191952 | 51487 6 | 769 | 660 994.15/994.40 c 993s | 16 | 3105243 | 192552 | 51487 6 | 769 | 660 996.45/996.71 c 996s | 16 | 3117615 | 193152 | 51487 6 | 769 | 660 998.65/998.95 c 998s | 16 | 3121240 | 193552 | 51487 6 | 769 | 660 1000.84/1001.16 c 1000s | 16 | 3123432 | 193952 | 51487 6 | 769 | 660 1003.13/1003.47 c 1002s | 16 | 3125829 | 194452 | 51487 6 | 769 | 660 1005.33/1005.66 c 1005s | 16 | 3129694 | 194952 | 51487 6 | 769 | 660 1007.35/1007.69 c 1007s | 16 | 3133041 | 195252 | 51487 6 | 769 | 660 1009.73/1010.04 c 1009s | 16 | 3140046 | 195752 | 51487 6 | 769 | 660 1011.74/1012.06 c 1011s | 16 | 3149754 | 196252 | 56636 6 | 769 | 660 1013.83/1014.16 c 1013s | 16 | 3160911 | 196752 | 56636 6 | 769 | 660 1016.03/1016.39 c 1015s | 16 | 3174151 | 197352 | 56636 6 | 769 | 660 1016.43/1016.73 c 1016s | 17 | 3176410 | 197432 | 56636 6 | 769 | 660 1018.63/1018.99 c 1018s | 17 | 3189076 | 197832 | 56636 6 | 769 | 660 1020.72/1021.04 c 1020s | 17 | 3205766 | 198332 | 56636 6 | 769 | 660 1022.73/1023.08 c 1022s | 17 | 3213621 | 198732 | 56636 6 | 769 | 660 1025.03/1025.30 c 1024s | 17 | 3223120 | 199232 | 56636 6 | 769 | 660 1027.13/1027.49 c 1026s | 17 | 3230794 | 199832 | 56636 6 | 769 | 660 1029.52/1029.80 c 1029s | 17 | 3245987 | 200332 | 56636 6 | 769 | 660 1031.63/1031.98 c 1031s | 17 | 3259404 | 200932 | 56636 6 | 769 | 660 1033.83/1034.11 c 1033s | 17 | 3272166 | 201432 | 56636 6 | 769 | 660 1035.92/1036.23 c 1035s | 17 | 3276668 | 201932 | 56636 6 | 769 | 660 1038.12/1038.48 c 1037s | 17 | 3283080 | 202532 | 56636 6 | 769 | 660 1040.32/1040.60 c 1039s | 17 | 3296809 | 203032 | 56636 6 | 769 | 660 1042.32/1042.68 c 1042s | 17 | 3305822 | 203532 | 56636 6 | 769 | 660 1044.82/1045.12 c 1044s | 17 | 3314713 | 204032 | 56636 6 | 769 | 660 1046.92/1047.28 c 1046s | 17 | 3326213 | 204532 | 56636 6 | 769 | 660 1049.32/1049.64 c 1049s | 17 | 3337475 | 205032 | 56636 6 | 769 | 660 1051.61/1051.95 c 1051s | 17 | 3343361 | 205732 | 56636 6 | 769 | 660 1053.71/1054.08 c 1053s | 17 | 3354020 | 206332 | 56636 6 | 769 | 660 1056.01/1056.33 c 1055s | 17 | 3366424 | 206832 | 56636 6 | 769 | 660 1058.21/1058.58 c 1057s | 17 | 3370047 | 207332 | 56636 6 | 769 | 660 1060.30/1060.60 c 1059s | 17 | 3371351 | 207632 | 56636 6 | 769 | 660 1062.50/1062.85 c 1062s | 17 | 3373357 | 208032 | 56636 6 | 769 | 660 1064.51/1064.86 c 1064s | 17 | 3376117 | 208532 | 56636 6 | 769 | 660 1066.50/1066.88 c 1066s | 17 | 3378309 | 208932 | 56636 6 | 769 | 660 1068.90/1069.26 c 1068s | 17 | 3382260 | 209532 | 56636 6 | 769 | 660 1071.29/1071.61 c 1071s | 17 | 3384287 | 210032 | 56636 6 | 769 | 660 1073.49/1073.88 c 1073s | 17 | 3385613 | 210332 | 56636 6 | 769 | 660 1075.99/1076.35 c 1075s | 17 | 3395890 | 211032 | 56636 6 | 769 | 660 1077.99/1078.38 c 1077s | 17 | 3402648 | 211532 | 56636 6 | 769 | 660 1080.09/1080.43 c 1079s | 17 | 3407434 | 211732 | 56636 7 | 769 | 660 1082.29/1082.62 c 1082s | 17 | 3422268 | 212232 | 56636 7 | 769 | 660 1084.49/1084.87 c 1084s | 17 | 3432656 | 213032 | 56636 7 | 769 | 660 1086.78/1087.13 c 1086s | 17 | 3436496 | 213732 | 56636 7 | 769 | 660 1089.08/1089.45 c 1088s | 17 | 3438924 | 214332 | 56636 7 | 769 | 660 1091.48/1091.85 c 1091s | 17 | 3440103 | 214732 | 56636 7 | 769 | 660 1093.89/1094.20 c 1093s | 17 | 3441557 | 215132 | 56636 7 | 769 | 660 1096.09/1096.44 c 1095s | 17 | 3443941 | 215532 | 56636 7 | 769 | 660 1098.48/1098.84 c 1098s | 17 | 3445869 | 215932 | 56636 7 | 769 | 660 1100.78/1101.16 c 1100s | 17 | 3455418 | 216532 | 56636 7 | 769 | 660 1102.98/1103.31 c 1102s | 17 | 3457455 | 216932 | 56636 7 | 769 | 660 1105.08/1105.47 c 1104s | 17 | 3458685 | 217232 | 56636 7 | 769 | 660 1107.17/1107.53 c 1106s | 17 | 3463716 | 217732 | 56636 7 | 769 | 660 1109.68/1110.08 c 1109s | 17 | 3465166 | 218132 | 56636 7 | 769 | 660 1112.27/1112.62 c 1112s | 17 | 3466630 | 218432 | 56636 7 | 769 | 660 1116.07/1116.42 c 1115s | 17 | 3467784 | 218832 | 56636 7 | 769 | 660 1118.38/1118.74 c 1118s | 17 | 3472993 | 219232 | 56636 7 | 769 | 660 1120.76/1121.16 c 1120s | 17 | 3475143 | 219732 | 56636 7 | 769 | 660 1122.77/1123.17 c 1122s | 17 | 3485672 | 220232 | 56636 7 | 769 | 660 1125.07/1125.48 c 1124s | 17 | 3495247 | 220832 | 56636 7 | 769 | 660 1127.46/1127.82 c 1127s | 17 | 3507182 | 221332 | 56636 7 | 770 | 661 1129.47/1129.89 c 1129s | 17 | 3521981 | 222032 | 56636 7 | 770 | 661 1131.76/1132.15 c 1131s | 17 | 3528005 | 222632 | 56636 7 | 770 | 661 1134.05/1134.43 c 1133s | 17 | 3532029 | 223232 | 56636 7 | 770 | 661 1136.15/1136.57 c 1135s | 17 | 3545169 | 223932 | 56636 7 | 770 | 661 1138.55/1138.92 c 1138s | 17 | 3557665 | 224532 | 56636 7 | 770 | 661 1140.55/1140.92 c 1140s | 17 | 3569807 | 225132 | 56636 7 | 770 | 661 1142.65/1143.08 c 1142s | 17 | 3581686 | 225732 | 56636 7 | 770 | 661 1145.05/1145.40 c 1144s | 17 | 3591049 | 226232 | 56636 7 | 770 | 661 1147.25/1147.67 c 1147s | 17 | 3607560 | 226932 | 56636 7 | 770 | 661 1149.45/1149.89 c 1149s | 17 | 3622525 | 227432 | 56636 7 | 770 | 661 1151.94/1152.34 c 1151s | 17 | 3638020 | 228132 | 56636 7 | 770 | 661 1154.14/1154.50 c 1153s | 17 | 3652297 | 228632 | 56636 7 | 770 | 661 1156.34/1156.75 c 1156s | 17 | 3671427 | 229232 | 56636 7 | 770 | 661 1158.54/1158.95 c 1158s | 17 | 3680586 | 230032 | 56636 7 | 770 | 661 1160.63/1161.09 c 1160s | 17 | 3695307 | 230632 | 56636 7 | 770 | 661 1162.73/1163.16 c 1162s | 17 | 3704681 | 231332 | 56636 7 | 770 | 661 1164.83/1165.28 c 1164s | 17 | 3715581 | 231932 | 56636 7 | 770 | 661 1166.93/1167.36 c 1166s | 17 | 3730112 | 232432 | 56636 7 | 770 | 661 1169.23/1169.65 c 1169s | 17 | 3742846 | 233032 | 56636 7 | 770 | 661 1171.32/1171.76 c 1171s | 17 | 3744675 | 233432 | 56636 7 | 770 | 661 1173.43/1173.89 c 1173s | 17 | 3754123 | 233932 | 56636 7 | 770 | 661 1175.72/1176.16 c 1175s | 17 | 3772859 | 234532 | 56636 7 | 770 | 661 1177.92/1178.39 c 1177s | 17 | 3780223 | 235132 | 56636 7 | 770 | 661 1180.11/1180.54 c 1179s | 17 | 3789461 | 235732 | 56636 7 | 770 | 661 1182.22/1182.64 c 1182s | 17 | 3798670 | 236232 | 56636 7 | 770 | 661 1184.51/1184.95 c 1184s | 17 | 3808468 | 236732 | 56636 7 | 770 | 661 1186.63/1187.01 c 1186s | 17 | 3821643 | 237232 | 56636 7 | 770 | 661 1189.32/1189.71 c 1189s | 17 | 3826687 | 237732 | 56636 7 | 770 | 661 1191.32/1191.76 c 1191s | 17 | 3830459 | 238032 | 56636 7 | 770 | 661 1193.52/1193.92 c 1193s | 17 | 3840191 | 238532 | 56636 7 | 770 | 661 1195.52/1195.94 c 1195s | 17 | 3850237 | 239132 | 56636 7 | 770 | 661 1197.62/1198.07 c 1197s | 17 | 3860951 | 239632 | 56636 7 | 770 | 661 1200.01/1200.48 c 1199s | 17 | 3869940 | 240132 | 56636 7 | 770 | 661 1202.31/1202.71 c 1202s | 17 | 3877549 | 240632 | 56636 7 | 770 | 661 1204.31/1204.75 c 1204s | 17 | 3885324 | 241032 | 56636 7 | 770 | 661 1206.31/1206.77 c 1206s | 17 | 3892230 | 241432 | 56636 7 | 770 | 661 1208.81/1209.24 c 1208s | 17 | 3895002 | 241932 | 56636 7 | 770 | 661 1211.00/1211.48 c 1210s | 17 | 3904970 | 242432 | 56636 7 | 770 | 661 1214.40/1214.82 c 1214s | 17 | 3905605 | 242732 | 56636 7 | 770 | 661 1216.80/1217.28 c 1216s | 17 | 3906500 | 243032 | 56636 7 | 770 | 661 1219.30/1219.78 c 1219s | 17 | 3907094 | 243232 | 56636 7 | 770 | 661 1222.99/1223.42 c 1222s | 17 | 3907457 | 243432 | 56636 7 | 770 | 661 1225.10/1225.52 c 1224s | 17 | 3907673 | 243532 | 56636 7 | 770 | 661 1227.09/1227.60 c 1226s | 17 | 3910106 | 243932 | 56636 7 | 770 | 661 1229.19/1229.66 c 1229s | 17 | 3915317 | 244132 | 56636 8 | 770 | 661 1231.28/1231.74 c 1231s | 17 | 3926874 | 244832 | 56636 8 | 770 | 661 1233.38/1233.82 c 1233s | 17 | 3942308 | 245532 | 56636 8 | 770 | 661 1235.58/1236.01 c 1235s | 17 | 3954953 | 246132 | 56636 8 | 770 | 661 1238.08/1238.52 c 1237s | 17 | 3962025 | 246732 | 56636 8 | 770 | 661 1240.08/1240.58 c 1239s | 17 | 3973846 | 247332 | 56636 8 | 770 | 661 1242.48/1242.98 c 1242s | 17 | 3990675 | 247932 | 56636 8 | 770 | 661 1244.88/1245.31 c 1244s | 17 | 4001306 | 248632 | 56636 8 | 770 | 661 1247.08/1247.56 c 1246s | 17 | 4015573 | 249332 | 56636 8 | 770 | 661 1249.28/1249.77 c 1249s | 17 | 4027431 | 249932 | 56636 8 | 770 | 661 1251.77/1252.21 c 1251s | 17 | 4038508 | 250532 | 56636 8 | 770 | 661 1253.87/1254.38 c 1253s | 17 | 4045346 | 251032 | 56636 8 | 770 | 661 1255.97/1256.48 c 1255s | 17 | 4057790 | 251632 | 56636 8 | 770 | 661 1258.27/1258.78 c 1258s | 17 | 4070715 | 252232 | 56636 8 | 770 | 661 1260.37/1260.86 c 1260s | 17 | 4075089 | 252832 | 56636 8 | 770 | 661 1262.67/1263.14 c 1262s | 17 | 4085406 | 253532 | 56636 8 | 770 | 661 1264.96/1265.45 c 1264s | 17 | 4098433 | 254132 | 56636 8 | 770 | 661 1267.17/1267.62 c 1267s | 17 | 4106945 | 254732 | 56636 8 | 770 | 661 1269.17/1269.69 c 1269s | 17 | 4121520 | 255232 | 56636 8 | 770 | 661 1271.37/1271.80 c 1271s | 17 | 4129817 | 256132 | 56636 8 | 770 | 661 1273.37/1273.84 c 1273s | 17 | 4140820 | 256732 | 56636 8 | 770 | 661 1275.67/1276.11 c 1275s | 17 | 4154694 | 257432 | 56636 8 | 770 | 661 1277.87/1278.37 c 1277s | 17 | 4161380 | 258132 | 56636 8 | 770 | 661 1280.26/1280.71 c 1280s | 17 | 4165210 | 258632 | 56636 8 | 770 | 661 1282.46/1282.98 c 1282s | 17 | 4171792 | 259132 | 56636 8 | 770 | 661 1284.96/1285.49 c 1284s | 17 | 4173990 | 259632 | 56636 8 | 770 | 661 1287.46/1287.97 c 1287s | 17 | 4178565 | 260132 | 56636 8 | 770 | 661 1289.56/1290.04 c 1289s | 17 | 4180485 | 260532 | 56636 8 | 770 | 661 1291.95/1292.46 c 1291s | 17 | 4184157 | 261132 | 56636 8 | 770 | 661 1294.26/1294.80 c 1294s | 17 | 4188616 | 261732 | 56636 8 | 770 | 661 1296.65/1297.11 c 1296s | 17 | 4190861 | 262132 | 56636 8 | 770 | 661 1299.05/1299.58 c 1298s | 17 | 4193161 | 262632 | 56636 8 | 770 | 661 1301.44/1301.92 c 1301s | 17 | 4197271 | 263132 | 56636 8 | 770 | 661 1303.75/1304.21 c 1303s | 17 | 4199093 | 263632 | 56636 8 | 770 | 661 1305.75/1306.24 c 1305s | 17 | 4203390 | 264132 | 56636 8 | 770 | 661 1307.95/1308.43 c 1307s | 17 | 4204538 | 264432 | 56636 8 | 770 | 661 1310.15/1310.70 c 1310s | 17 | 4207582 | 264932 | 56636 8 | 770 | 661 1312.55/1313.06 c 1312s | 17 | 4211298 | 265332 | 56636 8 | 770 | 661 1315.16/1315.62 c 1315s | 17 | 4214681 | 265832 | 56636 8 | 770 | 661 1317.46/1317.99 c 1317s | 17 | 4216135 | 266232 | 56636 8 | 770 | 661 1319.66/1320.12 c 1319s | 17 | 4219736 | 266732 | 56636 8 | 770 | 661 1321.75/1322.22 c 1321s | 17 | 4224435 | 267232 | 56636 8 | 770 | 661 1323.95/1324.41 c 1323s | 17 | 4227610 | 267732 | 56636 8 | 770 | 661 1326.25/1326.74 c 1326s | 17 | 4229558 | 268132 | 56636 8 | 770 | 661 1328.74/1329.20 c 1328s | 17 | 4232864 | 268732 | 56636 8 | 770 | 661 1331.43/1331.97 c 1331s | 17 | 4233866 | 269132 | 56636 8 | 770 | 661 1333.63/1334.11 c 1333s | 17 | 4235849 | 269332 | 56636 8 | 770 | 661 1335.73/1336.26 c 1335s | 17 | 4239136 | 269732 | 56636 8 | 770 | 661 1337.73/1338.29 c 1337s | 17 | 4243212 | 270132 | 56636 8 | 770 | 661 1339.93/1340.47 c 1339s | 17 | 4244643 | 270432 | 56636 8 | 770 | 661 1342.23/1342.75 c 1342s | 17 | 4248211 | 270932 | 56636 8 | 770 | 661 1344.53/1345.01 c 1344s | 17 | 4250143 | 271232 | 56636 8 | 770 | 661 1347.03/1347.54 c 1346s | 17 | 4252706 | 271632 | 56636 8 | 770 | 661 1349.73/1350.25 c 1349s | 17 | 4254711 | 272032 | 56636 8 | 770 | 661 1352.12/1352.67 c 1352s | 17 | 4257452 | 272432 | 56636 8 | 770 | 661 1354.73/1355.28 c 1354s | 17 | 4259752 | 272832 | 56636 8 | 770 | 661 1356.82/1357.33 c 1356s | 17 | 4261128 | 273132 | 56636 8 | 770 | 661 1359.13/1359.66 c 1359s | 17 | 4262262 | 273432 | 56636 8 | 770 | 661 1361.52/1362.09 c 1361s | 17 | 4263526 | 273732 | 56636 8 | 770 | 661 1364.11/1364.69 c 1364s | 17 | 4265320 | 274032 | 56636 8 | 770 | 661 1366.71/1367.24 c 1366s | 17 | 4266962 | 274332 | 56636 8 | 770 | 661 1369.21/1369.76 c 1369s | 17 | 4267880 | 274532 | 56636 8 | 770 | 661 1371.71/1372.22 c 1371s | 17 | 4268533 | 274732 | 56636 8 | 770 | 661 1374.01/1374.56 c 1373s | 17 | 4268953 | 274932 | 56636 8 | 770 | 661 1376.11/1376.60 c 1375s | 17 | 4269793 | 275132 | 56636 8 | 770 | 661 1378.51/1379.01 c 1378s | 17 | 4270209 | 275332 | 56636 8 | 770 | 661 1381.01/1381.56 c 1380s | 17 | 4270782 | 275532 | 56636 8 | 770 | 661 1383.71/1384.27 c 1383s | 17 | 4271318 | 275732 | 56636 8 | 770 | 661 1386.11/1386.66 c 1386s | 17 | 4271897 | 275932 | 56636 8 | 770 | 661 1389.81/1390.36 c 1389s | 17 | 4272470 | 276132 | 56636 8 | 770 | 661 1391.91/1392.45 c 1391s | 17 | 4275803 | 276432 | 56636 8 | 770 | 661 1394.32/1394.86 c 1394s | 17 | 4278691 | 276832 | 56636 8 | 770 | 661 1396.41/1396.96 c 1396s | 17 | 4281191 | 277232 | 56636 8 | 770 | 661 1398.51/1399.01 c 1398s | 17 | 4283485 | 277532 | 56636 8 | 770 | 661 1400.81/1401.36 c 1400s | 17 | 4286852 | 277932 | 56636 8 | 770 | 661 1402.91/1403.42 c 1402s | 17 | 4289645 | 278232 | 56636 8 | 770 | 661 1405.51/1406.05 c 1405s | 17 | 4292912 | 278632 | 56636 8 | 770 | 661 1409.61/1410.14 c 1409s | 17 | 4294442 | 278932 | 56636 9 | 770 | 661 1412.61/1413.19 c 1412s | 17 | 4296975 | 279332 | 56636 9 | 770 | 661 1414.90/1415.47 c 1414s | 17 | 4307047 | 280032 | 56636 9 | 770 | 661 1417.10/1417.64 c 1417s | 17 | 4326176 | 280832 | 56636 9 | 770 | 661 1419.40/1419.98 c 1419s | 17 | 4332775 | 281532 | 56636 9 | 770 | 661 1421.50/1422.06 c 1421s | 17 | 4354608 | 282232 | 56636 9 | 770 | 661 1423.70/1424.24 c 1423s | 17 | 4365165 | 283032 | 56636 9 | 770 | 661 1426.00/1426.57 c 1425s | 17 | 4374489 | 283632 | 56636 9 | 770 | 661 1428.51/1429.09 c 1428s | 17 | 4379995 | 284232 | 56636 9 | 770 | 661 1430.61/1431.15 c 1430s | 17 | 4382480 | 284732 | 56636 9 | 770 | 661 1433.00/1433.59 c 1432s | 17 | 4383542 | 285032 | 56636 9 | 770 | 661 1435.11/1435.67 c 1435s | 17 | 4385366 | 285432 | 56636 9 | 770 | 661 1437.21/1437.79 c 1437s | 17 | 4396851 | 285932 | 56636 9 | 770 | 661 1439.30/1439.84 c 1439s | 17 | 4409894 | 286532 | 56636 9 | 770 | 661 1441.50/1442.09 c 1441s | 17 | 4423365 | 287032 | 56636 9 | 771 | 662 1443.91/1444.42 c 1443s | 17 | 4427494 | 287632 | 56636 9 | 771 | 662 1446.30/1446.80 c 1446s | 17 | 4438913 | 288232 | 56636 9 | 772 | 663 1448.40/1448.98 c 1448s | 17 | 4457695 | 288832 | 56636 9 | 772 | 663 1450.70/1451.25 c 1450s | 17 | 4467734 | 289532 | 56636 9 | 772 | 663 1452.90/1453.47 c 1452s | 17 | 4475164 | 290132 | 56636 9 | 772 | 663 1455.30/1455.83 c 1455s | 17 | 4483491 | 290832 | 56636 9 | 772 | 663 1457.30/1457.87 c 1457s | 17 | 4499016 | 291432 | 56636 9 | 772 | 663 1459.50/1460.09 c 1459s | 17 | 4516343 | 292132 | 56636 9 | 772 | 663 1461.89/1462.40 c 1461s | 17 | 4526161 | 292632 | 56636 9 | 772 | 663 1464.09/1464.69 c 1464s | 17 | 4541181 | 293332 | 56636 9 | 772 | 663 1466.29/1466.85 c 1466s | 17 | 4546246 | 293932 | 56636 9 | 772 | 663 1468.59/1469.16 c 1468s | 17 | 4547900 | 294332 | 62300 9 | 772 | 663 1470.99/1471.56 c 1470s | 17 | 4563535 | 295032 | 62300 9 | 772 | 663 1473.19/1473.76 c 1473s | 17 | 4581650 | 295632 | 62300 9 | 772 | 663 1474.89/1475.48 c 1474s | 18 | 4594616 | 296252 | 62300 9 | 772 | 663 1476.91/1477.48 c 1476s | 18 | 4603696 | 296652 | 62300 9 | 772 | 663 1479.11/1479.61 c 1478s | 18 | 4618275 | 297252 | 62300 9 | 772 | 663 1481.10/1481.64 c 1481s | 18 | 4628874 | 297752 | 62300 9 | 772 | 663 1483.30/1483.87 c 1483s | 18 | 4640583 | 298352 | 62300 9 | 772 | 663 1485.71/1486.26 c 1485s | 18 | 4647744 | 298852 | 62300 9 | 772 | 663 1487.91/1488.49 c 1487s | 18 | 4655797 | 299452 | 62300 9 | 772 | 663 1490.00/1490.53 c 1489s | 18 | 4670880 | 299952 | 62300 9 | 772 | 663 1492.30/1492.85 c 1492s | 18 | 4687105 | 300652 | 62300 9 | 772 | 663 1494.60/1495.14 c 1494s | 18 | 4704318 | 301252 | 62300 9 | 772 | 663 1497.20/1497.78 c 1497s | 18 | 4713286 | 301752 | 62300 9 | 772 | 663 1499.40/1499.95 c 1499s | 18 | 4719364 | 302252 | 62300 9 | 772 | 663 1502.60/1503.10 c 1502s | 18 | 4721051 | 302652 | 62300 9 | 772 | 663 1504.90/1505.43 c 1504s | 18 | 4727755 | 303052 | 62300 9 | 772 | 663 1507.09/1507.62 c 1507s | 18 | 4744396 | 303652 | 62300 9 | 772 | 663 1509.19/1509.78 c 1509s | 18 | 4757561 | 304152 | 62300 9 | 772 | 663 1511.29/1511.84 c 1511s | 18 | 4775326 | 304652 | 62300 9 | 772 | 663 1513.59/1514.10 c 1513s | 18 | 4789718 | 305352 | 62300 9 | 772 | 663 1515.89/1516.44 c 1515s | 18 | 4802511 | 305952 | 62300 9 | 772 | 663 1518.39/1518.91 c 1518s | 18 | 4805067 | 306452 | 62300 9 | 772 | 663 1520.39/1520.98 c 1520s | 18 | 4816923 | 306952 | 62300 9 | 772 | 663 1522.89/1523.49 c 1522s | 18 | 4830415 | 307452 | 62300 9 | 772 | 663 1524.99/1525.59 c 1524s | 18 | 4836456 | 307952 | 62300 9 | 772 | 663 1527.19/1527.78 c 1527s | 18 | 4852048 | 308552 | 62300 9 | 772 | 663 1529.29/1529.88 c 1529s | 18 | 4861543 | 309152 | 62300 9 | 772 | 663 1531.69/1532.24 c 1531s | 18 | 4869556 | 309852 | 62300 9 | 772 | 663 1533.99/1534.53 c 1533s | 18 | 4872313 | 310352 | 62300 9 | 772 | 663 1536.39/1536.99 c 1536s | 18 | 4878456 | 310652 | 62300 10 | 772 | 663 1538.49/1539.09 c 1538s | 18 | 4885321 | 311252 | 62300 10 | 772 | 663 1540.69/1541.29 c 1540s | 18 | 4888655 | 311852 | 62300 10 | 772 | 663 1542.79/1543.30 c 1542s | 18 | 4892948 | 312452 | 62300 10 | 772 | 663 1544.79/1545.38 c 1544s | 18 | 4909290 | 312952 | 62300 10 | 773 | 664 1546.88/1547.41 c 1546s | 18 | 4924246 | 313652 | 62300 10 | 773 | 664 1548.98/1549.59 c 1548s | 18 | 4931953 | 314252 | 62300 10 | 773 | 664 1551.18/1551.70 c 1551s | 18 | 4944586 | 314952 | 62300 10 | 773 | 664 1553.28/1553.89 c 1553s | 18 | 4961657 | 315552 | 62300 10 | 774 | 665 1555.58/1556.13 c 1555s | 18 | 4982382 | 316152 | 62300 10 | 774 | 665 1557.68/1558.24 c 1557s | 18 | 4992726 | 316852 | 62300 10 | 774 | 665 1559.78/1560.31 c 1559s | 18 | 5008143 | 317452 | 62300 10 | 774 | 665 1561.78/1562.35 c 1561s | 18 | 5022264 | 318052 | 62300 10 | 774 | 665 1563.98/1564.52 c 1563s | 18 | 5032755 | 318752 | 62300 10 | 774 | 665 1566.08/1566.60 c 1565s | 18 | 5037071 | 319252 | 62300 10 | 774 | 665 1568.09/1568.63 c 1568s | 18 | 5049459 | 319852 | 62300 10 | 774 | 665 1570.29/1570.87 c 1570s | 18 | 5059292 | 320452 | 62300 10 | 774 | 665 1572.68/1573.23 c 1572s | 18 | 5074078 | 321152 | 62300 10 | 774 | 665 1574.69/1575.27 c 1574s | 18 | 5088094 | 321752 | 62300 10 | 774 | 665 1576.89/1577.48 c 1576s | 18 | 5104459 | 322452 | 62300 10 | 774 | 665 1579.09/1579.64 c 1579s | 18 | 5113902 | 322952 | 62300 10 | 774 | 665 1581.08/1581.68 c 1581s | 18 | 5121400 | 323552 | 62300 10 | 774 | 665 1583.28/1583.86 c 1583s | 18 | 5130043 | 324152 | 62300 10 | 774 | 665 1585.68/1586.25 c 1585s | 18 | 5132754 | 324652 | 62300 10 | 774 | 665 1587.78/1588.32 c 1587s | 18 | 5134169 | 325052 | 62300 10 | 774 | 665 1590.08/1590.61 c 1589s | 18 | 5137100 | 325552 | 62300 10 | 774 | 665 1592.08/1592.62 c 1592s | 18 | 5146124 | 326052 | 62300 10 | 774 | 665 1594.18/1594.72 c 1594s | 18 | 5163782 | 326552 | 62300 10 | 774 | 665 1596.48/1597.06 c 1596s | 18 | 5174859 | 327152 | 62300 10 | 774 | 665 1598.68/1599.26 c 1598s | 18 | 5188370 | 327852 | 62300 10 | 774 | 665 1600.88/1601.45 c 1600s | 18 | 5198913 | 328452 | 62300 10 | 774 | 665 1603.29/1603.87 c 1603s | 18 | 5199846 | 328752 | 62300 10 | 774 | 665 1605.28/1605.87 c 1605s | 18 | 5200121 | 328852 | 62300 10 | 774 | 665 1607.98/1608.57 c 1607s | 18 | 5201805 | 329252 | 62300 10 | 774 | 665 1610.58/1611.15 c 1610s | 18 | 5202656 | 329552 | 62300 10 | 774 | 665 1612.68/1613.22 c 1612s | 18 | 5203169 | 329752 | 62300 10 | 774 | 665 1615.07/1615.68 c 1615s | 18 | 5203692 | 329952 | 62300 10 | 774 | 665 1617.27/1617.84 c 1617s | 18 | 5204243 | 330152 | 62300 10 | 774 | 665 1619.47/1620.05 c 1619s | 18 | 5205346 | 330452 | 62300 10 | 774 | 665 1621.57/1622.18 c 1621s | 18 | 5206592 | 330752 | 62300 10 | 774 | 665 1623.77/1624.31 c 1623s | 18 | 5207496 | 330952 | 62300 10 | 774 | 665 1626.07/1626.63 c 1626s | 18 | 5210232 | 331352 | 62300 10 | 774 | 665 1628.68/1629.25 c 1628s | 18 | 5212505 | 331752 | 62300 10 | 774 | 665 1631.08/1631.69 c 1631s | 18 | 5220739 | 332252 | 62300 10 | 774 | 665 1633.48/1634.04 c 1633s | 18 | 5228051 | 332852 | 62300 10 | 774 | 665 1635.68/1636.23 c 1635s | 18 | 5238872 | 333452 | 62300 10 | 774 | 665 1638.08/1638.63 c 1638s | 18 | 5252202 | 334052 | 62300 10 | 774 | 665 1640.97/1641.56 c 1640s | 18 | 5254694 | 334552 | 62300 10 | 774 | 665 1643.17/1643.78 c 1643s | 18 | 5256802 | 335052 | 62300 10 | 774 | 665 1645.67/1646.22 c 1645s | 18 | 5259115 | 335452 | 62300 10 | 774 | 665 1647.97/1648.51 c 1647s | 18 | 5260779 | 335852 | 62300 10 | 774 | 665 1650.27/1650.83 c 1650s | 18 | 5261861 | 336152 | 62300 10 | 774 | 665 1652.47/1653.09 c 1652s | 18 | 5262445 | 336352 | 62300 10 | 774 | 665 1655.97/1656.50 c 1655s | 18 | 5262868 | 336552 | 62300 10 | 774 | 665 1657.97/1658.51 c 1657s | 18 | 5265075 | 336852 | 62300 10 | 774 | 665 1660.37/1660.97 c 1660s | 18 | 5266446 | 337252 | 62300 10 | 774 | 665 1662.87/1663.40 c 1662s | 18 | 5268114 | 337652 | 62300 10 | 774 | 665 1664.87/1665.43 c 1664s | 18 | 5270423 | 338052 | 62300 10 | 774 | 665 1666.97/1667.59 c 1666s | 18 | 5272535 | 338452 | 62300 10 | 774 | 665 1670.17/1670.77 c 1670s | 18 | 5275075 | 338952 | 62300 10 | 774 | 665 1672.76/1673.35 c 1672s | 18 | 5276506 | 339352 | 62300 10 | 774 | 665 1674.77/1675.35 c 1674s | 18 | 5276928 | 339552 | 62300 10 | 774 | 665 1676.76/1677.37 c 1676s | 18 | 5278009 | 339752 | 62300 10 | 774 | 665 1678.76/1679.38 c 1678s | 18 | 5278957 | 339952 | 62300 10 | 774 | 665 1680.96/1681.57 c 1680s | 18 | 5284380 | 340352 | 62300 10 | 774 | 665 1683.17/1683.77 c 1683s | 18 | 5287941 | 340952 | 62300 10 | 774 | 665 1685.37/1685.94 c 1685s | 18 | 5289759 | 341452 | 62300 10 | 774 | 665 1687.87/1688.48 c 1687s | 18 | 5291762 | 341952 | 62300 10 | 774 | 665 1690.47/1691.02 c 1690s | 18 | 5293718 | 342452 | 62300 10 | 774 | 665 1692.77/1693.34 c 1692s | 18 | 5295889 | 342852 | 62300 10 | 774 | 665 1694.77/1695.39 c 1694s | 18 | 5297288 | 343252 | 62300 10 | 774 | 665 1697.17/1697.71 c 1697s | 18 | 5299909 | 343652 | 62300 10 | 774 | 665 1699.36/1699.92 c 1699s | 18 | 5302376 | 344152 | 62300 10 | 774 | 665 1701.86/1702.40 c 1701s | 18 | 5309015 | 344652 | 62300 10 | 774 | 665 1703.86/1704.46 c 1703s | 18 | 5317111 | 345052 | 62300 10 | 774 | 665 1706.26/1706.87 c 1706s | 18 | 5318346 | 345452 | 62300 10 | 774 | 665 1708.36/1708.93 c 1708s | 18 | 5320066 | 345752 | 62300 10 | 774 | 665 1710.46/1711.02 c 1710s | 18 | 5322816 | 346252 | 62300 10 | 774 | 665 1712.46/1713.07 c 1712s | 18 | 5327323 | 346852 | 62300 10 | 774 | 665 1714.66/1715.25 c 1714s | 18 | 5329581 | 347452 | 62300 10 | 774 | 665 1716.67/1717.29 c 1716s | 18 | 5335335 | 347652 | 62300 11 | 774 | 665 1718.77/1719.34 c 1718s | 18 | 5345905 | 348352 | 62300 11 | 774 | 665 1720.86/1721.42 c 1720s | 18 | 5349070 | 348652 | 62300 11 | 774 | 665 1722.96/1723.55 c 1722s | 18 | 5362854 | 349352 | 62300 11 | 774 | 665 1725.26/1725.89 c 1725s | 18 | 5368671 | 350052 | 62300 11 | 774 | 665 1727.46/1728.01 c 1727s | 18 | 5373856 | 350952 | 62300 11 | 774 | 665 1729.56/1730.15 c 1729s | 18 | 5376867 | 351552 | 62300 11 | 774 | 665 1731.66/1732.26 c 1731s | 18 | 5379619 | 352052 | 62300 11 | 774 | 665 1734.06/1734.69 c 1734s | 18 | 5381118 | 352452 | 62300 11 | 774 | 665 1736.26/1736.87 c 1736s | 18 | 5383670 | 352952 | 62300 11 | 774 | 665 1738.36/1738.98 c 1738s | 18 | 5386635 | 353552 | 62300 11 | 774 | 665 1740.76/1741.35 c 1740s | 18 | 5389009 | 354052 | 62300 11 | 774 | 665 1742.86/1743.48 c 1742s | 18 | 5390167 | 354352 | 62300 11 | 774 | 665 1745.35/1745.95 c 1745s | 18 | 5391726 | 354652 | 62300 11 | 774 | 665 1747.55/1748.11 c 1747s | 18 | 5393689 | 355052 | 62300 11 | 774 | 665 1749.76/1750.33 c 1749s | 18 | 5396666 | 355552 | 62300 11 | 774 | 665 1751.87/1752.49 c 1751s | 18 | 5400030 | 356252 | 62300 11 | 774 | 665 1754.26/1754.89 c 1754s | 18 | 5404226 | 356852 | 62300 11 | 774 | 665 1756.96/1757.55 c 1756s | 18 | 5405295 | 357152 | 62300 11 | 774 | 665 1759.16/1759.71 c 1759s | 18 | 5407135 | 357552 | 62300 11 | 774 | 665 1761.46/1762.06 c 1761s | 18 | 5408108 | 357852 | 62300 11 | 774 | 665 1764.06/1764.66 c 1764s | 18 | 5408515 | 358052 | 62300 11 | 774 | 665 1766.26/1766.82 c 1766s | 18 | 5409607 | 358352 | 62300 11 | 774 | 665 1768.26/1768.85 c 1768s | 18 | 5413040 | 358952 | 62300 11 | 774 | 665 1770.36/1770.92 c 1770s | 18 | 5414998 | 359352 | 62300 11 | 774 | 665 1772.66/1773.25 c 1772s | 18 | 5416266 | 359652 | 62300 11 | 774 | 665 1774.75/1775.34 c 1774s | 18 | 5419759 | 360052 | 62300 11 | 774 | 665 1777.06/1777.67 c 1777s | 18 | 5423433 | 360452 | 62300 11 | 774 | 665 1779.26/1779.80 c 1779s | 18 | 5425938 | 360852 | 62300 11 | 774 | 665 1781.35/1781.91 c 1781s | 18 | 5428069 | 361152 | 62300 11 | 774 | 665 1783.95/1784.51 c 1783s | 18 | 5430324 | 361552 | 62300 11 | 774 | 665 1787.25/1787.83 c 1787s | 18 | 5432182 | 361952 | 62300 11 | 774 | 665 1789.45/1790.09 c 1789s | 18 | 5435306 | 362252 | 62300 11 | 774 | 665 1791.75/1792.34 c 1791s | 18 | 5444693 | 362952 | 62300 11 | 774 | 665 1793.75/1794.35 c 1793s | 18 | 5458603 | 363452 | 62300 11 | 774 | 665 1795.95/1796.59 c 1795s | 18 | 5475932 | 364052 | 62300 11 | 774 | 665 1798.15/1798.72 c 1798s | 18 | 5481014 | 364452 | 62300 11 | 774 | 665
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-4078900-1465286757/watcher-4078900-1465286757 -o /tmp/evaluation-result-4078900-1465286757/solver-4078900-1465286757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078900-1465286757.opb pid=10496 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.26 2.25 2.26 4/179 10499 /proc/meminfo: memFree=29160164/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/10499/stat : 10499 (runsolver) D 10496 10499 5723 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 110608773 24911872 152 33554432000 4194304 4338465 140736058453104 140736058450744 270707543223 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0 /proc/10499/statm: 6082 152 105 36 0 2655 0 [startup+0.100067 s] /proc/loadavg: 2.26 2.25 2.26 4/179 10499 /proc/meminfo: memFree=29160164/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1220164 CPUtime=0.07 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 22217 0 0 0 3 4 0 0 20 0 4 0 110608773 1249447936 22515 33554432000 4194304 16246674 140733322885920 140733322868912 7378128 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 2 0 0 /proc/10499/statm: 305041 22515 799 2943 0 301935 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1220164 [startup+0.20026 s] /proc/loadavg: 2.26 2.25 2.26 4/179 10499 /proc/meminfo: memFree=29160164/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1310276 CPUtime=0.16 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 46899 0 0 0 10 6 0 0 20 0 4 0 110608773 1341722624 47708 33554432000 4194304 16246674 140733322885920 140733322884584 4225128 0 2 0 34082818 18446744073709551615 0 0 17 6 0 0 2 0 0 /proc/10499/statm: 327569 47708 801 2943 0 324463 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 1310276 [startup+0.300243 s] /proc/loadavg: 2.26 2.25 2.26 4/179 10499 /proc/meminfo: memFree=29160164/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1313348 CPUtime=0.26 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 48359 0 0 0 20 6 0 0 20 0 4 0 110608773 1344868352 49168 33554432000 4194304 16246674 140733322885920 140733322867840 5925755 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 2 0 0 /proc/10499/statm: 328337 49168 833 2943 0 325231 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 1313348 [startup+0.700186 s] /proc/loadavg: 2.26 2.25 2.26 4/179 10499 /proc/meminfo: memFree=29160164/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1313348 CPUtime=0.67 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 115864 0 0 0 52 15 0 0 20 0 4 0 110608773 1344868352 116673 33554432000 4194304 16246674 140733322885920 140733322867840 5991508 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 2 0 0 /proc/10499/statm: 328337 116673 878 2943 0 325231 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.26 2.25 2.26 4/183 10503 /proc/meminfo: memFree=28418700/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1.46 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 213053 0 0 0 119 27 0 0 20 0 4 0 110608773 1359548416 213862 33554432000 4194304 16246674 140733322885920 140733322867840 6837245 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 213862 881 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 213862 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 213862 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 213862 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1327684 [startup+3.10045 s] /proc/loadavg: 2.26 2.25 2.26 4/183 10503 /proc/meminfo: memFree=28173056/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=3.06 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272591 0 0 0 271 35 0 0 20 0 4 0 110608773 1359548416 273400 33554432000 4194304 16246674 140733322885920 140733322867840 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273400 884 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 1327684 [startup+6.30045 s] /proc/loadavg: 2.24 2.25 2.26 3/183 10503 /proc/meminfo: memFree=28067780/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=6.26 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272591 0 0 0 591 35 0 0 20 0 4 0 110608773 1359548416 273400 33554432000 4194304 16246674 140733322885920 140733322868912 12483562 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273400 884 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 1327684 [startup+12.7005 s] /proc/loadavg: 2.22 2.24 2.26 3/183 10503 /proc/meminfo: memFree=28067796/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=12.66 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272591 0 0 0 1231 35 0 0 20 0 4 0 110608773 1359548416 273400 33554432000 4194304 16246674 140733322885920 140733322867840 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273400 884 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273400 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 1327684 [startup+25.5005 s] /proc/loadavg: 2.25 2.25 2.26 3/183 10503 /proc/meminfo: memFree=28066708/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=25.45 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272593 0 0 0 2510 35 0 0 20 0 4 0 110608773 1359548416 273402 33554432000 4194304 16246674 140733322885920 140733322885016 5545898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273402 885 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 1327684 [startup+51.1005 s] /proc/loadavg: 2.29 2.26 2.26 4/183 10504 /proc/meminfo: memFree=28066040/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=51.06 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272593 0 0 0 5070 36 0 0 20 0 4 0 110608773 1359548416 273402 33554432000 4194304 16246674 140733322885920 140733322867840 6837016 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273402 885 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1327684 [startup+102.3 s] /proc/loadavg: 2.38 2.28 2.27 3/183 10505 /proc/meminfo: memFree=28065828/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=102.25 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272593 0 0 0 10189 36 0 0 20 0 4 0 110608773 1359548416 273402 33554432000 4194304 16246674 140733322885920 140733322867840 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273402 885 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1327684 [startup+162.3 s] /proc/loadavg: 2.26 2.26 2.26 3/183 10506 /proc/meminfo: memFree=28066052/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=162.24 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272593 0 0 0 16186 38 0 0 20 0 4 0 110608773 1359548416 273402 33554432000 4194304 16246674 140733322885920 140733322885096 5546224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273402 885 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1327684 [startup+222.307 s] /proc/loadavg: 2.39 2.29 2.27 4/183 10507 /proc/meminfo: memFree=28065856/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=222.23 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272593 0 0 0 22183 40 0 0 20 0 4 0 110608773 1359548416 273402 33554432000 4194304 16246674 140733322885920 140733322867840 5662174 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273402 885 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273402 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1327684 ################ # More data... # ################ /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1327684 [startup+1302.3 s] /proc/loadavg: 2.36 2.27 2.24 3/183 10632 /proc/meminfo: memFree=28065764/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1301.84 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272949 0 0 0 130130 54 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.31 2.27 2.25 3/183 10633 /proc/meminfo: memFree=28065488/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1361.82 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 136127 55 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.16 2.24 2.23 3/183 10634 /proc/meminfo: memFree=28063828/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1421.81 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 142125 56 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 5523416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.13 2.22 2.23 3/184 10638 /proc/meminfo: memFree=28063804/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1481.8 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 148123 57 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 6022670 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.18 2.22 2.23 3/183 10639 /proc/meminfo: memFree=28063460/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1541.79 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 154122 57 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322885096 5675921 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.23 2.22 2.22 3/183 10641 /proc/meminfo: memFree=28063912/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1601.78 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 160120 58 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322885096 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.44 2.28 2.25 4/183 10642 /proc/meminfo: memFree=28063452/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1661.77 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 166118 59 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 5545704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.30 2.28 2.24 3/183 10643 /proc/meminfo: memFree=28062880/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1721.76 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 172116 60 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.33 2.28 2.25 4/183 10644 /proc/meminfo: memFree=28063032/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1781.75 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 178114 61 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322885096 12478342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.39 2.30 2.25 4/183 10645 /proc/meminfo: memFree=28063156/32872528 swapFree=16384/1696552 [pid=10499] ppid=10496 vsize=1327684 CPUtime=1800.05 cores=0,2,4,6 /proc/10499/stat : 10499 (toysat) R 10496 10499 5723 0 -1 4202496 272988 0 0 0 179944 61 0 0 20 0 4 0 110608773 1359548416 273659 33554432000 4194304 16246674 140733322885920 140733322867840 6020678 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/10499/statm: 331921 273659 886 2943 0 328815 0 [pid=10499/tid=10501] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10501/stat : 10501 (toysat) S 10496 10499 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222586137840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=10499/tid=10502] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10502/stat : 10502 (toysat) S 10496 10499 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222575647984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=10499/tid=10503] ppid=10496 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/10499/task/10503/stat : 10503 (toysat) S 10496 10499 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110608775 1359548416 273659 33554432000 4194304 16246674 140733322885920 140222494928048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1327684 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 10499 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.45 CPU system time (s): 0.614906 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.614906 maximum resident set size= 1094636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272988 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 408 involuntary context switches= 1999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.97224 second user time and 6.94594 second system time The end
Begin job on node125 at 2016-06-07 10:05:57 IDJOB=4078900 IDBENCH=90196 IDSOLVER=2542 FILE ID=node125/4078900-1465286757 RUNJOBID= node125-1465259688-5739 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078900-1465286757/watcher-4078900-1465286757 -o /tmp/evaluation-result-4078900-1465286757/solver-4078900-1465286757 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078900-1465286757.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59945e7fb6f70b0a7aeb9a0267c89f72 RANDOM SEED=1504264755 node125.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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: 29160180 kB Buffers: 34220 kB Cached: 153512 kB SwapCached: 1700 kB Active: 1140396 kB Inactive: 129240 kB Active(anon): 1079244 kB Inactive(anon): 4772 kB Active(file): 61152 kB Inactive(file): 124468 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 17512 kB Writeback: 0 kB AnonPages: 2881972 kB Mapped: 10536 kB Shmem: 0 kB Slab: 609168 kB SReclaimable: 52832 kB SUnreclaim: 556336 kB KernelStack: 1512 kB PageTables: 9772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2922008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1792000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 10:35:58