| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_26.opb |
| MD5SUM | 787242a9ec472b67f7e3c250c21ec4a3 |
| 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 | 0.645901 |
| 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 | 8190 |
| Total number of constraints | 40145 |
| Number of constraints which are clauses | 40140 |
| 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 | 90 |
| 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 | 26 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 116 |
| 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:32:59+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-4098213-1466119979.opb"] 0.00/0.01 c use --random-gen="1213043085 964936757 692418082 2242187692 4096439686 406526723 1502190567 960685042 3647009486 3339176468 4032017494 3715321701 1077035206 2701359263 4224844710 3252134031 682373780 1846361443 222933036 1938493404 3469729055 2582654261 3099389726 2271445056 4200406801 678378871 2628085370 3091398323 691571530 2766285982 952482202 3069964899 562952075 3006919431 1866741448 3643504763 3006912280 990562473 1487849401 612641204 495565440 4015788634 1044510692 4120636631 4192534724 671894201 3528052564 912575935 189243728 1695999940 2685085504 1619172665 935732969 4201634577 2363713660 1450750006 38562755 2055485643 207955613 1649923120 2069993526 2763652317 3434171614 1738747844 1810563354 1298264746 4123244539 345538921 3899771492 182894763 3458712589 254916413 3024952631 1643577380 4258917179 2192349734 534434922 3389174345 3525936486 1151731859 3743375209 643283588 1489134547 2940055946 3405798815 4073843776 378302683 2557828190 3024558757 2389476763 3519661382 2727770237 1585473686 3888607879 2542517041 1636033316 1238727492 2567911091 1656829637 470508279 3510658592 2581584929 422275174 3200061663 157998303 22336984 710617927 3005840966 2921152424 2227934077 1794193647 3374789224 1003945460 3359252559 163266488 1273120222 3350557027 2283891902 2848034569 3882136114 2759261227 2773229916 3693834770 1324463717 2331239518 40617365 3409942562 3640373640 4091382122 1091667105 3304687570 164839308 114416957 2015411350 3890697209 4141403503 1050643500 174972870 3811750169 1878104295 228957142 1043188114 1444359197 617863228 4222146322 744101009 824983617 498518422 4208544866 2809795458 3390639304 429468825 150123096 4153770073 539948528 3691158337 38864146 1918362523 370330646 1776907304 655611906 3484584560 1706795631 2118532826 4093854931 1452902074 1744916882 1963041608 1451161363 12404652 1235730922 564604131 3972534833 4148060558 747576127 4251791977 4226917370 361510064 3603629978 4043484661 4038527100 1886734020 885267623 2285654077 117038045 512599932 3618473919 3934550805 3128650131 2117279538 2475447873 3065444794 3958683336 1791346405 3840927641 589433488 2767437586 200294115 2019925782 9775618 622511391 3533295628 3839169383 1622656975 2973593446 2882096663 2912139604 2826800753 1220073852 106985732 2741557353 609029389 1835070660 4176364226 380555349 3976280593 657602230 2726150124 3175070704 4000679082 1557797592 1249759873 2712692161 1484360318 3554777066 1774439972 3988137577 4121484955 1819274704 1076697747 4030817342 1863417161 2141052929 178278037 3614412515 4221164853 3569117332 3930744514 186840384 2307930081 854921334 2372989638 174719010 2395217906 889051691 4092137256 310228302 1895937068 2673256927 1039578152 2561745292 3549781951 384793910 1671983825 1272520962 1710733748 255 362436" option to reproduce the execution 0.98/1.00 c #vars 8190 0.98/1.00 c #constraints 40145 2.88/2.90 c Solving starts ... 2.88/2.90 c ============================[ Search Statistics ]============================ 2.88/2.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.88/2.90 c | | | | Limit GC | Var | Constra 2.88/2.90 c ============================================================================= 2.88/2.91 c 0.0s | 0 | 0 | 0 | 16110 0 | 5 | 0 3.39/3.49 c 0.6s | 1 | 1205 | 100 | 16110 0 | 5 | 776 4.28/4.36 c 1.5s | 2 | 2355 | 250 | 17721 0 | 5 | 776 5.49/5.55 c 2.6s | 3 | 5550 | 475 | 19494 0 | 5 | 776 7.08/7.11 c 4.2s | 4 | 9996 | 813 | 21444 0 | 5 | 776 9.48/9.52 c 6.6s | 4 | 15463 | 1313 | 23589 0 | 5 | 776 9.48/9.55 c 6.6s | 5 | 15463 | 1320 | 23589 0 | 5 | 776 11.78/11.86 c 9.0s | 5 | 18813 | 1820 | 25948 0 | 5 | 776 12.68/12.72 c 9.8s | 6 | 20057 | 2081 | 28543 0 | 5 | 776 14.68/14.76 c 11.9s | 6 | 23069 | 2481 | 28543 0 | 5 | 776 16.98/17.01 c 14.1s | 6 | 27700 | 3181 | 28543 0 | 5 | 776 17.18/17.21 c 14.3s | 7 | 28277 | 3223 | 31398 0 | 5 | 776 19.28/19.34 c 16.4s | 7 | 32414 | 3823 | 31398 0 | 5 | 776 21.48/21.54 c 18.6s | 7 | 36649 | 4423 | 31398 0 | 5 | 776 23.68/23.70 c 20.8s | 7 | 41527 | 4923 | 34538 0 | 5 | 776 23.68/23.74 c 20.8s | 8 | 41538 | 4936 | 34538 0 | 5 | 776 25.88/25.95 c 23.1s | 8 | 47304 | 5336 | 34538 0 | 5 | 776 28.28/28.36 c 25.5s | 8 | 55315 | 5836 | 34538 0 | 5 | 776 30.68/30.72 c 27.8s | 8 | 61282 | 6336 | 34538 0 | 5 | 776 32.78/32.80 c 29.9s | 8 | 64554 | 6736 | 34538 0 | 5 | 776 34.78/34.82 c 31.9s | 8 | 68277 | 7336 | 34538 0 | 5 | 776 35.29/35.38 c 32.5s | 9 | 69102 | 7506 | 37992 0 | 5 | 776 37.49/37.59 c 34.7s | 9 | 71649 | 7906 | 37992 0 | 5 | 776 39.59/39.63 c 36.7s | 9 | 80195 | 8406 | 37992 0 | 5 | 776 41.78/41.81 c 38.9s | 9 | 86273 | 8906 | 37992 0 | 5 | 776 43.88/43.95 c 41.0s | 9 | 92563 | 9706 | 37992 0 | 5 | 776 45.98/46.08 c 43.2s | 9 | 99478 | 10206 | 37992 0 | 5 | 776 48.38/48.43 c 45.5s | 9 | 107183 | 10706 | 37992 0 | 5 | 776 50.18/50.28 c 47.4s | 10 | 111399 | 11361 | 41792 0 | 5 | 776 52.48/52.54 c 49.6s | 10 | 117593 | 11861 | 41792 0 | 5 | 776 54.48/54.59 c 51.7s | 10 | 123168 | 12561 | 41792 0 | 5 | 776 56.78/56.81 c 53.9s | 10 | 128015 | 13061 | 41792 0 | 5 | 776 58.88/58.94 c 56.0s | 10 | 132120 | 13561 | 41792 0 | 5 | 776 61.08/61.14 c 58.2s | 10 | 136663 | 14261 | 41792 0 | 5 | 776 63.48/63.58 c 60.7s | 10 | 142513 | 14861 | 41792 0 | 5 | 776 65.88/65.97 c 63.1s | 10 | 149150 | 15361 | 41792 0 | 5 | 776 67.98/68.05 c 65.1s | 10 | 153188 | 15761 | 41792 0 | 5 | 776 70.28/70.30 c 67.4s | 10 | 159546 | 16261 | 41792 0 | 5 | 776 72.48/72.60 c 69.7s | 10 | 165044 | 17061 | 45972 0 | 5 | 776 72.78/72.86 c 70.0s | 11 | 165859 | 17144 | 45972 0 | 5 | 776 74.89/74.91 c 72.0s | 11 | 171482 | 17544 | 45972 0 | 5 | 776 77.18/77.20 c 74.3s | 11 | 177260 | 18044 | 45972 0 | 5 | 776 79.29/79.38 c 76.5s | 11 | 181992 | 18744 | 45972 0 | 5 | 776 81.49/81.52 c 78.6s | 11 | 188705 | 19244 | 45972 0 | 5 | 776 83.69/83.73 c 80.8s | 11 | 195162 | 19744 | 45972 0 | 5 | 776 85.79/85.86 c 83.0s | 11 | 199081 | 20344 | 45972 0 | 5 | 776 88.28/88.32 c 85.4s | 11 | 203722 | 20844 | 45972 0 | 5 | 776 90.68/90.71 c 87.8s | 11 | 209982 | 21244 | 45972 0 | 5 | 776 92.68/92.75 c 89.9s | 11 | 213171 | 21744 | 45972 0 | 5 | 776 94.68/94.76 c 91.9s | 11 | 216674 | 22244 | 45972 0 | 5 | 776 97.18/97.21 c 94.3s | 11 | 225813 | 22744 | 45972 0 | 5 | 776 99.47/99.51 c 96.6s | 11 | 230309 | 23144 | 45972 0 | 5 | 776 101.47/101.56 c 98.7s | 11 | 236448 | 23544 | 45972 0 | 5 | 776 103.57/103.67 c 100s | 11 | 241563 | 23944 | 45972 0 | 5 | 776 105.68/105.73 c 102s | 11 | 245271 | 24444 | 45972 0 | 5 | 776 107.78/107.89 c 104s | 11 | 250456 | 25044 | 45972 0 | 5 | 776 109.98/110.03 c 107s | 11 | 253841 | 25544 | 45972 0 | 5 | 776 110.77/110.85 c 107s | 12 | 254848 | 25819 | 50570 0 | 5 | 776 113.28/113.33 c 110s | 12 | 258317 | 26219 | 50570 0 | 5 | 776 115.58/115.70 c 112s | 12 | 261272 | 26619 | 50570 0 | 5 | 776 117.68/117.78 c 114s | 12 | 264988 | 27119 | 50570 0 | 5 | 776 119.77/119.90 c 116s | 12 | 268376 | 27619 | 50570 0 | 5 | 776 122.27/122.33 c 119s | 12 | 275598 | 28119 | 50570 0 | 5 | 776 124.67/124.72 c 121s | 12 | 281950 | 28519 | 50570 0 | 5 | 776 127.07/127.16 c 124s | 12 | 288764 | 29019 | 50570 0 | 5 | 776 129.17/129.25 c 126s | 12 | 293335 | 29419 | 50570 0 | 5 | 776 131.67/131.73 c 128s | 12 | 296279 | 30019 | 50570 0 | 5 | 776 134.18/134.29 c 131s | 12 | 302324 | 30519 | 50570 0 | 5 | 776 136.67/136.77 c 133s | 12 | 306588 | 30919 | 50570 0 | 5 | 776 138.77/138.83 c 135s | 12 | 309930 | 31319 | 50570 0 | 5 | 776 140.97/141.03 c 138s | 12 | 312426 | 31819 | 50570 0 | 5 | 776 142.98/143.05 c 140s | 12 | 317897 | 32219 | 50570 0 | 5 | 776 145.17/145.22 c 142s | 12 | 322360 | 32719 | 50570 0 | 5 | 776 147.27/147.33 c 144s | 12 | 326001 | 33219 | 50570 0 | 5 | 776 149.87/149.93 c 147s | 12 | 332456 | 33719 | 50570 0 | 5 | 776 151.97/152.01 c 149s | 12 | 338026 | 34119 | 50570 0 | 5 | 776 153.97/154.06 c 151s | 12 | 342674 | 34719 | 50570 0 | 5 | 776 155.97/156.06 c 153s | 12 | 348867 | 35319 | 50570 0 | 5 | 776 158.17/158.27 c 155s | 12 | 355982 | 35819 | 50570 0 | 5 | 776 160.46/160.54 c 157s | 12 | 363329 | 36619 | 50570 0 | 5 | 776 162.56/162.68 c 159s | 12 | 370153 | 37119 | 50570 0 | 5 | 776 164.76/164.81 c 161s | 12 | 374186 | 37719 | 50570 0 | 5 | 776 166.86/166.93 c 164s | 12 | 381040 | 38219 | 50570 0 | 5 | 776 168.66/168.73 c 165s | 13 | 385419 | 38832 | 55628 0 | 5 | 776 170.66/170.75 c 167s | 13 | 390195 | 39232 | 55628 0 | 5 | 776 172.86/172.93 c 170s | 13 | 397041 | 39632 | 55628 0 | 5 | 776 175.36/175.42 c 172s | 13 | 400950 | 40232 | 55628 0 | 5 | 776 177.46/177.59 c 174s | 13 | 409751 | 40732 | 55628 0 | 5 | 776 179.66/179.70 c 176s | 13 | 414296 | 41032 | 55628 0 | 5 | 776 181.86/181.93 c 179s | 13 | 420394 | 41632 | 55628 0 | 5 | 776 183.86/183.98 c 181s | 13 | 424623 | 42132 | 55628 0 | 5 | 776 186.26/186.39 c 183s | 13 | 431034 | 42632 | 55628 0 | 5 | 776 188.36/188.49 c 185s | 13 | 437836 | 43032 | 55628 0 | 5 | 776 190.66/190.78 c 187s | 13 | 443049 | 43732 | 55628 0 | 5 | 776 192.76/192.87 c 189s | 13 | 450270 | 44232 | 55628 0 | 5 | 776 195.16/195.27 c 192s | 13 | 456055 | 44632 | 55628 0 | 5 | 776 197.46/197.55 c 194s | 13 | 463386 | 45132 | 55628 0 | 5 | 776 199.46/199.57 c 196s | 13 | 470178 | 45832 | 55628 0 | 5 | 776 201.66/201.73 c 198s | 13 | 474518 | 46232 | 55628 0 | 5 | 776 203.86/203.96 c 201s | 13 | 478244 | 46732 | 55628 0 | 5 | 776 206.06/206.15 c 203s | 13 | 484808 | 47232 | 55628 0 | 5 | 776 208.46/208.55 c 205s | 13 | 489581 | 47632 | 55628 0 | 5 | 776 210.56/210.65 c 207s | 13 | 494085 | 48032 | 55628 0 | 5 | 776 212.66/212.77 c 209s | 13 | 497553 | 48632 | 55628 0 | 5 | 776 214.86/215.00 c 212s | 13 | 499125 | 49132 | 55628 0 | 5 | 776 217.26/217.33 c 214s | 13 | 503589 | 49632 | 55628 0 | 5 | 776 219.55/219.62 c 216s | 13 | 512677 | 50132 | 55628 0 | 5 | 776 221.65/221.78 c 218s | 13 | 515695 | 50632 | 55628 0 | 5 | 776 224.15/224.29 c 221s | 13 | 521278 | 51132 | 55628 0 | 5 | 776 226.35/226.44 c 223s | 13 | 525709 | 51732 | 55628 0 | 5 | 776 228.65/228.78 c 225s | 13 | 530261 | 52232 | 55628 0 | 5 | 776 230.75/230.80 c 227s | 13 | 534592 | 52832 | 55628 0 | 5 | 776 232.85/232.98 c 230s | 13 | 538549 | 53232 | 55628 0 | 5 | 776 235.36/235.48 c 232s | 13 | 543447 | 53932 | 55628 0 | 5 | 776 237.75/237.81 c 234s | 13 | 547586 | 54432 | 55628 0 | 5 | 776 239.95/240.09 c 237s | 13 | 552139 | 55032 | 55628 0 | 5 | 776 242.06/242.12 c 239s | 13 | 554551 | 55532 | 55628 0 | 5 | 776 244.45/244.54 c 241s | 13 | 559022 | 56132 | 55628 0 | 5 | 776 246.95/247.01 c 244s | 13 | 563805 | 56632 | 55628 0 | 5 | 776 249.25/249.36 c 246s | 13 | 567238 | 57232 | 55628 0 | 5 | 776 251.45/251.54 c 248s | 13 | 570995 | 57832 | 55628 0 | 5 | 776 253.15/253.20 c 250s | 14 | 573868 | 58352 | 61191 0 | 5 | 776 255.45/255.52 c 252s | 14 | 578236 | 58852 | 61191 0 | 5 | 776 257.55/257.61 c 254s | 14 | 582404 | 59252 | 61191 0 | 5 | 776 259.95/260.03 c 257s | 14 | 587183 | 59852 | 61191 0 | 5 | 776 262.05/262.15 c 259s | 14 | 589211 | 60352 | 61191 0 | 5 | 776 264.35/264.42 c 261s | 14 | 593258 | 61152 | 61191 0 | 5 | 776 266.45/266.53 c 263s | 14 | 595656 | 61752 | 61191 0 | 5 | 776 268.75/268.86 c 265s | 14 | 597820 | 62352 | 61191 0 | 5 | 776 270.74/270.88 c 267s | 14 | 599124 | 62852 | 61191 0 | 5 | 776 273.04/273.14 c 270s | 14 | 600390 | 63452 | 61191 0 | 5 | 776 275.34/275.43 c 272s | 14 | 603364 | 64052 | 61191 0 | 5 | 776 278.44/278.53 c 275s | 14 | 605834 | 64252 | 61191 1 | 5 | 776 281.34/281.49 c 278s | 14 | 608122 | 64352 | 61191 1 | 5 | 776 283.54/283.67 c 280s | 14 | 616784 | 64752 | 61191 1 | 5 | 776 285.84/286.00 c 283s | 14 | 623887 | 65552 | 61191 1 | 5 | 776 288.25/288.38 c 285s | 14 | 631449 | 66052 | 61191 1 | 5 | 776 290.35/290.41 c 287s | 14 | 636903 | 66452 | 61191 1 | 5 | 776 292.44/292.58 c 289s | 14 | 642347 | 66852 | 61191 1 | 5 | 776 294.64/294.76 c 291s | 14 | 647760 | 67352 | 61191 1 | 5 | 776 296.84/296.98 c 294s | 14 | 651206 | 67852 | 61191 1 | 5 | 776 299.15/299.21 c 296s | 14 | 653150 | 68352 | 61191 1 | 5 | 776 301.55/301.63 c 298s | 14 | 659478 | 68852 | 61191 1 | 5 | 776 303.75/303.89 c 300s | 14 | 664509 | 69252 | 61191 1 | 5 | 776 306.15/306.25 c 303s | 14 | 671194 | 69752 | 61191 1 | 5 | 776 308.45/308.54 c 305s | 14 | 676107 | 70252 | 61191 1 | 5 | 776 310.75/310.86 c 307s | 14 | 678909 | 70852 | 61191 1 | 5 | 776 313.35/313.40 c 310s | 14 | 682477 | 71352 | 61191 1 | 5 | 776 315.55/315.60 c 312s | 14 | 687872 | 71752 | 61191 1 | 5 | 776 317.64/317.74 c 314s | 14 | 693300 | 72252 | 61191 1 | 5 | 776 319.94/320.08 c 317s | 14 | 701262 | 73052 | 61191 1 | 5 | 776 322.04/322.19 c 319s | 14 | 707249 | 73452 | 61191 1 | 5 | 776 324.34/324.40 c 321s | 14 | 710814 | 74052 | 61191 1 | 5 | 776 326.34/326.48 c 323s | 14 | 716265 | 74552 | 61191 1 | 5 | 776 328.54/328.67 c 325s | 14 | 721219 | 74952 | 61191 1 | 5 | 776 330.54/330.69 c 327s | 14 | 727216 | 75352 | 61191 1 | 5 | 776 332.84/332.99 c 330s | 14 | 734774 | 75852 | 61191 1 | 5 | 776 335.14/335.21 c 332s | 14 | 743389 | 76652 | 61191 1 | 5 | 776 337.44/337.58 c 334s | 14 | 748899 | 77152 | 61191 1 | 5 | 776 339.74/339.82 c 336s | 14 | 756839 | 77652 | 61191 1 | 5 | 776 341.84/341.99 c 339s | 14 | 763685 | 78452 | 61191 1 | 5 | 776 344.14/344.28 c 341s | 14 | 769525 | 78952 | 61191 1 | 5 | 776 346.55/346.66 c 343s | 14 | 774021 | 79652 | 61191 1 | 5 | 776 348.94/349.01 c 346s | 14 | 779407 | 80152 | 61191 1 | 5 | 776 351.04/351.13 c 348s | 14 | 786429 | 80552 | 61191 1 | 5 | 776 353.05/353.19 c 350s | 14 | 793284 | 81252 | 61191 1 | 5 | 776 355.25/355.34 c 352s | 14 | 799431 | 81752 | 61191 1 | 5 | 776 357.45/357.57 c 354s | 14 | 802472 | 82252 | 61191 1 | 5 | 776 359.54/359.61 c 356s | 14 | 806221 | 82752 | 61191 1 | 5 | 776 361.74/361.80 c 358s | 14 | 813192 | 83352 | 61191 1 | 5 | 776 364.04/364.11 c 361s | 14 | 818919 | 83952 | 61191 1 | 5 | 776 366.04/366.15 c 363s | 14 | 825317 | 84552 | 61191 1 | 5 | 776 368.34/368.41 c 365s | 14 | 831084 | 85152 | 61191 1 | 5 | 776 370.44/370.51 c 367s | 14 | 837049 | 85852 | 61191 1 | 5 | 776 372.44/372.57 c 369s | 14 | 843635 | 86352 | 61191 1 | 5 | 776 374.64/374.76 c 371s | 14 | 847467 | 86952 | 61191 1 | 5 | 776 376.64/376.79 c 373s | 15 | 854035 | 87632 | 67311 1 | 5 | 776 378.94/379.02 c 376s | 15 | 857099 | 88132 | 67311 1 | 5 | 776 381.24/381.35 c 378s | 15 | 862939 | 88832 | 67311 1 | 5 | 776 383.63/383.71 c 380s | 15 | 870011 | 89632 | 67311 1 | 5 | 776 385.83/385.90 c 383s | 15 | 875302 | 90332 | 67311 1 | 5 | 776 387.93/388.01 c 385s | 15 | 881079 | 91032 | 67311 1 | 5 | 776 390.03/390.15 c 387s | 15 | 884747 | 91632 | 67311 1 | 5 | 776 392.03/392.18 c 389s | 15 | 890664 | 92332 | 67311 1 | 5 | 776 394.33/394.41 c 391s | 15 | 893657 | 92932 | 67311 1 | 5 | 776 396.53/396.68 c 393s | 15 | 897611 | 93632 | 67311 1 | 5 | 776 398.63/398.77 c 395s | 15 | 901227 | 94332 | 67311 1 | 5 | 776 400.93/401.04 c 398s | 15 | 904360 | 95032 | 67311 1 | 5 | 776 403.03/403.12 c 400s | 15 | 906942 | 95732 | 67311 1 | 5 | 776 405.13/405.24 c 402s | 15 | 909917 | 96432 | 67311 1 | 5 | 776 407.43/407.57 c 404s | 15 | 911795 | 97232 | 67311 1 | 5 | 776 409.53/409.67 c 406s | 15 | 915561 | 97732 | 67311 1 | 5 | 776 411.83/411.96 c 409s | 15 | 921154 | 98332 | 67311 1 | 5 | 776 413.93/414.01 c 411s | 15 | 924264 | 98632 | 67311 1 | 5 | 776 416.13/416.27 c 413s | 15 | 928049 | 99132 | 67311 1 | 5 | 776 418.63/418.70 c 415s | 15 | 931437 | 99532 | 67311 1 | 5 | 776 421.13/421.25 c 418s | 15 | 937536 | 99932 | 67311 1 | 5 | 776 423.54/423.67 c 420s | 15 | 941587 | 100332 | 67311 1 | 5 | 776 425.64/425.76 c 422s | 15 | 945708 | 100832 | 67311 1 | 5 | 776 427.73/427.80 c 424s | 15 | 948046 | 101232 | 67311 2 | 5 | 776 429.93/430.01 c 427s | 15 | 950932 | 101432 | 67311 2 | 5 | 776 431.93/432.03 c 429s | 15 | 957058 | 101832 | 67311 2 | 5 | 776 434.13/434.24 c 431s | 15 | 963000 | 102332 | 67311 2 | 5 | 776 436.13/436.25 c 433s | 15 | 968065 | 102932 | 67311 2 | 5 | 776 438.43/438.51 c 435s | 15 | 971919 | 103332 | 67311 2 | 5 | 776 440.63/440.76 c 437s | 15 | 977286 | 103832 | 67311 2 | 5 | 776 443.12/443.28 c 440s | 15 | 981609 | 104432 | 67311 2 | 5 | 776 445.32/445.45 c 442s | 15 | 986400 | 104832 | 67311 2 | 5 | 776 447.63/447.72 c 444s | 15 | 990242 | 105432 | 67311 2 | 5 | 776 449.83/449.95 c 447s | 15 | 994169 | 105832 | 67311 2 | 5 | 776 451.82/451.98 c 449s | 15 | 997890 | 106432 | 67311 2 | 5 | 776 454.23/454.33 c 451s | 15 | 1003641 | 106932 | 67311 2 | 5 | 776 456.32/456.44 c 453s | 15 | 1008183 | 107332 | 67311 2 | 5 | 776 458.32/458.45 c 455s | 15 | 1012091 | 107832 | 67311 2 | 5 | 776 460.52/460.61 c 457s | 15 | 1018511 | 108432 | 67311 2 | 5 | 776 462.52/462.69 c 459s | 15 | 1022385 | 108932 | 67311 2 | 5 | 776 464.62/464.71 c 461s | 15 | 1026252 | 109332 | 67311 2 | 5 | 776 467.02/467.13 c 464s | 15 | 1031195 | 110032 | 67311 2 | 5 | 776 469.22/469.30 c 466s | 15 | 1034693 | 110632 | 67311 2 | 5 | 776 471.62/471.74 c 468s | 15 | 1038497 | 111132 | 67311 2 | 5 | 776 473.82/473.96 c 471s | 15 | 1042050 | 111732 | 67311 2 | 5 | 776 476.12/476.25 c 473s | 15 | 1047584 | 112432 | 67311 2 | 5 | 776 478.43/478.55 c 475s | 15 | 1051246 | 113032 | 67311 2 | 5 | 776 480.73/480.82 c 477s | 15 | 1055157 | 113532 | 67311 2 | 5 | 776 483.02/483.17 c 480s | 15 | 1059174 | 114232 | 67311 2 | 5 | 776 485.32/485.41 c 482s | 15 | 1062801 | 114832 | 67311 2 | 5 | 776 487.52/487.65 c 484s | 15 | 1067198 | 115532 | 67311 2 | 5 | 776 489.82/489.94 c 487s | 15 | 1070430 | 116132 | 67311 2 | 5 | 776 492.02/492.12 c 489s | 15 | 1072684 | 116632 | 67311 2 | 5 | 776 494.22/494.37 c 491s | 15 | 1075656 | 117232 | 67311 2 | 5 | 776 496.52/496.68 c 493s | 15 | 1078724 | 117832 | 67311 2 | 5 | 776 498.92/499.00 c 496s | 15 | 1080900 | 118432 | 67311 2 | 5 | 776 500.92/501.08 c 498s | 15 | 1083705 | 119132 | 67311 2 | 5 | 776 503.12/503.27 c 500s | 15 | 1085578 | 119832 | 67311 2 | 5 | 776 505.22/505.31 c 502s | 15 | 1087101 | 120332 | 67311 2 | 5 | 776 507.21/507.37 c 504s | 15 | 1091576 | 120732 | 67311 2 | 5 | 776 509.51/509.66 c 506s | 15 | 1095734 | 121232 | 67311 2 | 5 | 776 511.71/511.88 c 508s | 15 | 1099753 | 121632 | 67311 2 | 5 | 776 514.01/514.11 c 511s | 15 | 1104833 | 122132 | 67311 2 | 5 | 776 516.21/516.37 c 513s | 15 | 1109827 | 122832 | 67311 2 | 5 | 776 518.21/518.39 c 515s | 15 | 1113715 | 123232 | 67311 2 | 5 | 776 520.32/520.49 c 517s | 15 | 1118321 | 123832 | 67311 2 | 5 | 776 522.52/522.61 c 519s | 15 | 1122180 | 124232 | 67311 2 | 5 | 776 524.51/524.69 c 521s | 15 | 1127644 | 124732 | 67311 2 | 5 | 776 526.51/526.69 c 523s | 15 | 1132017 | 125332 | 67311 2 | 5 | 776 529.02/529.17 c 526s | 15 | 1136485 | 126032 | 67311 2 | 5 | 776 531.22/531.39 c 528s | 15 | 1140463 | 126632 | 67311 2 | 5 | 776 533.71/533.80 c 530s | 15 | 1145206 | 127132 | 67311 2 | 5 | 776 536.11/536.25 c 533s | 15 | 1150794 | 127832 | 67311 2 | 5 | 776 538.21/538.37 c 535s | 15 | 1154384 | 128232 | 67311 2 | 5 | 776 540.61/540.74 c 537s | 15 | 1158905 | 128832 | 67311 2 | 5 | 776 542.61/542.78 c 539s | 15 | 1163311 | 129432 | 67311 2 | 5 | 776 545.01/545.10 c 542s | 15 | 1167118 | 129932 | 67311 2 | 5 | 776 547.31/547.47 c 544s | 15 | 1168982 | 130432 | 67311 2 | 5 | 776 549.41/549.60 c 546s | 15 | 1173065 | 130932 | 74043 2 | 5 | 776 551.71/551.83 c 548s | 15 | 1176009 | 131532 | 74043 2 | 5 | 776 551.71/551.88 c 548s | 16 | 1176055 | 131552 | 74043 2 | 5 | 776 554.01/554.13 c 551s | 16 | 1180571 | 131952 | 74043 2 | 5 | 776 556.21/556.33 c 553s | 16 | 1182458 | 132452 | 74043 2 | 5 | 776 558.21/558.38 c 555s | 16 | 1184457 | 132852 | 74043 2 | 5 | 776 560.31/560.42 c 557s | 16 | 1186022 | 133352 | 74043 2 | 5 | 776 562.41/562.52 c 559s | 16 | 1188288 | 133952 | 74043 2 | 5 | 776 564.51/564.62 c 561s | 16 | 1189267 | 134452 | 74043 2 | 5 | 776 566.61/566.74 c 563s | 16 | 1191491 | 135052 | 74043 2 | 5 | 776 568.71/568.84 c 565s | 16 | 1194511 | 135652 | 74043 2 | 5 | 776 570.91/571.05 c 568s | 16 | 1196292 | 136152 | 74043 2 | 5 | 776 572.90/573.09 c 570s | 16 | 1197629 | 136652 | 74043 2 | 5 | 776 575.00/575.14 c 572s | 16 | 1199992 | 137152 | 74043 2 | 5 | 776 577.20/577.35 c 574s | 16 | 1201857 | 137552 | 74043 2 | 5 | 776 579.50/579.67 c 576s | 16 | 1205374 | 137952 | 74043 2 | 5 | 776 581.70/581.80 c 578s | 16 | 1209632 | 138352 | 74043 2 | 5 | 776 583.70/583.85 c 580s | 16 | 1213397 | 138852 | 74043 2 | 5 | 776 586.10/586.25 c 583s | 16 | 1220531 | 139352 | 74043 2 | 5 | 776 588.10/588.29 c 585s | 16 | 1224407 | 139952 | 74043 2 | 5 | 776 590.20/590.33 c 587s | 16 | 1228948 | 140452 | 74043 2 | 5 | 776 592.60/592.77 c 589s | 16 | 1232583 | 141052 | 74043 2 | 5 | 776 595.00/595.15 c 592s | 16 | 1236850 | 141652 | 74043 2 | 5 | 776 597.30/597.49 c 594s | 16 | 1241115 | 142252 | 74043 2 | 5 | 776 599.59/599.72 c 596s | 16 | 1244678 | 142752 | 74043 2 | 5 | 776 601.60/601.79 c 598s | 16 | 1247401 | 143352 | 74043 2 | 5 | 776 603.99/604.10 c 601s | 16 | 1250723 | 143752 | 74043 3 | 5 | 776 606.11/606.24 c 603s | 16 | 1253455 | 144252 | 74043 3 | 5 | 776 608.40/608.50 c 605s | 16 | 1257015 | 144952 | 74043 3 | 5 | 776 610.41/610.60 c 607s | 16 | 1259565 | 145552 | 74043 3 | 5 | 776 612.71/612.85 c 609s | 16 | 1262602 | 146252 | 74043 3 | 5 | 776 614.81/614.92 c 612s | 16 | 1265571 | 146852 | 74043 3 | 5 | 776 616.80/616.99 c 614s | 16 | 1268580 | 147552 | 74043 3 | 5 | 776 619.10/619.22 c 616s | 16 | 1270804 | 148252 | 74043 3 | 5 | 776 621.40/621.52 c 618s | 16 | 1273214 | 149052 | 74043 3 | 5 | 776 623.80/623.91 c 621s | 16 | 1277868 | 149652 | 74043 3 | 5 | 776 626.10/626.22 c 623s | 16 | 1280886 | 150252 | 74043 3 | 5 | 776 628.50/628.65 c 625s | 16 | 1282803 | 150852 | 74043 3 | 5 | 776 630.60/630.70 c 627s | 16 | 1284911 | 151352 | 74043 3 | 5 | 776 632.80/632.91 c 630s | 16 | 1289200 | 152052 | 74043 3 | 5 | 776 635.09/635.25 c 632s | 16 | 1291670 | 152752 | 74043 3 | 5 | 776 637.19/637.33 c 634s | 16 | 1293981 | 153352 | 74043 3 | 5 | 776 639.29/639.42 c 636s | 16 | 1295879 | 154052 | 74043 3 | 5 | 776 641.49/641.65 c 638s | 16 | 1296942 | 154652 | 74043 3 | 5 | 776 643.79/643.93 c 641s | 16 | 1300550 | 155252 | 74043 3 | 5 | 776 645.79/645.97 c 643s | 16 | 1304054 | 155652 | 74043 3 | 5 | 776 647.80/647.97 c 645s | 16 | 1306854 | 156152 | 74043 3 | 5 | 776 650.10/650.23 c 647s | 16 | 1310689 | 156752 | 74043 3 | 5 | 776 652.39/652.52 c 649s | 16 | 1313103 | 157252 | 74043 3 | 5 | 776 654.79/654.97 c 652s | 16 | 1316673 | 157752 | 74043 3 | 5 | 776 656.89/657.08 c 654s | 16 | 1320263 | 158352 | 74043 3 | 5 | 776 659.09/659.28 c 656s | 16 | 1324610 | 158752 | 74043 3 | 5 | 776 661.19/661.34 c 658s | 16 | 1326741 | 159252 | 74043 3 | 5 | 776 663.79/663.91 c 661s | 16 | 1331191 | 159752 | 74043 3 | 5 | 776 665.89/666.09 c 663s | 16 | 1333762 | 160252 | 74043 3 | 5 | 776 668.29/668.44 c 665s | 16 | 1337917 | 160752 | 74043 3 | 5 | 776 670.49/670.63 c 667s | 16 | 1341314 | 161252 | 74043 3 | 5 | 776 672.99/673.14 c 670s | 16 | 1345532 | 161752 | 74043 3 | 5 | 776 675.29/675.41 c 672s | 16 | 1349824 | 162252 | 74043 3 | 5 | 776 677.49/677.61 c 674s | 16 | 1352934 | 162852 | 74043 3 | 5 | 776 679.79/679.95 c 677s | 16 | 1356315 | 163352 | 74043 3 | 5 | 776 682.19/682.33 c 679s | 16 | 1358864 | 163852 | 74043 3 | 5 | 776 684.29/684.45 c 681s | 16 | 1361827 | 164352 | 74043 3 | 5 | 776 686.39/686.52 c 683s | 16 | 1365756 | 165052 | 74043 3 | 5 | 776 688.39/688.52 c 685s | 16 | 1369060 | 165652 | 74043 3 | 5 | 776 690.49/690.62 c 687s | 16 | 1370920 | 166152 | 74043 3 | 5 | 776 692.48/692.66 c 689s | 16 | 1373674 | 166752 | 74043 3 | 5 | 776 694.58/694.76 c 691s | 16 | 1375711 | 167352 | 74043 3 | 5 | 776 696.58/696.77 c 693s | 16 | 1378060 | 167952 | 74043 3 | 5 | 776 698.68/698.80 c 695s | 16 | 1379042 | 168452 | 74043 3 | 5 | 776 700.78/700.99 c 698s | 16 | 1382214 | 169052 | 74043 3 | 5 | 776 703.18/703.36 c 700s | 16 | 1388121 | 169852 | 74043 3 | 5 | 776 705.28/705.47 c 702s | 16 | 1392431 | 170452 | 74043 3 | 5 | 776 707.29/707.48 c 704s | 16 | 1395215 | 170952 | 74043 3 | 5 | 776 709.68/709.83 c 706s | 16 | 1398448 | 171452 | 74043 3 | 5 | 776 711.88/712.03 c 709s | 16 | 1402043 | 171952 | 74043 3 | 5 | 776 713.98/714.17 c 711s | 16 | 1407405 | 172552 | 74043 3 | 5 | 776 716.18/716.34 c 713s | 16 | 1411652 | 173152 | 74043 3 | 5 | 776 718.38/718.57 c 715s | 16 | 1415527 | 173652 | 74043 3 | 5 | 776 720.49/720.68 c 717s | 16 | 1418570 | 174252 | 74043 3 | 5 | 776 722.78/722.98 c 720s | 16 | 1422354 | 174852 | 74043 3 | 5 | 776 725.18/725.37 c 722s | 16 | 1426322 | 175552 | 74043 3 | 5 | 776 727.38/727.59 c 724s | 16 | 1429002 | 176152 | 74043 3 | 5 | 776 729.88/730.04 c 727s | 16 | 1432267 | 176852 | 74043 3 | 5 | 776 732.18/732.33 c 729s | 16 | 1435538 | 177452 | 74043 3 | 5 | 776 734.18/734.38 c 731s | 16 | 1438905 | 178152 | 74043 3 | 5 | 776 736.58/736.73 c 733s | 16 | 1442814 | 178952 | 74043 3 | 5 | 776 738.58/738.80 c 735s | 16 | 1444568 | 179552 | 74043 3 | 5 | 776 740.68/740.86 c 737s | 16 | 1445725 | 180152 | 74043 3 | 5 | 776 742.98/743.12 c 740s | 16 | 1448482 | 180752 | 74043 3 | 5 | 776 745.07/745.29 c 742s | 16 | 1450519 | 181352 | 74043 3 | 5 | 776 747.37/747.53 c 744s | 16 | 1452890 | 182052 | 74043 3 | 5 | 776 749.57/749.71 c 746s | 16 | 1453859 | 182652 | 74043 3 | 5 | 776 751.87/752.00 c 749s | 16 | 1455812 | 183152 | 74043 4 | 5 | 776 754.17/754.33 c 751s | 16 | 1458087 | 183752 | 74043 4 | 5 | 776 756.47/756.65 c 753s | 16 | 1461473 | 184452 | 74043 4 | 5 | 776 758.67/758.85 c 755s | 16 | 1464794 | 185052 | 74043 4 | 5 | 776 760.77/760.92 c 758s | 16 | 1468777 | 185752 | 74043 4 | 5 | 776 763.06/763.21 c 760s | 16 | 1471804 | 186352 | 74043 4 | 5 | 776 765.16/765.35 c 762s | 16 | 1475334 | 186852 | 74043 4 | 5 | 776 779.46/779.65 c 776s | 16 | 1479449 | 187352 | 74043 4 | 5 | 776 781.66/781.83 c 778s | 16 | 1483188 | 187652 | 74043 4 | 5 | 776 783.66/783.83 c 780s | 16 | 1487170 | 188252 | 74043 4 | 5 | 776 786.16/786.39 c 783s | 16 | 1492506 | 188652 | 74043 4 | 5 | 776 788.36/788.50 c 785s | 16 | 1497575 | 189052 | 74043 4 | 5 | 776 790.46/790.66 c 787s | 16 | 1503761 | 189652 | 74043 4 | 5 | 776 792.76/792.93 c 790s | 16 | 1507171 | 190152 | 74043 4 | 5 | 776 795.06/795.23 c 792s | 16 | 1510415 | 190752 | 74043 4 | 5 | 776 797.15/797.37 c 794s | 16 | 1514506 | 191152 | 74043 4 | 5 | 776 799.66/799.82 c 796s | 16 | 1519091 | 191552 | 74043 4 | 5 | 776 801.76/801.93 c 799s | 16 | 1525154 | 192252 | 74043 4 | 5 | 776 804.25/804.45 c 801s | 16 | 1531493 | 192752 | 74043 4 | 5 | 776 806.45/806.67 c 803s | 16 | 1538071 | 193352 | 74043 4 | 5 | 776 808.75/808.91 c 806s | 16 | 1542507 | 193852 | 74043 4 | 5 | 776 811.05/811.26 c 808s | 16 | 1545511 | 194252 | 74043 4 | 5 | 776 813.24/813.47 c 810s | 16 | 1548647 | 194752 | 74043 4 | 5 | 776 815.34/815.53 c 812s | 16 | 1551138 | 195352 | 74043 4 | 5 | 776 817.64/817.85 c 814s | 16 | 1554622 | 195852 | 74043 4 | 5 | 776 819.84/820.07 c 817s | 16 | 1558566 | 196452 | 81448 4 | 5 | 776 822.04/822.20 c 819s | 16 | 1561920 | 197052 | 81448 4 | 5 | 776 823.64/823.80 c 820s | 17 | 1563405 | 197432 | 81448 4 | 5 | 776 825.64/825.87 c 822s | 17 | 1565423 | 197732 | 81448 4 | 5 | 776 827.94/828.10 c 825s | 17 | 1569174 | 198232 | 81448 4 | 5 | 776 830.04/830.21 c 827s | 17 | 1575186 | 198932 | 81448 4 | 5 | 776 832.04/832.29 c 829s | 17 | 1577635 | 199432 | 81448 4 | 5 | 776 834.23/834.48 c 831s | 17 | 1580268 | 200032 | 81448 4 | 5 | 776 836.63/836.87 c 833s | 17 | 1583899 | 200732 | 81448 4 | 5 | 776 839.03/839.29 c 836s | 17 | 1586507 | 201432 | 81448 4 | 5 | 776 841.03/841.29 c 838s | 17 | 1588401 | 202032 | 81448 4 | 5 | 776 843.33/843.57 c 840s | 17 | 1590549 | 202732 | 81448 4 | 5 | 776 845.74/845.99 c 843s | 17 | 1593670 | 203332 | 81448 4 | 5 | 776 847.83/848.09 c 845s | 17 | 1596933 | 203732 | 81448 4 | 5 | 776 850.53/850.74 c 847s | 17 | 1601951 | 204332 | 81448 4 | 5 | 776 852.82/853.07 c 850s | 17 | 1606136 | 204932 | 81448 4 | 5 | 776 855.12/855.34 c 852s | 17 | 1611995 | 205332 | 81448 4 | 5 | 776 857.62/857.84 c 854s | 17 | 1615715 | 205732 | 81448 4 | 5 | 776 860.13/860.37 c 857s | 17 | 1619196 | 206332 | 81448 4 | 5 | 776 862.33/862.58 c 859s | 17 | 1623772 | 206732 | 81448 4 | 5 | 776 864.82/865.01 c 862s | 17 | 1629353 | 207132 | 81448 4 | 5 | 776 867.42/867.60 c 864s | 17 | 1633370 | 207632 | 81448 4 | 5 | 776 869.93/870.16 c 867s | 17 | 1636998 | 208232 | 81448 4 | 5 | 776 872.02/872.28 c 869s | 17 | 1640178 | 208732 | 81448 4 | 5 | 776 874.22/874.45 c 871s | 17 | 1644986 | 209232 | 81448 4 | 5 | 776 876.42/876.60 c 873s | 17 | 1648573 | 209732 | 81448 4 | 5 | 776 878.72/878.92 c 876s | 17 | 1651778 | 210232 | 81448 4 | 5 | 776 881.02/881.28 c 878s | 17 | 1655755 | 210732 | 81448 4 | 5 | 776 883.51/883.75 c 880s | 17 | 1659239 | 211332 | 81448 4 | 5 | 776 885.61/885.83 c 882s | 17 | 1663094 | 211732 | 81448 4 | 5 | 776 887.81/888.06 c 885s | 17 | 1667611 | 212232 | 81448 4 | 5 | 776 890.11/890.39 c 887s | 17 | 1670483 | 212732 | 81448 4 | 5 | 776 892.31/892.57 c 889s | 17 | 1673337 | 213232 | 81448 4 | 5 | 776 894.60/894.90 c 891s | 17 | 1675448 | 213732 | 81448 4 | 5 | 776 897.00/897.22 c 894s | 17 | 1678666 | 214332 | 81448 4 | 5 | 776 899.30/899.53 c 896s | 17 | 1680829 | 214832 | 81448 4 | 5 | 776 901.30/901.55 c 898s | 17 | 1683013 | 215332 | 81448 4 | 5 | 776 903.60/903.86 c 900s | 17 | 1684514 | 215932 | 81448 4 | 5 | 776 905.90/906.14 c 903s | 17 | 1685584 | 216532 | 81448 4 | 5 | 776 908.10/908.35 c 905s | 17 | 1688215 | 217032 | 81448 4 | 5 | 776 910.30/910.59 c 907s | 17 | 1691061 | 217532 | 81448 4 | 5 | 776 912.60/912.86 c 909s | 17 | 1695081 | 217932 | 81448 4 | 5 | 776 914.79/915.00 c 912s | 17 | 1699545 | 218332 | 81448 4 | 5 | 776 916.89/917.14 c 914s | 17 | 1702744 | 218832 | 81448 4 | 5 | 776 919.29/919.53 c 916s | 17 | 1707504 | 219232 | 81448 4 | 5 | 776 921.49/921.71 c 918s | 17 | 1711441 | 219732 | 81448 4 | 5 | 776 923.89/924.13 c 921s | 17 | 1716902 | 220232 | 81448 4 | 5 | 776 926.19/926.49 c 923s | 17 | 1719818 | 220632 | 81448 4 | 5 | 776 928.78/929.00 c 926s | 17 | 1722645 | 221132 | 81448 4 | 5 | 776 931.08/931.38 c 928s | 17 | 1725379 | 221532 | 81448 4 | 5 | 776 933.28/933.53 c 930s | 17 | 1726711 | 221932 | 81448 4 | 5 | 776 935.28/935.54 c 932s | 17 | 1729260 | 222232 | 81448 4 | 5 | 776 937.58/937.84 c 934s | 17 | 1732631 | 222632 | 81448 4 | 5 | 776 940.08/940.37 c 937s | 17 | 1735936 | 223132 | 81448 4 | 5 | 776 942.49/942.75 c 939s | 17 | 1739194 | 223532 | 81448 4 | 5 | 776 944.78/945.04 c 942s | 17 | 1742012 | 224032 | 81448 4 | 5 | 776 947.17/947.48 c 944s | 17 | 1744845 | 224432 | 81448 4 | 5 | 776 949.37/949.65 c 946s | 17 | 1746447 | 224832 | 81448 4 | 5 | 776 951.47/951.72 c 948s | 17 | 1748601 | 225232 | 81448 4 | 5 | 776 953.67/953.90 c 951s | 17 | 1752443 | 225632 | 81448 4 | 5 | 776 955.77/956.01 c 953s | 17 | 1755807 | 226132 | 81448 4 | 5 | 776 957.77/958.10 c 955s | 17 | 1758473 | 226532 | 81448 4 | 5 | 776 960.17/960.45 c 957s | 17 | 1762063 | 227132 | 81448 4 | 5 | 776 962.47/962.78 c 959s | 17 | 1765276 | 227632 | 81448 4 | 5 | 776 964.76/965.07 c 962s | 17 | 1767433 | 228132 | 81448 4 | 5 | 776 967.06/967.35 c 964s | 17 | 1770926 | 228732 | 81448 4 | 5 | 776 969.66/970.00 c 967s | 17 | 1771456 | 228832 | 81448 5 | 5 | 776 971.96/972.23 c 969s | 17 | 1773384 | 229132 | 81448 5 | 5 | 776 974.16/974.40 c 971s | 17 | 1775970 | 229832 | 81448 5 | 5 | 776 976.26/976.50 c 973s | 17 | 1778502 | 230632 | 81448 5 | 5 | 776 978.96/979.24 c 976s | 17 | 1781230 | 231532 | 81448 5 | 5 | 776 981.36/981.64 c 978s | 17 | 1784073 | 231832 | 81448 5 | 5 | 776 983.56/983.88 c 980s | 17 | 1787681 | 232432 | 81448 5 | 5 | 776 985.76/986.01 c 983s | 17 | 1793278 | 232932 | 81448 5 | 5 | 776 987.96/988.28 c 985s | 17 | 1796610 | 233532 | 81448 5 | 5 | 776 990.36/990.67 c 987s | 17 | 1802494 | 234032 | 81448 5 | 5 | 776 992.56/992.81 c 989s | 17 | 1804935 | 234532 | 81448 5 | 5 | 776 994.65/994.98 c 992s | 17 | 1808176 | 234932 | 81448 5 | 5 | 776 997.15/997.47 c 994s | 17 | 1811343 | 235532 | 81448 5 | 5 | 776 999.25/999.51 c 996s | 17 | 1815443 | 235932 | 81448 5 | 5 | 776 1001.65/1001.99 c 999s | 17 | 1820863 | 236632 | 81448 5 | 5 | 776 1003.75/1004.03 c 1001s | 17 | 1824953 | 237132 | 81448 5 | 5 | 776 1006.15/1006.43 c 1003s | 17 | 1829353 | 237732 | 81448 5 | 5 | 776 1008.15/1008.43 c 1005s | 17 | 1831658 | 238232 | 81448 5 | 5 | 776 1010.24/1010.54 c 1007s | 17 | 1834339 | 238632 | 81448 5 | 5 | 776 1012.54/1012.84 c 1009s | 17 | 1838109 | 239232 | 81448 5 | 5 | 776 1014.84/1015.18 c 1012s | 17 | 1840903 | 239832 | 81448 5 | 5 | 776 1017.04/1017.31 c 1014s | 17 | 1844885 | 240432 | 81448 5 | 5 | 776 1019.34/1019.62 c 1016s | 17 | 1848308 | 241032 | 81448 5 | 5 | 776 1021.64/1021.91 c 1019s | 17 | 1850483 | 241632 | 81448 5 | 5 | 776 1023.63/1023.92 c 1021s | 17 | 1852032 | 242232 | 81448 5 | 5 | 776 1025.83/1026.17 c 1023s | 17 | 1853606 | 242932 | 81448 5 | 5 | 776 1028.13/1028.46 c 1025s | 17 | 1855847 | 243532 | 81448 5 | 5 | 776 1030.33/1030.67 c 1027s | 17 | 1859020 | 244032 | 81448 5 | 5 | 776 1032.43/1032.72 c 1029s | 17 | 1861963 | 244432 | 81448 5 | 5 | 776 1034.52/1034.80 c 1031s | 17 | 1863899 | 244832 | 81448 5 | 5 | 776 1036.82/1037.15 c 1034s | 17 | 1866287 | 245232 | 81448 5 | 5 | 776 1039.23/1039.51 c 1036s | 17 | 1870274 | 245632 | 81448 5 | 5 | 776 1041.62/1041.98 c 1039s | 17 | 1874272 | 246232 | 81448 5 | 5 | 776 1044.01/1044.31 c 1041s | 17 | 1878715 | 246832 | 81448 5 | 5 | 776 1046.41/1046.78 c 1043s | 17 | 1881975 | 247232 | 81448 5 | 5 | 776 1048.71/1049.02 c 1046s | 17 | 1884615 | 247732 | 81448 5 | 5 | 776 1051.11/1051.41 c 1048s | 17 | 1887116 | 248132 | 81448 5 | 5 | 776 1053.21/1053.53 c 1050s | 17 | 1889194 | 248632 | 81448 5 | 5 | 776 1055.41/1055.79 c 1052s | 17 | 1891326 | 249032 | 81448 5 | 5 | 776 1057.81/1058.16 c 1055s | 17 | 1893889 | 249532 | 81448 5 | 5 | 776 1059.91/1060.25 c 1057s | 17 | 1896379 | 250032 | 81448 5 | 5 | 776 1062.01/1062.33 c 1059s | 17 | 1898968 | 250432 | 81448 5 | 5 | 776 1064.01/1064.34 c 1061s | 17 | 1901098 | 250932 | 81448 5 | 5 | 776 1066.11/1066.48 c 1063s | 17 | 1903195 | 251332 | 81448 5 | 5 | 776 1068.21/1068.50 c 1065s | 17 | 1905269 | 251832 | 81448 5 | 5 | 776 1070.41/1070.78 c 1067s | 17 | 1907301 | 252332 | 81448 5 | 5 | 776 1072.71/1073.08 c 1070s | 17 | 1909695 | 252932 | 81448 5 | 5 | 776 1074.81/1075.13 c 1072s | 17 | 1912756 | 253432 | 81448 5 | 5 | 776 1077.21/1077.54 c 1074s | 17 | 1914840 | 254032 | 81448 5 | 5 | 776 1079.41/1079.79 c 1076s | 17 | 1916071 | 254632 | 81448 5 | 5 | 776 1081.81/1082.15 c 1079s | 17 | 1918822 | 255132 | 81448 5 | 5 | 776 1084.31/1084.63 c 1081s | 17 | 1921910 | 255632 | 81448 5 | 5 | 776 1086.51/1086.89 c 1083s | 17 | 1924369 | 255932 | 81448 5 | 5 | 776 1088.81/1089.17 c 1086s | 17 | 1927132 | 256332 | 81448 5 | 5 | 776 1091.10/1091.48 c 1088s | 17 | 1930022 | 256832 | 81448 5 | 5 | 776 1093.60/1093.97 c 1091s | 17 | 1932730 | 257332 | 81448 5 | 5 | 776 1095.70/1096.01 c 1093s | 17 | 1935840 | 257732 | 81448 5 | 5 | 776 1098.00/1098.34 c 1095s | 17 | 1938455 | 258232 | 81448 5 | 5 | 776 1100.10/1100.40 c 1097s | 17 | 1941302 | 258732 | 81448 5 | 5 | 776 1102.40/1102.76 c 1099s | 17 | 1946005 | 259332 | 81448 5 | 5 | 776 1104.39/1104.77 c 1101s | 17 | 1949210 | 259832 | 81448 5 | 5 | 776 1106.59/1106.98 c 1104s | 17 | 1952320 | 260232 | 81448 5 | 5 | 776 1108.89/1109.21 c 1106s | 17 | 1954795 | 260732 | 81448 5 | 5 | 776 1111.29/1111.69 c 1108s | 17 | 1956775 | 261232 | 81448 5 | 5 | 776 1113.69/1114.03 c 1111s | 17 | 1958745 | 261732 | 81448 5 | 5 | 776 1115.89/1116.22 c 1113s | 17 | 1961045 | 262232 | 81448 5 | 5 | 776 1117.99/1118.35 c 1115s | 17 | 1962581 | 262732 | 81448 5 | 5 | 776 1120.09/1120.41 c 1117s | 17 | 1964423 | 263332 | 81448 5 | 5 | 776 1122.39/1122.71 c 1119s | 17 | 1965882 | 263932 | 81448 5 | 5 | 776 1124.49/1124.84 c 1121s | 17 | 1968335 | 264332 | 81448 5 | 5 | 776 1126.59/1126.96 c 1124s | 17 | 1970978 | 264732 | 81448 5 | 5 | 776 1128.79/1129.14 c 1126s | 17 | 1973475 | 265032 | 81448 5 | 5 | 776 1131.29/1131.64 c 1128s | 17 | 1976376 | 265532 | 81448 5 | 5 | 776 1133.48/1133.82 c 1130s | 17 | 1980359 | 265932 | 81448 5 | 5 | 776 1135.78/1136.13 c 1133s | 17 | 1983132 | 266432 | 81448 5 | 5 | 776 1138.08/1138.46 c 1135s | 17 | 1987168 | 266832 | 81448 5 | 5 | 776 1140.18/1140.53 c 1137s | 17 | 1989784 | 267232 | 81448 5 | 5 | 776 1142.28/1142.69 c 1139s | 17 | 1993618 | 267632 | 81448 5 | 5 | 776 1144.58/1144.96 c 1142s | 17 | 1997325 | 268232 | 81448 5 | 5 | 776 1146.58/1146.99 c 1144s | 17 | 2000910 | 268732 | 81448 5 | 5 | 776 1148.68/1149.08 c 1146s | 17 | 2004151 | 269232 | 81448 5 | 5 | 776 1150.98/1151.31 c 1148s | 17 | 2007253 | 269732 | 81448 5 | 5 | 776 1152.98/1153.36 c 1150s | 17 | 2010958 | 270232 | 81448 5 | 5 | 776 1155.18/1155.59 c 1152s | 17 | 2013727 | 270732 | 81448 5 | 5 | 776 1157.58/1157.91 c 1155s | 17 | 2016452 | 271432 | 81448 5 | 5 | 776 1159.68/1160.02 c 1157s | 17 | 2018782 | 272032 | 81448 5 | 5 | 776 1161.68/1162.04 c 1159s | 17 | 2020055 | 272632 | 81448 5 | 5 | 776 1163.88/1164.27 c 1161s | 17 | 2022413 | 272932 | 81448 6 | 5 | 776 1165.98/1166.31 c 1163s | 17 | 2024175 | 273332 | 81448 6 | 5 | 776 1168.08/1168.46 c 1165s | 17 | 2028258 | 273832 | 81448 6 | 5 | 776 1170.09/1170.50 c 1167s | 17 | 2031095 | 274332 | 81448 6 | 5 | 776 1172.38/1172.75 c 1169s | 17 | 2034395 | 274832 | 81448 6 | 5 | 776 1174.77/1175.18 c 1172s | 17 | 2038130 | 275432 | 81448 6 | 5 | 776 1177.07/1177.40 c 1174s | 17 | 2041693 | 276032 | 81448 6 | 5 | 776 1179.07/1179.45 c 1176s | 17 | 2043263 | 276532 | 81448 6 | 5 | 776 1181.27/1181.66 c 1178s | 17 | 2045166 | 277032 | 81448 6 | 5 | 776 1183.57/1183.90 c 1180s | 17 | 2047447 | 277532 | 81448 6 | 5 | 776 1185.87/1186.29 c 1183s | 17 | 2049832 | 278132 | 81448 6 | 5 | 776 1187.97/1188.34 c 1185s | 17 | 2052741 | 278732 | 81448 6 | 5 | 776 1190.07/1190.46 c 1187s | 17 | 2054663 | 279332 | 81448 6 | 5 | 776 1192.27/1192.69 c 1189s | 17 | 2056435 | 280132 | 81448 6 | 5 | 776 1194.47/1194.83 c 1191s | 17 | 2058914 | 280732 | 81448 6 | 5 | 776 1196.97/1197.35 c 1194s | 17 | 2063481 | 281232 | 81448 6 | 5 | 776 1199.27/1199.69 c 1196s | 17 | 2067367 | 281832 | 81448 6 | 5 | 776 1201.37/1201.73 c 1198s | 17 | 2069945 | 282332 | 81448 6 | 5 | 776 1203.36/1203.74 c 1200s | 17 | 2072915 | 282732 | 81448 6 | 5 | 776 1205.66/1206.06 c 1203s | 17 | 2075801 | 283332 | 81448 6 | 5 | 776 1207.76/1208.18 c 1205s | 17 | 2077352 | 283832 | 81448 6 | 5 | 776 1209.86/1210.21 c 1207s | 17 | 2080066 | 284332 | 81448 6 | 5 | 776 1212.16/1212.57 c 1209s | 17 | 2081826 | 284932 | 81448 6 | 5 | 776 1214.26/1214.64 c 1211s | 17 | 2084345 | 285432 | 81448 6 | 5 | 776 1216.46/1216.84 c 1213s | 17 | 2085733 | 286032 | 81448 6 | 5 | 776 1218.66/1219.03 c 1216s | 17 | 2088483 | 286632 | 81448 6 | 5 | 776 1221.06/1221.46 c 1218s | 17 | 2091753 | 287232 | 81448 6 | 5 | 776 1223.36/1223.71 c 1220s | 17 | 2094659 | 287832 | 81448 6 | 5 | 776 1225.76/1226.13 c 1223s | 17 | 2097690 | 288432 | 81448 6 | 5 | 776 1227.86/1228.25 c 1225s | 17 | 2100946 | 288932 | 81448 6 | 5 | 776 1230.06/1230.48 c 1227s | 17 | 2103236 | 289432 | 81448 6 | 5 | 776 1232.36/1232.78 c 1229s | 17 | 2105421 | 290032 | 81448 6 | 5 | 776 1234.55/1234.98 c 1232s | 17 | 2107500 | 290632 | 81448 6 | 5 | 776 1236.75/1237.12 c 1234s | 17 | 2109325 | 291232 | 81448 6 | 5 | 776 1239.05/1239.43 c 1236s | 17 | 2111799 | 291832 | 81448 6 | 5 | 776 1241.25/1241.69 c 1238s | 17 | 2114446 | 292332 | 81448 6 | 5 | 776 1243.95/1244.40 c 1241s | 17 | 2116783 | 292832 | 81448 6 | 5 | 776 1246.25/1246.60 c 1243s | 17 | 2119376 | 293232 | 81448 6 | 5 | 776 1248.75/1249.13 c 1246s | 17 | 2121957 | 293732 | 81448 6 | 5 | 776 1251.15/1251.55 c 1248s | 17 | 2124201 | 294232 | 89593 6 | 5 | 776 1253.44/1253.88 c 1250s | 17 | 2127199 | 294732 | 89593 6 | 5 | 776 1255.64/1256.07 c 1253s | 17 | 2129192 | 295132 | 89593 6 | 5 | 776 1257.94/1258.31 c 1255s | 17 | 2131354 | 295532 | 89593 6 | 5 | 776 1260.14/1260.55 c 1257s | 17 | 2133248 | 295932 | 89593 6 | 5 | 776 1261.35/1261.79 c 1258s | 18 | 2135154 | 296252 | 89593 6 | 5 | 776 1263.54/1263.92 c 1261s | 18 | 2136797 | 296652 | 89593 6 | 5 | 776 1265.64/1266.04 c 1263s | 18 | 2139124 | 297152 | 89593 6 | 5 | 776 1267.84/1268.30 c 1265s | 18 | 2141749 | 297752 | 89593 6 | 5 | 776 1269.94/1270.38 c 1267s | 18 | 2144188 | 298352 | 89593 6 | 5 | 776 1272.14/1272.53 c 1269s | 18 | 2146055 | 299052 | 89593 6 | 5 | 776 1274.54/1275.00 c 1272s | 18 | 2149724 | 299752 | 89593 6 | 5 | 776 1276.63/1277.04 c 1274s | 18 | 2153428 | 300252 | 89593 6 | 5 | 776 1278.63/1279.07 c 1276s | 18 | 2156131 | 300752 | 89593 6 | 5 | 776 1280.83/1281.28 c 1278s | 18 | 2159279 | 301252 | 89593 6 | 5 | 776 1283.03/1283.44 c 1280s | 18 | 2161780 | 301852 | 89593 6 | 5 | 776 1285.33/1285.77 c 1282s | 18 | 2163619 | 302352 | 89593 6 | 5 | 776 1287.63/1288.08 c 1285s | 18 | 2166718 | 303052 | 89593 6 | 5 | 776 1289.73/1290.14 c 1287s | 18 | 2168416 | 303652 | 89593 6 | 5 | 776 1291.93/1292.33 c 1289s | 18 | 2170045 | 304252 | 89593 6 | 5 | 776 1294.43/1294.85 c 1291s | 18 | 2172311 | 304752 | 89593 6 | 5 | 776 1296.63/1297.04 c 1294s | 18 | 2174272 | 305152 | 89593 6 | 5 | 776 1298.92/1299.32 c 1296s | 18 | 2176894 | 305652 | 89593 6 | 5 | 776 1301.03/1301.41 c 1298s | 18 | 2178944 | 306052 | 89593 6 | 5 | 776 1303.32/1303.75 c 1300s | 18 | 2181323 | 306452 | 89593 6 | 5 | 776 1305.72/1306.11 c 1303s | 18 | 2183847 | 307052 | 89593 6 | 5 | 776 1307.82/1308.23 c 1305s | 18 | 2185976 | 307552 | 89593 6 | 5 | 776 1309.83/1310.29 c 1307s | 18 | 2188247 | 308152 | 89593 6 | 5 | 776 1312.03/1312.41 c 1309s | 18 | 2189793 | 308752 | 89593 6 | 5 | 776 1314.42/1314.86 c 1311s | 18 | 2191310 | 309352 | 89593 6 | 5 | 776 1316.71/1317.13 c 1314s | 18 | 2193703 | 309852 | 89593 6 | 5 | 776 1319.01/1319.40 c 1316s | 18 | 2195924 | 310252 | 89593 6 | 5 | 776 1321.31/1321.78 c 1318s | 18 | 2198551 | 310752 | 89593 6 | 5 | 776 1323.42/1323.83 c 1320s | 18 | 2200897 | 311252 | 89593 6 | 5 | 776 1325.72/1326.16 c 1323s | 18 | 2202703 | 311752 | 89593 6 | 5 | 776 1328.22/1328.60 c 1325s | 18 | 2204207 | 312252 | 89593 6 | 5 | 776 1330.32/1330.75 c 1327s | 18 | 2205447 | 312752 | 89593 6 | 5 | 776 1332.52/1332.91 c 1330s | 18 | 2207078 | 313352 | 89593 6 | 5 | 776 1334.82/1335.25 c 1332s | 18 | 2208401 | 313952 | 89593 6 | 5 | 776 1337.22/1337.67 c 1334s | 18 | 2210065 | 314552 | 89593 6 | 5 | 776 1339.31/1339.77 c 1336s | 18 | 2211921 | 315052 | 89593 6 | 5 | 776 1341.62/1342.06 c 1339s | 18 | 2213768 | 315552 | 89593 6 | 5 | 776 1344.01/1344.46 c 1341s | 18 | 2215888 | 316052 | 89593 6 | 5 | 776 1346.61/1347.02 c 1344s | 18 | 2217530 | 316552 | 89593 6 | 5 | 776 1348.71/1349.15 c 1346s | 18 | 2219372 | 316952 | 89593 6 | 5 | 776 1351.21/1351.67 c 1348s | 18 | 2221191 | 317452 | 89593 6 | 5 | 776 1353.51/1353.91 c 1351s | 18 | 2223224 | 317952 | 89593 6 | 5 | 776 1355.81/1356.24 c 1353s | 18 | 2224744 | 318452 | 89593 6 | 5 | 776 1358.11/1358.56 c 1355s | 18 | 2226354 | 319052 | 89593 6 | 5 | 776 1360.51/1360.96 c 1358s | 18 | 2227677 | 319552 | 89593 6 | 5 | 776 1362.71/1363.10 c 1360s | 18 | 2229825 | 320052 | 89593 6 | 5 | 776 1364.81/1365.29 c 1362s | 18 | 2231159 | 320452 | 89593 6 | 5 | 776 1367.10/1367.54 c 1364s | 18 | 2232491 | 320952 | 89593 6 | 5 | 776 1369.11/1369.57 c 1366s | 18 | 2233479 | 321452 | 89593 6 | 5 | 776 1371.31/1371.72 c 1368s | 18 | 2234807 | 321952 | 89593 6 | 5 | 776 1373.70/1374.13 c 1371s | 18 | 2236224 | 322452 | 89593 6 | 5 | 776 1375.90/1376.35 c 1373s | 18 | 2237658 | 322952 | 89593 6 | 5 | 776 1377.91/1378.36 c 1375s | 18 | 2239105 | 323452 | 89593 6 | 5 | 776 1380.00/1380.41 c 1377s | 18 | 2240169 | 323852 | 89593 7 | 5 | 776 1382.41/1382.84 c 1379s | 18 | 2241497 | 324252 | 89593 7 | 5 | 776 1384.40/1384.86 c 1381s | 18 | 2243380 | 324852 | 89593 7 | 5 | 776 1386.60/1387.02 c 1384s | 18 | 2245734 | 325552 | 89593 7 | 5 | 776 1388.60/1389.06 c 1386s | 18 | 2247571 | 326252 | 89593 7 | 5 | 776 1390.80/1391.22 c 1388s | 18 | 2249149 | 326852 | 89593 7 | 5 | 776 1392.80/1393.24 c 1390s | 18 | 2250237 | 327452 | 89593 7 | 5 | 776 1394.80/1395.28 c 1392s | 18 | 2251714 | 328052 | 89593 7 | 5 | 776 1396.90/1397.33 c 1394s | 18 | 2253263 | 328652 | 89593 7 | 5 | 776 1399.10/1399.57 c 1396s | 18 | 2254742 | 329452 | 89593 7 | 5 | 776 1401.11/1401.57 c 1398s | 18 | 2256135 | 330152 | 89593 7 | 5 | 776 1403.10/1403.60 c 1400s | 18 | 2257051 | 330752 | 89593 7 | 5 | 776 1405.40/1405.88 c 1402s | 18 | 2258533 | 331352 | 89593 7 | 5 | 776 1407.50/1407.99 c 1405s | 18 | 2259869 | 331952 | 89593 7 | 5 | 776 1409.70/1410.11 c 1407s | 18 | 2261587 | 332552 | 89593 7 | 5 | 776 1411.90/1412.39 c 1409s | 18 | 2262893 | 333152 | 89593 7 | 5 | 776 1414.50/1414.92 c 1412s | 18 | 2264015 | 333652 | 89593 7 | 5 | 776 1416.50/1416.96 c 1414s | 18 | 2265347 | 334052 | 89593 7 | 5 | 776 1418.60/1419.08 c 1416s | 18 | 2266888 | 334452 | 89593 7 | 5 | 776 1421.00/1421.47 c 1418s | 18 | 2269049 | 334952 | 89593 7 | 5 | 776 1423.19/1423.62 c 1420s | 18 | 2271390 | 335452 | 89593 7 | 5 | 776 1425.59/1426.05 c 1423s | 18 | 2272767 | 335952 | 89593 7 | 5 | 776 1427.59/1428.06 c 1425s | 18 | 2273850 | 336452 | 89593 7 | 5 | 776 1429.70/1430.12 c 1427s | 18 | 2275014 | 337052 | 89593 7 | 5 | 776 1431.80/1432.26 c 1429s | 18 | 2277049 | 337552 | 89593 7 | 5 | 776 1434.10/1434.52 c 1431s | 18 | 2279001 | 338052 | 89593 7 | 5 | 776 1436.30/1436.71 c 1433s | 18 | 2280400 | 338552 | 89593 7 | 5 | 776 1438.29/1438.77 c 1435s | 18 | 2281881 | 339052 | 89593 7 | 5 | 776 1440.60/1441.00 c 1438s | 18 | 2283282 | 339652 | 89593 7 | 5 | 776 1476.18/1476.63 c 1473s | 18 | 2284934 | 339952 | 89593 7 | 5 | 776 1497.58/1498.07 c 1495s | 18 | 2286736 | 340052 | 89593 7 | 5 | 776 1517.07/1517.54 c 1514s | 18 | 2289068 | 340152 | 89593 7 | 5 | 776 1519.27/1519.71 c 1516s | 18 | 2293617 | 340452 | 89593 7 | 5 | 776 1521.47/1521.91 c 1519s | 18 | 2295816 | 340752 | 89593 7 | 5 | 776 1523.87/1524.34 c 1521s | 18 | 2298540 | 341252 | 89593 7 | 5 | 776 1525.97/1526.44 c 1523s | 18 | 2300777 | 341552 | 89593 7 | 5 | 776 1528.37/1528.87 c 1525s | 18 | 2304507 | 341852 | 89593 7 | 5 | 776 1530.67/1531.18 c 1528s | 18 | 2309218 | 342152 | 89593 7 | 5 | 776 1532.87/1533.38 c 1530s | 18 | 2311678 | 342452 | 89593 7 | 5 | 776 1535.37/1535.87 c 1532s | 18 | 2314446 | 342952 | 89593 7 | 5 | 776 1537.48/1537.91 c 1535s | 18 | 2317338 | 343252 | 89593 7 | 5 | 776 1539.97/1540.48 c 1537s | 18 | 2322908 | 343652 | 89593 7 | 5 | 776 1542.27/1542.71 c 1539s | 18 | 2325564 | 343952 | 89593 7 | 5 | 776 1544.37/1544.85 c 1541s | 18 | 2328261 | 344352 | 89593 7 | 5 | 776 1546.87/1547.30 c 1544s | 18 | 2331072 | 344752 | 89593 7 | 5 | 776 1549.07/1549.52 c 1546s | 18 | 2335074 | 345052 | 89593 7 | 5 | 776 1551.57/1552.00 c 1549s | 18 | 2338500 | 345352 | 89593 7 | 5 | 776 1553.67/1554.17 c 1551s | 18 | 2343233 | 345752 | 89593 7 | 5 | 776 1555.97/1556.43 c 1553s | 18 | 2346361 | 346252 | 89593 7 | 5 | 776 1558.47/1558.93 c 1556s | 18 | 2350722 | 346652 | 89593 7 | 5 | 776 1560.66/1561.13 c 1558s | 18 | 2354772 | 346952 | 89593 7 | 5 | 776 1562.77/1563.29 c 1560s | 18 | 2357765 | 347252 | 89593 7 | 5 | 776 1564.87/1565.40 c 1562s | 18 | 2362566 | 347752 | 89593 7 | 5 | 776 1567.66/1568.16 c 1565s | 18 | 2367579 | 348252 | 89593 7 | 5 | 776 1569.96/1570.44 c 1567s | 18 | 2371774 | 348652 | 89593 7 | 5 | 776 1572.06/1572.53 c 1569s | 18 | 2374996 | 349152 | 89593 7 | 5 | 776 1574.36/1574.88 c 1571s | 18 | 2378873 | 349452 | 89593 7 | 5 | 776 1576.76/1577.21 c 1574s | 18 | 2382347 | 349752 | 89593 7 | 5 | 776 1578.76/1579.28 c 1576s | 18 | 2385591 | 350052 | 89593 7 | 5 | 776 1581.16/1581.66 c 1578s | 18 | 2388708 | 350452 | 89593 7 | 5 | 776 1583.57/1584.03 c 1581s | 18 | 2392265 | 350952 | 89593 7 | 5 | 776 1585.77/1586.27 c 1583s | 18 | 2395203 | 351252 | 89593 7 | 5 | 776 1587.86/1588.39 c 1585s | 18 | 2398067 | 351652 | 89593 7 | 5 | 776 1589.96/1590.42 c 1587s | 18 | 2400618 | 352052 | 89593 7 | 5 | 776 1591.96/1592.45 c 1589s | 18 | 2404300 | 352352 | 89593 7 | 5 | 776 1594.36/1594.89 c 1591s | 18 | 2407305 | 352852 | 89593 7 | 5 | 776 1596.77/1597.26 c 1594s | 18 | 2411039 | 353252 | 89593 7 | 5 | 776 1598.97/1599.44 c 1596s | 18 | 2412626 | 353652 | 89593 7 | 5 | 776 1601.56/1602.09 c 1599s | 18 | 2415558 | 354052 | 89593 7 | 5 | 776 1603.87/1604.36 c 1601s | 18 | 2418232 | 354352 | 89593 7 | 5 | 776 1606.07/1606.50 c 1603s | 18 | 2420074 | 354752 | 89593 7 | 5 | 776 1608.07/1608.58 c 1605s | 18 | 2423227 | 355152 | 89593 7 | 5 | 776 1610.17/1610.60 c 1607s | 18 | 2425449 | 355552 | 89593 7 | 5 | 776 1612.56/1613.03 c 1610s | 18 | 2427835 | 355952 | 89593 7 | 5 | 776 1615.06/1615.56 c 1612s | 18 | 2431004 | 356352 | 89593 7 | 5 | 776 1617.56/1618.03 c 1615s | 18 | 2434456 | 356852 | 89593 7 | 5 | 776 1620.06/1620.54 c 1617s | 18 | 2438124 | 357252 | 89593 7 | 5 | 776 1622.36/1622.87 c 1619s | 18 | 2440449 | 357652 | 89593 7 | 5 | 776 1624.56/1625.01 c 1622s | 18 | 2442157 | 357952 | 89593 7 | 5 | 776 1626.76/1627.20 c 1624s | 18 | 2443778 | 358352 | 89593 7 | 5 | 776 1628.96/1629.40 c 1626s | 18 | 2445637 | 358752 | 89593 7 | 5 | 776 1630.97/1631.42 c 1628s | 18 | 2448327 | 359152 | 89593 7 | 5 | 776 1633.36/1633.89 c 1630s | 18 | 2450058 | 359552 | 89593 7 | 5 | 776 1635.46/1635.91 c 1633s | 18 | 2452883 | 359952 | 89593 7 | 5 | 776 1637.66/1638.20 c 1635s | 18 | 2454488 | 360352 | 89593 7 | 5 | 776 1640.26/1640.78 c 1637s | 18 | 2456735 | 360752 | 89593 7 | 5 | 776 1642.76/1643.25 c 1640s | 18 | 2458421 | 361152 | 89593 7 | 5 | 776 1645.36/1645.80 c 1642s | 18 | 2459959 | 361652 | 89593 7 | 5 | 776 1647.66/1648.15 c 1645s | 18 | 2461272 | 362052 | 89593 7 | 5 | 776 1649.96/1650.47 c 1647s | 18 | 2462908 | 362452 | 89593 7 | 5 | 776 1652.46/1652.94 c 1650s | 18 | 2463770 | 362852 | 89593 7 | 5 | 776 1654.86/1655.34 c 1652s | 18 | 2465292 | 363352 | 89593 7 | 5 | 776 1657.27/1657.79 c 1654s | 18 | 2466347 | 363852 | 89593 7 | 5 | 776 1659.56/1660.05 c 1657s | 18 | 2467594 | 364252 | 89593 7 | 5 | 776 1661.66/1662.12 c 1659s | 18 | 2469448 | 364652 | 89593 7 | 5 | 776 1663.76/1664.28 c 1661s | 18 | 2471845 | 364952 | 89593 7 | 5 | 776 1666.26/1666.72 c 1663s | 18 | 2475038 | 365252 | 89593 7 | 5 | 776 1668.56/1669.05 c 1666s | 18 | 2478730 | 365552 | 89593 7 | 5 | 776 1671.16/1671.68 c 1668s | 18 | 2482705 | 365852 | 89593 7 | 5 | 776 1673.96/1674.48 c 1671s | 18 | 2486324 | 366152 | 89593 7 | 5 | 776 1676.76/1677.21 c 1674s | 18 | 2490014 | 366452 | 89593 7 | 5 | 776 1679.36/1679.85 c 1676s | 18 | 2492591 | 366752 | 89593 7 | 5 | 776 1681.35/1681.89 c 1678s | 18 | 2495444 | 367052 | 89593 7 | 5 | 776 1683.45/1683.94 c 1681s | 18 | 2498524 | 367552 | 89593 7 | 5 | 776 1686.65/1687.19 c 1684s | 18 | 2501281 | 367852 | 89593 8 | 5 | 776 1690.36/1690.88 c 1687s | 18 | 2503261 | 367952 | 89593 8 | 5 | 776 1693.34/1693.83 c 1690s | 18 | 2506935 | 368152 | 89593 8 | 5 | 776 1696.04/1696.52 c 1693s | 18 | 2510744 | 368452 | 89593 8 | 5 | 776 1698.05/1698.53 c 1695s | 18 | 2514819 | 368752 | 89593 8 | 5 | 776 1700.25/1700.72 c 1697s | 18 | 2518580 | 369352 | 89593 8 | 5 | 776 1702.54/1703.00 c 1700s | 18 | 2521332 | 369752 | 89593 8 | 5 | 776 1704.94/1705.43 c 1702s | 18 | 2525896 | 370152 | 89593 8 | 5 | 776 1707.74/1708.20 c 1705s | 18 | 2529296 | 370452 | 89593 8 | 5 | 776 1709.84/1710.38 c 1707s | 18 | 2533655 | 370752 | 89593 8 | 5 | 776 1712.04/1712.52 c 1709s | 18 | 2536772 | 371052 | 89593 8 | 5 | 776 1714.55/1715.01 c 1712s | 18 | 2540757 | 371452 | 89593 8 | 5 | 776 1717.04/1717.50 c 1714s | 18 | 2544845 | 372052 | 89593 8 | 5 | 776 1719.44/1719.92 c 1717s | 18 | 2549085 | 372452 | 89593 8 | 5 | 776 1722.15/1722.64 c 1719s | 18 | 2554986 | 372852 | 89593 8 | 5 | 776 1724.74/1725.25 c 1722s | 18 | 2559864 | 373252 | 89593 8 | 5 | 776 1727.24/1727.71 c 1724s | 18 | 2565319 | 373952 | 89593 8 | 5 | 776 1729.74/1730.24 c 1727s | 18 | 2568994 | 374352 | 89593 8 | 5 | 776 1731.74/1732.29 c 1729s | 18 | 2572919 | 374652 | 89593 8 | 5 | 776 1733.84/1734.34 c 1731s | 18 | 2576367 | 374952 | 89593 8 | 5 | 776 1735.94/1736.40 c 1733s | 18 | 2581064 | 375452 | 89593 8 | 5 | 776 1738.24/1738.74 c 1735s | 18 | 2585086 | 375952 | 89593 8 | 5 | 776 1740.44/1740.93 c 1738s | 18 | 2588672 | 376252 | 89593 8 | 5 | 776 1743.04/1743.51 c 1740s | 18 | 2593065 | 376652 | 89593 8 | 5 | 776 1745.24/1745.78 c 1742s | 18 | 2596823 | 377052 | 89593 8 | 5 | 776 1747.34/1747.87 c 1744s | 18 | 2601397 | 377652 | 89593 8 | 5 | 776 1749.84/1750.39 c 1747s | 18 | 2606817 | 378052 | 89593 8 | 5 | 776 1752.13/1752.68 c 1749s | 18 | 2611445 | 378452 | 89593 8 | 5 | 776 1754.63/1755.11 c 1752s | 18 | 2614911 | 379052 | 89593 8 | 5 | 776 1756.73/1757.30 c 1754s | 18 | 2619627 | 379452 | 89593 8 | 5 | 776 1759.43/1759.97 c 1757s | 18 | 2624429 | 379852 | 89593 8 | 5 | 776 1762.04/1762.56 c 1759s | 18 | 2628769 | 380252 | 89593 8 | 5 | 776 1764.04/1764.58 c 1761s | 18 | 2631744 | 380652 | 89593 8 | 5 | 776 1766.43/1766.97 c 1764s | 18 | 2635706 | 381252 | 89593 8 | 5 | 776 1768.53/1769.02 c 1766s | 18 | 2638992 | 381552 | 89593 8 | 5 | 776 1770.73/1771.22 c 1768s | 18 | 2641857 | 381952 | 89593 8 | 5 | 776 1772.84/1773.34 c 1770s | 18 | 2644458 | 382452 | 89593 8 | 5 | 776 1775.33/1775.80 c 1772s | 18 | 2649395 | 382852 | 89593 8 | 5 | 776 1777.63/1778.15 c 1775s | 18 | 2652949 | 383252 | 89593 8 | 5 | 776 1780.03/1780.52 c 1777s | 18 | 2656382 | 383852 | 89593 8 | 5 | 776 1782.33/1782.88 c 1779s | 18 | 2660390 | 384252 | 89593 8 | 5 | 776 1784.73/1785.29 c 1782s | 18 | 2665185 | 384852 | 89593 8 | 5 | 776 1786.93/1787.45 c 1784s | 18 | 2671537 | 385252 | 89593 8 | 5 | 776 1789.53/1790.00 c 1787s | 18 | 2675024 | 385652 | 89593 8 | 5 | 776 1791.83/1792.39 c 1789s | 18 | 2677245 | 386152 | 89593 8 | 5 | 776 1794.23/1794.71 c 1791s | 18 | 2680885 | 386552 | 89593 8 | 5 | 776 1796.53/1797.05 c 1794s | 18 | 2684878 | 386952 | 89593 8 | 5 | 776 1798.63/1799.12 c 1796s | 18 | 2687305 | 387452 | 89593 8 | 5 | 776
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-4098213-1466119979/watcher-4098213-1466119979 -o /tmp/evaluation-result-4098213-1466119979/solver-4098213-1466119979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466119939-23835 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098213-1466119979.opb pid=24061 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.74 1.62 1.93 4/181 24064 /proc/meminfo: memFree=29180420/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=603580 CPUtime=0 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 2233 0 0 0 0 0 0 0 20 0 4 0 14044320 618065920 2083 33554432000 4194304 16246674 140734366118624 140734366118048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 151663 2092 441 2943 0 148557 0 [pid=24064/tid=24065] ppid=24061 vsize=623036 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 637988864 2156 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=627132 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 642183168 2174 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=631228 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14044320 646377472 2191 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 1.74 1.62 1.93 4/181 24064 /proc/meminfo: memFree=29180420/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 28124 0 0 0 5 4 0 0 20 0 4 0 14044320 1250496512 27912 33554432000 4194304 16246674 140734366118624 140734366117936 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 305297 27918 801 2943 0 302191 0 [pid=24064/tid=24065] ppid=24061 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1250496512 27923 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1250496512 27928 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1250496512 27934 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200474 s] /proc/loadavg: 1.74 1.62 1.93 4/181 24064 /proc/meminfo: memFree=29180420/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 50614 0 0 0 11 8 0 0 20 0 4 0 14044320 1344868352 50913 33554432000 4194304 16246674 140734366118624 140734366117936 8058696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 328337 50913 801 2943 0 325231 0 [pid=24064/tid=24065] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 50913 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 50913 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 50913 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300436 s] /proc/loadavg: 1.74 1.62 1.93 4/181 24064 /proc/meminfo: memFree=29180420/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 56365 0 0 0 20 9 0 0 20 0 4 0 14044320 1344868352 56664 33554432000 4194304 16246674 140734366118624 140734366117936 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 328337 56664 801 2943 0 325231 0 [pid=24064/tid=24065] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 56664 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 56664 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 56664 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700451 s] /proc/loadavg: 1.74 1.62 1.93 4/181 24064 /proc/meminfo: memFree=29180420/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 69815 0 0 0 58 11 0 0 20 0 4 0 14044320 1344868352 70114 33554432000 4194304 16246674 140734366118624 140734366116416 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 328337 70114 802 2943 0 325231 0 [pid=24064/tid=24065] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 70114 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 70114 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 70114 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50044 s] /proc/loadavg: 1.74 1.62 1.93 4/185 24068 /proc/meminfo: memFree=28865944/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 171002 0 0 0 125 24 0 0 20 0 4 0 14044320 1344868352 171301 33554432000 4194304 16246674 140734366118624 140734366100544 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 328337 171312 837 2943 0 325231 0 [pid=24064/tid=24065] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 171318 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 171326 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1344868352 171336 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10045 s] /proc/loadavg: 1.74 1.62 1.93 4/185 24068 /proc/meminfo: memFree=28096152/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=3.08 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271046 0 0 0 271 37 0 0 20 0 4 0 14044320 1353256960 271345 33554432000 4194304 16246674 140734366118624 140734366117936 5823420 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271345 878 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271345 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271345 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271345 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1321540 [startup+6.30045 s] /proc/loadavg: 1.76 1.63 1.93 3/185 24068 /proc/meminfo: memFree=28095416/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=6.28 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271054 0 0 0 591 37 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140734366100544 6836953 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271353 881 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1321540 [startup+12.7005 s] /proc/loadavg: 1.78 1.63 1.93 3/185 24068 /proc/meminfo: memFree=28095452/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=12.68 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271054 0 0 0 1231 37 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140734366100544 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271353 881 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1321540 [startup+25.5005 s] /proc/loadavg: 1.83 1.65 1.93 3/185 24068 /proc/meminfo: memFree=28095940/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=25.48 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271054 0 0 0 2511 37 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140734366101624 12483632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271353 881 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1321540 [startup+51.1004 s] /proc/loadavg: 2.09 1.72 1.95 4/185 24068 /proc/meminfo: memFree=28095544/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=51.08 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271054 0 0 0 5071 37 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140734366100544 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271353 881 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271353 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.20 1.81 1.97 3/185 24069 /proc/meminfo: memFree=28095224/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 271059 0 0 0 10190 38 0 0 20 0 4 0 14044320 1353256960 271358 33554432000 4194304 16246674 140734366118624 140734366100544 5663277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 330385 271358 885 2943 0 327279 0 [pid=24064/tid=24065] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271358 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271358 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1353256960 271358 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1473843200 300985 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1439300 [startup+1362.3 s] /proc/loadavg: 2.32 2.22 2.14 3/186 24101 /proc/meminfo: memFree=27902788/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1439300 CPUtime=1361.91 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 300742 0 0 0 136145 46 0 0 20 0 4 0 14044320 1473843200 300985 33554432000 4194304 16246674 140734366118624 140734366100544 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 359825 300985 889 2943 0 356719 0 [pid=24064/tid=24065] ppid=24061 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1473843200 300985 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1473843200 300985 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1473843200 300985 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1439300 [startup+1422.3 s] /proc/loadavg: 2.22 2.21 2.14 3/185 24102 /proc/meminfo: memFree=27849416/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1421.9 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314134 0 0 0 142142 48 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1492548 [startup+1482.3 s] /proc/loadavg: 2.24 2.22 2.15 4/185 24104 /proc/meminfo: memFree=27848996/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1481.88 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 148137 51 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366117800 13950619 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1492548 [startup+1542.31 s] /proc/loadavg: 2.18 2.21 2.15 3/185 24105 /proc/meminfo: memFree=27849704/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1541.87 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 154133 54 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1492548 [startup+1602.3 s] /proc/loadavg: 2.25 2.23 2.16 3/185 24106 /proc/meminfo: memFree=27849312/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1601.87 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 160132 55 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1492548 [startup+1662.3 s] /proc/loadavg: 2.17 2.21 2.16 4/186 24110 /proc/meminfo: memFree=27849400/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1661.86 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 166131 55 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1492548 [startup+1722.3 s] /proc/loadavg: 2.16 2.20 2.16 3/186 24134 /proc/meminfo: memFree=27848768/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1721.84 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 172129 55 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1492548 [startup+1782.3 s] /proc/loadavg: 1.87 2.13 2.13 3/176 24167 /proc/meminfo: memFree=29028796/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1781.83 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 178127 56 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 6020448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1492548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.67 2.07 2.11 3/176 24167 /proc/meminfo: memFree=29029548/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1800.03 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 179947 56 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 6842961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1492548 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 24064 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.67 2.07 2.11 3/176 24167 /proc/meminfo: memFree=29029548/32872528 swapFree=1481856/1661728 [pid=24064] ppid=24061 vsize=1492548 CPUtime=1800.03 cores=0,2,4,6 /proc/24064/stat : 24064 (toysat) R 24061 24064 20832 0 -1 4202496 314136 0 0 0 179947 56 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140734366100544 6842961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24064/statm: 373137 314371 889 2943 0 370031 0 [pid=24064/tid=24065] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24065/stat : 24065 (toysat) S 24061 24064 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074923568368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24064/tid=24066] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24066/stat : 24066 (toysat) S 24061 24064 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074913078512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=24064/tid=24067] ppid=24061 vsize=1492548 CPUtime=0 cores=0,2,4,6 /proc/24064/task/24067/stat : 24067 (toysat) S 24061 24064 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14044320 1528369152 314371 33554432000 4194304 16246674 140734366118624 140074902604976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1492548 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.48 CPU system time (s): 0.567913 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1492548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.567913 maximum resident set size= 1257484 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 314136 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= 347 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.95294 second user time and 7.72382 second system time The end
Begin job on node134 at 2016-06-17 01:32:59 IDJOB=4098213 IDBENCH=107868 IDSOLVER=2542 FILE ID=node134/4098213-1466119979 RUNJOBID= node134-1466119939-23835 PBS_JOBID= 19904059 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_26.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098213-1466119979/watcher-4098213-1466119979 -o /tmp/evaluation-result-4098213-1466119979/solver-4098213-1466119979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466119939-23835 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098213-1466119979.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 787242a9ec472b67f7e3c250c21ec4a3 RANDOM SEED=423989889 node134.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 : 2667.020 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 : 5334.04 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 : 2667.020 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 : 7358.89 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 : 2667.020 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 : 2667.020 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.020 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 : 2667.020 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.54 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 : 2667.020 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 : 2667.020 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: 29180800 kB Buffers: 57224 kB Cached: 169184 kB SwapCached: 8900 kB Active: 1223836 kB Inactive: 98892 kB Active(anon): 1090592 kB Inactive(anon): 8200 kB Active(file): 133244 kB Inactive(file): 90692 kB Unevictable: 1661728 kB Mlocked: 1481856 kB SwapTotal: 67108856 kB SwapFree: 67092052 kB Dirty: 22068 kB Writeback: 0 kB AnonPages: 2752588 kB Mapped: 10672 kB Shmem: 0 kB Slab: 571256 kB SReclaimable: 15128 kB SUnreclaim: 556128 kB KernelStack: 1536 kB PageTables: 9500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2896612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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= 71700 MiB End job on node134 at 2016-06-17 02:03:00