| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/nossum/ normalized-sha1-size112-round22-9.opb |
| MD5SUM | d827b9fc4bd3966ba2debe1f9174b854 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4128 |
| Total number of constraints | 8688 |
| Number of constraints which are clauses | 7424 |
| Number of constraints which are cardinality constraints (but not clauses) | 400 |
| Number of constraints which are nor clauses,nor cardinality constraints | 864 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| 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 | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-26T19:15:11+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-4116325-1466961311.opb"] 0.00/0.01 c use --random-gen="4259199816 2930688324 497102434 828543864 3835278561 1582464637 4137553180 2244984741 2066445591 268102935 1490623508 3632306480 3069924662 2732228616 1498708062 1808798147 2416126914 1441967054 513857817 2620970992 3757895215 1084301814 3192307461 1773520972 298084999 3774383423 3625314932 1780460626 2924487503 1727196382 2668437990 2275865159 192302285 3382236024 2194126949 462592059 3650587249 2567862466 2704273106 2986159 882443022 1475393853 1790888664 229943436 1313647546 1267963173 3810831235 2914110413 3372453114 671799847 255989811 4124774438 2530708632 1660830934 2856438301 1098519816 2649982843 1745068149 4068968894 1906477942 574044645 1481443262 2145067831 318435595 3599918261 1042723197 139282109 3472956019 2454520986 157883417 2254029633 3502898416 209698150 1880978233 3087453976 55289514 4124590614 1073669949 3709166324 2353409038 865077697 4195304898 3017959427 2444791199 4005199384 3212965499 1059062992 2802803404 3064307010 3125050927 1470228145 2197863360 2274713329 2714082762 2273337934 3093023664 523643732 2228613763 1233368099 1996116719 2372166620 895118798 2100211132 1044275243 1963015264 3635141475 1024651667 3159701383 2804857889 1580961803 1908503704 1951437808 684939171 3036380616 2307710269 3950487677 4284084216 3162979426 2453829700 2701872734 515875481 1773190927 2375573061 2974304817 450361685 154782673 3784973989 3991784260 2891916889 2653948768 3953958599 1065692661 1649083948 2413196022 2961037045 1333795193 1127583322 2938531272 2636694159 4068413694 746147010 2237556203 1422655881 2481344005 3750729669 3677931456 4024178118 2944540575 4237144975 3175217239 1617715157 2207692724 2518672537 68654188 155919493 1920535293 1712325818 3359536309 2761685660 1756743303 2460479242 2436394748 143788203 1170465899 1050916262 366827928 1039156916 2278448684 1955454895 785395386 1635161166 2126743959 2451953369 16271229 752012205 2818215934 3816134967 642207735 1006570422 4146793421 3934958057 121969950 1871924136 3597602166 3602509101 1291302069 367366112 43594111 2757314956 1326703188 313193337 1395865924 1352339988 1580240358 1363476800 4101031567 4003132879 3440538418 407821655 4097416053 293639968 1093412768 1253855114 2618900998 128577014 2101774655 913860490 1054923498 2941661324 3389356206 3410032625 179808940 223930543 1951112646 3748170098 1545094847 1714802831 262044800 746781333 2024265539 1002477324 3172970081 1004009744 3827245547 1152181711 995921209 4132265637 1084783084 3911636494 3349603848 1280279572 2323991711 3330603967 2385289011 2287839364 2509580276 186835071 1721197005 1702498089 3875806484 437884362 873981961 4188139780 25465740 2237375538 257818881 758621524 616193321 3680707684 3557817706 3343402612 2279108174 2609844227 560774610 2671250358 623400503 255 362436" option to reproduce the execution 0.09/0.11 c #vars 4128 0.09/0.11 c #constraints 8688 0.31/0.35 c Solving starts ... 0.31/0.35 c ============================[ Search Statistics ]============================ 0.31/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.31/0.35 c | | | | Limit GC | Var | Constra 0.31/0.35 c ============================================================================= 0.31/0.35 c 0.0s | 0 | 0 | 0 | 4234 0 | 697 | 0 0.31/0.35 c 0.1s | 1 | 534 | 100 | 4234 0 | 697 | 540 0.39/0.45 c 0.2s | 2 | 3181 | 250 | 4658 0 | 698 | 540 0.59/0.60 c 0.4s | 3 | 5232 | 475 | 5124 0 | 698 | 540 0.79/0.82 c 0.6s | 4 | 7476 | 813 | 5637 0 | 698 | 540 1.19/1.24 c 1.0s | 5 | 11602 | 1320 | 6201 0 | 699 | 540 1.79/1.87 c 1.6s | 6 | 13691 | 2081 | 7505 0 | 699 | 540 3.09/3.12 c 2.9s | 7 | 16367 | 3223 | 8256 0 | 699 | 540 3.89/4.00 c 3.7s | 8 | 20228 | 4936 | 9082 0 | 699 | 540 5.99/6.04 c 5.8s | 8 | 23623 | 6736 | 9082 0 | 699 | 540 6.99/7.02 c 6.8s | 9 | 24630 | 7506 | 9991 0 | 699 | 540 9.00/9.05 c 8.8s | 9 | 30382 | 9606 | 9991 0 | 699 | 540 11.10/11.13 c 10.9s | 9 | 32780 | 11206 | 9991 0 | 699 | 540 11.29/11.33 c 11.1s | 10 | 32994 | 11361 | 10991 0 | 699 | 540 13.30/13.39 c 13.1s | 10 | 37941 | 13461 | 10991 0 | 699 | 540 15.39/15.43 c 15.2s | 10 | 40043 | 14961 | 10991 1 | 699 | 540 17.49/17.50 c 17.2s | 10 | 42946 | 16861 | 10991 1 | 699 | 540 17.80/17.81 c 17.6s | 11 | 43365 | 17144 | 12091 1 | 699 | 540 19.79/19.88 c 19.6s | 11 | 50906 | 19344 | 12091 1 | 699 | 540 21.89/21.95 c 21.7s | 11 | 52288 | 20544 | 12091 1 | 699 | 540 24.09/24.11 c 23.9s | 11 | 53391 | 21544 | 12091 1 | 699 | 540 26.09/26.13 c 25.9s | 11 | 54539 | 22544 | 12091 1 | 699 | 540 28.29/28.32 c 28.1s | 11 | 55684 | 23544 | 12091 2 | 699 | 540 30.39/30.49 c 30.2s | 11 | 56672 | 24444 | 12091 2 | 699 | 540 32.49/32.57 c 32.3s | 11 | 57528 | 25244 | 12091 2 | 699 | 540 33.88/33.99 c 33.7s | 12 | 58220 | 25819 | 13301 2 | 699 | 540 35.98/36.07 c 35.8s | 12 | 66441 | 28119 | 13301 2 | 699 | 540 38.08/38.16 c 37.9s | 12 | 68334 | 29719 | 13301 2 | 699 | 540 40.18/40.21 c 40.0s | 12 | 73477 | 31419 | 13301 3 | 699 | 540 42.28/42.33 c 42.1s | 12 | 78549 | 33319 | 13301 3 | 699 | 540 44.28/44.34 c 44.1s | 12 | 80605 | 34719 | 13301 3 | 699 | 540 46.39/46.42 c 46.2s | 12 | 87246 | 36619 | 13301 3 | 699 | 540 48.38/48.47 c 48.2s | 12 | 91443 | 38419 | 13301 3 | 699 | 540 49.08/49.16 c 48.9s | 13 | 92098 | 38832 | 14632 3 | 699 | 540 51.08/51.16 c 50.9s | 13 | 97874 | 40232 | 14632 4 | 699 | 540 53.18/53.23 c 53.0s | 13 | 99708 | 41732 | 14632 4 | 699 | 540 55.28/55.39 c 55.1s | 13 | 101028 | 42932 | 14632 4 | 699 | 540 57.58/57.60 c 57.3s | 13 | 102371 | 44132 | 14632 4 | 699 | 540 59.58/59.65 c 59.4s | 13 | 103412 | 45032 | 14632 4 | 699 | 540 61.78/61.82 c 61.6s | 13 | 104409 | 45932 | 14632 4 | 699 | 540 63.77/63.89 c 63.6s | 13 | 105621 | 47032 | 14632 4 | 699 | 540 65.87/65.90 c 65.6s | 13 | 106727 | 48032 | 14632 4 | 699 | 540 67.97/68.04 c 67.8s | 13 | 107739 | 48932 | 14632 5 | 699 | 540 70.07/70.11 c 69.9s | 13 | 108907 | 49932 | 14632 5 | 699 | 540 72.07/72.19 c 71.9s | 13 | 109914 | 50832 | 14632 5 | 699 | 540 74.37/74.42 c 74.2s | 13 | 110943 | 51732 | 14632 5 | 699 | 540 76.67/76.70 c 76.4s | 13 | 111946 | 52632 | 14632 5 | 699 | 540 78.77/78.89 c 78.6s | 13 | 112791 | 53432 | 14632 5 | 699 | 540 80.87/80.92 c 80.7s | 13 | 113568 | 54132 | 14632 5 | 699 | 540 83.07/83.18 c 82.9s | 13 | 114416 | 54932 | 14632 5 | 699 | 540 85.07/85.19 c 84.9s | 13 | 115224 | 55632 | 14632 5 | 699 | 540 87.08/87.19 c 86.9s | 13 | 116258 | 56432 | 14632 5 | 699 | 540 89.37/89.45 c 89.2s | 13 | 117234 | 57232 | 14632 5 | 699 | 540 91.47/91.52 c 91.3s | 13 | 118094 | 57932 | 14632 6 | 699 | 540 92.27/92.38 c 92.1s | 14 | 118595 | 58352 | 16096 6 | 699 | 540 94.36/94.49 c 94.2s | 14 | 125507 | 60252 | 16096 6 | 699 | 540 96.46/96.52 c 96.3s | 14 | 127202 | 61452 | 16096 6 | 699 | 540 98.56/98.62 c 98.4s | 14 | 128699 | 62652 | 16096 6 | 699 | 540 100.66/100.75 c 100s | 14 | 129866 | 63652 | 16096 6 | 699 | 540 102.76/102.83 c 102s | 14 | 131062 | 64652 | 16096 6 | 699 | 540 104.96/105.03 c 104s | 14 | 132272 | 65652 | 16096 6 | 699 | 540 106.97/107.06 c 106s | 14 | 133158 | 66452 | 16096 6 | 699 | 540 109.08/109.13 c 108s | 14 | 134223 | 67352 | 16096 6 | 699 | 540 111.17/111.26 c 111s | 14 | 135134 | 68152 | 16096 7 | 699 | 540 113.37/113.47 c 113s | 14 | 136163 | 69052 | 16096 7 | 699 | 540 115.57/115.63 c 115s | 14 | 137096 | 69852 | 16096 7 | 699 | 540 117.87/117.97 c 117s | 14 | 138013 | 70652 | 16096 7 | 699 | 540 119.97/120.07 c 119s | 14 | 138780 | 71352 | 16096 7 | 699 | 540 122.17/122.26 c 122s | 14 | 139560 | 72052 | 16096 7 | 699 | 540 124.47/124.53 c 124s | 14 | 140340 | 72752 | 16096 7 | 699 | 540 126.67/126.78 c 126s | 14 | 140994 | 73352 | 16096 7 | 699 | 540 128.77/128.86 c 128s | 14 | 141660 | 73952 | 16096 7 | 699 | 540 130.76/130.86 c 130s | 14 | 142327 | 74552 | 16096 7 | 699 | 540 132.76/132.88 c 132s | 14 | 142857 | 75052 | 16096 7 | 699 | 540 134.86/134.99 c 134s | 14 | 143531 | 75652 | 16096 7 | 699 | 540 137.16/137.21 c 136s | 14 | 144205 | 76252 | 16096 7 | 699 | 540 139.36/139.40 c 139s | 14 | 144878 | 76852 | 16096 7 | 699 | 540 141.46/141.53 c 141s | 14 | 145395 | 77352 | 16096 7 | 699 | 540 143.66/143.72 c 143s | 14 | 145814 | 77752 | 16096 8 | 699 | 540 145.86/145.96 c 145s | 14 | 146566 | 78452 | 16096 8 | 699 | 540 148.06/148.11 c 147s | 14 | 147333 | 79152 | 16096 8 | 699 | 540 150.26/150.30 c 150s | 14 | 148115 | 79852 | 16096 8 | 699 | 540 152.55/152.62 c 152s | 14 | 148906 | 80552 | 16096 8 | 699 | 540 154.75/154.88 c 154s | 14 | 149691 | 81252 | 16096 8 | 699 | 540 156.95/157.02 c 156s | 14 | 150339 | 81852 | 16096 8 | 699 | 540 159.35/159.40 c 159s | 14 | 150996 | 82452 | 16096 8 | 699 | 540 161.65/161.75 c 161s | 14 | 151644 | 83052 | 16096 8 | 699 | 540 163.75/163.81 c 163s | 14 | 152326 | 83652 | 16096 8 | 699 | 540 165.85/165.90 c 165s | 14 | 153010 | 84252 | 16096 8 | 699 | 540 168.05/168.19 c 167s | 14 | 153681 | 84852 | 16096 8 | 699 | 540 170.15/170.22 c 169s | 14 | 154259 | 85352 | 16096 8 | 699 | 540 172.25/172.39 c 172s | 14 | 154989 | 85952 | 16096 8 | 699 | 540 174.35/174.48 c 174s | 14 | 155712 | 86552 | 16096 8 | 699 | 540 176.55/176.65 c 176s | 14 | 156428 | 87152 | 17706 8 | 699 | 540 178.15/178.25 c 178s | 15 | 157003 | 87632 | 17706 8 | 699 | 540 180.14/180.28 c 180s | 15 | 160933 | 88832 | 17706 9 | 699 | 540 182.24/182.34 c 182s | 15 | 163756 | 90632 | 17706 9 | 699 | 540 184.34/184.41 c 184s | 15 | 165779 | 92432 | 17706 9 | 699 | 540 186.34/186.45 c 186s | 15 | 168204 | 94232 | 17706 9 | 699 | 540 188.44/188.53 c 188s | 15 | 170180 | 95832 | 17706 9 | 699 | 540 190.54/190.61 c 190s | 15 | 172040 | 97332 | 17706 9 | 699 | 540 192.66/192.79 c 192s | 15 | 173440 | 98532 | 17706 10 | 699 | 540 194.86/194.91 c 194s | 15 | 175019 | 99832 | 17706 10 | 699 | 540 196.96/197.01 c 196s | 15 | 176282 | 100932 | 17706 10 | 699 | 540 199.05/199.18 c 198s | 15 | 177804 | 102232 | 17706 10 | 699 | 540 201.15/201.26 c 201s | 15 | 179153 | 103432 | 17706 10 | 699 | 540 203.35/203.44 c 203s | 15 | 180369 | 104532 | 17706 10 | 699 | 540 205.35/205.48 c 205s | 15 | 181545 | 105532 | 17706 10 | 699 | 540 207.55/207.61 c 207s | 15 | 182554 | 106432 | 17706 10 | 699 | 540 209.55/209.65 c 209s | 15 | 183547 | 107332 | 17706 10 | 699 | 540 211.64/211.75 c 211s | 15 | 184418 | 108132 | 17706 10 | 699 | 540 213.74/213.84 c 213s | 15 | 185178 | 108832 | 17706 11 | 699 | 540 215.84/215.95 c 215s | 15 | 186227 | 109732 | 17706 11 | 699 | 540 218.04/218.10 c 217s | 15 | 187463 | 110732 | 17706 11 | 699 | 540 220.04/220.13 c 219s | 15 | 188396 | 111532 | 17706 11 | 699 | 540 222.24/222.35 c 222s | 15 | 189530 | 112532 | 17706 11 | 699 | 540 224.44/224.53 c 224s | 15 | 190605 | 113432 | 17706 11 | 699 | 540 226.44/226.53 c 226s | 15 | 191552 | 114232 | 17706 11 | 699 | 540 228.64/228.72 c 228s | 15 | 192534 | 115132 | 17706 11 | 699 | 540 230.73/230.86 c 230s | 15 | 193295 | 115832 | 17706 11 | 699 | 540 232.93/233.01 c 232s | 15 | 194190 | 116632 | 17706 11 | 699 | 540 235.13/235.25 c 234s | 15 | 195203 | 117532 | 17706 11 | 699 | 540 237.33/237.48 c 237s | 15 | 196423 | 118432 | 17706 11 | 699 | 540 239.43/239.52 c 239s | 15 | 197261 | 119132 | 17706 12 | 699 | 540 241.63/241.78 c 241s | 15 | 198414 | 120132 | 17706 12 | 699 | 540 243.93/244.07 c 243s | 15 | 199538 | 121132 | 17706 12 | 699 | 540 246.13/246.22 c 245s | 15 | 200873 | 122232 | 17706 12 | 699 | 540 248.32/248.42 c 248s | 15 | 202030 | 123232 | 17706 12 | 699 | 540 250.42/250.59 c 250s | 15 | 203093 | 124132 | 17706 12 | 699 | 540 252.52/252.64 c 252s | 15 | 204135 | 125032 | 17706 12 | 699 | 540 254.52/254.64 c 254s | 15 | 205060 | 125832 | 17706 12 | 699 | 540 256.72/256.84 c 256s | 15 | 206097 | 126732 | 17706 12 | 699 | 540 258.92/259.06 c 258s | 15 | 207016 | 127532 | 17706 12 | 699 | 540 261.22/261.33 c 261s | 15 | 207933 | 128332 | 17706 12 | 699 | 540 263.22/263.37 c 263s | 15 | 208818 | 129032 | 17706 12 | 699 | 540 265.32/265.43 c 265s | 15 | 209715 | 129832 | 17706 13 | 699 | 540 267.32/267.47 c 267s | 15 | 210826 | 130832 | 19477 13 | 699 | 540 268.52/268.64 c 268s | 16 | 211727 | 131552 | 19477 13 | 699 | 540 270.61/270.72 c 270s | 16 | 215008 | 132852 | 19477 13 | 699 | 540 272.61/272.74 c 272s | 16 | 216148 | 133952 | 19477 13 | 699 | 540 274.71/274.83 c 274s | 16 | 218000 | 135252 | 19477 13 | 699 | 540 276.91/277.00 c 276s | 16 | 219592 | 136452 | 19477 13 | 699 | 540 278.91/279.09 c 278s | 16 | 220762 | 137452 | 19477 13 | 699 | 540 281.00/281.15 c 280s | 16 | 225463 | 139152 | 19477 13 | 699 | 540 283.10/283.20 c 282s | 16 | 227238 | 140552 | 19477 13 | 699 | 540 285.10/285.28 c 285s | 16 | 230460 | 142152 | 19477 14 | 699 | 540 287.21/287.32 c 287s | 16 | 232056 | 143452 | 19477 14 | 699 | 540 289.31/289.42 c 289s | 16 | 233602 | 144752 | 19477 14 | 699 | 540 291.50/291.62 c 291s | 16 | 234949 | 145952 | 19477 14 | 699 | 540 293.60/293.75 c 293s | 16 | 236055 | 146952 | 19477 14 | 699 | 540 295.70/295.86 c 295s | 16 | 237324 | 148052 | 19477 14 | 699 | 540 297.79/297.99 c 297s | 16 | 238735 | 149152 | 19477 14 | 699 | 540 300.09/300.20 c 299s | 16 | 240038 | 150152 | 19477 14 | 699 | 540 302.19/302.37 c 302s | 16 | 241080 | 151052 | 19477 14 | 699 | 540 304.19/304.37 c 304s | 16 | 241991 | 151852 | 19477 14 | 699 | 540 306.79/306.93 c 306s | 16 | 242882 | 152652 | 19477 15 | 699 | 540 308.89/309.04 c 308s | 16 | 243766 | 153452 | 19477 15 | 699 | 540 310.99/311.13 c 310s | 16 | 244800 | 154352 | 19477 15 | 699 | 540 313.19/313.34 c 313s | 16 | 245848 | 155252 | 19477 15 | 699 | 540 315.29/315.41 c 315s | 16 | 246733 | 156052 | 19477 15 | 699 | 540 317.49/317.64 c 317s | 16 | 247606 | 156852 | 19477 15 | 699 | 540 319.59/319.73 c 319s | 16 | 248409 | 157552 | 19477 15 | 699 | 540 321.79/321.98 c 321s | 16 | 249319 | 158352 | 19477 15 | 699 | 540 323.99/324.18 c 323s | 16 | 250085 | 159052 | 19477 15 | 699 | 540 325.99/326.19 c 325s | 16 | 250735 | 159652 | 19477 15 | 699 | 540 328.09/328.28 c 328s | 16 | 251520 | 160352 | 19477 15 | 699 | 540 330.18/330.31 c 330s | 16 | 252181 | 160952 | 19477 15 | 699 | 540 332.38/332.53 c 332s | 16 | 252993 | 161652 | 19477 15 | 699 | 540 334.39/334.56 c 334s | 16 | 253824 | 162352 | 19477 15 | 699 | 540 336.59/336.74 c 336s | 16 | 254785 | 163152 | 19477 15 | 699 | 540 338.79/338.99 c 338s | 16 | 255726 | 163952 | 19477 15 | 699 | 540 340.99/341.15 c 340s | 16 | 256521 | 164652 | 19477 16 | 699 | 540 343.19/343.31 c 343s | 16 | 257523 | 165552 | 19477 16 | 699 | 540 345.18/345.33 c 345s | 16 | 258543 | 166452 | 19477 16 | 699 | 540 347.28/347.48 c 347s | 16 | 259557 | 167352 | 19477 16 | 699 | 540 349.57/349.71 c 349s | 16 | 260371 | 168052 | 19477 16 | 699 | 540 351.57/351.79 c 351s | 16 | 261176 | 168752 | 19477 16 | 699 | 540 353.77/353.91 c 353s | 16 | 262089 | 169552 | 19477 16 | 699 | 540 355.87/356.02 c 355s | 16 | 263003 | 170352 | 19477 16 | 699 | 540 357.87/358.08 c 357s | 16 | 263807 | 171052 | 19477 16 | 699 | 540 360.17/360.35 c 360s | 16 | 264600 | 171752 | 19477 16 | 699 | 540 362.47/362.67 c 362s | 16 | 265385 | 172452 | 19477 16 | 699 | 540 364.67/364.81 c 364s | 16 | 266184 | 173152 | 19477 16 | 699 | 540 366.87/367.09 c 366s | 16 | 266977 | 173852 | 19477 16 | 699 | 540 369.07/369.29 c 369s | 16 | 267776 | 174552 | 19477 16 | 699 | 540 371.17/371.36 c 371s | 16 | 268440 | 175152 | 19477 16 | 699 | 540 373.27/373.42 c 373s | 16 | 268985 | 175652 | 19477 17 | 699 | 540 375.47/375.62 c 375s | 16 | 269870 | 176452 | 19477 17 | 699 | 540 377.57/377.72 c 377s | 16 | 270730 | 177252 | 19477 17 | 699 | 540 379.66/379.85 c 379s | 16 | 271521 | 177952 | 19477 17 | 699 | 540 381.86/382.07 c 381s | 16 | 272378 | 178752 | 19477 17 | 699 | 540 384.06/384.25 c 383s | 16 | 273281 | 179552 | 19477 17 | 699 | 540 386.26/386.41 c 386s | 16 | 274013 | 180252 | 19477 17 | 699 | 540 388.37/388.51 c 388s | 16 | 274783 | 180952 | 19477 17 | 699 | 540 390.46/390.69 c 390s | 16 | 275552 | 181652 | 19477 17 | 699 | 540 392.66/392.83 c 392s | 16 | 276334 | 182352 | 19477 17 | 699 | 540 394.86/395.02 c 394s | 16 | 277101 | 183052 | 19477 17 | 699 | 540 397.16/397.38 c 397s | 16 | 277882 | 183752 | 19477 17 | 699 | 540 399.45/399.60 c 399s | 16 | 278655 | 184452 | 19477 17 | 699 | 540 401.46/401.63 c 401s | 16 | 279458 | 185152 | 19477 17 | 699 | 540 403.55/403.77 c 403s | 16 | 280248 | 185852 | 19477 17 | 699 | 540 405.75/406.00 c 405s | 16 | 281135 | 186652 | 19477 17 | 699 | 540 408.05/408.21 c 407s | 16 | 281799 | 187252 | 19477 18 | 699 | 540 410.14/410.39 c 410s | 16 | 282789 | 188152 | 19477 18 | 699 | 540 412.14/412.39 c 412s | 16 | 283673 | 188952 | 19477 18 | 699 | 540 414.44/414.60 c 414s | 16 | 284668 | 189852 | 19477 18 | 699 | 540 416.44/416.68 c 416s | 16 | 285523 | 190652 | 19477 18 | 699 | 540 418.74/418.99 c 418s | 16 | 286413 | 191452 | 19477 18 | 699 | 540 420.94/421.17 c 420s | 16 | 287167 | 192152 | 19477 18 | 699 | 540 423.14/423.36 c 423s | 16 | 287949 | 192852 | 19477 18 | 699 | 540 425.54/425.70 c 425s | 16 | 288728 | 193552 | 19477 18 | 699 | 540 427.54/427.74 c 427s | 16 | 289389 | 194152 | 19477 18 | 699 | 540 429.53/429.78 c 429s | 16 | 290030 | 194752 | 19477 18 | 699 | 540 431.73/431.95 c 431s | 16 | 290666 | 195352 | 19477 18 | 699 | 540 433.83/434.07 c 433s | 16 | 291305 | 195952 | 19477 18 | 699 | 540 435.93/436.18 c 435s | 16 | 292038 | 196552 | 21425 18 | 699 | 540 438.13/438.31 c 438s | 16 | 292992 | 197352 | 21425 18 | 699 | 540 438.33/438.51 c 438s | 17 | 293090 | 197432 | 21425 18 | 699 | 540 440.33/440.53 c 440s | 17 | 303030 | 199432 | 21425 19 | 699 | 540 442.33/442.55 c 442s | 17 | 316635 | 202432 | 21425 19 | 699 | 540 444.34/444.56 c 444s | 17 | 330217 | 205332 | 21425 19 | 699 | 540 446.33/446.58 c 446s | 17 | 332888 | 207132 | 21425 19 | 699 | 540 448.43/448.63 c 448s | 17 | 338678 | 209232 | 21425 19 | 699 | 540 450.43/450.68 c 450s | 17 | 342430 | 211032 | 21425 19 | 699 | 540 452.53/452.71 c 452s | 17 | 347143 | 212832 | 21425 20 | 699 | 540 454.53/454.73 c 454s | 17 | 350442 | 214532 | 21425 20 | 699 | 540 456.54/456.76 c 456s | 17 | 353075 | 216132 | 21425 20 | 699 | 540 458.63/458.87 c 458s | 17 | 355516 | 217732 | 21425 20 | 699 | 540 460.83/461.02 c 460s | 17 | 358058 | 219332 | 21425 20 | 699 | 540 462.82/463.06 c 462s | 17 | 359571 | 220532 | 21425 20 | 699 | 540 464.92/465.10 c 464s | 17 | 360749 | 221532 | 21425 20 | 699 | 540 467.12/467.31 c 467s | 17 | 361980 | 222532 | 21425 20 | 699 | 540 469.32/469.57 c 469s | 17 | 363013 | 223432 | 21425 20 | 699 | 540 471.51/471.71 c 471s | 17 | 363937 | 224232 | 21425 21 | 699 | 540 473.51/473.72 c 473s | 17 | 365060 | 225132 | 21425 21 | 699 | 540 475.61/475.83 c 475s | 17 | 366122 | 226032 | 21425 21 | 699 | 540 477.81/478.01 c 477s | 17 | 367217 | 226932 | 21425 21 | 699 | 540 479.81/480.02 c 479s | 17 | 368338 | 227832 | 21425 21 | 699 | 540 481.91/482.10 c 481s | 17 | 369311 | 228632 | 21425 21 | 699 | 540 483.91/484.20 c 483s | 17 | 370678 | 229632 | 21425 21 | 699 | 540 486.01/486.24 c 485s | 17 | 371684 | 230432 | 21425 21 | 699 | 540 488.11/488.32 c 488s | 17 | 372618 | 231232 | 21425 21 | 699 | 540 490.11/490.40 c 490s | 17 | 373429 | 231932 | 21425 21 | 699 | 540 492.30/492.59 c 492s | 17 | 374328 | 232632 | 21425 21 | 699 | 540 494.40/494.69 c 494s | 17 | 375344 | 233432 | 21425 21 | 699 | 540 496.50/496.70 c 496s | 17 | 376194 | 234132 | 21425 21 | 699 | 540 498.50/498.72 c 498s | 17 | 376881 | 234732 | 21425 21 | 699 | 540 500.51/500.74 c 500s | 17 | 377756 | 235432 | 21425 21 | 699 | 540 502.80/503.02 c 502s | 17 | 378582 | 236132 | 21425 21 | 699 | 540 504.81/505.07 c 504s | 17 | 379274 | 236732 | 21425 22 | 699 | 540 507.01/507.22 c 506s | 17 | 380179 | 237532 | 21425 22 | 699 | 540 509.31/509.51 c 509s | 17 | 381089 | 238332 | 21425 22 | 699 | 540 511.30/511.59 c 511s | 17 | 381764 | 238932 | 21425 22 | 699 | 540 513.49/513.75 c 513s | 17 | 382424 | 239532 | 21425 22 | 699 | 540 515.69/515.93 c 515s | 17 | 383091 | 240132 | 21425 22 | 699 | 540 517.79/518.00 c 517s | 17 | 383650 | 240632 | 21425 22 | 699 | 540 520.09/520.36 c 520s | 17 | 384492 | 241332 | 21425 22 | 699 | 540 522.19/522.44 c 522s | 17 | 385174 | 241932 | 21425 22 | 699 | 540 524.60/524.86 c 524s | 17 | 385832 | 242532 | 21425 22 | 699 | 540 526.90/527.13 c 526s | 17 | 386575 | 243132 | 21425 22 | 699 | 540 529.00/529.21 c 528s | 17 | 387255 | 243732 | 21425 22 | 699 | 540 530.99/531.29 c 531s | 17 | 387931 | 244332 | 21425 22 | 699 | 540 533.19/533.47 c 533s | 17 | 388733 | 245032 | 21425 22 | 699 | 540 535.59/535.89 c 535s | 17 | 389387 | 245632 | 21425 22 | 699 | 540 537.89/538.12 c 537s | 17 | 389952 | 246132 | 21425 22 | 699 | 540 540.18/540.44 c 540s | 17 | 390750 | 246832 | 21425 22 | 699 | 540 542.38/542.62 c 542s | 17 | 391556 | 247532 | 21425 22 | 699 | 540 544.38/544.63 c 544s | 17 | 392253 | 248132 | 21425 22 | 699 | 540 546.78/547.00 c 546s | 17 | 392911 | 248732 | 21425 23 | 699 | 540 548.78/549.01 c 548s | 17 | 393730 | 249432 | 21425 23 | 699 | 540 550.77/551.07 c 550s | 17 | 394684 | 250232 | 21425 23 | 699 | 540 552.87/553.10 c 552s | 17 | 395624 | 251032 | 21425 23 | 699 | 540 554.97/555.29 c 555s | 17 | 396666 | 251932 | 21425 23 | 699 | 540 557.17/557.49 c 557s | 17 | 397609 | 252732 | 21425 23 | 699 | 540 559.37/559.64 c 559s | 17 | 398404 | 253432 | 21425 23 | 699 | 540 561.46/561.79 c 561s | 17 | 399246 | 254132 | 21425 23 | 699 | 540 563.66/563.91 c 563s | 17 | 400218 | 254932 | 21425 23 | 699 | 540 565.66/565.96 c 565s | 17 | 401172 | 255732 | 21425 23 | 699 | 540 567.76/568.09 c 567s | 17 | 402134 | 256532 | 21425 23 | 699 | 540 570.06/570.35 c 570s | 17 | 403060 | 257332 | 21425 23 | 699 | 540 572.26/572.51 c 572s | 17 | 403889 | 258032 | 21425 23 | 699 | 540 574.36/574.65 c 574s | 17 | 404666 | 258732 | 21425 23 | 699 | 540 576.46/576.70 c 576s | 17 | 405365 | 259332 | 21425 23 | 699 | 540 578.46/578.78 c 578s | 17 | 406028 | 259932 | 21425 23 | 699 | 540 580.55/580.84 c 580s | 17 | 406719 | 260532 | 21425 23 | 699 | 540 582.75/583.01 c 582s | 17 | 407274 | 261032 | 21425 24 | 699 | 540 584.85/585.15 c 584s | 17 | 408175 | 261832 | 21425 24 | 699 | 540 586.95/587.24 c 586s | 17 | 409087 | 262632 | 21425 24 | 699 | 540 589.15/589.48 c 589s | 17 | 410096 | 263532 | 21425 24 | 699 | 540 591.24/591.57 c 591s | 17 | 410980 | 264332 | 21425 24 | 699 | 540 593.44/593.78 c 593s | 17 | 411906 | 265132 | 21425 24 | 699 | 540 595.54/595.85 c 595s | 17 | 412843 | 265932 | 21425 24 | 699 | 540 597.74/598.09 c 597s | 17 | 413631 | 266632 | 21425 24 | 699 | 540 600.04/600.35 c 600s | 17 | 414420 | 267332 | 21425 24 | 699 | 540 602.24/602.50 c 602s | 17 | 415089 | 267932 | 21425 24 | 699 | 540 604.54/604.86 c 604s | 17 | 415874 | 268632 | 21425 24 | 699 | 540 606.83/607.15 c 606s | 17 | 416824 | 269432 | 21425 24 | 699 | 540 608.93/609.28 c 609s | 17 | 417509 | 270032 | 21425 24 | 699 | 540 611.33/611.62 c 611s | 17 | 418274 | 270732 | 21425 24 | 699 | 540 613.33/613.68 c 613s | 17 | 418969 | 271332 | 21425 24 | 699 | 540 615.63/615.98 c 615s | 17 | 419635 | 271932 | 21425 24 | 699 | 540 617.83/618.12 c 617s | 17 | 420315 | 272532 | 21425 24 | 699 | 540 620.12/620.41 c 620s | 17 | 420876 | 273032 | 21425 25 | 699 | 540 622.12/622.42 c 622s | 17 | 421917 | 273832 | 21425 25 | 699 | 540 624.22/624.50 c 624s | 17 | 422853 | 274632 | 21425 25 | 699 | 540 626.42/626.71 c 626s | 17 | 423787 | 275432 | 21425 25 | 699 | 540 628.52/628.89 c 628s | 17 | 424722 | 276232 | 21425 25 | 699 | 540 630.82/631.18 c 630s | 17 | 425521 | 276932 | 21425 25 | 699 | 540 632.92/633.27 c 633s | 17 | 426502 | 277732 | 21425 25 | 699 | 540 635.02/635.37 c 635s | 17 | 427418 | 278532 | 21425 25 | 699 | 540 637.12/637.43 c 637s | 17 | 428383 | 279332 | 21425 25 | 699 | 540 639.31/639.68 c 639s | 17 | 429200 | 280032 | 21425 25 | 699 | 540 641.51/641.87 c 641s | 17 | 430024 | 280732 | 21425 25 | 699 | 540 643.71/644.01 c 643s | 17 | 430798 | 281432 | 21425 25 | 699 | 540 645.71/646.04 c 645s | 17 | 431478 | 282032 | 21425 25 | 699 | 540 647.73/648.07 c 647s | 17 | 432297 | 282732 | 21425 25 | 699 | 540 649.92/650.24 c 649s | 17 | 433098 | 283432 | 21425 25 | 699 | 540 652.22/652.54 c 652s | 17 | 434040 | 284232 | 21425 25 | 699 | 540 654.32/654.62 c 654s | 17 | 434861 | 284932 | 21425 25 | 699 | 540 656.52/656.88 c 656s | 17 | 435561 | 285532 | 21425 26 | 699 | 540 658.72/659.06 c 658s | 17 | 436842 | 286632 | 21425 26 | 699 | 540 660.81/661.16 c 660s | 17 | 438057 | 287632 | 21425 26 | 699 | 540 663.01/663.34 c 663s | 17 | 439096 | 288532 | 21425 26 | 699 | 540 665.21/665.56 c 665s | 17 | 440171 | 289432 | 21425 26 | 699 | 540 667.31/667.64 c 667s | 17 | 441089 | 290232 | 21425 26 | 699 | 540 669.60/669.96 c 669s | 17 | 442076 | 291032 | 21425 26 | 699 | 540 671.80/672.17 c 671s | 17 | 442976 | 291832 | 21425 26 | 699 | 540 674.00/674.39 c 674s | 17 | 443878 | 292632 | 21425 26 | 699 | 540 676.10/676.45 c 676s | 17 | 444546 | 293232 | 21425 26 | 699 | 540 678.30/678.61 c 678s | 17 | 445336 | 293932 | 21425 26 | 699 | 540 680.29/680.69 c 680s | 17 | 446155 | 294632 | 23568 26 | 699 | 540 682.59/682.93 c 682s | 17 | 446958 | 295332 | 23568 26 | 699 | 540 684.89/685.21 c 684s | 17 | 447806 | 296032 | 23568 26 | 699 | 540 685.59/685.99 c 685s | 18 | 448048 | 296252 | 23568 26 | 699 | 540 687.69/688.02 c 687s | 18 | 455457 | 298152 | 23568 26 | 699 | 540 690.09/690.48 c 690s | 18 | 457402 | 299652 | 23568 27 | 699 | 540 692.29/692.63 c 692s | 18 | 459206 | 301152 | 23568 27 | 699 | 540 694.29/694.66 c 694s | 18 | 460468 | 302252 | 23568 27 | 699 | 540 696.49/696.84 c 696s | 18 | 461618 | 303252 | 23568 27 | 699 | 540 698.49/698.84 c 698s | 18 | 462616 | 304152 | 23568 27 | 699 | 540 700.50/700.88 c 700s | 18 | 464281 | 305252 | 23568 27 | 699 | 540 702.59/703.00 c 702s | 18 | 466250 | 306552 | 23568 27 | 699 | 540 704.69/705.01 c 704s | 18 | 468133 | 307852 | 23568 27 | 699 | 540 706.79/707.17 c 706s | 18 | 471702 | 309552 | 23568 27 | 699 | 540 708.99/709.37 c 709s | 18 | 473137 | 310752 | 23568 27 | 699 | 540 711.09/711.46 c 711s | 18 | 474417 | 311752 | 23568 27 | 699 | 540 713.28/713.64 c 713s | 18 | 475648 | 312752 | 23568 27 | 699 | 540 715.29/715.65 c 715s | 18 | 476502 | 313452 | 23568 28 | 699 | 540 717.28/717.69 c 717s | 18 | 477823 | 314552 | 23568 28 | 699 | 540 719.58/719.94 c 719s | 18 | 479171 | 315652 | 23568 28 | 699 | 540 721.58/721.98 c 721s | 18 | 480310 | 316552 | 23568 28 | 699 | 540 723.88/724.22 c 723s | 18 | 481404 | 317452 | 23568 28 | 699 | 540 725.98/726.31 c 726s | 18 | 482973 | 318552 | 23568 28 | 699 | 540 728.09/728.42 c 728s | 18 | 484413 | 319652 | 23568 28 | 699 | 540 730.08/730.43 c 730s | 18 | 485368 | 320452 | 23568 28 | 699 | 540 732.08/732.45 c 732s | 18 | 486445 | 321252 | 23568 28 | 699 | 540 734.18/734.54 c 734s | 18 | 487667 | 322252 | 23568 28 | 699 | 540 736.28/736.61 c 736s | 18 | 489743 | 323452 | 23568 28 | 699 | 540 738.38/738.79 c 738s | 18 | 491527 | 324652 | 23568 28 | 699 | 540 740.58/740.93 c 740s | 18 | 492628 | 325552 | 23568 28 | 699 | 540 743.18/743.52 c 743s | 18 | 493722 | 326452 | 23568 29 | 699 | 540 745.18/745.54 c 745s | 18 | 494792 | 327352 | 23568 29 | 699 | 540 747.28/747.68 c 747s | 18 | 495933 | 328352 | 23568 29 | 699 | 540 749.38/749.73 c 749s | 18 | 496998 | 329252 | 23568 29 | 699 | 540 751.58/751.99 c 751s | 18 | 497885 | 330052 | 23568 29 | 699 | 540 753.78/754.10 c 753s | 18 | 498801 | 330852 | 23568 29 | 699 | 540 755.88/756.22 c 755s | 18 | 499719 | 331652 | 23568 29 | 699 | 540 758.07/758.41 c 758s | 18 | 500670 | 332452 | 23568 29 | 699 | 540 760.37/760.73 c 760s | 18 | 501644 | 333252 | 23568 29 | 699 | 540 762.47/762.83 c 762s | 18 | 502450 | 333952 | 23568 29 | 699 | 540 764.47/764.87 c 764s | 18 | 503109 | 334552 | 23568 29 | 699 | 540 766.67/767.06 c 766s | 18 | 503894 | 335252 | 23568 29 | 699 | 540 769.07/769.42 c 769s | 18 | 504805 | 336052 | 23568 29 | 699 | 540 771.17/771.56 c 771s | 18 | 505622 | 336752 | 23568 29 | 699 | 540 773.27/773.62 c 773s | 18 | 506286 | 337352 | 23568 29 | 699 | 540 775.47/775.81 c 775s | 18 | 506954 | 337952 | 23568 29 | 699 | 540 777.77/778.14 c 777s | 18 | 507489 | 338452 | 23568 29 | 699 | 540 779.87/780.23 c 779s | 18 | 508151 | 339052 | 23568 29 | 699 | 540 782.77/783.12 c 782s | 18 | 508805 | 339652 | 23568 30 | 699 | 540 785.07/785.40 c 785s | 18 | 509706 | 340452 | 23568 30 | 699 | 540 787.07/787.47 c 787s | 18 | 510474 | 341152 | 23568 30 | 699 | 540 789.27/789.65 c 789s | 18 | 511139 | 341752 | 23568 30 | 699 | 540 791.57/791.92 c 791s | 18 | 511899 | 342452 | 23568 30 | 699 | 540 793.68/794.09 c 793s | 18 | 512792 | 343152 | 23568 30 | 699 | 540 795.78/796.17 c 795s | 18 | 513784 | 343952 | 23568 30 | 699 | 540 797.78/798.17 c 797s | 18 | 514740 | 344752 | 23568 30 | 699 | 540 799.98/800.30 c 800s | 18 | 515398 | 345352 | 23568 30 | 699 | 540 801.98/802.37 c 802s | 18 | 516081 | 345952 | 23568 30 | 699 | 540 804.27/804.67 c 804s | 18 | 516856 | 346652 | 23568 30 | 699 | 540 806.47/806.85 c 806s | 18 | 517514 | 347252 | 23568 30 | 699 | 540 808.57/808.96 c 808s | 18 | 518251 | 347852 | 23568 30 | 699 | 540 810.77/811.15 c 810s | 18 | 519358 | 348852 | 23568 30 | 699 | 540 812.78/813.18 c 812s | 18 | 520264 | 349552 | 23568 30 | 699 | 540 815.07/815.46 c 815s | 18 | 520821 | 350052 | 23568 30 | 699 | 540 817.08/817.48 c 817s | 18 | 521256 | 350452 | 23568 30 | 699 | 540 819.38/819.75 c 819s | 18 | 521803 | 350952 | 23568 30 | 699 | 540 821.77/822.11 c 821s | 18 | 522364 | 351452 | 23568 30 | 699 | 540 823.78/824.12 c 823s | 18 | 522940 | 351952 | 23568 30 | 699 | 540 825.77/826.16 c 825s | 18 | 523869 | 352752 | 23568 30 | 699 | 540 827.97/828.34 c 828s | 18 | 524438 | 353252 | 23568 31 | 699 | 540 830.07/830.43 c 830s | 18 | 526015 | 354352 | 23568 31 | 699 | 540 832.17/832.52 c 832s | 18 | 527251 | 355352 | 23568 31 | 699 | 540 834.27/834.60 c 834s | 18 | 528322 | 356252 | 23568 31 | 699 | 540 836.37/836.75 c 836s | 18 | 529425 | 357152 | 23568 31 | 699 | 540 838.37/838.76 c 838s | 18 | 530290 | 357852 | 23568 31 | 699 | 540 840.67/841.01 c 840s | 18 | 531397 | 358752 | 23568 31 | 699 | 540 842.77/843.15 c 842s | 18 | 532351 | 359552 | 23568 31 | 699 | 540 844.87/845.28 c 845s | 18 | 533270 | 360352 | 23568 31 | 699 | 540 847.17/847.50 c 847s | 18 | 534076 | 361052 | 23568 31 | 699 | 540 849.46/849.83 c 849s | 18 | 534862 | 361752 | 23568 31 | 699 | 540 851.67/852.03 c 851s | 18 | 536122 | 362652 | 23568 31 | 699 | 540 853.96/854.35 c 854s | 18 | 537001 | 363352 | 23568 31 | 699 | 540 856.26/856.61 c 856s | 18 | 537680 | 363952 | 23568 31 | 699 | 540 858.46/858.86 c 858s | 18 | 538376 | 364552 | 23568 31 | 699 | 540 860.86/861.27 c 861s | 18 | 538936 | 365052 | 23568 31 | 699 | 540 863.37/863.70 c 863s | 18 | 539492 | 365552 | 23568 31 | 699 | 540 865.57/865.94 c 865s | 18 | 540045 | 366052 | 23568 31 | 699 | 540 867.77/868.13 c 867s | 18 | 540490 | 366452 | 23568 32 | 699 | 540 869.76/870.19 c 869s | 18 | 541371 | 367252 | 23568 32 | 699 | 540 872.17/872.55 c 872s | 18 | 542144 | 367952 | 23568 32 | 699 | 540 874.27/874.62 c 874s | 18 | 542949 | 368652 | 23568 32 | 699 | 540 876.36/876.79 c 876s | 18 | 543706 | 369352 | 23568 32 | 699 | 540 878.66/879.03 c 878s | 18 | 544376 | 369952 | 23568 32 | 699 | 540 880.86/881.27 c 881s | 18 | 545055 | 370552 | 23568 32 | 699 | 540 882.95/883.32 c 883s | 18 | 545633 | 371052 | 23568 32 | 699 | 540 885.05/885.44 c 885s | 18 | 546184 | 371552 | 23568 32 | 699 | 540 887.46/887.84 c 887s | 18 | 546844 | 372152 | 23568 32 | 699 | 540 889.45/889.85 c 889s | 18 | 547394 | 372652 | 23568 32 | 699 | 540 891.87/892.27 c 892s | 18 | 548062 | 373252 | 23568 32 | 699 | 540 893.96/894.31 c 894s | 18 | 548602 | 373752 | 23568 32 | 699 | 540 896.06/896.41 c 896s | 18 | 549271 | 374352 | 23568 32 | 699 | 540 898.16/898.52 c 898s | 18 | 550050 | 375052 | 23568 32 | 699 | 540 900.36/900.76 c 900s | 18 | 550702 | 375652 | 23568 32 | 699 | 540 902.46/902.86 c 902s | 18 | 551372 | 376252 | 23568 32 | 699 | 540 904.56/904.90 c 904s | 18 | 552020 | 376852 | 23568 32 | 699 | 540 906.56/906.96 c 906s | 18 | 552548 | 377352 | 23568 32 | 699 | 540 908.86/909.25 c 908s | 18 | 553085 | 377852 | 23568 32 | 699 | 540 911.16/911.55 c 911s | 18 | 553649 | 378352 | 23568 32 | 699 | 540 913.76/914.10 c 913s | 18 | 554180 | 378852 | 23568 32 | 699 | 540 915.96/916.30 c 916s | 18 | 554755 | 379352 | 23568 32 | 699 | 540 918.26/918.65 c 918s | 18 | 555307 | 379852 | 23568 33 | 699 | 540 920.36/920.80 c 920s | 18 | 555885 | 380352 | 23568 33 | 699 | 540 922.76/923.12 c 922s | 18 | 556574 | 380952 | 23568 33 | 699 | 540 924.96/925.33 c 925s | 18 | 557263 | 381552 | 23568 33 | 699 | 540 927.06/927.49 c 927s | 18 | 558217 | 382352 | 23568 33 | 699 | 540 929.45/929.83 c 929s | 18 | 558996 | 383052 | 23568 33 | 699 | 540 931.65/932.01 c 931s | 18 | 559779 | 383752 | 23568 33 | 699 | 540 933.85/934.23 c 933s | 18 | 560581 | 384452 | 23568 33 | 699 | 540 936.25/936.63 c 936s | 18 | 561360 | 385152 | 23568 33 | 699 | 540 938.45/938.83 c 938s | 18 | 562008 | 385752 | 23568 33 | 699 | 540 940.55/940.95 c 940s | 18 | 562654 | 386352 | 23568 33 | 699 | 540 942.85/943.23 c 942s | 18 | 563326 | 386952 | 23568 33 | 699 | 540 944.95/945.32 c 945s | 18 | 563875 | 387452 | 23568 33 | 699 | 540 947.05/947.48 c 947s | 18 | 564425 | 387952 | 23568 33 | 699 | 540 949.35/949.79 c 949s | 18 | 565219 | 388652 | 23568 33 | 699 | 540 951.45/951.85 c 951s | 18 | 565856 | 389252 | 23568 33 | 699 | 540 953.85/954.20 c 953s | 18 | 566500 | 389852 | 23568 33 | 699 | 540 955.85/956.21 c 955s | 18 | 567036 | 390352 | 23568 33 | 699 | 540 958.05/958.44 c 958s | 18 | 567585 | 390852 | 23568 33 | 699 | 540 960.25/960.69 c 960s | 18 | 568153 | 391352 | 23568 33 | 699 | 540 962.36/962.75 c 962s | 18 | 568709 | 391852 | 23568 33 | 699 | 540 964.56/964.93 c 964s | 18 | 569260 | 392352 | 23568 33 | 699 | 540 966.85/967.20 c 966s | 18 | 569729 | 392752 | 23568 34 | 699 | 540 968.85/969.24 c 968s | 18 | 570407 | 393352 | 23568 34 | 699 | 540 971.16/971.53 c 971s | 18 | 571175 | 394052 | 23568 34 | 699 | 540 973.15/973.60 c 973s | 18 | 572082 | 394752 | 23568 34 | 699 | 540 975.24/975.68 c 975s | 18 | 573025 | 395552 | 23568 34 | 699 | 540 977.44/977.87 c 977s | 18 | 574040 | 396452 | 23568 34 | 699 | 540 979.64/980.01 c 979s | 18 | 574846 | 397152 | 23568 34 | 699 | 540 981.64/982.07 c 981s | 18 | 575545 | 397752 | 23568 34 | 699 | 540 983.94/984.34 c 984s | 18 | 576213 | 398352 | 23568 34 | 699 | 540 986.14/986.55 c 986s | 18 | 576879 | 398952 | 23568 34 | 699 | 540 988.55/988.95 c 988s | 18 | 577547 | 399552 | 23568 34 | 699 | 540 990.75/991.14 c 990s | 18 | 578083 | 400052 | 23568 34 | 699 | 540 992.85/993.21 c 992s | 18 | 578633 | 400552 | 23568 34 | 699 | 540 994.95/995.39 c 995s | 18 | 579172 | 401052 | 23568 34 | 699 | 540 997.25/997.68 c 997s | 18 | 579831 | 401652 | 23568 34 | 699 | 540 999.55/999.93 c 999s | 18 | 580505 | 402252 | 23568 34 | 699 | 540 1001.64/1002.03 c 1001s | 18 | 581061 | 402752 | 23568 34 | 699 | 540 1003.84/1004.26 c 1004s | 18 | 581599 | 403252 | 23568 34 | 699 | 540 1006.25/1006.61 c 1006s | 18 | 582258 | 403852 | 23568 34 | 699 | 540 1008.45/1008.83 c 1008s | 18 | 582955 | 404452 | 23568 34 | 699 | 540 1010.94/1011.31 c 1011s | 18 | 583611 | 405052 | 23568 34 | 699 | 540 1012.95/1013.37 c 1013s | 18 | 584155 | 405552 | 23568 34 | 699 | 540 1015.34/1015.70 c 1015s | 18 | 584601 | 405952 | 23568 35 | 699 | 540 1017.35/1017.72 c 1017s | 18 | 585292 | 406552 | 23568 35 | 699 | 540 1019.55/1019.95 c 1019s | 18 | 586365 | 407452 | 23568 35 | 699 | 540 1021.65/1022.08 c 1021s | 18 | 587186 | 408152 | 23568 35 | 699 | 540 1023.84/1024.30 c 1024s | 18 | 588240 | 409052 | 23568 35 | 699 | 540 1025.94/1026.35 c 1026s | 18 | 589146 | 409852 | 23568 35 | 699 | 540 1028.14/1028.50 c 1028s | 18 | 589936 | 410552 | 23568 35 | 699 | 540 1030.34/1030.71 c 1030s | 18 | 590719 | 411252 | 23568 35 | 699 | 540 1032.34/1032.75 c 1032s | 18 | 591410 | 411852 | 23568 35 | 699 | 540 1034.33/1034.79 c 1034s | 18 | 592102 | 412452 | 23568 35 | 699 | 540 1036.53/1036.97 c 1036s | 18 | 592904 | 413152 | 23568 35 | 699 | 540 1038.63/1039.00 c 1038s | 18 | 593758 | 413852 | 23568 35 | 699 | 540 1040.63/1041.02 c 1040s | 18 | 594579 | 414552 | 23568 35 | 699 | 540 1042.64/1043.09 c 1042s | 18 | 595300 | 415152 | 23568 35 | 699 | 540 1044.84/1045.26 c 1045s | 18 | 595993 | 415752 | 23568 35 | 699 | 540 1046.94/1047.37 c 1047s | 18 | 596650 | 416352 | 23568 35 | 699 | 540 1049.14/1049.51 c 1049s | 18 | 597322 | 416952 | 23568 35 | 699 | 540 1051.23/1051.66 c 1051s | 18 | 598016 | 417552 | 23568 35 | 699 | 540 1053.73/1054.16 c 1053s | 18 | 598688 | 418152 | 23568 35 | 699 | 540 1056.03/1056.43 c 1056s | 18 | 599226 | 418652 | 23568 35 | 699 | 540 1058.83/1059.23 c 1058s | 18 | 599773 | 419152 | 23568 36 | 699 | 540 1061.13/1061.51 c 1061s | 18 | 600717 | 419952 | 23568 36 | 699 | 540 1063.23/1063.69 c 1063s | 18 | 601523 | 420652 | 23568 36 | 699 | 540 1065.43/1065.85 c 1065s | 18 | 602667 | 421552 | 23568 36 | 699 | 540 1067.53/1067.98 c 1067s | 18 | 603489 | 422252 | 23568 36 | 699 | 540 1069.73/1070.18 c 1069s | 18 | 604293 | 422952 | 23568 36 | 699 | 540 1072.03/1072.43 c 1072s | 18 | 605086 | 423652 | 23568 36 | 699 | 540 1074.23/1074.67 c 1074s | 18 | 605887 | 424352 | 23568 36 | 699 | 540 1076.43/1076.84 c 1076s | 18 | 606551 | 424952 | 23568 36 | 699 | 540 1078.73/1079.11 c 1078s | 18 | 607211 | 425552 | 23568 36 | 699 | 540 1081.03/1081.48 c 1081s | 18 | 607996 | 426252 | 23568 36 | 699 | 540 1083.12/1083.59 c 1083s | 18 | 608536 | 426752 | 23568 36 | 699 | 540 1085.33/1085.75 c 1085s | 18 | 609228 | 427352 | 23568 36 | 699 | 540 1087.43/1087.80 c 1087s | 18 | 609905 | 427952 | 23568 36 | 699 | 540 1089.63/1090.05 c 1089s | 18 | 610571 | 428552 | 23568 36 | 699 | 540 1091.93/1092.38 c 1092s | 18 | 611244 | 429152 | 23568 36 | 699 | 540 1094.13/1094.57 c 1094s | 18 | 611816 | 429652 | 23568 36 | 699 | 540 1096.54/1096.92 c 1096s | 18 | 612361 | 430152 | 23568 36 | 699 | 540 1098.93/1099.39 c 1099s | 18 | 613016 | 430752 | 23568 36 | 699 | 540 1101.03/1101.43 c 1101s | 18 | 613567 | 431252 | 23568 36 | 699 | 540 1103.33/1103.79 c 1103s | 18 | 614112 | 431752 | 23568 36 | 699 | 540 1106.03/1106.49 c 1106s | 18 | 614680 | 432252 | 23568 37 | 699 | 540 1108.33/1108.70 c 1108s | 18 | 615475 | 432952 | 23568 37 | 699 | 540 1110.53/1110.98 c 1110s | 18 | 616390 | 433752 | 23568 37 | 699 | 540 1112.83/1113.27 c 1113s | 18 | 617171 | 434452 | 23568 37 | 699 | 540 1115.13/1115.54 c 1115s | 18 | 617840 | 435052 | 23568 37 | 699 | 540 1117.43/1117.81 c 1117s | 18 | 618624 | 435752 | 23568 37 | 699 | 540 1119.53/1119.97 c 1119s | 18 | 619305 | 436352 | 23568 37 | 699 | 540 1121.83/1122.22 c 1121s | 18 | 620136 | 437052 | 23568 37 | 699 | 540 1123.83/1124.26 c 1124s | 18 | 621273 | 437952 | 23568 37 | 699 | 540 1125.92/1126.39 c 1126s | 18 | 622375 | 438852 | 23568 37 | 699 | 540 1128.02/1128.49 c 1128s | 18 | 623313 | 439652 | 23568 37 | 699 | 540 1130.12/1130.51 c 1130s | 18 | 624262 | 440452 | 23568 37 | 699 | 540 1132.12/1132.57 c 1132s | 18 | 625058 | 441152 | 23568 37 | 699 | 540 1134.12/1134.58 c 1134s | 18 | 625735 | 441752 | 25925 37 | 699 | 540 1136.13/1136.58 c 1136s | 18 | 626451 | 442352 | 25925 37 | 699 | 540 1138.33/1138.76 c 1138s | 18 | 627285 | 443052 | 25925 37 | 699 | 540 1140.43/1140.83 c 1140s | 18 | 628187 | 443752 | 25925 37 | 699 | 540 1142.12/1142.54 c 1142s | 19 | 629256 | 444482 | 25925 37 | 699 | 540 1144.22/1144.69 c 1144s | 19 | 633749 | 445582 | 25925 37 | 699 | 540 1146.42/1146.82 c 1146s | 19 | 636087 | 446482 | 25925 38 | 699 | 540 1148.42/1148.82 c 1148s | 19 | 637598 | 447482 | 25925 38 | 699 | 540 1150.72/1151.13 c 1150s | 19 | 638590 | 448282 | 25925 38 | 699 | 540 1152.71/1153.18 c 1152s | 19 | 640672 | 449282 | 25925 38 | 699 | 540 1155.11/1155.53 c 1155s | 19 | 641507 | 449982 | 25925 38 | 699 | 540 1157.21/1157.65 c 1157s | 19 | 642066 | 450482 | 25925 38 | 699 | 540 1159.41/1159.85 c 1159s | 19 | 642773 | 451082 | 25925 38 | 699 | 540 1161.51/1161.97 c 1161s | 19 | 643681 | 451882 | 25925 38 | 699 | 540 1163.81/1164.26 c 1164s | 19 | 644806 | 452782 | 25925 38 | 699 | 540 1166.21/1166.61 c 1166s | 19 | 645741 | 453482 | 25925 38 | 699 | 540 1168.41/1168.88 c 1168s | 19 | 646357 | 453982 | 25925 38 | 699 | 540 1170.51/1170.98 c 1170s | 19 | 647225 | 454682 | 25925 38 | 699 | 540 1172.91/1173.34 c 1173s | 19 | 647797 | 455182 | 25925 38 | 699 | 540 1175.11/1175.53 c 1175s | 19 | 648507 | 455782 | 25925 38 | 699 | 540 1177.32/1177.79 c 1177s | 19 | 648983 | 456182 | 25925 38 | 699 | 540 1179.52/1179.96 c 1179s | 19 | 649560 | 456682 | 25925 38 | 699 | 540 1181.62/1182.05 c 1181s | 19 | 650133 | 457182 | 25925 38 | 699 | 540 1183.82/1184.21 c 1183s | 19 | 650703 | 457682 | 25925 38 | 699 | 540 1186.12/1186.50 c 1186s | 19 | 651187 | 458082 | 25925 38 | 699 | 540 1188.52/1188.98 c 1188s | 19 | 651621 | 458482 | 25925 38 | 699 | 540 1190.62/1191.05 c 1190s | 19 | 651951 | 458782 | 25925 38 | 699 | 540 1193.01/1193.46 c 1193s | 19 | 652514 | 459282 | 25925 38 | 699 | 540 1195.42/1195.81 c 1195s | 19 | 653082 | 459782 | 25925 38 | 699 | 540 1197.41/1197.87 c 1197s | 19 | 653778 | 460382 | 25925 38 | 699 | 540 1199.82/1200.29 c 1200s | 19 | 654343 | 460882 | 25925 38 | 699 | 540 1201.91/1202.33 c 1202s | 19 | 655018 | 461482 | 25925 38 | 699 | 540 1204.11/1204.54 c 1204s | 19 | 655643 | 461982 | 25925 39 | 699 | 540 1206.21/1206.62 c 1206s | 19 | 656325 | 462582 | 25925 39 | 699 | 540 1208.41/1208.86 c 1208s | 19 | 656998 | 463182 | 25925 39 | 699 | 540 1210.82/1211.21 c 1210s | 19 | 657673 | 463782 | 25925 39 | 699 | 540 1212.91/1213.34 c 1213s | 19 | 658237 | 464282 | 25925 39 | 699 | 540 1215.32/1215.73 c 1215s | 19 | 658905 | 464882 | 25925 39 | 699 | 540 1217.71/1218.14 c 1217s | 19 | 659733 | 465582 | 25925 39 | 699 | 540 1220.11/1220.53 c 1220s | 19 | 660201 | 465982 | 25925 39 | 699 | 540 1222.40/1222.80 c 1222s | 19 | 660903 | 466582 | 25925 39 | 699 | 540 1224.50/1224.94 c 1224s | 19 | 663270 | 467282 | 25925 39 | 699 | 540 1226.60/1227.08 c 1226s | 19 | 664503 | 468182 | 25925 39 | 699 | 540 1228.80/1229.27 c 1229s | 19 | 666467 | 469282 | 25925 39 | 699 | 540 1231.10/1231.55 c 1231s | 19 | 667928 | 470282 | 25925 39 | 699 | 540 1233.30/1233.74 c 1233s | 19 | 669043 | 471182 | 25925 39 | 699 | 540 1235.50/1235.92 c 1235s | 19 | 671049 | 472282 | 25925 39 | 699 | 540 1237.60/1238.02 c 1237s | 19 | 672013 | 473082 | 25925 39 | 699 | 540 1239.80/1240.21 c 1239s | 19 | 673014 | 473882 | 25925 39 | 699 | 540 1241.80/1242.26 c 1242s | 19 | 674190 | 474782 | 25925 39 | 699 | 540 1243.91/1244.34 c 1244s | 19 | 675063 | 475582 | 25925 39 | 699 | 540 1246.20/1246.62 c 1246s | 19 | 675817 | 476282 | 25925 40 | 699 | 540 1248.31/1248.71 c 1248s | 19 | 677238 | 477382 | 25925 40 | 699 | 540 1250.30/1250.78 c 1250s | 19 | 678242 | 478282 | 25925 40 | 699 | 540 1252.40/1252.81 c 1252s | 19 | 679347 | 479282 | 25925 40 | 699 | 540 1254.40/1254.86 c 1254s | 19 | 680305 | 480182 | 25925 40 | 699 | 540 1256.70/1257.11 c 1256s | 19 | 681307 | 481082 | 25925 40 | 699 | 540 1258.70/1259.13 c 1258s | 19 | 682189 | 481882 | 25925 40 | 699 | 540 1260.80/1261.21 c 1260s | 19 | 683069 | 482682 | 25925 40 | 699 | 540 1262.90/1263.30 c 1263s | 19 | 683814 | 483382 | 25925 40 | 699 | 540 1265.10/1265.55 c 1265s | 19 | 684662 | 484182 | 25925 40 | 699 | 540 1267.20/1267.66 c 1267s | 19 | 685530 | 484982 | 25925 40 | 699 | 540 1269.40/1269.83 c 1269s | 19 | 686457 | 485782 | 25925 40 | 699 | 540 1271.60/1272.08 c 1271s | 19 | 687225 | 486482 | 25925 40 | 699 | 540 1273.70/1274.12 c 1273s | 19 | 687747 | 486982 | 25925 40 | 699 | 540 1276.00/1276.42 c 1276s | 19 | 688404 | 487582 | 25925 40 | 699 | 540 1278.20/1278.61 c 1278s | 19 | 689177 | 488282 | 25925 40 | 699 | 540 1280.30/1280.70 c 1280s | 19 | 689851 | 488882 | 25925 40 | 699 | 540 1282.41/1282.83 c 1282s | 19 | 690515 | 489482 | 25925 40 | 699 | 540 1284.61/1285.02 c 1284s | 19 | 691182 | 490082 | 25925 40 | 699 | 540 1286.71/1287.20 c 1286s | 19 | 691816 | 490682 | 25925 40 | 699 | 540 1289.01/1289.41 c 1289s | 19 | 692498 | 491282 | 25925 41 | 699 | 540 1291.11/1291.53 c 1291s | 19 | 693427 | 492082 | 25925 41 | 699 | 540 1293.41/1293.81 c 1293s | 19 | 694310 | 492882 | 25925 41 | 699 | 540 1295.51/1296.00 c 1295s | 19 | 695269 | 493682 | 25925 41 | 699 | 540 1297.71/1298.18 c 1297s | 19 | 696322 | 494482 | 25925 41 | 699 | 540 1299.70/1300.19 c 1299s | 19 | 696973 | 495082 | 25925 41 | 699 | 540 1302.00/1302.43 c 1302s | 19 | 697917 | 495882 | 25925 41 | 699 | 540 1304.20/1304.69 c 1304s | 19 | 698673 | 496582 | 25925 41 | 699 | 540 1306.30/1306.74 c 1306s | 19 | 699309 | 497182 | 25925 41 | 699 | 540 1308.40/1308.85 c 1308s | 19 | 700108 | 497882 | 25925 41 | 699 | 540 1310.90/1311.34 c 1311s | 19 | 700741 | 498482 | 25925 41 | 699 | 540 1312.90/1313.36 c 1313s | 19 | 701157 | 498882 | 25925 41 | 699 | 540 1315.20/1315.62 c 1315s | 19 | 701690 | 499382 | 25925 41 | 699 | 540 1317.39/1317.87 c 1317s | 19 | 702470 | 500082 | 25925 41 | 699 | 540 1319.70/1320.17 c 1319s | 19 | 703230 | 500782 | 25925 41 | 699 | 540 1321.90/1322.39 c 1322s | 19 | 703877 | 501382 | 25925 41 | 699 | 540 1324.20/1324.63 c 1324s | 19 | 704538 | 501982 | 25925 41 | 699 | 540 1326.19/1326.63 c 1326s | 19 | 705238 | 502582 | 25925 41 | 699 | 540 1328.39/1328.89 c 1328s | 19 | 705893 | 503182 | 25925 41 | 699 | 540 1330.80/1331.27 c 1331s | 19 | 706562 | 503782 | 25925 41 | 699 | 540 1333.19/1333.64 c 1333s | 19 | 707209 | 504382 | 25925 41 | 699 | 540 1335.29/1335.78 c 1335s | 19 | 707740 | 504882 | 25925 41 | 699 | 540 1337.59/1338.02 c 1337s | 19 | 708314 | 505382 | 25925 42 | 699 | 540 1339.89/1340.34 c 1340s | 19 | 709087 | 506082 | 25925 42 | 699 | 540 1342.19/1342.60 c 1342s | 19 | 709710 | 506682 | 25925 42 | 699 | 540 1344.49/1344.92 c 1344s | 19 | 710503 | 507382 | 25925 42 | 699 | 540 1346.69/1347.10 c 1346s | 19 | 711149 | 507982 | 25925 42 | 699 | 540 1348.69/1349.19 c 1348s | 19 | 711935 | 508682 | 25925 42 | 699 | 540 1350.79/1351.29 c 1351s | 19 | 712585 | 509282 | 25925 42 | 699 | 540 1352.89/1353.38 c 1353s | 19 | 713349 | 509982 | 25925 42 | 699 | 540 1355.19/1355.63 c 1355s | 19 | 714002 | 510582 | 25925 42 | 699 | 540 1357.28/1357.75 c 1357s | 19 | 714664 | 511182 | 25925 42 | 699 | 540 1359.30/1359.75 c 1359s | 19 | 715326 | 511782 | 25925 42 | 699 | 540 1361.50/1361.91 c 1361s | 19 | 715975 | 512382 | 25925 42 | 699 | 540 1363.70/1364.12 c 1363s | 19 | 716635 | 512982 | 25925 42 | 699 | 540 1365.69/1366.19 c 1365s | 19 | 717156 | 513482 | 25925 42 | 699 | 540 1367.89/1368.35 c 1368s | 19 | 717685 | 513982 | 25925 42 | 699 | 540 1370.09/1370.58 c 1370s | 19 | 718346 | 514582 | 25925 42 | 699 | 540 1372.19/1372.61 c 1372s | 19 | 719035 | 515182 | 25925 42 | 699 | 540 1374.39/1374.88 c 1374s | 19 | 719673 | 515782 | 25925 42 | 699 | 540 1376.69/1377.13 c 1376s | 19 | 720511 | 516482 | 25925 42 | 699 | 540 1378.79/1379.24 c 1378s | 19 | 721192 | 517082 | 25925 42 | 699 | 540 1381.09/1381.57 c 1381s | 19 | 721858 | 517682 | 25925 42 | 699 | 540 1383.49/1383.92 c 1383s | 19 | 722512 | 518282 | 25925 42 | 699 | 540 1385.69/1386.18 c 1385s | 19 | 723212 | 518882 | 25925 42 | 699 | 540 1388.08/1388.57 c 1388s | 19 | 723913 | 519482 | 25925 42 | 699 | 540 1390.09/1390.57 c 1390s | 19 | 724374 | 519882 | 25925 43 | 699 | 540 1392.48/1392.92 c 1392s | 19 | 725185 | 520582 | 25925 43 | 699 | 540 1394.68/1395.18 c 1394s | 19 | 725965 | 521282 | 25925 43 | 699 | 540 1396.79/1397.27 c 1397s | 19 | 726613 | 521882 | 25925 43 | 699 | 540 1399.18/1399.64 c 1399s | 19 | 727420 | 522582 | 25925 43 | 699 | 540 1401.38/1401.80 c 1401s | 19 | 728083 | 523182 | 25925 43 | 699 | 540 1403.29/1403.80 c 1403s | 19 | 728777 | 523782 | 25925 43 | 699 | 540 1405.59/1406.04 c 1405s | 19 | 729558 | 524482 | 25925 43 | 699 | 540 1407.79/1408.28 c 1408s | 19 | 730352 | 525182 | 25925 43 | 699 | 540 1409.88/1410.39 c 1410s | 19 | 731027 | 525782 | 25925 43 | 699 | 540 1412.19/1412.65 c 1412s | 19 | 731836 | 526482 | 25925 43 | 699 | 540 1414.39/1414.82 c 1414s | 19 | 732499 | 527082 | 25925 43 | 699 | 540 1416.38/1416.89 c 1416s | 19 | 733178 | 527682 | 25925 43 | 699 | 540 1418.58/1419.04 c 1418s | 19 | 733818 | 528282 | 25925 43 | 699 | 540 1420.58/1421.06 c 1420s | 19 | 734369 | 528782 | 25925 43 | 699 | 540 1422.68/1423.13 c 1422s | 19 | 734906 | 529282 | 25925 43 | 699 | 540 1425.08/1425.58 c 1425s | 19 | 735546 | 529882 | 25925 43 | 699 | 540 1427.17/1427.61 c 1427s | 19 | 736088 | 530382 | 25925 43 | 699 | 540 1429.27/1429.75 c 1429s | 19 | 736812 | 530982 | 25925 43 | 699 | 540 1431.37/1431.82 c 1431s | 19 | 737427 | 531482 | 25925 43 | 699 | 540 1433.37/1433.86 c 1433s | 19 | 737983 | 531982 | 25925 43 | 699 | 540 1435.57/1436.08 c 1435s | 19 | 738534 | 532482 | 25925 43 | 699 | 540 1438.07/1438.56 c 1438s | 19 | 739178 | 533082 | 25925 43 | 699 | 540 1440.27/1440.70 c 1440s | 19 | 739748 | 533582 | 25925 43 | 699 | 540 1442.37/1442.85 c 1442s | 19 | 740432 | 534182 | 25925 43 | 699 | 540 1444.67/1445.14 c 1444s | 19 | 740996 | 534682 | 25925 44 | 699 | 540 1446.67/1447.16 c 1446s | 19 | 741700 | 535282 | 25925 44 | 699 | 540 1448.77/1449.22 c 1448s | 19 | 742380 | 535882 | 25925 44 | 699 | 540 1450.87/1451.35 c 1451s | 19 | 743074 | 536482 | 25925 44 | 699 | 540 1452.97/1453.48 c 1453s | 19 | 743905 | 537182 | 25925 44 | 699 | 540 1455.08/1455.59 c 1455s | 19 | 744564 | 537782 | 25925 44 | 699 | 540 1457.48/1457.95 c 1457s | 19 | 745376 | 538482 | 25925 44 | 699 | 540 1459.78/1460.22 c 1459s | 19 | 746040 | 539082 | 25925 44 | 699 | 540 1461.98/1462.40 c 1462s | 19 | 746737 | 539682 | 25925 44 | 699 | 540 1464.07/1464.50 c 1464s | 19 | 747410 | 540282 | 25925 44 | 699 | 540 1466.17/1466.66 c 1466s | 19 | 747933 | 540782 | 25925 44 | 699 | 540 1468.47/1468.99 c 1468s | 19 | 748584 | 541382 | 25925 44 | 699 | 540 1470.87/1471.30 c 1471s | 19 | 749390 | 542082 | 25925 44 | 699 | 540 1472.97/1473.45 c 1473s | 19 | 750082 | 542682 | 25925 44 | 699 | 540 1474.97/1475.46 c 1475s | 19 | 750636 | 543182 | 25925 44 | 699 | 540 1477.08/1477.52 c 1477s | 19 | 751179 | 543682 | 25925 44 | 699 | 540 1479.28/1479.78 c 1479s | 19 | 751736 | 544182 | 25925 44 | 699 | 540 1481.38/1481.89 c 1481s | 19 | 752314 | 544682 | 25925 44 | 699 | 540 1483.68/1484.17 c 1483s | 19 | 752850 | 545182 | 25925 44 | 699 | 540 1485.78/1486.24 c 1485s | 19 | 753404 | 545682 | 25925 44 | 699 | 540 1488.08/1488.52 c 1488s | 19 | 753964 | 546182 | 25925 44 | 699 | 540 1490.18/1490.63 c 1490s | 19 | 754547 | 546682 | 25925 44 | 699 | 540 1492.27/1492.71 c 1492s | 19 | 755121 | 547182 | 25925 44 | 699 | 540 1494.58/1495.02 c 1494s | 19 | 755701 | 547682 | 25925 44 | 699 | 540 1496.67/1497.19 c 1496s | 19 | 756273 | 548182 | 25925 44 | 699 | 540 1499.17/1499.70 c 1499s | 19 | 756852 | 548682 | 25925 45 | 699 | 540 1501.28/1501.72 c 1501s | 19 | 757546 | 549282 | 25925 45 | 699 | 540 1503.27/1503.74 c 1503s | 19 | 758229 | 549882 | 25925 45 | 699 | 540 1505.37/1505.84 c 1505s | 19 | 758873 | 550482 | 25925 45 | 699 | 540 1507.47/1507.91 c 1507s | 19 | 759532 | 551082 | 25925 45 | 699 | 540 1509.47/1509.96 c 1509s | 19 | 760197 | 551682 | 25925 45 | 699 | 540 1511.67/1512.13 c 1511s | 19 | 760849 | 552282 | 25925 45 | 699 | 540 1513.87/1514.36 c 1514s | 19 | 761511 | 552882 | 25925 45 | 699 | 540 1516.17/1516.62 c 1516s | 19 | 762185 | 553482 | 25925 45 | 699 | 540 1518.37/1518.85 c 1518s | 19 | 762852 | 554082 | 25925 45 | 699 | 540 1520.76/1521.21 c 1520s | 19 | 763520 | 554682 | 25925 45 | 699 | 540 1522.77/1523.26 c 1523s | 19 | 764067 | 555182 | 25925 45 | 699 | 540 1525.06/1525.53 c 1525s | 19 | 764768 | 555782 | 25925 45 | 699 | 540 1527.36/1527.82 c 1527s | 19 | 765569 | 556482 | 25925 45 | 699 | 540 1529.46/1529.91 c 1529s | 19 | 766221 | 557082 | 25925 45 | 699 | 540 1531.56/1532.01 c 1531s | 19 | 766890 | 557682 | 25925 45 | 699 | 540 1533.76/1534.20 c 1533s | 19 | 767427 | 558182 | 25925 45 | 699 | 540 1535.96/1536.47 c 1536s | 19 | 767972 | 558682 | 25925 45 | 699 | 540 1538.36/1538.86 c 1538s | 19 | 768615 | 559282 | 25925 45 | 699 | 540 1540.46/1540.92 c 1540s | 19 | 769172 | 559782 | 25925 45 | 699 | 540 1542.66/1543.18 c 1542s | 19 | 769754 | 560282 | 25925 45 | 699 | 540 1545.06/1545.51 c 1545s | 19 | 770288 | 560782 | 25925 45 | 699 | 540 1547.25/1547.79 c 1547s | 19 | 770834 | 561282 | 25925 45 | 699 | 540 1549.35/1549.85 c 1549s | 19 | 771260 | 561682 | 25925 45 | 699 | 540 1551.65/1552.20 c 1551s | 19 | 771816 | 562182 | 25925 45 | 699 | 540 1553.75/1554.28 c 1554s | 19 | 772234 | 562582 | 25925 45 | 699 | 540 1556.26/1556.71 c 1556s | 19 | 772784 | 563082 | 25925 45 | 699 | 540 1558.36/1558.86 c 1558s | 19 | 773222 | 563482 | 25925 46 | 699 | 540 1560.45/1561.00 c 1560s | 19 | 773870 | 564082 | 25925 46 | 699 | 540 1562.55/1563.05 c 1562s | 19 | 774401 | 564582 | 25925 46 | 699 | 540 1564.65/1565.10 c 1564s | 19 | 774927 | 565082 | 25925 46 | 699 | 540 1566.75/1567.25 c 1566s | 19 | 775451 | 565582 | 25925 46 | 699 | 540 1568.85/1569.31 c 1569s | 19 | 776168 | 566182 | 25925 46 | 699 | 540 1570.95/1571.46 c 1571s | 19 | 776984 | 566882 | 25925 46 | 699 | 540 1573.25/1573.73 c 1573s | 19 | 777781 | 567582 | 25925 46 | 699 | 540 1575.36/1575.82 c 1575s | 19 | 778462 | 568182 | 25925 46 | 699 | 540 1577.66/1578.13 c 1577s | 19 | 779244 | 568882 | 25925 46 | 699 | 540 1579.76/1580.29 c 1580s | 19 | 779891 | 569482 | 25925 46 | 699 | 540 1582.06/1582.51 c 1582s | 19 | 780591 | 570082 | 25925 46 | 699 | 540 1584.26/1584.73 c 1584s | 19 | 781276 | 570682 | 25925 46 | 699 | 540 1586.25/1586.73 c 1586s | 19 | 781829 | 571182 | 25925 46 | 699 | 540 1588.45/1588.93 c 1588s | 19 | 782410 | 571682 | 25925 46 | 699 | 540 1590.76/1591.20 c 1590s | 19 | 782940 | 572182 | 25925 46 | 699 | 540 1592.75/1593.24 c 1592s | 19 | 783521 | 572682 | 25925 46 | 699 | 540 1595.15/1595.67 c 1595s | 19 | 784050 | 573182 | 25925 46 | 699 | 540 1597.25/1597.74 c 1597s | 19 | 784465 | 573582 | 25925 46 | 699 | 540 1599.55/1600.05 c 1599s | 19 | 785001 | 574082 | 25925 46 | 699 | 540 1602.05/1602.56 c 1602s | 19 | 785519 | 574582 | 25925 46 | 699 | 540 1604.25/1604.78 c 1604s | 19 | 785932 | 574982 | 25925 46 | 699 | 540 1606.35/1606.86 c 1606s | 19 | 786518 | 575482 | 25925 46 | 699 | 540 1608.55/1609.08 c 1608s | 19 | 787176 | 576082 | 25925 46 | 699 | 540 1610.85/1611.39 c 1611s | 19 | 787855 | 576682 | 25925 46 | 699 | 540 1612.95/1613.48 c 1613s | 19 | 788415 | 577182 | 25925 46 | 699 | 540 1615.35/1615.89 c 1615s | 19 | 788873 | 577582 | 25925 47 | 699 | 540 1617.55/1618.02 c 1617s | 19 | 789661 | 578282 | 25925 47 | 699 | 540 1619.65/1620.13 c 1619s | 19 | 790509 | 578982 | 25925 47 | 699 | 540 1621.85/1622.31 c 1622s | 19 | 791270 | 579682 | 25925 47 | 699 | 540 1624.05/1624.56 c 1624s | 19 | 792050 | 580382 | 25925 47 | 699 | 540 1626.24/1626.75 c 1626s | 19 | 792838 | 581082 | 25925 47 | 699 | 540 1628.34/1628.80 c 1628s | 19 | 793644 | 581782 | 25925 47 | 699 | 540 1630.35/1630.84 c 1630s | 19 | 794364 | 582382 | 25925 47 | 699 | 540 1632.34/1632.89 c 1632s | 19 | 795035 | 582982 | 25925 47 | 699 | 540 1634.44/1634.96 c 1634s | 19 | 795731 | 583582 | 25925 47 | 699 | 540 1636.74/1637.22 c 1636s | 19 | 796437 | 584182 | 25925 47 | 699 | 540 1639.04/1639.53 c 1639s | 19 | 797099 | 584782 | 25925 47 | 699 | 540 1641.14/1641.66 c 1641s | 19 | 797762 | 585382 | 25925 47 | 699 | 540 1643.44/1643.95 c 1643s | 19 | 798430 | 585982 | 25925 47 | 699 | 540 1645.64/1646.12 c 1645s | 19 | 798983 | 586482 | 25925 47 | 699 | 540 1647.64/1648.13 c 1647s | 19 | 799538 | 586982 | 25925 47 | 699 | 540 1649.94/1650.40 c 1650s | 19 | 800189 | 587582 | 25925 47 | 699 | 540 1652.14/1652.64 c 1652s | 19 | 800855 | 588182 | 25925 47 | 699 | 540 1654.54/1655.00 c 1654s | 19 | 801499 | 588782 | 25925 47 | 699 | 540 1656.84/1657.37 c 1657s | 19 | 802195 | 589382 | 25925 47 | 699 | 540 1658.84/1659.37 c 1659s | 19 | 802765 | 589882 | 25925 47 | 699 | 540 1660.94/1661.40 c 1661s | 19 | 803335 | 590382 | 25925 47 | 699 | 540 1662.95/1663.42 c 1663s | 19 | 803904 | 590882 | 25925 47 | 699 | 540 1664.94/1665.49 c 1665s | 19 | 804467 | 591382 | 25925 47 | 699 | 540 1667.14/1667.64 c 1667s | 19 | 805020 | 591882 | 25925 47 | 699 | 540 1669.14/1669.68 c 1669s | 19 | 805494 | 592282 | 25925 48 | 699 | 540 1671.44/1671.90 c 1671s | 19 | 806398 | 593082 | 25925 48 | 699 | 540 1673.44/1673.95 c 1673s | 19 | 807050 | 593682 | 25925 48 | 699 | 540 1675.64/1676.19 c 1675s | 19 | 807897 | 594382 | 25925 48 | 699 | 540 1677.74/1678.26 c 1678s | 19 | 808542 | 594982 | 25925 48 | 699 | 540 1679.83/1680.33 c 1680s | 19 | 809198 | 595582 | 25925 48 | 699 | 540 1682.03/1682.52 c 1682s | 19 | 809854 | 596182 | 25925 48 | 699 | 540 1684.33/1684.83 c 1684s | 19 | 810504 | 596782 | 25925 48 | 699 | 540 1686.63/1687.16 c 1686s | 19 | 811150 | 597382 | 25925 48 | 699 | 540 1688.73/1689.25 c 1689s | 19 | 811677 | 597882 | 25925 48 | 699 | 540 1690.83/1691.35 c 1691s | 19 | 812217 | 598382 | 25925 48 | 699 | 540 1693.03/1693.58 c 1693s | 19 | 812871 | 598982 | 25925 48 | 699 | 540 1695.24/1695.77 c 1695s | 19 | 813546 | 599582 | 25925 48 | 699 | 540 1697.44/1697.98 c 1697s | 19 | 814232 | 600182 | 25925 48 | 699 | 540 1699.74/1700.23 c 1699s | 19 | 814937 | 600782 | 25925 48 | 699 | 540 1702.04/1702.59 c 1702s | 19 | 815621 | 601382 | 25925 48 | 699 | 540 1704.14/1704.62 c 1704s | 19 | 816171 | 601882 | 25925 48 | 699 | 540 1706.44/1706.96 c 1706s | 19 | 816846 | 602482 | 25925 48 | 699 | 540 1708.54/1709.04 c 1708s | 19 | 817409 | 602982 | 25925 48 | 699 | 540 1710.73/1711.22 c 1710s | 19 | 817955 | 603482 | 25925 48 | 699 | 540 1713.03/1713.58 c 1713s | 19 | 818507 | 603982 | 25925 48 | 699 | 540 1715.33/1715.89 c 1715s | 19 | 819066 | 604482 | 25925 48 | 699 | 540 1717.73/1718.25 c 1717s | 19 | 819621 | 604982 | 25925 48 | 699 | 540 1720.14/1720.66 c 1720s | 19 | 820152 | 605482 | 25925 48 | 699 | 540 1722.13/1722.69 c 1722s | 19 | 820597 | 605882 | 25925 48 | 699 | 540 1724.63/1725.14 c 1724s | 19 | 821120 | 606382 | 25925 48 | 699 | 540 1727.03/1727.50 c 1727s | 19 | 821534 | 606782 | 25925 49 | 699 | 540 1729.33/1729.88 c 1729s | 19 | 822156 | 607382 | 25925 49 | 699 | 540 1731.73/1732.20 c 1731s | 19 | 822811 | 607982 | 25925 49 | 699 | 540 1733.73/1734.23 c 1733s | 19 | 823494 | 608582 | 25925 49 | 699 | 540 1735.73/1736.29 c 1736s | 19 | 824152 | 609182 | 25925 49 | 699 | 540 1737.93/1738.45 c 1738s | 19 | 824783 | 609782 | 25925 49 | 699 | 540 1740.23/1740.73 c 1740s | 19 | 825424 | 610382 | 25925 49 | 699 | 540 1742.33/1742.87 c 1742s | 19 | 826052 | 610982 | 25925 49 | 699 | 540 1744.42/1744.90 c 1744s | 19 | 826723 | 611582 | 25925 49 | 699 | 540 1746.62/1747.17 c 1746s | 19 | 827390 | 612182 | 25925 49 | 699 | 540 1748.92/1749.40 c 1749s | 19 | 828062 | 612782 | 25925 49 | 699 | 540 1750.93/1751.40 c 1751s | 19 | 828599 | 613282 | 25925 49 | 699 | 540 1753.03/1753.59 c 1753s | 19 | 829147 | 613782 | 25925 49 | 699 | 540 1755.33/1755.81 c 1755s | 19 | 829707 | 614282 | 25925 49 | 699 | 540 1757.43/1757.95 c 1757s | 19 | 830255 | 614782 | 25925 49 | 699 | 540 1759.73/1760.24 c 1759s | 19 | 830790 | 615282 | 25925 49 | 699 | 540 1762.02/1762.50 c 1762s | 19 | 831325 | 615782 | 25925 49 | 699 | 540 1764.03/1764.56 c 1764s | 19 | 831751 | 616182 | 25925 49 | 699 | 540 1766.12/1766.61 c 1766s | 19 | 832177 | 616582 | 25925 49 | 699 | 540 1768.53/1769.05 c 1768s | 19 | 832706 | 617082 | 25925 49 | 699 | 540 1770.52/1771.09 c 1770s | 19 | 833124 | 617482 | 25925 49 | 699 | 540 1773.12/1773.61 c 1773s | 19 | 833645 | 617982 | 25925 49 | 699 | 540 1775.32/1775.81 c 1775s | 19 | 834345 | 618582 | 25925 49 | 699 | 540 1777.42/1777.97 c 1777s | 19 | 835037 | 619182 | 25925 49 | 699 | 540 1779.82/1780.32 c 1780s | 19 | 835693 | 619782 | 25925 49 | 699 | 540 1782.22/1782.72 c 1782s | 19 | 836373 | 620382 | 25925 49 | 699 | 540 1784.32/1784.85 c 1784s | 19 | 836892 | 620882 | 25925 49 | 699 | 540 1786.42/1786.97 c 1786s | 19 | 837316 | 621282 | 25925 50 | 699 | 540 1788.52/1789.03 c 1788s | 19 | 837949 | 621882 | 25925 50 | 699 | 540 1790.82/1791.32 c 1791s | 19 | 838875 | 622682 | 25925 50 | 699 | 540 1792.92/1793.47 c 1793s | 19 | 839721 | 623382 | 25925 50 | 699 | 540 1795.12/1795.67 c 1795s | 19 | 840476 | 624082 | 25925 50 | 699 | 540 1797.32/1797.86 c 1797s | 19 | 841234 | 624782 | 25925 50 | 699 | 540 1799.42/1799.96 c 1799s | 19 | 841947 | 625382 | 25925 50 | 699 | 540
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-4116325-1466961311/watcher-4116325-1466961311 -o /tmp/evaluation-result-4116325-1466961311/solver-4116325-1466961311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466961311-22991 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116325-1466961311.opb pid=23011 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: 4.06 4.23 4.25 2/172 23016 /proc/meminfo: memFree=30355184/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 2742 0 0 0 0 0 0 0 20 0 4 0 29169840 752283648 2592 33554432000 4194304 16246674 140733919283616 140733919283040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 184431 2602 441 2943 0 181325 0 [pid=23016/tid=23017] ppid=23011 vsize=752060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 770109440 2660 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=756156 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 774303744 2678 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=760252 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29169840 778498048 2694 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 4.06 4.23 4.25 2/172 23016 /proc/meminfo: memFree=30355184/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 28276 0 0 0 6 3 0 0 20 0 4 0 29169840 1249447936 28064 33554432000 4194304 16246674 140733919283616 140733919282928 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 305041 28064 801 2943 0 301935 0 [pid=23016/tid=23017] ppid=23011 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28064 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28064 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1249447936 28064 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.326384 s] /proc/loadavg: 4.06 4.23 4.25 2/172 23016 /proc/meminfo: memFree=30355184/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1301060 CPUtime=0.31 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 54347 0 0 0 25 6 0 0 20 0 4 0 29169840 1332285440 54135 33554432000 4194304 16246674 140733919283616 140733919265536 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 325265 54142 884 2943 0 322159 0 [pid=23016/tid=23017] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 54145 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 54151 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 54156 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1301060 [startup+0.400471 s] /proc/loadavg: 4.06 4.23 4.25 2/172 23016 /proc/meminfo: memFree=30355184/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1301060 CPUtime=0.39 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 63041 0 0 0 32 7 0 0 20 0 4 0 29169840 1332285440 62830 33554432000 4194304 16246674 140733919283616 140733919265536 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 325265 62836 884 2943 0 322159 0 [pid=23016/tid=23017] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62839 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62844 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 62846 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1301060 [startup+0.700415 s] /proc/loadavg: 4.06 4.23 4.25 2/172 23016 /proc/meminfo: memFree=30355184/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1301060 CPUtime=0.69 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 99780 0 0 0 57 12 0 0 20 0 4 0 29169840 1332285440 99568 33554432000 4194304 16246674 140733919283616 140733919265536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 325265 99572 884 2943 0 322159 0 [pid=23016/tid=23017] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99575 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99577 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 99581 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1301060 [startup+1.50041 s] /proc/loadavg: 4.06 4.23 4.25 3/183 23027 /proc/meminfo: memFree=29021104/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 203446 0 0 0 121 28 0 0 20 0 4 0 29169840 1332285440 203234 33554432000 4194304 16246674 140733919283616 140733919265536 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 325265 203248 884 2943 0 322159 0 [pid=23016/tid=23017] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 203257 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 203265 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1332285440 203275 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10041 s] /proc/loadavg: 4.06 4.23 4.25 5/183 23027 /proc/meminfo: memFree=28202812/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1312324 CPUtime=3.09 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269269 0 0 0 272 37 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140733919265536 5822704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328081 269057 891 2943 0 324975 0 [pid=23016/tid=23017] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1312324 [startup+6.30041 s] /proc/loadavg: 3.90 4.19 4.23 3/183 23027 /proc/meminfo: memFree=28202840/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1312324 CPUtime=6.29 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269269 0 0 0 592 37 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140733919265536 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328081 269057 891 2943 0 324975 0 [pid=23016/tid=23017] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 3.75 4.15 4.22 3/183 23027 /proc/meminfo: memFree=28202664/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1312324 CPUtime=12.69 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269269 0 0 0 1232 37 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140733919265536 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328081 269057 891 2943 0 324975 0 [pid=23016/tid=23017] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269057 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5076 s] /proc/loadavg: 3.50 4.08 4.20 3/183 23027 /proc/meminfo: memFree=28203472/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1312324 CPUtime=25.5 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269270 0 0 0 2513 37 0 0 20 0 4 0 29169840 1343819776 269058 33554432000 4194304 16246674 140733919283616 140733919265536 13966736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328081 269058 892 2943 0 324975 0 [pid=23016/tid=23017] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269058 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269058 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1343819776 269058 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1312324 [startup+51.1004 s] /proc/loadavg: 2.99 3.91 4.14 3/183 23027 /proc/meminfo: memFree=28201212/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269739 0 0 0 5071 37 0 0 20 0 4 0 29169840 1345916928 269524 33554432000 4194304 16246674 140733919283616 140733919265536 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328593 269524 892 2943 0 325487 0 [pid=23016/tid=23017] ppid=23011 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1345916928 269524 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1345916928 269524 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1345916928 269524 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.51 3.64 4.03 3/183 23028 /proc/meminfo: memFree=28200092/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1315396 CPUtime=102.26 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 269897 0 0 0 10189 37 0 0 20 0 4 0 29169840 1346965504 269672 33554432000 4194304 16246674 140733919283616 140733919265536 6021328 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 328849 269672 892 2943 0 325743 0 [pid=23016/tid=23017] ppid=23011 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1346965504 269672 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1346965504 269672 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1346965504 269672 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1333828 [startup+1302.3 s] /proc/loadavg: 2.24 2.27 2.72 3/183 23058 /proc/meminfo: memFree=28148224/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1301.9 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 130142 48 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.29 2.27 2.69 3/183 23059 /proc/meminfo: memFree=28148340/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1361.89 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 136140 49 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.29 2.28 2.67 4/183 23061 /proc/meminfo: memFree=28147776/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1421.88 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 142139 49 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.32 2.29 2.64 4/183 23062 /proc/meminfo: memFree=28147788/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1481.87 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 148137 50 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1333828 [startup+1542.3 s] /proc/loadavg: 2.28 2.28 2.62 3/184 23066 /proc/meminfo: memFree=28147604/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1541.86 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 154136 50 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5545993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.26 2.27 2.59 4/183 23067 /proc/meminfo: memFree=28147496/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1601.85 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 160134 51 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1333828 [startup+1662.31 s] /proc/loadavg: 2.23 2.26 2.57 3/183 23068 /proc/meminfo: memFree=28147372/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1661.85 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 166134 51 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 13759646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.16 2.24 2.54 3/183 23070 /proc/meminfo: memFree=28147508/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1721.83 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 172131 52 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 13966736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.26 2.25 2.52 4/183 23071 /proc/meminfo: memFree=28147024/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1781.82 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 178130 52 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5712672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.28 2.26 2.52 3/183 23071 /proc/meminfo: memFree=28147276/32872528 swapFree=1541156/1696500 [pid=23016] ppid=23011 vsize=1333828 CPUtime=1800.02 cores=1,3,5,7 /proc/23016/stat : 23016 (toysat) R 23011 23016 19474 0 -1 4202496 274773 0 0 0 179950 52 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140733919265536 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23016/statm: 333457 274200 892 2943 0 330351 0 [pid=23016/tid=23017] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23017/stat : 23017 (toysat) S 23011 23016 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601325497584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23016/tid=23019] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23019/stat : 23019 (toysat) S 23011 23016 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601315007728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23016/tid=23021] ppid=23011 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/23016/task/23021/stat : 23021 (toysat) S 23011 23016 19474 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29169840 1365839872 274200 33554432000 4194304 16246674 140733919283616 140601304534192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1333828 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 23016 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.51 CPU system time (s): 0.528919 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.528919 maximum resident set size= 1096800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274773 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 377 involuntary context switches= 1854 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6502 second user time and 16.6045 second system time The end
Begin job on node125 at 2016-06-26 19:15:11 IDJOB=4116325 IDBENCH=109456 IDSOLVER=2542 FILE ID=node125/4116325-1466961311 RUNJOBID= node125-1466961311-22991 PBS_JOBID= 19976354 Free space on /tmp= 71736 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-9.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116325-1466961311/watcher-4116325-1466961311 -o /tmp/evaluation-result-4116325-1466961311/solver-4116325-1466961311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466961311-22991 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116325-1466961311.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d827b9fc4bd3966ba2debe1f9174b854 RANDOM SEED=1062153883 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.021 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30355828 kB Buffers: 23724 kB Cached: 91688 kB SwapCached: 1740 kB Active: 75224 kB Inactive: 42592 kB Active(anon): 4712 kB Inactive(anon): 448 kB Active(file): 70512 kB Inactive(file): 42144 kB Unevictable: 1696500 kB Mlocked: 1541156 kB SwapTotal: 67108856 kB SwapFree: 67098448 kB Dirty: 33444 kB Writeback: 0 kB AnonPages: 1699224 kB Mapped: 7028 kB Shmem: 0 kB Slab: 567580 kB SReclaimable: 11188 kB SUnreclaim: 556392 kB KernelStack: 1400 kB PageTables: 7612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1793396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 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 node125 at 2016-06-26 19:45:12