Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb |
| MD5SUM | 64354bd2b9c3cc2f1ca2c32032e5c032 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6260 |
| Sum of products size (including duplicates) | 12520 |
| Number of different products | 6260 |
| Sum of products size | 12520 |
0.00/0.00 c 2016-06-07T01:42:57+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-4080132-1465256577.opb"] 0.00/0.01 c use --random-gen="2744559 2866565004 2692422662 3612062124 3435579009 4092230076 3961710918 3685434690 293045511 1676814813 779586362 1543535133 3669289373 1542292330 844073368 4099805024 23398353 684307979 3167666787 2126144602 1573199865 2079908881 3204690766 1152729597 4059928596 1031515663 560507489 3953642573 4233471611 2899535382 1939118187 821757423 3908471570 193922331 1003564825 1261253499 1326625127 40669698 2411469178 3171902798 920994126 2821806805 3600553914 3950608177 3204943850 2406437791 2466627877 1877210863 3122005413 3369774425 2477433519 1841912071 385924425 2298102653 549206774 3723544792 1578487573 3844113711 3019914642 1322824011 3310097456 1957100010 1909179219 4251315357 3901094428 1978053190 416561957 2445655623 1400626158 156755895 2282333180 3927047449 2677527681 1524322070 2957397950 4256614976 3063465264 2292832200 1308947531 1698917064 928309464 2777548308 2442226877 3957523615 2414150447 4179292420 3974108219 1546794012 1422377262 370144393 3726745967 2341954055 1913520094 1556093478 2454243477 1627945675 2873779815 2021556260 3451809253 1287118602 309524309 1129813763 520300485 3329886727 1415554983 1919585107 4076308167 1571730162 835263431 901433633 1566724179 949910991 749194109 295482494 1388175594 3346460691 497473229 530141501 4218056875 3163080295 2614134692 2281245335 3453642161 1244396339 915985229 700581863 2660392923 870157116 2618242601 1732086566 2729580204 4039761952 2375085655 2904074458 1987670954 4156980720 1427507405 3338439801 1166487673 4169384699 2081725375 244154544 128861425 1527713458 3504275080 938054320 55863121 3793855166 3794035357 4197141690 4097572255 954912675 3665139399 2577427532 1255212971 3670555791 1218379868 3479094110 3140295307 2796588149 3794801211 2207827723 3133640989 3512694529 4069246132 3325630584 2388457287 3743264332 186032069 3253790926 492008319 3334049481 352194767 813451004 1005919752 1823422830 1186063084 3499155352 340945947 1965203044 4240634122 1390881786 3215194574 2169635745 1114016182 1183083139 1399892140 4151288559 1305936879 46026600 2067861002 1839992917 4291732590 391564759 481607640 1536376857 1845667997 1086939242 146193442 3502863650 444499214 1434171462 4093010121 2892710084 3820096262 2970636422 3121542551 2611646016 293070124 695995409 552939067 4032770921 2901125331 1656084911 1642666927 2226034775 172883666 4063975566 2542867581 4249791275 1959949018 2518114921 2866550008 2889365608 3249668376 3162215416 3915815891 937126557 3416314332 105260368 4073059538 3951984047 418367639 1950054971 1664517952 763009378 3707104044 205477868 489880192 592341411 4130537286 4199069376 890733585 965079852 3783911010 3167793015 2352031548 1683604780 3542013079 4262176892 2179569310 1066274524 4126260895 2945016259 298896119 958784472 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 200 0.09/0.13 c BCD2: Hardening is enabled. 0.09/0.13 c BCD2: BiasedSearch is enabled. 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 661 | 0 | 6393 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.018s 0.09/0.16 c #wall_clock_time = 0.018s 0.09/0.16 c #decision = 661 0.09/0.16 c #random_decision = 2 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 o 175 0.09/0.16 c BCD2: updating upper bound: 200 -> 174 0.09/0.16 c BCD2: 0 <= obj <= 174 0.09/0.16 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 160 | 0 | 6393 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.015s 0.09/0.17 c #wall_clock_time = 0.015s 0.09/0.17 c #decision = 160 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 27: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 174 0.09/0.17 c BCD2: #cores=1, #unrelaxed=173, #relaxed=27, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 172 | 0 | 6393 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.016s 0.09/0.19 c #wall_clock_time = 0.016s 0.09/0.19 c #decision = 172 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 29: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 174 0.09/0.19 c BCD2: #cores=2, #unrelaxed=144, #relaxed=56, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 0 0.18/0.22 c 0.0s | 0 | 1121 | 0 | 6393 0 | 0 | 0 0.18/0.22 c #cpu_time = 0.019s 0.18/0.22 c #wall_clock_time = 0.019s 0.18/0.22 c #decision = 1121 0.18/0.22 c #random_decision = 3 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 o 29 0.18/0.22 c BCD2: updating upper bound: 174 -> 28 0.18/0.22 c BCD2: 2 <= obj <= 28 0.18/0.22 c BCD2: #cores=2, #unrelaxed=144, #relaxed=56, #hardened=0 0.18/0.22 c BCD2: #sat=2 #unsat=3 bias=3/5 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 1 0.29/0.30 c 0.1s | 0 | 766 | 68 | 6393 0 | 0 | 1 0.29/0.30 c #cpu_time = 0.059s 0.29/0.30 c #wall_clock_time = 0.060s 0.29/0.30 c #decision = 766 0.29/0.30 c #random_decision = 3 0.29/0.30 c #conflict = 68 0.29/0.30 c #restart = 0 0.29/0.30 o 17 0.29/0.30 c BCD2: updating upper bound: 28 -> 16 0.29/0.31 c BCD2: 2 <= obj <= 16 0.29/0.31 c BCD2: #cores=2, #unrelaxed=144, #relaxed=56, #hardened=0 0.29/0.31 c BCD2: #sat=3 #unsat=3 bias=3/6 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 6393 0 | 0 | 2 0.29/0.39 c 0.1s | 1 | 318 | 100 | 7033 0 | 0 | 2 0.48/0.55 c 0.2s | 2 | 727 | 250 | 7737 0 | 0 | 2 0.79/0.82 c 0.5s | 3 | 1247 | 475 | 8511 0 | 0 | 2 1.20/1.23 c 0.9s | 4 | 1866 | 813 | 9363 0 | 0 | 2 1.69/1.79 c 1.5s | 5 | 2798 | 1320 | 10300 0 | 0 | 2 3.09/3.12 c 2.8s | 6 | 4075 | 2081 | 11331 0 | 0 | 2 4.99/5.02 c 4.7s | 7 | 5851 | 3223 | 12465 0 | 0 | 2 7.18/7.21 c 6.9s | 7 | 7970 | 4523 | 12465 0 | 0 | 2 7.88/7.90 c 7.6s | 8 | 8549 | 4936 | 13712 0 | 0 | 2 9.89/9.91 c 9.6s | 8 | 9713 | 5636 | 13712 0 | 0 | 2 11.79/11.86 c 11.6s | 8 | 11006 | 6532 | 13712 0 | 0 | 2 11.79/11.86 c #cpu_time = 11.521s 11.79/11.86 c #wall_clock_time = 11.550s 11.79/11.86 c #decision = 11006 11.79/11.86 c #random_decision = 15 11.79/11.86 c #conflict = 6532 11.79/11.86 c #restart = 8 11.79/11.86 c BCD2: relaxing 144 and merging with 2 cores into a new core of size 200: cost of the new core is >=3 11.79/11.86 c lower bound updated to 3 11.79/11.86 c BCD2: 3 <= obj <= 16 11.79/11.86 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 11.79/11.86 c BCD2: #sat=3 #unsat=4 bias=4/7 11.79/11.86 c Solving starts ... 11.79/11.86 c ============================[ Search Statistics ]============================ 11.79/11.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.79/11.86 c | | | | Limit GC | Var | Constra 11.79/11.86 c ============================================================================= 11.79/11.86 c 0.0s | 0 | 0 | 0 | 13712 0 | 7 | 2 12.58/12.68 c 0.8s | 1 | 1068 | 100 | 13712 0 | 7 | 14 13.19/13.28 c 1.4s | 2 | 2076 | 250 | 13712 0 | 7 | 14 14.19/14.27 c 2.4s | 3 | 3443 | 475 | 13712 0 | 7 | 14 15.50/15.54 c 3.7s | 4 | 5135 | 813 | 13712 0 | 7 | 14 17.39/17.45 c 5.6s | 5 | 7300 | 1320 | 15084 0 | 7 | 14 19.49/19.58 c 7.7s | 5 | 9832 | 1920 | 15084 0 | 7 | 14 20.09/20.17 c 8.3s | 6 | 10402 | 2081 | 15084 0 | 7 | 14 22.10/22.18 c 10.3s | 6 | 12922 | 2681 | 15084 0 | 7 | 14 24.09/24.11 c 12.2s | 7 | 15153 | 3223 | 15084 0 | 7 | 14 26.09/26.16 c 14.3s | 7 | 17482 | 3823 | 15084 0 | 7 | 14 28.29/28.38 c 16.5s | 7 | 20187 | 4523 | 15084 0 | 7 | 14 29.70/29.77 c 17.9s | 8 | 21723 | 4936 | 16593 0 | 7 | 14 31.79/31.83 c 20.0s | 8 | 23762 | 5536 | 16593 0 | 7 | 14 33.79/33.87 c 22.0s | 8 | 25072 | 6136 | 16593 0 | 7 | 14 36.29/36.33 c 24.5s | 8 | 26912 | 6736 | 16593 0 | 7 | 14 38.39/38.48 c 26.6s | 8 | 28600 | 7236 | 16593 0 | 7 | 14 39.39/39.48 c 27.6s | 9 | 29820 | 7506 | 16593 0 | 7 | 14 41.39/41.49 c 29.6s | 9 | 31655 | 8006 | 16593 0 | 7 | 14 43.59/43.60 c 31.7s | 9 | 33478 | 8506 | 16593 0 | 7 | 14 45.79/45.81 c 33.9s | 9 | 36279 | 9106 | 16593 0 | 7 | 14 47.99/48.06 c 36.2s | 9 | 38970 | 9706 | 16593 0 | 7 | 14 50.29/50.36 c 38.5s | 9 | 41005 | 10306 | 16593 0 | 7 | 14 52.59/52.64 c 40.8s | 9 | 42516 | 10906 | 18253 0 | 7 | 14 54.58/54.62 c 42.8s | 10 | 44322 | 11361 | 18253 0 | 7 | 14 56.78/56.85 c 45.0s | 10 | 46104 | 11861 | 18253 0 | 7 | 14 58.88/58.92 c 47.1s | 10 | 48063 | 12361 | 18253 0 | 7 | 14 60.88/60.97 c 49.1s | 10 | 49886 | 12861 | 18253 0 | 7 | 14 63.28/63.32 c 51.5s | 10 | 51765 | 13461 | 18253 0 | 7 | 14 65.58/65.69 c 53.8s | 10 | 53618 | 14061 | 18253 0 | 7 | 14 67.98/68.02 c 56.2s | 10 | 55462 | 14661 | 18253 0 | 7 | 14 69.98/70.04 c 58.2s | 10 | 57074 | 15261 | 18253 0 | 7 | 14 72.08/72.11 c 60.3s | 10 | 58281 | 15761 | 18253 0 | 7 | 14 74.38/74.46 c 62.6s | 10 | 59444 | 16361 | 18253 0 | 7 | 14 76.68/76.71 c 64.8s | 10 | 61034 | 16961 | 18253 0 | 7 | 14 77.18/77.29 c 65.4s | 11 | 61879 | 17144 | 18253 0 | 7 | 14 79.58/79.69 c 67.8s | 11 | 63860 | 17644 | 18253 0 | 7 | 14 81.78/81.89 c 70.0s | 11 | 65114 | 18144 | 18253 0 | 7 | 14 83.98/84.00 c 72.1s | 11 | 67179 | 18744 | 18253 0 | 7 | 14 85.98/86.08 c 74.2s | 11 | 68695 | 19344 | 20079 0 | 7 | 14 88.18/88.25 c 76.4s | 11 | 70574 | 19844 | 20079 0 | 7 | 14 90.58/90.63 c 78.8s | 11 | 72651 | 20444 | 20079 0 | 7 | 14 92.88/92.97 c 81.1s | 11 | 74125 | 20944 | 20079 1 | 7 | 14 95.18/95.21 c 83.3s | 11 | 75464 | 21444 | 20079 1 | 7 | 14 97.28/97.37 c 85.5s | 11 | 77400 | 21944 | 20079 1 | 7 | 14 99.38/99.47 c 87.6s | 11 | 80156 | 22444 | 20079 1 | 7 | 14 101.48/101.58 c 89.7s | 11 | 82568 | 22944 | 20079 1 | 7 | 14 103.58/103.65 c 91.8s | 11 | 84151 | 23444 | 20079 1 | 7 | 14 105.88/105.94 c 94.1s | 11 | 85624 | 23944 | 20079 1 | 7 | 14 108.08/108.18 c 96.3s | 11 | 87136 | 24544 | 20079 1 | 7 | 14 110.28/110.36 c 98.5s | 11 | 88834 | 25044 | 20079 1 | 7 | 14 112.47/112.53 c 100s | 11 | 91863 | 25544 | 20079 1 | 7 | 14 113.47/113.59 c 101s | 12 | 93088 | 25819 | 20079 1 | 7 | 14 115.97/116.01 c 104s | 12 | 95473 | 26419 | 20079 1 | 7 | 14 117.97/118.03 c 106s | 12 | 97229 | 26919 | 20079 1 | 7 | 14 120.27/120.38 c 108s | 12 | 99986 | 27619 | 20079 1 | 7 | 14 122.47/122.59 c 110s | 12 | 101728 | 28219 | 20079 1 | 7 | 14 124.87/124.99 c 113s | 12 | 103534 | 28819 | 20079 1 | 7 | 14 127.17/127.24 c 115s | 12 | 105164 | 29419 | 20079 1 | 7 | 14 129.37/129.41 c 117s | 12 | 106527 | 29919 | 20079 1 | 7 | 14 131.57/131.60 c 119s | 12 | 107723 | 30319 | 20079 1 | 7 | 14 133.67/133.71 c 121s | 12 | 109604 | 30819 | 20079 1 | 7 | 14 135.97/136.01 c 124s | 12 | 111733 | 31419 | 20079 1 | 7 | 14 138.37/138.41 c 126s | 12 | 113494 | 32019 | 22087 2 | 7 | 14 140.67/140.72 c 128s | 12 | 115421 | 32619 | 22087 2 | 7 | 14 142.87/142.96 c 131s | 12 | 117449 | 33219 | 22087 2 | 7 | 14 145.17/145.28 c 133s | 12 | 119181 | 33719 | 22087 2 | 7 | 14 147.57/147.61 c 135s | 12 | 121260 | 34419 | 22087 2 | 7 | 14 149.97/150.03 c 138s | 12 | 122532 | 35019 | 22087 2 | 7 | 14 152.27/152.33 c 140s | 12 | 124163 | 35519 | 22087 2 | 7 | 14 154.27/154.35 c 142s | 12 | 126353 | 36019 | 22087 2 | 7 | 14 156.47/156.50 c 144s | 12 | 128118 | 36519 | 22087 2 | 7 | 14 158.57/158.65 c 146s | 12 | 130805 | 37119 | 22087 2 | 7 | 14 160.87/160.92 c 149s | 12 | 133853 | 37719 | 22087 2 | 7 | 14 162.87/162.96 c 151s | 12 | 135616 | 38219 | 22087 2 | 7 | 14 164.97/165.08 c 153s | 12 | 137952 | 38819 | 22087 2 | 7 | 14 165.07/165.13 c 153s | 13 | 138002 | 38832 | 22087 2 | 7 | 14 167.36/167.48 c 155s | 13 | 140222 | 39432 | 22087 2 | 7 | 14 169.66/169.74 c 157s | 13 | 141454 | 39932 | 22087 2 | 7 | 14 171.86/171.98 c 160s | 13 | 143389 | 40432 | 22087 2 | 7 | 14 174.26/174.31 c 162s | 13 | 146403 | 41032 | 22087 2 | 7 | 14 176.56/176.64 c 164s | 13 | 148273 | 41632 | 22087 2 | 7 | 14 178.96/179.00 c 167s | 13 | 149652 | 42132 | 22087 2 | 7 | 14 181.06/181.15 c 169s | 13 | 151047 | 42632 | 22087 2 | 7 | 14 183.36/183.45 c 171s | 13 | 152592 | 43232 | 22087 2 | 7 | 14 185.56/185.68 c 173s | 13 | 155054 | 43732 | 22087 2 | 7 | 14 187.86/187.98 c 176s | 13 | 156959 | 44332 | 22087 2 | 7 | 14 189.96/190.09 c 178s | 13 | 158864 | 44832 | 22087 3 | 7 | 14 192.26/192.39 c 180s | 13 | 160788 | 45432 | 22087 3 | 7 | 14 194.46/194.50 c 182s | 13 | 162489 | 45932 | 22087 3 | 7 | 14 196.76/196.84 c 184s | 13 | 164270 | 46532 | 22087 3 | 7 | 14 198.86/198.97 c 187s | 13 | 166032 | 47132 | 22087 3 | 7 | 14 201.16/201.22 c 189s | 13 | 167709 | 47632 | 22087 3 | 7 | 14 203.26/203.38 c 191s | 13 | 169191 | 48132 | 22087 3 | 7 | 14 205.46/205.50 c 193s | 13 | 171148 | 48632 | 22087 3 | 7 | 14 207.46/207.52 c 195s | 13 | 173513 | 49132 | 22087 3 | 7 | 14 209.86/209.91 c 198s | 13 | 175333 | 49732 | 22087 3 | 7 | 14 212.16/212.23 c 200s | 13 | 177090 | 50332 | 22087 3 | 7 | 14 214.36/214.50 c 202s | 13 | 178720 | 50932 | 22087 3 | 7 | 14 216.56/216.64 c 204s | 13 | 179762 | 51432 | 24296 3 | 7 | 14 218.55/218.68 c 206s | 13 | 180766 | 51932 | 24296 3 | 7 | 14 220.75/220.82 c 208s | 13 | 182288 | 52432 | 24296 3 | 7 | 14 222.95/223.02 c 211s | 13 | 183769 | 52932 | 24296 3 | 7 | 14 225.25/225.33 c 213s | 13 | 185939 | 53432 | 24296 3 | 7 | 14 227.25/227.39 c 215s | 13 | 187771 | 53932 | 24296 3 | 7 | 14 229.35/229.49 c 217s | 13 | 189765 | 54432 | 24296 3 | 7 | 14 231.35/231.49 c 219s | 13 | 191379 | 54932 | 24296 3 | 7 | 14 233.45/233.50 c 221s | 13 | 192429 | 55432 | 24296 3 | 7 | 14 235.55/235.66 c 223s | 13 | 193503 | 55932 | 24296 3 | 7 | 14 237.95/238.03 c 226s | 13 | 194705 | 56432 | 24296 3 | 7 | 14 240.25/240.30 c 228s | 13 | 195773 | 56932 | 24296 3 | 7 | 14 242.45/242.50 c 230s | 13 | 196891 | 57432 | 24296 3 | 7 | 14 244.85/244.98 c 233s | 13 | 198794 | 57932 | 24296 4 | 7 | 14 246.65/246.73 c 234s | 14 | 200397 | 58352 | 24296 4 | 7 | 14 248.75/248.81 c 236s | 14 | 203110 | 58852 | 24296 4 | 7 | 14 250.85/250.92 c 239s | 14 | 206131 | 59452 | 24296 4 | 7 | 14 253.05/253.18 c 241s | 14 | 208805 | 60052 | 24296 4 | 7 | 14 255.45/255.55 c 243s | 14 | 210844 | 60652 | 24296 4 | 7 | 14 257.65/257.71 c 245s | 14 | 212441 | 61252 | 24296 4 | 7 | 14 259.85/259.90 c 248s | 14 | 214427 | 61852 | 24296 4 | 7 | 14 262.25/262.30 c 250s | 14 | 215972 | 62452 | 24296 4 | 7 | 14 264.24/264.31 c 252s | 14 | 216898 | 62852 | 24296 4 | 7 | 14 266.54/266.62 c 254s | 14 | 218588 | 63352 | 24296 4 | 7 | 14 268.64/268.72 c 256s | 14 | 220441 | 63852 | 24296 4 | 7 | 14 270.94/271.01 c 259s | 14 | 222652 | 64452 | 24296 4 | 7 | 14 273.14/273.28 c 261s | 14 | 224685 | 65052 | 24296 4 | 7 | 14 275.64/275.71 c 263s | 14 | 227287 | 65652 | 24296 4 | 7 | 14 278.04/278.19 c 266s | 14 | 228967 | 66152 | 24296 4 | 7 | 14 280.45/280.57 c 268s | 14 | 230906 | 66752 | 24296 4 | 7 | 14 282.54/282.60 c 270s | 14 | 232108 | 67152 | 24296 4 | 7 | 14 284.64/284.73 c 272s | 14 | 234695 | 67652 | 24296 4 | 7 | 14 286.84/286.91 c 275s | 14 | 237057 | 68152 | 24296 4 | 7 | 14 288.84/288.97 c 277s | 14 | 238734 | 68652 | 24296 4 | 7 | 14 291.34/291.43 c 279s | 14 | 240300 | 69252 | 24296 4 | 7 | 14 293.65/293.80 c 281s | 14 | 241937 | 69852 | 24296 4 | 7 | 14 295.74/295.86 c 283s | 14 | 243361 | 70352 | 24296 4 | 7 | 14 298.14/298.27 c 286s | 14 | 244916 | 70952 | 24296 5 | 7 | 14 300.24/300.33 c 288s | 14 | 246100 | 71552 | 24296 5 | 7 | 14 302.24/302.36 c 290s | 14 | 247524 | 72052 | 24296 5 | 7 | 14 304.44/304.51 c 292s | 14 | 248906 | 72552 | 24296 5 | 7 | 14 306.74/306.87 c 295s | 14 | 250251 | 73152 | 24296 5 | 7 | 14 308.74/308.89 c 297s | 14 | 251789 | 73652 | 24296 5 | 7 | 14 311.04/311.17 c 299s | 14 | 253520 | 74152 | 24296 5 | 7 | 14 313.44/313.57 c 301s | 14 | 255310 | 74652 | 24296 5 | 7 | 14 315.74/315.81 c 303s | 14 | 257235 | 75152 | 24296 5 | 7 | 14 317.84/317.99 c 306s | 14 | 259011 | 75652 | 24296 5 | 7 | 14 319.93/320.09 c 308s | 14 | 261555 | 76252 | 24296 5 | 7 | 14 322.34/322.44 c 310s | 14 | 263399 | 76852 | 24296 5 | 7 | 14 324.33/324.50 c 312s | 14 | 264912 | 77352 | 24296 5 | 7 | 14 326.74/326.84 c 314s | 14 | 266379 | 77952 | 24296 5 | 7 | 14 329.14/329.25 c 317s | 14 | 267785 | 78552 | 24296 5 | 7 | 14 331.34/331.45 c 319s | 14 | 269891 | 79052 | 24296 5 | 7 | 14 333.74/333.80 c 321s | 14 | 271300 | 79652 | 24296 5 | 7 | 14 335.84/335.99 c 324s | 14 | 272810 | 80152 | 24296 5 | 7 | 14 337.94/338.05 c 326s | 14 | 274444 | 80552 | 26726 5 | 7 | 14 340.04/340.11 c 328s | 14 | 276033 | 80952 | 26726 5 | 7 | 14 342.05/342.13 c 330s | 14 | 277182 | 81352 | 26726 5 | 7 | 14 344.44/344.53 c 332s | 14 | 279048 | 81852 | 26726 5 | 7 | 14 346.45/346.53 c 334s | 14 | 280191 | 82252 | 26726 5 | 7 | 14 348.44/348.55 c 336s | 14 | 281193 | 82652 | 26726 5 | 7 | 14 350.84/350.96 c 339s | 14 | 283508 | 83152 | 26726 5 | 7 | 14 353.34/353.40 c 341s | 14 | 285250 | 83652 | 26726 5 | 7 | 14 355.64/355.70 c 343s | 14 | 286828 | 84152 | 26726 5 | 7 | 14 357.84/357.93 c 346s | 14 | 288292 | 84652 | 26726 5 | 7 | 14 359.94/360.06 c 348s | 14 | 289747 | 85152 | 26726 5 | 7 | 14 362.04/362.13 c 350s | 14 | 291118 | 85552 | 26726 6 | 7 | 14 364.04/364.15 c 352s | 14 | 292365 | 86052 | 26726 6 | 7 | 14 366.43/366.50 c 354s | 14 | 294280 | 86552 | 26726 6 | 7 | 14 368.54/368.68 c 356s | 14 | 295915 | 87052 | 26726 6 | 7 | 14 370.53/370.69 c 358s | 14 | 298256 | 87552 | 26726 6 | 7 | 14 370.83/370.94 c 359s | 15 | 298512 | 87632 | 26726 6 | 7 | 14 372.94/373.09 c 361s | 15 | 300011 | 88132 | 26726 6 | 7 | 14 375.33/375.41 c 363s | 15 | 302070 | 88732 | 26726 6 | 7 | 14 377.63/377.73 c 365s | 15 | 303755 | 89332 | 26726 6 | 7 | 14 379.63/379.75 c 367s | 15 | 304858 | 89832 | 26726 6 | 7 | 14 381.64/381.80 c 369s | 15 | 306822 | 90332 | 26726 6 | 7 | 14 383.84/383.93 c 372s | 15 | 308728 | 90832 | 26726 6 | 7 | 14 385.83/385.97 c 374s | 15 | 310349 | 91232 | 26726 6 | 7 | 14 387.93/388.05 c 376s | 15 | 312128 | 91732 | 26726 6 | 7 | 14 390.33/390.46 c 378s | 15 | 314325 | 92332 | 26726 6 | 7 | 14 392.53/392.64 c 380s | 15 | 315816 | 92832 | 26726 6 | 7 | 14 394.84/394.96 c 383s | 15 | 317386 | 93332 | 26726 6 | 7 | 14 396.93/397.05 c 385s | 15 | 318765 | 93832 | 26726 6 | 7 | 14 399.13/399.27 c 387s | 15 | 320318 | 94332 | 26726 6 | 7 | 14 401.33/401.47 c 389s | 15 | 321864 | 94832 | 26726 6 | 7 | 14 403.73/403.85 c 391s | 15 | 324295 | 95432 | 26726 6 | 7 | 14 406.13/406.22 c 394s | 15 | 325974 | 96032 | 26726 6 | 7 | 14 408.33/408.42 c 396s | 15 | 328178 | 96632 | 26726 6 | 7 | 14 410.53/410.64 c 398s | 15 | 329991 | 97232 | 26726 6 | 7 | 14 412.63/412.75 c 400s | 15 | 331712 | 97732 | 26726 6 | 7 | 14 414.93/415.01 c 403s | 15 | 333012 | 98232 | 26726 6 | 7 | 14 417.02/417.14 c 405s | 15 | 334327 | 98732 | 26726 6 | 7 | 14 419.13/419.28 c 407s | 15 | 335833 | 99232 | 26726 6 | 7 | 14 421.23/421.39 c 409s | 15 | 337304 | 99732 | 26726 7 | 7 | 14 423.53/423.69 c 411s | 15 | 338799 | 100332 | 26726 7 | 7 | 14 425.82/425.90 c 414s | 15 | 340886 | 100832 | 26726 7 | 7 | 14 428.22/428.31 c 416s | 15 | 342742 | 101532 | 26726 7 | 7 | 14 430.52/430.65 c 418s | 15 | 344622 | 102032 | 26726 7 | 7 | 14 432.82/432.96 c 421s | 15 | 346853 | 102532 | 26726 7 | 7 | 14 435.12/435.28 c 423s | 15 | 349910 | 103132 | 26726 7 | 7 | 14 437.22/437.32 c 425s | 15 | 351856 | 103632 | 26726 7 | 7 | 14 439.42/439.52 c 427s | 15 | 353126 | 104132 | 26726 7 | 7 | 14 441.42/441.59 c 429s | 15 | 354668 | 104632 | 26726 7 | 7 | 14 443.62/443.75 c 431s | 15 | 356036 | 105232 | 26726 7 | 7 | 14 446.02/446.19 c 434s | 15 | 357550 | 105832 | 26726 7 | 7 | 14 448.22/448.31 c 436s | 15 | 358642 | 106332 | 26726 7 | 7 | 14 450.22/450.34 c 438s | 15 | 359829 | 106832 | 26726 7 | 7 | 14 452.42/452.51 c 440s | 15 | 360971 | 107332 | 26726 7 | 7 | 14 454.52/454.63 c 442s | 15 | 362472 | 107832 | 26726 7 | 7 | 14 456.72/456.89 c 445s | 15 | 364440 | 108332 | 26726 7 | 7 | 14 458.92/459.01 c 447s | 15 | 366725 | 108932 | 26726 7 | 7 | 14 461.02/461.11 c 449s | 15 | 368069 | 109432 | 26726 7 | 7 | 14 463.21/463.31 c 451s | 15 | 369661 | 109932 | 26726 7 | 7 | 14 465.41/465.51 c 453s | 15 | 371358 | 110532 | 26726 7 | 7 | 14 467.71/467.82 c 455s | 15 | 373721 | 111132 | 26726 7 | 7 | 14 469.81/469.93 c 458s | 15 | 375098 | 111632 | 26726 7 | 7 | 14 472.21/472.32 c 460s | 15 | 376499 | 112232 | 26726 7 | 7 | 14 474.41/474.58 c 462s | 15 | 378055 | 112732 | 26726 7 | 7 | 14 476.81/476.98 c 465s | 15 | 379894 | 113232 | 26726 7 | 7 | 14 479.11/479.28 c 467s | 15 | 382675 | 113832 | 26726 7 | 7 | 14 481.21/481.32 c 469s | 15 | 384660 | 114332 | 26726 8 | 7 | 14 483.40/483.52 c 471s | 15 | 386956 | 114932 | 26726 8 | 7 | 14 485.60/485.71 c 473s | 15 | 388301 | 115532 | 26726 8 | 7 | 14 487.70/487.81 c 475s | 15 | 389904 | 116132 | 26726 8 | 7 | 14 489.90/490.04 c 478s | 15 | 391288 | 116732 | 26726 8 | 7 | 14 492.00/492.18 c 480s | 15 | 392722 | 117332 | 26726 8 | 7 | 14 494.10/494.23 c 482s | 15 | 393983 | 117832 | 26726 8 | 7 | 14 496.40/496.51 c 484s | 15 | 395533 | 118432 | 26726 8 | 7 | 14 498.50/498.66 c 486s | 15 | 397747 | 118932 | 26726 8 | 7 | 14 500.70/500.86 c 488s | 15 | 399602 | 119432 | 26726 8 | 7 | 14 502.99/503.12 c 491s | 15 | 401304 | 119932 | 26726 8 | 7 | 14 505.49/505.61 c 493s | 15 | 402734 | 120432 | 26726 8 | 7 | 14 507.69/507.82 c 495s | 15 | 404266 | 120932 | 26726 8 | 7 | 14 509.79/509.96 c 498s | 15 | 405783 | 121432 | 26726 8 | 7 | 14 511.79/511.99 c 500s | 15 | 406894 | 121932 | 26726 8 | 7 | 14 514.08/514.23 c 502s | 15 | 408091 | 122432 | 26726 8 | 7 | 14 516.18/516.30 c 504s | 15 | 410300 | 122932 | 26726 8 | 7 | 14 518.48/518.69 c 506s | 15 | 412835 | 123532 | 26726 8 | 7 | 14 520.88/521.09 c 509s | 15 | 414931 | 124132 | 29399 8 | 7 | 14 523.18/523.34 c 511s | 15 | 416647 | 124632 | 29399 8 | 7 | 14 525.38/525.54 c 513s | 15 | 418083 | 125132 | 29399 8 | 7 | 14 527.58/527.70 c 515s | 15 | 419478 | 125632 | 29399 8 | 7 | 14 529.58/529.72 c 517s | 15 | 420911 | 126132 | 29399 8 | 7 | 14 531.68/531.80 c 519s | 15 | 422643 | 126632 | 29399 8 | 7 | 14 533.67/533.84 c 521s | 15 | 424510 | 127132 | 29399 8 | 7 | 14 535.87/536.09 c 524s | 15 | 427723 | 127732 | 29399 8 | 7 | 14 538.37/538.50 c 526s | 15 | 429620 | 128332 | 29399 8 | 7 | 14 540.37/540.56 c 528s | 15 | 431054 | 128832 | 29399 8 | 7 | 14 542.37/542.57 c 530s | 15 | 432650 | 129432 | 29399 8 | 7 | 14 544.67/544.89 c 533s | 15 | 434125 | 130032 | 29399 8 | 7 | 14 546.86/547.05 c 535s | 15 | 435377 | 130532 | 29399 9 | 7 | 14 549.06/549.29 c 537s | 15 | 436526 | 131032 | 29399 9 | 7 | 14 551.16/551.34 c 539s | 15 | 438575 | 131532 | 29399 9 | 7 | 14 551.16/551.40 c 539s | 16 | 438615 | 131552 | 29399 9 | 7 | 14 553.66/553.82 c 541s | 16 | 440081 | 131952 | 29399 9 | 7 | 14 556.16/556.38 c 544s | 16 | 442055 | 132552 | 29399 9 | 7 | 14 558.47/558.60 c 546s | 16 | 444185 | 133052 | 29399 9 | 7 | 14 560.66/560.85 c 548s | 16 | 446318 | 133652 | 29399 9 | 7 | 14 562.96/563.18 c 551s | 16 | 448634 | 134252 | 29399 9 | 7 | 14 565.27/565.46 c 553s | 16 | 450118 | 134852 | 29399 9 | 7 | 14 567.36/567.59 c 555s | 16 | 451514 | 135352 | 29399 9 | 7 | 14 569.77/569.94 c 558s | 16 | 453128 | 135852 | 29399 9 | 7 | 14 572.16/572.38 c 560s | 16 | 454783 | 136352 | 29399 9 | 7 | 14 574.46/574.70 c 562s | 16 | 456265 | 136852 | 29399 9 | 7 | 14 576.66/576.81 c 564s | 16 | 457830 | 137352 | 29399 9 | 7 | 14 578.76/578.96 c 567s | 16 | 459857 | 137852 | 29399 9 | 7 | 14 580.96/581.14 c 569s | 16 | 461691 | 138352 | 29399 9 | 7 | 14 583.46/583.62 c 571s | 16 | 463233 | 138852 | 29399 9 | 7 | 14 585.66/585.81 c 573s | 16 | 464859 | 139252 | 29399 9 | 7 | 14 588.06/588.23 c 576s | 16 | 466946 | 139752 | 29399 9 | 7 | 14 590.46/590.64 c 578s | 16 | 468815 | 140252 | 29399 9 | 7 | 14 592.86/593.09 c 581s | 16 | 471184 | 140752 | 29399 9 | 7 | 14 595.06/595.25 c 583s | 16 | 472915 | 141152 | 29399 9 | 7 | 14 597.36/597.54 c 585s | 16 | 475016 | 141652 | 29399 9 | 7 | 14 599.46/599.62 c 587s | 16 | 476907 | 142152 | 29399 9 | 7 | 14 601.56/601.77 c 589s | 16 | 478207 | 142652 | 29399 9 | 7 | 14 603.65/603.88 c 592s | 16 | 479826 | 143052 | 29399 9 | 7 | 14 605.96/606.19 c 594s | 16 | 481531 | 143552 | 29399 9 | 7 | 14 608.16/608.33 c 596s | 16 | 483322 | 144052 | 29399 9 | 7 | 14 610.15/610.37 c 598s | 16 | 484724 | 144452 | 29399 9 | 7 | 14 612.35/612.53 c 600s | 16 | 486505 | 144952 | 29399 9 | 7 | 14 614.35/614.55 c 602s | 16 | 487604 | 145352 | 29399 9 | 7 | 14 616.45/616.65 c 604s | 16 | 489409 | 145852 | 29399 10 | 7 | 14 618.55/618.79 c 606s | 16 | 491406 | 146352 | 29399 10 | 7 | 14 620.95/621.10 c 609s | 16 | 492935 | 146852 | 29399 10 | 7 | 14 623.05/623.29 c 611s | 16 | 494578 | 147352 | 29399 10 | 7 | 14 625.44/625.64 c 613s | 16 | 497015 | 147952 | 29399 10 | 7 | 14 627.84/628.10 c 616s | 16 | 498672 | 148552 | 29399 10 | 7 | 14 630.04/630.24 c 618s | 16 | 500107 | 149052 | 29399 10 | 7 | 14 632.24/632.46 c 620s | 16 | 501505 | 149552 | 29399 10 | 7 | 14 634.34/634.58 c 622s | 16 | 503155 | 150052 | 29399 10 | 7 | 14 636.64/636.84 c 624s | 16 | 505681 | 150552 | 29399 10 | 7 | 14 638.74/638.93 c 627s | 16 | 507852 | 151052 | 29399 10 | 7 | 14 641.04/641.21 c 629s | 16 | 509699 | 151552 | 29399 10 | 7 | 14 643.03/643.23 c 631s | 16 | 510919 | 152052 | 29399 10 | 7 | 14 645.03/645.28 c 633s | 16 | 512246 | 152552 | 29399 10 | 7 | 14 647.43/647.69 c 635s | 16 | 513992 | 153152 | 29399 10 | 7 | 14 649.63/649.85 c 637s | 16 | 516265 | 153652 | 29399 10 | 7 | 14 651.83/652.05 c 640s | 16 | 518853 | 154252 | 29399 10 | 7 | 14 653.93/654.11 c 642s | 16 | 521120 | 154852 | 29399 10 | 7 | 14 655.93/656.13 c 644s | 16 | 522705 | 155452 | 29399 10 | 7 | 14 658.03/658.29 c 646s | 16 | 524020 | 156052 | 29399 10 | 7 | 14 660.33/660.60 c 648s | 16 | 525821 | 156652 | 29399 10 | 7 | 14 662.72/662.94 c 651s | 16 | 527201 | 157152 | 29399 10 | 7 | 14 665.12/665.35 c 653s | 16 | 529464 | 157652 | 29399 10 | 7 | 14 667.22/667.48 c 655s | 16 | 531121 | 158152 | 29399 10 | 7 | 14 669.52/669.74 c 657s | 16 | 532884 | 158652 | 29399 10 | 7 | 14 671.92/672.19 c 660s | 16 | 534774 | 159152 | 29399 10 | 7 | 14 674.12/674.35 c 662s | 16 | 536313 | 159652 | 29399 10 | 7 | 14 676.51/676.75 c 664s | 16 | 537964 | 160152 | 29399 10 | 7 | 14 678.81/679.03 c 667s | 16 | 539335 | 160652 | 29399 10 | 7 | 14 681.11/681.37 c 669s | 16 | 540749 | 161152 | 29399 11 | 7 | 14 683.31/683.57 c 671s | 16 | 542803 | 161652 | 29399 11 | 7 | 14 685.61/685.82 c 673s | 16 | 544709 | 162252 | 29399 11 | 7 | 14 687.61/687.89 c 676s | 16 | 546693 | 162852 | 29399 11 | 7 | 14 689.91/690.19 c 678s | 16 | 548537 | 163452 | 29399 11 | 7 | 14 692.00/692.29 c 680s | 16 | 550273 | 164052 | 29399 11 | 7 | 14 694.20/694.44 c 682s | 16 | 552158 | 164652 | 29399 11 | 7 | 14 696.60/696.82 c 684s | 16 | 554602 | 165252 | 29399 11 | 7 | 14 699.00/699.21 c 687s | 16 | 556923 | 165952 | 29399 11 | 7 | 14 701.30/701.52 c 689s | 16 | 558464 | 166552 | 29399 11 | 7 | 14 703.30/703.59 c 691s | 16 | 560081 | 167052 | 29399 11 | 7 | 14 705.40/705.62 c 693s | 16 | 561607 | 167552 | 29399 11 | 7 | 14 707.70/707.95 c 696s | 16 | 563652 | 168152 | 29399 11 | 7 | 14 710.10/710.35 c 698s | 16 | 565080 | 168752 | 29399 11 | 7 | 14 712.29/712.53 c 700s | 16 | 567255 | 169252 | 29399 11 | 7 | 14 714.59/714.85 c 702s | 16 | 569543 | 169852 | 29399 11 | 7 | 14 716.89/717.20 c 705s | 16 | 571879 | 170452 | 29399 11 | 7 | 14 719.20/719.46 c 707s | 16 | 573755 | 171052 | 29399 11 | 7 | 14 721.50/721.73 c 709s | 16 | 575169 | 171552 | 29399 11 | 7 | 14 723.69/723.96 c 712s | 16 | 576967 | 172052 | 29399 11 | 7 | 14 725.99/726.27 c 714s | 16 | 579317 | 172652 | 29399 11 | 7 | 14 728.19/728.48 c 716s | 16 | 581381 | 173252 | 29399 11 | 7 | 14 730.49/730.72 c 718s | 16 | 583192 | 173852 | 29399 11 | 7 | 14 732.68/732.97 c 721s | 16 | 584913 | 174452 | 29399 11 | 7 | 14 734.98/735.25 c 723s | 16 | 586132 | 174952 | 29399 11 | 7 | 14 737.38/737.62 c 725s | 16 | 587299 | 175452 | 29399 11 | 7 | 14 739.68/739.95 c 728s | 16 | 589558 | 176052 | 29399 11 | 7 | 14 741.98/742.28 c 730s | 16 | 591195 | 176552 | 29399 12 | 7 | 14 744.18/744.46 c 732s | 16 | 593019 | 177152 | 29399 12 | 7 | 14 746.28/746.53 c 734s | 16 | 594434 | 177652 | 29399 12 | 7 | 14 748.48/748.71 c 736s | 16 | 596232 | 178152 | 29399 12 | 7 | 14 750.48/750.72 c 738s | 16 | 597947 | 178652 | 29399 12 | 7 | 14 752.58/752.85 c 740s | 16 | 600000 | 179252 | 29399 12 | 7 | 14 754.88/755.14 c 743s | 16 | 601573 | 179852 | 29399 12 | 7 | 14 757.08/757.33 c 745s | 16 | 603111 | 180452 | 29399 12 | 7 | 14 759.18/759.46 c 747s | 16 | 604710 | 180952 | 29399 12 | 7 | 14 761.38/761.61 c 749s | 16 | 606790 | 181452 | 29399 12 | 7 | 14 763.38/763.67 c 751s | 16 | 609485 | 181952 | 29399 12 | 7 | 14 765.67/765.91 c 754s | 16 | 610884 | 182452 | 29399 12 | 7 | 14 767.87/768.14 c 756s | 16 | 612318 | 182952 | 29399 12 | 7 | 14 770.07/770.37 c 758s | 16 | 614642 | 183552 | 29399 12 | 7 | 14 772.08/772.38 c 760s | 16 | 617053 | 184252 | 29399 12 | 7 | 14 774.18/774.47 c 762s | 16 | 619161 | 184952 | 29399 12 | 7 | 14 776.27/776.52 c 764s | 16 | 621259 | 185652 | 29399 12 | 7 | 14 778.37/778.68 c 766s | 16 | 622968 | 186352 | 29399 12 | 7 | 14 780.57/780.88 c 769s | 16 | 624581 | 186952 | 29399 12 | 7 | 14 782.66/782.95 c 771s | 16 | 625878 | 187452 | 29399 12 | 7 | 14 784.86/785.19 c 773s | 16 | 627174 | 188052 | 29399 12 | 7 | 14 787.06/787.39 c 775s | 16 | 629344 | 188552 | 29399 12 | 7 | 14 789.46/789.72 c 777s | 16 | 632080 | 189052 | 29399 12 | 7 | 14 791.77/792.02 c 780s | 16 | 634207 | 189552 | 32339 12 | 7 | 14 793.76/794.03 c 782s | 16 | 635413 | 189952 | 32339 12 | 7 | 14 796.06/796.32 c 784s | 16 | 636725 | 190452 | 32339 12 | 7 | 14 798.36/798.62 c 786s | 16 | 638593 | 190952 | 32339 12 | 7 | 14 800.56/800.90 c 789s | 16 | 639943 | 191452 | 32339 12 | 7 | 14 802.95/803.20 c 791s | 16 | 641880 | 192052 | 32339 12 | 7 | 14 805.06/805.38 c 793s | 16 | 643865 | 192652 | 32339 12 | 7 | 14 807.16/807.41 c 795s | 16 | 645583 | 193152 | 32339 12 | 7 | 14 809.15/809.46 c 797s | 16 | 647069 | 193652 | 32339 12 | 7 | 14 811.35/811.62 c 799s | 16 | 648621 | 194252 | 32339 12 | 7 | 14 813.65/813.92 c 802s | 16 | 649877 | 194752 | 32339 13 | 7 | 14 815.95/816.29 c 804s | 16 | 652125 | 195352 | 32339 13 | 7 | 14 818.25/818.53 c 806s | 16 | 653639 | 195952 | 32339 13 | 7 | 14 820.65/820.92 c 809s | 16 | 655852 | 196552 | 32339 13 | 7 | 14 822.84/823.10 c 811s | 16 | 658036 | 197152 | 32339 13 | 7 | 14 823.75/824.06 c 812s | 17 | 658824 | 197432 | 32339 13 | 7 | 14 825.95/826.25 c 814s | 17 | 661423 | 198232 | 32339 13 | 7 | 14 828.05/828.31 c 816s | 17 | 663573 | 198932 | 32339 13 | 7 | 14 830.04/830.33 c 818s | 17 | 665551 | 199532 | 32339 13 | 7 | 14 832.24/832.55 c 820s | 17 | 667324 | 200132 | 32339 13 | 7 | 14 834.44/834.72 c 822s | 17 | 669746 | 200732 | 32339 13 | 7 | 14 836.44/836.75 c 824s | 17 | 671547 | 201332 | 32339 13 | 7 | 14 838.54/838.87 c 827s | 17 | 673286 | 201932 | 32339 13 | 7 | 14 840.84/841.16 c 829s | 17 | 675379 | 202632 | 32339 13 | 7 | 14 843.13/843.45 c 831s | 17 | 677329 | 203232 | 32339 13 | 7 | 14 845.13/845.44 c 833s | 17 | 679048 | 203732 | 32339 13 | 7 | 14 847.23/847.53 c 835s | 17 | 680759 | 204232 | 32339 13 | 7 | 14 849.43/849.79 c 837s | 17 | 681907 | 204732 | 32339 13 | 7 | 14 851.53/851.89 c 840s | 17 | 683819 | 205232 | 32339 13 | 7 | 14 853.73/854.00 c 842s | 17 | 685970 | 205732 | 32339 13 | 7 | 14 856.02/856.32 c 844s | 17 | 688833 | 206332 | 32339 13 | 7 | 14 858.02/858.39 c 846s | 17 | 690469 | 206932 | 32339 13 | 7 | 14 860.32/860.61 c 848s | 17 | 691919 | 207532 | 32339 13 | 7 | 14 862.62/862.96 c 851s | 17 | 693677 | 208032 | 32339 13 | 7 | 14 865.02/865.32 c 853s | 17 | 695154 | 208532 | 32339 13 | 7 | 14 867.22/867.51 c 855s | 17 | 697320 | 209032 | 32339 13 | 7 | 14 869.22/869.57 c 857s | 17 | 698942 | 209532 | 32339 13 | 7 | 14 871.52/871.84 c 859s | 17 | 700579 | 210032 | 32339 13 | 7 | 14 873.81/874.14 c 862s | 17 | 702443 | 210532 | 32339 13 | 7 | 14 876.11/876.49 c 864s | 17 | 704109 | 211032 | 32339 13 | 7 | 14 878.31/878.60 c 866s | 17 | 706565 | 211532 | 32339 13 | 7 | 14 880.31/880.66 c 868s | 17 | 708712 | 212032 | 32339 14 | 7 | 14 882.40/882.75 c 870s | 17 | 710533 | 212632 | 32339 14 | 7 | 14 884.60/884.90 c 873s | 17 | 712534 | 213232 | 32339 14 | 7 | 14 886.80/887.17 c 875s | 17 | 714568 | 213832 | 32339 14 | 7 | 14 888.90/889.23 c 877s | 17 | 716360 | 214432 | 32339 14 | 7 | 14 891.00/891.32 c 879s | 17 | 718606 | 215032 | 32339 14 | 7 | 14 893.00/893.37 c 881s | 17 | 720617 | 215632 | 32339 14 | 7 | 14 895.10/895.49 c 883s | 17 | 722397 | 216232 | 32339 14 | 7 | 14 897.10/897.49 c 885s | 17 | 724028 | 216832 | 32339 14 | 7 | 14 899.30/899.67 c 887s | 17 | 725952 | 217432 | 32339 14 | 7 | 14 901.30/901.68 c 889s | 17 | 727714 | 217932 | 32339 14 | 7 | 14 903.49/903.84 c 891s | 17 | 730047 | 218532 | 32339 14 | 7 | 14 905.69/906.05 c 894s | 17 | 732760 | 219232 | 32339 14 | 7 | 14 907.79/908.14 c 896s | 17 | 735314 | 219832 | 32339 14 | 7 | 14 909.99/910.38 c 898s | 17 | 737893 | 220632 | 32339 14 | 7 | 14 912.18/912.60 c 900s | 17 | 739789 | 221332 | 32339 14 | 7 | 14 914.48/914.82 c 902s | 17 | 741621 | 222032 | 32339 14 | 7 | 14 916.58/916.97 c 905s | 17 | 743475 | 222632 | 32339 14 | 7 | 14 918.88/919.25 c 907s | 17 | 745394 | 223232 | 32339 14 | 7 | 14 921.18/921.52 c 909s | 17 | 747844 | 223832 | 32339 14 | 7 | 14 923.28/923.64 c 911s | 17 | 749805 | 224432 | 32339 14 | 7 | 14 925.48/925.83 c 913s | 17 | 752078 | 225032 | 32339 14 | 7 | 14 927.58/927.96 c 916s | 17 | 754357 | 225732 | 32339 14 | 7 | 14 929.58/929.99 c 918s | 17 | 756293 | 226332 | 32339 14 | 7 | 14 931.78/932.19 c 920s | 17 | 758850 | 227032 | 32339 14 | 7 | 14 934.17/934.53 c 922s | 17 | 760799 | 227732 | 32339 14 | 7 | 14 936.17/936.55 c 924s | 17 | 762885 | 228432 | 32339 14 | 7 | 14 938.27/938.66 c 926s | 17 | 764826 | 229132 | 32339 14 | 7 | 14 940.37/940.79 c 928s | 17 | 766608 | 229732 | 32339 15 | 7 | 14 942.47/942.83 c 930s | 17 | 768248 | 230332 | 32339 15 | 7 | 14 944.77/945.18 c 933s | 17 | 770518 | 231032 | 32339 15 | 7 | 14 946.87/947.28 c 935s | 17 | 772953 | 231732 | 32339 15 | 7 | 14 949.07/949.41 c 937s | 17 | 775394 | 232432 | 32339 15 | 7 | 14 951.07/951.49 c 939s | 17 | 777810 | 233132 | 32339 15 | 7 | 14 953.16/953.56 c 941s | 17 | 780195 | 233732 | 32339 15 | 7 | 14 955.26/955.66 c 943s | 17 | 782709 | 234332 | 32339 15 | 7 | 14 957.56/957.95 c 946s | 17 | 784962 | 235032 | 32339 15 | 7 | 14 959.76/960.10 c 948s | 17 | 787011 | 235632 | 32339 15 | 7 | 14 961.86/962.28 c 950s | 17 | 789243 | 236332 | 32339 15 | 7 | 14 963.96/964.38 c 952s | 17 | 790772 | 236932 | 32339 15 | 7 | 14 966.06/966.43 c 954s | 17 | 792174 | 237532 | 32339 15 | 7 | 14 968.05/968.48 c 956s | 17 | 794603 | 238132 | 32339 15 | 7 | 14 970.35/970.79 c 958s | 17 | 796402 | 238732 | 32339 15 | 7 | 14 972.45/972.82 c 960s | 17 | 798255 | 239232 | 32339 15 | 7 | 14 974.45/974.86 c 962s | 17 | 800147 | 239932 | 32339 15 | 7 | 14 976.85/977.20 c 965s | 17 | 801993 | 240532 | 32339 15 | 7 | 14 979.05/979.46 c 967s | 17 | 804939 | 241232 | 32339 15 | 7 | 14 981.25/981.69 c 969s | 17 | 807183 | 241932 | 32339 15 | 7 | 14 983.34/983.79 c 971s | 17 | 808924 | 242532 | 32339 15 | 7 | 14 985.54/985.95 c 974s | 17 | 810360 | 243132 | 32339 15 | 7 | 14 988.04/988.46 c 976s | 17 | 811963 | 243732 | 32339 15 | 7 | 14 990.34/990.77 c 978s | 17 | 813472 | 244232 | 32339 15 | 7 | 14 993.64/994.08 c 982s | 17 | 814997 | 244632 | 32339 16 | 7 | 14 995.84/996.22 c 984s | 17 | 816159 | 244932 | 32339 16 | 7 | 14 997.94/998.33 c 986s | 17 | 817440 | 245332 | 32339 16 | 7 | 14 1000.44/1000.82 c 988s | 17 | 819294 | 245832 | 32339 16 | 7 | 14 1002.44/1002.82 c 990s | 17 | 821376 | 246332 | 32339 16 | 7 | 14 1004.74/1005.14 c 993s | 17 | 823354 | 246932 | 32339 16 | 7 | 14 1006.94/1007.37 c 995s | 17 | 825008 | 247532 | 32339 16 | 7 | 14 1009.14/1009.53 c 997s | 17 | 826416 | 248032 | 32339 16 | 7 | 14 1011.24/1011.69 c 999s | 17 | 827699 | 248632 | 32339 16 | 7 | 14 1013.34/1013.71 c 1001s | 17 | 829649 | 249132 | 32339 16 | 7 | 14 1015.44/1015.87 c 1004s | 17 | 831140 | 249532 | 32339 16 | 7 | 14 1017.74/1018.19 c 1006s | 17 | 832401 | 250032 | 32339 16 | 7 | 14 1019.93/1020.35 c 1008s | 17 | 835253 | 250632 | 32339 16 | 7 | 14 1022.13/1022.51 c 1010s | 17 | 836643 | 251132 | 32339 16 | 7 | 14 1024.33/1024.74 c 1012s | 17 | 838316 | 251732 | 32339 16 | 7 | 14 1026.33/1026.76 c 1014s | 17 | 840271 | 252332 | 32339 16 | 7 | 14 1028.53/1028.97 c 1017s | 17 | 841942 | 252932 | 32339 16 | 7 | 14 1030.83/1031.20 c 1019s | 17 | 843459 | 253532 | 32339 16 | 7 | 14 1032.83/1033.23 c 1021s | 17 | 844568 | 254032 | 32339 16 | 7 | 14 1035.23/1035.62 c 1023s | 17 | 846322 | 254532 | 32339 16 | 7 | 14 1037.43/1037.86 c 1026s | 17 | 848462 | 255032 | 32339 16 | 7 | 14 1039.43/1039.89 c 1028s | 17 | 850309 | 255532 | 32339 16 | 7 | 14 1041.73/1042.18 c 1030s | 17 | 852003 | 256032 | 32339 16 | 7 | 14 1044.12/1044.54 c 1032s | 17 | 853742 | 256532 | 32339 16 | 7 | 14 1046.42/1046.85 c 1034s | 17 | 855058 | 257032 | 32339 16 | 7 | 14 1048.82/1049.23 c 1037s | 17 | 856333 | 257532 | 32339 16 | 7 | 14 1051.23/1051.66 c 1039s | 17 | 858732 | 258132 | 32339 16 | 7 | 14 1053.52/1053.96 c 1042s | 17 | 860621 | 258732 | 32339 16 | 7 | 14 1055.92/1056.31 c 1044s | 17 | 862415 | 259232 | 32339 16 | 7 | 14 1058.12/1058.51 c 1046s | 17 | 864509 | 259732 | 32339 16 | 7 | 14 1060.41/1060.85 c 1048s | 17 | 865715 | 260232 | 32339 16 | 7 | 14 1062.71/1063.18 c 1051s | 17 | 867733 | 260732 | 32339 16 | 7 | 14 1064.71/1065.18 c 1053s | 17 | 869082 | 261232 | 32339 16 | 7 | 14 1066.81/1067.27 c 1055s | 17 | 870785 | 261732 | 32339 17 | 7 | 14 1069.01/1069.48 c 1057s | 17 | 873032 | 262332 | 32339 17 | 7 | 14 1071.41/1071.82 c 1059s | 17 | 875179 | 262932 | 32339 17 | 7 | 14 1073.61/1074.08 c 1062s | 17 | 877293 | 263532 | 32339 17 | 7 | 14 1075.81/1076.27 c 1064s | 17 | 879819 | 264232 | 32339 17 | 7 | 14 1078.11/1078.58 c 1066s | 17 | 881574 | 264832 | 32339 17 | 7 | 14 1080.41/1080.85 c 1068s | 17 | 882946 | 265432 | 32339 17 | 7 | 14 1082.60/1083.01 c 1071s | 17 | 884305 | 266032 | 32339 17 | 7 | 14 1084.90/1085.37 c 1073s | 17 | 885950 | 266632 | 32339 17 | 7 | 14 1087.20/1087.68 c 1075s | 17 | 888284 | 267232 | 32339 17 | 7 | 14 1089.40/1089.87 c 1078s | 17 | 890942 | 267832 | 32339 17 | 7 | 14 1091.50/1091.96 c 1080s | 17 | 892951 | 268432 | 32339 17 | 7 | 14 1093.70/1094.18 c 1082s | 17 | 894687 | 269032 | 32339 17 | 7 | 14 1096.00/1096.41 c 1084s | 17 | 896766 | 269632 | 32339 17 | 7 | 14 1098.10/1098.54 c 1086s | 17 | 898264 | 270232 | 32339 17 | 7 | 14 1100.50/1100.91 c 1089s | 17 | 899528 | 270832 | 32339 17 | 7 | 14 1102.79/1103.25 c 1091s | 17 | 901755 | 271332 | 32339 17 | 7 | 14 1104.99/1105.44 c 1093s | 17 | 904242 | 271832 | 32339 17 | 7 | 14 1107.30/1107.73 c 1095s | 17 | 905981 | 272332 | 32339 17 | 7 | 14 1109.29/1109.76 c 1097s | 17 | 907751 | 272832 | 32339 17 | 7 | 14 1111.59/1112.05 c 1100s | 17 | 909260 | 273332 | 32339 17 | 7 | 14 1113.79/1114.24 c 1102s | 17 | 911443 | 273832 | 32339 17 | 7 | 14 1115.89/1116.38 c 1104s | 17 | 913320 | 274332 | 32339 17 | 7 | 14 1117.99/1118.46 c 1106s | 17 | 915092 | 274832 | 32339 17 | 7 | 14 1120.29/1120.72 c 1108s | 17 | 917020 | 275332 | 32339 17 | 7 | 14 1122.69/1123.13 c 1111s | 17 | 918781 | 275932 | 32339 17 | 7 | 14 1124.99/1125.50 c 1113s | 17 | 920690 | 276532 | 32339 17 | 7 | 14 1127.19/1127.64 c 1115s | 17 | 922318 | 277032 | 32339 17 | 7 | 14 1129.19/1129.65 c 1117s | 17 | 923864 | 277532 | 32339 17 | 7 | 14 1131.49/1131.98 c 1120s | 17 | 926833 | 278132 | 32339 17 | 7 | 14 1133.88/1134.33 c 1122s | 17 | 928767 | 278732 | 32339 18 | 7 | 14 1136.08/1136.52 c 1124s | 17 | 930939 | 279432 | 32339 18 | 7 | 14 1138.38/1138.90 c 1127s | 17 | 933537 | 280132 | 32339 18 | 7 | 14 1140.68/1141.12 c 1129s | 17 | 936140 | 280732 | 32339 18 | 7 | 14 1142.78/1143.28 c 1131s | 17 | 937539 | 281332 | 32339 18 | 7 | 14 1144.88/1145.35 c 1133s | 17 | 939517 | 281932 | 32339 18 | 7 | 14 1146.89/1147.37 c 1135s | 17 | 941712 | 282432 | 32339 18 | 7 | 14 1149.29/1149.70 c 1137s | 17 | 944298 | 283032 | 32339 18 | 7 | 14 1151.59/1152.00 c 1140s | 17 | 946367 | 283632 | 32339 18 | 7 | 14 1153.99/1154.41 c 1142s | 17 | 947649 | 284232 | 32339 18 | 7 | 14 1156.19/1156.68 c 1144s | 17 | 949231 | 284832 | 32339 18 | 7 | 14 1158.29/1158.73 c 1146s | 17 | 951168 | 285332 | 32339 18 | 7 | 14 1160.29/1160.78 c 1148s | 17 | 953668 | 285832 | 32339 18 | 7 | 14 1162.69/1163.16 c 1151s | 17 | 956764 | 286432 | 32339 18 | 7 | 14 1164.99/1165.42 c 1153s | 17 | 959428 | 287032 | 32339 18 | 7 | 14 1167.29/1167.79 c 1155s | 17 | 961549 | 287632 | 35573 18 | 7 | 14 1169.69/1170.10 c 1158s | 17 | 963387 | 288232 | 35573 18 | 7 | 14 1171.89/1172.34 c 1160s | 17 | 964764 | 288732 | 35573 18 | 7 | 14 1173.99/1174.40 c 1162s | 17 | 966750 | 289232 | 35573 18 | 7 | 14 1176.19/1176.63 c 1164s | 17 | 969093 | 289932 | 35573 18 | 7 | 14 1178.28/1178.79 c 1166s | 17 | 970715 | 290532 | 35573 18 | 7 | 14 1180.48/1180.92 c 1169s | 17 | 972310 | 291032 | 35573 18 | 7 | 14 1182.58/1183.08 c 1171s | 17 | 974753 | 291532 | 35573 18 | 7 | 14 1184.68/1185.11 c 1173s | 17 | 976280 | 292032 | 35573 18 | 7 | 14 1186.68/1187.19 c 1175s | 17 | 977998 | 292532 | 35573 18 | 7 | 14 1188.88/1189.33 c 1177s | 17 | 979305 | 293032 | 35573 18 | 7 | 14 1191.08/1191.50 c 1179s | 17 | 981070 | 293532 | 35573 18 | 7 | 14 1193.48/1193.91 c 1182s | 17 | 983221 | 294132 | 35573 18 | 7 | 14 1195.48/1195.92 c 1184s | 17 | 984996 | 294632 | 35573 18 | 7 | 14 1197.78/1198.20 c 1186s | 17 | 987525 | 295232 | 35573 18 | 7 | 14 1199.79/1200.24 c 1188s | 17 | 989457 | 295732 | 35573 18 | 7 | 14 1201.78/1202.26 c 1190s | 17 | 990714 | 296232 | 35573 18 | 7 | 14 1201.99/1202.41 c 1190s | 18 | 990823 | 296252 | 35573 18 | 7 | 14 1204.09/1204.53 c 1192s | 18 | 992204 | 296552 | 35573 18 | 7 | 14 1206.08/1206.58 c 1194s | 18 | 993527 | 296952 | 35573 18 | 7 | 14 1208.38/1208.88 c 1197s | 18 | 995857 | 297452 | 35573 18 | 7 | 14 1210.38/1210.88 c 1199s | 18 | 998989 | 297952 | 35573 18 | 7 | 14 1212.38/1212.89 c 1201s | 18 | 1000567 | 298452 | 35573 18 | 7 | 14 1214.58/1215.06 c 1203s | 18 | 1002356 | 298952 | 35573 19 | 7 | 14 1216.87/1217.37 c 1205s | 18 | 1004081 | 299452 | 35573 19 | 7 | 14 1219.07/1219.51 c 1207s | 18 | 1006560 | 300052 | 35573 19 | 7 | 14 1221.07/1221.56 c 1209s | 18 | 1008298 | 300552 | 35573 19 | 7 | 14 1223.27/1223.76 c 1211s | 18 | 1010120 | 301052 | 35573 19 | 7 | 14 1225.57/1226.03 c 1214s | 18 | 1012765 | 301652 | 35573 19 | 7 | 14 1227.57/1228.07 c 1216s | 18 | 1014684 | 302152 | 35573 19 | 7 | 14 1229.87/1230.35 c 1218s | 18 | 1016685 | 302752 | 35573 19 | 7 | 14 1232.07/1232.58 c 1220s | 18 | 1018368 | 303352 | 35573 19 | 7 | 14 1234.27/1234.71 c 1222s | 18 | 1020066 | 303952 | 35573 19 | 7 | 14 1236.37/1236.81 c 1224s | 18 | 1021430 | 304452 | 35573 19 | 7 | 14 1238.67/1239.10 c 1227s | 18 | 1023360 | 304952 | 35573 19 | 7 | 14 1240.97/1241.43 c 1229s | 18 | 1025204 | 305552 | 35573 19 | 7 | 14 1243.07/1243.58 c 1231s | 18 | 1027755 | 306152 | 35573 19 | 7 | 14 1245.17/1245.65 c 1233s | 18 | 1029660 | 306752 | 35573 19 | 7 | 14 1247.27/1247.78 c 1235s | 18 | 1031376 | 307352 | 35573 19 | 7 | 14 1249.37/1249.82 c 1237s | 18 | 1032798 | 307852 | 35573 19 | 7 | 14 1251.57/1252.00 c 1240s | 18 | 1034581 | 308452 | 35573 19 | 7 | 14 1253.47/1254.00 c 1242s | 18 | 1035836 | 308952 | 35573 19 | 7 | 14 1255.57/1256.01 c 1244s | 18 | 1038380 | 309452 | 35573 19 | 7 | 14 1257.56/1258.05 c 1246s | 18 | 1040003 | 309952 | 35573 19 | 7 | 14 1259.76/1260.21 c 1248s | 18 | 1042626 | 310552 | 35573 19 | 7 | 14 1261.96/1262.49 c 1250s | 18 | 1044780 | 311152 | 35573 19 | 7 | 14 1264.26/1264.73 c 1252s | 18 | 1046461 | 311752 | 35573 19 | 7 | 14 1266.26/1266.76 c 1254s | 18 | 1047844 | 312252 | 35573 19 | 7 | 14 1268.66/1269.15 c 1257s | 18 | 1049322 | 312752 | 35573 19 | 7 | 14 1270.96/1271.42 c 1259s | 18 | 1051204 | 313352 | 35573 19 | 7 | 14 1273.26/1273.79 c 1261s | 18 | 1052914 | 313852 | 35573 19 | 7 | 14 1275.46/1275.92 c 1264s | 18 | 1056034 | 314452 | 35573 19 | 7 | 14 1277.46/1277.96 c 1266s | 18 | 1057115 | 314952 | 35573 19 | 7 | 14 1279.46/1279.99 c 1268s | 18 | 1058556 | 315452 | 35573 19 | 7 | 14 1281.76/1282.25 c 1270s | 18 | 1060163 | 316052 | 35573 19 | 7 | 14 1284.16/1284.61 c 1272s | 18 | 1062134 | 316652 | 35573 20 | 7 | 14 1286.16/1286.64 c 1274s | 18 | 1063504 | 317152 | 35573 20 | 7 | 14 1288.56/1289.00 c 1277s | 18 | 1065057 | 317752 | 35573 20 | 7 | 14 1290.86/1291.35 c 1279s | 18 | 1067472 | 318352 | 35573 20 | 7 | 14 1292.87/1293.37 c 1281s | 18 | 1069477 | 318852 | 35573 20 | 7 | 14 1295.17/1295.64 c 1283s | 18 | 1071865 | 319452 | 35573 20 | 7 | 14 1297.27/1297.70 c 1285s | 18 | 1073689 | 320052 | 35573 20 | 7 | 14 1299.27/1299.78 c 1287s | 18 | 1075500 | 320652 | 35573 20 | 7 | 14 1301.47/1301.90 c 1290s | 18 | 1076851 | 321252 | 35573 20 | 7 | 14 1303.56/1304.04 c 1292s | 18 | 1077966 | 321852 | 35573 20 | 7 | 14 1305.76/1306.20 c 1294s | 18 | 1079472 | 322452 | 35573 20 | 7 | 14 1307.96/1308.43 c 1296s | 18 | 1081159 | 323052 | 35573 20 | 7 | 14 1310.06/1310.53 c 1298s | 18 | 1082658 | 323552 | 35573 20 | 7 | 14 1312.06/1312.54 c 1300s | 18 | 1084898 | 324152 | 35573 20 | 7 | 14 1314.26/1314.75 c 1302s | 18 | 1086720 | 324752 | 35573 20 | 7 | 14 1316.27/1316.77 c 1304s | 18 | 1088103 | 325252 | 35573 20 | 7 | 14 1318.36/1318.85 c 1306s | 18 | 1089469 | 325752 | 35573 20 | 7 | 14 1320.46/1320.90 c 1309s | 18 | 1090974 | 326252 | 35573 20 | 7 | 14 1322.66/1323.15 c 1311s | 18 | 1093099 | 326852 | 35573 20 | 7 | 14 1324.86/1325.31 c 1313s | 18 | 1095331 | 327352 | 35573 20 | 7 | 14 1327.06/1327.51 c 1315s | 18 | 1097224 | 327852 | 35573 20 | 7 | 14 1329.06/1329.55 c 1317s | 18 | 1098767 | 328352 | 35573 20 | 7 | 14 1331.16/1331.69 c 1319s | 18 | 1100541 | 328852 | 35573 20 | 7 | 14 1333.46/1333.95 c 1322s | 18 | 1102346 | 329452 | 35573 20 | 7 | 14 1335.76/1336.22 c 1324s | 18 | 1104444 | 330052 | 35573 20 | 7 | 14 1338.16/1338.60 c 1326s | 18 | 1106869 | 330852 | 35573 20 | 7 | 14 1340.36/1340.80 c 1328s | 18 | 1108696 | 331552 | 35573 20 | 7 | 14 1342.46/1342.93 c 1331s | 18 | 1110116 | 332152 | 35573 20 | 7 | 14 1344.66/1345.15 c 1333s | 18 | 1111405 | 332852 | 35573 20 | 7 | 14 1346.96/1347.47 c 1335s | 18 | 1112937 | 333452 | 35573 20 | 7 | 14 1349.06/1349.55 c 1337s | 18 | 1114288 | 334052 | 35573 20 | 7 | 14 1351.26/1351.77 c 1339s | 18 | 1115828 | 334652 | 35573 20 | 7 | 14 1353.36/1353.86 c 1342s | 18 | 1116980 | 335152 | 35573 21 | 7 | 14 1355.46/1355.93 c 1344s | 18 | 1118628 | 335752 | 35573 21 | 7 | 14 1357.46/1357.95 c 1346s | 18 | 1120205 | 336252 | 35573 21 | 7 | 14 1359.66/1360.16 c 1348s | 18 | 1122615 | 336852 | 35573 21 | 7 | 14 1361.76/1362.20 c 1350s | 18 | 1124830 | 337452 | 35573 21 | 7 | 14 1363.95/1364.40 c 1352s | 18 | 1126779 | 338052 | 35573 21 | 7 | 14 1366.25/1366.75 c 1354s | 18 | 1128592 | 338652 | 35573 21 | 7 | 14 1368.35/1368.81 c 1356s | 18 | 1130048 | 339152 | 35573 21 | 7 | 14 1370.45/1370.94 c 1359s | 18 | 1131705 | 339652 | 35573 21 | 7 | 14 1372.85/1373.32 c 1361s | 18 | 1134059 | 340252 | 35573 21 | 7 | 14 1374.95/1375.43 c 1363s | 18 | 1136072 | 340752 | 35573 21 | 7 | 14 1377.05/1377.51 c 1365s | 18 | 1137403 | 341252 | 35573 21 | 7 | 14 1379.15/1379.62 c 1367s | 18 | 1139232 | 341852 | 35573 21 | 7 | 14 1381.35/1381.81 c 1369s | 18 | 1141255 | 342452 | 35573 21 | 7 | 14 1383.36/1383.89 c 1372s | 18 | 1143318 | 342952 | 35573 21 | 7 | 14 1385.56/1386.04 c 1374s | 18 | 1144854 | 343452 | 35573 21 | 7 | 14 1387.65/1388.19 c 1376s | 18 | 1147049 | 344052 | 35573 21 | 7 | 14 1389.75/1390.20 c 1378s | 18 | 1148489 | 344652 | 35573 21 | 7 | 14 1392.05/1392.58 c 1380s | 18 | 1150156 | 345252 | 35573 21 | 7 | 14 1394.25/1394.78 c 1382s | 18 | 1151760 | 345752 | 35573 21 | 7 | 14 1396.55/1397.01 c 1385s | 18 | 1154062 | 346352 | 35573 21 | 7 | 14 1398.75/1399.24 c 1387s | 18 | 1156162 | 346952 | 35573 21 | 7 | 14 1400.95/1401.49 c 1389s | 18 | 1157928 | 347552 | 35573 21 | 7 | 14 1403.05/1403.54 c 1391s | 18 | 1159154 | 348052 | 35573 21 | 7 | 14 1405.15/1405.61 c 1393s | 18 | 1160595 | 348552 | 35573 21 | 7 | 14 1407.44/1407.94 c 1396s | 18 | 1162574 | 349152 | 35573 21 | 7 | 14 1409.85/1410.35 c 1398s | 18 | 1164586 | 349752 | 35573 21 | 7 | 14 1412.05/1412.57 c 1400s | 18 | 1166485 | 350252 | 35573 21 | 7 | 14 1414.25/1414.77 c 1402s | 18 | 1167856 | 350752 | 35573 21 | 7 | 14 1416.64/1417.10 c 1405s | 18 | 1169723 | 351352 | 35573 21 | 7 | 14 1418.84/1419.34 c 1407s | 18 | 1171607 | 351852 | 35573 21 | 7 | 14 1421.04/1421.50 c 1409s | 18 | 1173413 | 352352 | 35573 21 | 7 | 14 1423.05/1423.58 c 1411s | 18 | 1174904 | 352852 | 35573 21 | 7 | 14 1425.25/1425.72 c 1413s | 18 | 1176531 | 353352 | 35573 22 | 7 | 14 1427.45/1427.98 c 1416s | 18 | 1178280 | 353952 | 35573 22 | 7 | 14 1429.84/1430.32 c 1418s | 18 | 1180244 | 354552 | 35573 22 | 7 | 14 1431.94/1432.41 c 1420s | 18 | 1182718 | 355152 | 35573 22 | 7 | 14 1434.14/1434.60 c 1422s | 18 | 1184434 | 355752 | 35573 22 | 7 | 14 1436.34/1436.80 c 1424s | 18 | 1186059 | 356352 | 35573 22 | 7 | 14 1438.54/1439.01 c 1427s | 18 | 1188131 | 356952 | 35573 22 | 7 | 14 1440.55/1441.07 c 1429s | 18 | 1190441 | 357552 | 35573 22 | 7 | 14 1442.64/1443.16 c 1431s | 18 | 1192282 | 358152 | 35573 22 | 7 | 14 1444.84/1445.32 c 1433s | 18 | 1194223 | 358752 | 35573 22 | 7 | 14 1446.94/1447.46 c 1435s | 18 | 1196076 | 359352 | 35573 22 | 7 | 14 1449.04/1449.58 c 1437s | 18 | 1197945 | 359952 | 35573 22 | 7 | 14 1451.44/1451.90 c 1440s | 18 | 1200460 | 360552 | 35573 22 | 7 | 14 1453.64/1454.15 c 1442s | 18 | 1202441 | 361152 | 35573 22 | 7 | 14 1455.73/1456.24 c 1444s | 18 | 1204175 | 361752 | 35573 22 | 7 | 14 1457.93/1458.45 c 1446s | 18 | 1205885 | 362352 | 35573 22 | 7 | 14 1460.23/1460.78 c 1448s | 18 | 1208319 | 362952 | 35573 22 | 7 | 14 1462.54/1463.04 c 1451s | 18 | 1210113 | 363552 | 35573 22 | 7 | 14 1464.74/1465.25 c 1453s | 18 | 1212034 | 364152 | 35573 22 | 7 | 14 1467.04/1467.58 c 1455s | 18 | 1214451 | 364752 | 35573 22 | 7 | 14 1469.33/1469.87 c 1458s | 18 | 1216910 | 365352 | 35573 22 | 7 | 14 1471.63/1472.17 c 1460s | 18 | 1218857 | 365952 | 35573 22 | 7 | 14 1473.93/1474.43 c 1462s | 18 | 1220816 | 366452 | 35573 22 | 7 | 14 1475.93/1476.44 c 1464s | 18 | 1223081 | 366952 | 35573 22 | 7 | 14 1478.43/1478.90 c 1467s | 18 | 1224822 | 367552 | 35573 22 | 7 | 14 1480.63/1481.13 c 1469s | 18 | 1226311 | 368052 | 35573 22 | 7 | 14 1482.63/1483.18 c 1471s | 18 | 1228326 | 368552 | 35573 22 | 7 | 14 1484.83/1485.37 c 1473s | 18 | 1230116 | 369052 | 35573 22 | 7 | 14 1487.23/1487.77 c 1475s | 18 | 1232145 | 369652 | 35573 22 | 7 | 14 1489.33/1489.87 c 1478s | 18 | 1234533 | 370252 | 35573 22 | 7 | 14 1491.63/1492.17 c 1480s | 18 | 1236542 | 370852 | 35573 22 | 7 | 14 1493.73/1494.26 c 1482s | 18 | 1238221 | 371352 | 35573 22 | 7 | 14 1495.93/1496.41 c 1484s | 18 | 1240142 | 371852 | 35573 22 | 7 | 14 1498.03/1498.54 c 1486s | 18 | 1242166 | 372452 | 35573 23 | 7 | 14 1500.04/1500.56 c 1488s | 18 | 1243794 | 373052 | 35573 23 | 7 | 14 1502.33/1502.88 c 1491s | 18 | 1246513 | 373752 | 35573 23 | 7 | 14 1504.33/1504.90 c 1493s | 18 | 1248066 | 374352 | 35573 23 | 7 | 14 1506.43/1506.97 c 1495s | 18 | 1249638 | 374952 | 35573 23 | 7 | 14 1508.73/1509.26 c 1497s | 18 | 1251881 | 375552 | 35573 23 | 7 | 14 1510.83/1511.39 c 1499s | 18 | 1254342 | 376152 | 35573 23 | 7 | 14 1512.93/1513.43 c 1501s | 18 | 1256192 | 376752 | 35573 23 | 7 | 14 1515.13/1515.63 c 1503s | 18 | 1258149 | 377452 | 35573 23 | 7 | 14 1517.33/1517.87 c 1506s | 18 | 1259767 | 378152 | 35573 23 | 7 | 14 1519.43/1519.92 c 1508s | 18 | 1262269 | 378752 | 35573 23 | 7 | 14 1521.42/1521.94 c 1510s | 18 | 1264213 | 379352 | 35573 23 | 7 | 14 1523.52/1524.01 c 1512s | 18 | 1265977 | 379952 | 35573 23 | 7 | 14 1525.82/1526.37 c 1514s | 18 | 1268311 | 380552 | 35573 23 | 7 | 14 1528.22/1528.73 c 1516s | 18 | 1270444 | 381152 | 35573 23 | 7 | 14 1530.42/1530.94 c 1519s | 18 | 1273452 | 381852 | 35573 23 | 7 | 14 1532.62/1533.14 c 1521s | 18 | 1275338 | 382552 | 35573 23 | 7 | 14 1535.02/1535.52 c 1523s | 18 | 1276745 | 383152 | 35573 23 | 7 | 14 1537.22/1537.71 c 1525s | 18 | 1279574 | 383752 | 35573 23 | 7 | 14 1539.32/1539.89 c 1528s | 18 | 1281754 | 384452 | 35573 23 | 7 | 14 1541.42/1541.93 c 1530s | 18 | 1283371 | 385052 | 35573 23 | 7 | 14 1543.42/1543.97 c 1532s | 18 | 1285078 | 385552 | 35573 23 | 7 | 14 1545.52/1546.00 c 1534s | 18 | 1286593 | 386052 | 35573 23 | 7 | 14 1547.82/1548.30 c 1536s | 18 | 1288752 | 386652 | 35573 23 | 7 | 14 1550.02/1550.51 c 1538s | 18 | 1290553 | 387252 | 35573 23 | 7 | 14 1552.22/1552.75 c 1540s | 18 | 1292746 | 387852 | 35573 23 | 7 | 14 1554.42/1554.95 c 1543s | 18 | 1294888 | 388452 | 35573 23 | 7 | 14 1556.82/1557.30 c 1545s | 18 | 1297119 | 389052 | 35573 23 | 7 | 14 1558.82/1559.38 c 1547s | 18 | 1298623 | 389552 | 35573 23 | 7 | 14 1560.92/1561.49 c 1549s | 18 | 1300863 | 390152 | 35573 23 | 7 | 14 1563.22/1563.75 c 1551s | 18 | 1302879 | 390752 | 35573 24 | 7 | 14 1565.42/1565.96 c 1554s | 18 | 1305278 | 391452 | 35573 24 | 7 | 14 1567.42/1567.98 c 1556s | 18 | 1307369 | 392152 | 35573 24 | 7 | 14 1569.72/1570.22 c 1558s | 18 | 1309810 | 392852 | 35573 24 | 7 | 14 1572.02/1572.51 c 1560s | 18 | 1312472 | 393552 | 35573 24 | 7 | 14 1574.11/1574.64 c 1562s | 18 | 1314415 | 394152 | 35573 24 | 7 | 14 1576.21/1576.72 c 1564s | 18 | 1316325 | 394752 | 35573 24 | 7 | 14 1578.31/1578.82 c 1566s | 18 | 1318475 | 395352 | 35573 24 | 7 | 14 1580.41/1580.91 c 1569s | 18 | 1320733 | 395952 | 35573 24 | 7 | 14 1582.53/1583.09 c 1571s | 18 | 1322794 | 396552 | 35573 24 | 7 | 14 1584.63/1585.11 c 1573s | 18 | 1325318 | 397152 | 35573 24 | 7 | 14 1586.72/1587.26 c 1575s | 18 | 1327418 | 397852 | 35573 24 | 7 | 14 1588.92/1589.49 c 1577s | 18 | 1329378 | 398552 | 35573 24 | 7 | 14 1591.12/1591.62 c 1579s | 18 | 1332117 | 399252 | 35573 24 | 7 | 14 1593.43/1593.90 c 1582s | 18 | 1334599 | 399952 | 35573 24 | 7 | 14 1595.42/1595.97 c 1584s | 18 | 1337162 | 400652 | 35573 24 | 7 | 14 1597.52/1598.09 c 1586s | 18 | 1338835 | 401252 | 35573 24 | 7 | 14 1599.62/1600.19 c 1588s | 18 | 1341507 | 401952 | 35573 24 | 7 | 14 1601.82/1602.31 c 1590s | 18 | 1343596 | 402752 | 35573 24 | 7 | 14 1604.12/1604.61 c 1592s | 18 | 1346669 | 403452 | 35573 24 | 7 | 14 1606.22/1606.76 c 1594s | 18 | 1348961 | 404152 | 35573 24 | 7 | 14 1608.62/1609.15 c 1597s | 18 | 1351561 | 404852 | 35573 24 | 7 | 14 1610.82/1611.30 c 1599s | 18 | 1353712 | 405552 | 35573 24 | 7 | 14 1612.82/1613.32 c 1601s | 18 | 1356068 | 406152 | 35573 24 | 7 | 14 1614.92/1615.44 c 1603s | 18 | 1357729 | 406752 | 35573 24 | 7 | 14 1618.51/1619.06 c 1607s | 18 | 1359221 | 407252 | 35573 24 | 7 | 14 1620.71/1621.24 c 1609s | 18 | 1360420 | 407552 | 35573 24 | 7 | 14 1622.81/1623.37 c 1611s | 18 | 1361969 | 407952 | 35573 24 | 7 | 14 1625.11/1625.69 c 1613s | 18 | 1363819 | 408452 | 35573 25 | 7 | 14 1627.21/1627.76 c 1615s | 18 | 1365192 | 408852 | 35573 25 | 7 | 14 1629.41/1629.99 c 1618s | 18 | 1366959 | 409352 | 35573 25 | 7 | 14 1631.71/1632.20 c 1620s | 18 | 1368960 | 409952 | 35573 25 | 7 | 14 1633.70/1634.23 c 1622s | 18 | 1370439 | 410552 | 35573 25 | 7 | 14 1635.80/1636.31 c 1624s | 18 | 1371929 | 411152 | 35573 25 | 7 | 14 1638.00/1638.55 c 1626s | 18 | 1373588 | 411752 | 35573 25 | 7 | 14 1640.10/1640.64 c 1628s | 18 | 1375986 | 412352 | 35573 25 | 7 | 14 1642.50/1643.03 c 1631s | 18 | 1377444 | 412952 | 35573 25 | 7 | 14 1644.91/1645.40 c 1633s | 18 | 1378977 | 413552 | 35573 25 | 7 | 14 1647.11/1647.68 c 1635s | 18 | 1380741 | 414152 | 35573 25 | 7 | 14 1649.21/1649.74 c 1637s | 18 | 1382198 | 414752 | 35573 25 | 7 | 14 1651.51/1652.04 c 1640s | 18 | 1383527 | 415252 | 35573 25 | 7 | 14 1653.81/1654.37 c 1642s | 18 | 1386282 | 415852 | 35573 25 | 7 | 14 1655.91/1656.45 c 1644s | 18 | 1388942 | 416452 | 35573 25 | 7 | 14 1658.21/1658.78 c 1646s | 18 | 1390892 | 417052 | 35573 25 | 7 | 14 1660.31/1660.84 c 1648s | 18 | 1392463 | 417552 | 35573 25 | 7 | 14 1662.51/1663.07 c 1651s | 18 | 1394754 | 418052 | 35573 25 | 7 | 14 1664.92/1665.43 c 1653s | 18 | 1396801 | 418652 | 35573 25 | 7 | 14 1667.22/1667.75 c 1655s | 18 | 1398665 | 419252 | 35573 25 | 7 | 14 1669.51/1670.01 c 1658s | 18 | 1400742 | 419852 | 35573 25 | 7 | 14 1671.81/1672.37 c 1660s | 18 | 1402591 | 420452 | 35573 25 | 7 | 14 1674.21/1674.75 c 1662s | 18 | 1403949 | 421052 | 35573 25 | 7 | 14 1676.41/1676.97 c 1665s | 18 | 1405151 | 421552 | 35573 25 | 7 | 14 1678.81/1679.35 c 1667s | 18 | 1406740 | 422152 | 35573 25 | 7 | 14 1681.01/1681.58 c 1669s | 18 | 1408313 | 422652 | 35573 25 | 7 | 14 1683.21/1683.72 c 1671s | 18 | 1410329 | 423152 | 35573 25 | 7 | 14 1685.30/1685.87 c 1674s | 18 | 1412352 | 423752 | 35573 25 | 7 | 14 1687.30/1687.87 c 1676s | 18 | 1413642 | 424252 | 35573 25 | 7 | 14 1689.60/1690.12 c 1678s | 18 | 1415529 | 424852 | 35573 25 | 7 | 14 1691.60/1692.12 c 1680s | 18 | 1417026 | 425352 | 35573 25 | 7 | 14 1693.70/1694.29 c 1682s | 18 | 1418363 | 425852 | 35573 25 | 7 | 14 1695.81/1696.31 c 1684s | 18 | 1419432 | 426352 | 35573 25 | 7 | 14 1697.80/1698.39 c 1686s | 18 | 1420373 | 426852 | 35573 26 | 7 | 14 1700.11/1700.60 c 1688s | 18 | 1422122 | 427452 | 35573 26 | 7 | 14 1702.10/1702.62 c 1690s | 18 | 1423982 | 427952 | 35573 26 | 7 | 14 1704.20/1704.77 c 1692s | 18 | 1426228 | 428452 | 35573 26 | 7 | 14 1706.50/1707.02 c 1695s | 18 | 1430683 | 429052 | 35573 26 | 7 | 14 1708.60/1709.17 c 1697s | 18 | 1432471 | 429552 | 35573 26 | 7 | 14 1710.90/1711.40 c 1699s | 18 | 1434033 | 430052 | 35573 26 | 7 | 14 1713.20/1713.76 c 1701s | 18 | 1436390 | 430652 | 35573 26 | 7 | 14 1715.40/1716.00 c 1704s | 18 | 1438992 | 431252 | 35573 26 | 7 | 14 1717.71/1718.26 c 1706s | 18 | 1441190 | 431852 | 35573 26 | 7 | 14 1719.91/1720.48 c 1708s | 18 | 1442827 | 432352 | 35573 26 | 7 | 14 1722.30/1722.80 c 1710s | 18 | 1444342 | 432952 | 35573 26 | 7 | 14 1724.70/1725.22 c 1713s | 18 | 1445813 | 433552 | 35573 26 | 7 | 14 1727.00/1727.53 c 1715s | 18 | 1447931 | 434052 | 35573 26 | 7 | 14 1729.10/1729.67 c 1717s | 18 | 1450105 | 434552 | 35573 26 | 7 | 14 1731.20/1731.74 c 1719s | 18 | 1452498 | 435052 | 39131 26 | 7 | 14 1733.30/1733.81 c 1721s | 18 | 1454343 | 435552 | 39131 26 | 7 | 14 1735.50/1736.01 c 1724s | 18 | 1456407 | 436152 | 39131 26 | 7 | 14 1737.70/1738.22 c 1726s | 18 | 1457909 | 436652 | 39131 26 | 7 | 14 1739.70/1740.26 c 1728s | 18 | 1460452 | 437152 | 39131 26 | 7 | 14 1742.10/1742.63 c 1730s | 18 | 1462798 | 437752 | 39131 26 | 7 | 14 1744.20/1744.70 c 1732s | 18 | 1464659 | 438252 | 39131 26 | 7 | 14 1746.49/1747.01 c 1735s | 18 | 1466234 | 438752 | 39131 26 | 7 | 14 1748.89/1749.43 c 1737s | 18 | 1469092 | 439352 | 39131 26 | 7 | 14 1750.99/1751.58 c 1739s | 18 | 1471766 | 439852 | 39131 26 | 7 | 14 1753.49/1754.00 c 1742s | 18 | 1473709 | 440452 | 39131 26 | 7 | 14 1755.49/1756.08 c 1744s | 18 | 1475086 | 440952 | 39131 26 | 7 | 14 1757.69/1758.25 c 1746s | 18 | 1476782 | 441452 | 39131 26 | 7 | 14 1759.69/1760.27 c 1748s | 18 | 1480211 | 441952 | 39131 26 | 7 | 14 1761.89/1762.49 c 1750s | 18 | 1483652 | 442552 | 39131 26 | 7 | 14 1764.00/1764.58 c 1752s | 18 | 1484967 | 443052 | 39131 26 | 7 | 14 1766.10/1766.67 c 1754s | 18 | 1486468 | 443552 | 39131 26 | 7 | 14 1768.49/1769.02 c 1757s | 18 | 1488806 | 444152 | 39131 26 | 7 | 14 1769.89/1770.42 c 1758s | 19 | 1490083 | 444482 | 39131 26 | 7 | 14 1771.99/1772.57 c 1760s | 19 | 1492038 | 444982 | 39131 26 | 7 | 14 1773.99/1774.58 c 1762s | 19 | 1493673 | 445482 | 39131 26 | 7 | 14 1776.29/1776.81 c 1764s | 19 | 1495939 | 446082 | 39131 26 | 7 | 14 1778.29/1778.86 c 1766s | 19 | 1496968 | 446482 | 39131 26 | 7 | 14 1780.49/1781.07 c 1769s | 19 | 1498647 | 446882 | 39131 26 | 7 | 14 1782.79/1783.36 c 1771s | 19 | 1500238 | 447382 | 39131 26 | 7 | 14 1784.89/1785.48 c 1773s | 19 | 1501931 | 447882 | 39131 26 | 7 | 14 1787.28/1787.87 c 1776s | 19 | 1503626 | 448382 | 39131 26 | 7 | 14 1789.38/1789.93 c 1778s | 19 | 1505160 | 448882 | 39131 26 | 7 | 14 1791.68/1792.23 c 1780s | 19 | 1506328 | 449282 | 39131 27 | 7 | 14 1793.78/1794.38 c 1782s | 19 | 1507917 | 449882 | 39131 27 | 7 | 14 1796.18/1796.77 c 1784s | 19 | 1509619 | 450482 | 39131 27 | 7 | 14 1798.38/1798.94 c 1787s | 19 | 1511140 | 450982 | 39131 27 | 7 | 14
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-4080132-1465256577/watcher-4080132-1465256577 -o /tmp/evaluation-result-4080132-1465256577/solver-4080132-1465256577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080132-1465256577.opb pid=11733 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.20 2.18 3/179 11736 /proc/meminfo: memFree=29646680/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=781756 CPUtime=0 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 2924 0 0 0 0 0 0 0 20 0 4 0 107592303 800518144 2775 33554432000 4194304 16246674 140733806354512 140733806353936 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 195951 2785 441 2943 0 192845 0 [pid=11736/tid=11737] ppid=11733 vsize=799164 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 818343936 2846 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=803260 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 822538240 2862 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=808380 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107592304 827781120 2879 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100186 s] /proc/loadavg: 2.24 2.20 2.18 3/179 11736 /proc/meminfo: memFree=29646680/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1223236 CPUtime=0.09 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 22639 0 0 0 6 3 0 0 20 0 4 0 107592303 1252593664 22436 33554432000 4194304 16246674 140733806354512 140733806353824 12459041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 305809 22436 834 2943 0 302703 0 [pid=11736/tid=11737] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 22436 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 22436 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 22436 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1223236 [startup+0.200484 s] /proc/loadavg: 2.24 2.20 2.18 3/179 11736 /proc/meminfo: memFree=29646680/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1223236 CPUtime=0.18 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 36775 0 0 0 13 5 0 0 20 0 4 0 107592303 1252593664 36573 33554432000 4194304 16246674 140733806354512 140733806353824 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 305809 36584 893 2943 0 302703 0 [pid=11736/tid=11737] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 36589 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 36593 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1252593664 36598 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1223236 [startup+0.30051 s] /proc/loadavg: 2.24 2.20 2.18 3/179 11736 /proc/meminfo: memFree=29646680/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1296964 CPUtime=0.29 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 53225 0 0 0 22 7 0 0 20 0 4 0 107592303 1328091136 53022 33554432000 4194304 16246674 140733806354512 140733806353824 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 324241 53030 907 2943 0 321135 0 [pid=11736/tid=11737] ppid=11733 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1328091136 53037 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1328091136 53045 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1328091136 53053 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1296964 [startup+0.700418 s] /proc/loadavg: 2.24 2.20 2.18 3/179 11736 /proc/meminfo: memFree=29646680/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1303108 CPUtime=0.69 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 117570 0 0 0 54 15 0 0 20 0 4 0 107592303 1334382592 117367 33554432000 4194304 16246674 140733806354512 140733806336384 4221799 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 325777 117374 910 2943 0 322671 0 [pid=11736/tid=11737] ppid=11733 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1334382592 117378 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1334382592 117383 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1334382592 117387 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1303108 [startup+1.50041 s] /proc/loadavg: 2.24 2.20 2.18 3/183 11740 /proc/meminfo: memFree=29174184/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 118781 0 0 0 134 15 0 0 20 0 4 0 107592303 1338576896 118578 33554432000 4194304 16246674 140733806354512 140733806336384 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 326801 118578 914 2943 0 323695 0 [pid=11736/tid=11737] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118578 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118578 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118578 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10041 s] /proc/loadavg: 2.22 2.19 2.18 3/183 11740 /proc/meminfo: memFree=29173672/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 118782 0 0 0 294 15 0 0 20 0 4 0 107592303 1338576896 118579 33554432000 4194304 16246674 140733806354512 140733806336384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 326801 118579 915 2943 0 323695 0 [pid=11736/tid=11737] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30037 s] /proc/loadavg: 2.22 2.19 2.18 4/183 11740 /proc/meminfo: memFree=29173676/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 118782 0 0 0 614 15 0 0 20 0 4 0 107592303 1338576896 118579 33554432000 4194304 16246674 140733806354512 140733806336384 13954610 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 326801 118579 915 2943 0 323695 0 [pid=11736/tid=11737] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 118579 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.29 2.21 2.18 3/183 11740 /proc/meminfo: memFree=29158104/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 185674 0 0 0 1245 23 0 0 20 0 4 0 107592303 1338576896 185471 33554432000 4194304 16246674 140733806354512 140733806336384 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 326801 185471 916 2943 0 323695 0 [pid=11736/tid=11737] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 185471 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 185471 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1338576896 185471 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.22 2.20 2.18 3/183 11740 /proc/meminfo: memFree=28568348/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1315396 CPUtime=25.49 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 269986 0 0 0 2514 35 0 0 20 0 4 0 107592303 1346965504 269783 33554432000 4194304 16246674 140733806354512 140733806336384 13906983 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 328849 269783 916 2943 0 325743 0 [pid=11736/tid=11737] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269783 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269783 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269783 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1315396 [startup+51.1004 s] /proc/loadavg: 2.27 2.21 2.18 4/183 11740 /proc/meminfo: memFree=28568692/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1315396 CPUtime=51.09 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 269988 0 0 0 5074 35 0 0 20 0 4 0 107592303 1346965504 269785 33554432000 4194304 16246674 140733806354512 140733806336384 6020640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 328849 269785 918 2943 0 325743 0 [pid=11736/tid=11737] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269785 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269785 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269785 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1315396 [startup+102.3 s] /proc/loadavg: 2.21 2.20 2.18 3/183 11742 /proc/meminfo: memFree=28567848/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1315396 CPUtime=102.28 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 270050 0 0 0 10193 35 0 0 20 0 4 0 107592303 1346965504 269847 33554432000 4194304 16246674 140733806354512 140733806336384 12483562 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 328849 269847 919 2943 0 325743 0 [pid=11736/tid=11737] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269847 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269847 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1346965504 269847 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1324612 [startup+1302.3 s] /proc/loadavg: 2.12 2.09 2.09 4/183 11795 /proc/meminfo: memFree=28554896/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1301.87 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 130147 40 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.26 2.13 2.10 3/183 11796 /proc/meminfo: memFree=28554656/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1361.86 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 136146 40 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5674851 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.30 2.15 2.11 3/183 11797 /proc/meminfo: memFree=28554660/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1421.85 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 142145 40 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.30 2.17 2.11 3/183 11798 /proc/meminfo: memFree=28554660/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1481.83 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 148143 40 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.24 2.17 2.11 3/183 11848 /proc/meminfo: memFree=28993964/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1541.83 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 154143 40 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5674844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.13 2.15 2.11 3/183 11850 /proc/meminfo: memFree=28551272/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1601.82 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 160141 41 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5672160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1324612 [startup+1662.3 s] /proc/loadavg: 2.13 2.14 2.10 3/184 11854 /proc/meminfo: memFree=28550780/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1661.81 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 166139 42 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1324612 [startup+1722.3 s] /proc/loadavg: 2.12 2.13 2.09 3/183 11855 /proc/meminfo: memFree=28550420/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1324612 CPUtime=1721.8 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 272711 0 0 0 172138 42 0 0 20 0 4 0 107592303 1356402688 272408 33554432000 4194304 16246674 140733806354512 140733806336384 13907053 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331153 272408 920 2943 0 328047 0 [pid=11736/tid=11737] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1356402688 272408 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1324612 [startup+1782.3 s] /proc/loadavg: 2.04 2.10 2.09 3/183 11856 /proc/meminfo: memFree=28547472/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1327684 CPUtime=1781.79 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 273423 0 0 0 178137 42 0 0 20 0 4 0 107592303 1359548416 273120 33554432000 4194304 16246674 140733806354512 140733806336384 5674629 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331921 273120 920 2943 0 328815 0 [pid=11736/tid=11737] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273120 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273120 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273120 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.11 2.11 2.09 4/183 11856 /proc/meminfo: memFree=28547848/32872528 swapFree=12208/1156848 [pid=11736] ppid=11733 vsize=1327684 CPUtime=1800.08 cores=1,3,5,7 /proc/11736/stat : 11736 (toysat) R 11733 11736 9895 0 -1 4202496 273479 0 0 0 179966 42 0 0 20 0 4 0 107592303 1359548416 273176 33554432000 4194304 16246674 140733806354512 140733806337512 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11736/statm: 331921 273176 920 2943 0 328815 0 [pid=11736/tid=11737] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11737/stat : 11737 (toysat) S 11733 11736 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273176 33554432000 4194304 16246674 140733806354512 140331478658288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=11736/tid=11738] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11738/stat : 11738 (toysat) S 11733 11736 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273176 33554432000 4194304 16246674 140733806354512 140331468168432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=11736/tid=11739] ppid=11733 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/11736/task/11739/stat : 11739 (toysat) S 11733 11736 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107592304 1359548416 273176 33554432000 4194304 16246674 140733806354512 140331457694896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1327684 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 11736 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.67 CPU system time (s): 0.428934 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.67 system time used= 0.428934 maximum resident set size= 1092704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273479 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= 369 involuntary context switches= 1883 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76427 second user time and 7.04993 second system time The end
Begin job on node114 at 2016-06-07 01:42:57 IDJOB=4080132 IDBENCH=48132 IDSOLVER=2542 FILE ID=node114/4080132-1465256577 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080132-1465256577/watcher-4080132-1465256577 -o /tmp/evaluation-result-4080132-1465256577/solver-4080132-1465256577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080132-1465256577.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=1810804030 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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: 29647696 kB Buffers: 61448 kB Cached: 214600 kB SwapCached: 1720 kB Active: 1206616 kB Inactive: 157084 kB Active(anon): 1088716 kB Inactive(anon): 1200 kB Active(file): 117900 kB Inactive(file): 155884 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096604 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 2244328 kB Mapped: 10748 kB Shmem: 0 kB Slab: 570672 kB SReclaimable: 14456 kB SUnreclaim: 556216 kB KernelStack: 1448 kB PageTables: 8036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2388372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1507328 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= 71704 MiB End job on node114 at 2016-06-07 02:12:58