Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.14 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | d484bc8efed557f17788965b19feafe5 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4602 |
Total number of constraints | 30179 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
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-06T16:11:32+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-4078755-1465222292.opb"] 0.00/0.01 c use --random-gen="3533565264 3692759540 1495400860 3317770268 832756281 3523347641 363551872 3504984037 468427321 3633745496 2856297947 4212638720 2756862662 1320628482 1544601071 2878256722 2911845115 1834562166 1537805320 86589271 2945690381 352564407 2721500906 88598484 654116881 289856571 2306691934 2541713932 4240343396 2600771269 4269581452 1757639686 437179793 3283946980 1125197561 1057107589 978118215 15519256 9406751 1696638695 1687233632 428906945 1009585353 782546900 3954787802 3332231023 3715539864 1560077003 3025188974 740946134 2663417092 63550869 967470641 2414012948 3419744642 3348324810 1848623127 1619496143 2214416292 4264203594 3706451932 2146392437 2838058855 788770430 2045422328 2835515871 3299687036 1179192821 972040440 1178346683 2248915077 4086231106 740299260 4124406780 3147525369 463863061 1912557531 2547583158 1061574130 962977349 300881738 2379490820 1165266352 426742679 924812247 307670778 649965733 179548965 3227246580 3041857054 1784940111 4119604694 1769240463 1811616756 4068962188 2538622306 2079321149 881423321 4020360957 1186695734 2542494965 2421135985 197533809 1612097877 1290828619 2242865653 3432407152 1750624727 4107015841 1091498891 2055075533 1563591524 3078381541 3853775654 1403795934 878984224 2258823706 4021647881 3849841853 1672371928 1716792735 1016228264 3684880314 3120860725 3696601617 1747519489 2041918982 3433502180 3542343079 1337854322 3776396760 3921981573 1709929515 2483502149 1458398128 1697541560 3099591280 4086542163 554486331 2953751577 540858710 637532350 2079811188 3850775163 2238053306 3260691085 120804315 2603027359 3021726811 1757227530 67202519 1882727882 2702849934 1381097030 4071705613 1506156669 724127473 693233271 809112580 126950430 1431643588 4189866153 1320084410 2506859091 3408249590 2560148923 4196176995 2828389465 3625154700 2018651296 2645448922 3178081542 4091490052 2547755760 4170756859 1234933114 1449138744 1609648782 3254809892 2465046636 1308712807 3310108708 3735641385 3474309160 1880135175 1337683819 1085004482 2921287143 1658442428 1714195381 1090778280 1700152459 2126111667 2900518479 3059651385 2448747247 960860021 3917789207 2464215824 3943662518 51284364 1036921332 3617405883 2201782739 4026399261 3913807191 3727853755 1410613649 3929692801 1869824855 3536628982 1672982524 2518583501 1697937715 2542911452 3056282622 4154270615 3333161629 1464857488 1387937433 3860103289 139218207 2733071401 459055236 2373430082 2712225604 4216626604 1857888114 2584776585 3901025644 3107443166 635138547 4248850952 3122196020 2003923005 3133618694 2743977625 107347111 3226414764 4060160747 2241672839 1321246678 897938473 378309618 2801500514 3907524537 2741587467 3731103078 1270994201 1063254775 2035520594 116897653 3995774653 3869243082 3750527023 3974147823 255 362436" option to reproduce the execution 0.19/0.24 c #vars 4602 0.19/0.24 c #constraints 30179 0.69/0.71 c Solving starts ... 0.69/0.71 c ============================[ Search Statistics ]============================ 0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.71 c | | | | Limit GC | Var | Constra 0.69/0.71 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 11651 0 | 0 | 0 0.79/0.81 c 0.0s | 1 | 565 | 100 | 11651 0 | 0 | 0 0.79/0.86 c 0.1s | 2 | 1345 | 250 | 12817 0 | 0 | 0 0.89/0.93 c 0.1s | 3 | 2369 | 475 | 14099 0 | 0 | 0 0.99/1.04 c 0.3s | 4 | 3107 | 813 | 15509 0 | 0 | 0 1.29/1.31 c 0.5s | 5 | 4789 | 1320 | 17060 0 | 0 | 0 1.68/1.72 c 0.9s | 6 | 7687 | 2081 | 20643 0 | 0 | 0 2.08/2.16 c 1.4s | 7 | 9366 | 3223 | 22708 0 | 0 | 0 2.78/2.84 c 2.1s | 8 | 12000 | 4936 | 24979 0 | 0 | 0 4.18/4.21 c 3.4s | 9 | 16226 | 7506 | 27477 0 | 0 | 0 5.68/5.79 c 5.0s | 10 | 20735 | 11361 | 30225 0 | 0 | 0 7.79/7.83 c 7.0s | 10 | 26161 | 16061 | 30225 0 | 0 | 0 8.38/8.40 c 7.6s | 11 | 27394 | 17144 | 33248 0 | 0 | 0 10.38/10.45 c 9.7s | 11 | 31841 | 21144 | 33248 0 | 0 | 0 12.48/12.52 c 11.7s | 11 | 35079 | 24244 | 33248 0 | 0 | 0 13.68/13.74 c 13.0s | 12 | 36746 | 25819 | 36573 0 | 0 | 0 15.78/15.83 c 15.0s | 12 | 42036 | 28919 | 36573 0 | 0 | 0 17.88/17.91 c 17.1s | 12 | 44661 | 31219 | 36573 0 | 0 | 0 19.89/19.94 c 19.2s | 12 | 46580 | 32919 | 36573 0 | 0 | 0 21.99/22.04 c 21.2s | 12 | 48492 | 34619 | 36573 0 | 0 | 0 24.08/24.10 c 23.3s | 12 | 50168 | 36119 | 36573 0 | 0 | 0 26.08/26.18 c 25.4s | 12 | 51865 | 37619 | 36573 0 | 0 | 0 27.88/27.92 c 27.1s | 13 | 53278 | 38832 | 40231 0 | 0 | 0 29.88/29.92 c 29.1s | 13 | 57304 | 41032 | 40231 1 | 0 | 0 31.89/31.97 c 31.2s | 13 | 60312 | 43632 | 40231 1 | 0 | 0 33.98/34.01 c 33.2s | 13 | 62795 | 45832 | 40231 1 | 0 | 0 36.08/36.13 c 35.3s | 13 | 64661 | 47532 | 40231 1 | 0 | 0 38.28/38.32 c 37.5s | 13 | 66254 | 48932 | 40231 1 | 0 | 0 40.28/40.36 c 39.6s | 13 | 68048 | 50532 | 40231 1 | 0 | 0 42.38/42.40 c 41.6s | 13 | 70038 | 52232 | 40231 1 | 0 | 0 44.48/44.52 c 43.7s | 13 | 71852 | 53832 | 40231 1 | 0 | 0 46.58/46.65 c 45.9s | 13 | 73465 | 55232 | 40231 1 | 0 | 0 48.78/48.81 c 48.0s | 13 | 74950 | 56532 | 40231 1 | 0 | 0 50.88/50.94 c 50.1s | 13 | 76419 | 57632 | 40231 1 | 0 | 0 52.18/52.26 c 51.5s | 14 | 77413 | 58352 | 44255 1 | 0 | 0 54.28/54.31 c 53.5s | 14 | 82409 | 61152 | 44255 1 | 0 | 0 56.28/56.36 c 55.6s | 14 | 85355 | 63752 | 44255 1 | 0 | 0 58.38/58.44 c 57.6s | 14 | 87652 | 65852 | 44255 1 | 0 | 0 60.58/60.68 c 59.9s | 14 | 89313 | 67352 | 44255 2 | 0 | 0 62.57/62.69 c 61.9s | 14 | 91196 | 69052 | 44255 2 | 0 | 0 64.67/64.76 c 64.0s | 14 | 92958 | 70652 | 44255 2 | 0 | 0 66.77/66.84 c 66.0s | 14 | 94681 | 72152 | 44255 2 | 0 | 0 68.77/68.89 c 68.1s | 14 | 96145 | 73452 | 44255 2 | 0 | 0 70.87/70.99 c 70.2s | 14 | 97767 | 74852 | 44255 2 | 0 | 0 72.97/73.00 c 72.2s | 14 | 98958 | 75952 | 44255 2 | 0 | 0 74.97/75.09 c 74.3s | 14 | 100189 | 77052 | 44255 2 | 0 | 0 77.17/77.21 c 76.4s | 14 | 101405 | 78152 | 44255 2 | 0 | 0 79.28/79.34 c 78.6s | 14 | 103036 | 79552 | 44255 2 | 0 | 0 81.38/81.45 c 80.7s | 14 | 104353 | 80752 | 44255 2 | 0 | 0 83.37/83.50 c 82.7s | 14 | 105720 | 81952 | 44255 2 | 0 | 0 85.47/85.57 c 84.8s | 14 | 106939 | 83052 | 44255 2 | 0 | 0 87.57/87.69 c 86.9s | 14 | 108602 | 84452 | 44255 2 | 0 | 0 89.57/89.69 c 88.9s | 14 | 109986 | 85652 | 44255 2 | 0 | 0 91.77/91.82 c 91.0s | 14 | 111099 | 86652 | 44255 2 | 0 | 0 93.58/93.66 c 92.9s | 15 | 112187 | 87632 | 48681 2 | 0 | 0 95.68/95.71 c 94.9s | 15 | 115804 | 90132 | 48681 2 | 0 | 0 97.98/98.06 c 97.3s | 15 | 119135 | 93032 | 48681 3 | 0 | 0 99.97/100.08 c 99.3s | 15 | 122457 | 95532 | 48681 3 | 0 | 0 102.07/102.15 c 101s | 15 | 125477 | 97932 | 48681 3 | 0 | 0 104.07/104.18 c 103s | 15 | 127169 | 99432 | 48681 3 | 0 | 0 106.17/106.26 c 105s | 15 | 128872 | 100932 | 48681 3 | 0 | 0 108.17/108.29 c 107s | 15 | 131179 | 102632 | 48681 3 | 0 | 0 110.37/110.42 c 109s | 15 | 133162 | 104332 | 48681 3 | 0 | 0 112.37/112.49 c 111s | 15 | 134830 | 105732 | 48681 3 | 0 | 0 114.47/114.54 c 113s | 15 | 136364 | 107132 | 48681 3 | 0 | 0 116.57/116.69 c 115s | 15 | 137761 | 108432 | 48681 3 | 0 | 0 118.77/118.82 c 118s | 15 | 139600 | 109932 | 48681 3 | 0 | 0 120.76/120.89 c 120s | 15 | 141057 | 111232 | 48681 3 | 0 | 0 122.96/123.02 c 122s | 15 | 142587 | 112632 | 48681 3 | 0 | 0 125.06/125.11 c 124s | 15 | 144054 | 113932 | 48681 3 | 0 | 0 127.16/127.29 c 126s | 15 | 145421 | 115232 | 48681 3 | 0 | 0 129.26/129.36 c 128s | 15 | 147078 | 116732 | 48681 3 | 0 | 0 131.26/131.36 c 130s | 15 | 148023 | 117632 | 48681 4 | 0 | 0 133.36/133.44 c 132s | 15 | 149726 | 119232 | 48681 4 | 0 | 0 135.37/135.44 c 134s | 15 | 151229 | 120632 | 48681 4 | 0 | 0 137.36/137.49 c 136s | 15 | 153110 | 122332 | 48681 4 | 0 | 0 139.56/139.60 c 138s | 15 | 154725 | 123832 | 48681 4 | 0 | 0 141.56/141.65 c 140s | 15 | 155809 | 124832 | 48681 4 | 0 | 0 143.66/143.72 c 142s | 15 | 157349 | 126132 | 48681 4 | 0 | 0 145.76/145.89 c 145s | 15 | 158719 | 127432 | 48681 4 | 0 | 0 147.86/147.99 c 147s | 15 | 160096 | 128632 | 48681 4 | 0 | 0 150.06/150.10 c 149s | 15 | 161600 | 129832 | 48681 4 | 0 | 0 152.17/152.24 c 151s | 15 | 163582 | 131532 | 53550 4 | 0 | 0 152.17/152.27 c 151s | 16 | 163610 | 131552 | 53550 4 | 0 | 0 154.17/154.27 c 153s | 16 | 167726 | 133252 | 53550 4 | 0 | 0 156.28/156.33 c 155s | 16 | 170306 | 135552 | 53550 4 | 0 | 0 158.27/158.34 c 157s | 16 | 172798 | 137752 | 53550 4 | 0 | 0 160.27/160.35 c 159s | 16 | 174916 | 139652 | 53550 4 | 0 | 0 162.37/162.41 c 161s | 16 | 176908 | 141452 | 53550 4 | 0 | 0 164.37/164.44 c 163s | 16 | 178804 | 143152 | 53550 4 | 0 | 0 166.46/166.50 c 165s | 16 | 180282 | 144452 | 53550 4 | 0 | 0 168.46/168.54 c 167s | 16 | 182200 | 146152 | 53550 4 | 0 | 0 170.57/170.60 c 169s | 16 | 184014 | 147752 | 53550 4 | 0 | 0 172.56/172.63 c 171s | 16 | 185256 | 148852 | 53550 5 | 0 | 0 174.66/174.76 c 173s | 16 | 186964 | 150352 | 53550 5 | 0 | 0 176.76/176.82 c 176s | 16 | 188507 | 151752 | 53550 5 | 0 | 0 178.76/178.84 c 178s | 16 | 189816 | 152952 | 53550 5 | 0 | 0 180.96/181.00 c 180s | 16 | 191190 | 154152 | 53550 5 | 0 | 0 183.06/183.19 c 182s | 16 | 192494 | 155352 | 53550 5 | 0 | 0 185.16/185.29 c 184s | 16 | 193841 | 156552 | 53550 5 | 0 | 0 187.26/187.31 c 186s | 16 | 195066 | 157652 | 53550 5 | 0 | 0 189.36/189.46 c 188s | 16 | 196444 | 158852 | 53550 5 | 0 | 0 191.36/191.49 c 190s | 16 | 197595 | 159852 | 53550 5 | 0 | 0 193.46/193.54 c 192s | 16 | 198775 | 160852 | 53550 5 | 0 | 0 195.46/195.57 c 194s | 16 | 199901 | 161852 | 53550 5 | 0 | 0 197.66/197.74 c 196s | 16 | 200885 | 162752 | 53550 5 | 0 | 0 199.86/199.99 c 199s | 16 | 201900 | 163652 | 53550 5 | 0 | 0 202.06/202.18 c 201s | 16 | 202816 | 164452 | 53550 5 | 0 | 0 204.26/204.38 c 203s | 16 | 203703 | 165252 | 53550 5 | 0 | 0 206.45/206.53 c 205s | 16 | 204599 | 166052 | 53550 5 | 0 | 0 208.55/208.66 c 207s | 16 | 205481 | 166852 | 53550 5 | 0 | 0 210.85/210.92 c 210s | 16 | 206338 | 167652 | 53550 5 | 0 | 0 212.95/213.02 c 212s | 16 | 207190 | 168452 | 53550 5 | 0 | 0 214.95/215.03 c 214s | 16 | 207976 | 169152 | 53550 5 | 0 | 0 217.15/217.24 c 216s | 16 | 208751 | 169852 | 53550 5 | 0 | 0 219.35/219.44 c 218s | 16 | 209603 | 170652 | 53550 5 | 0 | 0 221.35/221.48 c 220s | 16 | 210361 | 171352 | 53550 5 | 0 | 0 223.45/223.58 c 222s | 16 | 211124 | 172052 | 53550 5 | 0 | 0 225.65/225.79 c 225s | 16 | 212006 | 172852 | 53550 5 | 0 | 0 227.95/228.08 c 227s | 16 | 212871 | 173652 | 53550 5 | 0 | 0 230.05/230.12 c 229s | 16 | 213633 | 174352 | 53550 5 | 0 | 0 232.16/232.25 c 231s | 16 | 214391 | 175052 | 53550 5 | 0 | 0 234.26/234.38 c 233s | 16 | 215143 | 175752 | 53550 5 | 0 | 0 236.35/236.47 c 235s | 16 | 215794 | 176352 | 53550 5 | 0 | 0 240.96/241.09 c 240s | 16 | 216014 | 176552 | 53550 6 | 0 | 0 242.95/243.10 c 242s | 16 | 216873 | 177352 | 53550 6 | 0 | 0 245.05/245.19 c 244s | 16 | 217756 | 178152 | 53550 6 | 0 | 0 247.25/247.40 c 246s | 16 | 218738 | 179052 | 53550 6 | 0 | 0 249.45/249.53 c 248s | 16 | 219597 | 179852 | 53550 6 | 0 | 0 251.55/251.64 c 250s | 16 | 220602 | 180752 | 53550 6 | 0 | 0 253.75/253.84 c 253s | 16 | 221602 | 181652 | 53550 6 | 0 | 0 255.75/255.87 c 255s | 16 | 222488 | 182452 | 53550 6 | 0 | 0 257.95/258.08 c 257s | 16 | 223476 | 183352 | 53550 6 | 0 | 0 260.15/260.26 c 259s | 16 | 224370 | 184152 | 53550 6 | 0 | 0 262.35/262.42 c 261s | 16 | 225147 | 184852 | 53550 6 | 0 | 0 264.45/264.53 c 263s | 16 | 225901 | 185552 | 53550 6 | 0 | 0 266.55/266.60 c 265s | 16 | 226682 | 186252 | 53550 6 | 0 | 0 268.65/268.76 c 267s | 16 | 227470 | 186952 | 53550 6 | 0 | 0 270.75/270.82 c 270s | 16 | 228212 | 187652 | 53550 6 | 0 | 0 272.95/273.08 c 272s | 16 | 228996 | 188352 | 53550 6 | 0 | 0 275.06/275.11 c 274s | 16 | 229660 | 188952 | 53550 6 | 0 | 0 277.16/277.26 c 276s | 16 | 230413 | 189652 | 53550 6 | 0 | 0 279.46/279.51 c 278s | 16 | 231155 | 190352 | 53550 6 | 0 | 0 281.75/281.81 c 281s | 16 | 232033 | 191152 | 53550 6 | 0 | 0 283.75/283.84 c 283s | 16 | 232831 | 191852 | 53550 6 | 0 | 0 285.85/285.97 c 285s | 16 | 233602 | 192552 | 53550 6 | 0 | 0 288.15/288.25 c 287s | 16 | 234382 | 193252 | 53550 6 | 0 | 0 290.15/290.28 c 289s | 16 | 236637 | 194652 | 53550 6 | 0 | 0 292.25/292.31 c 291s | 16 | 238699 | 196452 | 58906 6 | 0 | 0 293.35/293.41 c 292s | 17 | 239767 | 197432 | 58906 6 | 0 | 0 295.34/295.49 c 294s | 17 | 240357 | 197632 | 58906 6 | 0 | 0 297.44/297.51 c 296s | 17 | 247512 | 201932 | 58906 6 | 0 | 0 299.44/299.58 c 298s | 17 | 252675 | 205132 | 58906 6 | 0 | 0 301.54/301.61 c 300s | 17 | 255984 | 207532 | 58906 6 | 0 | 0 303.54/303.65 c 302s | 17 | 258387 | 209032 | 58906 7 | 0 | 0 305.64/305.73 c 304s | 17 | 261416 | 211632 | 58906 7 | 0 | 0 307.73/307.81 c 307s | 17 | 263935 | 213732 | 58906 7 | 0 | 0 309.73/309.84 c 309s | 17 | 265835 | 215432 | 58906 7 | 0 | 0 311.83/311.92 c 311s | 17 | 268004 | 217432 | 58906 7 | 0 | 0 313.83/313.97 c 313s | 17 | 270040 | 219032 | 58906 7 | 0 | 0 316.03/316.14 c 315s | 17 | 272619 | 220532 | 58906 7 | 0 | 0 318.13/318.28 c 317s | 17 | 274855 | 222032 | 58906 7 | 0 | 0 320.33/320.42 c 319s | 17 | 276580 | 223432 | 58906 7 | 0 | 0 322.43/322.55 c 321s | 17 | 278167 | 224832 | 58906 7 | 0 | 0 324.63/324.70 c 323s | 17 | 280034 | 226432 | 58906 7 | 0 | 0 326.63/326.72 c 325s | 17 | 281821 | 227832 | 58906 7 | 0 | 0 328.62/328.77 c 327s | 17 | 283385 | 229132 | 58906 7 | 0 | 0 330.72/330.82 c 330s | 17 | 284845 | 230432 | 58906 7 | 0 | 0 332.82/332.90 c 332s | 17 | 286463 | 231632 | 58906 7 | 0 | 0 334.82/334.96 c 334s | 17 | 287824 | 232732 | 58906 7 | 0 | 0 336.92/337.03 c 336s | 17 | 289073 | 233832 | 58906 7 | 0 | 0 338.91/339.04 c 338s | 17 | 290372 | 235032 | 58906 7 | 0 | 0 340.92/341.09 c 340s | 17 | 291531 | 236032 | 58906 7 | 0 | 0 343.01/343.11 c 342s | 17 | 292572 | 236932 | 58906 7 | 0 | 0 345.32/345.43 c 344s | 17 | 293600 | 237732 | 58906 8 | 0 | 0 347.41/347.54 c 346s | 17 | 294688 | 238632 | 58906 8 | 0 | 0 349.51/349.63 c 348s | 17 | 296164 | 239732 | 58906 8 | 0 | 0 351.61/351.72 c 350s | 17 | 297223 | 240632 | 58906 8 | 0 | 0 353.71/353.84 c 353s | 17 | 299046 | 241932 | 58906 8 | 0 | 0 355.90/356.01 c 355s | 17 | 300183 | 242932 | 58906 8 | 0 | 0 357.90/358.06 c 357s | 17 | 301227 | 243832 | 58906 8 | 0 | 0 360.00/360.12 c 359s | 17 | 302689 | 244932 | 58906 8 | 0 | 0 362.10/362.28 c 361s | 17 | 304005 | 246032 | 58906 8 | 0 | 0 364.11/364.28 c 363s | 17 | 305323 | 247032 | 58906 8 | 0 | 0 366.21/366.38 c 365s | 17 | 306580 | 248032 | 58906 8 | 0 | 0 368.20/368.39 c 367s | 17 | 307610 | 248932 | 58906 8 | 0 | 0 370.49/370.60 c 369s | 17 | 308624 | 249832 | 58906 8 | 0 | 0 372.59/372.74 c 371s | 17 | 309656 | 250732 | 58906 8 | 0 | 0 374.69/374.82 c 374s | 17 | 310629 | 251632 | 58906 8 | 0 | 0 376.69/376.89 c 376s | 17 | 311544 | 252332 | 58906 8 | 0 | 0 378.89/379.01 c 378s | 17 | 312581 | 253232 | 58906 8 | 0 | 0 380.99/381.19 c 380s | 17 | 313518 | 254032 | 58906 8 | 0 | 0 383.09/383.24 c 382s | 17 | 314371 | 254832 | 58906 8 | 0 | 0 385.29/385.46 c 384s | 17 | 315213 | 255632 | 58906 8 | 0 | 0 387.29/387.47 c 386s | 17 | 316047 | 256332 | 58906 8 | 0 | 0 389.49/389.69 c 388s | 17 | 316810 | 257032 | 58906 8 | 0 | 0 391.89/392.03 c 391s | 17 | 317535 | 257732 | 58906 8 | 0 | 0 394.09/394.22 c 393s | 17 | 318291 | 258432 | 58906 8 | 0 | 0 396.18/396.37 c 395s | 17 | 319179 | 259232 | 58906 8 | 0 | 0 398.38/398.57 c 397s | 17 | 320014 | 259932 | 58906 8 | 0 | 0 400.58/400.73 c 399s | 17 | 320895 | 260732 | 58906 8 | 0 | 0 402.68/402.84 c 402s | 17 | 321641 | 261432 | 58906 8 | 0 | 0 404.69/404.90 c 404s | 17 | 322407 | 262032 | 58906 8 | 0 | 0 406.78/406.96 c 406s | 17 | 323411 | 262832 | 58906 8 | 0 | 0 408.87/409.04 c 408s | 17 | 324389 | 263632 | 58906 8 | 0 | 0 411.28/411.41 c 410s | 17 | 325397 | 264432 | 58906 8 | 0 | 0 413.37/413.60 c 412s | 17 | 326085 | 265032 | 58906 8 | 0 | 0 415.47/415.69 c 414s | 17 | 326861 | 265632 | 58906 8 | 0 | 0 417.56/417.71 c 416s | 17 | 327466 | 266232 | 58906 8 | 0 | 0 419.56/419.78 c 418s | 17 | 328198 | 266832 | 58906 8 | 0 | 0 424.07/424.20 c 423s | 17 | 328643 | 267232 | 58906 9 | 0 | 0 426.47/426.60 c 425s | 17 | 329298 | 267632 | 58906 9 | 0 | 0 428.46/428.62 c 427s | 17 | 330130 | 268432 | 58906 9 | 0 | 0 430.46/430.65 c 429s | 17 | 331657 | 269432 | 58906 9 | 0 | 0 432.56/432.72 c 431s | 17 | 331898 | 269632 | 58906 9 | 0 | 0 434.56/434.79 c 434s | 17 | 333974 | 271232 | 58906 9 | 0 | 0 436.76/436.90 c 436s | 17 | 335965 | 272832 | 58906 9 | 0 | 0 438.76/438.95 c 438s | 17 | 337681 | 274332 | 58906 9 | 0 | 0 440.76/440.96 c 440s | 17 | 339500 | 275932 | 58906 9 | 0 | 0 442.86/443.07 c 442s | 17 | 341004 | 277332 | 58906 9 | 0 | 0 444.96/445.18 c 444s | 17 | 342543 | 278632 | 58906 9 | 0 | 0 447.16/447.34 c 446s | 17 | 344241 | 279832 | 58906 9 | 0 | 0 449.15/449.35 c 448s | 17 | 345605 | 280932 | 58906 9 | 0 | 0 451.25/451.45 c 450s | 17 | 347263 | 282232 | 58906 9 | 0 | 0 453.45/453.61 c 452s | 17 | 349212 | 283732 | 58906 9 | 0 | 0 455.45/455.66 c 454s | 17 | 351354 | 285132 | 58906 9 | 0 | 0 457.45/457.69 c 456s | 17 | 353037 | 286332 | 58906 9 | 0 | 0 459.54/459.73 c 458s | 17 | 354627 | 287432 | 58906 9 | 0 | 0 461.65/461.88 c 461s | 17 | 356104 | 288632 | 58906 9 | 0 | 0 463.75/463.94 c 463s | 17 | 357427 | 289832 | 58906 9 | 0 | 0 465.95/466.11 c 465s | 17 | 358894 | 291032 | 58906 9 | 0 | 0 468.05/468.27 c 467s | 17 | 360353 | 292232 | 58906 9 | 0 | 0 470.15/470.31 c 469s | 17 | 361692 | 293232 | 58906 9 | 0 | 0 472.25/472.45 c 471s | 17 | 362950 | 294232 | 64797 9 | 0 | 0 474.34/474.56 c 473s | 17 | 364107 | 295332 | 64797 9 | 0 | 0 476.44/476.61 c 475s | 17 | 365236 | 296232 | 64797 9 | 0 | 0 476.44/476.66 c 475s | 18 | 365257 | 296252 | 64797 9 | 0 | 0 478.74/478.99 c 478s | 18 | 366886 | 296352 | 64797 9 | 0 | 0 480.84/481.05 c 480s | 18 | 370094 | 299252 | 64797 9 | 0 | 0 482.84/483.06 c 482s | 18 | 372705 | 301552 | 64797 9 | 0 | 0 484.94/485.13 c 484s | 18 | 374657 | 303252 | 64797 9 | 0 | 0 486.94/487.19 c 486s | 18 | 376305 | 304752 | 64797 9 | 0 | 0 489.13/489.30 c 488s | 18 | 377866 | 306152 | 64797 10 | 0 | 0 491.13/491.35 c 490s | 18 | 379721 | 307852 | 64797 10 | 0 | 0 493.23/493.46 c 492s | 18 | 381452 | 309452 | 64797 10 | 0 | 0 495.33/495.50 c 494s | 18 | 383346 | 311152 | 64797 10 | 0 | 0 497.43/497.60 c 496s | 18 | 385091 | 312752 | 64797 10 | 0 | 0 499.43/499.64 c 498s | 18 | 386594 | 314152 | 64797 10 | 0 | 0 501.53/501.75 c 500s | 18 | 387953 | 315352 | 64797 10 | 0 | 0 503.73/503.92 c 503s | 18 | 389310 | 316552 | 64797 10 | 0 | 0 505.83/506.09 c 505s | 18 | 390666 | 317752 | 64797 10 | 0 | 0 507.92/508.17 c 507s | 18 | 391773 | 318752 | 64797 10 | 0 | 0 510.02/510.26 c 509s | 18 | 392996 | 319852 | 64797 10 | 0 | 0 512.22/512.45 c 511s | 18 | 394210 | 320952 | 64797 10 | 0 | 0 514.32/514.56 c 513s | 18 | 395289 | 321952 | 64797 10 | 0 | 0 516.42/516.60 c 515s | 18 | 396286 | 322852 | 64797 10 | 0 | 0 518.51/518.73 c 517s | 18 | 397261 | 323752 | 64797 10 | 0 | 0 520.71/520.92 c 520s | 18 | 398270 | 324652 | 64797 10 | 0 | 0 522.81/523.03 c 522s | 18 | 399287 | 325552 | 64797 10 | 0 | 0 525.01/525.23 c 524s | 18 | 400288 | 326452 | 64797 10 | 0 | 0 527.21/527.41 c 526s | 18 | 401203 | 327252 | 64797 10 | 0 | 0 529.20/529.42 c 528s | 18 | 401978 | 327952 | 64797 10 | 0 | 0 531.40/531.65 c 530s | 18 | 402869 | 328752 | 64797 10 | 0 | 0 533.60/533.88 c 533s | 18 | 403965 | 329752 | 64797 10 | 0 | 0 535.61/535.89 c 535s | 18 | 404852 | 330552 | 64797 10 | 0 | 0 537.80/538.06 c 537s | 18 | 405729 | 331352 | 64797 10 | 0 | 0 540.00/540.26 c 539s | 18 | 406611 | 332152 | 64797 10 | 0 | 0 542.20/542.43 c 541s | 18 | 407467 | 332952 | 64797 10 | 0 | 0 544.40/544.65 c 543s | 18 | 408333 | 333752 | 64797 10 | 0 | 0 546.40/546.67 c 545s | 18 | 409109 | 334452 | 64797 10 | 0 | 0 548.70/548.91 c 548s | 18 | 409990 | 335252 | 64797 10 | 0 | 0 550.90/551.16 c 550s | 18 | 410861 | 336052 | 64797 10 | 0 | 0 553.10/553.39 c 552s | 18 | 411724 | 336852 | 64797 10 | 0 | 0 555.19/555.43 c 554s | 18 | 412480 | 337552 | 64797 10 | 0 | 0 557.19/557.48 c 556s | 18 | 413256 | 338252 | 64797 10 | 0 | 0 559.29/559.55 c 558s | 18 | 413794 | 338752 | 64797 11 | 0 | 0 561.48/561.71 c 560s | 18 | 414571 | 339452 | 64797 11 | 0 | 0 563.48/563.79 c 563s | 18 | 415330 | 340152 | 64797 11 | 0 | 0 565.58/565.84 c 565s | 18 | 416097 | 340852 | 64797 11 | 0 | 0 567.68/567.95 c 567s | 18 | 416973 | 341652 | 64797 11 | 0 | 0 569.78/570.03 c 569s | 18 | 417729 | 342352 | 64797 11 | 0 | 0 571.79/572.10 c 571s | 18 | 418623 | 343152 | 64797 11 | 0 | 0 574.18/574.45 c 573s | 18 | 419494 | 343952 | 64797 11 | 0 | 0 576.18/576.50 c 575s | 18 | 420274 | 344652 | 64797 11 | 0 | 0 578.27/578.55 c 577s | 18 | 421217 | 345452 | 64797 11 | 0 | 0 580.37/580.66 c 579s | 18 | 422218 | 346352 | 64797 11 | 0 | 0 582.47/582.74 c 581s | 18 | 423201 | 347252 | 64797 11 | 0 | 0 584.67/584.91 c 584s | 18 | 424098 | 348052 | 64797 11 | 0 | 0 586.77/587.00 c 586s | 18 | 425015 | 348852 | 64797 11 | 0 | 0 588.87/589.18 c 588s | 18 | 425908 | 349652 | 64797 11 | 0 | 0 590.97/591.26 c 590s | 18 | 426679 | 350352 | 64797 11 | 0 | 0 593.26/593.51 c 592s | 18 | 427430 | 351052 | 64797 11 | 0 | 0 595.46/595.79 c 595s | 18 | 428201 | 351752 | 64797 11 | 0 | 0 597.66/597.96 c 597s | 18 | 428959 | 352452 | 64797 11 | 0 | 0 599.86/600.13 c 599s | 18 | 429750 | 353152 | 64797 11 | 0 | 0 601.86/602.16 c 601s | 18 | 430421 | 353752 | 64797 11 | 0 | 0 604.06/604.37 c 603s | 18 | 431080 | 354352 | 64797 11 | 0 | 0 606.36/606.62 c 605s | 18 | 431749 | 354952 | 64797 11 | 0 | 0 608.55/608.81 c 608s | 18 | 432422 | 355552 | 64797 11 | 0 | 0 610.85/611.16 c 610s | 18 | 433070 | 356152 | 64797 11 | 0 | 0 612.95/613.23 c 612s | 18 | 433636 | 356652 | 64797 11 | 0 | 0 615.25/615.57 c 614s | 18 | 434304 | 357252 | 64797 11 | 0 | 0 617.54/617.86 c 617s | 18 | 435066 | 357952 | 64797 11 | 0 | 0 619.84/620.19 c 619s | 18 | 435836 | 358652 | 64797 11 | 0 | 0 622.14/622.47 c 621s | 18 | 436603 | 359352 | 64797 11 | 0 | 0 624.24/624.56 c 623s | 18 | 437284 | 359952 | 64797 11 | 0 | 0 626.34/626.62 c 625s | 18 | 437952 | 360552 | 64797 11 | 0 | 0 628.64/628.93 c 628s | 18 | 438717 | 361252 | 64797 11 | 0 | 0 630.74/631.10 c 630s | 18 | 439550 | 361952 | 64797 11 | 0 | 0 633.03/633.38 c 632s | 18 | 440331 | 362652 | 64797 11 | 0 | 0 635.13/635.44 c 634s | 18 | 441003 | 363252 | 64797 11 | 0 | 0 637.23/637.54 c 636s | 18 | 441794 | 363952 | 64797 11 | 0 | 0 639.53/639.82 c 639s | 18 | 442643 | 364752 | 64797 11 | 0 | 0 641.53/641.86 c 641s | 18 | 443412 | 365452 | 64797 11 | 0 | 0 643.62/643.99 c 643s | 18 | 444768 | 366352 | 64797 11 | 0 | 0 645.72/646.02 c 645s | 18 | 447784 | 369152 | 64797 11 | 0 | 0 648.02/648.35 c 647s | 18 | 450617 | 371552 | 64797 11 | 0 | 0 651.71/652.08 c 651s | 18 | 451821 | 372652 | 64797 12 | 0 | 0 653.81/654.19 c 653s | 18 | 454070 | 374552 | 64797 12 | 0 | 0 655.91/656.28 c 655s | 18 | 456004 | 376152 | 64797 12 | 0 | 0 657.91/658.28 c 657s | 18 | 458246 | 377752 | 64797 12 | 0 | 0 660.01/660.38 c 659s | 18 | 460127 | 379452 | 64797 12 | 0 | 0 662.21/662.55 c 661s | 18 | 461766 | 380952 | 64797 12 | 0 | 0 664.31/664.61 c 663s | 18 | 463067 | 382152 | 64797 12 | 0 | 0 666.41/666.72 c 665s | 18 | 464398 | 383352 | 64797 12 | 0 | 0 668.40/668.77 c 667s | 18 | 465603 | 384452 | 64797 12 | 0 | 0 670.50/670.87 c 670s | 18 | 466955 | 385652 | 64797 12 | 0 | 0 672.60/672.95 c 672s | 18 | 468055 | 386652 | 64797 12 | 0 | 0 674.70/675.07 c 674s | 18 | 469301 | 387752 | 64797 12 | 0 | 0 676.90/677.20 c 676s | 18 | 470454 | 388752 | 64797 12 | 0 | 0 679.00/679.32 c 678s | 18 | 471428 | 389652 | 64797 12 | 0 | 0 681.00/681.40 c 680s | 18 | 472430 | 390552 | 64797 12 | 0 | 0 683.30/683.60 c 682s | 18 | 473413 | 391452 | 64797 12 | 0 | 0 685.39/685.76 c 684s | 18 | 474565 | 392452 | 64797 12 | 0 | 0 687.59/687.97 c 687s | 18 | 475716 | 393452 | 64797 12 | 0 | 0 689.69/690.03 c 689s | 18 | 476748 | 394352 | 64797 12 | 0 | 0 691.79/692.18 c 691s | 18 | 477759 | 395252 | 64797 12 | 0 | 0 693.89/694.26 c 693s | 18 | 478857 | 396152 | 64797 12 | 0 | 0 696.09/696.47 c 695s | 18 | 479976 | 397152 | 64797 12 | 0 | 0 698.19/698.58 c 697s | 18 | 480707 | 397752 | 64797 12 | 0 | 0 700.29/700.60 c 699s | 18 | 481517 | 398452 | 64797 12 | 0 | 0 702.39/702.73 c 701s | 18 | 482389 | 399252 | 64797 12 | 0 | 0 704.39/704.78 c 703s | 18 | 483301 | 400052 | 64797 12 | 0 | 0 706.59/706.97 c 706s | 18 | 484146 | 400752 | 64797 12 | 0 | 0 708.58/708.97 c 708s | 18 | 484960 | 401452 | 64797 12 | 0 | 0 710.78/711.15 c 710s | 18 | 485977 | 402352 | 64797 12 | 0 | 0 712.88/713.25 c 712s | 18 | 487112 | 403352 | 64797 12 | 0 | 0 715.08/715.40 c 714s | 18 | 488367 | 404452 | 64797 12 | 0 | 0 717.28/717.65 c 716s | 18 | 489409 | 405352 | 64797 12 | 0 | 0 719.38/719.70 c 718s | 18 | 490313 | 406152 | 64797 12 | 0 | 0 721.68/722.01 c 721s | 18 | 490852 | 406652 | 64797 13 | 0 | 0 723.88/724.26 c 723s | 18 | 491888 | 407552 | 64797 13 | 0 | 0 725.98/726.33 c 725s | 18 | 492675 | 408252 | 64797 13 | 0 | 0 728.17/728.53 c 727s | 18 | 493447 | 408952 | 64797 13 | 0 | 0 730.27/730.61 c 729s | 18 | 494108 | 409552 | 64797 13 | 0 | 0 732.28/732.63 c 731s | 18 | 494786 | 410152 | 64797 13 | 0 | 0 734.37/734.79 c 733s | 18 | 496114 | 411152 | 64797 13 | 0 | 0 736.46/736.80 c 736s | 18 | 496929 | 411852 | 64797 13 | 0 | 0 738.46/738.88 c 738s | 18 | 498112 | 412852 | 64797 13 | 0 | 0 740.56/740.96 c 740s | 18 | 499106 | 413752 | 64797 13 | 0 | 0 742.66/743.01 c 742s | 18 | 500131 | 414652 | 64797 13 | 0 | 0 744.86/745.20 c 744s | 18 | 501039 | 415452 | 64797 13 | 0 | 0 746.96/747.35 c 746s | 18 | 501812 | 416152 | 64797 13 | 0 | 0 749.06/749.47 c 748s | 18 | 502731 | 416952 | 64797 13 | 0 | 0 751.26/751.65 c 750s | 18 | 503908 | 417952 | 64797 13 | 0 | 0 753.36/753.78 c 752s | 18 | 504860 | 418752 | 64797 13 | 0 | 0 755.66/756.01 c 755s | 18 | 505654 | 419452 | 64797 13 | 0 | 0 757.85/758.28 c 757s | 18 | 506566 | 420252 | 64797 13 | 0 | 0 760.05/760.40 c 759s | 18 | 507479 | 421052 | 64797 13 | 0 | 0 762.15/762.50 c 761s | 18 | 508262 | 421752 | 64797 13 | 0 | 0 764.35/764.74 c 763s | 18 | 508934 | 422352 | 64797 13 | 0 | 0 766.75/767.12 c 766s | 18 | 509770 | 423052 | 64797 13 | 0 | 0 768.95/769.37 c 768s | 18 | 510450 | 423652 | 64797 13 | 0 | 0 771.35/771.72 c 770s | 18 | 511174 | 424252 | 64797 13 | 0 | 0 773.55/773.97 c 773s | 18 | 511780 | 424752 | 64797 13 | 0 | 0 775.65/776.01 c 775s | 18 | 512408 | 425252 | 64797 13 | 0 | 0 777.64/778.05 c 777s | 18 | 513016 | 425752 | 64797 13 | 0 | 0 780.04/780.45 c 779s | 18 | 513761 | 426352 | 64797 13 | 0 | 0 782.24/782.63 c 781s | 18 | 514379 | 426852 | 64797 13 | 0 | 0 784.44/784.89 c 784s | 18 | 514915 | 427352 | 64797 13 | 0 | 0 786.84/787.27 c 786s | 18 | 515364 | 427752 | 64797 13 | 0 | 0 788.93/789.35 c 788s | 18 | 515820 | 428152 | 64797 13 | 0 | 0 791.24/791.65 c 790s | 18 | 516269 | 428552 | 64797 13 | 0 | 0 793.44/793.89 c 793s | 18 | 516733 | 428952 | 64797 13 | 0 | 0 795.64/796.07 c 795s | 18 | 517167 | 429352 | 64797 13 | 0 | 0 798.04/798.43 c 797s | 18 | 517639 | 429752 | 64797 13 | 0 | 0 800.24/800.68 c 799s | 18 | 518063 | 430152 | 64797 13 | 0 | 0 802.44/802.88 c 802s | 18 | 518758 | 430752 | 64797 13 | 0 | 0 804.64/805.08 c 804s | 18 | 519409 | 431352 | 64797 13 | 0 | 0 806.84/807.27 c 806s | 18 | 520091 | 431952 | 64797 13 | 0 | 0 809.13/809.58 c 808s | 18 | 520738 | 432552 | 64797 13 | 0 | 0 811.23/811.63 c 810s | 18 | 521329 | 433052 | 64797 13 | 0 | 0 813.64/814.01 c 813s | 18 | 522025 | 433652 | 64797 13 | 0 | 0 815.63/816.01 c 815s | 18 | 522590 | 434152 | 64797 13 | 0 | 0 817.72/818.16 c 817s | 18 | 523228 | 434652 | 64797 13 | 0 | 0 820.12/820.55 c 819s | 18 | 524030 | 435352 | 64797 13 | 0 | 0 822.43/822.88 c 822s | 18 | 524751 | 435952 | 64797 13 | 0 | 0 824.52/824.98 c 824s | 18 | 525338 | 436452 | 64797 13 | 0 | 0 826.62/827.06 c 826s | 18 | 525923 | 436952 | 64797 13 | 0 | 0 829.13/829.53 c 828s | 18 | 526475 | 437452 | 64797 13 | 0 | 0 831.32/831.73 c 830s | 18 | 526952 | 437852 | 64797 13 | 0 | 0 833.52/833.94 c 833s | 18 | 527387 | 438252 | 64797 13 | 0 | 0 835.92/836.32 c 835s | 18 | 527974 | 438752 | 64797 13 | 0 | 0 838.31/838.72 c 837s | 18 | 528524 | 439252 | 64797 13 | 0 | 0 840.41/840.82 c 840s | 18 | 528969 | 439652 | 64797 13 | 0 | 0 842.71/843.16 c 842s | 18 | 529416 | 440052 | 64797 13 | 0 | 0 845.81/846.20 c 845s | 18 | 529759 | 440352 | 64797 14 | 0 | 0 848.10/848.59 c 847s | 18 | 530209 | 440752 | 64797 14 | 0 | 0 850.40/850.86 c 850s | 18 | 530747 | 441252 | 64797 14 | 0 | 0 852.50/852.93 c 852s | 18 | 531450 | 441852 | 71277 14 | 0 | 0 854.60/855.03 c 854s | 18 | 532256 | 442552 | 71277 14 | 0 | 0 856.61/857.07 c 856s | 18 | 532964 | 443152 | 71277 14 | 0 | 0 858.90/859.38 c 858s | 18 | 533675 | 443752 | 71277 14 | 0 | 0 861.10/861.50 c 860s | 18 | 534375 | 444352 | 71277 14 | 0 | 0 861.60/862.02 c 861s | 19 | 534540 | 444482 | 71277 14 | 0 | 0 863.59/864.05 c 863s | 19 | 535417 | 445082 | 71277 14 | 0 | 0 865.69/866.10 c 865s | 19 | 537604 | 447082 | 71277 14 | 0 | 0 867.69/868.18 c 867s | 19 | 540347 | 449682 | 71277 14 | 0 | 0 869.80/870.27 c 869s | 19 | 542478 | 451682 | 71277 14 | 0 | 0 871.90/872.33 c 871s | 19 | 544778 | 453882 | 71277 14 | 0 | 0 873.99/874.41 c 873s | 19 | 546903 | 455882 | 71277 14 | 0 | 0 875.99/876.44 c 875s | 19 | 548786 | 457682 | 71277 14 | 0 | 0 878.09/878.51 c 877s | 19 | 550435 | 459182 | 71277 14 | 0 | 0 880.19/880.62 c 879s | 19 | 551992 | 460682 | 71277 14 | 0 | 0 882.29/882.73 c 881s | 19 | 553058 | 461682 | 71277 14 | 0 | 0 884.39/884.81 c 884s | 19 | 554087 | 462682 | 71277 14 | 0 | 0 886.39/886.81 c 886s | 19 | 555453 | 463982 | 71277 14 | 0 | 0 888.39/888.90 c 888s | 19 | 556683 | 465182 | 71277 14 | 0 | 0 890.59/891.07 c 890s | 19 | 557730 | 466182 | 71277 14 | 0 | 0 892.68/893.13 c 892s | 19 | 558793 | 467182 | 71277 14 | 0 | 0 894.88/895.32 c 894s | 19 | 559959 | 468282 | 71277 14 | 0 | 0 896.98/897.45 c 896s | 19 | 560865 | 469182 | 71277 14 | 0 | 0 898.97/899.47 c 898s | 19 | 561931 | 470182 | 71277 14 | 0 | 0 901.07/901.57 c 900s | 19 | 563185 | 471382 | 71277 14 | 0 | 0 903.27/903.75 c 902s | 19 | 564336 | 472482 | 71277 14 | 0 | 0 905.47/905.94 c 905s | 19 | 565388 | 473482 | 71277 14 | 0 | 0 907.47/907.99 c 907s | 19 | 566534 | 474582 | 71277 14 | 0 | 0 909.67/910.16 c 909s | 19 | 567690 | 475682 | 71277 14 | 0 | 0 911.77/912.26 c 911s | 19 | 568629 | 476582 | 71277 14 | 0 | 0 913.87/914.32 c 913s | 19 | 569571 | 477482 | 71277 14 | 0 | 0 916.97/917.48 c 916s | 19 | 570407 | 478282 | 71277 15 | 0 | 0 919.06/919.55 c 918s | 19 | 571454 | 479282 | 71277 15 | 0 | 0 921.16/921.64 c 920s | 19 | 572216 | 479982 | 71277 15 | 0 | 0 923.36/923.82 c 923s | 19 | 573036 | 480782 | 71277 15 | 0 | 0 925.47/925.92 c 925s | 19 | 573681 | 481382 | 71277 15 | 0 | 0 927.66/928.11 c 927s | 19 | 574437 | 482082 | 71277 15 | 0 | 0 929.76/930.29 c 929s | 19 | 575267 | 482882 | 71277 15 | 0 | 0 931.96/932.50 c 931s | 19 | 576092 | 483682 | 71277 15 | 0 | 0 934.16/934.69 c 933s | 19 | 576938 | 484482 | 71277 15 | 0 | 0 936.46/936.92 c 936s | 19 | 577760 | 485282 | 71277 15 | 0 | 0 938.46/938.96 c 938s | 19 | 578502 | 485982 | 71277 15 | 0 | 0 940.76/941.23 c 940s | 19 | 579240 | 486682 | 71277 15 | 0 | 0 942.96/943.45 c 942s | 19 | 580080 | 487482 | 71277 15 | 0 | 0 944.96/945.47 c 944s | 19 | 580829 | 488182 | 71277 15 | 0 | 0 947.16/947.64 c 946s | 19 | 581545 | 488882 | 71277 15 | 0 | 0 949.25/949.80 c 949s | 19 | 582275 | 489582 | 71277 15 | 0 | 0 951.35/951.84 c 951s | 19 | 582893 | 490182 | 71277 15 | 0 | 0 953.45/953.95 c 953s | 19 | 583531 | 490782 | 71277 15 | 0 | 0 955.65/956.16 c 955s | 19 | 584145 | 491382 | 71277 15 | 0 | 0 957.76/958.23 c 957s | 19 | 584930 | 492082 | 71277 15 | 0 | 0 959.86/960.39 c 959s | 19 | 585910 | 492982 | 71277 15 | 0 | 0 961.95/962.47 c 961s | 19 | 586874 | 493882 | 71277 15 | 0 | 0 964.05/964.56 c 963s | 19 | 587894 | 494782 | 71277 15 | 0 | 0 966.15/966.65 c 965s | 19 | 588961 | 495782 | 71277 15 | 0 | 0 968.35/968.87 c 968s | 19 | 590092 | 496882 | 71277 15 | 0 | 0 970.45/970.92 c 970s | 19 | 591157 | 497882 | 71277 15 | 0 | 0 972.45/972.96 c 972s | 19 | 592119 | 498782 | 71277 15 | 0 | 0 974.75/975.23 c 974s | 19 | 593067 | 499682 | 71277 15 | 0 | 0 976.85/977.36 c 976s | 19 | 594104 | 500682 | 71277 15 | 0 | 0 979.15/979.61 c 978s | 19 | 595075 | 501582 | 71277 15 | 0 | 0 981.24/981.75 c 980s | 19 | 595946 | 502382 | 71277 15 | 0 | 0 983.34/983.80 c 983s | 19 | 596882 | 503282 | 71277 15 | 0 | 0 985.54/986.05 c 985s | 19 | 597843 | 504182 | 71277 15 | 0 | 0 987.74/988.22 c 987s | 19 | 598583 | 504882 | 71277 15 | 0 | 0 989.94/990.49 c 989s | 19 | 599345 | 505582 | 71277 15 | 0 | 0 992.34/992.86 c 992s | 19 | 600076 | 506282 | 71277 15 | 0 | 0 994.64/995.15 c 994s | 19 | 600732 | 506882 | 71277 15 | 0 | 0 996.74/997.26 c 996s | 19 | 601560 | 507682 | 71277 15 | 0 | 0 998.94/999.45 c 998s | 19 | 602402 | 508482 | 71277 15 | 0 | 0 1001.14/1001.61 c 1000s | 19 | 603147 | 509182 | 71277 15 | 0 | 0 1003.14/1003.69 c 1002s | 19 | 603886 | 509882 | 71277 15 | 0 | 0 1005.24/1005.79 c 1005s | 19 | 604624 | 510582 | 71277 15 | 0 | 0 1007.54/1008.06 c 1007s | 19 | 605462 | 511382 | 71277 15 | 0 | 0 1009.74/1010.27 c 1009s | 19 | 606190 | 512082 | 71277 15 | 0 | 0 1012.04/1012.50 c 1011s | 19 | 606714 | 512582 | 71277 15 | 0 | 0 1014.24/1014.75 c 1013s | 19 | 607256 | 513082 | 71277 15 | 0 | 0 1016.34/1016.84 c 1016s | 19 | 607782 | 513582 | 71277 15 | 0 | 0 1020.14/1020.69 c 1019s | 19 | 608298 | 514082 | 71277 16 | 0 | 0 1038.33/1038.81 c 1038s | 19 | 608510 | 514282 | 71277 16 | 0 | 0 1040.43/1040.94 c 1040s | 19 | 609243 | 514982 | 71277 16 | 0 | 0 1042.44/1042.97 c 1042s | 19 | 610191 | 515882 | 71277 16 | 0 | 0 1044.54/1045.05 c 1044s | 19 | 611020 | 516682 | 71277 16 | 0 | 0 1046.53/1047.09 c 1046s | 19 | 611970 | 517582 | 71277 16 | 0 | 0 1048.73/1049.20 c 1048s | 19 | 612812 | 518382 | 71277 16 | 0 | 0 1050.93/1051.43 c 1050s | 19 | 613673 | 519182 | 71277 16 | 0 | 0 1052.93/1053.49 c 1052s | 19 | 614415 | 519882 | 71277 16 | 0 | 0 1055.13/1055.66 c 1054s | 19 | 615257 | 520682 | 71277 16 | 0 | 0 1057.33/1057.81 c 1057s | 19 | 616103 | 521482 | 71277 16 | 0 | 0 1059.43/1059.99 c 1059s | 19 | 616842 | 522182 | 71277 16 | 0 | 0 1061.73/1062.22 c 1061s | 19 | 617480 | 522782 | 71277 16 | 0 | 0 1063.93/1064.48 c 1063s | 19 | 618215 | 523482 | 71277 16 | 0 | 0 1066.03/1066.52 c 1065s | 19 | 618952 | 524182 | 71277 16 | 0 | 0 1068.02/1068.57 c 1067s | 19 | 619700 | 524882 | 71277 16 | 0 | 0 1070.12/1070.62 c 1069s | 19 | 620550 | 525682 | 71277 16 | 0 | 0 1072.13/1072.68 c 1071s | 19 | 621480 | 526582 | 71277 16 | 0 | 0 1074.42/1074.92 c 1074s | 19 | 622317 | 527382 | 71277 16 | 0 | 0 1076.43/1076.94 c 1076s | 19 | 623041 | 528082 | 71277 16 | 0 | 0 1078.63/1079.20 c 1078s | 19 | 623874 | 528882 | 71277 16 | 0 | 0 1080.72/1081.27 c 1080s | 19 | 624813 | 529782 | 71277 16 | 0 | 0 1083.03/1083.58 c 1082s | 19 | 625773 | 530682 | 71277 16 | 0 | 0 1085.12/1085.65 c 1084s | 19 | 626516 | 531382 | 71277 16 | 0 | 0 1087.12/1087.66 c 1086s | 19 | 627152 | 531982 | 71277 16 | 0 | 0 1089.22/1089.70 c 1088s | 19 | 627773 | 532582 | 71277 16 | 0 | 0 1091.22/1091.76 c 1090s | 19 | 628511 | 533282 | 71277 16 | 0 | 0 1093.32/1093.83 c 1093s | 19 | 629338 | 534082 | 71277 16 | 0 | 0 1095.52/1096.08 c 1095s | 19 | 630066 | 534782 | 71277 16 | 0 | 0 1097.82/1098.37 c 1097s | 19 | 630805 | 535482 | 71277 16 | 0 | 0 1099.81/1100.37 c 1099s | 19 | 631428 | 536082 | 71277 16 | 0 | 0 1102.01/1102.51 c 1101s | 19 | 632159 | 536782 | 71277 16 | 0 | 0 1104.02/1104.58 c 1103s | 19 | 632794 | 537382 | 71277 16 | 0 | 0 1106.41/1106.91 c 1106s | 19 | 633521 | 538082 | 71277 16 | 0 | 0 1108.81/1109.31 c 1108s | 19 | 634265 | 538782 | 71277 16 | 0 | 0 1110.81/1111.35 c 1110s | 19 | 634911 | 539382 | 71277 16 | 0 | 0 1113.11/1113.62 c 1112s | 19 | 635529 | 539982 | 71277 16 | 0 | 0 1115.31/1115.88 c 1115s | 19 | 636172 | 540582 | 71277 16 | 0 | 0 1117.61/1118.15 c 1117s | 19 | 636694 | 541082 | 71277 16 | 0 | 0 1119.91/1120.40 c 1119s | 19 | 637319 | 541682 | 71277 16 | 0 | 0 1122.21/1122.73 c 1121s | 19 | 637965 | 542282 | 71277 16 | 0 | 0 1124.51/1125.05 c 1124s | 19 | 638599 | 542882 | 71277 16 | 0 | 0 1126.71/1127.27 c 1126s | 19 | 639236 | 543482 | 71277 16 | 0 | 0 1129.11/1129.64 c 1128s | 19 | 639866 | 544082 | 71277 16 | 0 | 0 1131.52/1132.00 c 1131s | 19 | 640486 | 544682 | 71277 16 | 0 | 0 1133.81/1134.38 c 1133s | 19 | 641101 | 545282 | 71277 16 | 0 | 0 1136.01/1136.54 c 1135s | 19 | 641619 | 545782 | 71277 16 | 0 | 0 1138.31/1138.83 c 1138s | 19 | 642146 | 546282 | 71277 16 | 0 | 0 1140.61/1141.14 c 1140s | 19 | 642762 | 546882 | 71277 16 | 0 | 0 1142.81/1143.36 c 1142s | 19 | 643282 | 547382 | 71277 16 | 0 | 0 1145.11/1145.62 c 1144s | 19 | 643692 | 547782 | 71277 16 | 0 | 0 1147.31/1147.83 c 1147s | 19 | 644103 | 548182 | 71277 16 | 0 | 0 1149.51/1150.04 c 1149s | 19 | 644608 | 548682 | 71277 16 | 0 | 0 1151.51/1152.07 c 1151s | 19 | 645142 | 549182 | 71277 16 | 0 | 0 1153.71/1154.22 c 1153s | 19 | 645676 | 549682 | 71277 16 | 0 | 0 1158.51/1159.07 c 1158s | 19 | 645890 | 549882 | 71277 17 | 0 | 0 1160.71/1161.20 c 1160s | 19 | 646570 | 550382 | 71277 17 | 0 | 0 1162.81/1163.30 c 1162s | 19 | 647508 | 551182 | 71277 17 | 0 | 0 1164.91/1165.43 c 1164s | 19 | 648438 | 551982 | 71277 17 | 0 | 0 1166.91/1167.45 c 1166s | 19 | 649333 | 552782 | 71277 17 | 0 | 0 1168.92/1169.49 c 1168s | 19 | 650087 | 553482 | 71277 17 | 0 | 0 1171.21/1171.71 c 1170s | 19 | 650919 | 554182 | 71277 17 | 0 | 0 1173.41/1173.91 c 1173s | 19 | 651971 | 555182 | 71277 17 | 0 | 0 1175.51/1176.01 c 1175s | 19 | 652932 | 556082 | 71277 17 | 0 | 0 1177.71/1178.22 c 1177s | 19 | 654011 | 557082 | 71277 17 | 0 | 0 1179.71/1180.24 c 1179s | 19 | 654943 | 557882 | 71277 17 | 0 | 0 1181.91/1182.41 c 1181s | 19 | 655981 | 558782 | 71277 17 | 0 | 0 1184.01/1184.59 c 1183s | 19 | 656845 | 559582 | 71277 17 | 0 | 0 1186.10/1186.65 c 1185s | 19 | 657699 | 560382 | 71277 17 | 0 | 0 1188.30/1188.88 c 1188s | 19 | 658564 | 561182 | 71277 17 | 0 | 0 1190.50/1191.03 c 1190s | 19 | 659350 | 561882 | 71277 17 | 0 | 0 1192.50/1193.09 c 1192s | 19 | 660113 | 562482 | 71277 17 | 0 | 0 1194.60/1195.15 c 1194s | 19 | 660842 | 563082 | 71277 17 | 0 | 0 1196.80/1197.30 c 1196s | 19 | 661715 | 563782 | 71277 17 | 0 | 0 1199.10/1199.61 c 1198s | 19 | 662295 | 564282 | 71277 17 | 0 | 0 1201.30/1201.83 c 1201s | 19 | 662934 | 564882 | 71277 17 | 0 | 0 1203.60/1204.10 c 1203s | 19 | 663639 | 565482 | 71277 17 | 0 | 0 1205.60/1206.13 c 1205s | 19 | 664175 | 565982 | 71277 17 | 0 | 0 1207.80/1208.38 c 1207s | 19 | 665109 | 566682 | 71277 17 | 0 | 0 1210.10/1210.60 c 1209s | 19 | 665843 | 567382 | 71277 17 | 0 | 0 1212.50/1213.01 c 1212s | 19 | 666624 | 567982 | 71277 17 | 0 | 0 1214.70/1215.28 c 1214s | 19 | 667173 | 568482 | 71277 17 | 0 | 0 1217.00/1217.52 c 1216s | 19 | 667801 | 568982 | 71277 17 | 0 | 0 1219.29/1219.82 c 1219s | 19 | 668382 | 569482 | 71277 17 | 0 | 0 1221.50/1222.07 c 1221s | 19 | 669146 | 570082 | 71277 17 | 0 | 0 1223.70/1224.23 c 1223s | 19 | 669638 | 570482 | 71277 17 | 0 | 0 1225.90/1226.46 c 1225s | 19 | 670412 | 571182 | 71277 17 | 0 | 0 1228.00/1228.56 c 1227s | 19 | 671156 | 571882 | 71277 17 | 0 | 0 1230.30/1230.82 c 1230s | 19 | 671894 | 572582 | 71277 17 | 0 | 0 1232.50/1233.00 c 1232s | 19 | 672527 | 573182 | 71277 17 | 0 | 0 1234.70/1235.24 c 1234s | 19 | 673237 | 573882 | 71277 17 | 0 | 0 1237.00/1237.55 c 1236s | 19 | 673994 | 574482 | 71277 17 | 0 | 0 1239.10/1239.69 c 1238s | 19 | 674780 | 575082 | 71277 17 | 0 | 0 1241.40/1241.95 c 1241s | 19 | 675595 | 575782 | 71277 17 | 0 | 0 1243.50/1244.02 c 1243s | 19 | 676278 | 576382 | 71277 17 | 0 | 0 1245.69/1246.27 c 1245s | 19 | 676911 | 576982 | 71277 17 | 0 | 0 1247.79/1248.32 c 1247s | 19 | 677456 | 577482 | 71277 17 | 0 | 0 1249.89/1250.43 c 1249s | 19 | 677976 | 577982 | 71277 17 | 0 | 0 1252.19/1252.74 c 1251s | 19 | 678539 | 578482 | 71277 17 | 0 | 0 1254.60/1255.14 c 1254s | 19 | 679040 | 578982 | 71277 17 | 0 | 0 1256.59/1257.17 c 1256s | 19 | 679465 | 579382 | 71277 17 | 0 | 0 1258.69/1259.24 c 1258s | 19 | 679872 | 579782 | 71277 17 | 0 | 0 1260.79/1261.36 c 1260s | 19 | 680304 | 580182 | 71277 17 | 0 | 0 1263.09/1263.64 c 1262s | 19 | 680733 | 580582 | 71277 17 | 0 | 0 1265.09/1265.68 c 1264s | 19 | 681162 | 580982 | 71277 17 | 0 | 0 1267.19/1267.71 c 1266s | 19 | 681574 | 581382 | 71277 17 | 0 | 0 1269.29/1269.83 c 1269s | 19 | 681985 | 581782 | 71277 17 | 0 | 0 1271.39/1271.91 c 1271s | 19 | 682410 | 582182 | 71277 17 | 0 | 0 1273.59/1274.17 c 1273s | 19 | 682830 | 582582 | 71277 17 | 0 | 0 1275.99/1276.53 c 1275s | 19 | 683361 | 583082 | 71277 17 | 0 | 0 1278.19/1278.72 c 1277s | 19 | 683900 | 583582 | 71277 17 | 0 | 0 1280.19/1280.79 c 1280s | 19 | 684416 | 584082 | 71277 17 | 0 | 0 1282.49/1283.07 c 1282s | 19 | 684944 | 584582 | 71277 17 | 0 | 0 1284.69/1285.21 c 1284s | 19 | 685467 | 585082 | 71277 17 | 0 | 0 1287.09/1287.63 c 1286s | 19 | 686091 | 585682 | 71277 17 | 0 | 0 1289.19/1289.74 c 1288s | 19 | 686199 | 585782 | 71277 18 | 0 | 0 1292.58/1293.19 c 1292s | 19 | 686518 | 586082 | 71277 18 | 0 | 0 1296.88/1297.44 c 1296s | 19 | 687139 | 586682 | 71277 18 | 0 | 0 1298.98/1299.54 c 1298s | 19 | 688031 | 587482 | 71277 18 | 0 | 0 1300.98/1301.58 c 1300s | 19 | 689046 | 588382 | 71277 18 | 0 | 0 1303.09/1303.65 c 1302s | 19 | 690020 | 589282 | 71277 18 | 0 | 0 1305.19/1305.76 c 1304s | 19 | 690987 | 590182 | 71277 18 | 0 | 0 1307.28/1307.87 c 1307s | 19 | 692093 | 591182 | 71277 18 | 0 | 0 1309.28/1309.89 c 1309s | 19 | 693120 | 592182 | 71277 18 | 0 | 0 1311.48/1312.03 c 1311s | 19 | 694080 | 593082 | 71277 18 | 0 | 0 1313.68/1314.21 c 1313s | 19 | 694916 | 593882 | 71277 18 | 0 | 0 1315.78/1316.31 c 1315s | 19 | 695749 | 594682 | 71277 18 | 0 | 0 1317.98/1318.58 c 1317s | 19 | 696291 | 595182 | 71277 18 | 0 | 0 1320.08/1320.60 c 1319s | 19 | 697040 | 595882 | 71277 18 | 0 | 0 1322.28/1322.85 c 1322s | 19 | 698029 | 596782 | 71277 18 | 0 | 0 1324.48/1325.03 c 1324s | 19 | 698872 | 597582 | 71277 18 | 0 | 0 1326.58/1327.19 c 1326s | 19 | 699751 | 598382 | 71277 18 | 0 | 0 1328.68/1329.20 c 1328s | 19 | 700527 | 599082 | 71277 18 | 0 | 0 1330.68/1331.23 c 1330s | 19 | 701162 | 599682 | 71277 18 | 0 | 0 1332.68/1333.26 c 1332s | 19 | 701935 | 600382 | 71277 18 | 0 | 0 1334.88/1335.48 c 1334s | 19 | 702784 | 601082 | 71277 18 | 0 | 0 1336.97/1337.50 c 1336s | 19 | 703519 | 601782 | 71277 18 | 0 | 0 1339.07/1339.67 c 1338s | 19 | 704313 | 602482 | 71277 18 | 0 | 0 1341.27/1341.84 c 1341s | 19 | 705047 | 603182 | 71277 18 | 0 | 0 1343.27/1343.89 c 1343s | 19 | 705778 | 603882 | 71277 18 | 0 | 0 1345.57/1346.15 c 1345s | 19 | 706515 | 604582 | 71277 18 | 0 | 0 1347.97/1348.50 c 1347s | 19 | 707142 | 605182 | 71277 18 | 0 | 0 1350.07/1350.64 c 1349s | 19 | 707760 | 605782 | 71277 18 | 0 | 0 1352.37/1352.94 c 1352s | 19 | 708530 | 606482 | 71277 18 | 0 | 0 1354.47/1355.05 c 1354s | 19 | 709053 | 606982 | 71277 18 | 0 | 0 1356.98/1357.52 c 1356s | 19 | 709726 | 607582 | 71277 18 | 0 | 0 1358.96/1359.53 c 1358s | 19 | 710241 | 608082 | 71277 18 | 0 | 0 1361.16/1361.71 c 1360s | 19 | 710788 | 608582 | 71277 18 | 0 | 0 1363.36/1363.97 c 1363s | 19 | 711301 | 609082 | 71277 18 | 0 | 0 1365.77/1366.32 c 1365s | 19 | 711935 | 609682 | 71277 18 | 0 | 0 1367.76/1368.36 c 1367s | 19 | 712566 | 610282 | 71277 18 | 0 | 0 1370.07/1370.61 c 1369s | 19 | 713190 | 610882 | 71277 18 | 0 | 0 1372.46/1373.03 c 1372s | 19 | 713717 | 611382 | 71277 18 | 0 | 0 1374.66/1375.27 c 1374s | 19 | 714237 | 611882 | 71277 18 | 0 | 0 1376.96/1377.52 c 1376s | 19 | 714761 | 612382 | 71277 18 | 0 | 0 1379.06/1379.61 c 1378s | 19 | 715270 | 612882 | 71277 18 | 0 | 0 1381.46/1382.07 c 1381s | 19 | 715791 | 613382 | 71277 18 | 0 | 0 1383.76/1384.34 c 1383s | 19 | 716335 | 613882 | 71277 18 | 0 | 0 1386.16/1386.77 c 1385s | 19 | 716862 | 614382 | 71277 18 | 0 | 0 1388.26/1388.86 c 1388s | 19 | 717398 | 614882 | 71277 18 | 0 | 0 1390.46/1391.07 c 1390s | 19 | 718041 | 615482 | 71277 18 | 0 | 0 1392.66/1393.24 c 1392s | 19 | 718663 | 616082 | 71277 18 | 0 | 0 1394.76/1395.36 c 1394s | 19 | 719193 | 616582 | 71277 18 | 0 | 0 1397.15/1397.70 c 1396s | 19 | 719809 | 617182 | 71277 18 | 0 | 0 1399.25/1399.84 c 1399s | 19 | 720333 | 617682 | 71277 18 | 0 | 0 1401.35/1401.91 c 1401s | 19 | 720755 | 618082 | 71277 18 | 0 | 0 1403.65/1404.28 c 1403s | 19 | 721261 | 618582 | 71277 18 | 0 | 0 1405.95/1406.54 c 1405s | 19 | 721811 | 619082 | 71277 18 | 0 | 0 1408.25/1408.83 c 1408s | 19 | 722315 | 619582 | 71277 18 | 0 | 0 1410.76/1411.34 c 1410s | 19 | 722835 | 620082 | 71277 18 | 0 | 0 1412.85/1413.41 c 1412s | 19 | 723245 | 620482 | 71277 18 | 0 | 0 1414.95/1415.53 c 1414s | 19 | 723661 | 620882 | 71277 18 | 0 | 0 1417.36/1417.98 c 1417s | 19 | 724204 | 621382 | 71277 18 | 0 | 0 1420.76/1421.31 c 1420s | 19 | 724513 | 621682 | 71277 19 | 0 | 0 1424.15/1424.76 c 1423s | 19 | 724854 | 621982 | 71277 19 | 0 | 0 1426.35/1426.99 c 1426s | 19 | 726256 | 623282 | 71277 19 | 0 | 0 1428.55/1429.17 c 1428s | 19 | 727132 | 624082 | 71277 19 | 0 | 0 1430.65/1431.26 c 1430s | 19 | 728010 | 624882 | 71277 19 | 0 | 0 1432.95/1433.52 c 1432s | 19 | 728858 | 625682 | 71277 19 | 0 | 0 1435.45/1436.04 c 1435s | 19 | 729549 | 626282 | 71277 19 | 0 | 0 1437.65/1438.26 c 1437s | 19 | 730299 | 626982 | 71277 19 | 0 | 0 1439.85/1440.40 c 1439s | 19 | 731173 | 627782 | 71277 19 | 0 | 0 1442.25/1442.85 c 1442s | 19 | 731696 | 628282 | 71277 19 | 0 | 0 1444.45/1445.05 c 1444s | 19 | 732635 | 629182 | 71277 19 | 0 | 0 1446.55/1447.14 c 1446s | 19 | 733482 | 629982 | 71277 19 | 0 | 0 1448.65/1449.20 c 1448s | 19 | 734203 | 630682 | 71277 19 | 0 | 0 1450.75/1451.36 c 1450s | 19 | 735029 | 631482 | 71277 19 | 0 | 0 1452.75/1453.37 c 1452s | 19 | 735836 | 632282 | 71277 19 | 0 | 0 1454.85/1455.45 c 1454s | 19 | 736570 | 632982 | 71277 19 | 0 | 0 1456.85/1457.48 c 1456s | 19 | 737279 | 633682 | 71277 19 | 0 | 0 1458.95/1459.57 c 1458s | 19 | 738100 | 634482 | 71277 19 | 0 | 0 1461.05/1461.69 c 1460s | 19 | 738716 | 635082 | 71277 19 | 0 | 0 1463.15/1463.73 c 1462s | 19 | 739455 | 635782 | 71277 19 | 0 | 0 1465.24/1465.84 c 1465s | 19 | 740181 | 636482 | 71277 19 | 0 | 0 1467.44/1468.00 c 1467s | 19 | 740899 | 637182 | 71277 19 | 0 | 0 1469.64/1470.22 c 1469s | 19 | 741726 | 637982 | 71277 19 | 0 | 0 1471.84/1472.41 c 1471s | 19 | 742655 | 638882 | 71277 19 | 0 | 0 1474.14/1474.73 c 1473s | 19 | 743508 | 639682 | 71277 19 | 0 | 0 1476.44/1477.05 c 1476s | 19 | 744144 | 640282 | 71277 19 | 0 | 0 1478.74/1479.36 c 1478s | 19 | 744760 | 640882 | 71277 19 | 0 | 0 1480.84/1481.47 c 1480s | 19 | 745374 | 641482 | 71277 19 | 0 | 0 1482.94/1483.59 c 1482s | 19 | 745993 | 642082 | 71277 19 | 0 | 0 1485.24/1485.84 c 1485s | 19 | 746729 | 642782 | 71277 19 | 0 | 0 1487.34/1487.95 c 1487s | 19 | 747443 | 643482 | 71277 19 | 0 | 0 1489.54/1490.17 c 1489s | 19 | 748235 | 644182 | 71277 19 | 0 | 0 1491.84/1492.40 c 1491s | 19 | 748868 | 644782 | 71277 19 | 0 | 0 1493.94/1494.59 c 1493s | 19 | 749492 | 645382 | 71277 19 | 0 | 0 1496.34/1496.95 c 1496s | 19 | 750327 | 646182 | 71277 19 | 0 | 0 1498.54/1499.17 c 1498s | 19 | 750840 | 646682 | 71277 19 | 0 | 0 1500.94/1501.51 c 1500s | 19 | 751361 | 647182 | 71277 19 | 0 | 0 1503.04/1503.68 c 1502s | 19 | 751935 | 647682 | 71277 19 | 0 | 0 1505.54/1506.15 c 1505s | 19 | 752475 | 648182 | 71277 19 | 0 | 0 1507.74/1508.32 c 1507s | 19 | 752987 | 648682 | 71277 19 | 0 | 0 1510.24/1510.81 c 1510s | 19 | 753510 | 649182 | 71277 19 | 0 | 0 1512.64/1513.26 c 1512s | 19 | 754045 | 649682 | 71277 19 | 0 | 0 1514.94/1515.59 c 1514s | 19 | 754566 | 650182 | 71277 19 | 0 | 0 1517.34/1517.97 c 1517s | 19 | 755089 | 650682 | 71277 19 | 0 | 0 1519.64/1520.21 c 1519s | 19 | 755609 | 651182 | 71277 19 | 0 | 0 1522.03/1522.61 c 1521s | 19 | 756224 | 651782 | 71277 19 | 0 | 0 1524.33/1524.97 c 1524s | 19 | 756940 | 652482 | 71277 19 | 0 | 0 1526.34/1526.97 c 1526s | 19 | 757459 | 652982 | 71277 19 | 0 | 0 1528.44/1529.07 c 1528s | 19 | 757966 | 653482 | 71277 19 | 0 | 0 1530.74/1531.35 c 1530s | 19 | 758492 | 653982 | 71277 19 | 0 | 0 1532.73/1533.37 c 1532s | 19 | 758922 | 654382 | 71277 19 | 0 | 0 1534.83/1535.48 c 1534s | 19 | 759449 | 654882 | 71277 19 | 0 | 0 1537.13/1537.79 c 1537s | 19 | 759961 | 655382 | 71277 19 | 0 | 0 1539.63/1540.25 c 1539s | 19 | 760484 | 655882 | 71277 19 | 0 | 0 1541.83/1542.48 c 1541s | 19 | 760984 | 656382 | 71277 19 | 0 | 0 1544.13/1544.71 c 1543s | 19 | 761499 | 656882 | 71277 19 | 0 | 0 1546.33/1546.99 c 1546s | 19 | 762022 | 657382 | 71277 19 | 0 | 0 1548.94/1549.53 c 1548s | 19 | 762223 | 657582 | 71277 20 | 0 | 0 1551.03/1551.60 c 1550s | 19 | 762430 | 657782 | 71277 20 | 0 | 0 1555.34/1555.97 c 1555s | 19 | 762743 | 658082 | 71277 20 | 0 | 0 1557.53/1558.13 c 1557s | 19 | 763391 | 658682 | 71277 20 | 0 | 0 1559.73/1560.37 c 1559s | 19 | 764346 | 659582 | 71277 20 | 0 | 0 1561.93/1562.59 c 1561s | 19 | 765382 | 660582 | 71277 20 | 0 | 0 1564.13/1564.75 c 1563s | 19 | 766295 | 661482 | 71277 20 | 0 | 0 1566.13/1566.76 c 1565s | 19 | 766930 | 662082 | 71277 20 | 0 | 0 1568.33/1568.97 c 1568s | 19 | 767594 | 662682 | 78405 20 | 0 | 0 1570.43/1571.07 c 1570s | 19 | 768211 | 663282 | 78405 20 | 0 | 0 1572.54/1573.12 c 1572s | 19 | 768914 | 663882 | 78405 20 | 0 | 0 1574.53/1575.19 c 1574s | 19 | 769533 | 664482 | 78405 20 | 0 | 0 1576.94/1577.53 c 1576s | 19 | 770474 | 665382 | 78405 20 | 0 | 0 1579.04/1579.68 c 1578s | 19 | 771274 | 666182 | 78405 20 | 0 | 0 1580.73/1581.38 c 1580s | 20 | 771965 | 666827 | 78405 20 | 0 | 0 1583.83/1584.48 c 1583s | 20 | 773516 | 667027 | 78405 20 | 0 | 0 1586.53/1587.17 c 1586s | 20 | 774431 | 667527 | 78405 20 | 0 | 0 1588.93/1589.54 c 1588s | 20 | 774556 | 667627 | 78405 20 | 0 | 0 1592.73/1593.36 c 1592s | 20 | 776202 | 669127 | 78405 20 | 0 | 0 1594.83/1595.42 c 1594s | 20 | 779107 | 671727 | 78405 20 | 0 | 0 1596.83/1597.45 c 1596s | 20 | 781583 | 673927 | 78405 20 | 0 | 0 1598.84/1599.49 c 1598s | 20 | 783823 | 675927 | 78405 20 | 0 | 0 1600.93/1601.60 c 1600s | 20 | 786054 | 677927 | 78405 20 | 0 | 0 1603.03/1603.61 c 1602s | 20 | 788051 | 679727 | 78405 20 | 0 | 0 1605.03/1605.67 c 1604s | 20 | 789875 | 681427 | 78405 20 | 0 | 0 1607.13/1607.76 c 1606s | 20 | 792031 | 683227 | 78405 20 | 0 | 0 1609.23/1609.81 c 1609s | 20 | 794045 | 684927 | 78405 20 | 0 | 0 1612.03/1612.66 c 1611s | 20 | 794341 | 685127 | 78405 20 | 0 | 0 1614.12/1614.77 c 1613s | 20 | 795890 | 686527 | 78405 20 | 0 | 0 1616.22/1616.81 c 1616s | 20 | 797355 | 687827 | 78405 20 | 0 | 0 1618.32/1618.93 c 1618s | 20 | 799199 | 689327 | 78405 20 | 0 | 0 1620.42/1621.03 c 1620s | 20 | 801431 | 691227 | 78405 20 | 0 | 0 1622.42/1623.04 c 1622s | 20 | 803207 | 692827 | 78405 20 | 0 | 0 1624.42/1625.06 c 1624s | 20 | 804638 | 694127 | 78405 20 | 0 | 0 1626.62/1627.23 c 1626s | 20 | 806280 | 695627 | 78405 20 | 0 | 0 1628.63/1629.29 c 1628s | 20 | 807761 | 696927 | 78405 20 | 0 | 0 1630.73/1631.40 c 1630s | 20 | 808993 | 698027 | 78405 20 | 0 | 0 1632.93/1633.58 c 1632s | 20 | 810315 | 699227 | 78405 20 | 0 | 0 1635.13/1635.71 c 1634s | 20 | 811438 | 700227 | 78405 20 | 0 | 0 1637.22/1637.87 c 1637s | 20 | 812649 | 701327 | 78405 20 | 0 | 0 1639.62/1640.27 c 1639s | 20 | 813525 | 702127 | 78405 21 | 0 | 0 1641.82/1642.45 c 1641s | 20 | 814611 | 703127 | 78405 21 | 0 | 0 1644.02/1644.66 c 1643s | 20 | 815474 | 703927 | 78405 21 | 0 | 0 1646.22/1646.84 c 1646s | 20 | 816477 | 704827 | 78405 21 | 0 | 0 1648.22/1648.84 c 1648s | 20 | 817571 | 705827 | 78405 21 | 0 | 0 1650.42/1651.04 c 1650s | 20 | 818648 | 706827 | 78405 21 | 0 | 0 1652.62/1653.21 c 1652s | 20 | 819741 | 707827 | 78405 21 | 0 | 0 1654.62/1655.24 c 1654s | 20 | 820736 | 708727 | 78405 21 | 0 | 0 1656.72/1657.35 c 1656s | 20 | 821603 | 709527 | 78405 21 | 0 | 0 1658.72/1659.38 c 1658s | 20 | 822235 | 710127 | 78405 21 | 0 | 0 1660.92/1661.55 c 1660s | 20 | 823217 | 711027 | 78405 21 | 0 | 0 1663.02/1663.66 c 1662s | 20 | 824184 | 711927 | 78405 21 | 0 | 0 1665.12/1665.70 c 1664s | 20 | 825150 | 712827 | 78405 21 | 0 | 0 1667.12/1667.70 c 1666s | 20 | 826109 | 713727 | 78405 21 | 0 | 0 1669.22/1669.87 c 1669s | 20 | 827075 | 714627 | 78405 21 | 0 | 0 1671.42/1672.10 c 1671s | 20 | 828143 | 715627 | 78405 21 | 0 | 0 1673.52/1674.20 c 1673s | 20 | 829123 | 716527 | 78405 21 | 0 | 0 1675.62/1676.28 c 1675s | 20 | 830102 | 717427 | 78405 21 | 0 | 0 1677.82/1678.46 c 1677s | 20 | 831160 | 718427 | 78405 21 | 0 | 0 1680.01/1680.60 c 1679s | 20 | 832129 | 719327 | 78405 21 | 0 | 0 1682.01/1682.63 c 1681s | 20 | 832997 | 720127 | 78405 21 | 0 | 0 1684.01/1684.63 c 1683s | 20 | 833871 | 720927 | 78405 21 | 0 | 0 1686.21/1686.81 c 1686s | 20 | 834833 | 721827 | 78405 21 | 0 | 0 1688.31/1688.94 c 1688s | 20 | 835693 | 722627 | 78405 21 | 0 | 0 1690.51/1691.16 c 1690s | 20 | 836818 | 723627 | 78405 21 | 0 | 0 1692.61/1693.22 c 1692s | 20 | 837814 | 724527 | 78405 21 | 0 | 0 1694.62/1695.24 c 1694s | 20 | 838819 | 725427 | 78405 21 | 0 | 0 1696.61/1697.27 c 1696s | 20 | 839936 | 726427 | 78405 21 | 0 | 0 1698.81/1699.48 c 1698s | 20 | 840829 | 727227 | 78405 21 | 0 | 0 1701.12/1701.71 c 1700s | 20 | 841687 | 728027 | 78405 21 | 0 | 0 1703.32/1703.92 c 1703s | 20 | 842678 | 728927 | 78405 21 | 0 | 0 1705.52/1706.14 c 1705s | 20 | 843653 | 729827 | 78405 21 | 0 | 0 1707.61/1708.25 c 1707s | 20 | 844502 | 730627 | 78405 21 | 0 | 0 1709.61/1710.26 c 1709s | 20 | 845163 | 731227 | 78405 21 | 0 | 0 1711.71/1712.34 c 1711s | 20 | 845912 | 731927 | 78405 21 | 0 | 0 1713.81/1714.48 c 1713s | 20 | 846795 | 732727 | 78405 21 | 0 | 0 1715.91/1716.59 c 1715s | 20 | 847634 | 733527 | 78405 21 | 0 | 0 1718.01/1718.69 c 1717s | 20 | 848653 | 734427 | 78405 21 | 0 | 0 1720.31/1720.90 c 1720s | 20 | 849531 | 735227 | 78405 21 | 0 | 0 1722.41/1723.09 c 1722s | 20 | 850417 | 736027 | 78405 21 | 0 | 0 1724.61/1725.23 c 1724s | 20 | 851296 | 736827 | 78405 21 | 0 | 0 1726.61/1727.25 c 1726s | 20 | 851919 | 737427 | 78405 21 | 0 | 0 1728.81/1729.48 c 1728s | 20 | 852780 | 738227 | 78405 21 | 0 | 0 1731.11/1731.77 c 1730s | 20 | 853776 | 739127 | 78405 21 | 0 | 0 1733.31/1733.92 c 1733s | 20 | 854529 | 739827 | 78405 21 | 0 | 0 1735.31/1735.98 c 1735s | 20 | 855192 | 740427 | 78405 21 | 0 | 0 1737.41/1738.01 c 1737s | 20 | 855960 | 741127 | 78405 21 | 0 | 0 1739.50/1740.18 c 1739s | 20 | 856609 | 741727 | 78405 21 | 0 | 0 1742.40/1743.04 c 1742s | 20 | 857276 | 742327 | 78405 22 | 0 | 0 1744.60/1745.22 c 1744s | 20 | 858248 | 743227 | 78405 22 | 0 | 0 1746.70/1747.35 c 1746s | 20 | 859128 | 744027 | 78405 22 | 0 | 0 1748.90/1749.50 c 1748s | 20 | 860214 | 745027 | 78405 22 | 0 | 0 1751.00/1751.60 c 1750s | 20 | 861338 | 746027 | 78405 22 | 0 | 0 1753.10/1753.77 c 1752s | 20 | 862430 | 747027 | 78405 22 | 0 | 0 1755.90/1756.52 c 1755s | 20 | 863112 | 747627 | 78405 22 | 0 | 0 1757.90/1758.59 c 1757s | 20 | 864224 | 748627 | 78405 22 | 0 | 0 1760.00/1760.64 c 1759s | 20 | 865226 | 749527 | 78405 22 | 0 | 0 1762.20/1762.88 c 1762s | 20 | 866206 | 750427 | 78405 22 | 0 | 0 1764.30/1764.99 c 1764s | 20 | 867206 | 751327 | 78405 22 | 0 | 0 1766.40/1767.03 c 1766s | 20 | 868107 | 752127 | 78405 22 | 0 | 0 1768.40/1769.08 c 1768s | 20 | 868968 | 752927 | 78405 22 | 0 | 0 1770.50/1771.13 c 1770s | 20 | 869861 | 753727 | 78405 22 | 0 | 0 1772.50/1773.18 c 1772s | 20 | 870872 | 754627 | 78405 22 | 0 | 0 1774.60/1775.24 c 1774s | 20 | 871734 | 755427 | 78405 22 | 0 | 0 1776.90/1777.51 c 1776s | 20 | 872715 | 756327 | 78405 22 | 0 | 0 1779.10/1779.77 c 1778s | 20 | 873722 | 757227 | 78405 22 | 0 | 0 1781.30/1781.94 c 1781s | 20 | 874555 | 758027 | 78405 22 | 0 | 0 1783.30/1783.99 c 1783s | 20 | 875452 | 758827 | 78405 22 | 0 | 0 1785.49/1786.19 c 1785s | 20 | 876445 | 759727 | 78405 22 | 0 | 0 1787.59/1788.23 c 1787s | 20 | 877199 | 760427 | 78405 22 | 0 | 0 1789.69/1790.31 c 1789s | 20 | 878108 | 761227 | 78405 22 | 0 | 0 1791.79/1792.49 c 1791s | 20 | 878883 | 761927 | 78405 22 | 0 | 0 1793.89/1794.58 c 1793s | 20 | 879642 | 762627 | 78405 22 | 0 | 0 1795.99/1796.60 c 1795s | 20 | 880424 | 763327 | 78405 22 | 0 | 0 1798.00/1798.62 c 1797s | 20 | 881164 | 764027 | 78405 22 | 0 | 0
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-4078755-1465222292/watcher-4078755-1465222292 -o /tmp/evaluation-result-4078755-1465222292/solver-4078755-1465222292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078755-1465222292.opb pid=14822 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.22 2.23 3/179 14825 /proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 2752 0 0 0 0 0 0 0 20 0 4 0 104161529 754380800 2603 33554432000 4194304 16246674 140733216703328 140733216702752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 184943 2612 441 2943 0 181837 0 [pid=14825/tid=14826] ppid=14822 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 773255168 2674 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 777449472 2690 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=762436 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104161530 780734464 2704 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100184 s] /proc/loadavg: 2.17 2.22 2.23 3/179 14825 /proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 29126 0 0 0 6 3 0 0 20 0 4 0 104161529 1249447936 28914 33554432000 4194304 16246674 140733216703328 140733216702640 4206653 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 305041 28914 802 2943 0 301935 0 [pid=14825/tid=14826] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200506 s] /proc/loadavg: 2.17 2.22 2.23 3/179 14825 /proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 51126 0 0 0 12 7 0 0 20 0 4 0 104161529 1342771200 51425 33554432000 4194304 16246674 140733216703328 140733216702640 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 327825 51431 802 2943 0 324719 0 [pid=14825/tid=14826] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1342771200 51436 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1342771200 51440 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1342771200 51444 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300488 s] /proc/loadavg: 2.17 2.22 2.23 3/179 14825 /proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 57418 0 0 0 21 8 0 0 20 0 4 0 104161529 1345916928 57717 33554432000 4194304 16246674 140733216703328 140733216702640 6965369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 328593 57728 847 2943 0 325487 0 [pid=14825/tid=14826] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1345916928 57733 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 57739 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 57744 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700413 s] /proc/loadavg: 2.17 2.22 2.23 3/179 14825 /proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 131361 0 0 0 50 19 0 0 20 0 4 0 104161529 1345916928 131661 33554432000 4194304 16246674 140733216703328 140733216685184 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 328593 131670 847 2943 0 325487 0 [pid=14825/tid=14826] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1345916928 131675 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 131681 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 131686 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.17 2.22 2.23 3/183 14829 /proc/meminfo: memFree=28844276/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=1.48 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 246519 0 0 0 116 32 0 0 20 0 4 0 104161529 1360596992 246818 33554432000 4194304 16246674 140733216703328 140733216686328 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 246830 883 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 246840 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 246846 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 246855 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1328708 [startup+3.10043 s] /proc/loadavg: 2.17 2.22 2.23 3/183 14829 /proc/meminfo: memFree=28306864/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=3.08 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272854 0 0 0 272 36 0 0 20 0 4 0 104161529 1360596992 273153 33554432000 4194304 16246674 140733216703328 140733216685248 6010764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273153 889 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1328708 [startup+6.30043 s] /proc/loadavg: 2.15 2.21 2.23 3/183 14829 /proc/meminfo: memFree=28307328/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=6.28 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272855 0 0 0 592 36 0 0 20 0 4 0 104161529 1360596992 273154 33554432000 4194304 16246674 140733216703328 140733216685248 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273154 889 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1328708 [startup+12.7004 s] /proc/loadavg: 2.14 2.21 2.23 3/183 14829 /proc/meminfo: memFree=28307128/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=12.68 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272857 0 0 0 1232 36 0 0 20 0 4 0 104161529 1360596992 273156 33554432000 4194304 16246674 140733216703328 140733216685248 5675344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273156 890 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1328708 [startup+25.5005 s] /proc/loadavg: 2.26 2.23 2.23 3/183 14829 /proc/meminfo: memFree=28307760/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=25.48 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272858 0 0 0 2512 36 0 0 20 0 4 0 104161529 1360596992 273157 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273157 890 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1328708 [startup+51.1005 s] /proc/loadavg: 2.24 2.23 2.23 4/183 14829 /proc/meminfo: memFree=28307716/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=51.08 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272862 0 0 0 5072 36 0 0 20 0 4 0 104161529 1360596992 273161 33554432000 4194304 16246674 140733216703328 140733216685248 5545919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273161 894 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1328708 [startup+102.301 s] /proc/loadavg: 2.20 2.22 2.23 3/183 14831 /proc/meminfo: memFree=28307140/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=1328708 CPUtime=102.28 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272863 0 0 0 10192 36 0 0 20 0 4 0 104161529 1360596992 273162 33554432000 4194304 16246674 140733216703328 140733216685248 5523371 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 332177 273162 895 2943 0 329071 0 [pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1328708 ################ # More data... # ################ Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 2025028 [startup+1362.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 14912 /proc/meminfo: memFree=27635136/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2025028 CPUtime=1361.76 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 447435 0 0 0 136107 69 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140733216702504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 506257 447498 895 2943 0 503151 0 [pid=14825/tid=14826] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 2025028 [startup+1422.3 s] /proc/loadavg: 2.28 2.20 2.18 4/183 14913 /proc/meminfo: memFree=27634300/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2025028 CPUtime=1421.76 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 447438 0 0 0 142107 69 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140733216685248 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 506257 447498 895 2943 0 503151 0 [pid=14825/tid=14826] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 2025028 [startup+1482.3 s] /proc/loadavg: 2.16 2.18 2.18 3/183 14914 /proc/meminfo: memFree=27595724/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2062916 CPUtime=1481.74 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 456910 0 0 0 148101 73 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140733216685248 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 515729 456970 895 2943 0 512623 0 [pid=14825/tid=14826] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 2062916 [startup+1542.31 s] /proc/loadavg: 2.14 2.17 2.18 3/183 14915 /proc/meminfo: memFree=27595584/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2062916 CPUtime=1541.74 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 456910 0 0 0 154101 73 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 515729 456970 895 2943 0 512623 0 [pid=14825/tid=14826] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 2062916 [startup+1602.3 s] /proc/loadavg: 2.26 2.20 2.18 4/183 14917 /proc/meminfo: memFree=27582232/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1601.73 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 160095 78 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 2076228 [startup+1662.3 s] /proc/loadavg: 2.28 2.20 2.19 3/183 14918 /proc/meminfo: memFree=27581880/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1661.72 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 166093 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 2076228 [startup+1722.3 s] /proc/loadavg: 2.23 2.20 2.18 3/184 14922 /proc/meminfo: memFree=27582424/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1721.71 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 172092 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 2076228 [startup+1782.3 s] /proc/loadavg: 2.32 2.22 2.19 4/183 14923 /proc/meminfo: memFree=27581612/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1781.7 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 178091 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 2076228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 2.31 2.22 2.19 3/183 14923 /proc/meminfo: memFree=27580284/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1800.1 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 179931 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 2076228 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 14825 sig 9 ??? kill -14825 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.31 2.22 2.19 3/183 14923 /proc/meminfo: memFree=27580284/32872528 swapFree=16636/1570076 [pid=14825] ppid=14822 vsize=2076228 CPUtime=1800.1 cores=1,3,5,7 /proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 179931 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14825/statm: 519057 460298 895 2943 0 515951 0 [pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7 /proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 2076228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.14 CPU user time (s): 1799.33 CPU system time (s): 0.807877 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 2076228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.807877 maximum resident set size= 1841192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460238 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= 617 involuntary context switches= 1823 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.01824 second user time and 7.2169 second system time The end
Begin job on node140 at 2016-06-06 16:11:32 IDJOB=4078755 IDBENCH=1500 IDSOLVER=2542 FILE ID=node140/4078755-1465222292 RUNJOBID= node140-1465216678-13092 PBS_JOBID= 19843199 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078755-1465222292/watcher-4078755-1465222292 -o /tmp/evaluation-result-4078755-1465222292/solver-4078755-1465222292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078755-1465222292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d484bc8efed557f17788965b19feafe5 RANDOM SEED=133574920 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29399624 kB Buffers: 11836 kB Cached: 86052 kB SwapCached: 1736 kB Active: 1166092 kB Inactive: 32272 kB Active(anon): 1099932 kB Inactive(anon): 2644 kB Active(file): 66160 kB Inactive(file): 29628 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67097924 kB Dirty: 17696 kB Writeback: 0 kB AnonPages: 2676200 kB Mapped: 10636 kB Shmem: 0 kB Slab: 567808 kB SReclaimable: 11348 kB SUnreclaim: 556460 kB KernelStack: 1512 kB PageTables: 9252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2816116 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2226176 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= 71708 MiB End job on node140 at 2016-06-06 16:41:33