| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.52 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb |
| MD5SUM | 8b00ea770361f301179000d52beb4a25 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.215967 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 243 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 729 |
| Sum of products size (including duplicates) | 1458 |
| Number of different products | 729 |
| Sum of products size | 1458 |
0.00/0.00 c 2016-06-18T17:36:07+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-4106058-1466264167.opb"] 0.00/0.01 c use --random-gen="1217417891 4215411400 2880447316 2959919207 3634351736 2884833700 2622331368 1366303476 3520807960 2355676107 399676923 3625943117 3398714760 1511236384 2131876670 2169286431 1341635537 2818413168 2111024252 2542161373 2613811995 1497495744 1498899136 3355396643 3241813649 62135943 761431183 2124723570 471744856 2729506642 3398182476 532849321 779561891 2029302764 979161815 2293331354 3375447210 1759688203 148301337 1685207730 3755014186 2292309423 1196272379 3448813366 1649668735 3542040699 1796176825 1152827042 4139783525 2349908418 2268208823 2006056290 3078712051 2659511303 1656632353 2402538031 2603532437 1239274486 1925775508 1111948770 1292831119 3254540426 4200030592 1548631798 332978056 1266403848 3860899684 3849227120 3578599984 2105996684 3679429742 2084747547 3068154088 1111087519 118432297 1305902932 3929105705 4093966087 3323404252 407740070 345022254 1930234445 1715400662 2442229751 2166932526 1696371684 1037770628 1599678287 3997316336 3271307974 560664812 3769813644 1685294213 3121238869 2951670982 2503073859 630832594 2701633623 88898016 8214786 3515377692 1180884807 2379300420 1814393430 3410048393 551446936 284154472 3463374612 3011493719 515008939 1733997102 2816687426 3275988331 253638509 2242902821 3653183142 4083452170 526277827 2289237456 1032643183 1895894010 3798797098 987786306 2257514874 3076140910 2498922512 2131070135 1339564612 112453437 3007512242 395971957 361305894 2753361100 3987417794 2837378574 879717258 3098251041 769964503 1079966339 2433780793 791101707 1627439460 2059549139 153616999 700740386 3701991468 4069107580 2288145107 4140170970 445857638 1724766811 3744972109 2020333966 2102125796 2581677605 2714813337 251920127 414893890 2445917511 1443141546 1132575455 1197091035 3290798964 1364589490 1186599524 3822980848 4261834317 1516534202 1473709004 158363095 3603955662 2423068081 3134271906 4006804318 302785694 2862263604 648149571 3264459226 4175996045 1286710748 3602534584 4294796892 1912503614 886327604 578782178 440309063 1385305002 3608041957 1257318546 754944218 2817010800 3442889384 2739477881 1847437433 3589487208 1754064826 2214413564 3938802489 109934005 952012399 1912469259 3773115347 1324591647 925845844 1643151102 385098701 3511349429 1960249730 2196781247 480567503 3623322168 4229854100 215212272 722035135 168765635 1673518607 825727459 1361477504 246328261 4136819907 2417863183 4042956995 1870819075 3934072920 3609810874 4087628142 647752330 3851283307 233680871 2401907411 1240025134 2567205247 2048028808 528087774 963632168 3363586641 1030426045 2357862334 2077998715 1699685757 3100119133 233826103 128544853 2874593076 2502722322 4171202133 1822387657 3618701656 2019890251 3834168656 859979307 408268711 3494667917 1881620967 2471459611 1025038209 255 362436" option to reproduce the execution 0.00/0.01 c #vars 243 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 1062 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 113 | 100 | 1062 0 | 0 | 0 0.00/0.10 c 0.1s | 2 | 285 | 250 | 1169 0 | 0 | 0 0.00/0.17 c 0.1s | 3 | 548 | 475 | 1286 0 | 0 | 0 0.00/0.27 c 0.2s | 4 | 940 | 813 | 1415 0 | 0 | 0 0.00/0.43 c 0.4s | 5 | 1565 | 1320 | 1557 0 | 0 | 0 0.44/1.52 c 1.5s | 6 | 2556 | 2081 | 1885 0 | 0 | 0 1.79/1.82 c 1.8s | 7 | 3745 | 3223 | 2074 2 | 0 | 0 1.79/2.41 c 2.4s | 8 | 5548 | 4936 | 2282 3 | 0 | 0 2.66/3.12 c 3.1s | 9 | 8306 | 7506 | 2511 4 | 0 | 0 3.19/4.40 c 4.4s | 10 | 12351 | 11361 | 2763 7 | 0 | 0 6.17/6.27 c 6.2s | 11 | 18474 | 17144 | 3040 11 | 0 | 0 6.90/8.30 c 8.3s | 11 | 22762 | 21144 | 3040 13 | 0 | 0 9.24/9.95 c 9.9s | 12 | 27600 | 25819 | 3345 15 | 0 | 0 10.80/11.96 c 11.9s | 12 | 33943 | 31919 | 3345 19 | 0 | 0 12.44/13.98 c 13.9s | 12 | 39680 | 37519 | 3345 22 | 0 | 0 12.44/14.43 c 14.4s | 13 | 41066 | 38832 | 3680 22 | 0 | 0 16.41/16.44 c 16.4s | 13 | 46365 | 43832 | 3680 25 | 0 | 0 18.40/18.45 c 18.4s | 13 | 51529 | 48832 | 3680 27 | 0 | 0 20.39/20.48 c 20.4s | 13 | 57567 | 54532 | 3680 30 | 0 | 0 20.88/22.10 c 22.1s | 14 | 61518 | 58352 | 4049 32 | 0 | 0 23.72/24.12 c 24.1s | 14 | 66664 | 63052 | 4049 34 | 0 | 0 24.83/26.14 c 26.1s | 14 | 72303 | 68552 | 4049 36 | 0 | 0 26.64/28.17 c 28.1s | 14 | 77686 | 73852 | 4049 38 | 0 | 0 29.80/30.20 c 30.2s | 14 | 83216 | 79152 | 4049 40 | 0 | 0 30.83/32.20 c 32.2s | 14 | 88532 | 84252 | 4049 42 | 0 | 0 33.10/33.66 c 33.6s | 15 | 92045 | 87632 | 4454 44 | 0 | 0 34.91/35.69 c 35.7s | 15 | 96229 | 89632 | 4454 45 | 0 | 0 34.91/37.73 c 37.7s | 15 | 103627 | 93132 | 4454 46 | 0 | 0 34.91/39.74 c 39.7s | 15 | 108334 | 95732 | 4454 47 | 0 | 0 34.91/41.75 c 41.7s | 15 | 112943 | 100232 | 4454 49 | 0 | 0 34.91/43.76 c 43.7s | 15 | 117869 | 105032 | 4454 51 | 0 | 0 34.91/45.77 c 45.7s | 15 | 122421 | 109332 | 4454 52 | 0 | 0 34.91/47.82 c 47.8s | 15 | 127612 | 114232 | 4454 54 | 0 | 0 49.56/49.85 c 49.8s | 15 | 132875 | 119232 | 4454 56 | 0 | 0 51.73/51.87 c 51.8s | 15 | 138450 | 124632 | 4454 59 | 0 | 0 53.60/53.92 c 53.9s | 15 | 144083 | 129932 | 4454 61 | 0 | 0 53.60/54.52 c 54.5s | 16 | 145753 | 131552 | 4900 61 | 0 | 0 53.60/56.53 c 56.5s | 16 | 151740 | 137252 | 4900 63 | 0 | 0 53.60/58.54 c 58.5s | 16 | 156828 | 142252 | 4900 65 | 0 | 0 60.28/60.55 c 60.5s | 16 | 162651 | 147852 | 4900 67 | 0 | 0 60.90/62.56 c 62.5s | 16 | 167376 | 152052 | 4900 69 | 0 | 0 63.42/64.57 c 64.5s | 16 | 172350 | 156852 | 4900 71 | 0 | 0 65.40/66.61 c 66.6s | 16 | 176605 | 160952 | 4900 72 | 0 | 0 66.74/68.64 c 68.6s | 16 | 181881 | 165352 | 4900 74 | 0 | 0 66.74/70.66 c 70.6s | 16 | 186609 | 169452 | 4900 75 | 0 | 0 72.04/72.71 c 72.7s | 16 | 190592 | 173252 | 4900 77 | 0 | 0 72.70/74.77 c 74.7s | 16 | 194144 | 176452 | 4900 78 | 0 | 0 72.70/76.78 c 76.7s | 16 | 198608 | 180652 | 4900 79 | 0 | 0 72.70/78.79 c 78.8s | 16 | 201817 | 183752 | 4900 80 | 0 | 0 78.78/80.85 c 80.8s | 16 | 205487 | 187152 | 4900 82 | 0 | 0 78.78/82.88 c 82.8s | 16 | 209004 | 190452 | 4900 83 | 0 | 0 78.78/84.91 c 84.9s | 16 | 213130 | 194452 | 4900 84 | 0 | 0 84.90/86.22 c 86.2s | 17 | 216259 | 197432 | 5390 85 | 0 | 0 84.90/88.24 c 88.2s | 17 | 223902 | 204832 | 5390 88 | 0 | 0 84.90/90.24 c 90.2s | 17 | 230004 | 210832 | 5390 90 | 0 | 0 92.04/92.25 c 92.2s | 17 | 235904 | 216432 | 5390 92 | 0 | 0 92.04/94.27 c 94.2s | 17 | 241908 | 222232 | 5390 94 | 0 | 0 96.19/96.29 c 96.3s | 17 | 246150 | 226232 | 5390 95 | 0 | 0 97.88/98.32 c 98.3s | 17 | 250068 | 230132 | 5390 96 | 0 | 0 97.88/100.34 c 100s | 17 | 254964 | 234932 | 5390 98 | 0 | 0 101.34/102.34 c 102s | 17 | 260272 | 240132 | 5390 99 | 0 | 0 101.34/104.35 c 104s | 17 | 265971 | 245732 | 5390 101 | 0 | 0 104.35/106.36 c 106s | 17 | 270933 | 250532 | 5390 103 | 0 | 0 107.00/108.39 c 108s | 17 | 276990 | 256432 | 5390 105 | 0 | 0 108.87/110.39 c 110s | 17 | 282598 | 261832 | 5390 106 | 0 | 0 112.04/112.43 c 112s | 17 | 288043 | 267132 | 5390 108 | 0 | 0 114.10/114.47 c 114s | 17 | 293919 | 272932 | 5390 110 | 0 | 0 115.23/116.48 c 116s | 17 | 299047 | 277932 | 5390 111 | 0 | 0 116.47/118.52 c 118s | 17 | 304022 | 282532 | 5390 113 | 0 | 0 120.00/120.53 c 120s | 17 | 309283 | 287532 | 5390 115 | 0 | 0 120.00/122.56 c 122s | 17 | 313539 | 291632 | 5390 116 | 0 | 0 124.07/124.60 c 124s | 17 | 318027 | 295932 | 5930 117 | 0 | 0 124.58/124.76 c 124s | 18 | 318361 | 296252 | 5930 117 | 0 | 0 125.35/125.76 c 125s | 18 | 321774 | 299277 | 5930 118 | 0 | 0 125.35/125.76 c #cpu_time = 125.398s 125.35/125.76 c #wall_clock_time = 125.722s 125.35/125.76 c #decision = 321774 125.35/125.76 c #random_decision = 1217 125.35/125.76 c #conflict = 299277 125.35/125.76 c #restart = 18 125.35/125.76 o 243 125.35/125.76 c BCD2: hardening fixes 1 literals 125.35/125.76 c BCD2: updating upper bound: 511 -> 242 125.35/125.76 c BCD2: 0 <= obj <= 242 125.35/125.76 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 125.35/125.76 c BCD2: #sat=1 #unsat=1 bias=1/2 125.35/125.76 c Solving starts ... 125.35/125.76 c ============================[ Search Statistics ]============================ 125.35/125.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 125.35/125.76 c | | | | Limit GC | Var | Constra 125.35/125.76 c ============================================================================= 125.35/125.76 c 0.0s | 0 | 0 | 0 | 5930 0 | 11 | 0 125.74/125.79 c 0.0s | 0 | 6 | 0 | 5930 1 | 11 | 27 125.74/125.79 c #cpu_time = 0.036s 125.74/125.79 c #wall_clock_time = 0.036s 125.74/125.79 c #decision = 6 125.74/125.79 c #random_decision = 0 125.74/125.79 c #conflict = 0 125.74/125.79 c #restart = 0 125.74/125.79 c BCD2: found a new core of size 7: cost of the new core is >=2 125.74/125.79 c lower bound updated to 2 125.74/125.79 c BCD2: 2 <= obj <= 242 125.74/125.79 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 125.74/125.79 c BCD2: #sat=1 #unsat=2 bias=2/3 125.74/125.79 c Solving starts ... 125.74/125.79 c ============================[ Search Statistics ]============================ 125.74/125.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 125.74/125.79 c | | | | Limit GC | Var | Constra 125.74/125.79 c ============================================================================= 125.74/125.79 c 0.0s | 0 | 0 | 0 | 5930 0 | 11 | 27 125.74/125.82 c 0.0s | 1 | 258 | 100 | 5930 0 | 11 | 27 125.74/125.90 c 0.1s | 2 | 577 | 250 | 5930 0 | 11 | 27 125.74/126.03 c 0.2s | 3 | 964 | 475 | 5930 0 | 11 | 27 126.09/126.23 c 0.4s | 4 | 1476 | 813 | 5930 0 | 11 | 27 126.09/126.69 c 0.9s | 5 | 2166 | 1320 | 5930 0 | 11 | 27 126.68/126.84 c 1.0s | 6 | 3049 | 2081 | 5930 0 | 11 | 27 127.14/127.31 c 1.5s | 7 | 4330 | 3223 | 5930 1 | 11 | 27 127.14/127.90 c 2.1s | 8 | 6203 | 4936 | 5930 1 | 11 | 27 129.07/129.39 c 3.6s | 9 | 8883 | 7506 | 5930 2 | 11 | 27 129.43/130.31 c 4.5s | 10 | 13019 | 11361 | 5930 3 | 11 | 27 130.30/132.43 c 6.6s | 10 | 14976 | 12161 | 5930 3 | 11 | 27 133.08/134.62 c 8.8s | 10 | 16042 | 12961 | 5930 3 | 11 | 27 134.61/136.63 c 10.8s | 10 | 17988 | 14461 | 5930 4 | 11 | 27 134.61/137.85 c 12.1s | 11 | 20721 | 17144 | 5930 5 | 11 | 27 134.61/139.85 c 14.1s | 11 | 27781 | 23744 | 5930 7 | 11 | 27 134.61/140.72 c 14.9s | 12 | 29886 | 25819 | 5930 7 | 11 | 27 140.90/142.72 c 16.9s | 12 | 34220 | 29719 | 5930 9 | 11 | 27 140.90/144.73 c 18.9s | 12 | 38642 | 33919 | 5930 10 | 11 | 27 146.72/146.77 c 21.0s | 12 | 42737 | 37919 | 5930 11 | 11 | 27 147.17/147.30 c 21.5s | 13 | 43668 | 38832 | 5930 12 | 11 | 27 147.17/149.30 c 23.5s | 13 | 51199 | 45732 | 5930 14 | 11 | 27 149.89/151.31 c 25.5s | 13 | 57245 | 51632 | 5930 15 | 11 | 27 152.58/153.33 c 27.5s | 13 | 62300 | 56332 | 5930 17 | 11 | 27 152.58/154.16 c 28.4s | 14 | 64382 | 58352 | 5930 17 | 11 | 27 154.60/156.19 c 30.4s | 14 | 70371 | 64152 | 5930 19 | 11 | 27 154.60/158.21 c 32.4s | 14 | 75787 | 69152 | 5930 21 | 11 | 27 158.67/160.23 c 34.4s | 14 | 82068 | 75152 | 5930 23 | 11 | 27 160.67/162.26 c 36.5s | 14 | 86715 | 79652 | 5930 24 | 11 | 27 162.70/164.30 c 38.5s | 14 | 92020 | 84852 | 5930 26 | 11 | 27 164.27/165.50 c 39.7s | 15 | 94881 | 87632 | 5930 27 | 11 | 27 166.25/167.50 c 41.7s | 15 | 101588 | 94232 | 5930 29 | 11 | 27 166.25/169.51 c 43.7s | 15 | 104561 | 96832 | 5930 30 | 11 | 27 170.77/171.52 c 45.7s | 15 | 105903 | 98132 | 5930 30 | 11 | 27 172.91/173.53 c 47.7s | 15 | 109088 | 100832 | 5930 31 | 11 | 27 175.22/175.63 c 49.8s | 15 | 111878 | 103232 | 5930 31 | 11 | 27 176.79/177.81 c 52.0s | 15 | 113933 | 105132 | 5930 32 | 11 | 27 179.79/179.83 c 54.0s | 15 | 115941 | 107032 | 5930 33 | 11 | 27 181.72/181.87 c 56.1s | 15 | 118606 | 109632 | 5930 33 | 11 | 27 183.85/183.90 c 58.1s | 15 | 121759 | 112732 | 5930 34 | 11 | 27 185.77/185.93 c 60.1s | 15 | 124366 | 115132 | 5930 35 | 11 | 27 187.73/187.94 c 62.1s | 15 | 128138 | 118832 | 5930 36 | 11 | 27 188.91/189.97 c 64.2s | 15 | 132631 | 123232 | 5930 37 | 11 | 27 190.38/192.13 c 66.3s | 15 | 136017 | 126532 | 5930 38 | 11 | 27 190.38/194.14 c 68.3s | 15 | 138679 | 129132 | 5930 39 | 11 | 27 194.17/195.28 c 69.5s | 16 | 141167 | 131552 | 5930 40 | 11 | 27 197.25/197.29 c 71.5s | 16 | 145516 | 135452 | 5930 41 | 11 | 27 197.37/199.31 c 73.5s | 16 | 149582 | 139352 | 5930 42 | 11 | 27 201.16/201.36 c 75.6s | 16 | 153582 | 143052 | 6524 43 | 11 | 27 203.00/203.37 c 77.6s | 16 | 156897 | 146152 | 6524 44 | 11 | 27 203.99/205.38 c 79.6s | 16 | 160918 | 149952 | 6524 45 | 11 | 27 207.06/207.41 c 81.6s | 16 | 164930 | 153652 | 6524 46 | 11 | 27 208.98/209.44 c 83.6s | 16 | 168680 | 157252 | 6524 47 | 11 | 27 208.98/211.46 c 85.7s | 16 | 172189 | 160552 | 6524 48 | 11 | 27 213.09/213.51 c 87.7s | 16 | 176314 | 164252 | 6524 49 | 11 | 27 215.09/215.53 c 89.7s | 16 | 180065 | 167852 | 6524 50 | 11 | 27 215.09/217.58 c 91.8s | 16 | 183358 | 170952 | 6524 51 | 11 | 27 217.60/219.60 c 93.8s | 16 | 187321 | 174752 | 6524 52 | 11 | 27 220.02/221.65 c 95.9s | 16 | 190685 | 177952 | 6524 53 | 11 | 27 222.89/223.70 c 97.9s | 16 | 194355 | 181352 | 6524 54 | 11 | 27 224.02/225.70 c 99.9s | 16 | 197447 | 184252 | 6524 55 | 11 | 27 224.02/227.74 c 101s | 16 | 201183 | 187752 | 6524 56 | 11 | 27 228.92/229.76 c 103s | 16 | 205338 | 191752 | 6524 57 | 11 | 27 231.45/231.83 c 106s | 16 | 209598 | 195752 | 6524 58 | 11 | 27 232.68/232.84 c 107s | 17 | 211435 | 197432 | 6524 59 | 11 | 27 232.81/234.90 c 109s | 17 | 217223 | 202632 | 6524 60 | 11 | 27 236.02/236.96 c 111s | 17 | 220885 | 205432 | 6524 61 | 11 | 27 238.18/238.96 c 113s | 17 | 223583 | 207732 | 6524 62 | 11 | 27 240.67/240.97 c 115s | 17 | 228791 | 212532 | 6524 63 | 11 | 27 242.91/242.98 c 117s | 17 | 233190 | 216832 | 6524 64 | 11 | 27 244.36/245.00 c 119s | 17 | 237227 | 220632 | 6524 65 | 11 | 27 246.76/247.01 c 121s | 17 | 241215 | 224332 | 6524 66 | 11 | 27 246.76/249.10 c 123s | 17 | 245296 | 228132 | 6524 67 | 11 | 27 250.66/251.11 c 125s | 17 | 248941 | 231432 | 6524 68 | 11 | 27 252.26/253.15 c 127s | 17 | 253127 | 235432 | 6524 69 | 11 | 27 252.26/255.17 c 129s | 17 | 257856 | 240032 | 6524 71 | 11 | 27 256.02/257.17 c 131s | 17 | 263363 | 245332 | 6524 72 | 11 | 27 256.02/259.17 c 133s | 17 | 268376 | 250232 | 6524 73 | 11 | 27 260.05/261.18 c 135s | 17 | 273029 | 254632 | 6524 75 | 11 | 27 260.05/263.21 c 137s | 17 | 277255 | 258632 | 6524 76 | 11 | 27 263.16/265.21 c 139s | 17 | 281752 | 262832 | 6524 77 | 11 | 27 265.17/267.24 c 141s | 17 | 287021 | 267932 | 6524 78 | 11 | 27 268.40/269.27 c 143s | 17 | 292081 | 272932 | 6524 80 | 11 | 27 270.70/271.30 c 145s | 17 | 296068 | 276732 | 6524 81 | 11 | 27 270.70/273.34 c 147s | 17 | 300127 | 280632 | 6524 82 | 11 | 27 270.70/275.35 c 149s | 17 | 303840 | 284132 | 6524 83 | 11 | 27 276.20/277.42 c 151s | 17 | 308507 | 288632 | 6524 84 | 11 | 27 276.20/279.43 c 153s | 17 | 312852 | 292832 | 6524 85 | 11 | 27 276.20/281.14 c 155s | 18 | 316436 | 296252 | 6524 86 | 11 | 27 282.56/283.17 c 157s | 18 | 322089 | 301652 | 6524 88 | 11 | 27 284.76/285.18 c 159s | 18 | 327771 | 307052 | 6524 89 | 11 | 27 284.76/287.19 c 161s | 18 | 332487 | 311652 | 6524 91 | 11 | 27 288.58/289.24 c 163s | 18 | 337294 | 316352 | 6524 92 | 11 | 27 288.58/291.28 c 165s | 18 | 342115 | 321052 | 6524 93 | 11 | 27 293.22/293.28 c 167s | 18 | 347036 | 325752 | 6524 95 | 11 | 27 294.38/295.30 c 169s | 18 | 351955 | 330552 | 6524 96 | 11 | 27 296.37/297.30 c 171s | 18 | 356595 | 335052 | 6524 97 | 11 | 27 296.37/299.35 c 173s | 18 | 361678 | 339952 | 6524 99 | 11 | 27 301.25/301.35 c 175s | 18 | 366469 | 344552 | 6524 100 | 11 | 27 303.26/303.39 c 177s | 18 | 371544 | 349452 | 6524 101 | 11 | 27 305.35/305.42 c 179s | 18 | 376210 | 353952 | 6524 103 | 11 | 27 307.35/307.47 c 181s | 18 | 381001 | 358652 | 6524 104 | 11 | 27 309.35/309.48 c 183s | 18 | 385929 | 363352 | 7177 105 | 11 | 27 311.45/311.52 c 185s | 18 | 390664 | 367852 | 7177 106 | 11 | 27 313.45/313.59 c 187s | 18 | 395788 | 372752 | 7177 108 | 11 | 27 315.55/315.62 c 189s | 18 | 400524 | 377252 | 7177 109 | 11 | 27 317.55/317.62 c 191s | 18 | 405549 | 381952 | 7177 110 | 11 | 27 319.55/319.64 c 193s | 18 | 410328 | 386552 | 7177 111 | 11 | 27 321.55/321.69 c 195s | 18 | 415688 | 391652 | 7177 112 | 11 | 27 323.65/323.72 c 197s | 18 | 420285 | 395952 | 7177 113 | 11 | 27 325.65/325.75 c 199s | 18 | 425125 | 400652 | 7177 115 | 11 | 27 327.64/327.78 c 201s | 18 | 429559 | 404852 | 7177 116 | 11 | 27 329.65/329.80 c 204s | 18 | 434379 | 409352 | 7177 117 | 11 | 27 331.74/331.81 c 206s | 18 | 438880 | 413652 | 7177 118 | 11 | 27 333.74/333.84 c 208s | 18 | 443913 | 418452 | 7177 119 | 11 | 27 335.74/335.84 c 210s | 18 | 448396 | 422752 | 7177 120 | 11 | 27 337.74/337.85 c 212s | 18 | 453527 | 427652 | 7177 122 | 11 | 27 339.74/339.88 c 214s | 18 | 458450 | 432452 | 7177 123 | 11 | 27 341.85/341.91 c 216s | 18 | 463128 | 436952 | 7177 124 | 11 | 27 343.84/343.93 c 218s | 18 | 467610 | 441252 | 7177 125 | 11 | 27 345.24/345.30 c 219s | 19 | 471023 | 444482 | 7177 126 | 11 | 27 347.25/347.33 c 221s | 19 | 477519 | 450682 | 7177 128 | 11 | 27 349.24/349.35 c 223s | 19 | 482518 | 455582 | 7177 129 | 11 | 27 351.24/351.38 c 225s | 19 | 488005 | 460982 | 7177 130 | 11 | 27 353.34/353.41 c 227s | 19 | 494163 | 466982 | 7177 132 | 11 | 27 355.34/355.41 c 229s | 19 | 499488 | 472182 | 7177 133 | 11 | 27 357.34/357.44 c 231s | 19 | 504474 | 477082 | 7177 135 | 11 | 27 359.34/359.45 c 233s | 19 | 509159 | 481682 | 7177 136 | 11 | 27 361.34/361.47 c 235s | 19 | 514685 | 487082 | 7177 137 | 11 | 27 363.34/363.47 c 237s | 19 | 520011 | 492282 | 7177 139 | 11 | 27 365.34/365.49 c 239s | 19 | 525938 | 497882 | 7177 140 | 11 | 27 367.44/367.53 c 241s | 19 | 532055 | 503682 | 7177 142 | 11 | 27 369.43/369.54 c 243s | 19 | 536689 | 508182 | 7177 143 | 11 | 27 371.44/371.60 c 245s | 19 | 540614 | 511882 | 7177 144 | 11 | 27 373.53/373.61 c 247s | 19 | 546872 | 517682 | 7177 145 | 11 | 27 375.53/375.62 c 249s | 19 | 552900 | 523382 | 7177 147 | 11 | 27 377.53/377.65 c 251s | 19 | 558299 | 528582 | 7177 148 | 11 | 27 379.53/379.65 c 253s | 19 | 563065 | 533182 | 7177 149 | 11 | 27 381.53/381.68 c 255s | 19 | 567564 | 537382 | 7177 150 | 11 | 27 383.64/383.71 c 257s | 19 | 572709 | 542182 | 7177 152 | 11 | 27 385.63/385.77 c 259s | 19 | 577623 | 546882 | 7177 153 | 11 | 27 387.63/387.79 c 261s | 19 | 583265 | 552282 | 7177 154 | 11 | 27 389.73/389.80 c 264s | 19 | 587023 | 555882 | 7177 155 | 11 | 27 391.73/391.85 c 266s | 19 | 591833 | 560482 | 7177 156 | 11 | 27 393.73/393.88 c 268s | 19 | 595824 | 564182 | 7177 157 | 11 | 27 395.83/395.90 c 270s | 19 | 602071 | 570182 | 7177 159 | 11 | 27 397.84/397.91 c 272s | 19 | 607227 | 574982 | 7177 160 | 11 | 27 399.83/399.92 c 274s | 19 | 612726 | 580282 | 7177 161 | 11 | 27 401.83/401.93 c 276s | 19 | 618564 | 585182 | 7177 163 | 11 | 27 403.83/403.94 c 278s | 19 | 625022 | 591182 | 7177 164 | 11 | 27 405.83/405.96 c 280s | 19 | 630049 | 596082 | 7177 165 | 11 | 27 407.83/407.99 c 282s | 19 | 634949 | 600682 | 7177 167 | 11 | 27 409.83/409.99 c 284s | 19 | 639672 | 605282 | 7177 168 | 11 | 27 411.93/412.00 c 286s | 19 | 644761 | 609982 | 7177 169 | 11 | 27 413.93/414.03 c 288s | 19 | 649635 | 614382 | 7177 170 | 11 | 27 415.92/416.05 c 290s | 19 | 653993 | 618482 | 7177 171 | 11 | 27 417.92/418.08 c 292s | 19 | 659290 | 623582 | 7177 172 | 11 | 27 420.02/420.10 c 294s | 19 | 663822 | 627882 | 7177 174 | 11 | 27 422.03/422.11 c 296s | 19 | 669743 | 633682 | 7177 175 | 11 | 27 424.02/424.14 c 298s | 19 | 674931 | 638482 | 7177 176 | 11 | 27 426.02/426.15 c 300s | 19 | 679626 | 642682 | 7177 177 | 11 | 27 428.12/428.22 c 302s | 19 | 684757 | 647182 | 7177 179 | 11 | 27 430.12/430.23 c 304s | 19 | 690482 | 652682 | 7177 180 | 11 | 27 432.12/432.25 c 306s | 19 | 695628 | 657682 | 7177 181 | 11 | 27 434.13/434.25 c 308s | 19 | 700233 | 662182 | 7177 182 | 11 | 27 436.22/436.38 c 310s | 20 | 705034 | 666827 | 7177 184 | 11 | 27 438.22/438.38 c 312s | 20 | 710856 | 672227 | 7177 185 | 11 | 27 440.22/440.38 c 314s | 20 | 716466 | 677727 | 7177 186 | 11 | 27 442.32/442.40 c 316s | 20 | 722302 | 683227 | 7177 188 | 11 | 27 444.32/444.42 c 318s | 20 | 727210 | 688027 | 7177 189 | 11 | 27 446.33/446.42 c 320s | 20 | 731749 | 692427 | 7177 190 | 11 | 27 448.32/448.43 c 322s | 20 | 736479 | 697027 | 7895 191 | 11 | 27 450.32/450.43 c 324s | 20 | 740664 | 701127 | 7895 192 | 11 | 27 452.32/452.49 c 326s | 20 | 743296 | 703627 | 7895 192 | 11 | 27 454.42/454.50 c 328s | 20 | 745537 | 705727 | 7895 193 | 11 | 27 456.42/456.54 c 330s | 20 | 747779 | 707827 | 7895 193 | 11 | 27 458.42/458.58 c 332s | 20 | 751164 | 711127 | 7895 194 | 11 | 27 460.52/460.68 c 334s | 20 | 755080 | 714927 | 7895 195 | 11 | 27 462.52/462.69 c 336s | 20 | 758818 | 718527 | 7895 196 | 11 | 27 464.72/464.80 c 339s | 20 | 761528 | 721127 | 7895 196 | 11 | 27 466.72/466.86 c 341s | 20 | 765510 | 725027 | 7895 197 | 11 | 27 468.72/468.86 c 343s | 20 | 769385 | 728727 | 7895 198 | 11 | 27 470.72/470.90 c 345s | 20 | 772353 | 731627 | 7895 199 | 11 | 27 472.82/472.91 c 347s | 20 | 775742 | 734927 | 7895 200 | 11 | 27 474.83/474.95 c 349s | 20 | 779091 | 738227 | 7895 200 | 11 | 27 476.82/476.96 c 351s | 20 | 782230 | 741327 | 7895 201 | 11 | 27 478.82/478.97 c 353s | 20 | 785730 | 744727 | 7895 202 | 11 | 27 480.92/481.03 c 355s | 20 | 788686 | 747627 | 7895 203 | 11 | 27 482.92/483.04 c 357s | 20 | 791949 | 750827 | 7895 203 | 11 | 27 485.02/485.15 c 359s | 20 | 795656 | 754427 | 7895 204 | 11 | 27 487.03/487.18 c 361s | 20 | 801202 | 759727 | 7895 205 | 11 | 27 489.13/489.20 c 363s | 20 | 805147 | 763427 | 7895 206 | 11 | 27 491.12/491.25 c 365s | 20 | 808478 | 766527 | 7895 207 | 11 | 27 493.12/493.29 c 367s | 20 | 811676 | 769227 | 7895 207 | 11 | 27 495.12/495.30 c 369s | 20 | 814861 | 772127 | 7895 208 | 11 | 27 497.22/497.34 c 371s | 20 | 818129 | 775227 | 7895 209 | 11 | 27 499.22/499.35 c 373s | 20 | 820691 | 777727 | 7895 209 | 11 | 27 501.22/501.37 c 375s | 20 | 823788 | 780727 | 7895 210 | 11 | 27 503.22/503.37 c 377s | 20 | 828814 | 785627 | 7895 211 | 11 | 27 505.32/505.47 c 379s | 20 | 831493 | 788227 | 7895 212 | 11 | 27 507.32/507.48 c 381s | 20 | 834433 | 791027 | 7895 212 | 11 | 27 509.42/509.52 c 383s | 20 | 836850 | 793427 | 7895 213 | 11 | 27 511.42/511.55 c 385s | 20 | 839406 | 795927 | 7895 214 | 11 | 27 513.42/513.57 c 387s | 20 | 842676 | 799127 | 7895 214 | 11 | 27 515.41/515.60 c 389s | 20 | 845701 | 802127 | 7895 215 | 11 | 27 517.51/517.65 c 391s | 20 | 848721 | 805127 | 7895 216 | 11 | 27 519.51/519.68 c 393s | 20 | 851852 | 808227 | 7895 216 | 11 | 27 521.51/521.69 c 395s | 20 | 854310 | 810627 | 7895 217 | 11 | 27 523.61/523.70 c 397s | 20 | 857185 | 813427 | 7895 218 | 11 | 27 525.61/525.73 c 399s | 20 | 860902 | 816827 | 7895 218 | 11 | 27 527.72/527.81 c 402s | 20 | 864300 | 820127 | 7895 219 | 11 | 27 529.71/529.82 c 404s | 20 | 869995 | 825527 | 7895 220 | 11 | 27 531.71/531.83 c 406s | 20 | 872901 | 828327 | 7895 221 | 11 | 27 533.71/533.86 c 408s | 20 | 876079 | 831327 | 7895 222 | 11 | 27 535.71/535.86 c 410s | 20 | 879732 | 834827 | 7895 223 | 11 | 27 537.81/537.90 c 412s | 20 | 883207 | 838127 | 7895 223 | 11 | 27 539.82/539.94 c 414s | 20 | 887042 | 841627 | 7895 224 | 11 | 27 541.81/541.98 c 416s | 20 | 889825 | 844327 | 7895 225 | 11 | 27 543.91/544.04 c 418s | 20 | 893310 | 847527 | 7895 225 | 11 | 27 545.91/546.09 c 420s | 20 | 897257 | 851227 | 7895 226 | 11 | 27 548.01/548.14 c 422s | 20 | 900796 | 854627 | 7895 227 | 11 | 27 550.01/550.17 c 424s | 20 | 904376 | 858027 | 7895 228 | 11 | 27 552.11/552.25 c 426s | 20 | 907855 | 861427 | 7895 229 | 11 | 27 554.11/554.27 c 428s | 20 | 911335 | 864827 | 7895 229 | 11 | 27 556.21/556.35 c 430s | 20 | 914025 | 867327 | 7895 230 | 11 | 27 558.20/558.37 c 432s | 20 | 916145 | 869327 | 7895 230 | 11 | 27 560.30/560.40 c 434s | 20 | 918840 | 871827 | 7895 231 | 11 | 27 562.30/562.43 c 436s | 20 | 922023 | 874927 | 7895 232 | 11 | 27 564.30/564.49 c 438s | 20 | 925509 | 878327 | 7895 233 | 11 | 27 566.40/566.52 c 440s | 20 | 929804 | 882527 | 7895 233 | 11 | 27 568.41/568.56 c 442s | 20 | 932779 | 885427 | 7895 234 | 11 | 27 570.40/570.59 c 444s | 20 | 936336 | 888927 | 7895 235 | 11 | 27 572.50/572.63 c 446s | 20 | 939067 | 891627 | 7895 236 | 11 | 27 574.50/574.69 c 448s | 20 | 942032 | 894527 | 7895 236 | 11 | 27 576.60/576.70 c 450s | 20 | 944899 | 897327 | 7895 237 | 11 | 27 578.70/578.81 c 453s | 20 | 948118 | 900427 | 7895 238 | 11 | 27 580.70/580.86 c 455s | 20 | 951788 | 904027 | 7895 238 | 11 | 27 582.80/582.91 c 457s | 20 | 955692 | 907827 | 7895 239 | 11 | 27 584.81/584.95 c 459s | 20 | 958849 | 910927 | 7895 240 | 11 | 27 586.80/586.99 c 461s | 20 | 962712 | 914727 | 7895 241 | 11 | 27 588.90/589.02 c 463s | 20 | 965978 | 917927 | 7895 242 | 11 | 27 590.90/591.07 c 465s | 20 | 969961 | 921827 | 7895 243 | 11 | 27 593.00/593.10 c 467s | 20 | 973057 | 924827 | 7895 243 | 11 | 27 595.00/595.11 c 469s | 20 | 976966 | 928627 | 7895 244 | 11 | 27 597.00/597.17 c 471s | 20 | 980199 | 931827 | 7895 245 | 11 | 27 599.00/599.20 c 473s | 20 | 983339 | 934927 | 7895 246 | 11 | 27 601.10/601.22 c 475s | 20 | 986492 | 938027 | 7895 246 | 11 | 27 603.10/603.24 c 477s | 20 | 990141 | 941627 | 7895 247 | 11 | 27 605.10/605.27 c 479s | 20 | 993207 | 944627 | 7895 248 | 11 | 27 607.20/607.32 c 481s | 20 | 996884 | 948227 | 7895 249 | 11 | 27 609.20/609.34 c 483s | 20 | 999515 | 950727 | 7895 249 | 11 | 27 611.31/611.44 c 485s | 20 | 1002489 | 953627 | 7895 250 | 11 | 27 613.41/613.50 c 487s | 20 | 1007595 | 958627 | 7895 251 | 11 | 27 615.40/615.51 c 489s | 20 | 1012656 | 963527 | 7895 252 | 11 | 27 617.40/617.52 c 491s | 20 | 1016931 | 967427 | 7895 253 | 11 | 27 619.40/619.59 c 493s | 20 | 1020029 | 970427 | 7895 254 | 11 | 27 621.50/621.60 c 495s | 20 | 1023148 | 973327 | 7895 254 | 11 | 27 623.50/623.63 c 497s | 20 | 1026607 | 976627 | 7895 255 | 11 | 27 625.51/625.67 c 499s | 20 | 1030399 | 980127 | 7895 256 | 11 | 27 627.60/627.71 c 501s | 20 | 1034818 | 984127 | 7895 257 | 11 | 27 629.60/629.72 c 503s | 20 | 1040400 | 989427 | 7895 258 | 11 | 27 631.60/631.74 c 505s | 20 | 1045256 | 994227 | 7895 259 | 11 | 27 633.60/633.75 c 507s | 20 | 1049967 | 998627 | 7895 260 | 11 | 27 634.50/634.60 c 508s | 21 | 1051757 | 1000345 | 7895 261 | 11 | 27 636.50/636.62 c 510s | 21 | 1057976 | 1006245 | 7895 262 | 11 | 27 638.50/638.66 c 512s | 21 | 1063099 | 1011245 | 7895 263 | 11 | 27 640.50/640.69 c 514s | 21 | 1068205 | 1016145 | 7895 264 | 11 | 27 642.60/642.70 c 516s | 21 | 1072951 | 1020745 | 7895 266 | 11 | 27 644.60/644.72 c 518s | 21 | 1078136 | 1025845 | 7895 267 | 11 | 27 646.59/646.73 c 520s | 21 | 1083406 | 1030945 | 7895 268 | 11 | 27 648.60/648.76 c 522s | 21 | 1088888 | 1036345 | 7895 269 | 11 | 27 650.69/650.81 c 525s | 21 | 1093465 | 1040845 | 7895 271 | 11 | 27 652.69/652.84 c 527s | 21 | 1099044 | 1046245 | 7895 272 | 11 | 27 654.69/654.87 c 529s | 21 | 1103597 | 1050645 | 7895 273 | 11 | 27 656.69/656.87 c 531s | 21 | 1109184 | 1056045 | 7895 274 | 11 | 27 658.69/658.88 c 533s | 21 | 1114000 | 1060745 | 7895 275 | 11 | 27 660.80/660.91 c 535s | 21 | 1119303 | 1065845 | 7895 277 | 11 | 27 662.79/662.93 c 537s | 21 | 1125045 | 1071345 | 7895 278 | 11 | 27 664.79/664.93 c 539s | 21 | 1130356 | 1076445 | 7895 279 | 11 | 27 666.79/666.93 c 541s | 21 | 1135652 | 1081445 | 7895 280 | 11 | 27 668.79/668.95 c 543s | 21 | 1142459 | 1088045 | 7895 282 | 11 | 27 670.79/670.95 c 545s | 21 | 1147933 | 1093345 | 7895 283 | 11 | 27 672.80/672.95 c 547s | 21 | 1153727 | 1098645 | 7895 284 | 11 | 27 674.79/674.96 c 549s | 21 | 1158394 | 1103045 | 7895 285 | 11 | 27 676.79/676.99 c 551s | 21 | 1162524 | 1106745 | 7895 286 | 11 | 27 678.89/679.02 c 553s | 21 | 1166896 | 1110945 | 7895 287 | 11 | 27 680.89/681.07 c 555s | 21 | 1171375 | 1115245 | 7895 288 | 11 | 27 682.89/683.07 c 557s | 21 | 1175780 | 1119345 | 7895 289 | 11 | 27 684.99/685.11 c 559s | 21 | 1180199 | 1123445 | 7895 290 | 11 | 27 686.98/687.13 c 561s | 21 | 1183921 | 1127045 | 7895 291 | 11 | 27 688.98/689.13 c 563s | 21 | 1187933 | 1130745 | 7895 292 | 11 | 27 690.98/691.14 c 565s | 21 | 1192382 | 1134645 | 7895 293 | 11 | 27 692.98/693.17 c 567s | 21 | 1196784 | 1138745 | 7895 294 | 11 | 27 694.98/695.19 c 569s | 21 | 1201628 | 1143045 | 7895 295 | 11 | 27 697.10/697.24 c 571s | 21 | 1205831 | 1146645 | 7895 295 | 11 | 27 699.09/699.26 c 573s | 21 | 1210257 | 1150545 | 7895 296 | 11 | 27 701.09/701.27 c 575s | 21 | 1214772 | 1154445 | 7895 297 | 11 | 27 703.09/703.28 c 577s | 21 | 1217941 | 1157445 | 7895 298 | 11 | 27 705.19/705.30 c 579s | 21 | 1222485 | 1161845 | 7895 299 | 11 | 27 707.19/707.34 c 581s | 21 | 1226265 | 1165545 | 7895 300 | 11 | 27 709.20/709.37 c 583s | 21 | 1230120 | 1169245 | 7895 301 | 11 | 27 711.19/711.40 c 585s | 21 | 1234559 | 1173545 | 7895 302 | 11 | 27 713.29/713.43 c 587s | 21 | 1238850 | 1177645 | 7895 303 | 11 | 27 715.29/715.48 c 589s | 21 | 1242598 | 1181045 | 7895 303 | 11 | 27 717.29/717.49 c 591s | 21 | 1246783 | 1185045 | 7895 304 | 11 | 27 719.39/719.52 c 593s | 21 | 1251251 | 1189145 | 7895 305 | 11 | 27 721.39/721.53 c 595s | 21 | 1254823 | 1192445 | 8685 306 | 11 | 27 723.39/723.58 c 597s | 21 | 1258044 | 1195245 | 8685 306 | 11 | 27 725.48/725.60 c 599s | 21 | 1261737 | 1198745 | 8685 307 | 11 | 27 727.48/727.65 c 601s | 21 | 1266351 | 1203145 | 8685 308 | 11 | 27 729.58/729.71 c 603s | 21 | 1269783 | 1206445 | 8685 309 | 11 | 27 731.58/731.74 c 605s | 21 | 1274280 | 1210745 | 8685 310 | 11 | 27 733.58/733.77 c 607s | 21 | 1277658 | 1214045 | 8685 310 | 11 | 27 735.59/735.77 c 609s | 21 | 1282819 | 1219145 | 8685 311 | 11 | 27 737.69/737.80 c 612s | 21 | 1287450 | 1223545 | 8685 312 | 11 | 27 739.68/739.82 c 614s | 21 | 1291320 | 1227245 | 8685 313 | 11 | 27 741.68/741.85 c 616s | 21 | 1295130 | 1230845 | 8685 314 | 11 | 27 743.68/743.86 c 618s | 21 | 1298645 | 1234245 | 8685 315 | 11 | 27 745.68/745.88 c 620s | 21 | 1302112 | 1237645 | 8685 315 | 11 | 27 747.78/747.90 c 622s | 21 | 1305346 | 1240845 | 8685 316 | 11 | 27 749.79/749.92 c 624s | 21 | 1308839 | 1244145 | 8685 317 | 11 | 27 751.78/751.93 c 626s | 21 | 1313249 | 1248345 | 8685 318 | 11 | 27 753.78/753.96 c 628s | 21 | 1317057 | 1252045 | 8685 318 | 11 | 27 755.88/756.00 c 630s | 21 | 1320350 | 1255145 | 8685 319 | 11 | 27 757.88/758.03 c 632s | 21 | 1324452 | 1259145 | 8685 320 | 11 | 27 759.88/760.05 c 634s | 21 | 1328200 | 1262745 | 8685 321 | 11 | 27 761.88/762.08 c 636s | 21 | 1331855 | 1266245 | 8685 321 | 11 | 27 763.98/764.12 c 638s | 21 | 1336275 | 1270445 | 8685 322 | 11 | 27 765.98/766.14 c 640s | 21 | 1340547 | 1274545 | 8685 323 | 11 | 27 767.97/768.18 c 642s | 21 | 1344975 | 1278745 | 8685 324 | 11 | 27 769.97/770.18 c 644s | 21 | 1348542 | 1282145 | 8685 325 | 11 | 27 771.97/772.19 c 646s | 21 | 1352159 | 1285645 | 8685 325 | 11 | 27 774.08/774.21 c 648s | 21 | 1355639 | 1289045 | 8685 326 | 11 | 27 776.07/776.22 c 650s | 21 | 1359403 | 1292745 | 8685 327 | 11 | 27 778.07/778.27 c 652s | 21 | 1364149 | 1297245 | 8685 328 | 11 | 27 780.17/780.32 c 654s | 21 | 1368070 | 1301045 | 8685 329 | 11 | 27 782.17/782.35 c 656s | 21 | 1371727 | 1304645 | 8685 330 | 11 | 27 784.17/784.37 c 658s | 21 | 1375909 | 1308745 | 8685 330 | 11 | 27 786.27/786.42 c 660s | 21 | 1379798 | 1312545 | 8685 331 | 11 | 27 788.28/788.47 c 662s | 21 | 1383860 | 1316445 | 8685 332 | 11 | 27 790.37/790.50 c 664s | 21 | 1387886 | 1320345 | 8685 333 | 11 | 27 792.37/792.53 c 666s | 21 | 1392252 | 1324545 | 8685 334 | 11 | 27 794.37/794.57 c 668s | 21 | 1396219 | 1328345 | 8685 335 | 11 | 27 796.37/796.58 c 670s | 21 | 1400706 | 1332545 | 8685 335 | 11 | 27 798.37/798.59 c 672s | 21 | 1404871 | 1336545 | 8685 336 | 11 | 27 800.48/800.63 c 674s | 21 | 1408976 | 1340545 | 8685 337 | 11 | 27 802.47/802.64 c 676s | 21 | 1413837 | 1345245 | 8685 338 | 11 | 27 804.47/804.66 c 678s | 21 | 1418841 | 1350145 | 8685 339 | 11 | 27 806.57/806.70 c 680s | 21 | 1423186 | 1354345 | 8685 340 | 11 | 27 808.57/808.72 c 682s | 21 | 1427634 | 1358645 | 8685 341 | 11 | 27 810.57/810.76 c 684s | 21 | 1431346 | 1362145 | 8685 342 | 11 | 27 812.57/812.78 c 686s | 21 | 1435539 | 1366145 | 8685 342 | 11 | 27 814.57/814.79 c 688s | 21 | 1439765 | 1370245 | 8685 343 | 11 | 27 816.67/816.82 c 691s | 21 | 1443926 | 1374245 | 8685 344 | 11 | 27 818.67/818.85 c 693s | 21 | 1448113 | 1378345 | 8685 345 | 11 | 27 820.67/820.85 c 695s | 21 | 1452233 | 1382345 | 8685 346 | 11 | 27 822.66/822.88 c 697s | 21 | 1456222 | 1386145 | 8685 347 | 11 | 27 824.67/824.89 c 699s | 21 | 1460268 | 1389945 | 8685 348 | 11 | 27 826.77/826.92 c 701s | 21 | 1464812 | 1394345 | 8685 348 | 11 | 27 828.76/828.95 c 703s | 21 | 1469163 | 1398545 | 8685 349 | 11 | 27 830.76/830.97 c 705s | 21 | 1473949 | 1403145 | 8685 350 | 11 | 27 832.86/833.00 c 707s | 21 | 1478480 | 1407545 | 8685 351 | 11 | 27 834.86/835.01 c 709s | 21 | 1482801 | 1411645 | 8685 352 | 11 | 27 836.86/837.04 c 711s | 21 | 1487002 | 1415645 | 8685 353 | 11 | 27 838.87/839.06 c 713s | 21 | 1491424 | 1419945 | 8685 354 | 11 | 27 840.86/841.06 c 715s | 21 | 1495609 | 1423945 | 8685 355 | 11 | 27 842.86/843.09 c 717s | 21 | 1500040 | 1428045 | 8685 356 | 11 | 27 844.96/845.10 c 719s | 21 | 1504307 | 1432145 | 8685 356 | 11 | 27 846.96/847.12 c 721s | 21 | 1508324 | 1435945 | 8685 357 | 11 | 27 848.96/849.15 c 723s | 21 | 1511974 | 1439345 | 8685 358 | 11 | 27 851.07/851.20 c 725s | 21 | 1516635 | 1443745 | 8685 359 | 11 | 27 853.06/853.21 c 727s | 21 | 1521071 | 1448045 | 8685 360 | 11 | 27 855.06/855.26 c 729s | 21 | 1525212 | 1451945 | 8685 361 | 11 | 27 857.16/857.30 c 731s | 21 | 1529617 | 1456045 | 8685 361 | 11 | 27 859.16/859.36 c 733s | 21 | 1534025 | 1459945 | 8685 362 | 11 | 27 861.16/861.38 c 735s | 21 | 1538936 | 1464645 | 8685 363 | 11 | 27 863.26/863.41 c 737s | 21 | 1543519 | 1469045 | 8685 364 | 11 | 27 865.27/865.43 c 739s | 21 | 1547714 | 1473145 | 8685 365 | 11 | 27 867.26/867.46 c 741s | 21 | 1552222 | 1477545 | 8685 366 | 11 | 27 869.26/869.47 c 743s | 21 | 1556225 | 1481445 | 8685 367 | 11 | 27 871.26/871.49 c 745s | 21 | 1561031 | 1486045 | 8685 368 | 11 | 27 873.36/873.51 c 747s | 21 | 1565216 | 1490145 | 8685 369 | 11 | 27 875.36/875.56 c 749s | 21 | 1569198 | 1494045 | 8685 369 | 11 | 27 877.36/877.58 c 751s | 21 | 1573847 | 1498545 | 8685 370 | 11 | 27 878.35/878.51 c 752s | 22 | 1576012 | 1500622 | 8685 371 | 11 | 27 880.35/880.53 c 754s | 22 | 1580815 | 1505122 | 8685 372 | 11 | 27 882.35/882.54 c 756s | 22 | 1584817 | 1509022 | 8685 373 | 11 | 27 884.35/884.58 c 758s | 22 | 1588865 | 1512922 | 8685 374 | 11 | 27 886.45/886.61 c 760s | 22 | 1592737 | 1516622 | 8685 374 | 11 | 27 888.46/888.66 c 762s | 22 | 1596726 | 1520522 | 8685 375 | 11 | 27 890.45/890.66 c 764s | 22 | 1600546 | 1524122 | 8685 376 | 11 | 27 892.45/892.69 c 766s | 22 | 1604843 | 1528222 | 8685 377 | 11 | 27 894.55/894.71 c 768s | 22 | 1608411 | 1531622 | 8685 378 | 11 | 27 896.55/896.74 c 770s | 22 | 1611998 | 1535022 | 8685 378 | 11 | 27 898.55/898.76 c 772s | 22 | 1615581 | 1538322 | 8685 379 | 11 | 27 900.65/900.82 c 775s | 22 | 1618869 | 1541422 | 8685 380 | 11 | 27 902.66/902.87 c 777s | 22 | 1623091 | 1545422 | 8685 380 | 11 | 27 904.75/904.93 c 779s | 22 | 1626609 | 1548822 | 8685 381 | 11 | 27 906.75/906.99 c 781s | 22 | 1630605 | 1552622 | 8685 382 | 11 | 27 908.85/909.01 c 783s | 22 | 1633965 | 1555822 | 8685 383 | 11 | 27 910.85/911.04 c 785s | 22 | 1637579 | 1559322 | 8685 383 | 11 | 27 912.86/913.09 c 787s | 22 | 1641310 | 1562922 | 8685 384 | 11 | 27 914.96/915.13 c 789s | 22 | 1645306 | 1566822 | 8685 385 | 11 | 27 916.96/917.13 c 791s | 22 | 1648872 | 1570122 | 8685 386 | 11 | 27 918.96/919.17 c 793s | 22 | 1652480 | 1573522 | 8685 386 | 11 | 27 920.96/921.18 c 795s | 22 | 1657333 | 1578322 | 8685 387 | 11 | 27 923.06/923.21 c 797s | 22 | 1662000 | 1582922 | 8685 388 | 11 | 27 925.06/925.24 c 799s | 22 | 1665731 | 1586522 | 8685 389 | 11 | 27 927.06/927.24 c 801s | 22 | 1669529 | 1590222 | 8685 390 | 11 | 27 929.06/929.28 c 803s | 22 | 1673181 | 1593722 | 8685 391 | 11 | 27 931.15/931.31 c 805s | 22 | 1677356 | 1597722 | 8685 392 | 11 | 27 933.15/933.38 c 807s | 22 | 1680915 | 1601122 | 8685 392 | 11 | 27 935.25/935.47 c 809s | 22 | 1684440 | 1604522 | 8685 393 | 11 | 27 937.35/937.52 c 811s | 22 | 1687090 | 1607022 | 8685 394 | 11 | 27 939.35/939.56 c 813s | 22 | 1690625 | 1610422 | 8685 394 | 11 | 27 941.35/941.59 c 815s | 22 | 1694313 | 1614022 | 8685 395 | 11 | 27 943.46/943.63 c 817s | 22 | 1697925 | 1617522 | 8685 396 | 11 | 27 945.45/945.66 c 819s | 22 | 1701256 | 1620722 | 8685 397 | 11 | 27 947.45/947.69 c 821s | 22 | 1704994 | 1624322 | 8685 397 | 11 | 27 949.55/949.71 c 823s | 22 | 1708913 | 1628122 | 8685 398 | 11 | 27 951.55/951.75 c 825s | 22 | 1712361 | 1631422 | 8685 399 | 11 | 27 953.55/953.78 c 827s | 22 | 1715612 | 1634522 | 8685 400 | 11 | 27 955.65/955.80 c 830s | 22 | 1719736 | 1638622 | 8685 400 | 11 | 27 957.66/957.81 c 832s | 22 | 1723379 | 1642222 | 8685 401 | 11 | 27 959.65/959.84 c 834s | 22 | 1728050 | 1646822 | 8685 402 | 11 | 27 961.65/961.89 c 836s | 22 | 1732413 | 1651122 | 8685 403 | 11 | 27 963.75/963.92 c 838s | 22 | 1736096 | 1654722 | 8685 404 | 11 | 27 965.75/965.94 c 840s | 22 | 1739832 | 1658422 | 8685 405 | 11 | 27 967.85/968.01 c 842s | 22 | 1743659 | 1662222 | 8685 406 | 11 | 27 969.85/970.01 c 844s | 22 | 1747781 | 1666322 | 8685 406 | 11 | 27 971.85/972.07 c 846s | 22 | 1752219 | 1670722 | 8685 407 | 11 | 27 973.84/974.07 c 848s | 22 | 1756492 | 1674922 | 8685 408 | 11 | 27 975.94/976.11 c 850s | 22 | 1760349 | 1678722 | 8685 409 | 11 | 27 977.94/978.12 c 852s | 22 | 1764872 | 1683122 | 8685 410 | 11 | 27 979.94/980.14 c 854s | 22 | 1769063 | 1687222 | 8685 411 | 11 | 27 981.95/982.15 c 856s | 22 | 1774754 | 1692622 | 8685 412 | 11 | 27 983.94/984.19 c 858s | 22 | 1780234 | 1698022 | 8685 413 | 11 | 27 986.04/986.22 c 860s | 22 | 1785214 | 1702922 | 8685 414 | 11 | 27 988.04/988.23 c 862s | 22 | 1789701 | 1707322 | 8685 415 | 11 | 27 990.04/990.23 c 864s | 22 | 1794507 | 1712022 | 8685 416 | 11 | 27 992.04/992.29 c 866s | 22 | 1799627 | 1717022 | 8685 418 | 11 | 27 994.14/994.30 c 868s | 22 | 1804494 | 1721722 | 8685 419 | 11 | 27 996.14/996.30 c 870s | 22 | 1809278 | 1726422 | 8685 420 | 11 | 27 998.14/998.33 c 872s | 22 | 1814089 | 1731122 | 8685 421 | 11 | 27 1000.14/1000.37 c 874s | 22 | 1818785 | 1735722 | 8685 422 | 11 | 27 1002.14/1002.38 c 876s | 22 | 1823269 | 1740122 | 8685 423 | 11 | 27 1004.24/1004.40 c 878s | 22 | 1828149 | 1744922 | 8685 424 | 11 | 27 1006.24/1006.40 c 880s | 22 | 1832697 | 1749422 | 8685 425 | 11 | 27 1008.24/1008.44 c 882s | 22 | 1837507 | 1754122 | 8685 426 | 11 | 27 1010.24/1010.46 c 884s | 22 | 1841910 | 1758422 | 8685 427 | 11 | 27 1012.24/1012.46 c 886s | 22 | 1846391 | 1762722 | 8685 428 | 11 | 27 1014.23/1014.48 c 888s | 22 | 1851214 | 1767422 | 8685 429 | 11 | 27 1016.33/1016.51 c 890s | 22 | 1855760 | 1771822 | 8685 430 | 11 | 27 1018.33/1018.53 c 892s | 22 | 1860225 | 1776122 | 8685 431 | 11 | 27 1020.34/1020.57 c 894s | 22 | 1864764 | 1780522 | 8685 432 | 11 | 27 1022.43/1022.60 c 896s | 22 | 1869639 | 1785222 | 8685 433 | 11 | 27 1024.43/1024.60 c 898s | 22 | 1874502 | 1789922 | 8685 434 | 11 | 27 1026.43/1026.60 c 900s | 22 | 1878782 | 1794122 | 8685 435 | 11 | 27 1028.43/1028.63 c 902s | 22 | 1883942 | 1799122 | 8685 436 | 11 | 27 1030.43/1030.66 c 904s | 22 | 1889023 | 1804022 | 8685 437 | 11 | 27 1032.44/1032.67 c 906s | 22 | 1893132 | 1808022 | 8685 438 | 11 | 27 1034.43/1034.69 c 908s | 22 | 1898325 | 1813022 | 8685 439 | 11 | 27 1036.53/1036.72 c 910s | 22 | 1903026 | 1817522 | 8685 440 | 11 | 27 1038.63/1038.81 c 913s | 22 | 1906908 | 1821122 | 8685 441 | 11 | 27 1040.63/1040.86 c 915s | 22 | 1910414 | 1824422 | 8685 441 | 11 | 27 1042.63/1042.88 c 917s | 22 | 1914143 | 1828022 | 8685 442 | 11 | 27 1044.64/1044.89 c 919s | 22 | 1918363 | 1831922 | 8685 443 | 11 | 27 1046.73/1046.93 c 921s | 22 | 1922837 | 1836122 | 8685 444 | 11 | 27 1048.73/1048.97 c 923s | 22 | 1927065 | 1840122 | 8685 445 | 11 | 27 1050.83/1051.00 c 925s | 22 | 1931190 | 1844022 | 8685 446 | 11 | 27 1052.83/1053.01 c 927s | 22 | 1935750 | 1848222 | 8685 447 | 11 | 27 1054.83/1055.01 c 929s | 22 | 1940036 | 1852322 | 8685 448 | 11 | 27 1056.83/1057.09 c 931s | 22 | 1944007 | 1856122 | 8685 449 | 11 | 27 1058.93/1059.10 c 933s | 22 | 1948104 | 1860022 | 8685 449 | 11 | 27 1060.93/1061.15 c 935s | 22 | 1952304 | 1864022 | 8685 450 | 11 | 27 1062.93/1063.18 c 937s | 22 | 1956685 | 1868122 | 8685 451 | 11 | 27 1064.93/1065.19 c 939s | 22 | 1961530 | 1872622 | 8685 452 | 11 | 27 1067.13/1067.34 c 941s | 22 | 1965534 | 1876422 | 8685 453 | 11 | 27 1069.13/1069.37 c 943s | 22 | 1971119 | 1881822 | 8685 454 | 11 | 27 1071.13/1071.38 c 945s | 22 | 1975074 | 1885622 | 8685 455 | 11 | 27 1073.14/1073.39 c 947s | 22 | 1978557 | 1888922 | 8685 456 | 11 | 27 1075.23/1075.42 c 949s | 22 | 1982461 | 1892522 | 8685 457 | 11 | 27 1077.23/1077.43 c 951s | 22 | 1986816 | 1896622 | 8685 458 | 11 | 27 1079.23/1079.45 c 953s | 22 | 1990420 | 1900122 | 8685 458 | 11 | 27 1081.23/1081.46 c 955s | 22 | 1994746 | 1904222 | 8685 459 | 11 | 27 1083.33/1083.52 c 957s | 22 | 1999459 | 1908722 | 8685 460 | 11 | 27 1085.34/1085.54 c 959s | 22 | 2004221 | 1913222 | 8685 461 | 11 | 27 1087.33/1087.57 c 961s | 22 | 2009275 | 1918122 | 8685 462 | 11 | 27 1089.33/1089.57 c 963s | 22 | 2013343 | 1922122 | 8685 463 | 11 | 27 1091.43/1091.61 c 965s | 22 | 2018229 | 1926822 | 8685 464 | 11 | 27 1093.43/1093.69 c 967s | 22 | 2022646 | 1931122 | 8685 465 | 11 | 27 1095.53/1095.70 c 969s | 22 | 2027104 | 1935422 | 8685 466 | 11 | 27 1097.53/1097.73 c 971s | 22 | 2031684 | 1939722 | 9554 467 | 11 | 27 1099.53/1099.78 c 973s | 22 | 2035605 | 1943522 | 9554 468 | 11 | 27 1101.63/1101.80 c 976s | 22 | 2039795 | 1947622 | 9554 469 | 11 | 27 1103.63/1103.86 c 978s | 22 | 2044081 | 1951822 | 9554 469 | 11 | 27 1105.62/1105.87 c 980s | 22 | 2048558 | 1956222 | 9554 470 | 11 | 27 1107.62/1107.89 c 982s | 22 | 2053131 | 1960622 | 9554 471 | 11 | 27 1109.72/1109.92 c 984s | 22 | 2057641 | 1964922 | 9554 472 | 11 | 27 1111.73/1111.95 c 986s | 22 | 2062199 | 1969322 | 9554 473 | 11 | 27 1113.72/1113.96 c 988s | 22 | 2066416 | 1973422 | 9554 474 | 11 | 27 1115.72/1115.99 c 990s | 22 | 2070527 | 1977422 | 9554 475 | 11 | 27 1117.82/1118.01 c 992s | 22 | 2075108 | 1981822 | 9554 475 | 11 | 27 1119.82/1120.07 c 994s | 22 | 2080433 | 1987022 | 9554 477 | 11 | 27 1121.82/1122.08 c 996s | 22 | 2084386 | 1990822 | 9554 477 | 11 | 27 1123.83/1124.09 c 998s | 22 | 2089002 | 1995122 | 9554 478 | 11 | 27 1125.92/1126.12 c 1000s | 22 | 2092938 | 1998922 | 9554 479 | 11 | 27 1127.92/1128.15 c 1002s | 22 | 2097606 | 2003422 | 9554 480 | 11 | 27 1129.92/1130.16 c 1004s | 22 | 2101841 | 2007522 | 9554 481 | 11 | 27 1131.92/1132.18 c 1006s | 22 | 2105797 | 2011422 | 9554 481 | 11 | 27 1134.02/1134.20 c 1008s | 22 | 2109979 | 2015522 | 9554 482 | 11 | 27 1136.02/1136.24 c 1010s | 22 | 2113913 | 2019322 | 9554 483 | 11 | 27 1138.02/1138.25 c 1012s | 22 | 2117873 | 2023122 | 9554 484 | 11 | 27 1140.01/1140.27 c 1014s | 22 | 2122113 | 2026922 | 9554 485 | 11 | 27 1142.01/1142.28 c 1016s | 22 | 2126458 | 2031122 | 9554 485 | 11 | 27 1144.11/1144.34 c 1018s | 22 | 2130471 | 2035022 | 9554 486 | 11 | 27 1146.11/1146.37 c 1020s | 22 | 2133990 | 2038422 | 9554 487 | 11 | 27 1148.22/1148.41 c 1022s | 22 | 2138394 | 2042722 | 9554 488 | 11 | 27 1150.23/1150.44 c 1024s | 22 | 2143624 | 2047622 | 9554 489 | 11 | 27 1152.22/1152.45 c 1026s | 22 | 2147550 | 2051422 | 9554 490 | 11 | 27 1154.22/1154.47 c 1028s | 22 | 2151922 | 2055622 | 9554 490 | 11 | 27 1156.32/1156.51 c 1030s | 22 | 2156425 | 2060022 | 9554 491 | 11 | 27 1158.32/1158.55 c 1032s | 22 | 2160594 | 2064122 | 9554 492 | 11 | 27 1160.32/1160.58 c 1034s | 22 | 2164247 | 2067722 | 9554 493 | 11 | 27 1162.42/1162.61 c 1036s | 22 | 2168019 | 2071422 | 9554 494 | 11 | 27 1164.42/1164.65 c 1038s | 22 | 2172219 | 2075522 | 9554 494 | 11 | 27 1166.41/1166.66 c 1040s | 22 | 2176788 | 2079922 | 9554 495 | 11 | 27 1168.41/1168.67 c 1042s | 22 | 2181148 | 2084122 | 9554 496 | 11 | 27 1170.41/1170.69 c 1044s | 22 | 2185498 | 2088322 | 9554 497 | 11 | 27 1172.51/1172.72 c 1046s | 22 | 2190271 | 2092922 | 9554 498 | 11 | 27 1174.51/1174.72 c 1048s | 22 | 2194713 | 2097122 | 9554 499 | 11 | 27 1176.52/1176.75 c 1050s | 22 | 2198990 | 2101122 | 9554 500 | 11 | 27 1178.51/1178.77 c 1052s | 22 | 2202790 | 2104822 | 9554 500 | 11 | 27 1180.51/1180.79 c 1054s | 22 | 2207261 | 2109222 | 9554 501 | 11 | 27 1182.61/1182.80 c 1057s | 22 | 2211787 | 2113622 | 9554 502 | 11 | 27 1184.61/1184.81 c 1059s | 22 | 2215888 | 2117522 | 9554 503 | 11 | 27 1186.61/1186.84 c 1061s | 22 | 2220392 | 2121822 | 9554 504 | 11 | 27 1188.62/1188.84 c 1063s | 22 | 2224363 | 2125622 | 9554 505 | 11 | 27 1190.71/1190.91 c 1065s | 22 | 2228826 | 2129922 | 9554 506 | 11 | 27 1192.71/1192.94 c 1067s | 22 | 2233206 | 2134122 | 9554 506 | 11 | 27 1194.81/1195.00 c 1069s | 22 | 2237482 | 2138122 | 9554 507 | 11 | 27 1196.81/1197.03 c 1071s | 22 | 2242144 | 2142622 | 9554 508 | 11 | 27 1198.81/1199.05 c 1073s | 22 | 2246669 | 2147022 | 9554 509 | 11 | 27 1200.81/1201.08 c 1075s | 22 | 2250867 | 2151122 | 9554 510 | 11 | 27 1202.80/1203.08 c 1077s | 22 | 2255573 | 2155622 | 9554 511 | 11 | 27 1204.90/1205.12 c 1079s | 22 | 2259124 | 2159022 | 9554 511 | 11 | 27 1206.90/1207.15 c 1081s | 22 | 2263871 | 2163622 | 9554 512 | 11 | 27 1208.90/1209.16 c 1083s | 22 | 2268297 | 2167922 | 9554 513 | 11 | 27 1211.00/1211.20 c 1085s | 22 | 2271917 | 2171422 | 9554 514 | 11 | 27 1213.00/1213.23 c 1087s | 22 | 2276161 | 2175522 | 9554 515 | 11 | 27 1215.00/1215.30 c 1089s | 22 | 2280741 | 2179822 | 9554 516 | 11 | 27 1217.10/1217.33 c 1091s | 22 | 2284807 | 2183722 | 9554 516 | 11 | 27 1219.10/1219.35 c 1093s | 22 | 2289332 | 2188022 | 9554 517 | 11 | 27 1221.10/1221.37 c 1095s | 22 | 2294066 | 2192622 | 9554 518 | 11 | 27 1223.09/1223.37 c 1097s | 22 | 2298311 | 2196722 | 9554 519 | 11 | 27 1225.19/1225.41 c 1099s | 22 | 2302625 | 2200922 | 9554 520 | 11 | 27 1227.20/1227.42 c 1101s | 22 | 2307066 | 2205222 | 9554 521 | 11 | 27 1229.19/1229.47 c 1103s | 22 | 2312127 | 2210022 | 9554 522 | 11 | 27 1231.19/1231.49 c 1105s | 22 | 2316137 | 2213622 | 9554 522 | 11 | 27 1233.29/1233.52 c 1107s | 22 | 2320586 | 2217922 | 9554 523 | 11 | 27 1235.29/1235.55 c 1109s | 22 | 2324906 | 2222022 | 9554 524 | 11 | 27 1237.28/1237.56 c 1111s | 22 | 2328824 | 2225722 | 9554 525 | 11 | 27 1239.29/1239.58 c 1113s | 22 | 2332957 | 2229722 | 9554 526 | 11 | 27 1241.39/1241.65 c 1115s | 22 | 2336903 | 2233422 | 9554 527 | 11 | 27 1243.38/1243.67 c 1117s | 22 | 2341363 | 2237822 | 9554 527 | 11 | 27 1245.38/1245.68 c 1119s | 22 | 2345459 | 2241722 | 9554 528 | 11 | 27 1247.38/1247.68 c 1121s | 22 | 2349987 | 2246122 | 9554 529 | 11 | 27 1249.38/1249.69 c 1123s | 22 | 2354866 | 2250822 | 9554 530 | 11 | 27 1249.58/1249.80 c 1124s | 23 | 2355090 | 2251038 | 9554 530 | 11 | 27 1251.58/1251.82 c 1126s | 23 | 2359238 | 2254138 | 9554 531 | 11 | 27 1253.58/1253.86 c 1128s | 23 | 2363387 | 2257938 | 9554 531 | 11 | 27 1255.57/1255.88 c 1130s | 23 | 2367504 | 2261738 | 9554 532 | 11 | 27 1257.57/1257.89 c 1132s | 23 | 2371000 | 2265038 | 9554 533 | 11 | 27 1259.67/1259.95 c 1134s | 23 | 2374646 | 2268438 | 9554 533 | 11 | 27 1261.67/1261.96 c 1136s | 23 | 2377560 | 2271238 | 9554 534 | 11 | 27 1263.67/1263.98 c 1138s | 23 | 2381061 | 2274538 | 9554 535 | 11 | 27 1265.78/1266.00 c 1140s | 23 | 2384628 | 2277738 | 9554 535 | 11 | 27 1267.79/1268.02 c 1142s | 23 | 2388018 | 2280938 | 9554 536 | 11 | 27 1269.78/1270.08 c 1144s | 23 | 2391753 | 2283838 | 9554 536 | 11 | 27 1272.08/1272.30 c 1146s | 23 | 2394670 | 2285738 | 9554 537 | 11 | 27 1274.18/1274.42 c 1148s | 23 | 2396331 | 2286838 | 9554 537 | 11 | 27 1276.28/1276.52 c 1150s | 23 | 2398066 | 2287938 | 9554 537 | 11 | 27 1278.27/1278.59 c 1152s | 23 | 2400774 | 2289238 | 9554 537 | 11 | 27 1280.37/1280.62 c 1154s | 23 | 2405074 | 2292538 | 9554 538 | 11 | 27 1282.37/1282.62 c 1156s | 23 | 2408411 | 2295838 | 9554 539 | 11 | 27 1284.38/1284.67 c 1158s | 23 | 2412481 | 2299538 | 9554 539 | 11 | 27 1286.37/1286.68 c 1160s | 23 | 2415978 | 2302938 | 9554 540 | 11 | 27 1288.37/1288.69 c 1162s | 23 | 2418456 | 2305338 | 9554 541 | 11 | 27 1290.47/1290.70 c 1164s | 23 | 2421630 | 2308438 | 9554 541 | 11 | 27 1292.57/1292.81 c 1167s | 23 | 2423654 | 2310438 | 9554 542 | 11 | 27 1294.56/1294.84 c 1169s | 23 | 2426803 | 2313538 | 9554 542 | 11 | 27 1296.56/1296.87 c 1171s | 23 | 2429542 | 2315938 | 9554 543 | 11 | 27 1298.67/1298.91 c 1173s | 23 | 2432730 | 2319038 | 9554 543 | 11 | 27 1300.66/1300.96 c 1175s | 23 | 2435981 | 2322238 | 9554 544 | 11 | 27 1302.86/1303.17 c 1177s | 23 | 2438802 | 2324938 | 9554 544 | 11 | 27 1304.96/1305.26 c 1179s | 23 | 2441107 | 2327038 | 9554 545 | 11 | 27 1307.06/1307.30 c 1181s | 23 | 2444841 | 2330538 | 9554 545 | 11 | 27 1309.16/1309.45 c 1183s | 23 | 2446343 | 2331638 | 9554 546 | 11 | 27 1311.36/1311.63 c 1185s | 23 | 2447415 | 2332538 | 9554 546 | 11 | 27 1313.35/1313.64 c 1187s | 23 | 2449647 | 2334638 | 9554 546 | 11 | 27 1315.55/1315.81 c 1190s | 23 | 2451140 | 2335938 | 9554 546 | 11 | 27 1317.55/1317.87 c 1192s | 23 | 2455091 | 2338838 | 9554 547 | 11 | 27 1319.65/1319.91 c 1194s | 23 | 2457764 | 2341038 | 9554 547 | 11 | 27 1321.75/1322.02 c 1196s | 23 | 2459444 | 2342638 | 9554 548 | 11 | 27 1323.75/1324.08 c 1198s | 23 | 2461624 | 2344438 | 9554 548 | 11 | 27 1325.95/1326.27 c 1200s | 23 | 2463009 | 2345538 | 9554 548 | 11 | 27 1328.05/1328.31 c 1202s | 23 | 2467240 | 2348538 | 9554 549 | 11 | 27 1330.14/1330.43 c 1204s | 23 | 2470513 | 2351038 | 9554 549 | 11 | 27 1332.14/1332.47 c 1206s | 23 | 2473320 | 2353438 | 9554 550 | 11 | 27 1334.14/1334.49 c 1208s | 23 | 2475735 | 2355338 | 9554 550 | 11 | 27 1336.24/1336.52 c 1210s | 23 | 2478680 | 2357438 | 9554 551 | 11 | 27 1338.25/1338.57 c 1212s | 23 | 2483531 | 2362038 | 9554 552 | 11 | 27 1340.24/1340.58 c 1214s | 23 | 2487866 | 2365738 | 9554 552 | 11 | 27 1342.34/1342.63 c 1216s | 23 | 2491359 | 2369038 | 9554 553 | 11 | 27 1344.33/1344.66 c 1218s | 23 | 2495628 | 2372838 | 9554 554 | 11 | 27 1346.43/1346.73 c 1220s | 23 | 2500114 | 2376438 | 9554 554 | 11 | 27 1348.43/1348.74 c 1222s | 23 | 2504058 | 2380038 | 9554 555 | 11 | 27 1350.44/1350.74 c 1224s | 23 | 2507394 | 2383138 | 9554 556 | 11 | 27 1352.45/1352.77 c 1226s | 23 | 2511102 | 2386738 | 9554 556 | 11 | 27 1354.53/1354.81 c 1229s | 23 | 2514952 | 2390138 | 9554 557 | 11 | 27 1356.53/1356.82 c 1231s | 23 | 2518602 | 2393238 | 9554 558 | 11 | 27 1358.53/1358.85 c 1233s | 23 | 2522595 | 2396638 | 9554 558 | 11 | 27 1360.53/1360.89 c 1235s | 23 | 2526837 | 2400238 | 9554 559 | 11 | 27 1362.63/1362.94 c 1237s | 23 | 2530305 | 2403338 | 9554 560 | 11 | 27 1364.64/1364.95 c 1239s | 23 | 2533951 | 2406638 | 9554 560 | 11 | 27 1366.63/1366.96 c 1241s | 23 | 2538045 | 2410638 | 9554 561 | 11 | 27 1368.73/1369.00 c 1243s | 23 | 2543580 | 2415738 | 9554 562 | 11 | 27 1370.73/1371.01 c 1245s | 23 | 2547951 | 2419838 | 9554 563 | 11 | 27 1372.72/1373.01 c 1247s | 23 | 2551721 | 2423338 | 9554 563 | 11 | 27 1374.72/1375.07 c 1249s | 23 | 2555543 | 2426838 | 9554 564 | 11 | 27 1376.73/1377.08 c 1251s | 23 | 2559325 | 2430538 | 9554 565 | 11 | 27 1378.93/1379.23 c 1253s | 23 | 2562931 | 2434038 | 9554 566 | 11 | 27 1380.92/1381.24 c 1255s | 23 | 2566293 | 2437038 | 9554 566 | 11 | 27 1382.92/1383.26 c 1257s | 23 | 2569510 | 2440238 | 9554 567 | 11 | 27 1384.92/1385.29 c 1259s | 23 | 2573047 | 2443438 | 9554 567 | 11 | 27 1387.02/1387.30 c 1261s | 23 | 2576973 | 2446238 | 9554 568 | 11 | 27 1389.12/1389.40 c 1263s | 23 | 2579324 | 2448338 | 9554 568 | 11 | 27 1391.12/1391.49 c 1265s | 23 | 2581465 | 2450138 | 9554 569 | 11 | 27 1393.22/1393.52 c 1267s | 23 | 2584634 | 2452738 | 9554 569 | 11 | 27 1395.21/1395.58 c 1269s | 23 | 2587815 | 2455538 | 9554 570 | 11 | 27 1397.31/1397.62 c 1271s | 23 | 2591107 | 2458438 | 9554 570 | 11 | 27 1399.31/1399.67 c 1273s | 23 | 2594138 | 2461138 | 9554 571 | 11 | 27 1401.31/1401.68 c 1275s | 23 | 2597304 | 2463838 | 9554 571 | 11 | 27 1403.41/1403.70 c 1277s | 23 | 2600454 | 2466438 | 9554 572 | 11 | 27 1405.41/1405.71 c 1279s | 23 | 2603858 | 2469438 | 9554 572 | 11 | 27 1407.41/1407.73 c 1281s | 23 | 2608133 | 2473338 | 9554 573 | 11 | 27 1409.41/1409.76 c 1283s | 23 | 2613544 | 2477838 | 9554 574 | 11 | 27 1411.51/1411.82 c 1286s | 23 | 2617545 | 2481138 | 9554 575 | 11 | 27 1413.50/1413.87 c 1288s | 23 | 2620857 | 2483838 | 9554 575 | 11 | 27 1415.70/1416.00 c 1290s | 23 | 2623427 | 2485538 | 9554 576 | 11 | 27 1417.70/1418.09 c 1292s | 23 | 2626497 | 2487838 | 9554 576 | 11 | 27 1419.80/1420.15 c 1294s | 23 | 2628490 | 2489338 | 9554 576 | 11 | 27 1421.90/1422.20 c 1296s | 23 | 2631467 | 2491538 | 9554 577 | 11 | 27 1424.00/1424.33 c 1298s | 23 | 2633015 | 2492938 | 9554 577 | 11 | 27 1426.00/1426.40 c 1300s | 23 | 2635062 | 2494338 | 9554 577 | 11 | 27 1428.10/1428.41 c 1302s | 23 | 2637434 | 2495838 | 9554 578 | 11 | 27 1430.10/1430.44 c 1304s | 23 | 2641909 | 2499138 | 9554 578 | 11 | 27 1432.20/1432.50 c 1306s | 23 | 2645827 | 2502238 | 9554 579 | 11 | 27 1434.19/1434.52 c 1308s | 23 | 2648900 | 2504938 | 9554 579 | 11 | 27 1436.19/1436.52 c 1310s | 23 | 2651070 | 2506838 | 9554 580 | 11 | 27 1438.20/1438.53 c 1312s | 23 | 2654688 | 2509938 | 9554 580 | 11 | 27 1440.19/1440.57 c 1314s | 23 | 2658991 | 2513738 | 9554 581 | 11 | 27 1442.29/1442.61 c 1316s | 23 | 2663325 | 2518038 | 9554 582 | 11 | 27 1444.38/1444.73 c 1318s | 23 | 2666916 | 2521538 | 9554 583 | 11 | 27 1446.38/1446.78 c 1320s | 23 | 2670262 | 2524838 | 9554 583 | 11 | 27 1448.48/1448.81 c 1323s | 23 | 2673124 | 2527638 | 9554 584 | 11 | 27 1450.48/1450.83 c 1325s | 23 | 2676768 | 2531138 | 9554 584 | 11 | 27 1452.49/1452.87 c 1327s | 23 | 2680145 | 2533438 | 9554 585 | 11 | 27 1454.47/1454.87 c 1329s | 23 | 2686313 | 2539338 | 9554 586 | 11 | 27 1456.57/1456.90 c 1331s | 23 | 2691438 | 2544238 | 9554 587 | 11 | 27 1458.57/1458.92 c 1333s | 23 | 2696016 | 2548538 | 9554 588 | 11 | 27 1460.57/1460.96 c 1335s | 23 | 2701403 | 2553638 | 9554 589 | 11 | 27 1462.57/1462.97 c 1337s | 23 | 2707927 | 2558438 | 9554 590 | 11 | 27 1464.58/1464.98 c 1339s | 23 | 2711727 | 2562038 | 9554 590 | 11 | 27 1466.67/1467.03 c 1341s | 23 | 2714996 | 2565038 | 9554 591 | 11 | 27 1468.77/1469.14 c 1343s | 23 | 2719267 | 2568738 | 9554 592 | 11 | 27 1470.77/1471.19 c 1345s | 23 | 2722002 | 2570438 | 9554 592 | 11 | 27 1472.86/1473.20 c 1347s | 23 | 2724825 | 2572938 | 9554 592 | 11 | 27 1474.86/1475.21 c 1349s | 23 | 2728703 | 2576438 | 9554 593 | 11 | 27 1476.86/1477.26 c 1351s | 23 | 2731936 | 2579638 | 9554 594 | 11 | 27 1478.87/1479.26 c 1353s | 23 | 2734868 | 2581838 | 9554 594 | 11 | 27 1480.96/1481.31 c 1355s | 23 | 2738132 | 2584738 | 9554 595 | 11 | 27 1482.96/1483.37 c 1357s | 23 | 2741681 | 2588238 | 9554 595 | 11 | 27 1485.06/1485.42 c 1359s | 23 | 2744004 | 2590338 | 9554 596 | 11 | 27 1487.16/1487.56 c 1361s | 23 | 2745005 | 2591338 | 9554 596 | 11 | 27 1489.26/1489.64 c 1363s | 23 | 2746216 | 2592538 | 9554 596 | 11 | 27 1491.36/1491.76 c 1365s | 23 | 2747230 | 2593538 | 9554 596 | 11 | 27 1493.45/1493.89 c 1368s | 23 | 2748552 | 2594838 | 9554 597 | 11 | 27 1495.55/1495.90 c 1370s | 23 | 2749870 | 2596138 | 9554 597 | 11 | 27 1497.66/1498.00 c 1372s | 23 | 2751217 | 2597438 | 9554 597 | 11 | 27 1499.76/1500.12 c 1374s | 23 | 2752540 | 2598738 | 9554 597 | 11 | 27 1501.75/1502.13 c 1376s | 23 | 2753742 | 2599938 | 9554 598 | 11 | 27 1503.85/1504.27 c 1378s | 23 | 2755059 | 2601238 | 9554 598 | 11 | 27 1505.85/1506.27 c 1380s | 23 | 2756272 | 2602438 | 9554 598 | 11 | 27 1507.95/1508.30 c 1382s | 23 | 2758473 | 2604538 | 9554 599 | 11 | 27 1509.95/1510.33 c 1384s | 23 | 2761277 | 2606738 | 9554 599 | 11 | 27 1512.05/1512.43 c 1386s | 23 | 2764424 | 2608538 | 9554 599 | 11 | 27 1514.15/1514.53 c 1388s | 23 | 2766498 | 2610038 | 9554 600 | 11 | 27 1516.14/1516.55 c 1390s | 23 | 2768928 | 2611738 | 9554 600 | 11 | 27 1518.24/1518.65 c 1392s | 23 | 2773371 | 2613938 | 9554 600 | 11 | 27 1520.24/1520.69 c 1394s | 23 | 2776324 | 2616438 | 9554 601 | 11 | 27 1522.24/1522.69 c 1396s | 23 | 2780383 | 2620438 | 9554 602 | 11 | 27 1524.24/1524.69 c 1398s | 23 | 2783627 | 2623638 | 9554 602 | 11 | 27 1526.34/1526.73 c 1400s | 23 | 2786817 | 2626738 | 9554 603 | 11 | 27 1528.44/1528.81 c 1403s | 23 | 2790321 | 2630038 | 9554 604 | 11 | 27 1530.54/1530.91 c 1405s | 23 | 2793227 | 2632738 | 9554 604 | 11 | 27 1532.53/1532.98 c 1407s | 23 | 2796368 | 2635538 | 9554 605 | 11 | 27 1534.63/1535.00 c 1409s | 23 | 2799428 | 2638438 | 9554 605 | 11 | 27 1536.63/1537.04 c 1411s | 23 | 2803419 | 2642338 | 9554 606 | 11 | 27 1538.63/1539.08 c 1413s | 23 | 2806922 | 2645638 | 9554 607 | 11 | 27 1540.63/1541.10 c 1415s | 23 | 2810019 | 2648438 | 9554 607 | 11 | 27 1542.73/1543.19 c 1417s | 23 | 2812645 | 2650838 | 9554 608 | 11 | 27 1544.83/1545.30 c 1419s | 23 | 2815695 | 2653738 | 9554 608 | 11 | 27 1546.92/1547.30 c 1421s | 23 | 2818194 | 2655638 | 9554 608 | 11 | 27 1549.02/1549.47 c 1423s | 23 | 2821237 | 2658038 | 9554 609 | 11 | 27 1551.12/1551.51 c 1425s | 23 | 2823490 | 2659938 | 9554 609 | 11 | 27 1553.23/1553.63 c 1427s | 23 | 2826824 | 2662738 | 9554 610 | 11 | 27 1555.33/1555.78 c 1429s | 23 | 2828612 | 2664438 | 9554 610 | 11 | 27 1557.43/1557.86 c 1432s | 23 | 2830613 | 2666138 | 9554 611 | 11 | 27 1559.53/1560.00 c 1434s | 23 | 2832633 | 2667938 | 9554 611 | 11 | 27 1561.63/1562.01 c 1436s | 23 | 2835213 | 2670138 | 9554 611 | 11 | 27 1563.63/1564.02 c 1438s | 23 | 2836477 | 2671138 | 9554 612 | 11 | 27 1565.63/1566.06 c 1440s | 23 | 2840080 | 2674138 | 9554 612 | 11 | 27 1567.62/1568.09 c 1442s | 23 | 2843272 | 2676938 | 9554 613 | 11 | 27 1569.72/1570.13 c 1444s | 23 | 2846814 | 2679938 | 9554 613 | 11 | 27 1571.82/1572.20 c 1446s | 23 | 2850211 | 2683138 | 9554 614 | 11 | 27 1573.82/1574.25 c 1448s | 23 | 2852971 | 2685138 | 9554 614 | 11 | 27 1575.92/1576.34 c 1450s | 23 | 2855796 | 2687738 | 9554 615 | 11 | 27 1578.02/1578.44 c 1452s | 23 | 2858273 | 2689838 | 9554 615 | 11 | 27 1580.03/1580.47 c 1454s | 23 | 2860764 | 2692138 | 9554 616 | 11 | 27 1582.12/1582.51 c 1456s | 23 | 2863428 | 2694638 | 9554 616 | 11 | 27 1584.12/1584.57 c 1458s | 23 | 2865540 | 2696538 | 9554 616 | 11 | 27 1586.21/1586.60 c 1460s | 23 | 2868083 | 2698638 | 9554 617 | 11 | 27 1588.21/1588.62 c 1462s | 23 | 2870989 | 2701238 | 9554 617 | 11 | 27 1590.31/1590.70 c 1464s | 23 | 2873541 | 2703338 | 9554 618 | 11 | 27 1592.31/1592.74 c 1466s | 23 | 2875940 | 2705638 | 9554 618 | 11 | 27 1594.42/1594.87 c 1469s | 23 | 2877745 | 2707338 | 9554 619 | 11 | 27 1596.41/1596.90 c 1471s | 23 | 2880472 | 2709838 | 9554 619 | 11 | 27 1598.51/1598.91 c 1473s | 23 | 2883965 | 2712738 | 9554 620 | 11 | 27 1600.51/1600.97 c 1475s | 23 | 2886922 | 2715438 | 9554 620 | 11 | 27 1602.61/1603.08 c 1477s | 23 | 2889110 | 2717538 | 9554 620 | 11 | 27 1604.71/1605.15 c 1479s | 23 | 2891687 | 2720038 | 9554 621 | 11 | 27 1606.81/1607.30 c 1481s | 23 | 2893761 | 2721938 | 9554 621 | 11 | 27 1608.91/1609.36 c 1483s | 23 | 2895679 | 2723638 | 9554 622 | 11 | 27 1610.91/1611.37 c 1485s | 23 | 2899049 | 2726638 | 9554 622 | 11 | 27 1613.01/1613.45 c 1487s | 23 | 2902111 | 2729038 | 9554 623 | 11 | 27 1615.10/1615.53 c 1489s | 23 | 2904418 | 2731038 | 9554 623 | 11 | 27 1617.10/1617.55 c 1491s | 23 | 2906257 | 2732538 | 9554 623 | 11 | 27 1619.20/1619.63 c 1493s | 23 | 2908389 | 2734438 | 9554 624 | 11 | 27 1621.20/1621.65 c 1495s | 23 | 2910464 | 2736238 | 9554 624 | 11 | 27 1623.19/1623.66 c 1497s | 23 | 2912472 | 2738038 | 9554 624 | 11 | 27 1625.20/1625.67 c 1499s | 23 | 2914486 | 2739738 | 9554 625 | 11 | 27 1627.30/1627.75 c 1501s | 23 | 2917636 | 2742638 | 9554 625 | 11 | 27 1629.29/1629.76 c 1503s | 23 | 2921196 | 2746038 | 9554 626 | 11 | 27 1631.29/1631.79 c 1505s | 23 | 2924460 | 2748738 | 9554 627 | 11 | 27 1633.39/1633.83 c 1508s | 23 | 2928107 | 2751438 | 9554 627 | 11 | 27 1635.49/1635.93 c 1510s | 23 | 2930372 | 2753438 | 9554 627 | 11 | 27 1637.49/1637.97 c 1512s | 23 | 2933275 | 2756038 | 9554 628 | 11 | 27 1639.59/1640.00 c 1514s | 23 | 2936331 | 2758738 | 9554 628 | 11 | 27 1641.59/1642.03 c 1516s | 23 | 2938725 | 2760838 | 9554 629 | 11 | 27 1643.69/1644.19 c 1518s | 23 | 2941186 | 2762938 | 9554 629 | 11 | 27 1645.68/1646.19 c 1520s | 23 | 2943482 | 2764738 | 9554 630 | 11 | 27 1647.78/1648.21 c 1522s | 23 | 2946643 | 2767438 | 9554 630 | 11 | 27 1649.78/1650.29 c 1524s | 23 | 2949501 | 2770038 | 9554 631 | 11 | 27 1651.88/1652.35 c 1526s | 23 | 2953595 | 2773238 | 9554 631 | 11 | 27 1653.88/1654.37 c 1528s | 23 | 2957864 | 2777038 | 9554 632 | 11 | 27 1655.98/1656.44 c 1530s | 23 | 2962059 | 2780538 | 9554 633 | 11 | 27 1657.98/1658.48 c 1532s | 23 | 2965121 | 2783438 | 9554 633 | 11 | 27 1660.07/1660.51 c 1534s | 23 | 2968697 | 2786738 | 9554 634 | 11 | 27 1662.07/1662.57 c 1536s | 23 | 2971480 | 2789238 | 9554 634 | 11 | 27 1664.07/1664.58 c 1538s | 23 | 2974648 | 2792038 | 9554 635 | 11 | 27 1666.07/1666.58 c 1540s | 23 | 2977601 | 2794838 | 9554 636 | 11 | 27 1668.17/1668.65 c 1542s | 23 | 2981010 | 2797938 | 9554 636 | 11 | 27 1670.18/1670.67 c 1544s | 23 | 2984626 | 2800838 | 9554 637 | 11 | 27 1672.27/1672.71 c 1546s | 23 | 2988168 | 2803838 | 9554 637 | 11 | 27 1674.26/1674.74 c 1548s | 23 | 2990897 | 2806238 | 9554 638 | 11 | 27 1676.26/1676.75 c 1550s | 23 | 2993858 | 2808838 | 9554 638 | 11 | 27 1678.26/1678.78 c 1552s | 23 | 2996497 | 2811238 | 9554 639 | 11 | 27 1680.36/1680.83 c 1555s | 23 | 2999295 | 2813938 | 9554 639 | 11 | 27 1682.37/1682.87 c 1557s | 23 | 3001930 | 2816538 | 9554 640 | 11 | 27 1684.36/1684.89 c 1559s | 23 | 3007904 | 2822338 | 9554 641 | 11 | 27 1686.46/1686.92 c 1561s | 23 | 3012186 | 2826438 | 9554 642 | 11 | 27 1688.46/1688.96 c 1563s | 23 | 3015815 | 2829838 | 9554 642 | 11 | 27 1690.56/1691.01 c 1565s | 23 | 3019317 | 2832938 | 9554 643 | 11 | 27 1692.56/1693.05 c 1567s | 23 | 3022507 | 2835838 | 9554 643 | 11 | 27 1694.56/1695.08 c 1569s | 23 | 3026323 | 2839338 | 9554 644 | 11 | 27 1696.57/1697.08 c 1571s | 23 | 3030001 | 2842638 | 9554 645 | 11 | 27 1698.66/1699.12 c 1573s | 23 | 3033430 | 2845838 | 9554 645 | 11 | 27 1700.66/1701.12 c 1575s | 23 | 3036591 | 2848838 | 9554 646 | 11 | 27 1702.75/1703.22 c 1577s | 23 | 3039497 | 2851538 | 9554 647 | 11 | 27 1704.75/1705.23 c 1579s | 23 | 3042899 | 2854738 | 9554 647 | 11 | 27 1706.75/1707.23 c 1581s | 23 | 3045850 | 2857338 | 9554 648 | 11 | 27 1708.76/1709.28 c 1583s | 23 | 3049566 | 2860838 | 9554 648 | 11 | 27 1710.75/1711.30 c 1585s | 23 | 3052989 | 2864038 | 9554 649 | 11 | 27 1712.85/1713.36 c 1587s | 23 | 3056258 | 2867038 | 9554 649 | 11 | 27 1714.85/1715.37 c 1589s | 23 | 3059370 | 2869938 | 9554 650 | 11 | 27 1716.95/1717.41 c 1591s | 23 | 3062457 | 2872738 | 9554 651 | 11 | 27 1718.95/1719.44 c 1593s | 23 | 3065730 | 2875738 | 9554 651 | 11 | 27 1720.95/1721.49 c 1595s | 23 | 3069252 | 2878938 | 9554 652 | 11 | 27 1723.05/1723.54 c 1597s | 23 | 3072451 | 2881938 | 9554 652 | 11 | 27 1725.04/1725.55 c 1599s | 23 | 3075875 | 2885038 | 9554 653 | 11 | 27 1727.04/1727.59 c 1601s | 23 | 3079221 | 2888238 | 9554 654 | 11 | 27 1729.14/1729.65 c 1603s | 23 | 3083106 | 2891738 | 9554 654 | 11 | 27 1731.24/1731.72 c 1605s | 23 | 3086507 | 2894738 | 9554 655 | 11 | 27 1733.24/1733.72 c 1607s | 23 | 3089800 | 2897738 | 9554 655 | 11 | 27 1735.24/1735.72 c 1609s | 23 | 3093355 | 2901138 | 9554 656 | 11 | 27 1737.24/1737.77 c 1611s | 23 | 3096175 | 2903738 | 9554 657 | 11 | 27 1739.23/1739.77 c 1613s | 23 | 3099760 | 2906938 | 9554 657 | 11 | 27 1741.33/1741.81 c 1616s | 23 | 3102841 | 2909738 | 9554 658 | 11 | 27 1743.33/1743.87 c 1618s | 23 | 3106682 | 2913338 | 9554 658 | 11 | 27 1745.33/1745.88 c 1620s | 23 | 3110368 | 2916738 | 9554 659 | 11 | 27 1747.43/1747.93 c 1622s | 23 | 3113685 | 2919938 | 9554 660 | 11 | 27 1749.53/1750.02 c 1624s | 23 | 3116788 | 2922738 | 9554 660 | 11 | 27 1751.63/1752.13 c 1626s | 23 | 3119688 | 2925438 | 9554 661 | 11 | 27 1753.62/1754.18 c 1628s | 23 | 3122685 | 2928238 | 9554 661 | 11 | 27 1755.72/1756.22 c 1630s | 23 | 3126410 | 2931638 | 9554 662 | 11 | 27 1757.72/1758.24 c 1632s | 23 | 3129513 | 2934538 | 9554 663 | 11 | 27 1759.72/1760.28 c 1634s | 23 | 3133216 | 2938038 | 9554 663 | 11 | 27 1761.72/1762.29 c 1636s | 23 | 3136498 | 2941238 | 9554 664 | 11 | 27 1763.81/1764.31 c 1638s | 23 | 3139635 | 2944238 | 9554 664 | 11 | 27 1765.82/1766.33 c 1640s | 23 | 3142637 | 2947138 | 9554 665 | 11 | 27 1767.91/1768.43 c 1642s | 23 | 3145410 | 2949638 | 9554 666 | 11 | 27 1769.91/1770.45 c 1644s | 23 | 3149034 | 2953038 | 9554 666 | 11 | 27 1771.91/1772.45 c 1646s | 23 | 3153260 | 2957138 | 9554 667 | 11 | 27 1773.91/1774.46 c 1648s | 23 | 3157918 | 2961538 | 9554 668 | 11 | 27 1776.01/1776.55 c 1650s | 23 | 3161795 | 2965038 | 9554 668 | 11 | 27 1778.11/1778.61 c 1652s | 23 | 3165680 | 2968438 | 9554 669 | 11 | 27 1780.11/1780.62 c 1654s | 23 | 3168918 | 2971438 | 9554 670 | 11 | 27 1782.11/1782.64 c 1656s | 23 | 3172724 | 2974838 | 9554 670 | 11 | 27 1784.10/1784.65 c 1658s | 23 | 3176415 | 2978138 | 9554 671 | 11 | 27 1786.10/1786.68 c 1660s | 23 | 3179367 | 2980838 | 9554 672 | 11 | 27 1788.20/1788.71 c 1662s | 23 | 3182360 | 2983638 | 9554 672 | 11 | 27 1790.20/1790.73 c 1664s | 23 | 3185595 | 2986538 | 9554 673 | 11 | 27 1792.21/1792.79 c 1666s | 23 | 3189096 | 2989938 | 9554 673 | 11 | 27 1794.30/1794.81 c 1669s | 23 | 3192119 | 2992838 | 9554 674 | 11 | 27 1796.29/1796.84 c 1671s | 23 | 3195391 | 2995838 | 9554 674 | 11 | 27 1798.39/1798.90 c 1673s | 23 | 3199018 | 2999038 | 9554 675 | 11 | 27
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-4106058-1466264167/watcher-4106058-1466264167 -o /tmp/evaluation-result-4106058-1466264167/solver-4106058-1466264167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106058-1466264167.opb pid=13328 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 2914 0 0 0 0 0 0 0 20 0 4 0 28465893 798420992 3275 33554432000 4194304 16246674 140736652959360 140736652958784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 195439 3287 441 2943 0 192333 0 [pid=13331/tid=13332] ppid=13328 vsize=797116 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 816246784 3345 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=801212 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 820441088 3362 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=805308 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465894 824635392 3378 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.44197 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1218116 CPUtime=0.44 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 83831 0 0 0 32 12 0 0 20 0 4 0 28465893 1247350784 84180 33554432000 4194304 16246674 140736652959360 140736652958784 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 304529 84184 758 2943 0 301423 0 [pid=13331/tid=13332] ppid=13328 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1247350784 84187 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1247350784 84190 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465894 1247350784 84192 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 1218116 [startup+1.76997 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1221188 CPUtime=1.76 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 246327 0 0 0 143 33 0 0 20 0 4 0 28465893 1250496512 246653 33554432000 4194304 16246674 140736652959360 140736652942360 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 305297 246653 832 2943 0 302191 0 [pid=13331/tid=13332] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 1221188 [startup+1.80197 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1221188 CPUtime=1.79 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 246327 0 0 0 146 33 0 0 20 0 4 0 28465893 1250496512 246653 33554432000 4194304 16246674 140736652959360 140736652942360 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 305297 246653 832 2943 0 302191 0 [pid=13331/tid=13332] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246653 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 1221188 [startup+2.426 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1221188 CPUtime=2.42 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 246336 0 0 0 209 33 0 0 20 0 4 0 28465893 1250496512 246662 33554432000 4194304 16246674 140736652959360 140736652942360 13954525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 305297 246662 832 2943 0 302191 0 [pid=13331/tid=13332] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246662 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246662 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1250496512 246662 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 1221188 [startup+2.66987 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1301060 CPUtime=2.66 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 251774 0 0 0 233 33 0 0 20 0 4 0 28465893 1332285440 252101 33554432000 4194304 16246674 140736652959360 140736652942360 5589602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 325265 252117 832 2943 0 322159 0 [pid=13331/tid=13332] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 252127 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 252138 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 252147 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 1301060 [startup+3.12591 s] /proc/loadavg: 1.70 2.02 2.09 3/179 13331 /proc/meminfo: memFree=30112624/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1301060 CPUtime=3.11 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 266327 0 0 0 277 34 0 0 20 0 4 0 28465893 1332285440 266653 33554432000 4194304 16246674 140736652959360 140736652941248 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 325265 266653 832 2943 0 322159 0 [pid=13331/tid=13332] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 266653 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 266653 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1332285440 266653 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 1301060 [startup+6.84792 s] /proc/loadavg: 1.73 2.02 2.09 3/183 13335 /proc/meminfo: memFree=29041400/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1310276 CPUtime=6.84 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 268554 0 0 0 649 35 0 0 20 0 4 0 28465893 1341722624 268880 33554432000 4194304 16246674 140736652959360 140736652941248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 327569 268880 835 2943 0 324463 0 [pid=13331/tid=13332] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268880 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268880 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268880 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.84 Current children cumulated vsize (KiB) 1310276 [startup+14.444 s] /proc/loadavg: 1.75 2.02 2.09 3/183 13335 /proc/meminfo: memFree=29035872/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1310276 CPUtime=14.44 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 268645 0 0 0 1409 35 0 0 20 0 4 0 28465893 1341722624 268971 33554432000 4194304 16246674 140736652959360 140736652941248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 327569 268971 835 2943 0 324463 0 [pid=13331/tid=13332] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268971 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268971 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1341722624 268971 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 14.44 Current children cumulated vsize (KiB) 1310276 [startup+26.1475 s] /proc/loadavg: 1.80 2.02 2.09 3/183 13335 /proc/meminfo: memFree=29032872/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1313348 CPUtime=26.14 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 269413 0 0 0 2579 35 0 0 20 0 4 0 28465893 1344868352 269739 33554432000 4194304 16246674 140736652959360 140736652941248 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 328337 269739 835 2943 0 325231 0 [pid=13331/tid=13332] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 26.14 Current children cumulated vsize (KiB) 1313348 [startup+51.7389 s] /proc/loadavg: 1.87 2.01 2.09 3/183 13335 /proc/meminfo: memFree=29033132/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1313348 CPUtime=51.73 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 269413 0 0 0 5138 35 0 0 20 0 4 0 28465893 1344868352 269739 33554432000 4194304 16246674 140736652959360 140736652941248 5676374 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 328337 269739 835 2943 0 325231 0 [pid=13331/tid=13332] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1344868352 269739 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.73 Current children cumulated vsize (KiB) 1313348 [startup+104.368 s] /proc/loadavg: 1.94 2.01 2.08 4/183 13336 /proc/meminfo: memFree=29024960/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1318468 CPUtime=104.35 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 270693 0 0 0 10399 36 0 0 20 0 4 0 28465893 1350111232 271019 33554432000 4194304 16246674 140736652959360 140736652957184 5823194 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 329617 271019 835 2943 0 326511 0 [pid=13331/tid=13332] ppid=13328 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1350111232 271019 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1350111232 271019 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1350111232 271019 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 104.35 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1338948 [startup+1362.3 s] /proc/loadavg: 2.04 2.11 2.08 3/183 13367 /proc/meminfo: memFree=28984800/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1362.03 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 275945 0 0 0 136157 46 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1338948 [startup+1422.3 s] /proc/loadavg: 2.01 2.09 2.08 3/183 13369 /proc/meminfo: memFree=28984532/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1422 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 275990 0 0 0 142154 46 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1338948 [startup+1482.3 s] /proc/loadavg: 2.15 2.11 2.09 3/184 13373 /proc/meminfo: memFree=28984292/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1481.96 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276028 0 0 0 148150 46 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 6011892 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1338948 [startup+1542.3 s] /proc/loadavg: 2.13 2.11 2.09 3/184 13397 /proc/meminfo: memFree=28984220/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1541.93 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276066 0 0 0 154147 46 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 5677179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1338948 [startup+1602.3 s] /proc/loadavg: 2.17 2.12 2.09 3/183 13398 /proc/meminfo: memFree=28983836/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1601.91 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276101 0 0 0 160144 47 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 13759540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1338948 [startup+1662.3 s] /proc/loadavg: 2.06 2.09 2.09 4/183 13399 /proc/meminfo: memFree=28983816/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1661.87 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276139 0 0 0 166140 47 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1338948 [startup+1722.3 s] /proc/loadavg: 2.07 2.09 2.08 3/183 13401 /proc/meminfo: memFree=28983564/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1721.85 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276181 0 0 0 172137 48 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 5661607 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1338948 [startup+1782.3 s] /proc/loadavg: 2.10 2.09 2.08 3/183 13402 /proc/meminfo: memFree=28983432/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1781.81 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276221 0 0 0 178133 48 0 0 20 0 4 0 28465893 1371082752 276164 33554432000 4194304 16246674 140736652959360 140736652941248 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276164 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276164 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1338948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.51 s] /proc/loadavg: 2.07 2.08 2.08 3/183 13451 /proc/meminfo: memFree=29009760/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1800 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276236 0 0 0 179952 48 0 0 20 0 4 0 28465893 1371082752 276166 33554432000 4194304 16246674 140736652959360 140736652941248 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276166 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1338948 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 13331 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.51 s] /proc/loadavg: 2.07 2.08 2.08 3/183 13451 /proc/meminfo: memFree=29009760/32872528 swapFree=681964/737152 [pid=13331] ppid=13328 vsize=1338948 CPUtime=1800 cores=0,2,4,6 /proc/13331/stat : 13331 (toysat) R 13328 13331 13233 0 -1 4202496 276236 0 0 0 179952 48 0 0 20 0 4 0 28465893 1371082752 276166 33554432000 4194304 16246674 140736652959360 140736652941248 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13331/statm: 334737 276166 857 2943 0 331631 0 [pid=13331/tid=13332] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13332/stat : 13332 (toysat) S 13328 13331 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665210322160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13331/tid=13333] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13333/stat : 13333 (toysat) S 13328 13331 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665199832304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13331/tid=13334] ppid=13328 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/13331/task/13334/stat : 13334 (toysat) S 13328 13331 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28465894 1371082752 276166 33554432000 4194304 16246674 140736652959360 139665189358768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1338948 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.01 CPU user time (s): 1799.53 CPU system time (s): 0.483926 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1338948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.483926 maximum resident set size= 1104664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276236 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= 414 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.85541 second user time and 6.01109 second system time The end
Begin job on node112 at 2016-06-18 17:36:07 IDJOB=4106058 IDBENCH=47910 IDSOLVER=2542 FILE ID=node112/4106058-1466264167 RUNJOBID= node112-1466264161-13249 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106058-1466264167/watcher-4106058-1466264167 -o /tmp/evaluation-result-4106058-1466264167/solver-4106058-1466264167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106058-1466264167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b00ea770361f301179000d52beb4a25 RANDOM SEED=1680994244 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30113432 kB Buffers: 56540 kB Cached: 153580 kB SwapCached: 2028 kB Active: 1165100 kB Inactive: 119812 kB Active(anon): 1074988 kB Inactive(anon): 2096 kB Active(file): 90112 kB Inactive(file): 117716 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 33060 kB Writeback: 0 kB AnonPages: 1811184 kB Mapped: 10492 kB Shmem: 0 kB Slab: 602308 kB SReclaimable: 45632 kB SUnreclaim: 556676 kB KernelStack: 1448 kB PageTables: 7588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1956184 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71680 MiB End job on node112 at 2016-06-18 18:06:07