| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb |
| MD5SUM | 65bc139f592885e582edbd6d46332a4d |
| 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.11998 |
| 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 | 135 |
| Total number of constraints | 11 |
| 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 | 11 |
| 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) | 405 |
| Sum of products size (including duplicates) | 810 |
| Number of different products | 405 |
| Sum of products size | 810 |
0.00/0.00 c 2016-06-18T19:55:18+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-4106493-1466272518.opb"] 0.00/0.01 c use --random-gen="3053388174 1365028127 2195325630 1688712586 1631419366 48824178 2889925168 3703192153 2746456260 3609985982 1265118745 4022624751 3911326520 4223447796 72025333 1045309384 2392018167 67375925 1257079390 2196743657 2822403270 4169859489 1183521282 3486329459 4278526435 1887317649 73707108 2321949220 1313738577 2577639265 2584395238 1761659031 2244035300 3663895413 1209070393 140813897 1150259349 2969314609 1212567149 3049303629 1444254739 3903190214 2506638101 3239930177 124224468 2616779640 3815381688 339733678 4257971118 682133885 3340044817 2635821269 1527913852 2131837159 3099994034 4025007390 829367779 2738444426 1755970947 3451140432 2035930328 1703341960 2869670286 1124960415 957398215 1992144277 2440048377 3664583926 247974178 2107091913 4099200559 4285521396 1209687570 153796616 3350521181 1915118894 563268528 1061167055 3218203923 4201243014 731857488 3763883737 1887550214 626411065 2236509945 1188048145 2423583239 3139027174 3197304751 923579840 4021483194 515291395 2749956814 897249616 2656935119 3050190673 2679461073 767895099 424616910 3956189199 4086081801 1867991784 2268068853 2152789643 2540192676 4237289547 1888058648 2937966540 2208942465 1666315544 408546426 1180632540 4176210233 2288110880 464354352 528635769 3770857895 2607438855 485117819 3236519487 785203188 1280451933 3072859783 2346949657 4022130235 946581927 2609135454 2264968106 2258572867 2164095504 853544510 1779997340 2069621306 3103496125 1065770965 1815082920 2160755866 2598340513 3499845512 2494981015 2962609191 1756875538 2660789159 318390475 2335883578 2289097708 3357698284 2714061295 187216047 1492201339 660811655 1036496740 557552961 2509829026 3165658098 3898942842 1110167589 4165439073 2879025233 204670260 3566223225 1653428304 3800210318 3280835039 1241270788 427722398 2600620544 4267708976 3642211139 962430680 3445742120 3879872936 86708522 3181804123 645391125 1126835840 3432083408 487533786 1016634401 367524361 2455680544 2844162106 2292427913 1299652453 4223594458 349030463 2853108443 1159498830 606226412 1099240636 1918502468 2322601643 3278338751 858351763 1986414043 4140208454 961002324 1540049666 3032640463 1512916439 2356641562 120895865 3961082356 932503365 3548676585 4012892688 27206632 379255890 2637521254 2665280719 3792180458 2714775913 3871880279 2290968132 2133297446 356276062 2476123946 4194714004 3363595411 2676374090 4213486765 3879483128 1463506189 1984548370 1214398357 1240419292 431880322 3808115318 1977124533 2157393895 1590471493 1895278937 4197852499 1869541485 2418954068 2797883071 1819760639 2222052581 1692122895 2123132702 1942396012 2317475749 2906020055 2704632499 3542573593 3224238593 3283861914 358478580 2791996349 859052925 223627172 1369209141 1213126134 2964616998 392854280 3820090468 255 362436" option to reproduce the execution 0.00/0.01 c #vars 135 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 590 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 113 | 100 | 590 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 276 | 250 | 649 0 | 0 | 0 0.09/0.17 c 0.1s | 3 | 540 | 475 | 714 0 | 0 | 0 0.29/0.32 c 0.3s | 4 | 993 | 813 | 786 0 | 0 | 0 0.69/0.72 c 0.7s | 5 | 1566 | 1320 | 865 1 | 0 | 0 0.98/1.08 c 1.1s | 6 | 2520 | 2081 | 1048 3 | 0 | 0 1.39/1.46 c 1.4s | 7 | 3856 | 3223 | 1153 4 | 0 | 0 2.89/2.93 c 2.9s | 8 | 5768 | 4936 | 1269 6 | 0 | 0 3.69/3.75 c 3.7s | 9 | 8591 | 7506 | 1396 10 | 0 | 0 4.99/5.06 c 5.0s | 10 | 12563 | 11361 | 1536 14 | 0 | 0 6.39/6.46 c 6.4s | 11 | 18509 | 17144 | 1690 20 | 0 | 0 8.49/8.53 c 8.5s | 11 | 24459 | 22744 | 1690 26 | 0 | 0 9.59/9.67 c 9.6s | 12 | 27646 | 25819 | 1860 28 | 0 | 0 11.58/11.68 c 11.7s | 12 | 33974 | 31819 | 1860 34 | 0 | 0 13.58/13.68 c 13.7s | 12 | 39812 | 37519 | 1860 39 | 0 | 0 13.98/14.07 c 14.0s | 13 | 41175 | 38832 | 2047 40 | 0 | 0 15.99/16.09 c 16.1s | 13 | 47806 | 45132 | 2047 45 | 0 | 0 18.09/18.15 c 18.1s | 13 | 54447 | 51532 | 2047 50 | 0 | 0 19.90/19.97 c 19.9s | 14 | 61488 | 58352 | 2252 56 | 0 | 0 21.89/21.98 c 22.0s | 14 | 68944 | 65452 | 2252 61 | 0 | 0 23.89/23.98 c 24.0s | 14 | 75667 | 71952 | 2252 66 | 0 | 0 25.99/26.01 c 26.0s | 14 | 82175 | 78252 | 2252 71 | 0 | 0 27.99/28.01 c 28.0s | 14 | 88326 | 84252 | 2252 76 | 0 | 0 29.09/29.16 c 29.1s | 15 | 91813 | 87632 | 2478 78 | 0 | 0 31.09/31.17 c 31.1s | 15 | 99730 | 95332 | 2478 84 | 0 | 0 33.19/33.21 c 33.2s | 15 | 106255 | 101632 | 2478 88 | 0 | 0 35.19/35.21 c 35.2s | 15 | 112096 | 107432 | 2478 92 | 0 | 0 37.19/37.22 c 37.2s | 15 | 119614 | 114832 | 2478 98 | 0 | 0 39.19/39.23 c 39.2s | 15 | 126916 | 122032 | 2478 103 | 0 | 0 41.18/41.27 c 41.3s | 15 | 133717 | 128732 | 2478 108 | 0 | 0 42.28/42.36 c 42.3s | 16 | 136694 | 131552 | 2726 110 | 0 | 0 44.28/44.36 c 44.3s | 16 | 144470 | 139052 | 2726 114 | 0 | 0 45.88/45.96 c 45.9s | 16 | 149441 | 143608 | 2726 117 | 0 | 0 45.88/45.96 c #cpu_time = 45.813s 45.88/45.96 c #wall_clock_time = 45.931s 45.88/45.96 c #decision = 149441 45.88/45.96 c #random_decision = 540 45.88/45.96 c #conflict = 143608 45.88/45.96 c #restart = 16 45.88/45.96 o 249 45.88/45.96 c BCD2: hardening fixes 1 literals 45.88/45.96 c BCD2: updating upper bound: 511 -> 248 45.88/45.96 c BCD2: 0 <= obj <= 248 45.88/45.96 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 45.88/45.96 c BCD2: #sat=1 #unsat=1 bias=1/2 45.88/45.96 c Solving starts ... 45.88/45.96 c ============================[ Search Statistics ]============================ 45.88/45.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 45.88/45.96 c | | | | Limit GC | Var | Constra 45.88/45.96 c ============================================================================= 45.88/45.96 c 0.0s | 0 | 0 | 0 | 2726 0 | 11 | 0 45.88/45.98 c 0.0s | 0 | 6 | 0 | 2726 1 | 11 | 27 45.88/45.98 c #cpu_time = 0.020s 45.88/45.98 c #wall_clock_time = 0.021s 45.88/45.98 c #decision = 6 45.88/45.98 c #random_decision = 0 45.88/45.98 c #conflict = 0 45.88/45.98 c #restart = 0 45.88/45.98 c BCD2: found a new core of size 7: cost of the new core is >=2 45.88/45.98 c lower bound updated to 2 45.88/45.98 c BCD2: 2 <= obj <= 248 45.88/45.98 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 45.88/45.98 c BCD2: #sat=1 #unsat=2 bias=2/3 45.88/45.98 c Solving starts ... 45.88/45.98 c ============================[ Search Statistics ]============================ 45.88/45.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 45.88/45.98 c | | | | Limit GC | Var | Constra 45.88/45.98 c ============================================================================= 45.88/45.98 c 0.0s | 0 | 0 | 0 | 2726 0 | 11 | 27 46.08/46.10 c 0.1s | 1 | 183 | 100 | 2726 0 | 11 | 27 46.08/46.17 c 0.2s | 2 | 439 | 250 | 2726 0 | 11 | 27 46.19/46.25 c 0.3s | 3 | 792 | 475 | 2726 0 | 11 | 27 46.29/46.33 c 0.3s | 4 | 1198 | 813 | 2726 0 | 11 | 27 46.78/46.88 c 0.9s | 5 | 1770 | 1320 | 2726 0 | 11 | 27 47.08/47.11 c 1.1s | 6 | 2699 | 2081 | 2726 1 | 11 | 27 47.59/47.69 c 1.7s | 7 | 4293 | 3223 | 2726 1 | 11 | 27 48.39/48.44 c 2.5s | 8 | 6326 | 4936 | 2726 3 | 11 | 27 48.99/49.03 c 3.1s | 9 | 9120 | 7506 | 2726 4 | 11 | 27 50.79/50.80 c 4.8s | 10 | 13336 | 11361 | 2726 7 | 11 | 27 52.19/52.24 c 6.3s | 11 | 19386 | 17144 | 2726 10 | 11 | 27 54.19/54.24 c 8.3s | 11 | 25384 | 22744 | 2726 14 | 11 | 27 55.09/55.19 c 9.2s | 12 | 28654 | 25819 | 2726 16 | 11 | 27 57.19/57.20 c 11.2s | 12 | 36309 | 33119 | 2726 21 | 11 | 27 59.18/59.21 c 13.2s | 12 | 42056 | 38719 | 2726 24 | 11 | 27 59.18/59.25 c 13.3s | 13 | 42166 | 38832 | 2726 24 | 11 | 27 61.18/61.27 c 15.3s | 13 | 46342 | 42732 | 2726 27 | 11 | 27 63.18/63.29 c 17.3s | 13 | 52477 | 48632 | 2726 31 | 11 | 27 65.28/65.30 c 19.3s | 13 | 57047 | 52932 | 2999 33 | 11 | 27 67.28/67.33 c 21.4s | 13 | 61441 | 57032 | 2999 35 | 11 | 27 67.98/68.01 c 22.0s | 14 | 62819 | 58352 | 2999 36 | 11 | 27 69.98/70.02 c 24.0s | 14 | 70646 | 65852 | 2999 41 | 11 | 27 71.98/72.03 c 26.1s | 14 | 77607 | 72652 | 2999 45 | 11 | 27 73.98/74.05 c 28.1s | 14 | 84719 | 79652 | 2999 49 | 11 | 27 75.99/76.07 c 30.1s | 14 | 91635 | 86452 | 2999 54 | 11 | 27 76.38/76.43 c 30.5s | 15 | 92822 | 87632 | 2999 54 | 11 | 27 78.38/78.43 c 32.5s | 15 | 97779 | 92032 | 2999 57 | 11 | 27 80.39/80.46 c 34.5s | 15 | 102817 | 96932 | 2999 60 | 11 | 27 82.38/82.47 c 36.5s | 15 | 107814 | 101832 | 2999 63 | 11 | 27 84.38/84.48 c 38.5s | 15 | 112537 | 106432 | 2999 66 | 11 | 27 86.38/86.49 c 40.5s | 15 | 117771 | 111532 | 2999 69 | 11 | 27 88.48/88.52 c 42.5s | 15 | 121764 | 115432 | 2999 71 | 11 | 27 90.48/90.54 c 44.6s | 15 | 127059 | 120532 | 2999 74 | 11 | 27 92.48/92.55 c 46.6s | 15 | 131132 | 124432 | 2999 77 | 11 | 27 94.47/94.57 c 48.6s | 15 | 134698 | 127932 | 2999 79 | 11 | 27 96.17/96.27 c 50.3s | 16 | 138465 | 131552 | 2999 81 | 11 | 27 98.17/98.28 c 52.3s | 16 | 145045 | 137852 | 2999 85 | 11 | 27 100.27/100.31 c 54.3s | 16 | 152405 | 144852 | 2999 90 | 11 | 27 102.28/102.33 c 56.3s | 16 | 159062 | 151152 | 3299 93 | 11 | 27 104.27/104.35 c 58.4s | 16 | 166086 | 157952 | 3299 97 | 11 | 27 106.27/106.37 c 60.4s | 16 | 173183 | 164752 | 3299 101 | 11 | 27 108.27/108.39 c 62.4s | 16 | 180014 | 171352 | 3299 105 | 11 | 27 110.37/110.41 c 64.4s | 16 | 186673 | 177752 | 3299 109 | 11 | 27 112.37/112.42 c 66.4s | 16 | 193211 | 184052 | 3299 112 | 11 | 27 114.37/114.44 c 68.5s | 16 | 199781 | 190452 | 3299 116 | 11 | 27 116.37/116.45 c 70.5s | 16 | 206097 | 196552 | 3299 120 | 11 | 27 116.67/116.74 c 70.8s | 17 | 207040 | 197432 | 3299 120 | 11 | 27 118.67/118.77 c 72.8s | 17 | 213300 | 203432 | 3299 123 | 11 | 27 120.77/120.80 c 74.8s | 17 | 219135 | 209032 | 3299 126 | 11 | 27 122.77/122.82 c 76.8s | 17 | 225341 | 214832 | 3299 129 | 11 | 27 124.77/124.86 c 78.9s | 17 | 231348 | 220632 | 3299 132 | 11 | 27 126.77/126.86 c 80.9s | 17 | 237545 | 226632 | 3299 136 | 11 | 27 128.77/128.88 c 82.9s | 17 | 243726 | 232632 | 3299 139 | 11 | 27 130.77/130.89 c 84.9s | 17 | 249576 | 238132 | 3299 142 | 11 | 27 132.76/132.89 c 86.9s | 17 | 255626 | 243932 | 3299 145 | 11 | 27 134.86/134.92 c 88.9s | 17 | 261715 | 249832 | 3299 148 | 11 | 27 136.86/136.93 c 91.0s | 17 | 267654 | 255632 | 3299 151 | 11 | 27 138.86/138.94 c 93.0s | 17 | 273628 | 261432 | 3299 155 | 11 | 27 140.88/140.96 c 95.0s | 17 | 279894 | 267432 | 3299 158 | 11 | 27 142.87/143.00 c 97.0s | 17 | 286294 | 273632 | 3299 161 | 11 | 27 144.97/145.00 c 99.0s | 17 | 292012 | 279232 | 3299 164 | 11 | 27 146.97/147.01 c 101s | 17 | 297054 | 284132 | 3299 167 | 11 | 27 148.97/149.01 c 103s | 17 | 302006 | 288932 | 3299 169 | 11 | 27 150.97/151.03 c 105s | 17 | 308071 | 294732 | 3299 172 | 11 | 27 151.47/151.55 c 105s | 18 | 309700 | 296252 | 3299 173 | 11 | 27 153.47/153.57 c 107s | 18 | 316400 | 302752 | 3629 176 | 11 | 27 155.57/155.60 c 109s | 18 | 322139 | 308352 | 3629 179 | 11 | 27 157.57/157.61 c 111s | 18 | 328155 | 314252 | 3629 182 | 11 | 27 159.58/159.62 c 113s | 18 | 334408 | 320352 | 3629 185 | 11 | 27 161.57/161.64 c 115s | 18 | 341014 | 326852 | 3629 189 | 11 | 27 163.57/163.66 c 117s | 18 | 347324 | 332952 | 3629 192 | 11 | 27 165.57/165.67 c 119s | 18 | 353475 | 338952 | 3629 195 | 11 | 27 167.57/167.69 c 121s | 18 | 360176 | 345452 | 3629 198 | 11 | 27 169.67/169.70 c 123s | 18 | 366386 | 351552 | 3629 201 | 11 | 27 171.67/171.72 c 125s | 18 | 372210 | 357252 | 3629 204 | 11 | 27 173.67/173.75 c 127s | 18 | 377689 | 362652 | 3629 207 | 11 | 27 175.67/175.77 c 129s | 18 | 383589 | 368352 | 3629 210 | 11 | 27 177.66/177.79 c 131s | 18 | 389745 | 374352 | 3629 213 | 11 | 27 179.76/179.80 c 133s | 18 | 396086 | 380552 | 3629 216 | 11 | 27 181.76/181.80 c 135s | 18 | 402611 | 386852 | 3629 219 | 11 | 27 183.77/183.84 c 137s | 18 | 408735 | 392852 | 3629 222 | 11 | 27 185.76/185.86 c 139s | 18 | 414733 | 398752 | 3629 225 | 11 | 27 187.76/187.88 c 141s | 18 | 421320 | 405152 | 3629 229 | 11 | 27 189.86/189.92 c 143s | 18 | 427233 | 410752 | 3629 232 | 11 | 27 191.86/191.92 c 145s | 18 | 433266 | 416652 | 3629 235 | 11 | 27 193.86/193.94 c 147s | 18 | 438673 | 421952 | 3629 237 | 11 | 27 195.87/195.97 c 149s | 18 | 444252 | 427252 | 3629 240 | 11 | 27 197.86/197.98 c 152s | 18 | 450181 | 432952 | 3629 243 | 11 | 27 199.86/199.99 c 154s | 18 | 455884 | 438552 | 3629 246 | 11 | 27 201.96/202.02 c 156s | 18 | 461659 | 444252 | 3629 249 | 11 | 27 202.06/202.11 c 156s | 19 | 461899 | 444482 | 3629 249 | 11 | 27 204.06/204.14 c 158s | 19 | 468381 | 450582 | 3629 252 | 11 | 27 206.06/206.14 c 160s | 19 | 473669 | 455682 | 3629 254 | 11 | 27 208.06/208.17 c 162s | 19 | 479096 | 460782 | 3629 257 | 11 | 27 210.06/210.20 c 164s | 19 | 484080 | 465582 | 3629 259 | 11 | 27 212.16/212.20 c 166s | 19 | 489211 | 470382 | 3629 262 | 11 | 27 214.16/214.20 c 168s | 19 | 494331 | 474982 | 3629 264 | 11 | 27 216.16/216.21 c 170s | 19 | 499222 | 479382 | 3629 266 | 11 | 27 218.15/218.24 c 172s | 19 | 503613 | 483482 | 3629 268 | 11 | 27 220.15/220.27 c 174s | 19 | 508475 | 488082 | 3629 270 | 11 | 27 222.26/222.33 c 176s | 19 | 514060 | 493482 | 3629 273 | 11 | 27 224.25/224.35 c 178s | 19 | 519267 | 498382 | 3629 275 | 11 | 27 226.25/226.39 c 180s | 19 | 524549 | 503482 | 3629 278 | 11 | 27 228.35/228.43 c 182s | 19 | 529565 | 508282 | 3629 280 | 11 | 27 230.35/230.44 c 184s | 19 | 534782 | 513182 | 3629 283 | 11 | 27 232.45/232.50 c 186s | 19 | 539722 | 517882 | 3629 285 | 11 | 27 234.44/234.52 c 188s | 19 | 543809 | 521782 | 3992 287 | 11 | 27 236.45/236.53 c 190s | 19 | 549943 | 527682 | 3992 289 | 11 | 27 238.44/238.55 c 192s | 19 | 555141 | 532782 | 3992 292 | 11 | 27 240.44/240.56 c 194s | 19 | 561316 | 538782 | 3992 295 | 11 | 27 242.44/242.58 c 196s | 19 | 566298 | 543482 | 3992 297 | 11 | 27 244.54/244.60 c 198s | 19 | 570958 | 547882 | 3992 299 | 11 | 27 246.54/246.63 c 200s | 19 | 576495 | 553082 | 3992 301 | 11 | 27 248.55/248.67 c 202s | 19 | 581591 | 557882 | 3992 303 | 11 | 27 250.64/250.73 c 204s | 19 | 586923 | 562882 | 3992 306 | 11 | 27 252.64/252.74 c 206s | 19 | 591869 | 567282 | 3992 308 | 11 | 27 254.64/254.77 c 208s | 19 | 596306 | 570982 | 3992 309 | 11 | 27 256.74/256.81 c 210s | 19 | 600657 | 575082 | 3992 311 | 11 | 27 258.74/258.86 c 212s | 19 | 605459 | 579282 | 3992 313 | 11 | 27 260.74/260.87 c 214s | 19 | 610268 | 583682 | 3992 315 | 11 | 27 262.73/262.89 c 216s | 19 | 616039 | 589182 | 3992 318 | 11 | 27 264.83/264.90 c 218s | 19 | 621873 | 594782 | 3992 320 | 11 | 27 266.83/266.91 c 220s | 19 | 627348 | 599982 | 3992 322 | 11 | 27 268.83/268.93 c 222s | 19 | 632793 | 605182 | 3992 325 | 11 | 27 270.83/270.96 c 224s | 19 | 639335 | 611582 | 3992 328 | 11 | 27 272.84/272.97 c 226s | 19 | 645858 | 617982 | 3992 331 | 11 | 27 274.83/274.98 c 229s | 19 | 651409 | 623282 | 3992 333 | 11 | 27 276.93/277.01 c 231s | 19 | 656371 | 628082 | 3992 335 | 11 | 27 278.93/279.05 c 233s | 19 | 661323 | 632682 | 3992 337 | 11 | 27 280.93/281.08 c 235s | 19 | 665429 | 636382 | 3992 339 | 11 | 27 283.03/283.13 c 237s | 19 | 670354 | 640982 | 3992 341 | 11 | 27 285.03/285.17 c 239s | 19 | 674703 | 645082 | 3992 343 | 11 | 27 287.03/287.19 c 241s | 19 | 678691 | 648582 | 3992 345 | 11 | 27 289.13/289.22 c 243s | 19 | 683021 | 652482 | 3992 346 | 11 | 27 291.13/291.25 c 245s | 19 | 687654 | 656782 | 3992 348 | 11 | 27 293.12/293.28 c 247s | 19 | 691548 | 660182 | 3992 350 | 11 | 27 295.12/295.29 c 249s | 19 | 696634 | 664882 | 3992 352 | 11 | 27 296.22/296.37 c 250s | 20 | 698777 | 666827 | 3992 353 | 11 | 27 298.22/298.38 c 252s | 20 | 706064 | 673527 | 3992 356 | 11 | 27 300.33/300.41 c 254s | 20 | 712310 | 679527 | 3992 359 | 11 | 27 302.32/302.45 c 256s | 20 | 718897 | 685827 | 3992 362 | 11 | 27 304.32/304.46 c 258s | 20 | 725186 | 691927 | 3992 364 | 11 | 27 306.32/306.46 c 260s | 20 | 731813 | 698227 | 3992 367 | 11 | 27 308.32/308.47 c 262s | 20 | 738233 | 704127 | 3992 370 | 11 | 27 310.32/310.49 c 264s | 20 | 744816 | 710427 | 3992 373 | 11 | 27 312.42/312.50 c 266s | 20 | 750998 | 716327 | 3992 375 | 11 | 27 314.41/314.52 c 268s | 20 | 757098 | 722227 | 3992 378 | 11 | 27 316.41/316.55 c 270s | 20 | 763585 | 728427 | 3992 381 | 11 | 27 318.41/318.58 c 272s | 20 | 769948 | 734427 | 3992 384 | 11 | 27 320.41/320.59 c 274s | 20 | 776314 | 740527 | 3992 386 | 11 | 27 322.51/322.61 c 276s | 20 | 782806 | 746627 | 3992 389 | 11 | 27 324.52/324.61 c 278s | 20 | 789163 | 752527 | 3992 392 | 11 | 27 326.51/326.63 c 280s | 20 | 795268 | 758327 | 3992 394 | 11 | 27 328.51/328.67 c 282s | 20 | 801635 | 764427 | 3992 397 | 11 | 27 330.61/330.70 c 284s | 20 | 807880 | 770427 | 3992 400 | 11 | 27 332.61/332.70 c 286s | 20 | 814182 | 776527 | 3992 403 | 11 | 27 334.61/334.73 c 288s | 20 | 820843 | 782927 | 3992 405 | 11 | 27 336.61/336.74 c 290s | 20 | 827475 | 789327 | 3992 408 | 11 | 27 338.60/338.76 c 292s | 20 | 834289 | 795927 | 3992 411 | 11 | 27 340.60/340.77 c 294s | 20 | 840997 | 802327 | 3992 414 | 11 | 27 342.60/342.78 c 296s | 20 | 847836 | 808627 | 3992 417 | 11 | 27 344.60/344.78 c 298s | 20 | 854411 | 814827 | 3992 420 | 11 | 27 346.70/346.81 c 300s | 20 | 860888 | 821027 | 3992 423 | 11 | 27 348.71/348.81 c 302s | 20 | 866743 | 826527 | 3992 425 | 11 | 27 350.70/350.84 c 304s | 20 | 873066 | 832327 | 3992 428 | 11 | 27 352.70/352.86 c 306s | 20 | 879506 | 838427 | 3992 431 | 11 | 27 354.69/354.87 c 308s | 20 | 885529 | 844127 | 3992 433 | 11 | 27 356.79/356.90 c 310s | 20 | 891347 | 849327 | 3992 436 | 11 | 27 358.79/358.91 c 312s | 20 | 897291 | 854927 | 4392 438 | 11 | 27 360.80/360.92 c 314s | 20 | 903208 | 860327 | 4392 440 | 11 | 27 362.79/362.96 c 316s | 20 | 909367 | 866227 | 4392 443 | 11 | 27 364.79/364.99 c 319s | 20 | 915405 | 872027 | 4392 445 | 11 | 27 366.89/367.00 c 321s | 20 | 921533 | 877927 | 4392 447 | 11 | 27 368.90/369.01 c 323s | 20 | 927434 | 883527 | 4392 450 | 11 | 27 370.90/371.02 c 325s | 20 | 932848 | 888627 | 4392 452 | 11 | 27 372.90/373.04 c 327s | 20 | 938847 | 894427 | 4392 454 | 11 | 27 374.89/375.06 c 329s | 20 | 944728 | 900127 | 4392 457 | 11 | 27 376.89/377.08 c 331s | 20 | 950326 | 905427 | 4392 459 | 11 | 27 378.89/379.09 c 333s | 20 | 957046 | 911927 | 4392 462 | 11 | 27 380.99/381.11 c 335s | 20 | 962980 | 917427 | 4392 464 | 11 | 27 382.99/383.14 c 337s | 20 | 968739 | 922627 | 4392 466 | 11 | 27 384.99/385.15 c 339s | 20 | 974865 | 928327 | 4392 468 | 11 | 27 386.99/387.15 c 341s | 20 | 980836 | 934027 | 4392 471 | 11 | 27 388.99/389.16 c 343s | 20 | 986604 | 939527 | 4392 473 | 11 | 27 390.99/391.16 c 345s | 20 | 992427 | 945127 | 4392 475 | 11 | 27 393.08/393.21 c 347s | 20 | 998214 | 950827 | 4392 478 | 11 | 27 395.08/395.24 c 349s | 20 | 1004039 | 956427 | 4392 480 | 11 | 27 397.09/397.27 c 351s | 20 | 1009763 | 962027 | 4392 482 | 11 | 27 399.08/399.29 c 353s | 20 | 1015463 | 967627 | 4392 485 | 11 | 27 401.18/401.32 c 355s | 20 | 1021594 | 973527 | 4392 487 | 11 | 27 403.18/403.32 c 357s | 20 | 1027475 | 979127 | 4392 489 | 11 | 27 405.18/405.32 c 359s | 20 | 1033192 | 984627 | 4392 492 | 11 | 27 407.18/407.35 c 361s | 20 | 1039218 | 990427 | 4392 494 | 11 | 27 409.18/409.35 c 363s | 20 | 1044979 | 996027 | 4392 496 | 11 | 27 410.67/410.87 c 364s | 21 | 1049421 | 1000345 | 4392 498 | 11 | 27 412.67/412.87 c 366s | 21 | 1056831 | 1007545 | 4392 501 | 11 | 27 414.68/414.89 c 368s | 21 | 1062363 | 1012945 | 4392 504 | 11 | 27 416.78/416.90 c 370s | 21 | 1067520 | 1018045 | 4392 506 | 11 | 27 418.77/418.91 c 372s | 21 | 1072180 | 1022645 | 4392 508 | 11 | 27 420.77/420.95 c 374s | 21 | 1077225 | 1027645 | 4392 510 | 11 | 27 422.76/422.98 c 377s | 21 | 1083811 | 1034045 | 4392 512 | 12 | 36 424.76/424.98 c 379s | 21 | 1089804 | 1039845 | 4392 515 | 12 | 36 426.86/427.02 c 381s | 21 | 1096227 | 1045945 | 4392 517 | 12 | 36 428.87/429.04 c 383s | 21 | 1102245 | 1051745 | 4392 520 | 12 | 36 430.86/431.06 c 385s | 21 | 1108242 | 1057645 | 4392 522 | 12 | 36 432.86/433.07 c 387s | 21 | 1114488 | 1063745 | 4392 525 | 12 | 36 434.86/435.07 c 389s | 21 | 1121046 | 1070145 | 4392 527 | 12 | 36 436.86/437.08 c 391s | 21 | 1126574 | 1075545 | 4392 530 | 12 | 36 438.96/439.10 c 393s | 21 | 1132867 | 1081645 | 4392 532 | 12 | 36 440.96/441.12 c 395s | 21 | 1137938 | 1086645 | 4392 534 | 12 | 36 442.95/443.13 c 397s | 21 | 1142372 | 1090945 | 4392 536 | 12 | 36 444.95/445.15 c 399s | 21 | 1148201 | 1096645 | 4392 538 | 12 | 36 446.95/447.17 c 401s | 21 | 1153514 | 1101845 | 4392 541 | 12 | 36 448.95/449.17 c 403s | 21 | 1157690 | 1105945 | 4392 542 | 12 | 36 450.96/451.19 c 405s | 21 | 1163096 | 1111245 | 4392 544 | 12 | 36 453.06/453.21 c 407s | 21 | 1168859 | 1116945 | 4392 547 | 12 | 36 455.05/455.21 c 409s | 21 | 1175322 | 1123245 | 4392 550 | 12 | 36 457.05/457.22 c 411s | 21 | 1181618 | 1129445 | 4392 552 | 12 | 36 459.05/459.25 c 413s | 21 | 1187788 | 1135445 | 4392 555 | 12 | 36 461.05/461.27 c 415s | 21 | 1193532 | 1140945 | 4392 557 | 12 | 36 463.14/463.30 c 417s | 21 | 1199283 | 1146345 | 4392 559 | 12 | 36 465.15/465.31 c 419s | 21 | 1205017 | 1151845 | 4392 561 | 12 | 36 467.14/467.33 c 421s | 21 | 1210555 | 1157045 | 4392 564 | 12 | 36 469.14/469.36 c 423s | 21 | 1215978 | 1162045 | 4392 566 | 12 | 36 471.14/471.39 c 425s | 21 | 1221545 | 1167245 | 4392 568 | 12 | 36 473.25/473.40 c 427s | 21 | 1227280 | 1172645 | 4392 570 | 12 | 36 475.25/475.43 c 429s | 21 | 1233313 | 1178245 | 4392 572 | 12 | 36 477.25/477.43 c 431s | 21 | 1238849 | 1183445 | 4392 575 | 12 | 36 479.25/479.45 c 433s | 21 | 1244709 | 1189045 | 4392 577 | 12 | 36 481.25/481.46 c 435s | 21 | 1250511 | 1194445 | 4392 579 | 12 | 36 483.34/483.51 c 437s | 21 | 1256363 | 1200145 | 4392 582 | 12 | 36 485.34/485.52 c 439s | 21 | 1261068 | 1204745 | 4392 583 | 12 | 36 487.34/487.53 c 441s | 21 | 1266301 | 1209745 | 4392 585 | 12 | 36 489.35/489.55 c 443s | 21 | 1271236 | 1214545 | 4392 588 | 12 | 36 491.44/491.61 c 445s | 21 | 1276376 | 1219345 | 4392 590 | 12 | 36 493.44/493.64 c 447s | 21 | 1281527 | 1224245 | 4392 592 | 12 | 36 495.44/495.69 c 449s | 21 | 1286439 | 1229045 | 4392 594 | 12 | 36 497.53/497.73 c 451s | 21 | 1291403 | 1233745 | 4392 596 | 12 | 36 499.53/499.77 c 453s | 21 | 1296572 | 1238645 | 4392 598 | 12 | 36 501.63/501.82 c 455s | 21 | 1301744 | 1243445 | 4392 600 | 12 | 36 503.64/503.84 c 457s | 21 | 1306770 | 1247945 | 4392 601 | 12 | 36 505.63/505.85 c 459s | 21 | 1311900 | 1252445 | 4392 603 | 12 | 36 507.63/507.85 c 461s | 21 | 1316834 | 1257145 | 4392 605 | 12 | 36 509.63/509.88 c 463s | 21 | 1321612 | 1261645 | 4392 607 | 12 | 36 511.73/511.92 c 465s | 21 | 1326688 | 1266245 | 4392 609 | 12 | 36 513.73/513.96 c 467s | 21 | 1331911 | 1271145 | 4392 611 | 12 | 36 515.73/515.96 c 469s | 21 | 1337622 | 1276645 | 4392 613 | 12 | 36 517.73/517.97 c 471s | 21 | 1343527 | 1282445 | 4392 616 | 12 | 36 519.83/520.00 c 474s | 21 | 1349694 | 1288445 | 4392 618 | 12 | 36 521.82/522.03 c 476s | 21 | 1355473 | 1294045 | 4392 621 | 12 | 36 523.82/524.05 c 478s | 21 | 1361598 | 1299945 | 4392 623 | 12 | 36 525.82/526.07 c 480s | 21 | 1367874 | 1305845 | 4392 626 | 12 | 36 527.93/528.12 c 482s | 21 | 1372978 | 1310745 | 4392 628 | 12 | 36 529.92/530.14 c 484s | 21 | 1378872 | 1316545 | 4392 630 | 12 | 36 531.92/532.15 c 486s | 21 | 1384545 | 1322045 | 4392 633 | 12 | 36 533.92/534.19 c 488s | 21 | 1390008 | 1327345 | 4392 635 | 12 | 36 536.02/536.20 c 490s | 21 | 1395057 | 1332245 | 4392 637 | 12 | 36 538.02/538.20 c 492s | 21 | 1400499 | 1337545 | 4392 639 | 12 | 36 540.02/540.21 c 494s | 21 | 1406250 | 1343145 | 4392 642 | 12 | 36 542.01/542.22 c 496s | 21 | 1412401 | 1349145 | 4832 644 | 12 | 36 544.01/544.24 c 498s | 21 | 1418312 | 1354845 | 4832 646 | 12 | 36 546.01/546.26 c 500s | 21 | 1424007 | 1360345 | 4832 649 | 12 | 36 548.01/548.27 c 502s | 21 | 1429566 | 1365745 | 4832 651 | 12 | 36 550.11/550.31 c 504s | 21 | 1435243 | 1371145 | 4832 653 | 12 | 36 552.12/552.32 c 506s | 21 | 1440643 | 1376345 | 4832 655 | 12 | 36 554.10/554.33 c 508s | 21 | 1447020 | 1382545 | 4832 657 | 12 | 36 556.10/556.34 c 510s | 21 | 1452869 | 1388145 | 4832 659 | 12 | 36 558.10/558.36 c 512s | 21 | 1458929 | 1393945 | 4832 662 | 12 | 36 560.10/560.38 c 514s | 21 | 1465079 | 1399545 | 4832 664 | 12 | 36 562.20/562.41 c 516s | 21 | 1470546 | 1404745 | 4832 666 | 12 | 36 564.21/564.44 c 518s | 21 | 1476257 | 1410245 | 4832 668 | 12 | 36 566.21/566.48 c 520s | 21 | 1482058 | 1415845 | 4832 670 | 12 | 36 568.21/568.48 c 522s | 21 | 1487774 | 1421445 | 4832 672 | 12 | 36 570.21/570.48 c 524s | 21 | 1492964 | 1426545 | 4832 674 | 12 | 36 572.31/572.51 c 526s | 21 | 1498386 | 1431845 | 4832 676 | 12 | 36 574.30/574.51 c 528s | 21 | 1503918 | 1437245 | 4832 679 | 12 | 36 576.31/576.52 c 530s | 21 | 1509145 | 1442345 | 4832 681 | 12 | 36 578.30/578.55 c 532s | 21 | 1514453 | 1447545 | 4832 683 | 12 | 36 580.30/580.56 c 534s | 21 | 1519617 | 1452545 | 4832 684 | 12 | 36 582.30/582.59 c 536s | 21 | 1525056 | 1457845 | 4832 687 | 12 | 36 584.40/584.64 c 538s | 21 | 1530685 | 1463345 | 4832 689 | 12 | 36 586.39/586.67 c 540s | 21 | 1536935 | 1469245 | 4832 691 | 12 | 36 588.40/588.69 c 542s | 21 | 1542953 | 1474945 | 4832 693 | 12 | 36 590.39/590.69 c 544s | 21 | 1548589 | 1480445 | 4832 695 | 12 | 36 592.39/592.69 c 546s | 21 | 1554815 | 1486345 | 4832 698 | 12 | 36 594.49/594.72 c 548s | 21 | 1560948 | 1492245 | 4832 700 | 12 | 36 596.49/596.72 c 550s | 21 | 1567076 | 1498145 | 4832 702 | 12 | 36 597.39/597.63 c 551s | 22 | 1569652 | 1500622 | 4832 703 | 12 | 36 599.40/599.68 c 553s | 22 | 1576404 | 1507022 | 4832 706 | 12 | 36 601.39/601.69 c 555s | 22 | 1583643 | 1514022 | 4832 708 | 12 | 36 603.49/603.72 c 557s | 22 | 1589513 | 1519722 | 4832 710 | 12 | 36 605.49/605.73 c 559s | 22 | 1596162 | 1526222 | 4832 713 | 12 | 36 607.48/607.75 c 561s | 22 | 1601742 | 1531622 | 4832 715 | 12 | 36 609.48/609.75 c 563s | 22 | 1608077 | 1537822 | 4832 717 | 12 | 36 611.49/611.76 c 565s | 22 | 1614770 | 1544422 | 4832 720 | 12 | 36 613.48/613.78 c 567s | 22 | 1621198 | 1550422 | 4832 722 | 12 | 36 615.58/615.81 c 569s | 22 | 1626947 | 1555822 | 4832 724 | 12 | 36 617.58/617.85 c 571s | 22 | 1632588 | 1561122 | 4832 726 | 12 | 36 619.58/619.85 c 573s | 22 | 1638616 | 1566822 | 4832 728 | 12 | 36 621.58/621.86 c 575s | 22 | 1644537 | 1572322 | 4832 730 | 12 | 36 623.58/623.89 c 577s | 22 | 1650737 | 1578122 | 4832 733 | 12 | 36 625.68/625.91 c 579s | 22 | 1657161 | 1584222 | 4832 735 | 12 | 36 627.67/627.94 c 581s | 22 | 1663373 | 1590122 | 4832 737 | 12 | 36 629.67/629.97 c 583s | 22 | 1669444 | 1595722 | 4832 739 | 12 | 36 631.67/631.99 c 586s | 22 | 1675294 | 1601222 | 4832 741 | 12 | 36 633.77/634.00 c 588s | 22 | 1681087 | 1606922 | 4832 744 | 12 | 36 635.77/636.02 c 590s | 22 | 1687040 | 1612722 | 4832 746 | 12 | 36 637.78/638.04 c 592s | 22 | 1693248 | 1618822 | 4832 748 | 12 | 36 639.77/640.05 c 594s | 22 | 1699190 | 1624622 | 4832 750 | 12 | 36 641.77/642.08 c 596s | 22 | 1705441 | 1630722 | 4832 753 | 12 | 36 643.77/644.08 c 598s | 22 | 1711943 | 1637022 | 4832 755 | 12 | 36 645.87/646.11 c 600s | 22 | 1718090 | 1643022 | 4832 757 | 12 | 36 647.86/648.14 c 602s | 22 | 1723924 | 1648722 | 4832 759 | 12 | 36 649.87/650.14 c 604s | 22 | 1729928 | 1654522 | 4832 762 | 12 | 36 651.86/652.18 c 606s | 22 | 1735937 | 1660422 | 4832 764 | 12 | 36 653.86/654.19 c 608s | 22 | 1742011 | 1666322 | 4832 766 | 12 | 36 655.96/656.21 c 610s | 22 | 1747633 | 1671722 | 4832 768 | 12 | 36 657.96/658.23 c 612s | 22 | 1753532 | 1677422 | 4832 770 | 12 | 36 659.96/660.24 c 614s | 22 | 1759447 | 1683122 | 4832 773 | 12 | 36 661.96/662.26 c 616s | 22 | 1764885 | 1688322 | 4832 775 | 12 | 36 663.96/664.27 c 618s | 22 | 1770735 | 1694022 | 4832 777 | 12 | 36 665.95/666.29 c 620s | 22 | 1776263 | 1699422 | 4832 779 | 12 | 36 668.05/668.30 c 622s | 22 | 1781962 | 1704922 | 4832 781 | 12 | 36 670.05/670.34 c 624s | 22 | 1787914 | 1710622 | 4832 783 | 12 | 36 672.05/672.35 c 626s | 22 | 1794161 | 1716422 | 4832 785 | 12 | 36 674.05/674.36 c 628s | 22 | 1800372 | 1722322 | 4832 787 | 12 | 36 676.05/676.39 c 630s | 22 | 1806403 | 1728222 | 4832 790 | 12 | 36 678.14/678.40 c 632s | 22 | 1812884 | 1734522 | 4832 792 | 12 | 36 680.14/680.43 c 634s | 22 | 1819011 | 1740522 | 4832 794 | 12 | 36 682.14/682.45 c 636s | 22 | 1825349 | 1746722 | 4832 797 | 12 | 36 684.14/684.47 c 638s | 22 | 1831326 | 1752522 | 4832 799 | 12 | 36 686.15/686.48 c 640s | 22 | 1837506 | 1758422 | 4832 801 | 12 | 36 688.24/688.51 c 642s | 22 | 1843318 | 1764122 | 4832 803 | 12 | 36 690.25/690.53 c 644s | 22 | 1849440 | 1770022 | 4832 806 | 12 | 36 692.25/692.55 c 646s | 22 | 1855182 | 1775622 | 4832 808 | 12 | 36 694.24/694.56 c 648s | 22 | 1861510 | 1781822 | 4832 810 | 12 | 36 696.24/696.59 c 650s | 22 | 1867774 | 1787822 | 4832 812 | 12 | 36 698.35/698.61 c 652s | 22 | 1873616 | 1793522 | 4832 814 | 12 | 36 700.34/700.63 c 654s | 22 | 1880159 | 1799922 | 4832 817 | 12 | 36 702.34/702.66 c 656s | 22 | 1886353 | 1805922 | 4832 819 | 12 | 36 704.33/704.66 c 658s | 22 | 1892135 | 1811522 | 4832 821 | 12 | 36 706.33/706.68 c 660s | 22 | 1898238 | 1817422 | 4832 823 | 12 | 36 708.43/708.70 c 662s | 22 | 1904588 | 1823422 | 4832 826 | 12 | 36 710.44/710.73 c 664s | 22 | 1910196 | 1828822 | 4832 828 | 12 | 36 712.43/712.76 c 666s | 22 | 1916476 | 1834922 | 4832 830 | 12 | 36 714.43/714.78 c 668s | 22 | 1922147 | 1840422 | 4832 832 | 12 | 36 716.53/716.81 c 670s | 22 | 1928133 | 1846022 | 4832 834 | 12 | 36 718.53/718.82 c 672s | 22 | 1934001 | 1851622 | 4832 836 | 12 | 36 720.53/720.84 c 674s | 22 | 1939901 | 1857122 | 4832 839 | 12 | 36 722.54/722.86 c 676s | 22 | 1945559 | 1862622 | 4832 841 | 12 | 36 724.52/724.89 c 678s | 22 | 1951198 | 1868122 | 4832 843 | 12 | 36 726.62/726.92 c 680s | 22 | 1956427 | 1873222 | 4832 845 | 12 | 36 728.62/728.96 c 682s | 22 | 1961946 | 1878622 | 4832 847 | 12 | 36 730.62/730.97 c 684s | 22 | 1967116 | 1883622 | 4832 849 | 12 | 36 732.62/732.98 c 687s | 22 | 1972714 | 1889122 | 4832 851 | 12 | 36 734.72/735.01 c 689s | 22 | 1979222 | 1895522 | 4832 853 | 12 | 36 736.73/737.04 c 691s | 22 | 1985518 | 1901622 | 4832 855 | 12 | 36 738.72/739.06 c 693s | 22 | 1991567 | 1907522 | 4832 858 | 12 | 36 740.72/741.08 c 695s | 22 | 1997157 | 1912922 | 4832 860 | 12 | 36 742.72/743.09 c 697s | 22 | 2003024 | 1918622 | 4832 862 | 12 | 36 744.81/745.10 c 699s | 22 | 2009199 | 1924522 | 4832 864 | 12 | 36 746.81/747.12 c 701s | 22 | 2014788 | 1929622 | 4832 866 | 12 | 36 748.82/749.16 c 703s | 22 | 2021300 | 1935922 | 4832 868 | 12 | 36 750.81/751.17 c 705s | 22 | 2027730 | 1942122 | 4832 871 | 12 | 36 752.81/753.18 c 707s | 22 | 2033946 | 1948022 | 4832 873 | 12 | 36 754.91/755.20 c 709s | 22 | 2039936 | 1953822 | 4832 875 | 12 | 36 756.91/757.23 c 711s | 22 | 2046453 | 1960122 | 4832 878 | 12 | 36 758.91/759.24 c 713s | 22 | 2052813 | 1966222 | 4832 880 | 12 | 36 760.91/761.26 c 715s | 22 | 2059050 | 1972222 | 4832 882 | 12 | 36 762.90/763.27 c 717s | 22 | 2065330 | 1978222 | 4832 885 | 12 | 36 764.90/765.29 c 719s | 22 | 2071490 | 1984222 | 4832 887 | 12 | 36 767.00/767.30 c 721s | 22 | 2077658 | 1990022 | 4832 889 | 12 | 36 769.00/769.32 c 723s | 22 | 2084461 | 1996722 | 4832 892 | 12 | 36 771.00/771.33 c 725s | 22 | 2090799 | 2002922 | 4832 894 | 12 | 36 773.00/773.35 c 727s | 22 | 2095837 | 2007822 | 4832 896 | 12 | 36 775.00/775.38 c 729s | 22 | 2101646 | 2013422 | 4832 898 | 12 | 36 777.00/777.38 c 731s | 22 | 2108247 | 2019822 | 4832 900 | 12 | 36 779.00/779.39 c 733s | 22 | 2114757 | 2026222 | 4832 903 | 12 | 36 781.10/781.40 c 735s | 22 | 2120749 | 2032122 | 4832 905 | 12 | 36 783.09/783.43 c 737s | 22 | 2127602 | 2038822 | 4832 908 | 12 | 36 785.10/785.45 c 739s | 22 | 2133773 | 2044922 | 4832 910 | 12 | 36 787.09/787.47 c 741s | 22 | 2139069 | 2050122 | 4832 912 | 12 | 36 789.09/789.47 c 743s | 22 | 2145098 | 2056022 | 4832 914 | 12 | 36 791.09/791.48 c 745s | 22 | 2152049 | 2062822 | 4832 917 | 12 | 36 793.08/793.49 c 747s | 22 | 2158704 | 2069322 | 4832 919 | 12 | 36 795.19/795.51 c 749s | 22 | 2165133 | 2075522 | 4832 921 | 12 | 36 797.20/797.52 c 751s | 22 | 2170646 | 2080922 | 4832 923 | 12 | 36 799.19/799.53 c 753s | 22 | 2175969 | 2086222 | 4832 925 | 12 | 36 801.19/801.56 c 755s | 22 | 2181960 | 2092022 | 5316 928 | 12 | 36 803.18/803.58 c 757s | 22 | 2186651 | 2096622 | 5316 929 | 12 | 36 805.18/805.58 c 759s | 22 | 2191523 | 2101222 | 5316 931 | 12 | 36 807.19/807.58 c 761s | 22 | 2198025 | 2107322 | 5316 933 | 12 | 36 809.29/809.60 c 763s | 22 | 2204383 | 2113422 | 5316 935 | 12 | 36 811.28/811.63 c 765s | 22 | 2210767 | 2119522 | 5316 937 | 12 | 36 813.28/813.67 c 767s | 22 | 2216519 | 2125122 | 5316 939 | 12 | 36 815.28/815.69 c 769s | 22 | 2222616 | 2130922 | 5316 941 | 12 | 36 817.38/817.72 c 771s | 22 | 2228767 | 2136722 | 5316 943 | 12 | 36 819.38/819.74 c 773s | 22 | 2234441 | 2142222 | 5316 945 | 12 | 36 821.38/821.76 c 775s | 22 | 2240307 | 2147922 | 5316 947 | 12 | 36 823.37/823.79 c 777s | 22 | 2246159 | 2153622 | 5316 949 | 12 | 36 825.37/825.79 c 779s | 22 | 2252559 | 2159822 | 5316 951 | 12 | 36 827.47/827.82 c 781s | 22 | 2258531 | 2165522 | 5316 953 | 12 | 36 829.47/829.83 c 783s | 22 | 2264647 | 2171422 | 5316 955 | 12 | 36 831.47/831.85 c 785s | 22 | 2270727 | 2177222 | 5316 957 | 12 | 36 833.47/833.86 c 787s | 22 | 2276606 | 2182922 | 5316 959 | 12 | 36 835.47/835.87 c 789s | 22 | 2282733 | 2188822 | 5316 961 | 12 | 36 837.47/837.89 c 791s | 22 | 2288689 | 2194422 | 5316 963 | 12 | 36 839.47/839.89 c 793s | 22 | 2295070 | 2200622 | 5316 965 | 12 | 36 841.57/841.90 c 795s | 22 | 2301300 | 2206422 | 5316 967 | 12 | 36 843.56/843.94 c 797s | 22 | 2307489 | 2212322 | 5316 969 | 12 | 36 845.57/845.94 c 799s | 22 | 2313207 | 2217922 | 5316 971 | 12 | 36 847.56/847.96 c 801s | 22 | 2319662 | 2224122 | 5316 973 | 12 | 36 849.56/849.98 c 804s | 22 | 2325645 | 2229922 | 5316 975 | 12 | 36 851.56/851.99 c 806s | 22 | 2331685 | 2235822 | 5316 978 | 12 | 36 853.65/854.03 c 808s | 22 | 2338074 | 2242122 | 5316 980 | 12 | 36 855.65/856.05 c 810s | 22 | 2343826 | 2247722 | 5316 982 | 12 | 36 856.75/857.18 c 811s | 23 | 2347336 | 2251038 | 5316 983 | 12 | 36 858.76/859.20 c 813s | 23 | 2352026 | 2255338 | 5316 984 | 12 | 36 860.85/861.21 c 815s | 23 | 2356830 | 2259738 | 5316 986 | 12 | 36 862.85/863.25 c 817s | 23 | 2361490 | 2264138 | 5316 987 | 12 | 36 864.85/865.28 c 819s | 23 | 2366693 | 2268838 | 5316 989 | 12 | 36 866.95/867.31 c 821s | 23 | 2371667 | 2273538 | 5316 991 | 12 | 36 868.95/869.36 c 823s | 23 | 2376311 | 2278038 | 5316 992 | 12 | 36 871.05/871.40 c 825s | 23 | 2380926 | 2282138 | 5316 994 | 12 | 36 873.05/873.43 c 827s | 23 | 2385330 | 2286238 | 5316 995 | 12 | 36 875.05/875.47 c 829s | 23 | 2390427 | 2291138 | 5316 997 | 12 | 36 877.14/877.52 c 831s | 23 | 2395261 | 2295738 | 5316 999 | 12 | 36 879.14/879.56 c 833s | 23 | 2399912 | 2300238 | 5316 1000 | 12 | 36 881.14/881.57 c 835s | 23 | 2404223 | 2304338 | 5316 1002 | 12 | 36 883.14/883.57 c 837s | 23 | 2409057 | 2309038 | 5316 1003 | 12 | 36 885.15/885.59 c 839s | 23 | 2414909 | 2314738 | 5316 1005 | 12 | 36 887.24/887.61 c 841s | 23 | 2420911 | 2320538 | 5316 1007 | 12 | 36 889.24/889.62 c 843s | 23 | 2425314 | 2324738 | 5316 1009 | 12 | 36 891.24/891.62 c 845s | 23 | 2429983 | 2329138 | 5316 1010 | 12 | 36 893.24/893.63 c 847s | 23 | 2434016 | 2333038 | 5316 1012 | 12 | 36 895.24/895.68 c 849s | 23 | 2439279 | 2338138 | 5316 1013 | 12 | 36 897.35/897.72 c 851s | 23 | 2443749 | 2342338 | 5316 1015 | 12 | 36 899.34/899.73 c 853s | 23 | 2448739 | 2347038 | 5316 1017 | 12 | 36 901.34/901.77 c 855s | 23 | 2454027 | 2351938 | 5316 1018 | 12 | 36 903.34/903.79 c 857s | 23 | 2459007 | 2356538 | 5316 1020 | 12 | 36 905.44/905.81 c 859s | 23 | 2463776 | 2361038 | 5316 1021 | 12 | 36 907.44/907.82 c 861s | 23 | 2468031 | 2364838 | 5316 1023 | 12 | 36 909.44/909.88 c 863s | 23 | 2472039 | 2368238 | 5316 1024 | 12 | 36 911.54/911.91 c 865s | 23 | 2476858 | 2372738 | 5316 1026 | 12 | 36 913.54/913.92 c 867s | 23 | 2482076 | 2377638 | 5316 1027 | 12 | 36 915.54/915.93 c 869s | 23 | 2487089 | 2382438 | 5316 1029 | 12 | 36 917.54/917.94 c 871s | 23 | 2491887 | 2387038 | 5316 1031 | 12 | 36 919.54/919.95 c 873s | 23 | 2497217 | 2392238 | 5316 1032 | 12 | 36 921.54/921.97 c 875s | 23 | 2502250 | 2397138 | 5316 1034 | 12 | 36 923.54/923.98 c 878s | 23 | 2507544 | 2402138 | 5316 1036 | 12 | 36 925.64/926.01 c 880s | 23 | 2512708 | 2407038 | 5316 1038 | 12 | 36 927.64/928.03 c 882s | 23 | 2517814 | 2411638 | 5316 1039 | 12 | 36 929.63/930.04 c 884s | 23 | 2523094 | 2416438 | 5316 1041 | 12 | 36 931.63/932.04 c 886s | 23 | 2527957 | 2420838 | 5316 1042 | 12 | 36 933.64/934.07 c 888s | 23 | 2533077 | 2425538 | 5316 1044 | 12 | 36 935.63/936.07 c 890s | 23 | 2538037 | 2430138 | 5316 1046 | 12 | 36 937.73/938.12 c 892s | 23 | 2543357 | 2435038 | 5316 1048 | 12 | 36 939.73/940.15 c 894s | 23 | 2548504 | 2439938 | 5316 1049 | 12 | 36 941.73/942.17 c 896s | 23 | 2553795 | 2444938 | 5316 1051 | 12 | 36 943.83/944.20 c 898s | 23 | 2558759 | 2449738 | 5316 1053 | 12 | 36 945.83/946.20 c 900s | 23 | 2564781 | 2455638 | 5316 1055 | 12 | 36 947.84/948.22 c 902s | 23 | 2569963 | 2460638 | 5316 1057 | 12 | 36 949.83/950.23 c 904s | 23 | 2574085 | 2464338 | 5316 1058 | 12 | 36 951.83/952.26 c 906s | 23 | 2578476 | 2468338 | 5316 1059 | 12 | 36 953.83/954.27 c 908s | 23 | 2583360 | 2472938 | 5316 1061 | 12 | 36 955.83/956.29 c 910s | 23 | 2588054 | 2477238 | 5316 1062 | 12 | 36 957.93/958.30 c 912s | 23 | 2592880 | 2481838 | 5316 1064 | 12 | 36 959.94/960.33 c 914s | 23 | 2597273 | 2485938 | 5316 1065 | 12 | 36 961.93/962.33 c 916s | 23 | 2602584 | 2490738 | 5316 1067 | 12 | 36 963.93/964.36 c 918s | 23 | 2607879 | 2495738 | 5316 1069 | 12 | 36 965.93/966.37 c 920s | 23 | 2612925 | 2500338 | 5316 1070 | 12 | 36 968.03/968.40 c 922s | 23 | 2617963 | 2505038 | 5316 1072 | 12 | 36 970.03/970.46 c 924s | 23 | 2622790 | 2509538 | 5316 1074 | 12 | 36 972.03/972.48 c 926s | 23 | 2627570 | 2514038 | 5316 1075 | 12 | 36 974.13/974.51 c 928s | 23 | 2633535 | 2519938 | 5316 1077 | 12 | 36 976.13/976.54 c 930s | 23 | 2638257 | 2524438 | 5316 1079 | 12 | 36 978.13/978.57 c 932s | 23 | 2643136 | 2528938 | 5316 1080 | 12 | 36 980.13/980.58 c 934s | 23 | 2647847 | 2533238 | 5316 1082 | 12 | 36 982.13/982.58 c 936s | 23 | 2652114 | 2537238 | 5316 1083 | 12 | 36 984.23/984.61 c 938s | 23 | 2656366 | 2541138 | 5316 1085 | 12 | 36 986.23/986.62 c 940s | 23 | 2660963 | 2545538 | 5316 1086 | 12 | 36 988.22/988.62 c 942s | 23 | 2664894 | 2549238 | 5316 1088 | 12 | 36 990.32/990.70 c 944s | 23 | 2669530 | 2553238 | 5316 1089 | 12 | 36 992.32/992.72 c 946s | 23 | 2674003 | 2557238 | 5316 1090 | 12 | 36 994.32/994.73 c 948s | 23 | 2678313 | 2561238 | 5316 1092 | 12 | 36 996.33/996.76 c 950s | 23 | 2683305 | 2565938 | 5316 1093 | 12 | 36 998.33/998.78 c 952s | 23 | 2688466 | 2570638 | 5316 1095 | 12 | 36 1000.43/1000.83 c 954s | 23 | 2693227 | 2575038 | 5316 1097 | 12 | 36 1002.43/1002.86 c 956s | 23 | 2698134 | 2579538 | 5316 1098 | 12 | 36 1004.53/1004.91 c 958s | 23 | 2703243 | 2584438 | 5316 1100 | 12 | 36 1006.53/1006.92 c 960s | 23 | 2707958 | 2588938 | 5316 1102 | 12 | 36 1008.53/1008.94 c 962s | 23 | 2713171 | 2593938 | 5316 1103 | 12 | 36 1010.54/1010.97 c 964s | 23 | 2718219 | 2598738 | 5316 1105 | 12 | 36 1012.53/1012.97 c 966s | 23 | 2722316 | 2602638 | 5316 1106 | 12 | 36 1014.53/1014.98 c 969s | 23 | 2727281 | 2607338 | 5316 1108 | 12 | 36 1016.63/1017.02 c 971s | 23 | 2732196 | 2612138 | 5316 1110 | 12 | 36 1018.63/1019.03 c 973s | 23 | 2736991 | 2616838 | 5316 1111 | 12 | 36 1020.63/1021.05 c 975s | 23 | 2741913 | 2621538 | 5316 1113 | 12 | 36 1022.63/1023.07 c 977s | 23 | 2747077 | 2626338 | 5316 1115 | 12 | 36 1024.73/1025.11 c 979s | 23 | 2751684 | 2630538 | 5316 1116 | 12 | 36 1026.73/1027.13 c 981s | 23 | 2756570 | 2635038 | 5316 1118 | 12 | 36 1028.73/1029.15 c 983s | 23 | 2761017 | 2638938 | 5316 1119 | 12 | 36 1030.73/1031.15 c 985s | 23 | 2765340 | 2642938 | 5316 1121 | 12 | 36 1032.73/1033.19 c 987s | 23 | 2770157 | 2647538 | 5316 1122 | 12 | 36 1034.83/1035.21 c 989s | 23 | 2774738 | 2651738 | 5316 1124 | 12 | 36 1036.83/1037.22 c 991s | 23 | 2778701 | 2655238 | 5316 1125 | 12 | 36 1038.83/1039.30 c 993s | 23 | 2782596 | 2658438 | 5316 1126 | 12 | 36 1040.93/1041.30 c 995s | 23 | 2786449 | 2661538 | 5316 1127 | 12 | 36 1042.93/1043.30 c 997s | 23 | 2791247 | 2665838 | 5316 1129 | 12 | 36 1044.93/1045.38 c 999s | 23 | 2795483 | 2669438 | 5316 1130 | 12 | 36 1047.02/1047.41 c 1001s | 23 | 2799461 | 2673038 | 5316 1131 | 12 | 36 1049.03/1049.44 c 1003s | 23 | 2803954 | 2677138 | 5316 1133 | 12 | 36 1051.02/1051.48 c 1005s | 23 | 2808703 | 2681738 | 5316 1134 | 12 | 36 1053.12/1053.50 c 1007s | 23 | 2813409 | 2686338 | 5316 1136 | 12 | 36 1055.12/1055.51 c 1009s | 23 | 2818100 | 2690938 | 5316 1137 | 12 | 36 1057.12/1057.52 c 1011s | 23 | 2822629 | 2695238 | 5316 1139 | 12 | 36 1059.12/1059.52 c 1013s | 23 | 2827420 | 2699938 | 5316 1141 | 12 | 36 1061.13/1061.53 c 1015s | 23 | 2832191 | 2704538 | 5316 1142 | 12 | 36 1063.12/1063.54 c 1017s | 23 | 2836796 | 2708938 | 5316 1144 | 12 | 36 1065.12/1065.59 c 1019s | 23 | 2841151 | 2713038 | 5316 1145 | 12 | 36 1067.22/1067.61 c 1021s | 23 | 2845214 | 2716838 | 5316 1146 | 12 | 36 1069.22/1069.64 c 1023s | 23 | 2849054 | 2720338 | 5316 1148 | 12 | 36 1071.22/1071.68 c 1025s | 23 | 2853790 | 2724938 | 5316 1149 | 12 | 36 1073.32/1073.70 c 1027s | 23 | 2857840 | 2728638 | 5316 1151 | 12 | 36 1075.32/1075.72 c 1029s | 23 | 2861890 | 2732538 | 5316 1152 | 12 | 36 1077.32/1077.77 c 1031s | 23 | 2866408 | 2736938 | 5316 1154 | 12 | 36 1079.32/1079.79 c 1033s | 23 | 2870592 | 2740738 | 5316 1155 | 12 | 36 1081.42/1081.82 c 1035s | 23 | 2874292 | 2744338 | 5316 1156 | 12 | 36 1083.42/1083.82 c 1037s | 23 | 2878573 | 2748438 | 5316 1158 | 12 | 36 1085.42/1085.83 c 1039s | 23 | 2882864 | 2752538 | 5316 1159 | 12 | 36 1087.41/1087.86 c 1041s | 23 | 2887031 | 2756538 | 5316 1160 | 12 | 36 1089.41/1089.87 c 1043s | 23 | 2891165 | 2760538 | 5316 1162 | 12 | 36 1091.41/1091.88 c 1045s | 23 | 2895655 | 2764838 | 5316 1163 | 12 | 36 1093.41/1093.89 c 1047s | 23 | 2900176 | 2769238 | 5316 1165 | 12 | 36 1095.51/1095.92 c 1049s | 23 | 2904673 | 2773638 | 5316 1166 | 12 | 36 1097.52/1097.92 c 1051s | 23 | 2908956 | 2777838 | 5316 1168 | 12 | 36 1099.51/1099.95 c 1053s | 23 | 2912936 | 2781738 | 5316 1169 | 12 | 36 1101.51/1101.97 c 1055s | 23 | 2917745 | 2786438 | 5316 1171 | 12 | 36 1103.51/1103.98 c 1058s | 23 | 2921878 | 2790538 | 5316 1172 | 12 | 36 1105.51/1105.99 c 1060s | 23 | 2926738 | 2795338 | 5316 1174 | 12 | 36 1107.61/1108.01 c 1062s | 23 | 2931298 | 2799838 | 5316 1176 | 12 | 36 1109.62/1110.02 c 1064s | 23 | 2935451 | 2803738 | 5316 1177 | 12 | 36 1111.61/1112.05 c 1066s | 23 | 2939639 | 2807538 | 5316 1178 | 12 | 36 1113.71/1114.11 c 1068s | 23 | 2943506 | 2810438 | 5316 1179 | 12 | 36 1115.81/1116.20 c 1070s | 23 | 2947404 | 2813838 | 5316 1181 | 12 | 36 1117.81/1118.22 c 1072s | 23 | 2951377 | 2817538 | 5316 1182 | 12 | 36 1119.81/1120.23 c 1074s | 23 | 2955862 | 2821638 | 5316 1183 | 12 | 36 1121.81/1122.25 c 1076s | 23 | 2960630 | 2826238 | 5316 1185 | 12 | 36 1123.81/1124.27 c 1078s | 23 | 2965728 | 2831138 | 5316 1187 | 12 | 36 1125.81/1126.29 c 1080s | 23 | 2969726 | 2834638 | 5316 1188 | 12 | 36 1127.91/1128.31 c 1082s | 23 | 2973848 | 2838438 | 5316 1189 | 12 | 36 1129.91/1130.38 c 1084s | 23 | 2978513 | 2842438 | 5316 1191 | 12 | 36 1132.00/1132.43 c 1086s | 23 | 2983259 | 2846738 | 5316 1192 | 12 | 36 1134.00/1134.44 c 1088s | 23 | 2987286 | 2850038 | 5316 1193 | 12 | 36 1136.01/1136.45 c 1090s | 23 | 2991764 | 2854138 | 5316 1195 | 12 | 36 1138.00/1138.48 c 1092s | 23 | 2996419 | 2858438 | 5316 1196 | 12 | 36 1140.10/1140.50 c 1094s | 23 | 3001067 | 2862738 | 5316 1198 | 12 | 36 1142.10/1142.55 c 1096s | 23 | 3005393 | 2866838 | 5316 1199 | 12 | 36 1144.20/1144.60 c 1098s | 23 | 3009361 | 2870738 | 5316 1201 | 12 | 36 1146.20/1146.61 c 1100s | 23 | 3013684 | 2874938 | 5316 1202 | 12 | 36 1148.20/1148.63 c 1102s | 23 | 3017711 | 2878838 | 5316 1203 | 12 | 36 1150.21/1150.68 c 1104s | 23 | 3022598 | 2883538 | 5316 1205 | 12 | 36 1152.30/1152.73 c 1106s | 23 | 3026623 | 2887438 | 5316 1206 | 12 | 36 1154.30/1154.77 c 1108s | 23 | 3030600 | 2890938 | 5316 1208 | 12 | 36 1156.40/1156.80 c 1110s | 23 | 3035202 | 2895038 | 5316 1209 | 12 | 36 1158.40/1158.80 c 1112s | 23 | 3039790 | 2899038 | 5316 1210 | 12 | 36 1160.41/1160.81 c 1114s | 23 | 3043956 | 2903138 | 5316 1212 | 12 | 36 1162.41/1162.83 c 1116s | 23 | 3048296 | 2907438 | 5316 1213 | 12 | 36 1164.41/1164.84 c 1118s | 23 | 3054286 | 2913338 | 5316 1215 | 12 | 36 1166.41/1166.88 c 1120s | 23 | 3059676 | 2918638 | 5316 1217 | 12 | 36 1168.51/1168.93 c 1122s | 23 | 3064278 | 2923138 | 5316 1219 | 12 | 36 1170.51/1170.93 c 1124s | 23 | 3068955 | 2927738 | 5316 1221 | 12 | 36 1172.50/1172.94 c 1126s | 23 | 3073803 | 2932538 | 5316 1222 | 12 | 36 1174.51/1174.95 c 1128s | 23 | 3079111 | 2937738 | 5316 1224 | 12 | 36 1176.50/1176.99 c 1131s | 23 | 3084084 | 2942538 | 5316 1226 | 12 | 36 1178.60/1179.05 c 1133s | 23 | 3087809 | 2945838 | 5316 1227 | 12 | 36 1180.70/1181.11 c 1135s | 23 | 3092251 | 2949938 | 5316 1228 | 12 | 36 1182.70/1183.11 c 1137s | 23 | 3096643 | 2953838 | 5316 1230 | 12 | 36 1184.70/1185.13 c 1139s | 23 | 3101215 | 2957938 | 5316 1231 | 12 | 36 1186.70/1187.16 c 1141s | 23 | 3105874 | 2962438 | 5316 1233 | 12 | 36 1188.81/1189.21 c 1143s | 23 | 3109877 | 2965938 | 5316 1234 | 12 | 36 1190.80/1191.23 c 1145s | 23 | 3114887 | 2970838 | 5316 1236 | 12 | 36 1192.80/1193.26 c 1147s | 23 | 3119640 | 2975538 | 5316 1237 | 12 | 36 1194.80/1195.29 c 1149s | 23 | 3124573 | 2980138 | 5316 1239 | 12 | 36 1196.90/1197.31 c 1151s | 23 | 3128659 | 2984038 | 5316 1240 | 12 | 36 1198.90/1199.31 c 1153s | 23 | 3133411 | 2988538 | 5316 1242 | 12 | 36 1200.90/1201.33 c 1155s | 23 | 3137966 | 2992638 | 5316 1243 | 12 | 36 1202.90/1203.35 c 1157s | 23 | 3142057 | 2996438 | 5316 1245 | 12 | 36 1204.90/1205.37 c 1159s | 23 | 3146439 | 3000538 | 5316 1246 | 12 | 36 1207.00/1207.40 c 1161s | 23 | 3151018 | 3004738 | 5316 1248 | 12 | 36 1209.00/1209.44 c 1163s | 23 | 3156114 | 3009238 | 5316 1249 | 12 | 36 1210.99/1211.47 c 1165s | 23 | 3160509 | 3013238 | 5316 1251 | 12 | 36 1213.00/1213.48 c 1167s | 23 | 3165596 | 3018038 | 5316 1252 | 12 | 36 1215.10/1215.51 c 1169s | 23 | 3170220 | 3022438 | 5316 1254 | 12 | 36 1217.09/1217.54 c 1171s | 23 | 3173871 | 3025838 | 5316 1255 | 12 | 36 1219.09/1219.58 c 1173s | 23 | 3178173 | 3029838 | 5316 1256 | 12 | 36 1221.19/1221.61 c 1175s | 23 | 3181373 | 3032438 | 5316 1257 | 12 | 36 1223.19/1223.64 c 1177s | 23 | 3185758 | 3036438 | 5316 1259 | 12 | 36 1225.19/1225.66 c 1179s | 23 | 3190310 | 3040338 | 5316 1260 | 12 | 36 1227.20/1227.70 c 1181s | 23 | 3194814 | 3044638 | 5316 1262 | 12 | 36 1229.29/1229.79 c 1183s | 23 | 3200311 | 3049738 | 5316 1264 | 12 | 36 1231.39/1231.84 c 1185s | 23 | 3204091 | 3053338 | 5316 1265 | 12 | 36 1233.39/1233.84 c 1187s | 23 | 3208283 | 3057338 | 5316 1266 | 12 | 36 1235.39/1235.87 c 1189s | 23 | 3212941 | 3061938 | 5316 1268 | 12 | 36 1237.39/1237.88 c 1191s | 23 | 3217875 | 3066738 | 5316 1269 | 12 | 36 1239.49/1239.92 c 1193s | 23 | 3223102 | 3071938 | 5316 1271 | 12 | 36 1241.49/1241.95 c 1195s | 23 | 3227968 | 3076738 | 5316 1273 | 12 | 36 1243.49/1243.97 c 1197s | 23 | 3232825 | 3081238 | 5316 1275 | 12 | 36 1245.49/1245.98 c 1200s | 23 | 3237955 | 3086038 | 5316 1276 | 12 | 36 1247.49/1247.99 c 1202s | 23 | 3242580 | 3090038 | 5316 1278 | 12 | 36 1249.59/1250.02 c 1204s | 23 | 3247450 | 3094638 | 5316 1279 | 12 | 36 1251.59/1252.02 c 1206s | 23 | 3251448 | 3098138 | 5316 1280 | 12 | 36 1253.59/1254.06 c 1208s | 23 | 3254872 | 3100638 | 5316 1281 | 12 | 36 1255.59/1256.09 c 1210s | 23 | 3258113 | 3103738 | 5316 1282 | 12 | 36 1257.68/1258.10 c 1212s | 23 | 3262370 | 3107738 | 5316 1284 | 12 | 36 1259.68/1260.13 c 1214s | 23 | 3266829 | 3112138 | 5316 1285 | 12 | 36 1261.78/1262.24 c 1216s | 23 | 3270765 | 3115738 | 5316 1287 | 12 | 36 1263.78/1264.27 c 1218s | 23 | 3274599 | 3119338 | 5316 1288 | 12 | 36 1265.88/1266.35 c 1220s | 23 | 3277987 | 3122338 | 5316 1289 | 12 | 36 1267.99/1268.43 c 1222s | 23 | 3281976 | 3125938 | 5316 1290 | 12 | 36 1269.98/1270.43 c 1224s | 23 | 3285175 | 3128938 | 5316 1291 | 12 | 36 1271.98/1272.46 c 1226s | 23 | 3290162 | 3133738 | 5316 1293 | 12 | 36 1273.98/1274.49 c 1228s | 23 | 3295269 | 3138538 | 5316 1295 | 12 | 36 1276.09/1276.51 c 1230s | 23 | 3299789 | 3142838 | 5316 1296 | 12 | 36 1278.09/1278.52 c 1232s | 23 | 3304121 | 3146938 | 5316 1298 | 12 | 36 1280.10/1280.53 c 1234s | 23 | 3309145 | 3151838 | 5316 1299 | 12 | 36 1282.09/1282.55 c 1236s | 23 | 3313739 | 3156338 | 5316 1301 | 12 | 36 1284.09/1284.59 c 1238s | 23 | 3317780 | 3160238 | 5316 1302 | 12 | 36 1286.19/1286.65 c 1240s | 23 | 3322214 | 3164038 | 5316 1304 | 12 | 36 1288.19/1288.68 c 1242s | 23 | 3326660 | 3167938 | 5316 1305 | 12 | 36 1290.29/1290.71 c 1244s | 23 | 3330355 | 3171438 | 5316 1306 | 12 | 36 1292.29/1292.72 c 1246s | 23 | 3334995 | 3175938 | 5316 1308 | 12 | 36 1294.29/1294.74 c 1248s | 23 | 3339606 | 3180338 | 5316 1310 | 12 | 36 1296.29/1296.77 c 1250s | 23 | 3344526 | 3185138 | 5316 1311 | 12 | 36 1298.29/1298.79 c 1252s | 23 | 3349512 | 3189938 | 5316 1313 | 12 | 36 1300.39/1300.81 c 1254s | 23 | 3353878 | 3194038 | 5316 1315 | 12 | 36 1302.39/1302.85 c 1256s | 23 | 3357515 | 3197438 | 5316 1316 | 12 | 36 1304.48/1304.91 c 1258s | 23 | 3362155 | 3201638 | 5316 1317 | 12 | 36 1306.49/1306.91 c 1260s | 23 | 3367307 | 3206638 | 5316 1319 | 12 | 36 1308.48/1308.94 c 1262s | 23 | 3371400 | 3210538 | 5848 1320 | 12 | 36 1310.48/1310.96 c 1264s | 23 | 3375809 | 3214838 | 5848 1322 | 12 | 36 1312.58/1313.00 c 1267s | 23 | 3380273 | 3219238 | 5848 1323 | 12 | 36 1314.58/1315.01 c 1269s | 23 | 3383954 | 3222838 | 5848 1324 | 12 | 36 1316.58/1317.08 c 1271s | 23 | 3388491 | 3227138 | 5848 1326 | 12 | 36 1318.68/1319.11 c 1273s | 23 | 3392561 | 3230938 | 5848 1327 | 12 | 36 1320.69/1321.14 c 1275s | 23 | 3396599 | 3234838 | 5848 1328 | 12 | 36 1322.68/1323.18 c 1277s | 23 | 3401241 | 3239038 | 5848 1330 | 12 | 36 1324.68/1325.19 c 1279s | 23 | 3405030 | 3242638 | 5848 1331 | 12 | 36 1326.78/1327.23 c 1281s | 23 | 3408807 | 3246138 | 5848 1332 | 12 | 36 1328.88/1329.30 c 1283s | 23 | 3413097 | 3250138 | 5848 1333 | 12 | 36 1330.88/1331.31 c 1285s | 23 | 3416859 | 3253638 | 5848 1334 | 12 | 36 1332.89/1333.38 c 1287s | 23 | 3420175 | 3256638 | 5848 1335 | 12 | 36 1334.88/1335.39 c 1289s | 23 | 3424584 | 3260738 | 5848 1337 | 12 | 36 1336.98/1337.40 c 1291s | 23 | 3427998 | 3263638 | 5848 1338 | 12 | 36 1338.98/1339.43 c 1293s | 23 | 3432542 | 3267838 | 5848 1339 | 12 | 36 1340.98/1341.45 c 1295s | 23 | 3436282 | 3271438 | 5848 1340 | 12 | 36 1342.98/1343.48 c 1297s | 23 | 3441085 | 3276138 | 5848 1342 | 12 | 36 1345.08/1345.52 c 1299s | 23 | 3446063 | 3281038 | 5848 1343 | 12 | 36 1347.08/1347.53 c 1301s | 23 | 3450474 | 3285038 | 5848 1345 | 12 | 36 1349.08/1349.57 c 1303s | 23 | 3454579 | 3288438 | 5848 1346 | 12 | 36 1351.08/1351.58 c 1305s | 23 | 3459875 | 3293538 | 5848 1347 | 12 | 36 1353.08/1353.59 c 1307s | 23 | 3464162 | 3297538 | 5848 1349 | 12 | 36 1355.18/1355.60 c 1309s | 23 | 3468196 | 3301238 | 5848 1350 | 12 | 36 1357.17/1357.64 c 1311s | 23 | 3471601 | 3304038 | 5848 1351 | 12 | 36 1359.18/1359.65 c 1313s | 23 | 3475597 | 3307638 | 5848 1352 | 12 | 36 1361.17/1361.69 c 1315s | 23 | 3479785 | 3311638 | 5848 1353 | 12 | 36 1363.27/1363.74 c 1317s | 23 | 3483769 | 3315538 | 5848 1355 | 12 | 36 1365.37/1365.81 c 1319s | 23 | 3487900 | 3319438 | 5848 1356 | 12 | 36 1367.37/1367.82 c 1321s | 23 | 3491930 | 3322938 | 5848 1357 | 12 | 36 1369.37/1369.86 c 1323s | 23 | 3496182 | 3326738 | 5848 1358 | 12 | 36 1371.38/1371.89 c 1325s | 23 | 3500117 | 3330438 | 5848 1359 | 12 | 36 1373.48/1373.93 c 1327s | 23 | 3504367 | 3334438 | 5848 1361 | 12 | 36 1375.57/1376.00 c 1330s | 23 | 3508399 | 3338038 | 5848 1362 | 12 | 36 1377.57/1378.03 c 1332s | 23 | 3513099 | 3342638 | 5848 1363 | 12 | 36 1379.57/1380.04 c 1334s | 23 | 3518523 | 3347938 | 5848 1365 | 12 | 36 1381.57/1382.06 c 1336s | 23 | 3524422 | 3353638 | 5848 1367 | 12 | 36 1383.57/1384.07 c 1338s | 23 | 3529448 | 3358538 | 5848 1369 | 12 | 36 1385.58/1386.09 c 1340s | 23 | 3534825 | 3363838 | 5848 1370 | 12 | 36 1387.67/1388.12 c 1342s | 23 | 3539446 | 3368338 | 5848 1372 | 12 | 36 1389.67/1390.12 c 1344s | 23 | 3544046 | 3372838 | 5848 1373 | 12 | 36 1391.37/1391.84 c 1345s | 24 | 3547945 | 3376662 | 5848 1374 | 12 | 36 1393.37/1393.86 c 1347s | 24 | 3555002 | 3383562 | 5848 1377 | 12 | 36 1395.37/1395.89 c 1349s | 24 | 3561147 | 3389662 | 5848 1379 | 12 | 36 1397.46/1397.91 c 1351s | 24 | 3567324 | 3395762 | 5848 1381 | 12 | 36 1399.46/1399.91 c 1353s | 24 | 3573923 | 3402262 | 5848 1383 | 12 | 36 1401.46/1401.91 c 1355s | 24 | 3579815 | 3408062 | 5848 1384 | 12 | 36 1403.46/1403.93 c 1357s | 24 | 3585713 | 3413862 | 5848 1386 | 12 | 36 1405.47/1405.96 c 1359s | 24 | 3591551 | 3419562 | 5848 1388 | 12 | 36 1407.46/1407.96 c 1361s | 24 | 3597048 | 3424962 | 5848 1390 | 12 | 36 1409.46/1409.98 c 1363s | 24 | 3602250 | 3430062 | 5848 1391 | 12 | 36 1411.46/1411.99 c 1366s | 24 | 3607798 | 3435562 | 5848 1393 | 12 | 36 1413.46/1413.99 c 1368s | 24 | 3613474 | 3441162 | 5848 1395 | 12 | 36 1415.56/1416.02 c 1370s | 24 | 3618757 | 3446362 | 5848 1397 | 12 | 36 1417.57/1418.02 c 1372s | 24 | 3623312 | 3450862 | 5848 1398 | 12 | 36 1419.56/1420.05 c 1374s | 24 | 3628765 | 3456262 | 5848 1400 | 12 | 36 1421.56/1422.07 c 1376s | 24 | 3634193 | 3461662 | 5848 1402 | 12 | 36 1423.56/1424.09 c 1378s | 24 | 3639555 | 3466962 | 5848 1403 | 12 | 36 1425.66/1426.12 c 1380s | 24 | 3644909 | 3472262 | 5848 1405 | 12 | 36 1427.66/1428.15 c 1382s | 24 | 3650155 | 3477462 | 5848 1407 | 12 | 36 1429.67/1430.18 c 1384s | 24 | 3655588 | 3482862 | 5848 1408 | 12 | 36 1431.76/1432.20 c 1386s | 24 | 3660648 | 3487862 | 5848 1410 | 12 | 36 1433.76/1434.24 c 1388s | 24 | 3665652 | 3492762 | 5848 1412 | 12 | 36 1435.76/1436.25 c 1390s | 24 | 3671470 | 3498462 | 5848 1413 | 12 | 36 1437.76/1438.28 c 1392s | 24 | 3677634 | 3504562 | 5848 1415 | 12 | 36 1439.76/1440.29 c 1394s | 24 | 3683429 | 3510262 | 5848 1417 | 12 | 36 1441.76/1442.29 c 1396s | 24 | 3689424 | 3516162 | 5848 1419 | 12 | 36 1443.76/1444.30 c 1398s | 24 | 3694806 | 3521462 | 5848 1421 | 12 | 36 1445.86/1446.33 c 1400s | 24 | 3700384 | 3526962 | 5848 1422 | 12 | 36 1447.86/1448.35 c 1402s | 24 | 3705476 | 3531962 | 5848 1424 | 12 | 36 1449.86/1450.37 c 1404s | 24 | 3710573 | 3536962 | 5848 1426 | 12 | 36 1451.86/1452.39 c 1406s | 24 | 3716218 | 3542462 | 5848 1427 | 12 | 36 1453.96/1454.43 c 1408s | 24 | 3721892 | 3547962 | 5848 1429 | 12 | 36 1455.96/1456.44 c 1410s | 24 | 3728176 | 3553862 | 5848 1431 | 12 | 36 1457.95/1458.47 c 1412s | 24 | 3733436 | 3558862 | 5848 1433 | 12 | 36 1460.05/1460.50 c 1414s | 24 | 3738248 | 3563262 | 5848 1434 | 12 | 36 1462.05/1462.52 c 1416s | 24 | 3743579 | 3568362 | 5848 1436 | 12 | 36 1464.05/1464.54 c 1418s | 24 | 3748534 | 3573162 | 5848 1437 | 12 | 36 1466.05/1466.55 c 1420s | 24 | 3753585 | 3577862 | 5848 1439 | 12 | 36 1468.06/1468.57 c 1422s | 24 | 3758433 | 3582362 | 5848 1440 | 12 | 36 1470.05/1470.60 c 1424s | 24 | 3763239 | 3587062 | 5848 1442 | 12 | 36 1472.15/1472.62 c 1426s | 24 | 3768161 | 3591862 | 5848 1443 | 12 | 36 1474.15/1474.64 c 1428s | 24 | 3772888 | 3596462 | 5848 1445 | 12 | 36 1476.15/1476.64 c 1430s | 24 | 3777830 | 3601262 | 5848 1446 | 12 | 36 1478.15/1478.66 c 1432s | 24 | 3782536 | 3605762 | 5848 1448 | 12 | 36 1480.16/1480.67 c 1434s | 24 | 3787139 | 3610162 | 5848 1449 | 12 | 36 1482.25/1482.71 c 1436s | 24 | 3791978 | 3614862 | 5848 1451 | 12 | 36 1484.25/1484.74 c 1438s | 24 | 3797127 | 3619762 | 5848 1452 | 12 | 36 1486.25/1486.77 c 1440s | 24 | 3802071 | 3624562 | 5848 1454 | 12 | 36 1488.35/1488.80 c 1442s | 24 | 3807202 | 3629462 | 5848 1455 | 12 | 36 1490.35/1490.80 c 1444s | 24 | 3811393 | 3633462 | 5848 1457 | 12 | 36 1492.36/1492.84 c 1446s | 24 | 3815819 | 3637762 | 5848 1458 | 12 | 36 1494.35/1494.87 c 1448s | 24 | 3820586 | 3642362 | 5848 1460 | 12 | 36 1496.45/1496.92 c 1450s | 24 | 3824717 | 3646362 | 5848 1461 | 12 | 36 1498.45/1498.98 c 1453s | 24 | 3829627 | 3651162 | 5848 1463 | 12 | 36 1500.55/1501.03 c 1455s | 24 | 3833393 | 3654862 | 5848 1464 | 12 | 36 1502.55/1503.05 c 1457s | 24 | 3837577 | 3658862 | 5848 1465 | 12 | 36 1504.55/1505.09 c 1459s | 24 | 3841975 | 3663162 | 5848 1466 | 12 | 36 1506.65/1507.11 c 1461s | 24 | 3846802 | 3667862 | 5848 1468 | 12 | 36 1508.65/1509.14 c 1463s | 24 | 3851019 | 3671962 | 5848 1469 | 12 | 36 1510.65/1511.15 c 1465s | 24 | 3854722 | 3675562 | 5848 1471 | 12 | 36 1512.65/1513.16 c 1467s | 24 | 3859376 | 3680062 | 5848 1472 | 12 | 36 1514.75/1515.20 c 1469s | 24 | 3863950 | 3684362 | 5848 1473 | 12 | 36 1516.75/1517.20 c 1471s | 24 | 3868054 | 3688362 | 5848 1475 | 12 | 36 1518.76/1519.23 c 1473s | 24 | 3872225 | 3692362 | 5848 1476 | 12 | 36 1520.75/1521.27 c 1475s | 24 | 3876262 | 3696262 | 5848 1477 | 12 | 36 1522.85/1523.31 c 1477s | 24 | 3880538 | 3700362 | 5848 1479 | 12 | 36 1524.85/1525.38 c 1479s | 24 | 3884515 | 3704162 | 5848 1480 | 12 | 36 1526.85/1527.39 c 1481s | 24 | 3888849 | 3708362 | 5848 1481 | 12 | 36 1528.95/1529.41 c 1483s | 24 | 3893521 | 3712862 | 5848 1483 | 12 | 36 1530.95/1531.44 c 1485s | 24 | 3898546 | 3717662 | 5848 1484 | 12 | 36 1532.96/1533.49 c 1487s | 24 | 3902738 | 3721562 | 5848 1486 | 12 | 36 1535.05/1535.56 c 1489s | 24 | 3906940 | 3725462 | 5848 1487 | 12 | 36 1537.15/1537.61 c 1491s | 24 | 3911125 | 3729362 | 5848 1488 | 12 | 36 1539.15/1539.66 c 1493s | 24 | 3915523 | 3733462 | 5848 1489 | 12 | 36 1541.25/1541.70 c 1495s | 24 | 3920038 | 3737562 | 5848 1491 | 12 | 36 1543.25/1543.73 c 1497s | 24 | 3924359 | 3741762 | 5848 1492 | 12 | 36 1545.25/1545.77 c 1499s | 24 | 3928718 | 3745962 | 5848 1494 | 12 | 36 1547.25/1547.80 c 1501s | 24 | 3933063 | 3750162 | 5848 1495 | 12 | 36 1549.35/1549.81 c 1503s | 24 | 3937646 | 3754562 | 5848 1496 | 12 | 36 1551.35/1551.82 c 1505s | 24 | 3942081 | 3758662 | 5848 1498 | 12 | 36 1553.34/1553.85 c 1507s | 24 | 3946413 | 3762762 | 5848 1499 | 12 | 36 1555.34/1555.88 c 1509s | 24 | 3950762 | 3766962 | 5848 1500 | 12 | 36 1557.44/1557.91 c 1511s | 24 | 3955306 | 3771362 | 5848 1502 | 12 | 36 1559.45/1559.95 c 1513s | 24 | 3959742 | 3775662 | 5848 1503 | 12 | 36 1561.44/1561.96 c 1515s | 24 | 3964328 | 3780062 | 5848 1505 | 12 | 36 1563.44/1563.97 c 1517s | 24 | 3968496 | 3784062 | 5848 1506 | 12 | 36 1565.54/1566.02 c 1520s | 24 | 3972308 | 3787762 | 5848 1507 | 12 | 36 1567.54/1568.07 c 1522s | 24 | 3976294 | 3791662 | 5848 1508 | 12 | 36 1569.54/1570.09 c 1524s | 24 | 3981328 | 3796562 | 5848 1510 | 12 | 36 1571.55/1572.10 c 1526s | 24 | 3985880 | 3800862 | 5848 1511 | 12 | 36 1573.65/1574.11 c 1528s | 24 | 3990550 | 3805362 | 5848 1513 | 12 | 36 1575.64/1576.15 c 1530s | 24 | 3995450 | 3810062 | 5848 1514 | 12 | 36 1577.64/1578.16 c 1532s | 24 | 4000080 | 3814562 | 5848 1516 | 12 | 36 1579.64/1580.16 c 1534s | 24 | 4004321 | 3818562 | 5848 1517 | 12 | 36 1581.64/1582.19 c 1536s | 24 | 4008526 | 3822662 | 5848 1519 | 12 | 36 1583.64/1584.20 c 1538s | 24 | 4013214 | 3827162 | 5848 1520 | 12 | 36 1585.64/1586.20 c 1540s | 24 | 4017595 | 3831462 | 5848 1521 | 12 | 36 1587.74/1588.21 c 1542s | 24 | 4021387 | 3835162 | 5848 1523 | 12 | 36 1589.74/1590.25 c 1544s | 24 | 4026028 | 3839662 | 5848 1524 | 12 | 36 1591.74/1592.28 c 1546s | 24 | 4030082 | 3843662 | 5848 1525 | 12 | 36 1593.83/1594.32 c 1548s | 24 | 4033539 | 3847062 | 5848 1527 | 12 | 36 1595.83/1596.33 c 1550s | 24 | 4037741 | 3851162 | 5848 1528 | 12 | 36 1597.84/1598.35 c 1552s | 24 | 4041729 | 3855062 | 5848 1529 | 12 | 36 1599.93/1600.40 c 1554s | 24 | 4046058 | 3859262 | 5848 1531 | 12 | 36 1601.93/1602.43 c 1556s | 24 | 4050874 | 3863962 | 5848 1532 | 12 | 36 1603.93/1604.45 c 1558s | 24 | 4055037 | 3868062 | 5848 1533 | 12 | 36 1605.93/1606.47 c 1560s | 24 | 4059460 | 3872362 | 5848 1535 | 12 | 36 1607.93/1608.48 c 1562s | 24 | 4063717 | 3876462 | 5848 1536 | 12 | 36 1610.04/1610.50 c 1564s | 24 | 4067708 | 3880362 | 5848 1537 | 12 | 36 1612.03/1612.51 c 1566s | 24 | 4071691 | 3884262 | 5848 1539 | 12 | 36 1614.03/1614.55 c 1568s | 24 | 4075893 | 3888362 | 5848 1540 | 12 | 36 1616.03/1616.56 c 1570s | 24 | 4079879 | 3892262 | 5848 1541 | 12 | 36 1618.03/1618.57 c 1572s | 24 | 4084303 | 3896562 | 5848 1543 | 12 | 36 1620.13/1620.62 c 1574s | 24 | 4088633 | 3900762 | 5848 1544 | 12 | 36 1622.14/1622.64 c 1576s | 24 | 4091850 | 3903862 | 5848 1545 | 12 | 36 1624.13/1624.69 c 1578s | 24 | 4095297 | 3907262 | 5848 1546 | 12 | 36 1626.23/1626.74 c 1580s | 24 | 4099639 | 3911562 | 5848 1548 | 12 | 36 1628.23/1628.75 c 1582s | 24 | 4104059 | 3915962 | 5848 1549 | 12 | 36 1630.23/1630.76 c 1584s | 24 | 4108336 | 3920162 | 5848 1550 | 12 | 36 1632.23/1632.77 c 1586s | 24 | 4112784 | 3924562 | 5848 1552 | 12 | 36 1634.33/1634.81 c 1588s | 24 | 4117366 | 3929062 | 5848 1553 | 12 | 36 1636.33/1636.84 c 1590s | 24 | 4121620 | 3933262 | 5848 1555 | 12 | 36 1638.33/1638.87 c 1592s | 24 | 4126166 | 3937762 | 5848 1556 | 12 | 36 1640.33/1640.89 c 1594s | 24 | 4130990 | 3942462 | 5848 1558 | 12 | 36 1642.43/1642.91 c 1596s | 24 | 4135641 | 3946962 | 5848 1559 | 12 | 36 1644.43/1644.95 c 1598s | 24 | 4139881 | 3951062 | 5848 1560 | 12 | 36 1646.43/1646.97 c 1600s | 24 | 4143723 | 3954762 | 5848 1562 | 12 | 36 1648.54/1649.02 c 1603s | 24 | 4147962 | 3958862 | 5848 1563 | 12 | 36 1650.53/1651.05 c 1605s | 24 | 4152644 | 3963362 | 5848 1564 | 12 | 36 1652.53/1653.07 c 1607s | 24 | 4156875 | 3967462 | 5848 1566 | 12 | 36 1654.63/1655.10 c 1609s | 24 | 4161476 | 3971862 | 5848 1567 | 12 | 36 1656.63/1657.14 c 1611s | 24 | 4166181 | 3976362 | 5848 1568 | 12 | 36 1658.63/1659.16 c 1613s | 24 | 4170352 | 3980362 | 5848 1570 | 12 | 36 1660.64/1661.18 c 1615s | 24 | 4174724 | 3984562 | 5848 1571 | 12 | 36 1662.74/1663.23 c 1617s | 24 | 4178636 | 3988262 | 5848 1572 | 12 | 36 1664.73/1665.25 c 1619s | 24 | 4182462 | 3991662 | 5848 1573 | 12 | 36 1666.83/1667.32 c 1621s | 24 | 4186296 | 3995262 | 5848 1575 | 12 | 36 1668.83/1669.37 c 1623s | 24 | 4189814 | 3998562 | 5848 1576 | 12 | 36 1670.93/1671.40 c 1625s | 24 | 4194848 | 4003562 | 5848 1577 | 12 | 36 1672.93/1673.40 c 1627s | 24 | 4200264 | 4008862 | 5848 1579 | 12 | 36 1674.94/1675.42 c 1629s | 24 | 4203294 | 4011662 | 5848 1580 | 12 | 36 1676.93/1677.48 c 1631s | 24 | 4206790 | 4014962 | 5848 1581 | 12 | 36 1678.93/1679.49 c 1633s | 24 | 4209886 | 4017862 | 5848 1582 | 12 | 36 1681.03/1681.50 c 1635s | 24 | 4213528 | 4021262 | 5848 1583 | 12 | 36 1683.03/1683.53 c 1637s | 24 | 4217355 | 4024962 | 5848 1584 | 12 | 36 1685.02/1685.58 c 1639s | 24 | 4220796 | 4028262 | 5848 1585 | 12 | 36 1687.12/1687.62 c 1641s | 24 | 4225580 | 4032962 | 5848 1587 | 12 | 36 1689.13/1689.66 c 1643s | 24 | 4229648 | 4036862 | 5848 1588 | 12 | 36 1691.12/1691.69 c 1645s | 24 | 4232679 | 4039462 | 5848 1589 | 12 | 36 1693.22/1693.73 c 1647s | 24 | 4235865 | 4042562 | 5848 1590 | 12 | 36 1695.22/1695.79 c 1649s | 24 | 4240144 | 4046662 | 5848 1591 | 12 | 36 1697.22/1697.79 c 1651s | 24 | 4245023 | 4051462 | 5848 1593 | 12 | 36 1699.32/1699.82 c 1653s | 24 | 4249283 | 4055462 | 5848 1594 | 12 | 36 1701.33/1701.86 c 1655s | 24 | 4254241 | 4060162 | 5848 1595 | 12 | 36 1703.43/1703.92 c 1657s | 24 | 4257886 | 4063762 | 5848 1596 | 12 | 36 1705.42/1705.96 c 1659s | 24 | 4261583 | 4066962 | 5848 1598 | 12 | 36 1707.52/1708.03 c 1662s | 24 | 4265375 | 4070362 | 5848 1599 | 12 | 36 1709.52/1710.06 c 1664s | 24 | 4268567 | 4073362 | 5848 1600 | 12 | 36 1711.52/1712.08 c 1666s | 24 | 4273515 | 4078062 | 5848 1601 | 12 | 36 1713.62/1714.12 c 1668s | 24 | 4278392 | 4082862 | 5848 1603 | 12 | 36 1715.62/1716.14 c 1670s | 24 | 4282877 | 4087262 | 5848 1604 | 12 | 36 1717.62/1718.15 c 1672s | 24 | 4287144 | 4091262 | 5848 1605 | 12 | 36 1719.62/1720.18 c 1674s | 24 | 4290903 | 4094862 | 5848 1607 | 12 | 36 1721.72/1722.20 c 1676s | 24 | 4294799 | 4098662 | 5848 1608 | 12 | 36 1723.72/1724.24 c 1678s | 24 | 4298973 | 4102662 | 5848 1609 | 12 | 36 1725.71/1726.27 c 1680s | 24 | 4302994 | 4106562 | 5848 1610 | 12 | 36 1727.81/1728.32 c 1682s | 24 | 4307151 | 4110562 | 5848 1612 | 12 | 36 1729.82/1730.32 c 1684s | 24 | 4311405 | 4114662 | 5848 1613 | 12 | 36 1731.81/1732.34 c 1686s | 24 | 4314220 | 4117162 | 5848 1614 | 12 | 36 1733.81/1734.36 c 1688s | 24 | 4318577 | 4121362 | 5848 1615 | 12 | 36 1735.81/1736.39 c 1690s | 24 | 4323770 | 4126462 | 5848 1617 | 12 | 36 1737.91/1738.42 c 1692s | 24 | 4327677 | 4130062 | 5848 1618 | 12 | 36 1739.91/1740.46 c 1694s | 24 | 4331047 | 4132862 | 5848 1619 | 12 | 36 1741.92/1742.50 c 1696s | 24 | 4334734 | 4136262 | 5848 1620 | 12 | 36 1744.01/1744.51 c 1698s | 24 | 4339910 | 4141362 | 5848 1621 | 12 | 36 1746.01/1746.52 c 1700s | 24 | 4345039 | 4146362 | 5848 1623 | 12 | 36 1748.01/1748.54 c 1702s | 24 | 4349536 | 4150762 | 5848 1625 | 12 | 36 1750.01/1750.58 c 1704s | 24 | 4354956 | 4156062 | 5848 1626 | 12 | 36 1752.11/1752.61 c 1706s | 24 | 4359458 | 4160462 | 5848 1628 | 12 | 36 1754.12/1754.64 c 1708s | 24 | 4363510 | 4164362 | 5848 1629 | 12 | 36 1756.11/1756.67 c 1710s | 24 | 4367274 | 4167662 | 5848 1630 | 12 | 36 1758.21/1758.71 c 1712s | 24 | 4370956 | 4170962 | 5848 1631 | 12 | 36 1760.22/1760.71 c 1714s | 24 | 4374792 | 4174462 | 5848 1632 | 12 | 36 1762.22/1762.71 c 1716s | 24 | 4378428 | 4177762 | 5848 1633 | 12 | 36 1764.21/1764.76 c 1718s | 24 | 4382692 | 4181862 | 5848 1635 | 12 | 36 1766.31/1766.82 c 1720s | 24 | 4387392 | 4186362 | 5848 1636 | 12 | 36 1768.32/1768.84 c 1722s | 24 | 4391041 | 4189662 | 5848 1637 | 12 | 36 1770.31/1770.86 c 1724s | 24 | 4394763 | 4193062 | 5848 1638 | 12 | 36 1772.41/1772.90 c 1726s | 24 | 4399094 | 4197162 | 5848 1639 | 12 | 36 1774.41/1774.94 c 1728s | 24 | 4403406 | 4201162 | 5848 1641 | 12 | 36 1776.41/1776.97 c 1730s | 24 | 4407424 | 4204762 | 5848 1642 | 12 | 36 1778.41/1778.98 c 1733s | 24 | 4410969 | 4208062 | 5848 1643 | 12 | 36 1780.52/1781.02 c 1735s | 24 | 4414761 | 4211762 | 5848 1644 | 12 | 36 1782.51/1783.07 c 1737s | 24 | 4418964 | 4215862 | 5848 1645 | 12 | 36 1784.51/1785.08 c 1739s | 24 | 4423301 | 4219862 | 5848 1647 | 12 | 36 1786.61/1787.12 c 1741s | 24 | 4427079 | 4223262 | 5848 1648 | 12 | 36 1788.61/1789.16 c 1743s | 24 | 4431408 | 4227262 | 5848 1649 | 12 | 36 1790.61/1791.19 c 1745s | 24 | 4435611 | 4231262 | 5848 1650 | 12 | 36 1792.71/1793.23 c 1747s | 24 | 4439963 | 4235362 | 5848 1652 | 12 | 36 1794.71/1795.26 c 1749s | 24 | 4443629 | 4238862 | 5848 1653 | 12 | 36 1796.71/1797.29 c 1751s | 24 | 4447983 | 4243062 | 5848 1654 | 12 | 36 1798.71/1799.29 c 1753s | 24 | 4452752 | 4247762 | 5848 1656 | 12 | 36
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-4106493-1466272518/watcher-4106493-1466272518 -o /tmp/evaluation-result-4106493-1466272518/solver-4106493-1466272518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106493-1466272518.opb pid=9802 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: 2.11 2.11 2.09 3/179 9805 /proc/meminfo: memFree=30180928/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=533948 CPUtime=0 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 1958 0 0 0 0 0 0 0 20 0 4 0 29301900 546762752 2319 33554432000 4194304 16246674 140734524120480 140734524119904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 134255 2328 441 2943 0 131149 0 [pid=9805/tid=9806] ppid=9802 vsize=577980 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 591851520 2489 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=582076 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 596045824 2505 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=587196 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301900 601288704 2525 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100207 s] /proc/loadavg: 2.11 2.11 2.09 3/179 9805 /proc/meminfo: memFree=30180928/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 21431 0 0 0 6 3 0 0 20 0 4 0 29301900 1247350784 21780 33554432000 4194304 16246674 140734524120480 140734524119904 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 304529 21786 758 2943 0 301423 0 [pid=9805/tid=9806] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 21791 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 21796 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 21804 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200476 s] /proc/loadavg: 2.11 2.11 2.09 3/179 9805 /proc/meminfo: memFree=30180928/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 38943 0 0 0 13 5 0 0 20 0 4 0 29301900 1247350784 39292 33554432000 4194304 16246674 140734524120480 140734524119904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 304529 39300 758 2943 0 301423 0 [pid=9805/tid=9806] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 39304 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 39308 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 39313 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300468 s] /proc/loadavg: 2.11 2.11 2.09 3/179 9805 /proc/meminfo: memFree=30180928/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 56949 0 0 0 21 8 0 0 20 0 4 0 29301900 1247350784 57298 33554432000 4194304 16246674 140734524120480 140734524119904 5676365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 304529 57302 758 2943 0 301423 0 [pid=9805/tid=9806] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 57304 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 57307 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 57311 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700353 s] /proc/loadavg: 2.11 2.11 2.09 3/179 9805 /proc/meminfo: memFree=30180928/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 129423 0 0 0 50 19 0 0 20 0 4 0 29301900 1247350784 129772 33554432000 4194304 16246674 140734524120480 140734524102400 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 304529 129780 765 2943 0 301423 0 [pid=9805/tid=9806] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 129783 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 129789 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29301900 1247350784 129792 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.11 2.11 2.09 3/183 9809 /proc/meminfo: memFree=29374840/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 246054 0 0 0 114 35 0 0 20 0 4 0 29301900 1249447936 246380 33554432000 4194304 16246674 140734524120480 140734524119792 12483300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 305041 246380 832 2943 0 301935 0 [pid=9805/tid=9806] ppid=9802 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1249447936 246380 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1249447936 246380 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1249447936 246380 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.11 2.11 2.09 3/183 9809 /proc/meminfo: memFree=29195784/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1303108 CPUtime=3.09 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 266615 0 0 0 271 38 0 0 20 0 4 0 29301900 1334382592 266941 33554432000 4194304 16246674 140734524120480 140734524102400 6012824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 325777 266941 833 2943 0 322671 0 [pid=9805/tid=9806] ppid=9802 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1334382592 266941 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1334382592 266941 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1334382592 266941 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30041 s] /proc/loadavg: 2.10 2.11 2.09 3/183 9809 /proc/meminfo: memFree=29108752/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 267722 0 0 0 591 38 0 0 20 0 4 0 29301900 1338576896 268048 33554432000 4194304 16246674 140734524120480 140734524102400 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 326801 268048 834 2943 0 323695 0 [pid=9805/tid=9806] ppid=9802 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1338576896 268048 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1338576896 268048 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1338576896 268048 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.17 2.12 2.09 3/183 9809 /proc/meminfo: memFree=29107684/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 268084 0 0 0 1230 38 0 0 20 0 4 0 29301900 1339625472 268410 33554432000 4194304 16246674 140734524120480 140734524102400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 327057 268410 836 2943 0 323951 0 [pid=9805/tid=9806] ppid=9802 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1339625472 268410 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1339625472 268410 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1339625472 268410 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.13 2.11 2.09 3/183 9809 /proc/meminfo: memFree=29106844/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1309252 CPUtime=25.49 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 268336 0 0 0 2510 39 0 0 20 0 4 0 29301900 1340674048 268662 33554432000 4194304 16246674 140734524120480 140734524102400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 327313 268662 836 2943 0 324207 0 [pid=9805/tid=9806] ppid=9802 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1340674048 268662 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1340674048 268662 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1340674048 268662 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.09 2.10 2.09 3/183 9809 /proc/meminfo: memFree=29094328/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1321540 CPUtime=51.09 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 271486 0 0 0 5069 40 0 0 20 0 4 0 29301900 1353256960 271812 33554432000 4194304 16246674 140734524120480 140734524102400 5662354 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330385 271812 857 2943 0 327279 0 [pid=9805/tid=9806] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271812 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271812 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271812 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.10 2.10 2.09 3/183 9810 /proc/meminfo: memFree=29094388/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 271487 0 0 0 10188 40 0 0 20 0 4 0 29301900 1353256960 271813 33554432000 4194304 16246674 140734524120480 140734524102400 5523247 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330385 271813 858 2943 0 327279 0 [pid=9805/tid=9806] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271813 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271813 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1353256960 271813 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.25 2.25 2.18 3/183 10011 /proc/meminfo: memFree=29090576/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1361.87 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 136138 49 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 13780492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.16 2.22 2.18 3/183 10012 /proc/meminfo: memFree=29090348/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1421.87 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 142138 49 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 6021672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 10014 /proc/meminfo: memFree=29090376/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1481.85 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 148136 49 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 5677273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1323588 [startup+1542.31 s] /proc/loadavg: 2.18 2.21 2.18 3/184 10018 /proc/meminfo: memFree=29086464/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1541.85 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 154135 50 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1323588 [startup+1602.3 s] /proc/loadavg: 2.15 2.20 2.18 3/183 10019 /proc/meminfo: memFree=29086492/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1601.83 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 160133 50 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524103480 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1323588 [startup+1662.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 10020 /proc/meminfo: memFree=29086140/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1661.83 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 166132 51 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 12477948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.19 2.19 2.18 3/183 10021 /proc/meminfo: memFree=29085828/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1721.82 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 172131 51 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 5545907 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1323588 [startup+1782.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 10023 /proc/meminfo: memFree=29085328/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1781.81 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 178129 52 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1323588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.18 2.17 3/183 10023 /proc/meminfo: memFree=29085456/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1800.01 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 179949 52 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1323588 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 9805 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.18 2.17 3/183 10023 /proc/meminfo: memFree=29085456/32872528 swapFree=526336/559040 [pid=9805] ppid=9802 vsize=1323588 CPUtime=1800.01 cores=0,2,4,6 /proc/9805/stat : 9805 (toysat) R 9802 9805 28898 0 -1 4202496 272398 0 0 0 179949 52 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 140734524102400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9805/statm: 330897 272328 858 2943 0 327791 0 [pid=9805/tid=9806] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9806/stat : 9806 (toysat) S 9802 9805 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688476126448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9805/tid=9807] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9807/stat : 9807 (toysat) S 9802 9805 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688465636592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9805/tid=9808] ppid=9802 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/9805/task/9808/stat : 9808 (toysat) S 9802 9805 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29301900 1355354112 272328 33554432000 4194304 16246674 140734524120480 139688455163056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1323588 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.49 CPU system time (s): 0.52592 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1323588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.52592 maximum resident set size= 1089312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272398 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= 413 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6063 second user time and 6.91695 second system time The end
Begin job on node106 at 2016-06-18 19:55:18 IDJOB=4106493 IDBENCH=48080 IDSOLVER=2542 FILE ID=node106/4106493-1466272518 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 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=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106493-1466272518/watcher-4106493-1466272518 -o /tmp/evaluation-result-4106493-1466272518/solver-4106493-1466272518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106493-1466272518.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d RANDOM SEED=1294096741 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30181464 kB Buffers: 94320 kB Cached: 197664 kB SwapCached: 1736 kB Active: 1191348 kB Inactive: 194836 kB Active(anon): 1092196 kB Inactive(anon): 4000 kB Active(file): 99152 kB Inactive(file): 190836 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16396 kB Writeback: 0 kB AnonPages: 1651940 kB Mapped: 10568 kB Shmem: 0 kB Slab: 612912 kB SReclaimable: 56608 kB SUnreclaim: 556304 kB KernelStack: 1456 kB PageTables: 7352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1795428 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1118208 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= 71668 MiB End job on node106 at 2016-06-18 20:25:18