| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_22.opb |
| MD5SUM | 3dca049f681eb90ab964de60b18deb2d |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 37.7213 |
| 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 | 7482 |
| Total number of constraints | 36641 |
| Number of constraints which are clauses | 36636 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 86 |
| 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 | 22 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 108 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T01:29:33+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4098143-1466119772.opb"] 0.00/0.01 c use --random-gen="3648146090 593639339 241496355 3347454668 1885215903 2193408950 4276913601 791339221 2153735943 3018150556 2576447745 142546721 2665844840 1192057743 3902728568 2266881537 3477751962 1318395576 1327244798 2465520890 3561482273 687084330 2510100817 3013890396 4089110731 3877269533 1911162878 1850015055 740943461 1666772222 3489059140 3780260952 60044642 2974354924 3070135870 178823731 67945860 2341998539 1552784903 3086754687 3414253883 611483173 1247990831 1389831496 419885236 1087044021 1642791979 953314418 2237591773 1444970015 196785571 2954451771 3476784194 2725554960 2698534825 3942262500 2365494099 705382275 2677448657 3758085768 853347996 304958736 2500488912 3359179511 1728939462 4151296685 2170940650 4149096107 2248663428 1559479378 3960518860 1819822724 3479479599 2826139563 2485005956 2429800521 3277546670 364331430 2328303998 581913195 2654096937 2996772064 448544876 1374450982 3864742565 474732922 1203902885 2198676567 3510396906 1154437296 3632248199 3949810651 2971262887 1025158561 92144567 1070185257 195049279 1834594728 2476423559 3064533038 3381954230 587121761 543497309 977894940 1715224861 1118403199 449079007 560665139 3658532678 3445514874 3219881446 4162552794 4187347716 3683898455 77384420 2934504009 2782996302 984072456 1560824804 3115902588 2419701238 3863122693 873271893 2998901947 1127357615 1537446723 1668749117 1028506546 3738931102 373321748 3143480323 3722253252 1155798201 4224671547 3821871154 4101469946 2257307298 3957823183 3269893768 2176321574 3830924878 2989307355 762364767 823180322 985563349 2156141331 407901400 492527724 2241686666 922863575 4207401911 3642666945 2236165013 4162699958 3322690068 3466471367 3798284158 667549286 1292096504 3842441921 1745204441 1731270898 879223849 3834108190 1418912438 4191641374 4132018913 1629614677 1875585641 4189672060 3550175985 1729777382 1970361015 3907224972 3669360522 2246193221 2867334754 3873256002 2614364573 2309607845 2669401376 3910139040 731484739 726213449 954885640 3525690297 1757169119 2293536037 1652785511 2363242311 3359594092 696328810 1351830508 923294472 2905885052 1877545138 222417233 2258515616 3235635317 649719856 844255878 1370671549 3097693288 259065911 2898448852 3489078974 1628021149 3805720713 894222798 2119404122 3946512418 2832198771 439346169 3707380881 2772718644 1134005131 3703024984 3250974788 773430642 2587368893 2930634782 1856009318 753356682 826685122 2258308349 3163471957 171665920 1781469598 1840745344 2109421912 3692183923 1088093561 48604848 975125984 3708381801 96128589 1850155809 1389288926 259504766 3616025554 1349502901 1300592356 2524783374 2088922683 1139933559 3381500148 1864646390 3332393326 2447651210 787741106 3255485842 3023517773 2536423805 99483243 3446688325 1184414314 255 362436" option to reproduce the execution 0.89/0.91 c #vars 7482 0.89/0.91 c #constraints 36641 2.39/2.44 c Solving starts ... 2.39/2.44 c ============================[ Search Statistics ]============================ 2.39/2.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.44 c | | | | Limit GC | Var | Constra 2.39/2.44 c ============================================================================= 2.39/2.44 c 0.0s | 0 | 0 | 0 | 14706 0 | 5 | 0 3.09/3.11 c 0.7s | 1 | 934 | 100 | 14706 0 | 5 | 744 3.89/3.96 c 1.5s | 2 | 2461 | 250 | 16177 0 | 5 | 744 5.19/5.24 c 2.8s | 3 | 4055 | 475 | 17795 0 | 5 | 744 7.00/7.06 c 4.6s | 4 | 7285 | 813 | 19575 0 | 5 | 744 8.89/8.94 c 6.5s | 5 | 10187 | 1320 | 21533 0 | 5 | 744 10.89/10.97 c 8.5s | 5 | 14346 | 1720 | 23687 0 | 5 | 744 12.60/12.61 c 10.2s | 6 | 18208 | 2081 | 26056 0 | 5 | 744 14.80/14.83 c 12.4s | 6 | 24329 | 2581 | 26056 0 | 5 | 744 16.79/16.90 c 14.5s | 6 | 26807 | 3181 | 26056 0 | 5 | 744 17.00/17.02 c 14.6s | 7 | 26986 | 3223 | 28662 0 | 5 | 744 19.29/19.38 c 16.9s | 7 | 32787 | 3723 | 28662 0 | 5 | 744 21.49/21.52 c 19.1s | 7 | 37141 | 4123 | 28662 0 | 5 | 744 23.60/23.66 c 21.2s | 7 | 41832 | 4723 | 28662 0 | 5 | 744 24.49/24.52 c 22.1s | 8 | 42868 | 4936 | 31529 0 | 5 | 744 26.59/26.69 c 24.3s | 8 | 49180 | 5336 | 31529 0 | 5 | 744 28.89/28.93 c 26.5s | 8 | 53606 | 5836 | 31529 0 | 5 | 744 30.99/31.08 c 28.6s | 8 | 57356 | 6236 | 31529 0 | 5 | 744 33.29/33.31 c 30.9s | 8 | 61269 | 6736 | 31529 0 | 5 | 744 35.39/35.44 c 33.0s | 8 | 65753 | 7436 | 31529 0 | 5 | 744 35.69/35.76 c 33.3s | 9 | 66410 | 7506 | 34682 0 | 5 | 744 38.09/38.17 c 35.7s | 9 | 69611 | 7906 | 34682 0 | 5 | 744 40.39/40.44 c 38.0s | 9 | 73170 | 8406 | 34682 0 | 5 | 744 42.59/42.63 c 40.2s | 9 | 80398 | 8906 | 34682 0 | 5 | 744 44.69/44.77 c 42.3s | 9 | 88121 | 9306 | 34682 0 | 5 | 744 47.19/47.24 c 44.8s | 9 | 93979 | 9806 | 34682 0 | 5 | 744 49.39/49.45 c 47.0s | 9 | 96512 | 10306 | 34682 0 | 5 | 744 51.58/51.66 c 49.2s | 9 | 102133 | 10906 | 34682 0 | 5 | 744 53.48/53.54 c 51.1s | 10 | 107189 | 11361 | 38151 0 | 5 | 744 55.49/55.59 c 53.2s | 10 | 110072 | 11861 | 38151 0 | 5 | 744 57.88/57.90 c 55.5s | 10 | 113495 | 12561 | 38151 0 | 5 | 744 59.89/59.97 c 57.5s | 10 | 117392 | 13061 | 38151 0 | 5 | 744 61.99/62.04 c 59.6s | 10 | 122274 | 13561 | 38151 0 | 5 | 744 64.38/64.42 c 62.0s | 10 | 126222 | 14061 | 38151 0 | 5 | 744 66.78/66.82 c 64.4s | 10 | 129834 | 14561 | 38151 0 | 5 | 744 68.78/68.88 c 66.4s | 10 | 135935 | 15061 | 38151 0 | 5 | 744 71.28/71.31 c 68.9s | 10 | 139195 | 15561 | 38151 0 | 5 | 744 73.38/73.42 c 71.0s | 10 | 143018 | 16161 | 38151 0 | 5 | 744 75.58/75.62 c 73.2s | 10 | 147471 | 16661 | 38151 0 | 5 | 744 77.88/78.00 c 75.6s | 11 | 152201 | 17144 | 41967 0 | 5 | 744 80.48/80.56 c 78.1s | 11 | 155811 | 17544 | 41967 0 | 5 | 744 82.58/82.68 c 80.2s | 11 | 159635 | 17944 | 41967 0 | 5 | 744 84.88/84.98 c 82.5s | 11 | 161617 | 18444 | 41967 0 | 5 | 744 87.38/87.44 c 85.0s | 11 | 163757 | 19044 | 41967 0 | 5 | 744 89.58/89.66 c 87.2s | 11 | 166576 | 19544 | 41967 0 | 5 | 744 91.98/92.02 c 89.6s | 11 | 171439 | 20044 | 41967 0 | 5 | 744 94.28/94.38 c 91.9s | 11 | 175903 | 20444 | 41967 0 | 5 | 744 96.38/96.47 c 94.0s | 11 | 180139 | 20944 | 41967 0 | 5 | 744 98.48/98.55 c 96.1s | 11 | 184215 | 21544 | 41967 0 | 5 | 744 100.78/100.87 c 98.4s | 11 | 189342 | 22044 | 41967 0 | 5 | 744 102.88/102.91 c 100s | 11 | 193705 | 22444 | 41967 0 | 5 | 744 105.08/105.18 c 102s | 11 | 199288 | 23244 | 41967 0 | 5 | 744 107.27/107.39 c 104s | 11 | 206654 | 23744 | 41967 0 | 5 | 744 109.38/109.46 c 107s | 11 | 211887 | 24244 | 41967 0 | 5 | 744 111.67/111.75 c 109s | 11 | 216125 | 24944 | 41967 0 | 5 | 744 113.87/113.92 c 111s | 11 | 222107 | 25444 | 41967 0 | 5 | 744 115.67/115.74 c 113s | 12 | 226583 | 25819 | 46164 0 | 5 | 744 117.97/118.02 c 115s | 12 | 229344 | 26219 | 46164 0 | 5 | 744 120.07/120.16 c 117s | 12 | 232733 | 26819 | 46164 0 | 5 | 744 122.58/122.66 c 120s | 12 | 237050 | 27419 | 46164 0 | 5 | 744 124.68/124.77 c 122s | 12 | 241891 | 27819 | 46164 0 | 5 | 744 126.77/126.87 c 124s | 12 | 245198 | 28319 | 46164 0 | 5 | 744 129.08/129.15 c 126s | 12 | 248957 | 29019 | 46164 0 | 5 | 744 131.17/131.28 c 128s | 12 | 251958 | 29519 | 46164 0 | 5 | 744 133.27/133.30 c 130s | 12 | 255054 | 29919 | 46164 0 | 5 | 744 135.57/135.69 c 133s | 12 | 257431 | 30419 | 46164 0 | 5 | 744 137.98/138.03 c 135s | 12 | 258994 | 31019 | 46164 0 | 5 | 744 140.27/140.30 c 137s | 12 | 263383 | 31519 | 46164 0 | 5 | 744 142.28/142.33 c 139s | 12 | 266657 | 31919 | 46164 0 | 5 | 744 144.48/144.51 c 142s | 12 | 270152 | 32519 | 46164 0 | 5 | 744 146.97/147.01 c 144s | 12 | 275161 | 33119 | 46164 0 | 5 | 744 149.27/149.31 c 146s | 12 | 279883 | 33619 | 46164 0 | 5 | 744 151.47/151.54 c 149s | 12 | 284844 | 34319 | 46164 0 | 5 | 744 153.67/153.74 c 151s | 12 | 288788 | 35019 | 46164 0 | 5 | 744 155.87/155.98 c 153s | 12 | 293770 | 35519 | 46164 0 | 5 | 744 157.97/158.07 c 155s | 12 | 297135 | 36019 | 46164 0 | 5 | 744 160.07/160.12 c 157s | 12 | 300243 | 36619 | 46164 0 | 5 | 744 162.46/162.51 c 160s | 12 | 303415 | 37119 | 46164 0 | 5 | 744 164.46/164.57 c 162s | 12 | 306296 | 37719 | 46164 0 | 5 | 744 166.57/166.61 c 164s | 12 | 309360 | 38219 | 46164 0 | 5 | 744 168.77/168.89 c 166s | 12 | 312306 | 38819 | 50781 0 | 5 | 744 168.86/168.93 c 166s | 13 | 312362 | 38832 | 50781 0 | 5 | 744 171.06/171.17 c 168s | 13 | 316832 | 39432 | 50781 0 | 5 | 744 173.16/173.29 c 170s | 13 | 319963 | 40132 | 50781 0 | 5 | 744 175.26/175.38 c 172s | 13 | 323428 | 40732 | 50781 0 | 5 | 744 177.36/177.49 c 175s | 13 | 327232 | 41432 | 50781 0 | 5 | 744 179.66/179.79 c 177s | 13 | 331102 | 42132 | 50781 0 | 5 | 744 181.76/181.80 c 179s | 13 | 333652 | 42632 | 50781 0 | 5 | 744 183.86/183.98 c 181s | 13 | 336103 | 43332 | 50781 0 | 5 | 744 185.95/186.06 c 183s | 13 | 339374 | 44032 | 50781 0 | 5 | 744 188.15/188.23 c 185s | 13 | 342272 | 44832 | 50781 0 | 5 | 744 190.25/190.35 c 187s | 13 | 344184 | 45632 | 50781 0 | 5 | 744 192.35/192.49 c 190s | 13 | 346781 | 46232 | 50781 0 | 5 | 744 194.95/195.08 c 192s | 13 | 351632 | 46932 | 50781 0 | 5 | 744 197.36/197.49 c 195s | 13 | 358134 | 47332 | 50781 0 | 5 | 744 199.95/200.03 c 197s | 13 | 363566 | 47732 | 50781 0 | 5 | 744 202.15/202.24 c 199s | 13 | 366959 | 48332 | 50781 0 | 5 | 744 204.15/204.26 c 201s | 13 | 370912 | 48832 | 50781 0 | 5 | 744 206.35/206.46 c 204s | 13 | 374965 | 49232 | 50781 0 | 5 | 744 208.85/208.91 c 206s | 13 | 379686 | 49632 | 50781 0 | 5 | 744 210.95/211.06 c 208s | 13 | 383010 | 50032 | 50781 0 | 5 | 744 213.15/213.25 c 210s | 13 | 387882 | 50732 | 50781 0 | 5 | 744 215.65/215.71 c 213s | 13 | 394433 | 51232 | 50781 0 | 5 | 744 218.04/218.20 c 215s | 13 | 396733 | 51432 | 50781 1 | 5 | 744 220.24/220.39 c 217s | 13 | 402390 | 51832 | 50781 1 | 5 | 744 222.34/222.43 c 219s | 13 | 407950 | 52332 | 50781 1 | 5 | 744 224.54/224.65 c 222s | 13 | 413087 | 53032 | 50781 1 | 5 | 744 226.84/226.98 c 224s | 13 | 419946 | 53532 | 50781 1 | 5 | 744 229.15/229.29 c 226s | 13 | 425723 | 54032 | 50781 1 | 5 | 744 231.35/231.41 c 228s | 13 | 431106 | 54732 | 50781 1 | 5 | 744 233.84/233.96 c 231s | 13 | 436495 | 55232 | 50781 1 | 5 | 744 235.94/236.04 c 233s | 13 | 440112 | 55532 | 50781 1 | 5 | 744 237.94/238.08 c 235s | 13 | 443966 | 56032 | 50781 1 | 5 | 744 240.44/240.50 c 238s | 13 | 450060 | 56832 | 50781 1 | 5 | 744 242.83/242.91 c 240s | 13 | 455159 | 57332 | 50781 1 | 5 | 744 245.23/245.33 c 242s | 13 | 459087 | 58032 | 55860 1 | 5 | 744 246.63/246.77 c 244s | 14 | 462319 | 58352 | 55860 1 | 5 | 744 248.73/248.82 c 246s | 14 | 466975 | 58752 | 55860 1 | 5 | 744 250.83/250.95 c 248s | 14 | 475847 | 59652 | 55860 1 | 5 | 744 253.23/253.31 c 250s | 14 | 480495 | 60152 | 55860 1 | 5 | 744 255.23/255.33 c 252s | 14 | 483656 | 60752 | 55860 1 | 5 | 744 257.42/257.57 c 255s | 14 | 489082 | 61252 | 55860 1 | 5 | 744 259.62/259.71 c 257s | 14 | 492181 | 61852 | 55860 1 | 5 | 744 261.92/262.00 c 259s | 14 | 497062 | 62352 | 55860 1 | 5 | 744 264.12/264.23 c 261s | 14 | 501291 | 62852 | 55860 1 | 5 | 744 266.22/266.37 c 263s | 14 | 505087 | 63552 | 55860 1 | 5 | 744 268.62/268.72 c 266s | 14 | 511235 | 64152 | 55860 1 | 5 | 744 270.94/271.10 c 268s | 14 | 515781 | 64852 | 55860 1 | 5 | 744 273.02/273.11 c 270s | 14 | 518666 | 65352 | 55860 1 | 5 | 744 275.02/275.13 c 272s | 14 | 521758 | 65852 | 55860 1 | 5 | 744 277.02/277.15 c 274s | 14 | 524411 | 66452 | 55860 1 | 5 | 744 279.12/279.29 c 276s | 14 | 527504 | 66952 | 55860 1 | 5 | 744 281.12/281.30 c 278s | 14 | 530476 | 67552 | 55860 1 | 5 | 744 283.22/283.35 c 280s | 14 | 533895 | 68052 | 55860 1 | 5 | 744 285.42/285.55 c 283s | 14 | 536980 | 68652 | 55860 1 | 5 | 744 287.43/287.56 c 285s | 14 | 541198 | 69352 | 55860 1 | 5 | 744 289.52/289.68 c 287s | 14 | 544242 | 69952 | 55860 1 | 5 | 744 291.82/291.98 c 289s | 14 | 547693 | 70652 | 55860 1 | 5 | 744 294.02/294.15 c 291s | 14 | 551130 | 71352 | 55860 1 | 5 | 744 296.22/296.34 c 293s | 14 | 555543 | 72252 | 55860 1 | 5 | 744 298.31/298.47 c 296s | 14 | 558888 | 73052 | 55860 1 | 5 | 744 300.51/300.62 c 298s | 14 | 562368 | 73852 | 55860 1 | 5 | 744 302.61/302.75 c 300s | 14 | 565603 | 74752 | 55860 1 | 5 | 744 305.02/305.19 c 302s | 14 | 570376 | 75652 | 55860 1 | 5 | 744 307.22/307.33 c 304s | 14 | 574945 | 76052 | 55860 1 | 5 | 744 309.52/309.66 c 307s | 14 | 579722 | 76652 | 55860 1 | 5 | 744 311.81/311.97 c 309s | 14 | 585078 | 77152 | 55860 1 | 5 | 744 314.01/314.15 c 311s | 14 | 588890 | 77552 | 55860 1 | 5 | 744 316.01/316.20 c 313s | 14 | 592206 | 77952 | 55860 1 | 5 | 744 318.31/318.41 c 315s | 14 | 594064 | 78452 | 55860 1 | 5 | 744 320.61/320.78 c 318s | 14 | 595189 | 78852 | 55860 1 | 5 | 744 322.90/323.05 c 320s | 14 | 597233 | 79252 | 55860 1 | 5 | 744 325.10/325.23 c 322s | 14 | 602804 | 79652 | 55860 1 | 5 | 744 327.50/327.61 c 325s | 14 | 606355 | 80052 | 55860 1 | 5 | 744 329.70/329.80 c 327s | 14 | 609993 | 80452 | 55860 1 | 5 | 744 331.90/332.05 c 329s | 14 | 613088 | 80952 | 55860 1 | 5 | 744 334.20/334.31 c 331s | 14 | 615683 | 81452 | 55860 1 | 5 | 744 336.40/336.54 c 334s | 14 | 620039 | 81852 | 55860 1 | 5 | 744 338.70/338.80 c 336s | 14 | 624534 | 82352 | 55860 1 | 5 | 744 340.70/340.88 c 338s | 14 | 628992 | 82952 | 55860 1 | 5 | 744 342.80/342.99 c 340s | 14 | 632713 | 83252 | 55860 2 | 5 | 744 344.90/345.04 c 342s | 14 | 635842 | 83652 | 55860 2 | 5 | 744 346.90/347.05 c 344s | 14 | 640109 | 84152 | 55860 2 | 5 | 744 349.30/349.44 c 346s | 14 | 645936 | 84952 | 55860 2 | 5 | 744 351.50/351.62 c 349s | 14 | 653883 | 85552 | 55860 2 | 5 | 744 353.59/353.80 c 351s | 14 | 658472 | 86152 | 55860 2 | 5 | 744 355.79/355.96 c 353s | 14 | 663592 | 86652 | 55860 2 | 5 | 744 357.80/357.97 c 355s | 14 | 664857 | 87152 | 61447 2 | 5 | 744 359.69/359.81 c 357s | 15 | 668093 | 87632 | 61447 2 | 5 | 744 362.09/362.21 c 359s | 15 | 671905 | 88032 | 61447 2 | 5 | 744 364.09/364.27 c 361s | 15 | 676139 | 88532 | 61447 2 | 5 | 744 366.39/366.54 c 364s | 15 | 680965 | 89232 | 61447 2 | 5 | 744 368.39/368.57 c 366s | 15 | 685746 | 89732 | 61447 2 | 5 | 744 370.69/370.82 c 368s | 15 | 692162 | 90532 | 61447 2 | 5 | 744 372.88/373.08 c 370s | 15 | 698367 | 91332 | 61447 2 | 5 | 744 374.98/375.13 c 372s | 15 | 704112 | 92032 | 61447 2 | 5 | 744 377.18/377.36 c 374s | 15 | 708351 | 92632 | 61447 2 | 5 | 744 379.38/379.54 c 377s | 15 | 714128 | 93432 | 61447 2 | 5 | 744 381.48/381.65 c 379s | 15 | 720038 | 94132 | 61447 2 | 5 | 744 383.77/383.94 c 381s | 15 | 723176 | 94732 | 61447 2 | 5 | 744 385.97/386.11 c 383s | 15 | 727211 | 95532 | 61447 2 | 5 | 744 387.97/388.13 c 385s | 15 | 731867 | 96232 | 61447 2 | 5 | 744 390.17/390.32 c 387s | 15 | 735868 | 97032 | 61447 2 | 5 | 744 392.27/392.45 c 390s | 15 | 740340 | 97832 | 61447 2 | 5 | 744 394.37/394.57 c 392s | 15 | 742918 | 98632 | 61447 2 | 5 | 744 396.57/396.72 c 394s | 15 | 745251 | 99532 | 61447 2 | 5 | 744 398.67/398.84 c 396s | 15 | 748526 | 100132 | 61447 2 | 5 | 744 400.87/401.09 c 398s | 15 | 753117 | 100832 | 61447 2 | 5 | 744 403.26/403.42 c 400s | 15 | 756446 | 101332 | 61447 2 | 5 | 744 405.36/405.59 c 403s | 15 | 761103 | 101732 | 61447 2 | 5 | 744 407.46/407.61 c 405s | 15 | 766161 | 102132 | 61447 2 | 5 | 744 409.57/409.78 c 407s | 15 | 771088 | 102932 | 61447 2 | 5 | 744 411.67/411.86 c 409s | 15 | 777030 | 103432 | 61447 2 | 5 | 744 414.06/414.21 c 411s | 15 | 781329 | 103832 | 61447 2 | 5 | 744 416.17/416.31 c 413s | 15 | 784761 | 104232 | 61447 2 | 5 | 744 418.37/418.53 c 416s | 15 | 788193 | 104832 | 61447 2 | 5 | 744 420.47/420.63 c 418s | 15 | 793446 | 105332 | 61447 2 | 5 | 744 422.55/422.76 c 420s | 15 | 797811 | 105732 | 61447 2 | 5 | 744 424.55/424.78 c 422s | 15 | 802720 | 106332 | 61447 2 | 5 | 744 426.85/427.08 c 424s | 15 | 806296 | 106832 | 61447 2 | 5 | 744 429.26/429.42 c 426s | 15 | 810928 | 107332 | 61447 2 | 5 | 744 431.25/431.48 c 429s | 15 | 814382 | 107732 | 61447 2 | 5 | 744 433.45/433.63 c 431s | 15 | 818642 | 108432 | 61447 2 | 5 | 744 435.75/435.94 c 433s | 15 | 824097 | 108932 | 61447 2 | 5 | 744 437.85/438.07 c 435s | 15 | 828495 | 109332 | 61447 2 | 5 | 744 439.95/440.13 c 437s | 15 | 832763 | 109832 | 61447 2 | 5 | 744 441.94/442.16 c 439s | 15 | 837731 | 110432 | 61447 2 | 5 | 744 444.04/444.22 c 441s | 15 | 842531 | 111132 | 61447 2 | 5 | 744 446.04/446.23 c 443s | 15 | 846534 | 111532 | 61447 2 | 5 | 744 448.05/448.26 c 445s | 15 | 850099 | 111932 | 61447 2 | 5 | 744 450.44/450.60 c 448s | 15 | 853529 | 112632 | 61447 2 | 5 | 744 452.54/452.76 c 450s | 15 | 858441 | 113132 | 61447 2 | 5 | 744 454.84/455.04 c 452s | 15 | 863218 | 113732 | 61447 2 | 5 | 744 457.14/457.32 c 454s | 15 | 869698 | 114332 | 61447 2 | 5 | 744 459.24/459.44 c 456s | 15 | 874905 | 115032 | 61447 2 | 5 | 744 461.33/461.58 c 459s | 15 | 879574 | 115732 | 61447 2 | 5 | 744 463.73/463.96 c 461s | 15 | 885778 | 116332 | 61447 2 | 5 | 744 465.83/466.01 c 463s | 15 | 891126 | 117032 | 61447 2 | 5 | 744 467.93/468.19 c 465s | 15 | 896216 | 117732 | 61447 2 | 5 | 744 470.04/470.22 c 467s | 15 | 901247 | 118332 | 61447 2 | 5 | 744 472.32/472.51 c 470s | 15 | 904204 | 118932 | 61447 3 | 5 | 744 474.52/474.70 c 472s | 15 | 908601 | 119632 | 61447 3 | 5 | 744 476.72/476.94 c 474s | 15 | 912621 | 120332 | 61447 3 | 5 | 744 478.92/479.17 c 476s | 15 | 917592 | 121232 | 61447 3 | 5 | 744 481.12/481.38 c 478s | 15 | 922352 | 122132 | 61447 3 | 5 | 744 483.12/483.40 c 480s | 15 | 926770 | 123132 | 61447 3 | 5 | 744 485.22/485.50 c 483s | 15 | 929601 | 124132 | 61447 3 | 5 | 744 487.62/487.89 c 485s | 15 | 932360 | 124832 | 61447 3 | 5 | 744 489.72/489.91 c 487s | 15 | 937734 | 125332 | 61447 3 | 5 | 744 491.92/492.15 c 489s | 15 | 942623 | 126032 | 61447 3 | 5 | 744 494.12/494.33 c 491s | 15 | 949303 | 126532 | 61447 3 | 5 | 744 496.21/496.42 c 493s | 15 | 954699 | 127032 | 61447 3 | 5 | 744 498.71/498.90 c 496s | 15 | 960294 | 127832 | 61447 3 | 5 | 744 501.01/501.26 c 498s | 15 | 966762 | 128332 | 61447 3 | 5 | 744 503.10/503.30 c 500s | 15 | 971837 | 128832 | 61447 3 | 5 | 744 505.50/505.72 c 503s | 15 | 977322 | 129632 | 61447 3 | 5 | 744 507.60/507.86 c 505s | 15 | 983124 | 130132 | 61447 3 | 5 | 744 509.90/510.11 c 507s | 15 | 989432 | 130932 | 67592 3 | 5 | 744 511.90/512.19 c 509s | 15 | 995300 | 131432 | 67592 3 | 5 | 744 512.30/512.58 c 510s | 16 | 996594 | 131552 | 67592 3 | 5 | 744 514.50/514.71 c 512s | 16 | 1001074 | 132052 | 67592 3 | 5 | 744 516.70/516.92 c 514s | 16 | 1005603 | 132652 | 67592 3 | 5 | 744 518.70/518.99 c 516s | 16 | 1010336 | 133152 | 67592 3 | 5 | 744 520.90/521.17 c 518s | 16 | 1013236 | 133852 | 67592 3 | 5 | 744 523.09/523.33 c 520s | 16 | 1017423 | 134452 | 67592 3 | 5 | 744 525.09/525.39 c 522s | 16 | 1022743 | 134952 | 67592 3 | 5 | 744 527.20/527.43 c 524s | 16 | 1027578 | 135652 | 67592 3 | 5 | 744 529.30/529.56 c 527s | 16 | 1033937 | 136452 | 67592 3 | 5 | 744 531.69/531.90 c 529s | 16 | 1040654 | 137052 | 67592 3 | 5 | 744 533.79/534.09 c 531s | 16 | 1046508 | 137852 | 67592 3 | 5 | 744 535.99/536.25 c 533s | 16 | 1050475 | 138552 | 67592 3 | 5 | 744 538.19/538.48 c 536s | 16 | 1055436 | 139152 | 67592 3 | 5 | 744 540.48/540.74 c 538s | 16 | 1058552 | 139852 | 67592 3 | 5 | 744 542.68/542.96 c 540s | 16 | 1063927 | 140652 | 67592 3 | 5 | 744 544.98/545.23 c 542s | 16 | 1067945 | 141352 | 67592 3 | 5 | 744 547.28/547.59 c 545s | 16 | 1072233 | 142052 | 67592 3 | 5 | 744 549.38/549.60 c 547s | 16 | 1075760 | 142752 | 67592 3 | 5 | 744 551.58/551.82 c 549s | 16 | 1079266 | 143552 | 67592 3 | 5 | 744 553.58/553.84 c 551s | 16 | 1083337 | 144352 | 67592 3 | 5 | 744 555.68/555.92 c 553s | 16 | 1086114 | 145152 | 67592 3 | 5 | 744 557.67/557.97 c 555s | 16 | 1088969 | 146152 | 67592 3 | 5 | 744 569.47/569.74 c 567s | 16 | 1092921 | 146752 | 67592 3 | 5 | 744 581.86/582.18 c 579s | 16 | 1094482 | 146852 | 67592 3 | 5 | 744 584.16/584.49 c 582s | 16 | 1100597 | 147352 | 67592 3 | 5 | 744 586.66/586.92 c 584s | 16 | 1105942 | 148052 | 67592 3 | 5 | 744 589.16/589.43 c 586s | 16 | 1112675 | 148552 | 67592 3 | 5 | 744 591.16/591.47 c 589s | 16 | 1118221 | 148952 | 67592 3 | 5 | 744 593.55/593.85 c 591s | 16 | 1123891 | 149452 | 67592 3 | 5 | 744 595.75/596.03 c 593s | 16 | 1128476 | 149952 | 67592 3 | 5 | 744 597.75/598.07 c 595s | 16 | 1132013 | 150452 | 67592 3 | 5 | 744 600.25/600.56 c 598s | 16 | 1135910 | 150852 | 67592 3 | 5 | 744 602.45/602.78 c 600s | 16 | 1141536 | 151252 | 67592 3 | 5 | 744 604.55/604.89 c 602s | 16 | 1144563 | 151652 | 67592 3 | 5 | 744 606.65/606.99 c 604s | 16 | 1147289 | 152252 | 67592 3 | 5 | 744 608.85/609.16 c 606s | 16 | 1152264 | 152752 | 67592 3 | 5 | 744 610.95/611.23 c 608s | 16 | 1156684 | 153152 | 67592 3 | 5 | 744 613.15/613.48 c 611s | 16 | 1159776 | 153552 | 67592 3 | 5 | 744 615.55/615.85 c 613s | 16 | 1162363 | 154152 | 67592 3 | 5 | 744 617.75/618.05 c 615s | 16 | 1167260 | 154652 | 67592 3 | 5 | 744 622.95/623.29 c 620s | 16 | 1171819 | 155052 | 67592 4 | 5 | 744 625.35/625.60 c 623s | 16 | 1176414 | 155452 | 67592 4 | 5 | 744 627.35/627.66 c 625s | 16 | 1182496 | 156252 | 67592 4 | 5 | 744 629.46/629.71 c 627s | 16 | 1187259 | 156752 | 67592 4 | 5 | 744 631.45/631.75 c 629s | 16 | 1194844 | 157252 | 67592 4 | 5 | 744 633.55/633.87 c 631s | 16 | 1203123 | 158152 | 67592 4 | 5 | 744 635.55/635.88 c 633s | 16 | 1210719 | 158752 | 67592 4 | 5 | 744 637.75/638.01 c 635s | 16 | 1217338 | 159552 | 67592 4 | 5 | 744 639.85/640.15 c 637s | 16 | 1221275 | 160252 | 67592 4 | 5 | 744 642.14/642.40 c 639s | 16 | 1228160 | 160852 | 67592 4 | 5 | 744 644.34/644.63 c 642s | 16 | 1231873 | 161552 | 67592 4 | 5 | 744 646.44/646.75 c 644s | 16 | 1238800 | 162152 | 67592 4 | 5 | 744 648.54/648.81 c 646s | 16 | 1246070 | 162752 | 67592 4 | 5 | 744 650.74/651.00 c 648s | 16 | 1251810 | 163652 | 67592 4 | 5 | 744 652.84/653.14 c 650s | 16 | 1259396 | 164352 | 67592 4 | 5 | 744 654.94/655.26 c 652s | 16 | 1263679 | 165152 | 67592 4 | 5 | 744 657.04/657.39 c 654s | 16 | 1268718 | 165952 | 67592 4 | 5 | 744 659.34/659.63 c 657s | 16 | 1274737 | 166752 | 67592 4 | 5 | 744 661.54/661.89 c 659s | 16 | 1280484 | 167652 | 67592 4 | 5 | 744 663.64/663.97 c 661s | 16 | 1285694 | 168652 | 67592 4 | 5 | 744 665.75/666.10 c 663s | 16 | 1289725 | 169452 | 67592 4 | 5 | 744 667.95/668.22 c 665s | 16 | 1292477 | 170352 | 67592 4 | 5 | 744 670.24/670.54 c 668s | 16 | 1295844 | 171152 | 67592 4 | 5 | 744 672.43/672.73 c 670s | 16 | 1300216 | 171852 | 67592 4 | 5 | 744 674.63/674.92 c 672s | 16 | 1306097 | 172352 | 67592 4 | 5 | 744 676.64/676.96 c 674s | 16 | 1310711 | 172952 | 67592 4 | 5 | 744 678.73/679.08 c 676s | 16 | 1316883 | 173552 | 67592 4 | 5 | 744 681.14/681.42 c 678s | 16 | 1322770 | 174352 | 67592 4 | 5 | 744 683.34/683.62 c 681s | 16 | 1328227 | 174852 | 67592 4 | 5 | 744 685.73/686.02 c 683s | 16 | 1334146 | 175652 | 67592 4 | 5 | 744 687.83/688.16 c 685s | 16 | 1339557 | 176152 | 67592 4 | 5 | 744 690.03/690.31 c 687s | 16 | 1343793 | 176752 | 67592 4 | 5 | 744 692.13/692.45 c 690s | 16 | 1348614 | 177352 | 67592 4 | 5 | 744 694.33/694.61 c 692s | 16 | 1354480 | 178152 | 67592 4 | 5 | 744 696.63/696.91 c 694s | 16 | 1360487 | 178952 | 67592 4 | 5 | 744 698.63/698.99 c 696s | 16 | 1364962 | 179652 | 67592 4 | 5 | 744 700.83/701.12 c 698s | 16 | 1369615 | 180352 | 67592 4 | 5 | 744 702.92/703.30 c 700s | 16 | 1375169 | 181152 | 67592 4 | 5 | 744 705.02/705.33 c 702s | 16 | 1379298 | 181752 | 67592 4 | 5 | 744 707.32/707.67 c 705s | 16 | 1383337 | 182552 | 67592 4 | 5 | 744 709.52/709.84 c 707s | 16 | 1387741 | 183252 | 67592 4 | 5 | 744 711.72/712.01 c 709s | 16 | 1391620 | 184052 | 67592 4 | 5 | 744 713.92/714.21 c 711s | 16 | 1395659 | 184852 | 67592 4 | 5 | 744 716.02/716.32 c 713s | 16 | 1398851 | 185652 | 67592 4 | 5 | 744 718.02/718.36 c 715s | 16 | 1401175 | 186452 | 67592 4 | 5 | 744 720.22/720.53 c 718s | 16 | 1404037 | 187152 | 67592 4 | 5 | 744 722.22/722.58 c 720s | 16 | 1410000 | 187652 | 67592 4 | 5 | 744 724.52/724.89 c 722s | 16 | 1415826 | 188352 | 67592 4 | 5 | 744 726.62/726.90 c 724s | 16 | 1420050 | 188752 | 67592 4 | 5 | 744 728.72/729.00 c 726s | 16 | 1423604 | 189352 | 67592 4 | 5 | 744 731.11/731.50 c 729s | 16 | 1426985 | 189752 | 67592 5 | 5 | 744 733.41/733.71 c 731s | 16 | 1430345 | 190252 | 67592 5 | 5 | 744 735.61/735.90 c 733s | 16 | 1435340 | 190852 | 67592 5 | 5 | 744 737.71/738.00 c 735s | 16 | 1442350 | 191452 | 67592 5 | 5 | 744 739.91/740.23 c 737s | 16 | 1447981 | 192252 | 67592 5 | 5 | 744 742.01/742.30 c 739s | 16 | 1452884 | 192952 | 67592 5 | 5 | 744 744.11/744.49 c 742s | 16 | 1457944 | 193652 | 67592 5 | 5 | 744 746.31/746.65 c 744s | 16 | 1462497 | 194252 | 67592 5 | 5 | 744 748.51/748.88 c 746s | 16 | 1468063 | 195052 | 67592 5 | 5 | 744 750.91/751.24 c 748s | 16 | 1473498 | 195652 | 67592 5 | 5 | 744 753.01/753.34 c 750s | 16 | 1476717 | 196352 | 74352 5 | 5 | 744 755.21/755.54 c 753s | 16 | 1481947 | 197152 | 74352 5 | 5 | 744 756.41/756.71 c 754s | 17 | 1483905 | 197432 | 74352 5 | 5 | 744 758.61/758.93 c 756s | 17 | 1488765 | 197832 | 74352 5 | 5 | 744 760.91/761.25 c 758s | 17 | 1494888 | 198532 | 74352 5 | 5 | 744 763.01/763.39 c 760s | 17 | 1498964 | 199132 | 74352 5 | 5 | 744 765.11/765.48 c 763s | 17 | 1503258 | 199632 | 74352 5 | 5 | 744 767.41/767.71 c 765s | 17 | 1508487 | 200132 | 74352 5 | 5 | 744 769.51/769.83 c 767s | 17 | 1513143 | 200732 | 74352 5 | 5 | 744 772.00/772.36 c 769s | 17 | 1519269 | 201232 | 74352 5 | 5 | 744 774.10/774.48 c 772s | 17 | 1525100 | 201732 | 74352 5 | 5 | 744 776.50/776.86 c 774s | 17 | 1532298 | 202432 | 74352 5 | 5 | 744 778.80/779.17 c 776s | 17 | 1539070 | 203032 | 74352 5 | 5 | 744 780.90/781.25 c 778s | 17 | 1545159 | 203832 | 74352 5 | 5 | 744 783.20/783.55 c 781s | 17 | 1550181 | 204332 | 74352 5 | 5 | 744 785.40/785.78 c 783s | 17 | 1553566 | 205032 | 74352 5 | 5 | 744 787.71/788.05 c 785s | 17 | 1558914 | 205532 | 74352 5 | 5 | 744 789.80/790.19 c 787s | 17 | 1564775 | 206232 | 74352 5 | 5 | 744 792.21/792.50 c 790s | 17 | 1568769 | 206932 | 74352 5 | 5 | 744 794.31/794.61 c 792s | 17 | 1573919 | 207532 | 74352 5 | 5 | 744 796.40/796.74 c 794s | 17 | 1578373 | 208232 | 74352 5 | 5 | 744 798.60/798.95 c 796s | 17 | 1582646 | 209032 | 74352 5 | 5 | 744 800.80/801.14 c 798s | 17 | 1586734 | 209832 | 74352 5 | 5 | 744 802.80/803.15 c 800s | 17 | 1590794 | 210632 | 74352 5 | 5 | 744 805.00/805.38 c 802s | 17 | 1593275 | 211532 | 74352 5 | 5 | 744 807.10/807.41 c 804s | 17 | 1595330 | 212432 | 74352 5 | 5 | 744 826.50/826.85 c 824s | 17 | 1596476 | 212532 | 74352 5 | 5 | 744 828.51/828.90 c 826s | 17 | 1600164 | 212932 | 74352 5 | 5 | 744 830.71/831.08 c 828s | 17 | 1604968 | 213632 | 74352 5 | 5 | 744 833.20/833.54 c 831s | 17 | 1610029 | 214132 | 74352 5 | 5 | 744 835.60/835.94 c 833s | 17 | 1615529 | 214632 | 74352 5 | 5 | 744 838.00/838.39 c 835s | 17 | 1620222 | 215332 | 74352 5 | 5 | 744 840.61/840.92 c 838s | 17 | 1626202 | 215832 | 74352 5 | 5 | 744 842.80/843.16 c 840s | 17 | 1630110 | 216232 | 74352 5 | 5 | 744 844.90/845.28 c 842s | 17 | 1634678 | 216832 | 74352 5 | 5 | 744 847.20/847.52 c 845s | 17 | 1638597 | 217332 | 74352 5 | 5 | 744 849.30/849.62 c 847s | 17 | 1641618 | 217732 | 74352 5 | 5 | 744 851.50/851.81 c 849s | 17 | 1646609 | 218332 | 74352 5 | 5 | 744 853.80/854.13 c 851s | 17 | 1652182 | 218932 | 74352 5 | 5 | 744 856.10/856.42 c 853s | 17 | 1656761 | 219532 | 74352 5 | 5 | 744 858.10/858.46 c 856s | 17 | 1660749 | 220132 | 74352 5 | 5 | 744 860.49/860.81 c 858s | 17 | 1665885 | 220632 | 74352 5 | 5 | 744 862.79/863.20 c 860s | 17 | 1669343 | 221232 | 74352 5 | 5 | 744 865.09/865.42 c 862s | 17 | 1674305 | 221732 | 74352 5 | 5 | 744 867.19/867.59 c 865s | 17 | 1676710 | 222332 | 74352 5 | 5 | 744 869.69/870.00 c 867s | 17 | 1680346 | 222832 | 74352 5 | 5 | 744 871.99/872.36 c 869s | 17 | 1683272 | 223432 | 74352 5 | 5 | 744 873.99/874.38 c 871s | 17 | 1686261 | 223832 | 74352 5 | 5 | 744 876.29/876.65 c 874s | 17 | 1689998 | 224332 | 74352 5 | 5 | 744 878.49/878.81 c 876s | 17 | 1693216 | 224932 | 74352 5 | 5 | 744 880.49/880.83 c 878s | 17 | 1696757 | 225532 | 74352 5 | 5 | 744 882.59/882.91 c 880s | 17 | 1699229 | 226032 | 74352 5 | 5 | 744 884.69/885.02 c 882s | 17 | 1702188 | 226532 | 74352 5 | 5 | 744 886.89/887.24 c 884s | 17 | 1705189 | 227132 | 74352 5 | 5 | 744 888.90/889.29 c 886s | 17 | 1708383 | 227632 | 74352 5 | 5 | 744 891.20/891.54 c 889s | 17 | 1711770 | 228232 | 74352 5 | 5 | 744 893.19/893.59 c 891s | 17 | 1714553 | 228832 | 74352 5 | 5 | 744 895.50/895.90 c 893s | 17 | 1717411 | 229432 | 74352 5 | 5 | 744 897.59/897.97 c 895s | 17 | 1720683 | 230032 | 74352 5 | 5 | 744 899.59/899.98 c 897s | 17 | 1723689 | 230632 | 74352 5 | 5 | 744 901.69/902.06 c 899s | 17 | 1726524 | 231232 | 74352 5 | 5 | 744 903.79/904.10 c 901s | 17 | 1728784 | 231832 | 74352 5 | 5 | 744 905.99/906.30 c 903s | 17 | 1731151 | 232532 | 74352 5 | 5 | 744 907.99/908.38 c 905s | 17 | 1732895 | 233232 | 74352 5 | 5 | 744 912.09/912.46 c 910s | 17 | 1734490 | 233632 | 74352 6 | 5 | 744 914.48/914.87 c 912s | 17 | 1738285 | 233932 | 74352 6 | 5 | 744 916.68/917.09 c 914s | 17 | 1740888 | 234532 | 74352 6 | 5 | 744 918.98/919.36 c 916s | 17 | 1744024 | 235032 | 74352 6 | 5 | 744 921.38/921.71 c 919s | 17 | 1751134 | 235532 | 74352 6 | 5 | 744 923.68/924.01 c 921s | 17 | 1758219 | 236032 | 74352 6 | 5 | 744 925.88/926.27 c 923s | 17 | 1762122 | 236732 | 74352 6 | 5 | 744 928.18/928.54 c 926s | 17 | 1767066 | 237232 | 74352 6 | 5 | 744 930.48/930.88 c 928s | 17 | 1772787 | 237632 | 74352 6 | 5 | 744 932.58/932.92 c 930s | 17 | 1777216 | 238132 | 74352 6 | 5 | 744 934.58/934.92 c 932s | 17 | 1781201 | 238732 | 74352 6 | 5 | 744 936.88/937.28 c 934s | 17 | 1787467 | 239232 | 74352 6 | 5 | 744 939.08/939.44 c 936s | 17 | 1791824 | 239732 | 74352 6 | 5 | 744 941.48/941.89 c 939s | 17 | 1797102 | 240432 | 74352 6 | 5 | 744 943.78/944.12 c 941s | 17 | 1801952 | 240832 | 74352 6 | 5 | 744 945.88/946.24 c 943s | 17 | 1805619 | 241432 | 74352 6 | 5 | 744 947.88/948.25 c 945s | 17 | 1811442 | 241932 | 74352 6 | 5 | 744 950.18/950.58 c 948s | 17 | 1818304 | 242432 | 74352 6 | 5 | 744 952.28/952.69 c 950s | 17 | 1823144 | 243032 | 74352 6 | 5 | 744 954.58/954.91 c 952s | 17 | 1828867 | 243632 | 74352 6 | 5 | 744 956.68/957.04 c 954s | 17 | 1832971 | 244232 | 74352 6 | 5 | 744 958.98/959.39 c 956s | 17 | 1837527 | 244832 | 74352 6 | 5 | 744 961.07/961.49 c 959s | 17 | 1844906 | 245332 | 74352 6 | 5 | 744 963.37/963.76 c 961s | 17 | 1850948 | 245932 | 74352 6 | 5 | 744 965.47/965.81 c 963s | 17 | 1854227 | 246532 | 74352 6 | 5 | 744 967.47/967.84 c 965s | 17 | 1861821 | 247332 | 74352 6 | 5 | 744 969.67/970.06 c 967s | 17 | 1866558 | 247932 | 74352 6 | 5 | 744 971.77/972.19 c 969s | 17 | 1870132 | 248432 | 74352 6 | 5 | 744 973.97/974.36 c 971s | 17 | 1874824 | 249032 | 74352 6 | 5 | 744 976.17/976.51 c 974s | 17 | 1880315 | 249632 | 74352 6 | 5 | 744 978.37/978.79 c 976s | 17 | 1884624 | 250332 | 74352 6 | 5 | 744 980.67/981.06 c 978s | 17 | 1889968 | 250932 | 74352 6 | 5 | 744 982.97/983.32 c 980s | 17 | 1895830 | 251732 | 74352 6 | 5 | 744 985.07/985.46 c 983s | 17 | 1900610 | 252432 | 74352 6 | 5 | 744 987.07/987.47 c 985s | 17 | 1905328 | 253032 | 74352 6 | 5 | 744 989.37/989.77 c 987s | 17 | 1910732 | 253832 | 74352 6 | 5 | 744 991.37/991.79 c 989s | 17 | 1916102 | 254432 | 74352 6 | 5 | 744 993.38/993.79 c 991s | 17 | 1919529 | 255032 | 74352 6 | 5 | 744 995.47/995.89 c 993s | 17 | 1923252 | 255732 | 74352 6 | 5 | 744 997.88/998.24 c 995s | 17 | 1927304 | 256432 | 74352 6 | 5 | 744 1000.08/1000.41 c 997s | 17 | 1930382 | 257132 | 74352 6 | 5 | 744 1002.07/1002.45 c 1000s | 17 | 1933629 | 257832 | 74352 6 | 5 | 744 1004.07/1004.49 c 1002s | 17 | 1935927 | 258532 | 74352 6 | 5 | 744 1006.17/1006.56 c 1004s | 17 | 1938563 | 259332 | 74352 6 | 5 | 744 1008.37/1008.70 c 1006s | 17 | 1940905 | 260232 | 74352 6 | 5 | 744 1010.57/1010.94 c 1008s | 17 | 1943856 | 260832 | 74352 6 | 5 | 744 1012.57/1012.99 c 1010s | 17 | 1948145 | 261332 | 74352 6 | 5 | 744 1014.67/1015.04 c 1012s | 17 | 1953450 | 261832 | 74352 6 | 5 | 744 1016.97/1017.33 c 1014s | 17 | 1957035 | 262532 | 74352 6 | 5 | 744 1019.37/1019.72 c 1017s | 17 | 1962526 | 263132 | 74352 6 | 5 | 744 1021.37/1021.74 c 1019s | 17 | 1966449 | 263732 | 74352 6 | 5 | 744 1023.57/1023.95 c 1021s | 17 | 1969725 | 264332 | 74352 6 | 5 | 744 1025.77/1026.16 c 1023s | 17 | 1973315 | 264932 | 74352 6 | 5 | 744 1027.86/1028.28 c 1025s | 17 | 1976671 | 265532 | 74352 6 | 5 | 744 1029.96/1030.34 c 1027s | 17 | 1980415 | 266232 | 74352 6 | 5 | 744 1032.26/1032.63 c 1030s | 17 | 1984338 | 267032 | 74352 6 | 5 | 744 1034.36/1034.72 c 1032s | 17 | 1987876 | 267732 | 74352 6 | 5 | 744 1036.66/1037.01 c 1034s | 17 | 1990770 | 268432 | 74352 6 | 5 | 744 1038.86/1039.21 c 1036s | 17 | 1993400 | 269132 | 74352 6 | 5 | 744 1041.06/1041.44 c 1039s | 17 | 1995176 | 269832 | 74352 6 | 5 | 744 1043.06/1043.46 c 1041s | 17 | 1997822 | 270332 | 74352 6 | 5 | 744 1045.26/1045.64 c 1043s | 17 | 2001127 | 270832 | 74352 7 | 5 | 744 1047.46/1047.89 c 1045s | 17 | 2005428 | 271332 | 74352 7 | 5 | 744 1049.86/1050.24 c 1047s | 17 | 2009684 | 272032 | 74352 7 | 5 | 744 1051.96/1052.33 c 1049s | 17 | 2015715 | 272632 | 74352 7 | 5 | 744 1054.16/1054.59 c 1052s | 17 | 2021026 | 273432 | 74352 7 | 5 | 744 1056.26/1056.64 c 1054s | 17 | 2025838 | 273932 | 74352 7 | 5 | 744 1058.76/1059.11 c 1056s | 17 | 2032286 | 274732 | 74352 7 | 5 | 744 1060.76/1061.16 c 1058s | 17 | 2039833 | 275532 | 74352 7 | 5 | 744 1063.16/1063.50 c 1061s | 17 | 2046713 | 276132 | 74352 7 | 5 | 744 1065.16/1065.56 c 1063s | 17 | 2053189 | 276832 | 74352 7 | 5 | 744 1067.56/1067.90 c 1065s | 17 | 2060341 | 277532 | 74352 7 | 5 | 744 1069.56/1069.99 c 1067s | 17 | 2064725 | 278132 | 74352 7 | 5 | 744 1071.96/1072.33 c 1069s | 17 | 2069936 | 278732 | 74352 7 | 5 | 744 1074.16/1074.52 c 1072s | 17 | 2075475 | 279332 | 74352 7 | 5 | 744 1076.36/1076.72 c 1074s | 17 | 2080298 | 280032 | 74352 7 | 5 | 744 1078.86/1079.23 c 1076s | 17 | 2086789 | 280532 | 74352 7 | 5 | 744 1081.16/1081.53 c 1079s | 17 | 2092720 | 281032 | 74352 7 | 5 | 744 1083.36/1083.72 c 1081s | 17 | 2100198 | 281632 | 74352 7 | 5 | 744 1085.76/1086.14 c 1083s | 17 | 2106238 | 282332 | 74352 7 | 5 | 744 1087.96/1088.32 c 1085s | 17 | 2110976 | 282832 | 74352 7 | 5 | 744 1090.05/1090.41 c 1087s | 17 | 2114839 | 283532 | 74352 7 | 5 | 744 1092.36/1092.73 c 1090s | 17 | 2119924 | 284032 | 74352 7 | 5 | 744 1094.35/1094.77 c 1092s | 17 | 2123778 | 284432 | 74352 7 | 5 | 744 1096.35/1096.78 c 1094s | 17 | 2127018 | 285032 | 74352 7 | 5 | 744 1098.75/1099.12 c 1096s | 17 | 2131944 | 285532 | 74352 7 | 5 | 744 1101.05/1101.41 c 1098s | 17 | 2138315 | 286132 | 74352 7 | 5 | 744 1103.36/1103.78 c 1101s | 17 | 2142986 | 286732 | 74352 7 | 5 | 744 1105.56/1105.92 c 1103s | 17 | 2149029 | 287332 | 74352 7 | 5 | 744 1108.05/1108.45 c 1106s | 17 | 2154765 | 288032 | 74352 7 | 5 | 744 1110.15/1110.50 c 1108s | 17 | 2160518 | 288532 | 74352 7 | 5 | 744 1112.26/1112.69 c 1110s | 17 | 2165009 | 289232 | 74352 7 | 5 | 744 1114.65/1115.03 c 1112s | 17 | 2170396 | 289932 | 74352 7 | 5 | 744 1116.75/1117.10 c 1114s | 17 | 2174577 | 290432 | 74352 7 | 5 | 744 1118.76/1119.14 c 1116s | 17 | 2178927 | 290932 | 74352 7 | 5 | 744 1120.96/1121.35 c 1118s | 17 | 2183576 | 291732 | 74352 7 | 5 | 744 1123.26/1123.67 c 1121s | 17 | 2189176 | 292332 | 74352 7 | 5 | 744 1125.25/1125.67 c 1123s | 17 | 2194442 | 293032 | 74352 7 | 5 | 744 1127.65/1128.03 c 1125s | 17 | 2200322 | 293832 | 74352 7 | 5 | 744 1129.65/1130.09 c 1127s | 17 | 2203465 | 294432 | 81788 7 | 5 | 744 1131.85/1132.21 c 1129s | 17 | 2208482 | 295032 | 81788 7 | 5 | 744 1133.95/1134.36 c 1131s | 17 | 2212939 | 295832 | 81788 7 | 5 | 744 1135.35/1135.75 c 1133s | 18 | 2215513 | 296252 | 81788 7 | 5 | 744 1137.85/1138.22 c 1135s | 18 | 2218966 | 296752 | 81788 7 | 5 | 744 1142.75/1143.12 c 1140s | 18 | 2221154 | 296952 | 81788 7 | 5 | 744 1144.75/1145.13 c 1142s | 18 | 2224479 | 297352 | 81788 7 | 5 | 744 1146.95/1147.36 c 1144s | 18 | 2229577 | 298052 | 81788 7 | 5 | 744 1149.15/1149.53 c 1147s | 18 | 2233845 | 298452 | 81788 7 | 5 | 744 1151.35/1151.71 c 1149s | 18 | 2237557 | 298852 | 81788 7 | 5 | 744 1153.35/1153.73 c 1151s | 18 | 2240428 | 299452 | 81788 7 | 5 | 744 1155.45/1155.81 c 1153s | 18 | 2244126 | 300152 | 81788 7 | 5 | 744 1157.55/1157.99 c 1155s | 18 | 2247582 | 300952 | 81788 7 | 5 | 744 1159.65/1160.08 c 1157s | 18 | 2250877 | 301752 | 81788 7 | 5 | 744 1161.75/1162.12 c 1159s | 18 | 2253643 | 302552 | 81788 7 | 5 | 744 1176.55/1176.97 c 1174s | 18 | 2256323 | 303352 | 81788 7 | 5 | 744 1178.94/1179.34 c 1176s | 18 | 2261708 | 303752 | 81788 7 | 5 | 744 1180.94/1181.35 c 1178s | 18 | 2264492 | 304252 | 81788 7 | 5 | 744 1183.04/1183.48 c 1181s | 18 | 2268565 | 304752 | 81788 7 | 5 | 744 1185.34/1185.73 c 1183s | 18 | 2272351 | 305152 | 81788 7 | 5 | 744 1187.54/1187.97 c 1185s | 18 | 2277417 | 305552 | 81788 7 | 5 | 744 1189.74/1190.14 c 1187s | 18 | 2281237 | 305952 | 81788 7 | 5 | 744 1191.84/1192.22 c 1189s | 18 | 2285886 | 306552 | 81788 7 | 5 | 744 1194.14/1194.56 c 1192s | 18 | 2291151 | 307052 | 81788 7 | 5 | 744 1196.54/1196.94 c 1194s | 18 | 2296511 | 307552 | 81788 7 | 5 | 744 1198.94/1199.30 c 1196s | 18 | 2302137 | 308252 | 81788 7 | 5 | 744 1201.04/1201.44 c 1199s | 18 | 2307489 | 308652 | 81788 7 | 5 | 744 1203.14/1203.53 c 1201s | 18 | 2310401 | 309052 | 81788 7 | 5 | 744 1205.54/1205.94 c 1203s | 18 | 2315315 | 309652 | 81788 7 | 5 | 744 1207.64/1208.08 c 1205s | 18 | 2320347 | 310052 | 81788 7 | 5 | 744 1209.84/1210.23 c 1207s | 18 | 2325282 | 310452 | 81788 7 | 5 | 744 1211.84/1212.28 c 1209s | 18 | 2329340 | 311052 | 81788 7 | 5 | 744 1214.24/1214.63 c 1212s | 18 | 2332667 | 311552 | 81788 7 | 5 | 744 1216.44/1216.86 c 1214s | 18 | 2337214 | 311952 | 81788 7 | 5 | 744 1218.95/1219.31 c 1216s | 18 | 2343951 | 312452 | 81788 7 | 5 | 744 1221.24/1221.67 c 1219s | 18 | 2347288 | 312952 | 81788 7 | 5 | 744 1223.35/1223.74 c 1221s | 18 | 2349800 | 313452 | 81788 7 | 5 | 744 1225.64/1226.04 c 1223s | 18 | 2353806 | 313852 | 81788 7 | 5 | 744 1228.14/1228.52 c 1226s | 18 | 2356754 | 314452 | 81788 7 | 5 | 744 1230.14/1230.58 c 1228s | 18 | 2360297 | 314852 | 81788 7 | 5 | 744 1232.44/1232.87 c 1230s | 18 | 2361989 | 315352 | 81788 7 | 5 | 744 1234.54/1234.95 c 1232s | 18 | 2364154 | 315752 | 81788 7 | 5 | 744 1236.64/1237.08 c 1234s | 18 | 2368440 | 316152 | 81788 7 | 5 | 744 1239.04/1239.42 c 1236s | 18 | 2372864 | 316852 | 81788 7 | 5 | 744 1241.94/1242.39 c 1239s | 18 | 2374704 | 317052 | 81788 8 | 5 | 744 1244.33/1244.75 c 1242s | 18 | 2378250 | 317352 | 81788 8 | 5 | 744 1246.44/1246.88 c 1244s | 18 | 2383134 | 317952 | 81788 8 | 5 | 744 1248.64/1249.08 c 1246s | 18 | 2391050 | 318752 | 81788 8 | 5 | 744 1251.03/1251.41 c 1248s | 18 | 2395022 | 319452 | 81788 8 | 5 | 744 1253.33/1253.74 c 1251s | 18 | 2400098 | 320152 | 81788 8 | 5 | 744 1255.53/1255.95 c 1253s | 18 | 2404787 | 320852 | 81788 8 | 5 | 744 1257.83/1258.29 c 1255s | 18 | 2410589 | 321652 | 81788 8 | 5 | 744 1260.13/1260.54 c 1258s | 18 | 2415302 | 322452 | 81788 8 | 5 | 744 1262.23/1262.67 c 1260s | 18 | 2419261 | 323152 | 81788 8 | 5 | 744 1264.53/1264.93 c 1262s | 18 | 2424255 | 323952 | 81788 8 | 5 | 744 1266.63/1267.02 c 1264s | 18 | 2427873 | 324752 | 81788 8 | 5 | 744 1268.63/1269.07 c 1266s | 18 | 2432386 | 325652 | 81788 8 | 5 | 744 1270.64/1271.08 c 1268s | 18 | 2435456 | 326552 | 81788 8 | 5 | 744 1272.74/1273.18 c 1270s | 18 | 2438139 | 327552 | 81788 8 | 5 | 744 1275.13/1275.54 c 1273s | 18 | 2443618 | 327852 | 81788 8 | 5 | 744 1277.43/1277.85 c 1275s | 18 | 2449488 | 328252 | 81788 8 | 5 | 744 1279.63/1280.06 c 1277s | 18 | 2459110 | 329052 | 81788 8 | 5 | 744 1281.64/1282.08 c 1279s | 18 | 2462718 | 329552 | 81788 8 | 5 | 744 1283.83/1284.22 c 1281s | 18 | 2467574 | 329952 | 81788 8 | 5 | 744 1285.93/1286.33 c 1283s | 18 | 2472906 | 330552 | 81788 8 | 5 | 744 1288.43/1288.83 c 1286s | 18 | 2478966 | 331152 | 81788 8 | 5 | 744 1290.73/1291.17 c 1288s | 18 | 2483591 | 331552 | 81788 8 | 5 | 744 1293.03/1293.44 c 1291s | 18 | 2490093 | 332052 | 81788 8 | 5 | 744 1295.23/1295.69 c 1293s | 18 | 2495193 | 332752 | 81788 8 | 5 | 744 1297.72/1298.17 c 1295s | 18 | 2500787 | 333252 | 81788 8 | 5 | 744 1299.92/1300.34 c 1297s | 18 | 2507664 | 333752 | 81788 8 | 5 | 744 1302.12/1302.58 c 1300s | 18 | 2514194 | 334552 | 81788 8 | 5 | 744 1304.42/1304.90 c 1302s | 18 | 2520863 | 335052 | 81788 8 | 5 | 744 1306.52/1306.93 c 1304s | 18 | 2525334 | 335652 | 81788 8 | 5 | 744 1308.52/1308.97 c 1306s | 18 | 2531704 | 336252 | 81788 8 | 5 | 744 1310.72/1311.15 c 1308s | 18 | 2536489 | 336752 | 81788 8 | 5 | 744 1312.82/1313.29 c 1310s | 18 | 2539699 | 337352 | 81788 8 | 5 | 744 1315.32/1315.70 c 1313s | 18 | 2547548 | 337952 | 81788 8 | 5 | 744 1317.32/1317.77 c 1315s | 18 | 2554182 | 338552 | 81788 8 | 5 | 744 1319.62/1320.08 c 1317s | 18 | 2558930 | 339352 | 81788 8 | 5 | 744 1321.92/1322.34 c 1319s | 18 | 2564542 | 339952 | 81788 8 | 5 | 744 1324.22/1324.61 c 1322s | 18 | 2569290 | 340452 | 81788 8 | 5 | 744 1326.52/1326.93 c 1324s | 18 | 2575190 | 341252 | 81788 8 | 5 | 744 1328.62/1329.05 c 1326s | 18 | 2580939 | 341752 | 81788 8 | 5 | 744 1330.62/1331.07 c 1328s | 18 | 2584879 | 342352 | 81788 8 | 5 | 744 1332.92/1333.38 c 1330s | 18 | 2591014 | 343152 | 81788 8 | 5 | 744 1335.22/1335.65 c 1333s | 18 | 2596665 | 343852 | 81788 8 | 5 | 744 1337.32/1337.72 c 1335s | 18 | 2601930 | 344352 | 81788 8 | 5 | 744 1339.62/1340.01 c 1337s | 18 | 2607225 | 345152 | 81788 8 | 5 | 744 1341.82/1342.20 c 1339s | 18 | 2610856 | 345752 | 81788 8 | 5 | 744 1343.92/1344.37 c 1341s | 18 | 2615459 | 346452 | 81788 8 | 5 | 744 1346.02/1346.48 c 1344s | 18 | 2619381 | 347052 | 81788 8 | 5 | 744 1348.12/1348.52 c 1346s | 18 | 2622329 | 347752 | 81788 8 | 5 | 744 1350.42/1350.83 c 1348s | 18 | 2626428 | 348452 | 81788 8 | 5 | 744 1352.42/1352.87 c 1350s | 18 | 2630312 | 349152 | 81788 8 | 5 | 744 1354.82/1355.23 c 1352s | 18 | 2633732 | 349952 | 81788 8 | 5 | 744 1357.01/1357.40 c 1354s | 18 | 2637058 | 350752 | 81788 8 | 5 | 744 1359.11/1359.50 c 1357s | 18 | 2639958 | 351552 | 81788 8 | 5 | 744 1361.51/1361.98 c 1359s | 18 | 2643756 | 352452 | 81788 8 | 5 | 744 1363.61/1364.00 c 1361s | 18 | 2646847 | 352852 | 81788 8 | 5 | 744 1365.71/1366.10 c 1363s | 18 | 2650881 | 353452 | 81788 8 | 5 | 744 1367.81/1368.20 c 1365s | 18 | 2654797 | 353852 | 81788 8 | 5 | 744 1370.01/1370.43 c 1367s | 18 | 2659071 | 354252 | 81788 8 | 5 | 744 1372.11/1372.58 c 1370s | 18 | 2664807 | 354652 | 81788 8 | 5 | 744 1374.41/1374.80 c 1372s | 18 | 2668842 | 355252 | 81788 8 | 5 | 744 1376.81/1377.25 c 1374s | 18 | 2674462 | 355752 | 81788 8 | 5 | 744 1379.31/1379.71 c 1377s | 18 | 2680959 | 356252 | 81788 8 | 5 | 744 1381.41/1381.82 c 1379s | 18 | 2686357 | 356652 | 81788 8 | 5 | 744 1383.61/1384.02 c 1381s | 18 | 2692110 | 357152 | 81788 8 | 5 | 744 1386.91/1387.37 c 1384s | 18 | 2698159 | 357852 | 81788 9 | 5 | 744 1389.42/1389.88 c 1387s | 18 | 2704916 | 358352 | 81788 9 | 5 | 744 1391.62/1392.05 c 1389s | 18 | 2711034 | 358952 | 81788 9 | 5 | 744 1393.72/1394.17 c 1391s | 18 | 2717047 | 359652 | 81788 9 | 5 | 744 1396.11/1396.53 c 1394s | 18 | 2725362 | 360552 | 81788 9 | 5 | 744 1398.21/1398.67 c 1396s | 18 | 2732570 | 361152 | 81788 9 | 5 | 744 1400.41/1400.83 c 1398s | 18 | 2736923 | 361852 | 81788 9 | 5 | 744 1402.61/1403.08 c 1400s | 18 | 2744376 | 362452 | 81788 9 | 5 | 744 1404.91/1405.31 c 1402s | 18 | 2749151 | 363252 | 81788 9 | 5 | 744 1406.91/1407.33 c 1404s | 18 | 2753987 | 363952 | 81788 9 | 5 | 744 1409.11/1409.55 c 1407s | 18 | 2759929 | 364552 | 81788 9 | 5 | 744 1411.50/1411.99 c 1409s | 18 | 2764751 | 365352 | 81788 9 | 5 | 744 1413.80/1414.25 c 1411s | 18 | 2771294 | 366152 | 81788 9 | 5 | 744 1416.10/1416.51 c 1414s | 18 | 2777243 | 366952 | 81788 9 | 5 | 744 1418.20/1418.63 c 1416s | 18 | 2781183 | 367652 | 81788 9 | 5 | 744 1420.40/1420.85 c 1418s | 18 | 2784681 | 368352 | 81788 9 | 5 | 744 1422.60/1423.03 c 1420s | 18 | 2789890 | 369052 | 81788 9 | 5 | 744 1424.80/1425.27 c 1422s | 18 | 2794810 | 369952 | 81788 9 | 5 | 744 1427.00/1427.45 c 1425s | 18 | 2799583 | 370752 | 81788 9 | 5 | 744 1429.10/1429.55 c 1427s | 18 | 2804458 | 371652 | 81788 9 | 5 | 744 1431.30/1431.74 c 1429s | 18 | 2808200 | 372452 | 81788 9 | 5 | 744 1433.41/1433.85 c 1431s | 18 | 2811873 | 373252 | 81788 9 | 5 | 744 1435.41/1435.90 c 1433s | 18 | 2815190 | 374152 | 81788 9 | 5 | 744 1437.51/1437.93 c 1435s | 18 | 2819012 | 375152 | 81788 9 | 5 | 744 1439.81/1440.26 c 1437s | 18 | 2822433 | 376052 | 81788 9 | 5 | 744 1442.11/1442.54 c 1440s | 18 | 2827381 | 376452 | 81788 9 | 5 | 744 1444.21/1444.64 c 1442s | 18 | 2831997 | 376952 | 81788 9 | 5 | 744 1446.51/1446.99 c 1444s | 18 | 2836055 | 377652 | 81788 9 | 5 | 744 1448.60/1449.00 c 1446s | 18 | 2841206 | 378052 | 81788 9 | 5 | 744 1450.91/1451.35 c 1448s | 18 | 2846702 | 378552 | 81788 9 | 5 | 744 1453.11/1453.59 c 1451s | 18 | 2851965 | 379252 | 81788 9 | 5 | 744 1455.20/1455.61 c 1453s | 18 | 2856628 | 379652 | 81788 9 | 5 | 744 1457.30/1457.76 c 1455s | 18 | 2860458 | 380252 | 81788 9 | 5 | 744 1459.40/1459.89 c 1457s | 18 | 2863879 | 380752 | 81788 9 | 5 | 744 1461.50/1461.90 c 1459s | 18 | 2868459 | 381152 | 81788 9 | 5 | 744 1463.70/1464.13 c 1461s | 18 | 2872714 | 381852 | 81788 9 | 5 | 744 1466.10/1466.50 c 1464s | 18 | 2877156 | 382352 | 81788 9 | 5 | 744 1468.30/1468.77 c 1466s | 18 | 2880592 | 382952 | 81788 9 | 5 | 744 1470.60/1471.01 c 1468s | 18 | 2884735 | 383452 | 81788 9 | 5 | 744 1472.91/1473.32 c 1470s | 18 | 2889999 | 383952 | 81788 9 | 5 | 744 1475.00/1475.44 c 1473s | 18 | 2894331 | 384652 | 81788 9 | 5 | 744 1477.20/1477.68 c 1475s | 18 | 2898378 | 385152 | 81788 9 | 5 | 744 1479.61/1480.05 c 1477s | 18 | 2901880 | 385852 | 81788 9 | 5 | 744 1481.71/1482.13 c 1479s | 18 | 2906568 | 386352 | 81788 9 | 5 | 744 1484.01/1484.49 c 1482s | 18 | 2912962 | 387152 | 81788 9 | 5 | 744 1486.21/1486.60 c 1484s | 18 | 2917129 | 387752 | 81788 9 | 5 | 744 1488.31/1488.80 c 1486s | 18 | 2923884 | 388452 | 81788 9 | 5 | 744 1490.40/1490.82 c 1488s | 18 | 2929867 | 389152 | 81788 9 | 5 | 744 1492.50/1492.97 c 1490s | 18 | 2932621 | 389752 | 81788 9 | 5 | 744 1494.90/1495.37 c 1492s | 18 | 2937481 | 390352 | 81788 9 | 5 | 744 1497.20/1497.62 c 1495s | 18 | 2941943 | 391052 | 81788 9 | 5 | 744 1499.30/1499.75 c 1497s | 18 | 2946391 | 391752 | 81788 9 | 5 | 744 1501.50/1501.99 c 1499s | 18 | 2950580 | 392452 | 81788 9 | 5 | 744 1503.60/1504.09 c 1501s | 18 | 2953758 | 393152 | 81788 9 | 5 | 744 1505.80/1506.29 c 1503s | 18 | 2956560 | 393852 | 81788 9 | 5 | 744 1508.00/1508.40 c 1505s | 18 | 2959864 | 394652 | 81788 9 | 5 | 744 1510.10/1510.58 c 1508s | 18 | 2963362 | 395352 | 81788 9 | 5 | 744 1512.30/1512.77 c 1510s | 18 | 2966159 | 396152 | 81788 9 | 5 | 744 1514.39/1514.89 c 1512s | 18 | 2968115 | 396952 | 81788 9 | 5 | 744 1516.49/1516.96 c 1514s | 18 | 2970721 | 397752 | 81788 9 | 5 | 744 1518.49/1518.98 c 1516s | 18 | 2975643 | 398152 | 81788 9 | 5 | 744 1520.79/1521.26 c 1518s | 18 | 2980780 | 398652 | 81788 9 | 5 | 744 1523.79/1524.22 c 1521s | 18 | 2984001 | 399252 | 81788 10 | 5 | 744 1525.80/1526.26 c 1523s | 18 | 2988883 | 399652 | 81788 10 | 5 | 744 1527.90/1528.31 c 1525s | 18 | 2994597 | 400252 | 81788 10 | 5 | 744 1529.99/1530.41 c 1527s | 18 | 3001753 | 400852 | 81788 10 | 5 | 744 1532.19/1532.67 c 1530s | 18 | 3007522 | 401452 | 81788 10 | 5 | 744 1534.60/1535.02 c 1532s | 18 | 3012261 | 402152 | 81788 10 | 5 | 744 1536.99/1537.49 c 1535s | 18 | 3017568 | 402652 | 81788 10 | 5 | 744 1539.39/1539.82 c 1537s | 18 | 3023161 | 403452 | 81788 10 | 5 | 744 1541.59/1542.07 c 1539s | 18 | 3027752 | 403952 | 81788 10 | 5 | 744 1543.89/1544.31 c 1541s | 18 | 3035118 | 404752 | 81788 10 | 5 | 744 1545.99/1546.49 c 1544s | 18 | 3040167 | 405452 | 81788 10 | 5 | 744 1548.29/1548.79 c 1546s | 18 | 3047265 | 406152 | 81788 10 | 5 | 744 1550.59/1551.08 c 1548s | 18 | 3055040 | 407052 | 81788 10 | 5 | 744 1552.69/1553.16 c 1550s | 18 | 3059248 | 407752 | 81788 10 | 5 | 744 1554.89/1555.40 c 1552s | 18 | 3063387 | 408352 | 81788 10 | 5 | 744 1557.29/1557.77 c 1555s | 18 | 3067749 | 409052 | 81788 10 | 5 | 744 1559.59/1560.09 c 1557s | 18 | 3072594 | 409852 | 81788 10 | 5 | 744 1561.89/1562.30 c 1559s | 18 | 3077034 | 410452 | 81788 10 | 5 | 744 1563.89/1564.39 c 1561s | 18 | 3080983 | 411152 | 81788 10 | 5 | 744 1565.99/1566.48 c 1564s | 18 | 3084543 | 411952 | 81788 10 | 5 | 744 1568.09/1568.52 c 1566s | 18 | 3089269 | 412652 | 81788 10 | 5 | 744 1570.18/1570.60 c 1568s | 18 | 3092946 | 413352 | 81788 10 | 5 | 744 1572.38/1572.80 c 1570s | 18 | 3096706 | 414052 | 81788 10 | 5 | 744 1574.58/1575.05 c 1572s | 18 | 3099791 | 414852 | 81788 10 | 5 | 744 1576.78/1577.27 c 1574s | 18 | 3102163 | 415652 | 81788 10 | 5 | 744 1579.08/1579.51 c 1577s | 18 | 3104715 | 416652 | 81788 10 | 5 | 744 1581.08/1581.55 c 1579s | 18 | 3106971 | 417452 | 81788 10 | 5 | 744 1583.48/1583.97 c 1581s | 18 | 3114257 | 417952 | 81788 10 | 5 | 744 1585.78/1586.21 c 1583s | 18 | 3119050 | 418652 | 81788 10 | 5 | 744 1588.08/1588.57 c 1586s | 18 | 3123863 | 419252 | 81788 10 | 5 | 744 1590.38/1590.88 c 1588s | 18 | 3127942 | 419852 | 81788 10 | 5 | 744 1592.48/1592.96 c 1590s | 18 | 3131827 | 420452 | 81788 10 | 5 | 744 1594.78/1595.23 c 1592s | 18 | 3137488 | 420952 | 81788 10 | 5 | 744 1596.98/1597.40 c 1594s | 18 | 3142263 | 421652 | 81788 10 | 5 | 744 1599.08/1599.58 c 1597s | 18 | 3147972 | 422252 | 81788 10 | 5 | 744 1601.18/1601.68 c 1599s | 18 | 3152107 | 422852 | 81788 10 | 5 | 744 1603.58/1604.02 c 1601s | 18 | 3157257 | 423352 | 81788 10 | 5 | 744 1605.78/1606.28 c 1603s | 18 | 3160887 | 424052 | 81788 10 | 5 | 744 1608.19/1608.61 c 1606s | 18 | 3167446 | 424652 | 81788 10 | 5 | 744 1610.18/1610.69 c 1608s | 18 | 3171294 | 425352 | 81788 10 | 5 | 744 1612.38/1612.83 c 1610s | 18 | 3177012 | 426152 | 81788 10 | 5 | 744 1614.58/1615.01 c 1612s | 18 | 3182948 | 426752 | 81788 10 | 5 | 744 1616.88/1617.31 c 1614s | 18 | 3186537 | 427452 | 81788 10 | 5 | 744 1619.18/1619.61 c 1617s | 18 | 3191676 | 428052 | 81788 10 | 5 | 744 1621.18/1621.67 c 1619s | 18 | 3196381 | 428752 | 81788 10 | 5 | 744 1623.38/1623.81 c 1621s | 18 | 3201149 | 429552 | 81788 10 | 5 | 744 1625.67/1626.10 c 1623s | 18 | 3204673 | 430352 | 81788 10 | 5 | 744 1627.67/1628.19 c 1625s | 18 | 3209691 | 430952 | 81788 10 | 5 | 744 1629.77/1630.23 c 1627s | 18 | 3213578 | 431752 | 81788 10 | 5 | 744 1631.77/1632.25 c 1629s | 18 | 3216660 | 432452 | 81788 10 | 5 | 744 1633.77/1634.27 c 1631s | 18 | 3219152 | 433152 | 81788 10 | 5 | 744 1636.07/1636.52 c 1634s | 18 | 3222200 | 433952 | 81788 10 | 5 | 744 1638.27/1638.71 c 1636s | 18 | 3224996 | 434852 | 81788 10 | 5 | 744 1640.57/1641.04 c 1638s | 18 | 3227415 | 435852 | 81788 10 | 5 | 744 1642.87/1643.30 c 1640s | 18 | 3230173 | 436452 | 81788 10 | 5 | 744 1644.97/1645.48 c 1643s | 18 | 3233796 | 436952 | 81788 10 | 5 | 744 1647.07/1647.56 c 1645s | 18 | 3237018 | 437552 | 81788 10 | 5 | 744 1649.27/1649.80 c 1647s | 18 | 3240263 | 438052 | 81788 10 | 5 | 744 1651.37/1651.88 c 1649s | 18 | 3243391 | 438652 | 81788 10 | 5 | 744 1653.38/1653.89 c 1651s | 18 | 3246832 | 439152 | 81788 10 | 5 | 744 1655.48/1656.00 c 1653s | 18 | 3250182 | 439752 | 81788 10 | 5 | 744 1657.57/1658.09 c 1655s | 18 | 3252810 | 440352 | 81788 10 | 5 | 744 1659.67/1660.10 c 1657s | 18 | 3255585 | 440952 | 81788 10 | 5 | 744 1661.77/1662.24 c 1659s | 18 | 3258665 | 441452 | 89967 10 | 5 | 744 1663.87/1664.38 c 1661s | 18 | 3261231 | 442052 | 89967 10 | 5 | 744 1666.07/1666.58 c 1664s | 18 | 3263870 | 442652 | 89967 10 | 5 | 744 1668.37/1668.85 c 1666s | 18 | 3266845 | 443352 | 89967 10 | 5 | 744 1670.37/1670.87 c 1668s | 18 | 3269751 | 443952 | 89967 10 | 5 | 744 1671.97/1672.47 c 1670s | 19 | 3271255 | 444482 | 89967 10 | 5 | 744 1674.47/1674.91 c 1672s | 19 | 3275125 | 444882 | 89967 10 | 5 | 744 1676.87/1677.36 c 1674s | 19 | 3280853 | 445382 | 89967 10 | 5 | 744 1678.97/1679.47 c 1677s | 19 | 3284102 | 445882 | 89967 10 | 5 | 744 1681.27/1681.73 c 1679s | 19 | 3287994 | 446482 | 89967 10 | 5 | 744 1683.67/1684.14 c 1681s | 19 | 3291261 | 446982 | 89967 10 | 5 | 744 1686.06/1686.56 c 1684s | 19 | 3295405 | 447582 | 89967 10 | 5 | 744 1688.36/1688.81 c 1686s | 19 | 3298029 | 448082 | 89967 10 | 5 | 744 1690.46/1690.92 c 1688s | 19 | 3300766 | 448682 | 89967 10 | 5 | 744 1692.76/1693.22 c 1690s | 19 | 3304951 | 449182 | 89967 10 | 5 | 744 1694.86/1695.34 c 1692s | 19 | 3308742 | 449882 | 89967 10 | 5 | 744 1697.06/1697.58 c 1695s | 19 | 3310203 | 450382 | 89967 11 | 5 | 744 1699.36/1699.88 c 1697s | 19 | 3314618 | 451082 | 89967 11 | 5 | 744 1701.56/1702.07 c 1699s | 19 | 3315975 | 451882 | 89967 11 | 5 | 744 1721.06/1721.51 c 1719s | 19 | 3317971 | 452182 | 89967 11 | 5 | 744 1768.35/1768.80 c 1766s | 19 | 3319795 | 452282 | 89967 11 | 5 | 744 1770.55/1771.00 c 1768s | 19 | 3327701 | 452882 | 89967 11 | 5 | 744 1772.65/1773.20 c 1770s | 19 | 3333425 | 453582 | 89967 11 | 5 | 744 1775.15/1775.66 c 1773s | 19 | 3338172 | 453982 | 89967 11 | 5 | 744 1777.35/1777.81 c 1775s | 19 | 3343577 | 454382 | 89967 11 | 5 | 744 1779.35/1779.85 c 1777s | 19 | 3350360 | 454882 | 89967 11 | 5 | 744 1781.35/1781.87 c 1779s | 19 | 3355915 | 455582 | 89967 11 | 5 | 744 1783.95/1784.44 c 1782s | 19 | 3362786 | 456182 | 89967 11 | 5 | 744 1786.25/1786.77 c 1784s | 19 | 3369763 | 456682 | 89967 11 | 5 | 744 1788.55/1789.09 c 1786s | 19 | 3375333 | 457482 | 89967 11 | 5 | 744 1790.94/1791.46 c 1789s | 19 | 3381978 | 457982 | 89967 11 | 5 | 744 1793.14/1793.65 c 1791s | 19 | 3388896 | 458782 | 89967 11 | 5 | 744 1795.64/1796.10 c 1793s | 19 | 3396376 | 459382 | 89967 11 | 5 | 744 1797.94/1798.47 c 1796s | 19 | 3401994 | 459982 | 89967 11 | 5 | 744
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-4098143-1466119772/watcher-4098143-1466119772 -o /tmp/evaluation-result-4098143-1466119772/solver-4098143-1466119772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466119771-17335 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098143-1466119772.opb pid=17413 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.07 1.41 3/179 17416 /proc/meminfo: memFree=30561540/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=848316 CPUtime=0 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 3187 0 0 0 0 0 0 0 20 0 4 0 14027283 868675584 3038 33554432000 4194304 16246674 140734004221840 140734004221264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 212591 3048 441 2943 0 209485 0 [pid=17416/tid=17417] ppid=17413 vsize=866748 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 887549952 3110 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=870844 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 891744256 3127 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=874940 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14027283 895938560 3144 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 1.00 1.07 1.41 3/179 17416 /proc/meminfo: memFree=30561540/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 28920 0 0 0 5 4 0 0 20 0 4 0 14027283 1333334016 28709 33554432000 4194304 16246674 140734004221840 140734004221152 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 325521 28726 801 2943 0 322415 0 [pid=17416/tid=17417] ppid=17413 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1333334016 28737 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1333334016 28749 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1333334016 28760 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200514 s] /proc/loadavg: 1.00 1.07 1.41 3/179 17416 /proc/meminfo: memFree=30561540/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1312324 CPUtime=0.18 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 50520 0 0 0 11 7 0 0 20 0 4 0 14027283 1343819776 50819 33554432000 4194304 16246674 140734004221840 140734004221152 13750945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 328081 50819 801 2943 0 324975 0 [pid=17416/tid=17417] ppid=17413 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1343819776 50819 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1343819776 50819 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1343819776 50819 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1312324 [startup+0.300521 s] /proc/loadavg: 1.00 1.07 1.41 3/179 17416 /proc/meminfo: memFree=30561540/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 62255 0 0 0 20 9 0 0 20 0 4 0 14027283 1344868352 62554 33554432000 4194304 16246674 140734004221840 140734004221152 7854464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 328337 62554 801 2943 0 325231 0 [pid=17416/tid=17417] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 62554 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 62554 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 62554 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700409 s] /proc/loadavg: 1.00 1.07 1.41 3/179 17416 /proc/meminfo: memFree=30561540/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 69877 0 0 0 59 10 0 0 20 0 4 0 14027283 1344868352 70176 33554432000 4194304 16246674 140734004221840 140734004221152 7376605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 328337 70176 802 2943 0 325231 0 [pid=17416/tid=17417] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 70176 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 70176 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 70176 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 1.08 1.09 1.41 3/183 17420 /proc/meminfo: memFree=30199768/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1313348 CPUtime=1.48 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 198174 0 0 0 124 24 0 0 20 0 4 0 14027283 1344868352 198474 33554432000 4194304 16246674 140734004221840 140734004219648 6775184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 328337 198489 836 2943 0 325231 0 [pid=17416/tid=17417] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 198499 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 198508 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1344868352 198513 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10033 s] /proc/loadavg: 1.08 1.09 1.41 3/183 17420 /proc/meminfo: memFree=29472996/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=3.09 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 270870 0 0 0 275 34 0 0 20 0 4 0 14027283 1353256960 271169 33554432000 4194304 16246674 140734004221840 140734004203712 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271169 881 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271169 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271169 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271169 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1321540 [startup+6.30042 s] /proc/loadavg: 1.16 1.10 1.42 3/183 17420 /proc/meminfo: memFree=29471888/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=6.29 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 271057 0 0 0 595 34 0 0 20 0 4 0 14027283 1353256960 271356 33554432000 4194304 16246674 140734004221840 140734004203712 12483667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271356 884 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271356 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271356 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271356 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1321540 [startup+12.7005 s] /proc/loadavg: 1.22 1.12 1.42 3/183 17469 /proc/meminfo: memFree=29466788/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=12.69 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 271058 0 0 0 1235 34 0 0 20 0 4 0 14027283 1353256960 271357 33554432000 4194304 16246674 140734004221840 140734004203712 5661648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271357 884 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271357 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271357 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271357 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1321540 [startup+25.5004 s] /proc/loadavg: 1.42 1.16 1.43 3/183 17567 /proc/meminfo: memFree=29456152/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=25.49 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 271060 0 0 0 2515 34 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 140734004203712 5661940 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271359 886 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1321540 [startup+51.1074 s] /proc/loadavg: 1.65 1.24 1.45 3/184 17571 /proc/meminfo: memFree=29457228/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=51.09 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 271060 0 0 0 5075 34 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 140734004203712 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271359 886 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271359 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 1.85 1.36 1.47 3/183 17572 /proc/meminfo: memFree=29441044/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1321540 CPUtime=102.28 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 271063 0 0 0 10194 34 0 0 20 0 4 0 14027283 1353256960 271362 33554432000 4194304 16246674 140734004221840 140734004203712 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 330385 271362 888 2943 0 327279 0 [pid=17416/tid=17417] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271362 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271362 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1353256960 271362 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1391172 [startup+1362.31 s] /proc/loadavg: 1.12 1.15 1.36 2/173 17634 /proc/meminfo: memFree=30490300/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1361.92 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 136147 45 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5823101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1391172 [startup+1422.3 s] /proc/loadavg: 1.04 1.12 1.33 2/173 17635 /proc/meminfo: memFree=30490292/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1421.9 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 142145 45 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5823262 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1391172 [startup+1482.3 s] /proc/loadavg: 1.01 1.09 1.31 2/173 17636 /proc/meminfo: memFree=30490156/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1481.9 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 148144 46 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5677731 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1391172 [startup+1542.3 s] /proc/loadavg: 1.00 1.07 1.29 2/173 17637 /proc/meminfo: memFree=30489896/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1541.89 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 154143 46 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5523356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1391172 [startup+1602.3 s] /proc/loadavg: 1.03 1.07 1.27 2/173 17639 /proc/meminfo: memFree=30490008/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1601.88 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 160142 46 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1391172 [startup+1662.3 s] /proc/loadavg: 1.01 1.06 1.25 2/173 17640 /proc/meminfo: memFree=30489868/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1391172 CPUtime=1661.87 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 288783 0 0 0 166141 46 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 140734004203712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 347793 289027 889 2943 0 344687 0 [pid=17416/tid=17417] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1391172 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1424560128 289027 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1391172 [startup+1722.3 s] /proc/loadavg: 1.00 1.04 1.23 2/173 17641 /proc/meminfo: memFree=30448440/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1433156 CPUtime=1721.86 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 299124 0 0 0 172136 50 0 0 20 0 4 0 14027283 1467551744 299368 33554432000 4194304 16246674 140734004221840 140734004220936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 358289 299368 889 2943 0 355183 0 [pid=17416/tid=17417] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299368 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299368 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299368 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1433156 [startup+1782.3 s] /proc/loadavg: 1.06 1.05 1.22 2/173 17642 /proc/meminfo: memFree=30447804/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1433156 CPUtime=1781.85 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 299279 0 0 0 178131 54 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 140734004203712 12483640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 358289 299523 889 2943 0 355183 0 [pid=17416/tid=17417] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1433156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.05 1.22 2/173 17642 /proc/meminfo: memFree=30447680/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1433156 CPUtime=1800.04 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 299279 0 0 0 179950 54 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 140734004203712 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 358289 299523 889 2943 0 355183 0 [pid=17416/tid=17417] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1433156 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 17416 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.04 1.05 1.22 2/173 17642 /proc/meminfo: memFree=30447680/32872528 swapFree=240572/273276 [pid=17416] ppid=17413 vsize=1433156 CPUtime=1800.04 cores=1,3,5,7 /proc/17416/stat : 17416 (toysat) R 17413 17416 15559 0 -1 4202496 299279 0 0 0 179950 54 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 140734004203712 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17416/statm: 358289 299523 889 2943 0 355183 0 [pid=17416/tid=17417] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17417/stat : 17417 (toysat) S 17413 17416 15559 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883443105008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17416/tid=17418] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17418/stat : 17418 (toysat) S 17413 17416 15559 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883432615152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17416/tid=17419] ppid=17413 vsize=1433156 CPUtime=0 cores=1,3,5,7 /proc/17416/task/17419/stat : 17419 (toysat) S 17413 17416 15559 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14027283 1467551744 299523 33554432000 4194304 16246674 140734004221840 139883422141616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1433156 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.51 CPU system time (s): 0.549916 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1433156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.549916 maximum resident set size= 1198092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299279 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= 326 involuntary context switches= 1975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.51016 second user time and 8.45971 second system time The end
Begin job on node107 at 2016-06-17 01:29:33 IDJOB=4098143 IDBENCH=107858 IDSOLVER=2542 FILE ID=node107/4098143-1466119772 RUNJOBID= node107-1466119771-17335 PBS_JOBID= 19904126 Free space on /tmp= 71660 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_22.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098143-1466119772/watcher-4098143-1466119772 -o /tmp/evaluation-result-4098143-1466119772/solver-4098143-1466119772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466119771-17335 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098143-1466119772.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3dca049f681eb90ab964de60b18deb2d RANDOM SEED=608081539 node107.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.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 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.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.56 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.953 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.56 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.953 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.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.953 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30561720 kB Buffers: 72104 kB Cached: 191084 kB SwapCached: 2508 kB Active: 1214172 kB Inactive: 118248 kB Active(anon): 1068956 kB Inactive(anon): 2164 kB Active(file): 145216 kB Inactive(file): 116084 kB Unevictable: 273276 kB Mlocked: 240572 kB SwapTotal: 67108856 kB SwapFree: 67099252 kB Dirty: 37584 kB Writeback: 0 kB AnonPages: 1342936 kB Mapped: 10668 kB Shmem: 0 kB Slab: 572264 kB SReclaimable: 15512 kB SUnreclaim: 556752 kB KernelStack: 1496 kB PageTables: 6924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1484704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71660 MiB End job on node107 at 2016-06-17 01:59:33