| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_25.opb |
| MD5SUM | 67801f8f630801a6506b32cd8a9eda02 |
| 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 | 4.35434 |
| 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 | 8010 |
| Total number of constraints | 39254 |
| Number of constraints which are clauses | 39249 |
| 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 | 89 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 114 |
| 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:38:39+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-4098297-1466120319.opb"] 0.00/0.01 c use --random-gen="3149095111 2923132316 2542546417 1425243451 2946141466 213140612 1587625496 3707357955 4015222674 1399004265 544407638 948976088 3830464413 3488367791 2461793005 2695011042 2527891553 1915005790 3552449958 2543536791 941333622 1695120046 1215128881 3750151165 1143051087 210647681 1634088400 4012830672 2560485784 753366932 1504658711 3942217462 1247890387 1879049190 1238155931 3810345073 278597790 1825202400 458368399 3770909335 2627867524 1152285037 238965299 130166518 3437595405 476782058 2050370981 4171655193 372789833 798906252 3975530884 672423992 3364241476 1625840790 2010036728 65955094 1597486982 2139731172 2904188850 4271714139 3677120810 2639323982 1131065544 968676713 3061923078 3296921770 2709335133 3095603817 3004056114 1072601501 380986679 3139190610 1479065316 170319975 3640371206 695663553 1421501051 3504432686 3746513552 240812104 1905645883 3770567267 1670201592 2882578842 1199435784 3235641028 3001782095 3557773235 1797458629 1108109911 2353815757 1210573115 4207511140 1471482598 1569349899 2193981323 2803506909 2221380018 2897110612 3738208399 1795340614 93118372 2023378449 500722056 1214532856 2789172882 3751207934 686126638 2577101440 3647584379 865735333 1736062239 822116357 3422746406 914536784 3653287217 2032509283 2578904673 1287615899 345046598 2782470743 3197808557 3148904508 2668709352 237841954 861345056 3649156236 3768868069 3340438047 4161999388 2998579818 324516028 838252247 3778074610 1094364921 1085706770 1136172972 156157291 398437639 2215905990 1450799554 166711046 1578576479 2324361000 2826289625 2177561050 3634092540 321354462 3598897780 723493858 2258761677 3262614643 1846686572 383624532 1688331140 31203721 3233783686 3780209617 490845397 912447086 3732528697 1971698346 2276381749 506399323 1037933533 574711889 3822215413 698567286 1324105804 329212939 2508390894 1206509899 4220694787 1604072416 2720904158 2941376148 3686022547 642442886 1326216052 3582718970 430341518 512748471 84545443 1818515091 2123053069 841174080 2643359094 2083393328 4134081963 1205361763 1880248986 512997706 552022079 2997385161 3478966768 124202613 1632391522 3841088712 921150793 2317707304 3518741946 4169013280 2937194728 2321737385 2401820827 994237515 1410928394 3996143169 2051963109 1081552737 1236801417 3707948996 2492917997 3092311930 2110338687 1215247482 688209091 1147262023 266569422 1825387541 30617859 3380087274 1824397524 415887290 2107341933 2209940304 307899382 1464850559 1669611653 3414411336 3579996845 1414345558 3542981462 876221090 1119971180 586499508 3782267499 2295062854 492008174 514562844 2703088683 598607581 490839360 683399496 206763152 3094029688 1120190743 234892818 4014408984 3784860958 1165533201 2702474898 2278803493 2592292656 952885899 16121844 255 362436" option to reproduce the execution 0.89/0.98 c #vars 8010 0.89/0.98 c #constraints 39254 2.69/2.77 c Solving starts ... 2.69/2.77 c ============================[ Search Statistics ]============================ 2.69/2.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.77 c | | | | Limit GC | Var | Constra 2.69/2.77 c ============================================================================= 2.69/2.77 c 0.0s | 0 | 0 | 0 | 15753 0 | 5 | 0 3.40/3.42 c 0.6s | 1 | 1334 | 100 | 15753 0 | 5 | 768 4.29/4.32 c 1.5s | 2 | 2746 | 250 | 17329 0 | 5 | 768 5.49/5.58 c 2.8s | 3 | 5657 | 475 | 19062 0 | 5 | 768 6.99/7.05 c 4.3s | 4 | 7773 | 813 | 20969 0 | 5 | 768 9.29/9.30 c 6.5s | 4 | 12990 | 1313 | 23066 0 | 5 | 768 9.29/9.33 c 6.6s | 5 | 13001 | 1320 | 23066 0 | 5 | 768 11.39/11.42 c 8.7s | 5 | 16412 | 1820 | 25373 0 | 5 | 768 12.30/12.35 c 9.6s | 6 | 17067 | 2081 | 27911 0 | 5 | 768 14.69/14.79 c 12.0s | 6 | 22377 | 2581 | 27911 0 | 5 | 768 16.89/16.99 c 14.2s | 6 | 26603 | 3081 | 27911 0 | 5 | 768 17.70/17.74 c 15.0s | 7 | 29541 | 3223 | 30703 0 | 5 | 768 20.00/20.04 c 17.3s | 7 | 35426 | 3723 | 30703 0 | 5 | 768 21.99/22.10 c 19.3s | 7 | 39248 | 4423 | 30703 0 | 5 | 768 24.19/24.22 c 21.4s | 7 | 43514 | 4923 | 33774 0 | 5 | 768 24.19/24.30 c 21.5s | 8 | 43514 | 4936 | 33774 0 | 5 | 768 26.29/26.33 c 23.6s | 8 | 47946 | 5336 | 33774 0 | 5 | 768 28.49/28.56 c 25.8s | 8 | 53799 | 5836 | 33774 0 | 5 | 768 30.69/30.72 c 27.9s | 8 | 57373 | 6536 | 33774 0 | 5 | 768 32.69/32.79 c 30.0s | 8 | 61810 | 7036 | 33774 0 | 5 | 768 34.89/34.91 c 32.1s | 9 | 66686 | 7506 | 37152 0 | 5 | 768 37.29/37.34 c 34.6s | 9 | 75302 | 8006 | 37152 0 | 5 | 768 39.49/39.51 c 36.7s | 9 | 78796 | 8406 | 37152 0 | 5 | 768 41.79/41.82 c 39.0s | 9 | 83753 | 8906 | 37152 0 | 5 | 768 43.99/44.00 c 41.2s | 9 | 89748 | 9506 | 37152 0 | 5 | 768 46.49/46.59 c 43.8s | 9 | 94084 | 10206 | 37152 0 | 5 | 768 48.89/48.98 c 46.2s | 9 | 100304 | 10706 | 37152 0 | 5 | 768 51.19/51.20 c 48.4s | 9 | 103648 | 11106 | 37152 0 | 5 | 768 52.29/52.34 c 49.6s | 10 | 106183 | 11361 | 40868 0 | 5 | 768 54.39/54.47 c 51.7s | 10 | 111204 | 11761 | 40868 0 | 5 | 768 56.59/56.60 c 53.8s | 10 | 116911 | 12261 | 40868 0 | 5 | 768 58.78/58.88 c 56.1s | 10 | 121156 | 12961 | 40868 0 | 5 | 768 61.28/61.30 c 58.5s | 10 | 127624 | 13461 | 40868 0 | 5 | 768 63.48/63.51 c 60.7s | 10 | 134045 | 13961 | 40868 0 | 5 | 768 65.78/65.83 c 63.1s | 10 | 141118 | 14761 | 40868 0 | 5 | 768 67.98/68.09 c 65.3s | 10 | 147458 | 15261 | 40868 0 | 5 | 768 70.28/70.30 c 67.5s | 10 | 152865 | 15761 | 40868 0 | 5 | 768 72.48/72.58 c 69.8s | 10 | 159010 | 16561 | 40868 0 | 5 | 768 74.89/75.00 c 72.2s | 11 | 166433 | 17144 | 44955 0 | 5 | 768 77.38/77.44 c 74.7s | 11 | 171057 | 17544 | 44955 0 | 5 | 768 79.58/79.65 c 76.9s | 11 | 176245 | 18244 | 44955 0 | 5 | 768 81.78/81.82 c 79.0s | 11 | 182537 | 18844 | 44955 0 | 5 | 768 84.08/84.11 c 81.3s | 11 | 188077 | 19344 | 44955 0 | 5 | 768 86.28/86.30 c 83.5s | 11 | 193622 | 19744 | 44955 0 | 5 | 768 88.28/88.38 c 85.6s | 11 | 199569 | 20444 | 44955 0 | 5 | 768 90.48/90.57 c 87.8s | 11 | 205672 | 21044 | 44955 0 | 5 | 768 92.78/92.82 c 90.1s | 11 | 213857 | 21544 | 44955 0 | 5 | 768 94.88/94.98 c 92.2s | 11 | 219996 | 22044 | 44955 0 | 5 | 768 97.18/97.27 c 94.5s | 11 | 222094 | 22644 | 44955 0 | 5 | 768 99.28/99.38 c 96.6s | 11 | 226618 | 23144 | 44955 0 | 5 | 768 101.38/101.43 c 98.7s | 11 | 232253 | 23544 | 44955 0 | 5 | 768 103.68/103.79 c 101s | 11 | 238697 | 24044 | 44955 0 | 5 | 768 105.88/105.92 c 103s | 11 | 242948 | 24644 | 44955 0 | 5 | 768 108.18/108.27 c 105s | 11 | 248397 | 25144 | 44955 0 | 5 | 768 110.28/110.31 c 107s | 11 | 252599 | 25544 | 44955 0 | 5 | 768 111.48/111.53 c 108s | 12 | 254859 | 25819 | 49451 0 | 5 | 768 113.48/113.55 c 110s | 12 | 259414 | 26219 | 49451 0 | 5 | 768 115.58/115.67 c 112s | 12 | 263273 | 26819 | 49451 0 | 5 | 768 117.78/117.82 c 115s | 12 | 267380 | 27319 | 49451 0 | 5 | 768 120.08/120.17 c 117s | 12 | 271061 | 27719 | 49451 0 | 5 | 768 122.28/122.36 c 119s | 12 | 275364 | 28219 | 49451 0 | 5 | 768 124.27/124.39 c 121s | 12 | 279236 | 28819 | 49451 0 | 5 | 768 126.47/126.56 c 123s | 12 | 283852 | 29319 | 49451 0 | 5 | 768 128.67/128.70 c 125s | 12 | 290311 | 29719 | 49451 0 | 5 | 768 131.08/131.19 c 128s | 12 | 295581 | 30119 | 49451 0 | 5 | 768 133.18/133.30 c 130s | 12 | 299220 | 30519 | 49451 0 | 5 | 768 135.38/135.48 c 132s | 12 | 302968 | 31119 | 49451 0 | 5 | 768 137.37/137.48 c 134s | 12 | 306665 | 31519 | 49451 0 | 5 | 768 139.78/139.81 c 137s | 12 | 310412 | 31919 | 49451 0 | 5 | 768 141.77/141.89 c 139s | 12 | 315002 | 32319 | 49451 0 | 5 | 768 144.18/144.28 c 141s | 12 | 321282 | 32819 | 49451 0 | 5 | 768 146.38/146.48 c 143s | 12 | 326580 | 33419 | 49451 0 | 5 | 768 148.47/148.55 c 145s | 12 | 329447 | 34119 | 49451 0 | 5 | 768 150.78/150.81 c 148s | 12 | 331862 | 34619 | 49451 0 | 5 | 768 152.98/153.09 c 150s | 12 | 336253 | 35119 | 49451 0 | 5 | 768 155.37/155.43 c 152s | 12 | 340922 | 35519 | 49451 0 | 5 | 768 157.67/157.71 c 154s | 12 | 346557 | 35919 | 49451 0 | 5 | 768 160.07/160.12 c 157s | 12 | 351051 | 36619 | 49451 0 | 5 | 768 162.07/162.15 c 159s | 12 | 353243 | 37019 | 49451 0 | 5 | 768 164.17/164.26 c 161s | 12 | 357536 | 37419 | 49451 0 | 5 | 768 166.37/166.41 c 163s | 12 | 361557 | 37919 | 49451 0 | 5 | 768 168.67/168.75 c 165s | 12 | 364913 | 38419 | 49451 0 | 5 | 768 170.87/170.90 c 168s | 12 | 369285 | 38819 | 54397 0 | 5 | 768 170.87/170.99 c 168s | 13 | 369289 | 38832 | 54397 0 | 5 | 768 173.07/173.10 c 170s | 13 | 371900 | 39132 | 54397 0 | 5 | 768 175.47/175.52 c 172s | 13 | 377649 | 39532 | 54397 0 | 5 | 768 177.67/177.75 c 174s | 13 | 381572 | 39932 | 54397 0 | 5 | 768 179.97/180.08 c 177s | 13 | 389087 | 40432 | 54397 0 | 5 | 768 182.27/182.38 c 179s | 13 | 392413 | 41032 | 54397 0 | 5 | 768 184.56/184.63 c 181s | 13 | 398136 | 41532 | 54397 0 | 5 | 768 186.86/186.94 c 184s | 13 | 403606 | 41932 | 54397 0 | 5 | 768 189.06/189.14 c 186s | 13 | 408876 | 42332 | 54397 0 | 5 | 768 191.16/191.30 c 188s | 13 | 413078 | 42832 | 54397 0 | 5 | 768 193.36/193.49 c 190s | 13 | 417355 | 43432 | 54397 0 | 5 | 768 195.46/195.51 c 192s | 13 | 421855 | 43832 | 54397 0 | 5 | 768 197.86/197.96 c 195s | 13 | 428368 | 44332 | 54397 0 | 5 | 768 199.96/200.02 c 197s | 13 | 432459 | 44732 | 54397 0 | 5 | 768 202.16/202.27 c 199s | 13 | 437539 | 45332 | 54397 0 | 5 | 768 204.46/204.52 c 201s | 13 | 442819 | 45932 | 54397 0 | 5 | 768 206.76/206.83 c 204s | 13 | 448173 | 46332 | 54397 0 | 5 | 768 208.86/208.92 c 206s | 13 | 452233 | 46732 | 54397 0 | 5 | 768 210.96/211.02 c 208s | 13 | 456965 | 47332 | 54397 0 | 5 | 768 213.46/213.51 c 210s | 13 | 461730 | 47932 | 54397 0 | 5 | 768 215.66/215.73 c 212s | 13 | 465976 | 48432 | 54397 0 | 5 | 768 217.96/218.07 c 215s | 13 | 472241 | 49132 | 54397 0 | 5 | 768 220.16/220.23 c 217s | 13 | 477916 | 49532 | 54397 0 | 5 | 768 222.46/222.56 c 219s | 13 | 482795 | 49932 | 54397 0 | 5 | 768 224.76/224.82 c 222s | 13 | 487461 | 50432 | 54397 0 | 5 | 768 227.16/227.29 c 224s | 13 | 490592 | 51032 | 54397 0 | 5 | 768 229.26/229.37 c 226s | 13 | 495205 | 51432 | 54397 0 | 5 | 768 231.56/231.63 c 228s | 13 | 498640 | 51832 | 54397 0 | 5 | 768 233.56/233.68 c 230s | 13 | 502429 | 52432 | 54397 0 | 5 | 768 235.96/236.02 c 233s | 13 | 506228 | 53032 | 54397 0 | 5 | 768 237.95/238.08 c 235s | 13 | 509652 | 53432 | 54397 0 | 5 | 768 240.35/240.42 c 237s | 13 | 512861 | 53932 | 54397 0 | 5 | 768 242.55/242.69 c 239s | 13 | 515399 | 54432 | 54397 0 | 5 | 768 245.05/245.15 c 242s | 13 | 520887 | 54932 | 54397 0 | 5 | 768 247.45/247.52 c 244s | 13 | 526626 | 55632 | 54397 0 | 5 | 768 249.55/249.67 c 246s | 13 | 530013 | 56132 | 54397 0 | 5 | 768 252.65/252.77 c 249s | 13 | 533793 | 56632 | 54397 1 | 5 | 768 254.75/254.84 c 252s | 13 | 536398 | 56932 | 54397 1 | 5 | 768 257.25/257.31 c 254s | 13 | 542573 | 57732 | 54397 1 | 5 | 768 259.54/259.65 c 256s | 13 | 544746 | 57932 | 54397 1 | 5 | 768 260.85/260.93 c 258s | 14 | 547098 | 58352 | 59837 1 | 5 | 768 263.24/263.30 c 260s | 14 | 550819 | 58952 | 59837 1 | 5 | 768 265.34/265.42 c 262s | 14 | 556123 | 59652 | 59837 1 | 5 | 768 267.45/267.54 c 264s | 14 | 560494 | 60252 | 59837 1 | 5 | 768 269.84/269.91 c 267s | 14 | 564105 | 60852 | 59837 1 | 5 | 768 271.84/271.98 c 269s | 14 | 566455 | 61352 | 59837 1 | 5 | 768 273.94/274.09 c 271s | 14 | 569904 | 61952 | 59837 1 | 5 | 768 276.14/276.30 c 273s | 14 | 574323 | 62652 | 59837 1 | 5 | 768 278.44/278.56 c 275s | 14 | 577986 | 63352 | 59837 1 | 5 | 768 280.73/280.82 c 278s | 14 | 582798 | 64152 | 59837 1 | 5 | 768 282.74/282.84 c 280s | 14 | 587084 | 64952 | 59837 1 | 5 | 768 284.73/284.86 c 282s | 14 | 591104 | 65752 | 59837 1 | 5 | 768 286.83/286.93 c 284s | 14 | 594015 | 66552 | 59837 1 | 5 | 768 288.93/289.07 c 286s | 14 | 596201 | 67452 | 59837 1 | 5 | 768 291.54/291.62 c 288s | 14 | 599935 | 67852 | 59837 1 | 5 | 768 293.53/293.64 c 290s | 14 | 603921 | 68152 | 59837 1 | 5 | 768 295.94/296.06 c 293s | 14 | 608633 | 68552 | 59837 1 | 5 | 768 298.13/298.26 c 295s | 14 | 613149 | 69152 | 59837 1 | 5 | 768 300.23/300.34 c 297s | 14 | 618190 | 69652 | 59837 1 | 5 | 768 302.73/302.85 c 300s | 14 | 623649 | 70152 | 59837 1 | 5 | 768 305.03/305.13 c 302s | 14 | 628202 | 70652 | 59837 1 | 5 | 768 307.53/307.62 c 304s | 14 | 633000 | 71352 | 59837 1 | 5 | 768 309.73/309.82 c 307s | 14 | 638034 | 71752 | 59837 1 | 5 | 768 311.83/311.90 c 309s | 14 | 643267 | 72252 | 59837 1 | 5 | 768 314.13/314.21 c 311s | 14 | 648883 | 72952 | 59837 1 | 5 | 768 316.22/316.32 c 313s | 14 | 653123 | 73352 | 59837 1 | 5 | 768 318.62/318.80 c 316s | 14 | 658971 | 73752 | 59837 1 | 5 | 768 320.92/321.06 c 318s | 14 | 663120 | 74152 | 59837 1 | 5 | 768 323.12/323.22 c 320s | 14 | 667128 | 74752 | 59837 1 | 5 | 768 325.22/325.38 c 322s | 14 | 672341 | 75252 | 59837 1 | 5 | 768 327.32/327.47 c 324s | 14 | 676590 | 75652 | 59837 1 | 5 | 768 329.32/329.48 c 326s | 14 | 679495 | 76152 | 59837 1 | 5 | 768 331.72/331.89 c 329s | 14 | 683367 | 76652 | 59837 1 | 5 | 768 333.82/333.96 c 331s | 14 | 687387 | 77052 | 59837 1 | 5 | 768 336.22/336.35 c 333s | 14 | 692133 | 77752 | 59837 1 | 5 | 768 338.62/338.73 c 335s | 14 | 698532 | 78252 | 59837 1 | 5 | 768 340.72/340.85 c 338s | 14 | 703655 | 78752 | 59837 1 | 5 | 768 343.12/343.23 c 340s | 14 | 709181 | 79452 | 59837 1 | 5 | 768 345.52/345.63 c 342s | 14 | 714484 | 79952 | 59837 1 | 5 | 768 347.92/348.00 c 345s | 14 | 720396 | 80752 | 59837 1 | 5 | 768 350.11/350.25 c 347s | 14 | 726135 | 81452 | 59837 1 | 5 | 768 352.51/352.65 c 349s | 14 | 730090 | 81952 | 59837 1 | 5 | 768 354.81/354.96 c 352s | 14 | 735167 | 82452 | 59837 1 | 5 | 768 356.91/357.03 c 354s | 14 | 739439 | 83152 | 59837 1 | 5 | 768 359.31/359.42 c 356s | 14 | 745015 | 83752 | 59837 1 | 5 | 768 361.41/361.56 c 358s | 14 | 748574 | 84252 | 59837 1 | 5 | 768 363.61/363.73 c 360s | 14 | 751746 | 84752 | 59837 1 | 5 | 768 365.91/366.01 c 363s | 14 | 755670 | 85352 | 59837 1 | 5 | 768 368.11/368.26 c 365s | 14 | 759986 | 86052 | 59837 1 | 5 | 768 370.41/370.54 c 367s | 14 | 764182 | 86652 | 59837 1 | 5 | 768 372.81/372.95 c 370s | 14 | 767971 | 87252 | 65821 1 | 5 | 768 373.71/373.82 c 371s | 15 | 770315 | 87632 | 65821 1 | 5 | 768 375.71/375.83 c 373s | 15 | 773602 | 88132 | 65821 1 | 5 | 768 377.71/377.85 c 375s | 15 | 778432 | 88832 | 65821 1 | 5 | 768 379.81/379.90 c 377s | 15 | 781183 | 89432 | 65821 1 | 5 | 768 382.01/382.14 c 379s | 15 | 784927 | 90132 | 65821 1 | 5 | 768 384.11/384.27 c 381s | 15 | 788117 | 90832 | 65821 1 | 5 | 768 386.11/386.29 c 383s | 15 | 789962 | 91432 | 65821 1 | 5 | 768 388.31/388.44 c 385s | 15 | 792471 | 92132 | 65821 1 | 5 | 768 390.41/390.57 c 387s | 15 | 794714 | 92832 | 65821 1 | 5 | 768 392.41/392.59 c 389s | 15 | 796300 | 93532 | 65821 1 | 5 | 768 394.81/394.95 c 392s | 15 | 801321 | 94032 | 65821 1 | 5 | 768 397.21/397.38 c 394s | 15 | 806173 | 94432 | 65821 1 | 5 | 768 399.60/399.79 c 397s | 15 | 811059 | 94832 | 65821 1 | 5 | 768 401.80/401.93 c 399s | 15 | 814160 | 95332 | 65821 1 | 5 | 768 404.10/404.25 c 401s | 15 | 817523 | 95732 | 65821 2 | 5 | 768 406.90/407.00 c 404s | 15 | 820017 | 95932 | 65821 2 | 5 | 768 409.60/409.71 c 406s | 15 | 826061 | 96332 | 65821 2 | 5 | 768 411.60/411.75 c 408s | 15 | 830573 | 96832 | 65821 2 | 5 | 768 413.90/414.08 c 411s | 15 | 834344 | 97432 | 65821 2 | 5 | 768 416.49/416.62 c 413s | 15 | 841060 | 97932 | 65821 2 | 5 | 768 418.59/418.75 c 415s | 15 | 846066 | 98332 | 65821 2 | 5 | 768 420.89/421.04 c 418s | 15 | 850461 | 99032 | 65821 2 | 5 | 768 423.39/423.57 c 420s | 15 | 855982 | 99532 | 65821 2 | 5 | 768 425.70/425.89 c 423s | 15 | 861856 | 100032 | 65821 2 | 5 | 768 428.00/428.16 c 425s | 15 | 866869 | 100732 | 65821 2 | 5 | 768 429.99/430.17 c 427s | 15 | 871990 | 101132 | 65821 2 | 5 | 768 432.09/432.25 c 429s | 15 | 878173 | 101832 | 65821 2 | 5 | 768 434.09/434.27 c 431s | 15 | 883136 | 102332 | 65821 2 | 5 | 768 436.39/436.58 c 433s | 15 | 887519 | 102932 | 65821 2 | 5 | 768 438.78/438.97 c 436s | 15 | 893070 | 103432 | 65821 2 | 5 | 768 440.88/441.05 c 438s | 15 | 897739 | 103932 | 65821 2 | 5 | 768 442.98/443.17 c 440s | 15 | 901273 | 104532 | 65821 2 | 5 | 768 445.08/445.29 c 442s | 15 | 905324 | 105032 | 65821 2 | 5 | 768 447.38/447.58 c 444s | 15 | 910239 | 105632 | 65821 2 | 5 | 768 449.58/449.70 c 446s | 15 | 914494 | 106132 | 65821 2 | 5 | 768 451.68/451.80 c 449s | 15 | 917795 | 106632 | 65821 2 | 5 | 768 453.78/453.94 c 451s | 15 | 921333 | 107032 | 65821 2 | 5 | 768 455.78/455.97 c 453s | 15 | 927066 | 107532 | 65821 2 | 5 | 768 458.18/458.31 c 455s | 15 | 932070 | 108232 | 65821 2 | 5 | 768 460.17/460.34 c 457s | 15 | 936519 | 108832 | 65821 2 | 5 | 768 462.27/462.40 c 459s | 15 | 939953 | 109332 | 65821 2 | 5 | 768 464.37/464.55 c 461s | 15 | 943231 | 109832 | 65821 2 | 5 | 768 466.77/466.94 c 464s | 15 | 947859 | 110532 | 65821 2 | 5 | 768 468.86/469.04 c 466s | 15 | 951384 | 111132 | 65821 2 | 5 | 768 470.87/471.06 c 468s | 15 | 954992 | 111732 | 65821 2 | 5 | 768 473.07/473.28 c 470s | 15 | 959519 | 112332 | 65821 2 | 5 | 768 475.27/475.50 c 472s | 15 | 963424 | 113032 | 65821 2 | 5 | 768 477.37/477.56 c 474s | 15 | 967774 | 113732 | 65821 2 | 5 | 768 479.76/479.91 c 477s | 15 | 971017 | 114432 | 65821 2 | 5 | 768 482.06/482.20 c 479s | 15 | 972693 | 114932 | 65821 2 | 5 | 768 484.16/484.35 c 481s | 15 | 975013 | 115532 | 65821 2 | 5 | 768 486.36/486.59 c 483s | 15 | 977095 | 116132 | 65821 2 | 5 | 768 488.45/488.68 c 485s | 15 | 978747 | 116732 | 65821 2 | 5 | 768 490.86/491.05 c 488s | 15 | 979863 | 117232 | 65821 2 | 5 | 768 492.86/493.05 c 490s | 15 | 981455 | 117832 | 65821 2 | 5 | 768 495.16/495.36 c 492s | 15 | 982731 | 118432 | 65821 2 | 5 | 768 497.56/497.77 c 495s | 15 | 984370 | 119032 | 65821 2 | 5 | 768 499.85/500.03 c 497s | 15 | 987380 | 119632 | 65821 2 | 5 | 768 501.95/502.16 c 499s | 15 | 989391 | 120132 | 65821 2 | 5 | 768 504.15/504.35 c 501s | 15 | 992435 | 120732 | 65821 2 | 5 | 768 506.45/506.61 c 503s | 15 | 995541 | 121432 | 65821 2 | 5 | 768 508.74/508.90 c 506s | 15 | 997776 | 121932 | 65821 2 | 5 | 768 510.94/511.16 c 508s | 15 | 1001603 | 122632 | 65821 2 | 5 | 768 513.34/513.58 c 510s | 15 | 1004808 | 123132 | 65821 2 | 5 | 768 515.74/515.96 c 513s | 15 | 1008078 | 123732 | 65821 2 | 5 | 768 518.24/518.45 c 515s | 15 | 1011557 | 124332 | 65821 2 | 5 | 768 520.63/520.84 c 518s | 15 | 1014627 | 124932 | 65821 2 | 5 | 768 522.83/523.00 c 520s | 15 | 1019591 | 125432 | 65821 2 | 5 | 768 525.33/525.54 c 522s | 15 | 1022165 | 126032 | 65821 2 | 5 | 768 527.43/527.66 c 524s | 15 | 1026593 | 126632 | 65821 2 | 5 | 768 529.83/530.03 c 527s | 15 | 1029819 | 127132 | 65821 2 | 5 | 768 531.83/532.05 c 529s | 15 | 1032678 | 127632 | 65821 2 | 5 | 768 533.93/534.15 c 531s | 15 | 1034961 | 128132 | 65821 2 | 5 | 768 536.23/536.48 c 533s | 15 | 1039257 | 128632 | 65821 2 | 5 | 768 538.72/538.96 c 536s | 15 | 1042524 | 129232 | 65821 2 | 5 | 768 541.02/541.29 c 538s | 15 | 1045806 | 129732 | 65821 2 | 5 | 768 543.33/543.58 c 540s | 15 | 1048855 | 130332 | 65821 2 | 5 | 768 545.42/545.68 c 542s | 15 | 1052294 | 130832 | 72404 2 | 5 | 768 547.52/547.77 c 544s | 15 | 1054686 | 131332 | 72404 2 | 5 | 768 548.42/548.65 c 545s | 16 | 1055742 | 131552 | 72404 2 | 5 | 768 550.92/551.19 c 548s | 16 | 1059691 | 131852 | 72404 2 | 5 | 768 553.01/553.20 c 550s | 16 | 1062533 | 132152 | 72404 2 | 5 | 768 555.52/555.79 c 553s | 16 | 1065427 | 132552 | 72404 2 | 5 | 768 557.62/557.87 c 555s | 16 | 1067559 | 132952 | 72404 2 | 5 | 768 560.21/560.43 c 557s | 16 | 1071146 | 133352 | 72404 2 | 5 | 768 562.51/562.78 c 560s | 16 | 1074394 | 133752 | 72404 2 | 5 | 768 564.71/564.90 c 562s | 16 | 1077767 | 134052 | 72404 2 | 5 | 768 566.71/566.99 c 564s | 16 | 1081618 | 134452 | 72404 2 | 5 | 768 569.00/569.28 c 566s | 16 | 1084424 | 134952 | 72404 2 | 5 | 768 573.01/573.27 c 570s | 16 | 1087484 | 135352 | 72404 3 | 5 | 768 575.60/575.88 c 573s | 16 | 1091124 | 135752 | 72404 3 | 5 | 768 578.10/578.39 c 575s | 16 | 1095516 | 136152 | 72404 3 | 5 | 768 584.39/584.65 c 581s | 16 | 1096818 | 136252 | 72404 3 | 5 | 768 586.39/586.65 c 583s | 16 | 1100140 | 136752 | 72404 3 | 5 | 768 588.60/588.87 c 586s | 16 | 1104712 | 137252 | 72404 3 | 5 | 768 590.70/590.90 c 588s | 16 | 1109610 | 137652 | 72404 3 | 5 | 768 592.90/593.17 c 590s | 16 | 1115068 | 138352 | 72404 3 | 5 | 768 595.19/595.46 c 592s | 16 | 1119627 | 138852 | 72404 3 | 5 | 768 597.30/597.56 c 594s | 16 | 1125060 | 139452 | 72404 3 | 5 | 768 599.59/599.83 c 597s | 16 | 1128162 | 139952 | 72404 3 | 5 | 768 601.59/601.89 c 599s | 16 | 1131085 | 140352 | 72404 3 | 5 | 768 603.99/604.24 c 601s | 16 | 1134624 | 140952 | 72404 3 | 5 | 768 614.48/614.70 c 611s | 16 | 1135768 | 141052 | 72404 3 | 5 | 768 616.48/616.78 c 614s | 16 | 1140210 | 141552 | 72404 3 | 5 | 768 618.47/618.78 c 616s | 16 | 1143054 | 142052 | 72404 3 | 5 | 768 620.57/620.89 c 618s | 16 | 1146003 | 142552 | 72404 3 | 5 | 768 623.08/623.34 c 620s | 16 | 1148797 | 143052 | 72404 3 | 5 | 768 625.18/625.45 c 622s | 16 | 1151492 | 143652 | 72404 3 | 5 | 768 627.38/627.64 c 624s | 16 | 1153969 | 144052 | 72404 3 | 5 | 768 629.68/629.97 c 627s | 16 | 1157050 | 144652 | 72404 3 | 5 | 768 631.97/632.26 c 629s | 16 | 1160777 | 145152 | 72404 3 | 5 | 768 634.27/634.50 c 631s | 16 | 1163896 | 145752 | 72404 3 | 5 | 768 636.47/636.74 c 633s | 16 | 1166536 | 146252 | 72404 3 | 5 | 768 638.87/639.16 c 636s | 16 | 1168960 | 146852 | 72404 3 | 5 | 768 640.97/641.28 c 638s | 16 | 1172187 | 147452 | 72404 3 | 5 | 768 643.27/643.51 c 640s | 16 | 1174743 | 148052 | 72404 3 | 5 | 768 645.37/645.67 c 642s | 16 | 1177477 | 148652 | 72404 3 | 5 | 768 647.47/647.70 c 644s | 16 | 1179826 | 149252 | 72404 3 | 5 | 768 649.66/649.97 c 647s | 16 | 1182022 | 149952 | 72404 3 | 5 | 768 651.96/652.23 c 649s | 16 | 1185316 | 150452 | 72404 3 | 5 | 768 654.06/654.37 c 651s | 16 | 1191044 | 150952 | 72404 3 | 5 | 768 656.36/656.61 c 653s | 16 | 1195681 | 151452 | 72404 3 | 5 | 768 658.36/658.68 c 655s | 16 | 1199309 | 151752 | 72404 3 | 5 | 768 660.85/661.17 c 658s | 16 | 1204761 | 152152 | 72404 3 | 5 | 768 662.85/663.19 c 660s | 16 | 1209479 | 152552 | 72404 3 | 5 | 768 665.05/665.34 c 662s | 16 | 1213701 | 153152 | 72404 3 | 5 | 768 667.35/667.60 c 664s | 16 | 1218330 | 153552 | 72404 3 | 5 | 768 669.65/669.98 c 667s | 16 | 1222332 | 153952 | 72404 3 | 5 | 768 672.15/672.43 c 669s | 16 | 1225847 | 154452 | 72404 3 | 5 | 768 674.35/674.67 c 671s | 16 | 1228154 | 154952 | 72404 3 | 5 | 768 676.95/677.23 c 674s | 16 | 1231919 | 155352 | 72404 3 | 5 | 768 678.94/679.24 c 676s | 16 | 1236369 | 155952 | 72404 3 | 5 | 768 681.24/681.54 c 678s | 16 | 1239168 | 156352 | 72404 3 | 5 | 768 683.34/683.65 c 680s | 16 | 1244696 | 156952 | 72404 3 | 5 | 768 685.34/685.66 c 682s | 16 | 1250141 | 157352 | 72404 3 | 5 | 768 687.74/688.01 c 685s | 16 | 1256299 | 158052 | 72404 3 | 5 | 768 689.84/690.13 c 687s | 16 | 1262684 | 158552 | 72404 3 | 5 | 768 692.14/692.41 c 689s | 16 | 1266575 | 159152 | 72404 3 | 5 | 768 694.14/694.45 c 691s | 16 | 1269597 | 159552 | 72404 3 | 5 | 768 696.44/696.74 c 693s | 16 | 1271868 | 160052 | 72404 3 | 5 | 768 698.83/699.15 c 696s | 16 | 1275263 | 160452 | 72404 3 | 5 | 768 701.23/701.53 c 698s | 16 | 1278336 | 160952 | 72404 3 | 5 | 768 703.43/703.77 c 700s | 16 | 1282484 | 161452 | 72404 3 | 5 | 768 705.83/706.19 c 703s | 16 | 1285580 | 161852 | 72404 3 | 5 | 768 708.03/708.32 c 705s | 16 | 1287389 | 162252 | 72404 3 | 5 | 768 710.22/710.58 c 707s | 16 | 1291020 | 162652 | 72404 3 | 5 | 768 712.73/713.00 c 710s | 16 | 1295391 | 163052 | 72404 3 | 5 | 768 715.12/715.47 c 712s | 16 | 1299073 | 163452 | 72404 3 | 5 | 768 717.32/717.68 c 714s | 16 | 1302787 | 163852 | 72404 3 | 5 | 768 719.91/720.30 c 717s | 16 | 1305752 | 164352 | 72404 3 | 5 | 768 722.01/722.34 c 719s | 16 | 1308382 | 164652 | 72404 3 | 5 | 768 724.11/724.41 c 721s | 16 | 1312021 | 164952 | 72404 3 | 5 | 768 726.11/726.48 c 723s | 16 | 1314893 | 165252 | 72404 3 | 5 | 768 728.71/729.04 c 726s | 16 | 1317157 | 165752 | 72404 3 | 5 | 768 730.81/731.14 c 728s | 16 | 1320223 | 166052 | 72404 3 | 5 | 768 733.31/733.67 c 730s | 16 | 1323871 | 166452 | 72404 3 | 5 | 768 735.41/735.72 c 732s | 16 | 1327400 | 166852 | 72404 3 | 5 | 768 737.51/737.82 c 735s | 16 | 1329641 | 167252 | 72404 3 | 5 | 768 740.00/740.31 c 737s | 16 | 1334611 | 167652 | 72404 3 | 5 | 768 742.10/742.49 c 739s | 16 | 1340637 | 168252 | 72404 3 | 5 | 768 744.30/744.60 c 741s | 16 | 1344972 | 168752 | 72404 3 | 5 | 768 747.00/747.31 c 744s | 16 | 1350319 | 169152 | 72404 3 | 5 | 768 749.50/749.84 c 747s | 16 | 1355303 | 169552 | 72404 3 | 5 | 768 751.60/751.94 c 749s | 16 | 1358055 | 169952 | 72404 3 | 5 | 768 753.90/754.23 c 751s | 16 | 1361011 | 170452 | 72404 3 | 5 | 768 756.30/756.69 c 753s | 16 | 1364910 | 170852 | 72404 3 | 5 | 768 758.59/758.91 c 756s | 16 | 1367766 | 171352 | 72404 3 | 5 | 768 761.10/761.47 c 758s | 16 | 1371173 | 171752 | 72404 3 | 5 | 768 763.29/763.70 c 760s | 16 | 1376813 | 172452 | 72404 3 | 5 | 768 766.19/766.54 c 763s | 16 | 1378455 | 172652 | 72404 4 | 5 | 768 768.98/769.31 c 766s | 16 | 1380966 | 172952 | 72404 4 | 5 | 768 771.08/771.46 c 768s | 16 | 1385155 | 173452 | 72404 4 | 5 | 768 773.28/773.67 c 770s | 16 | 1388696 | 173952 | 72404 4 | 5 | 768 775.39/775.72 c 772s | 16 | 1392137 | 174352 | 72404 4 | 5 | 768 782.08/782.45 c 779s | 16 | 1393166 | 174452 | 72404 4 | 5 | 768 784.48/784.88 c 782s | 16 | 1397737 | 174852 | 72404 4 | 5 | 768 786.58/787.00 c 784s | 16 | 1402065 | 175252 | 72404 4 | 5 | 768 789.08/789.42 c 786s | 16 | 1408141 | 175952 | 72404 4 | 5 | 768 791.68/792.01 c 789s | 16 | 1414488 | 176452 | 72404 4 | 5 | 768 793.88/794.26 c 791s | 16 | 1417889 | 176852 | 72404 4 | 5 | 768 795.98/796.32 c 793s | 16 | 1421563 | 177452 | 72404 4 | 5 | 768 798.48/798.88 c 796s | 16 | 1424740 | 177852 | 72404 4 | 5 | 768 800.68/801.08 c 798s | 16 | 1429268 | 178252 | 72404 4 | 5 | 768 803.17/803.59 c 800s | 16 | 1432928 | 178852 | 72404 4 | 5 | 768 805.27/805.62 c 802s | 16 | 1436873 | 179252 | 72404 4 | 5 | 768 807.28/807.66 c 804s | 16 | 1441562 | 179752 | 72404 4 | 5 | 768 809.48/809.87 c 807s | 16 | 1448390 | 180452 | 72404 4 | 5 | 768 811.97/812.30 c 809s | 16 | 1453036 | 180852 | 72404 4 | 5 | 768 814.17/814.58 c 811s | 16 | 1456416 | 181352 | 72404 4 | 5 | 768 816.77/817.17 c 814s | 16 | 1460780 | 181952 | 72404 4 | 5 | 768 818.77/819.19 c 816s | 16 | 1463938 | 182352 | 72404 4 | 5 | 768 821.37/821.70 c 818s | 16 | 1467154 | 182952 | 72404 4 | 5 | 768 823.57/823.99 c 821s | 16 | 1470359 | 183352 | 72404 4 | 5 | 768 825.67/826.03 c 823s | 16 | 1473965 | 183952 | 72404 4 | 5 | 768 827.77/828.18 c 825s | 16 | 1478412 | 184352 | 72404 4 | 5 | 768 829.96/830.37 c 827s | 16 | 1481709 | 184852 | 72404 4 | 5 | 768 831.96/832.38 c 829s | 16 | 1485614 | 185252 | 72404 4 | 5 | 768 834.26/834.66 c 831s | 16 | 1488890 | 185852 | 72404 4 | 5 | 768 836.46/836.83 c 834s | 16 | 1492072 | 186252 | 72404 4 | 5 | 768 838.56/838.95 c 836s | 16 | 1495234 | 186752 | 72404 4 | 5 | 768 840.96/841.32 c 838s | 16 | 1498337 | 187252 | 72404 4 | 5 | 768 843.25/843.63 c 840s | 16 | 1501299 | 187852 | 72404 4 | 5 | 768 845.35/845.71 c 842s | 16 | 1504486 | 188252 | 72404 4 | 5 | 768 847.65/848.05 c 845s | 16 | 1507716 | 188752 | 72404 4 | 5 | 768 849.85/850.20 c 847s | 16 | 1510782 | 189252 | 72404 4 | 5 | 768 851.85/852.27 c 849s | 16 | 1513236 | 189752 | 72404 4 | 5 | 768 854.15/854.54 c 851s | 16 | 1516590 | 190252 | 72404 4 | 5 | 768 856.35/856.74 c 853s | 16 | 1518970 | 190752 | 72404 4 | 5 | 768 858.55/858.93 c 856s | 16 | 1521678 | 191352 | 72404 4 | 5 | 768 860.95/861.38 c 858s | 16 | 1526177 | 191952 | 72404 4 | 5 | 768 863.04/863.47 c 860s | 16 | 1528683 | 192552 | 72404 4 | 5 | 768 865.34/865.75 c 862s | 16 | 1531506 | 193252 | 72404 4 | 5 | 768 867.44/867.82 c 865s | 16 | 1533237 | 193852 | 72404 4 | 5 | 768 869.94/870.39 c 867s | 16 | 1535359 | 194452 | 72404 4 | 5 | 768 872.04/872.47 c 869s | 16 | 1537536 | 194952 | 72404 4 | 5 | 768 874.54/874.97 c 872s | 16 | 1541964 | 195352 | 72404 4 | 5 | 768 876.84/877.22 c 874s | 16 | 1545768 | 195952 | 72404 4 | 5 | 768 879.34/879.73 c 876s | 16 | 1549155 | 196352 | 79645 4 | 5 | 768 881.44/881.85 c 879s | 16 | 1551914 | 196652 | 79645 4 | 5 | 768 884.03/884.43 c 881s | 16 | 1557523 | 197052 | 79645 4 | 5 | 768 885.93/886.37 c 883s | 17 | 1562459 | 197432 | 79645 4 | 5 | 768 888.33/888.79 c 886s | 17 | 1565706 | 197932 | 79645 4 | 5 | 768 890.84/891.26 c 888s | 17 | 1570214 | 198332 | 79645 4 | 5 | 768 893.04/893.46 c 890s | 17 | 1574920 | 198732 | 79645 4 | 5 | 768 895.43/895.85 c 893s | 17 | 1578175 | 199132 | 79645 4 | 5 | 768 897.53/897.94 c 895s | 17 | 1580302 | 199532 | 79645 4 | 5 | 768 899.93/900.31 c 897s | 17 | 1584200 | 199932 | 79645 4 | 5 | 768 902.43/902.81 c 900s | 17 | 1587868 | 200532 | 79645 4 | 5 | 768 904.93/905.35 c 902s | 17 | 1592677 | 200932 | 79645 4 | 5 | 768 907.53/907.92 c 905s | 17 | 1597030 | 201332 | 79645 4 | 5 | 768 909.73/910.12 c 907s | 17 | 1601504 | 201932 | 79645 4 | 5 | 768 911.74/912.17 c 909s | 17 | 1604092 | 202332 | 79645 4 | 5 | 768 914.03/914.49 c 911s | 17 | 1606679 | 202732 | 79645 4 | 5 | 768 916.43/916.82 c 914s | 17 | 1611495 | 203132 | 79645 4 | 5 | 768 918.63/919.04 c 916s | 17 | 1614316 | 203532 | 79645 4 | 5 | 768 920.73/921.12 c 918s | 17 | 1616631 | 203932 | 79645 4 | 5 | 768 923.23/923.60 c 920s | 17 | 1620014 | 204532 | 79645 4 | 5 | 768 925.53/925.97 c 923s | 17 | 1622919 | 205032 | 79645 4 | 5 | 768 928.13/928.54 c 925s | 17 | 1625413 | 205532 | 79645 4 | 5 | 768 930.33/930.73 c 927s | 17 | 1626520 | 205932 | 79645 4 | 5 | 768 932.82/933.28 c 930s | 17 | 1629301 | 206432 | 79645 4 | 5 | 768 935.02/935.45 c 932s | 17 | 1631720 | 206932 | 79645 4 | 5 | 768 937.12/937.50 c 934s | 17 | 1633965 | 207332 | 79645 4 | 5 | 768 939.13/939.53 c 936s | 17 | 1636219 | 207832 | 79645 4 | 5 | 768 941.33/941.75 c 938s | 17 | 1638771 | 208432 | 79645 4 | 5 | 768 943.72/944.15 c 941s | 17 | 1641296 | 209032 | 79645 4 | 5 | 768 946.02/946.49 c 943s | 17 | 1643250 | 209632 | 79645 4 | 5 | 768 948.42/948.84 c 946s | 17 | 1644883 | 210332 | 79645 4 | 5 | 768 950.92/951.36 c 948s | 17 | 1646923 | 210932 | 79645 4 | 5 | 768 953.43/953.88 c 951s | 17 | 1650830 | 211432 | 79645 4 | 5 | 768 955.82/956.28 c 953s | 17 | 1654026 | 211832 | 79645 4 | 5 | 768 958.22/958.64 c 955s | 17 | 1656902 | 212332 | 79645 4 | 5 | 768 960.92/961.39 c 958s | 17 | 1660950 | 212732 | 79645 4 | 5 | 768 963.02/963.46 c 960s | 17 | 1663230 | 213032 | 79645 4 | 5 | 768 965.42/965.88 c 963s | 17 | 1666620 | 213432 | 79645 4 | 5 | 768 967.52/967.95 c 965s | 17 | 1670270 | 213932 | 79645 4 | 5 | 768 969.52/969.98 c 967s | 17 | 1673922 | 214232 | 79645 4 | 5 | 768 971.82/972.22 c 969s | 17 | 1676818 | 214632 | 79645 4 | 5 | 768 974.02/974.46 c 971s | 17 | 1679908 | 215132 | 79645 4 | 5 | 768 976.22/976.64 c 973s | 17 | 1682530 | 215432 | 79645 4 | 5 | 768 978.32/978.71 c 975s | 17 | 1685332 | 215932 | 79645 4 | 5 | 768 980.32/980.78 c 978s | 17 | 1687753 | 216232 | 79645 4 | 5 | 768 982.82/983.21 c 980s | 17 | 1690400 | 216632 | 79645 4 | 5 | 768 986.81/987.21 c 984s | 17 | 1692534 | 217032 | 79645 5 | 5 | 768 990.11/990.52 c 987s | 17 | 1694537 | 217232 | 79645 5 | 5 | 768 992.11/992.56 c 989s | 17 | 1697342 | 217632 | 79645 5 | 5 | 768 994.61/995.05 c 992s | 17 | 1700017 | 218232 | 79645 5 | 5 | 768 996.71/997.11 c 994s | 17 | 1702574 | 218732 | 79645 5 | 5 | 768 998.71/999.16 c 996s | 17 | 1706822 | 219332 | 79645 5 | 5 | 768 1000.81/1001.25 c 998s | 17 | 1710545 | 219932 | 79645 5 | 5 | 768 1003.21/1003.65 c 1000s | 17 | 1713357 | 220432 | 79645 5 | 5 | 768 1005.21/1005.68 c 1002s | 17 | 1715737 | 220932 | 79645 5 | 5 | 768 1007.31/1007.77 c 1004s | 17 | 1718538 | 221432 | 79645 5 | 5 | 768 1009.61/1010.04 c 1007s | 17 | 1721822 | 222032 | 79645 5 | 5 | 768 1011.71/1012.16 c 1009s | 17 | 1724770 | 222632 | 79645 5 | 5 | 768 1014.01/1014.42 c 1011s | 17 | 1727485 | 223232 | 79645 5 | 5 | 768 1016.00/1016.43 c 1013s | 17 | 1729755 | 223832 | 79645 5 | 5 | 768 1018.20/1018.65 c 1015s | 17 | 1732466 | 224532 | 79645 5 | 5 | 768 1020.52/1020.92 c 1018s | 17 | 1734831 | 225332 | 79645 5 | 5 | 768 1022.82/1023.27 c 1020s | 17 | 1737013 | 225932 | 79645 5 | 5 | 768 1025.21/1025.68 c 1022s | 17 | 1740703 | 226332 | 79645 5 | 5 | 768 1027.31/1027.79 c 1025s | 17 | 1744475 | 226932 | 79645 5 | 5 | 768 1029.42/1029.84 c 1027s | 17 | 1748531 | 227332 | 79645 5 | 5 | 768 1031.41/1031.87 c 1029s | 17 | 1750873 | 227832 | 79645 5 | 5 | 768 1033.82/1034.27 c 1031s | 17 | 1754464 | 228232 | 79645 5 | 5 | 768 1036.31/1036.70 c 1033s | 17 | 1758043 | 228832 | 79645 5 | 5 | 768 1038.41/1038.86 c 1036s | 17 | 1761431 | 229232 | 79645 5 | 5 | 768 1040.51/1040.93 c 1038s | 17 | 1765087 | 229832 | 79645 5 | 5 | 768 1042.81/1043.22 c 1040s | 17 | 1769356 | 230332 | 79645 5 | 5 | 768 1044.91/1045.32 c 1042s | 17 | 1771257 | 230832 | 79645 5 | 5 | 768 1047.11/1047.56 c 1044s | 17 | 1773752 | 231232 | 79645 5 | 5 | 768 1049.22/1049.64 c 1046s | 17 | 1776591 | 231732 | 79645 5 | 5 | 768 1051.31/1051.79 c 1049s | 17 | 1779529 | 232332 | 79645 5 | 5 | 768 1053.71/1054.16 c 1051s | 17 | 1782718 | 232932 | 79645 5 | 5 | 768 1055.81/1056.22 c 1053s | 17 | 1785032 | 233432 | 79645 5 | 5 | 768 1058.01/1058.43 c 1055s | 17 | 1788138 | 234032 | 79645 5 | 5 | 768 1060.21/1060.63 c 1057s | 17 | 1790221 | 234632 | 79645 5 | 5 | 768 1062.41/1062.88 c 1060s | 17 | 1792046 | 235232 | 79645 5 | 5 | 768 1064.81/1065.24 c 1062s | 17 | 1794833 | 235932 | 79645 5 | 5 | 768 1067.01/1067.42 c 1064s | 17 | 1796461 | 236632 | 79645 5 | 5 | 768 1069.61/1070.07 c 1067s | 17 | 1799271 | 237232 | 79645 5 | 5 | 768 1071.71/1072.12 c 1069s | 17 | 1801117 | 237632 | 79645 5 | 5 | 768 1073.90/1074.40 c 1071s | 17 | 1804319 | 238032 | 79645 5 | 5 | 768 1076.30/1076.77 c 1074s | 17 | 1808389 | 238432 | 79645 5 | 5 | 768 1078.30/1078.77 c 1076s | 17 | 1811024 | 238932 | 79645 5 | 5 | 768 1080.90/1081.33 c 1078s | 17 | 1814644 | 239332 | 79645 5 | 5 | 768 1083.21/1083.70 c 1080s | 17 | 1817605 | 239932 | 79645 5 | 5 | 768 1085.70/1086.11 c 1083s | 17 | 1820848 | 240332 | 79645 5 | 5 | 768 1088.00/1088.47 c 1085s | 17 | 1823245 | 240832 | 79645 5 | 5 | 768 1090.30/1090.72 c 1087s | 17 | 1825991 | 241232 | 79645 5 | 5 | 768 1092.60/1093.04 c 1090s | 17 | 1828642 | 241832 | 79645 5 | 5 | 768 1094.70/1095.15 c 1092s | 17 | 1830517 | 242232 | 79645 5 | 5 | 768 1097.00/1097.45 c 1094s | 17 | 1833437 | 242732 | 79645 5 | 5 | 768 1099.40/1099.84 c 1097s | 17 | 1835807 | 243232 | 79645 5 | 5 | 768 1101.50/1101.91 c 1099s | 17 | 1838786 | 243632 | 79645 5 | 5 | 768 1103.60/1104.08 c 1101s | 17 | 1841480 | 244032 | 79645 5 | 5 | 768 1105.90/1106.33 c 1103s | 17 | 1844299 | 244532 | 79645 5 | 5 | 768 1108.40/1108.87 c 1106s | 17 | 1847705 | 245132 | 79645 5 | 5 | 768 1110.40/1110.89 c 1108s | 17 | 1850116 | 245532 | 79645 5 | 5 | 768 1112.90/1113.33 c 1110s | 17 | 1853254 | 246132 | 79645 5 | 5 | 768 1115.10/1115.53 c 1112s | 17 | 1856008 | 246732 | 79645 5 | 5 | 768 1117.20/1117.65 c 1114s | 17 | 1858312 | 247232 | 79645 5 | 5 | 768 1119.19/1119.68 c 1116s | 17 | 1860850 | 247832 | 79645 5 | 5 | 768 1121.39/1121.85 c 1119s | 17 | 1863086 | 248432 | 79645 5 | 5 | 768 1123.59/1124.00 c 1121s | 17 | 1865232 | 249132 | 79645 5 | 5 | 768 1125.89/1126.32 c 1123s | 17 | 1867557 | 249932 | 79645 5 | 5 | 768 1128.09/1128.56 c 1125s | 17 | 1870088 | 250432 | 79645 5 | 5 | 768 1130.19/1130.67 c 1127s | 17 | 1873802 | 250832 | 79645 5 | 5 | 768 1132.39/1132.87 c 1130s | 17 | 1876092 | 251232 | 79645 5 | 5 | 768 1134.90/1135.34 c 1132s | 17 | 1879062 | 251732 | 79645 5 | 5 | 768 1136.99/1137.47 c 1134s | 17 | 1881645 | 252032 | 79645 5 | 5 | 768 1139.30/1139.73 c 1136s | 17 | 1884108 | 252532 | 79645 5 | 5 | 768 1141.60/1142.06 c 1139s | 17 | 1887465 | 252932 | 79645 5 | 5 | 768 1143.59/1144.07 c 1141s | 17 | 1889584 | 253332 | 79645 5 | 5 | 768 1146.19/1146.66 c 1143s | 17 | 1891450 | 253832 | 79645 5 | 5 | 768 1148.49/1148.94 c 1146s | 17 | 1893689 | 254232 | 79645 5 | 5 | 768 1150.49/1150.97 c 1148s | 17 | 1896160 | 254632 | 79645 5 | 5 | 768 1152.69/1153.10 c 1150s | 17 | 1898970 | 255032 | 79645 5 | 5 | 768 1155.19/1155.64 c 1152s | 17 | 1901548 | 255532 | 79645 5 | 5 | 768 1157.19/1157.69 c 1154s | 17 | 1904050 | 256032 | 79645 5 | 5 | 768 1159.49/1159.96 c 1157s | 17 | 1906451 | 256432 | 79645 5 | 5 | 768 1161.59/1162.04 c 1159s | 17 | 1908494 | 256932 | 79645 5 | 5 | 768 1163.69/1164.14 c 1161s | 17 | 1911125 | 257432 | 79645 5 | 5 | 768 1166.09/1166.53 c 1163s | 17 | 1913943 | 258032 | 79645 5 | 5 | 768 1168.19/1168.62 c 1165s | 17 | 1915846 | 258532 | 79645 5 | 5 | 768 1170.19/1170.62 c 1167s | 17 | 1917580 | 259032 | 79645 5 | 5 | 768 1172.49/1172.94 c 1170s | 17 | 1920092 | 259632 | 79645 5 | 5 | 768 1174.59/1175.02 c 1172s | 17 | 1921770 | 260032 | 79645 6 | 5 | 768 1176.59/1177.09 c 1174s | 17 | 1923766 | 260732 | 79645 6 | 5 | 768 1178.79/1179.29 c 1176s | 17 | 1925610 | 261532 | 79645 6 | 5 | 768 1181.79/1182.24 c 1179s | 17 | 1929069 | 261932 | 79645 6 | 5 | 768 1183.89/1184.31 c 1181s | 17 | 1932100 | 262432 | 79645 6 | 5 | 768 1186.09/1186.55 c 1183s | 17 | 1935495 | 262932 | 79645 6 | 5 | 768 1188.19/1188.63 c 1185s | 17 | 1937784 | 263232 | 79645 6 | 5 | 768 1190.39/1190.83 c 1188s | 17 | 1941559 | 263832 | 79645 6 | 5 | 768 1192.49/1192.94 c 1190s | 17 | 1944988 | 264232 | 79645 6 | 5 | 768 1194.89/1195.30 c 1192s | 17 | 1948053 | 264832 | 79645 6 | 5 | 768 1197.09/1197.55 c 1194s | 17 | 1951995 | 265232 | 79645 6 | 5 | 768 1199.38/1199.85 c 1197s | 17 | 1954855 | 265832 | 79645 6 | 5 | 768 1201.88/1202.33 c 1199s | 17 | 1957861 | 266432 | 79645 6 | 5 | 768 1203.98/1204.42 c 1201s | 17 | 1961321 | 267032 | 79645 6 | 5 | 768 1206.28/1206.74 c 1203s | 17 | 1965678 | 267532 | 79645 6 | 5 | 768 1208.28/1208.76 c 1205s | 17 | 1968617 | 268032 | 79645 6 | 5 | 768 1210.28/1210.78 c 1208s | 17 | 1971191 | 268532 | 79645 6 | 5 | 768 1212.58/1213.04 c 1210s | 17 | 1973468 | 269032 | 79645 6 | 5 | 768 1214.78/1215.21 c 1212s | 17 | 1976264 | 269532 | 79645 6 | 5 | 768 1217.08/1217.50 c 1214s | 17 | 1978441 | 270132 | 79645 6 | 5 | 768 1219.08/1219.56 c 1216s | 17 | 1980725 | 270632 | 79645 6 | 5 | 768 1221.18/1221.69 c 1218s | 17 | 1984241 | 271432 | 79645 6 | 5 | 768 1223.48/1223.95 c 1221s | 17 | 1987412 | 272132 | 79645 6 | 5 | 768 1225.68/1226.15 c 1223s | 17 | 1989078 | 272832 | 79645 6 | 5 | 768 1227.78/1228.24 c 1225s | 17 | 1990596 | 273532 | 79645 6 | 5 | 768 1229.98/1230.45 c 1227s | 17 | 1993869 | 273932 | 79645 6 | 5 | 768 1231.98/1232.46 c 1229s | 17 | 1996331 | 274432 | 79645 6 | 5 | 768 1234.18/1234.64 c 1231s | 17 | 2000934 | 274832 | 79645 6 | 5 | 768 1236.58/1237.02 c 1234s | 17 | 2004847 | 275432 | 79645 6 | 5 | 768 1238.78/1239.20 c 1236s | 17 | 2007383 | 275932 | 79645 6 | 5 | 768 1241.38/1241.80 c 1239s | 17 | 2011178 | 276432 | 79645 6 | 5 | 768 1243.38/1243.88 c 1241s | 17 | 2013637 | 276932 | 79645 6 | 5 | 768 1245.58/1246.01 c 1243s | 17 | 2016930 | 277432 | 79645 6 | 5 | 768 1247.68/1248.10 c 1245s | 17 | 2019517 | 277832 | 79645 6 | 5 | 768 1249.78/1250.24 c 1247s | 17 | 2021187 | 278332 | 79645 6 | 5 | 768 1251.87/1252.34 c 1249s | 17 | 2022876 | 278832 | 79645 6 | 5 | 768 1254.07/1254.51 c 1251s | 17 | 2025820 | 279332 | 79645 6 | 5 | 768 1256.27/1256.73 c 1253s | 17 | 2028236 | 279932 | 79645 6 | 5 | 768 1258.27/1258.76 c 1255s | 17 | 2030373 | 280432 | 79645 6 | 5 | 768 1260.57/1261.00 c 1258s | 17 | 2032649 | 281032 | 79645 6 | 5 | 768 1262.67/1263.11 c 1260s | 17 | 2034838 | 281532 | 79645 6 | 5 | 768 1264.68/1265.17 c 1262s | 17 | 2036633 | 282132 | 79645 6 | 5 | 768 1267.17/1267.64 c 1264s | 17 | 2038467 | 282832 | 79645 6 | 5 | 768 1269.47/1269.91 c 1267s | 17 | 2042066 | 283432 | 79645 6 | 5 | 768 1271.57/1272.00 c 1269s | 17 | 2044632 | 283832 | 79645 6 | 5 | 768 1273.77/1274.25 c 1271s | 17 | 2048393 | 284332 | 79645 6 | 5 | 768 1276.07/1276.51 c 1273s | 17 | 2051126 | 284732 | 79645 6 | 5 | 768 1278.37/1278.84 c 1276s | 17 | 2054278 | 285232 | 79645 6 | 5 | 768 1280.47/1280.96 c 1278s | 17 | 2056195 | 285632 | 79645 6 | 5 | 768 1282.77/1283.27 c 1280s | 17 | 2058794 | 286032 | 79645 6 | 5 | 768 1285.17/1285.63 c 1282s | 17 | 2061231 | 286532 | 79645 6 | 5 | 768 1287.37/1287.82 c 1285s | 17 | 2063949 | 287032 | 79645 6 | 5 | 768 1289.57/1290.00 c 1287s | 17 | 2066109 | 287532 | 79645 6 | 5 | 768 1291.77/1292.25 c 1289s | 17 | 2069337 | 288132 | 79645 6 | 5 | 768 1294.07/1294.58 c 1291s | 17 | 2071348 | 288632 | 79645 6 | 5 | 768 1296.17/1296.68 c 1293s | 17 | 2072981 | 289132 | 79645 6 | 5 | 768 1298.37/1298.85 c 1296s | 17 | 2075483 | 289632 | 79645 6 | 5 | 768 1300.57/1301.04 c 1298s | 17 | 2077349 | 290132 | 79645 6 | 5 | 768 1302.87/1303.31 c 1300s | 17 | 2078771 | 290732 | 79645 6 | 5 | 768 1304.87/1305.33 c 1302s | 17 | 2080032 | 291332 | 79645 6 | 5 | 768 1307.17/1307.66 c 1304s | 17 | 2082894 | 291932 | 79645 6 | 5 | 768 1309.17/1309.66 c 1306s | 17 | 2085622 | 292432 | 79645 6 | 5 | 768 1311.27/1311.77 c 1308s | 17 | 2087580 | 292932 | 79645 6 | 5 | 768 1313.57/1314.05 c 1311s | 17 | 2089893 | 293432 | 79645 6 | 5 | 768 1315.87/1316.38 c 1313s | 17 | 2091853 | 293932 | 79645 6 | 5 | 768 1318.26/1318.73 c 1315s | 17 | 2093920 | 294532 | 87610 6 | 5 | 768 1320.46/1320.90 c 1318s | 17 | 2095787 | 295132 | 87610 6 | 5 | 768 1322.46/1322.94 c 1320s | 17 | 2097649 | 295732 | 87610 6 | 5 | 768 1323.76/1324.29 c 1321s | 18 | 2099041 | 296252 | 87610 6 | 5 | 768 1325.86/1326.33 c 1323s | 18 | 2100977 | 296652 | 87610 6 | 5 | 768 1327.96/1328.42 c 1325s | 18 | 2102495 | 297052 | 87610 6 | 5 | 768 1330.16/1330.68 c 1327s | 18 | 2104245 | 297452 | 87610 6 | 5 | 768 1332.56/1333.05 c 1330s | 18 | 2106055 | 297852 | 87610 6 | 5 | 768 1334.86/1335.37 c 1332s | 18 | 2108308 | 298352 | 87610 6 | 5 | 768 1336.86/1337.39 c 1334s | 18 | 2110597 | 298852 | 87610 6 | 5 | 768 1339.16/1339.68 c 1336s | 18 | 2113114 | 299352 | 87610 6 | 5 | 768 1341.16/1341.69 c 1338s | 18 | 2115987 | 299852 | 87610 6 | 5 | 768 1343.46/1343.97 c 1341s | 18 | 2118398 | 300352 | 87610 6 | 5 | 768 1345.76/1346.27 c 1343s | 18 | 2119838 | 300852 | 87610 6 | 5 | 768 1347.96/1348.47 c 1345s | 18 | 2121708 | 301352 | 87610 6 | 5 | 768 1350.26/1350.72 c 1347s | 18 | 2123055 | 301852 | 87610 6 | 5 | 768 1352.36/1352.88 c 1350s | 18 | 2124183 | 302352 | 87610 6 | 5 | 768 1354.66/1355.19 c 1352s | 18 | 2125238 | 302952 | 87610 6 | 5 | 768 1356.96/1357.49 c 1354s | 18 | 2127553 | 303352 | 87610 6 | 5 | 768 1359.16/1359.70 c 1356s | 18 | 2129640 | 303852 | 87610 6 | 5 | 768 1361.66/1362.18 c 1359s | 18 | 2132360 | 304252 | 87610 6 | 5 | 768 1363.96/1364.43 c 1361s | 18 | 2133635 | 304652 | 87610 6 | 5 | 768 1366.06/1366.54 c 1363s | 18 | 2135702 | 305052 | 87610 6 | 5 | 768 1368.36/1368.88 c 1366s | 18 | 2137809 | 305452 | 87610 6 | 5 | 768 1370.75/1371.22 c 1368s | 18 | 2139668 | 305952 | 87610 6 | 5 | 768 1373.15/1373.61 c 1370s | 18 | 2141521 | 306452 | 87610 6 | 5 | 768 1375.45/1375.96 c 1373s | 18 | 2143460 | 306952 | 87610 6 | 5 | 768 1377.75/1378.22 c 1375s | 18 | 2145049 | 307452 | 87610 6 | 5 | 768 1380.16/1380.63 c 1377s | 18 | 2146938 | 307952 | 87610 6 | 5 | 768 1382.25/1382.77 c 1380s | 18 | 2148647 | 308452 | 87610 6 | 5 | 768 1384.56/1385.02 c 1382s | 18 | 2149879 | 308952 | 87610 6 | 5 | 768 1386.86/1387.35 c 1384s | 18 | 2151290 | 309552 | 87610 6 | 5 | 768 1389.06/1389.52 c 1386s | 18 | 2152151 | 309952 | 87610 7 | 5 | 768 1391.45/1391.97 c 1389s | 18 | 2154461 | 310452 | 87610 7 | 5 | 768 1393.65/1394.14 c 1391s | 18 | 2157377 | 310952 | 87610 7 | 5 | 768 1395.85/1396.32 c 1393s | 18 | 2160079 | 311452 | 87610 7 | 5 | 768 1398.05/1398.52 c 1395s | 18 | 2162853 | 312052 | 87610 7 | 5 | 768 1400.15/1400.69 c 1397s | 18 | 2164937 | 312652 | 87610 7 | 5 | 768 1402.26/1402.75 c 1399s | 18 | 2167625 | 313252 | 87610 7 | 5 | 768 1404.36/1404.82 c 1402s | 18 | 2170176 | 313852 | 87610 7 | 5 | 768 1406.45/1406.93 c 1404s | 18 | 2172025 | 314452 | 87610 7 | 5 | 768 1408.65/1409.11 c 1406s | 18 | 2174167 | 315252 | 87610 7 | 5 | 768 1411.05/1411.54 c 1408s | 18 | 2176314 | 315852 | 87610 7 | 5 | 768 1413.15/1413.64 c 1410s | 18 | 2177897 | 316352 | 87610 7 | 5 | 768 1415.15/1415.68 c 1412s | 18 | 2179978 | 316852 | 87610 7 | 5 | 768 1417.25/1417.72 c 1414s | 18 | 2181634 | 317452 | 87610 7 | 5 | 768 1419.55/1420.03 c 1417s | 18 | 2183797 | 318152 | 87610 7 | 5 | 768 1421.85/1422.31 c 1419s | 18 | 2185486 | 318852 | 87610 7 | 5 | 768 1423.95/1424.49 c 1421s | 18 | 2187413 | 319352 | 87610 7 | 5 | 768 1426.25/1426.74 c 1423s | 18 | 2189475 | 319852 | 87610 7 | 5 | 768 1428.24/1428.76 c 1425s | 18 | 2191579 | 320352 | 87610 7 | 5 | 768 1430.54/1431.01 c 1428s | 18 | 2193854 | 320852 | 87610 7 | 5 | 768 1432.74/1433.23 c 1430s | 18 | 2196612 | 321452 | 87610 7 | 5 | 768 1435.15/1435.70 c 1432s | 18 | 2198434 | 322052 | 87610 7 | 5 | 768 1437.54/1438.00 c 1435s | 18 | 2200145 | 322652 | 87610 7 | 5 | 768 1439.74/1440.24 c 1437s | 18 | 2201204 | 323252 | 87610 7 | 5 | 768 1442.04/1442.57 c 1439s | 18 | 2203338 | 323852 | 87610 7 | 5 | 768 1444.44/1444.94 c 1442s | 18 | 2205815 | 324452 | 87610 7 | 5 | 768 1446.54/1447.01 c 1444s | 18 | 2207687 | 324952 | 87610 7 | 5 | 768 1448.74/1449.25 c 1446s | 18 | 2209738 | 325552 | 87610 7 | 5 | 768 1450.74/1451.28 c 1448s | 18 | 2211026 | 326152 | 87610 7 | 5 | 768 1452.94/1453.47 c 1450s | 18 | 2212254 | 326652 | 87610 7 | 5 | 768 1455.14/1455.62 c 1452s | 18 | 2214013 | 327252 | 87610 7 | 5 | 768 1457.44/1457.97 c 1455s | 18 | 2215681 | 328052 | 87610 7 | 5 | 768 1459.64/1460.11 c 1457s | 18 | 2217300 | 328552 | 87610 7 | 5 | 768 1461.94/1462.45 c 1459s | 18 | 2219251 | 329152 | 87610 7 | 5 | 768 1464.14/1464.62 c 1461s | 18 | 2220910 | 329752 | 87610 7 | 5 | 768 1466.14/1466.63 c 1463s | 18 | 2222161 | 330352 | 87610 7 | 5 | 768 1468.24/1468.71 c 1465s | 18 | 2224020 | 330952 | 87610 7 | 5 | 768 1470.44/1470.93 c 1468s | 18 | 2225328 | 331552 | 87610 7 | 5 | 768 1472.64/1473.14 c 1470s | 18 | 2226907 | 332152 | 87610 7 | 5 | 768 1474.84/1475.34 c 1472s | 18 | 2228670 | 332852 | 87610 7 | 5 | 768 1477.14/1477.61 c 1474s | 18 | 2230223 | 333452 | 87610 7 | 5 | 768 1479.34/1479.84 c 1477s | 18 | 2231825 | 334052 | 87610 7 | 5 | 768 1481.34/1481.88 c 1479s | 18 | 2232946 | 334552 | 87610 7 | 5 | 768 1483.44/1483.97 c 1481s | 18 | 2234725 | 335152 | 87610 7 | 5 | 768 1485.44/1485.98 c 1483s | 18 | 2236194 | 335852 | 87610 7 | 5 | 768 1487.73/1488.21 c 1485s | 18 | 2238001 | 336552 | 87610 7 | 5 | 768 1489.73/1490.26 c 1487s | 18 | 2239403 | 337152 | 87610 7 | 5 | 768 1491.93/1492.48 c 1489s | 18 | 2240822 | 337852 | 87610 7 | 5 | 768 1494.13/1494.60 c 1491s | 18 | 2242371 | 338552 | 87610 7 | 5 | 768 1496.23/1496.78 c 1494s | 18 | 2243674 | 339252 | 87610 7 | 5 | 768 1498.43/1498.98 c 1496s | 18 | 2244944 | 339952 | 87610 7 | 5 | 768 1500.43/1500.99 c 1498s | 18 | 2245997 | 340652 | 87610 7 | 5 | 768 1502.53/1503.03 c 1500s | 18 | 2246914 | 341352 | 87610 7 | 5 | 768 1504.83/1505.31 c 1502s | 18 | 2248398 | 342052 | 87610 7 | 5 | 768 1507.23/1507.79 c 1505s | 18 | 2250550 | 342552 | 87610 7 | 5 | 768 1509.43/1509.94 c 1507s | 18 | 2252293 | 343052 | 87610 7 | 5 | 768 1511.83/1512.34 c 1509s | 18 | 2254577 | 343552 | 87610 7 | 5 | 768 1514.03/1514.52 c 1511s | 18 | 2256178 | 344052 | 87610 7 | 5 | 768 1516.03/1516.55 c 1513s | 18 | 2257930 | 344552 | 87610 7 | 5 | 768 1518.03/1518.57 c 1515s | 18 | 2259069 | 345052 | 87610 7 | 5 | 768 1520.13/1520.61 c 1517s | 18 | 2260322 | 345652 | 87610 7 | 5 | 768 1575.12/1575.61 c 1572s | 18 | 2262038 | 345752 | 87610 7 | 5 | 768 1583.52/1584.08 c 1581s | 18 | 2263528 | 345852 | 87610 7 | 5 | 768 1601.72/1602.23 c 1599s | 18 | 2264951 | 345952 | 87610 7 | 5 | 768 1603.82/1604.31 c 1601s | 18 | 2266478 | 346152 | 87610 7 | 5 | 768 1606.22/1606.73 c 1603s | 18 | 2269096 | 346552 | 87610 7 | 5 | 768 1608.82/1609.39 c 1606s | 18 | 2271711 | 346952 | 87610 7 | 5 | 768 1611.32/1611.86 c 1609s | 18 | 2274805 | 347252 | 87610 7 | 5 | 768 1613.82/1614.35 c 1611s | 18 | 2277975 | 347552 | 87610 7 | 5 | 768 1616.73/1617.27 c 1614s | 18 | 2281778 | 347852 | 87610 7 | 5 | 768 1619.42/1619.94 c 1617s | 18 | 2284979 | 348152 | 87610 7 | 5 | 768 1621.62/1622.13 c 1619s | 18 | 2288104 | 348452 | 87610 7 | 5 | 768 1623.92/1624.45 c 1621s | 18 | 2291288 | 348952 | 87610 7 | 5 | 768 1626.32/1626.86 c 1624s | 18 | 2294235 | 349352 | 87610 7 | 5 | 768 1628.52/1629.06 c 1626s | 18 | 2297202 | 349652 | 87610 7 | 5 | 768 1630.93/1631.49 c 1628s | 18 | 2300047 | 349952 | 87610 7 | 5 | 768 1633.52/1634.06 c 1631s | 18 | 2303553 | 350252 | 87610 7 | 5 | 768 1636.12/1636.63 c 1633s | 18 | 2308209 | 350552 | 87610 7 | 5 | 768 1638.62/1639.19 c 1636s | 18 | 2311489 | 350852 | 87610 7 | 5 | 768 1640.92/1641.41 c 1638s | 18 | 2314723 | 351152 | 87610 7 | 5 | 768 1643.22/1643.74 c 1640s | 18 | 2318699 | 351552 | 87610 7 | 5 | 768 1645.32/1645.86 c 1643s | 18 | 2320465 | 351952 | 87610 7 | 5 | 768 1648.02/1648.57 c 1645s | 18 | 2326237 | 352352 | 87610 7 | 5 | 768 1651.42/1651.95 c 1649s | 18 | 2328068 | 352552 | 87610 8 | 5 | 768 1654.71/1655.20 c 1652s | 18 | 2329679 | 352652 | 87610 8 | 5 | 768 1656.71/1657.23 c 1654s | 18 | 2332254 | 352852 | 87610 8 | 5 | 768 1659.01/1659.55 c 1656s | 18 | 2334801 | 353352 | 87610 8 | 5 | 768 1661.61/1662.11 c 1659s | 18 | 2338108 | 353752 | 87610 8 | 5 | 768 1663.71/1664.27 c 1661s | 18 | 2340911 | 354052 | 87610 8 | 5 | 768 1665.81/1666.37 c 1663s | 18 | 2344080 | 354352 | 87610 8 | 5 | 768 1668.21/1668.76 c 1665s | 18 | 2349145 | 354752 | 87610 8 | 5 | 768 1670.62/1671.13 c 1668s | 18 | 2352279 | 355352 | 87610 8 | 5 | 768 1672.82/1673.32 c 1670s | 18 | 2356070 | 355752 | 87610 8 | 5 | 768 1675.51/1676.06 c 1673s | 18 | 2360328 | 356152 | 87610 8 | 5 | 768 1677.91/1678.49 c 1675s | 18 | 2362982 | 356552 | 87610 8 | 5 | 768 1680.11/1680.61 c 1677s | 18 | 2365610 | 357052 | 87610 8 | 5 | 768 1682.51/1683.08 c 1680s | 18 | 2370130 | 357452 | 87610 8 | 5 | 768 1684.61/1685.16 c 1682s | 18 | 2373518 | 357952 | 87610 8 | 5 | 768 1687.01/1687.52 c 1684s | 18 | 2376728 | 358452 | 87610 8 | 5 | 768 1689.51/1690.07 c 1687s | 18 | 2380576 | 358852 | 87610 8 | 5 | 768 1691.61/1692.12 c 1689s | 18 | 2383710 | 359152 | 87610 8 | 5 | 768 1693.71/1694.28 c 1691s | 18 | 2388482 | 359752 | 87610 8 | 5 | 768 1695.81/1696.30 c 1693s | 18 | 2391638 | 360152 | 87610 8 | 5 | 768 1698.31/1698.89 c 1696s | 18 | 2395930 | 360552 | 87610 8 | 5 | 768 1700.41/1700.97 c 1698s | 18 | 2399674 | 360952 | 87610 8 | 5 | 768 1702.71/1703.24 c 1700s | 18 | 2402065 | 361452 | 87610 8 | 5 | 768 1705.30/1705.84 c 1703s | 18 | 2406103 | 361852 | 87610 8 | 5 | 768 1707.30/1707.88 c 1705s | 18 | 2410597 | 362252 | 87610 8 | 5 | 768 1709.60/1710.11 c 1707s | 18 | 2413099 | 362752 | 87610 8 | 5 | 768 1711.90/1712.43 c 1709s | 18 | 2416497 | 363152 | 87610 8 | 5 | 768 1713.90/1714.45 c 1711s | 18 | 2418702 | 363652 | 87610 8 | 5 | 768 1716.30/1716.86 c 1714s | 18 | 2421743 | 364052 | 87610 8 | 5 | 768 1718.50/1719.05 c 1716s | 18 | 2425920 | 364452 | 87610 8 | 5 | 768 1720.50/1721.07 c 1718s | 18 | 2429809 | 365052 | 87610 8 | 5 | 768 1722.90/1723.43 c 1720s | 18 | 2434382 | 365552 | 87610 8 | 5 | 768 1725.10/1725.63 c 1722s | 18 | 2437049 | 366052 | 87610 8 | 5 | 768 1727.40/1727.96 c 1725s | 18 | 2441445 | 366552 | 87610 8 | 5 | 768 1729.70/1730.22 c 1727s | 18 | 2444652 | 367152 | 87610 8 | 5 | 768 1731.70/1732.30 c 1729s | 18 | 2446762 | 367652 | 87610 8 | 5 | 768 1734.00/1734.56 c 1731s | 18 | 2449732 | 368052 | 87610 8 | 5 | 768 1736.40/1736.91 c 1734s | 18 | 2452312 | 368552 | 87610 8 | 5 | 768 1738.60/1739.13 c 1736s | 18 | 2454602 | 369052 | 87610 8 | 5 | 768 1741.00/1741.54 c 1738s | 18 | 2458375 | 369652 | 87610 8 | 5 | 768 1743.20/1743.80 c 1741s | 18 | 2461946 | 370152 | 87610 8 | 5 | 768 1745.80/1746.33 c 1743s | 18 | 2465053 | 370852 | 87610 8 | 5 | 768 1748.10/1748.69 c 1745s | 18 | 2467744 | 371452 | 87610 8 | 5 | 768 1750.49/1751.06 c 1748s | 18 | 2470274 | 372052 | 87610 8 | 5 | 768 1752.89/1753.45 c 1750s | 18 | 2472929 | 372752 | 87610 8 | 5 | 768 1755.09/1755.63 c 1752s | 18 | 2475804 | 373452 | 87610 8 | 5 | 768 1757.29/1757.82 c 1755s | 18 | 2478058 | 374152 | 87610 8 | 5 | 768 1759.39/1759.90 c 1757s | 18 | 2480017 | 374852 | 87610 8 | 5 | 768 1761.59/1762.12 c 1759s | 18 | 2483377 | 375252 | 87610 8 | 5 | 768 1763.89/1764.45 c 1761s | 18 | 2487322 | 375552 | 87610 8 | 5 | 768 1766.09/1766.61 c 1763s | 18 | 2489862 | 375852 | 87610 8 | 5 | 768 1768.69/1769.23 c 1766s | 18 | 2493258 | 376452 | 87610 8 | 5 | 768 1771.30/1771.80 c 1769s | 18 | 2497047 | 376852 | 87610 8 | 5 | 768 1773.40/1773.92 c 1771s | 18 | 2500634 | 377152 | 87610 8 | 5 | 768 1775.80/1776.38 c 1773s | 18 | 2504718 | 377452 | 87610 8 | 5 | 768 1778.10/1778.69 c 1775s | 18 | 2508639 | 377752 | 87610 8 | 5 | 768 1780.30/1780.89 c 1778s | 18 | 2512144 | 378152 | 87610 8 | 5 | 768 1782.60/1783.12 c 1780s | 18 | 2515395 | 378652 | 87610 8 | 5 | 768 1784.60/1785.18 c 1782s | 18 | 2518654 | 378952 | 87610 8 | 5 | 768 1787.10/1787.62 c 1784s | 18 | 2521261 | 379252 | 87610 8 | 5 | 768 1789.80/1790.37 c 1787s | 18 | 2524272 | 379552 | 87610 8 | 5 | 768 1792.10/1792.70 c 1789s | 18 | 2527173 | 379852 | 87610 8 | 5 | 768 1794.49/1795.01 c 1792s | 18 | 2530206 | 380252 | 87610 8 | 5 | 768 1796.79/1797.31 c 1794s | 18 | 2532636 | 380752 | 87610 8 | 5 | 768 1798.79/1799.38 c 1796s | 18 | 2535378 | 381052 | 87610 8 | 5 | 768
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-4098297-1466120319/watcher-4098297-1466120319 -o /tmp/evaluation-result-4098297-1466120319/solver-4098297-1466120319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098297-1466120319.opb pid=3823 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.20 2.21 4/179 3826 /proc/meminfo: memFree=29074428/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 2773 0 0 0 0 0 0 0 20 0 4 0 14078557 759623680 2622 33554432000 4194304 16246674 140736514341472 140736514340896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 186223 2634 441 2943 0 183117 0 [pid=3826/tid=3827] ppid=3823 vsize=776636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 795275264 2756 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=780732 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 799469568 2774 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=785852 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14078557 804712448 2791 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.15 2.20 2.21 4/179 3826 /proc/meminfo: memFree=29074428/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1222212 CPUtime=0.09 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 28358 0 0 0 5 4 0 0 20 0 4 0 14078557 1251545088 28145 33554432000 4194304 16246674 140736514341472 140736514340784 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 305553 28148 801 2943 0 302447 0 [pid=3826/tid=3827] ppid=3823 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1251545088 28151 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1251545088 28151 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1226308 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1255739392 28164 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.200552 s] /proc/loadavg: 2.15 2.20 2.21 4/179 3826 /proc/meminfo: memFree=29074428/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 50614 0 0 0 12 7 0 0 20 0 4 0 14078557 1344868352 50912 33554432000 4194304 16246674 140736514341472 140736514323392 13928260 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 328337 50912 801 2943 0 325231 0 [pid=3826/tid=3827] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 50912 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 50912 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 50912 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300481 s] /proc/loadavg: 2.15 2.20 2.21 4/179 3826 /proc/meminfo: memFree=29074428/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 56363 0 0 0 21 8 0 0 20 0 4 0 14078557 1344868352 56661 33554432000 4194304 16246674 140736514341472 140736514323392 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 328337 56661 801 2943 0 325231 0 [pid=3826/tid=3827] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 56661 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 56661 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 56661 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700435 s] /proc/loadavg: 2.15 2.20 2.21 4/179 3826 /proc/meminfo: memFree=29074428/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 72912 0 0 0 59 10 0 0 20 0 4 0 14078557 1344868352 73210 33554432000 4194304 16246674 140736514341472 140736514323392 4220990 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 328337 73210 802 2943 0 325231 0 [pid=3826/tid=3827] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 73210 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 73210 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 73210 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50043 s] /proc/loadavg: 2.15 2.20 2.21 4/183 3830 /proc/meminfo: memFree=28712724/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 194982 0 0 0 122 27 0 0 20 0 4 0 14078557 1344868352 195280 33554432000 4194304 16246674 140736514341472 140736514323392 12457726 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 328337 195297 836 2943 0 325231 0 [pid=3826/tid=3827] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 195304 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 195310 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1344868352 195317 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10044 s] /proc/loadavg: 2.15 2.20 2.21 4/183 3830 /proc/meminfo: memFree=27985960/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=3.09 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272070 0 0 0 272 37 0 0 20 0 4 0 14078557 1357451264 272368 33554432000 4194304 16246674 140736514341472 140736514323392 5674919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272368 878 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272368 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272368 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272368 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.30041 s] /proc/loadavg: 2.21 2.21 2.21 3/183 3830 /proc/meminfo: memFree=27985124/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=6.29 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272080 0 0 0 592 37 0 0 20 0 4 0 14078557 1357451264 272378 33554432000 4194304 16246674 140736514341472 140736514323328 5672056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272378 885 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272378 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272378 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272378 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.20 2.21 2.21 3/183 3830 /proc/meminfo: memFree=27985060/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=12.69 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272082 0 0 0 1232 37 0 0 20 0 4 0 14078557 1357451264 272380 33554432000 4194304 16246674 140736514341472 140736514323392 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272380 885 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272380 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272380 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272380 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5074 s] /proc/loadavg: 2.15 2.20 2.20 3/183 3830 /proc/meminfo: memFree=27985444/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=25.5 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272084 0 0 0 2513 37 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140736514323392 5673515 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272382 887 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1325636 [startup+51.1004 s] /proc/loadavg: 2.18 2.19 2.20 3/183 3830 /proc/meminfo: memFree=27985896/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=51.09 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272084 0 0 0 5072 37 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140736514323392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272382 887 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.29 2.21 2.20 3/184 3834 /proc/meminfo: memFree=27985660/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1325636 CPUtime=102.28 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 272084 0 0 0 10191 37 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140736514323392 5673642 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 331409 272382 887 2943 0 328303 0 [pid=3826/tid=3827] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1357451264 272382 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1438276 [startup+1362.3 s] /proc/loadavg: 1.18 1.25 1.59 2/174 3918 /proc/meminfo: memFree=29037976/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1361.86 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 136140 46 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5674932 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1438276 [startup+1422.3 s] /proc/loadavg: 1.17 1.23 1.56 2/172 3919 /proc/meminfo: memFree=29037748/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1421.85 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 142139 46 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1438276 [startup+1482.3 s] /proc/loadavg: 1.14 1.22 1.53 2/173 3921 /proc/meminfo: memFree=29037880/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1481.84 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 148138 46 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1438276 [startup+1542.3 s] /proc/loadavg: 1.23 1.22 1.51 2/173 3922 /proc/meminfo: memFree=29037624/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1541.83 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 154135 48 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514340648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1438276 [startup+1602.3 s] /proc/loadavg: 1.29 1.24 1.50 2/173 3923 /proc/meminfo: memFree=29037632/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1601.82 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 160127 55 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1438276 [startup+1662.31 s] /proc/loadavg: 1.21 1.22 1.48 2/173 3924 /proc/meminfo: memFree=29037888/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1661.82 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 166127 55 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514324464 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1438276 [startup+1722.3 s] /proc/loadavg: 1.35 1.26 1.47 2/173 3925 /proc/meminfo: memFree=29037012/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1721.8 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 172125 55 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323328 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1438276 [startup+1782.3 s] /proc/loadavg: 1.27 1.25 1.45 3/173 3927 /proc/meminfo: memFree=29037524/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1781.8 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 178124 56 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5674844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1438276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.27 1.25 1.45 2/173 3927 /proc/meminfo: memFree=29037772/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1800.09 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 179953 56 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1438276 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 3826 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.27 1.25 1.45 2/173 3927 /proc/meminfo: memFree=29037772/32872528 swapFree=1541688/1694988 [pid=3826] ppid=3823 vsize=1438276 CPUtime=1800.09 cores=1,3,5,7 /proc/3826/stat : 3826 (toysat) R 3823 3826 31715 0 -1 4202496 300597 0 0 0 179953 56 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140736514323392 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3826/statm: 359569 300544 888 2943 0 356463 0 [pid=3826/tid=3827] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3827/stat : 3827 (toysat) S 3823 3826 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644990299376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3826/tid=3828] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3828/stat : 3828 (toysat) S 3823 3826 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644979809520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3826/tid=3829] ppid=3823 vsize=1438276 CPUtime=0 cores=1,3,5,7 /proc/3826/task/3829/stat : 3829 (toysat) S 3823 3826 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14078557 1472794624 300544 33554432000 4194304 16246674 140736514341472 140644969335984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1438276 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.54 CPU system time (s): 0.562914 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1438276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.562914 maximum resident set size= 1202176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300597 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= 377 involuntary context switches= 1846 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.18821 second user time and 7.44987 second system time The end
Begin job on node125 at 2016-06-17 01:38:39 IDJOB=4098297 IDBENCH=107880 IDSOLVER=2542 FILE ID=node125/4098297-1466120319 RUNJOBID= node125-1466112694-1101 PBS_JOBID= 19904034 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_25.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098297-1466120319/watcher-4098297-1466120319 -o /tmp/evaluation-result-4098297-1466120319/solver-4098297-1466120319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098297-1466120319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67801f8f630801a6506b32cd8a9eda02 RANDOM SEED=1646907173 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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.36 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.683 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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.54 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.683 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29073948 kB Buffers: 72488 kB Cached: 173716 kB SwapCached: 2680 kB Active: 1272592 kB Inactive: 119288 kB Active(anon): 1145692 kB Inactive(anon): 2308 kB Active(file): 126900 kB Inactive(file): 116980 kB Unevictable: 1694988 kB Mlocked: 1541688 kB SwapTotal: 67108856 kB SwapFree: 67097016 kB Dirty: 21376 kB Writeback: 0 kB AnonPages: 2779636 kB Mapped: 10700 kB Shmem: 0 kB Slab: 572640 kB SReclaimable: 16440 kB SUnreclaim: 556200 kB KernelStack: 1520 kB PageTables: 9820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2983328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 909312 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= 71724 MiB End job on node125 at 2016-06-17 02:08:40