| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rout.opb |
| MD5SUM | 485ca531ffda98d59a839bf46c37d61d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 262441 |
| Best CPU time to get the best result obtained on this benchmark | 1800.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 262412 |
| Optimality of the best value was proved | NO |
| Number of variables | 7561 |
| Total number of constraints | 306 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 292 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 917 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 525077 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:01:21+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-4101705-1466226081.opb"] 0.00/0.01 c use --random-gen="912080635 482821786 3281325774 4202671356 2401360399 2529829832 1755591967 3173938489 3097657816 1952860209 3204152302 1602226044 1271758303 3109928372 2125765045 1890337778 3295344660 4066468923 3323259006 1249106249 157691632 696502449 2724137235 3123774905 2855476723 2267976586 3866114143 3807183371 1104829742 3213758098 3537818221 3815954831 1492232411 1798178414 3358314744 2806377861 1541615557 1302069964 4170435645 1722559121 2148753281 1965600776 3498414687 1522052531 2621838771 3791536276 368271923 1393160235 3558802366 2006738072 32516126 947244961 2045268030 2709361600 3685353881 2466354981 2983324597 2812381736 1892558476 3813934719 519713220 308940494 56342711 1563217389 1537639271 652227711 2919200107 1651715514 852110950 448333906 999219246 3452969155 3989069958 3272214363 2119292156 2506844805 4124423193 1511839827 3106240479 1107585426 3011621303 50831198 1610585277 1176607034 2749864055 1966863234 3228126890 187903508 1027482043 3610853971 1814694420 2576969548 3055505686 616587681 1047803180 2211595964 2007670653 3163426282 1650751574 303436194 2120380361 3505856366 1767138376 3376825499 3161016132 1430867143 2830069045 2399648022 1133589015 3115647601 2039166625 3192279006 3268905602 3760213986 3245998904 2593700063 1694525153 2788081592 2147305973 1495537637 2934051363 2412671661 2579001755 836347905 3824539643 3686027113 1247956166 3575524924 1189545061 1514930367 4086449717 1069514453 2810404724 3007823932 230832575 2505044148 1824531358 3944268449 2770426663 2981791401 611163465 216574519 2028379759 1426555441 761635124 691768974 2664575856 121529627 3956566273 2055747393 1884343509 1530471705 1246026797 2734850180 3333531025 4212861775 4218134264 4181485578 3070683520 1169714990 3500714501 62373556 2774958808 1378486981 2921980486 1085789982 3366601202 154571330 1729904962 2966470090 1847656716 1612230504 1365051498 2103818510 317169880 4258940754 2206044008 3596437820 4205708252 961134204 766590414 108169758 993327461 3972696507 328533392 3122679476 1363387204 1955582807 2983096235 720485212 256761754 892167696 3443545426 1652838001 1560362285 3757921933 1147023658 1250041727 3488912238 3480728339 719909454 542546685 2013018313 3084059986 3636357061 914848841 1955759859 1400548721 1227271450 1323454938 3793998724 1172221200 2171225959 3418738945 949631762 238951890 153881231 4021356954 1556592617 3620166692 3192332248 2928582528 698009354 4121954021 1082477979 3006444542 527927936 3377608991 2696705715 3720992282 441855523 1075378376 1068393773 697829422 1141126794 2457969097 2429908328 332119452 2443026509 2567010285 1570841245 3158803315 3173527544 1255041351 2955569120 1470444255 2889851229 830576417 980878219 845388086 4057595919 3614392268 2443664549 1055022332 3917808026 2935780487 255 362436" option to reproduce the execution 0.00/0.05 c #vars 7561 0.00/0.05 c #constraints 306 0.09/0.15 c BCD2: Hardening is enabled. 0.09/0.15 c BCD2: BiasedSearch is enabled. 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 2632 0 | 3830 | 0 0.29/0.35 c 0.2s | 1 | 1531 | 100 | 2632 0 | 3832 | 1 0.39/0.49 c 0.3s | 2 | 2923 | 250 | 2896 0 | 3832 | 1 0.69/0.71 c 0.6s | 3 | 3335 | 475 | 3186 0 | 3832 | 1 1.10/1.14 c 1.0s | 4 | 3905 | 813 | 3505 0 | 3832 | 1 1.79/1.81 c 1.7s | 5 | 5060 | 1320 | 3856 0 | 3834 | 1 1.89/1.92 c 1.8s | 5 | 6476 | 1364 | 4242 0 | 3834 | 1 1.89/1.92 c #cpu_time = 1.764s 1.89/1.92 c #wall_clock_time = 1.764s 1.89/1.92 c #decision = 6476 1.89/1.92 c #random_decision = 22 1.89/1.92 c #conflict = 1364 1.89/1.92 c #restart = 5 1.89/1.92 o 262630 1.89/1.92 c BCD2: updating upper bound: 524318 -> 262629 1.89/1.92 c BCD2: 0 <= obj <= 262629 1.89/1.92 c BCD2: #cores=0, #unrelaxed=31, #relaxed=0, #hardened=0 1.89/1.92 c BCD2: #sat=1 #unsat=1 bias=1/2 1.89/1.92 c Solving starts ... 1.89/1.92 c ============================[ Search Statistics ]============================ 1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.92 c | | | | Limit GC | Var | Constra 1.89/1.92 c ============================================================================= 1.89/1.92 c 0.0s | 0 | 0 | 0 | 4242 0 | 3834 | 1 1.89/1.94 c 0.0s | 0 | 1 | 0 | 4242 0 | 3834 | 1 1.89/1.94 c #cpu_time = 0.018s 1.89/1.94 c #wall_clock_time = 0.018s 1.89/1.94 c #decision = 1 1.89/1.94 c #random_decision = 0 1.89/1.94 c #conflict = 0 1.89/1.94 c #restart = 0 1.89/1.94 c BCD2: found a new core of size 2: cost of the new core is >=131073 1.89/1.94 c lower bound updated to 131073 1.89/1.94 c BCD2: 131073 <= obj <= 262629 1.89/1.94 c BCD2: #cores=1, #unrelaxed=29, #relaxed=2, #hardened=0 1.89/1.94 c BCD2: #sat=1 #unsat=2 bias=2/3 1.89/1.94 c Solving starts ... 1.89/1.94 c ============================[ Search Statistics ]============================ 1.89/1.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.94 c | | | | Limit GC | Var | Constra 1.89/1.94 c ============================================================================= 1.89/1.94 c 0.0s | 0 | 0 | 0 | 4242 0 | 3834 | 1 1.89/1.96 c 0.0s | 0 | 1 | 0 | 4242 0 | 3834 | 1 1.89/1.96 c #cpu_time = 0.018s 1.89/1.96 c #wall_clock_time = 0.018s 1.89/1.96 c #decision = 1 1.89/1.96 c #random_decision = 0 1.89/1.96 c #conflict = 0 1.89/1.96 c #restart = 0 1.89/1.96 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=196610 1.89/1.96 c lower bound updated to 196610 1.89/1.96 c BCD2: 196610 <= obj <= 262629 1.89/1.96 c BCD2: #cores=1, #unrelaxed=28, #relaxed=3, #hardened=0 1.89/1.96 c BCD2: #sat=1 #unsat=3 bias=3/4 1.89/1.96 c Solving starts ... 1.89/1.96 c ============================[ Search Statistics ]============================ 1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.96 c | | | | Limit GC | Var | Constra 1.89/1.96 c ============================================================================= 1.89/1.96 c 0.0s | 0 | 0 | 0 | 4242 0 | 3835 | 1 1.89/1.98 c 0.0s | 0 | 1 | 0 | 4242 0 | 3835 | 2 1.89/1.98 c #cpu_time = 0.018s 1.89/1.98 c #wall_clock_time = 0.018s 1.89/1.98 c #decision = 1 1.89/1.98 c #random_decision = 0 1.89/1.98 c #conflict = 0 1.89/1.98 c #restart = 0 1.89/1.98 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=229379 1.89/1.98 c lower bound updated to 229379 1.89/1.98 c BCD2: 229379 <= obj <= 262629 1.89/1.98 c BCD2: #cores=1, #unrelaxed=27, #relaxed=4, #hardened=0 1.89/1.98 c BCD2: #sat=1 #unsat=4 bias=4/5 1.89/1.98 c Solving starts ... 1.89/1.98 c ============================[ Search Statistics ]============================ 1.89/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.98 c | | | | Limit GC | Var | Constra 1.89/1.98 c ============================================================================= 1.89/1.98 c 0.0s | 0 | 0 | 0 | 4242 0 | 3836 | 2 1.99/2.00 c 0.0s | 0 | 1 | 0 | 4242 0 | 3836 | 3 1.99/2.00 c #cpu_time = 0.018s 1.99/2.00 c #wall_clock_time = 0.018s 1.99/2.00 c #decision = 1 1.99/2.00 c #random_decision = 0 1.99/2.00 c #conflict = 0 1.99/2.00 c #restart = 0 1.99/2.00 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=245764 1.99/2.00 c lower bound updated to 245764 1.99/2.00 c BCD2: 245764 <= obj <= 262629 1.99/2.00 c BCD2: #cores=1, #unrelaxed=26, #relaxed=5, #hardened=0 1.99/2.00 c BCD2: #sat=1 #unsat=5 bias=5/6 1.99/2.00 c Solving starts ... 1.99/2.00 c ============================[ Search Statistics ]============================ 1.99/2.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.00 c | | | | Limit GC | Var | Constra 1.99/2.00 c ============================================================================= 1.99/2.00 c 0.0s | 0 | 0 | 0 | 4242 0 | 3837 | 3 1.99/2.02 c 0.0s | 0 | 1 | 0 | 4242 0 | 3837 | 4 1.99/2.02 c #cpu_time = 0.018s 1.99/2.02 c #wall_clock_time = 0.018s 1.99/2.02 c #decision = 1 1.99/2.02 c #random_decision = 0 1.99/2.02 c #conflict = 0 1.99/2.02 c #restart = 0 1.99/2.02 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=253957 1.99/2.02 c lower bound updated to 253957 1.99/2.02 c BCD2: 253957 <= obj <= 262629 1.99/2.02 c BCD2: #cores=1, #unrelaxed=25, #relaxed=6, #hardened=0 1.99/2.02 c BCD2: #sat=1 #unsat=6 bias=6/7 1.99/2.02 c Solving starts ... 1.99/2.02 c ============================[ Search Statistics ]============================ 1.99/2.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.02 c | | | | Limit GC | Var | Constra 1.99/2.02 c ============================================================================= 1.99/2.03 c 0.0s | 0 | 0 | 0 | 4242 0 | 3838 | 4 1.99/2.04 c 0.0s | 0 | 2 | 0 | 4242 0 | 3838 | 5 1.99/2.04 c #cpu_time = 0.018s 1.99/2.04 c #wall_clock_time = 0.018s 1.99/2.04 c #decision = 2 1.99/2.04 c #random_decision = 0 1.99/2.04 c #conflict = 0 1.99/2.04 c #restart = 0 1.99/2.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=256006 1.99/2.04 c lower bound updated to 256006 1.99/2.05 c BCD2: 256006 <= obj <= 262629 1.99/2.05 c BCD2: #cores=1, #unrelaxed=23, #relaxed=8, #hardened=0 1.99/2.05 c BCD2: #sat=1 #unsat=7 bias=7/8 1.99/2.05 c Solving starts ... 1.99/2.05 c ============================[ Search Statistics ]============================ 1.99/2.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.05 c | | | | Limit GC | Var | Constra 1.99/2.05 c ============================================================================= 1.99/2.05 c 0.0s | 0 | 0 | 0 | 4242 0 | 3839 | 5 2.19/2.28 c 0.2s | 1 | 2471 | 100 | 4242 0 | 3839 | 6 2.29/2.37 c 0.3s | 2 | 2742 | 250 | 4242 0 | 3839 | 6 2.49/2.51 c 0.5s | 3 | 3245 | 475 | 4242 0 | 3839 | 6 2.69/2.74 c 0.7s | 4 | 3852 | 813 | 4667 0 | 3841 | 7 2.99/3.08 c 1.0s | 5 | 4532 | 1320 | 4667 0 | 3841 | 7 3.59/3.60 c 1.6s | 6 | 5482 | 2081 | 5134 0 | 3841 | 7 4.29/4.33 c 2.3s | 7 | 6807 | 3223 | 5134 0 | 3841 | 7 6.39/6.44 c 4.4s | 7 | 9089 | 4623 | 5648 0 | 3841 | 7 6.69/6.74 c 4.7s | 8 | 9507 | 4936 | 5648 0 | 3841 | 7 8.79/8.88 c 6.8s | 8 | 13130 | 7036 | 6213 0 | 3844 | 9 9.39/9.40 c 7.4s | 9 | 13828 | 7506 | 6213 0 | 3844 | 9 11.38/11.43 c 9.4s | 9 | 16484 | 9806 | 6213 0 | 3844 | 9 12.78/12.86 c 10.8s | 10 | 18964 | 11361 | 6835 1 | 3844 | 9 14.88/14.91 c 12.9s | 10 | 21982 | 13561 | 6835 1 | 3844 | 9 16.98/17.00 c 14.9s | 10 | 24409 | 15661 | 6835 1 | 3844 | 9 18.58/18.69 c 16.6s | 11 | 26252 | 17144 | 7519 2 | 3844 | 9 20.68/20.78 c 18.7s | 11 | 28967 | 19044 | 7519 2 | 3844 | 9 22.78/22.83 c 20.8s | 11 | 30980 | 20644 | 7519 2 | 3844 | 9 24.88/24.94 c 22.9s | 11 | 32806 | 22244 | 7519 2 | 3844 | 9 26.98/27.05 c 25.0s | 11 | 34727 | 23644 | 7519 3 | 3844 | 9 29.18/29.22 c 27.2s | 11 | 36735 | 25344 | 8271 3 | 3844 | 9 29.78/29.90 c 27.9s | 12 | 37254 | 25819 | 8271 3 | 3844 | 9 33.47/33.59 c 31.5s | 12 | 39316 | 27219 | 8271 3 | 3844 | 9 35.57/35.67 c 33.6s | 12 | 41014 | 28619 | 8271 3 | 3844 | 9 37.67/37.73 c 35.7s | 12 | 42937 | 30319 | 8271 4 | 3844 | 9 39.67/39.77 c 37.7s | 12 | 45744 | 32919 | 8271 4 | 3844 | 9 41.66/41.79 c 39.7s | 12 | 48191 | 35119 | 8271 4 | 3844 | 9 43.76/43.81 c 41.8s | 12 | 50816 | 37519 | 9099 5 | 3844 | 9 44.76/44.88 c 42.8s | 13 | 52318 | 38832 | 9099 5 | 3844 | 9 46.86/46.91 c 44.9s | 13 | 54430 | 40832 | 9099 5 | 3844 | 9 48.86/48.98 c 46.9s | 13 | 56674 | 42832 | 9099 5 | 3844 | 9 50.96/51.01 c 49.0s | 13 | 58798 | 44732 | 9099 6 | 3844 | 9 52.97/53.06 c 51.0s | 13 | 61386 | 46932 | 9099 6 | 3844 | 9 54.96/55.09 c 53.0s | 13 | 63557 | 49032 | 9099 6 | 3844 | 9 57.16/57.24 c 55.2s | 13 | 66000 | 51032 | 9099 7 | 3844 | 9 59.16/59.25 c 57.2s | 13 | 68339 | 53132 | 9099 7 | 3844 | 9 61.16/61.27 c 59.2s | 13 | 70693 | 55332 | 9099 7 | 3844 | 9 63.26/63.38 c 61.3s | 13 | 73086 | 57432 | 10009 7 | 3844 | 9 64.46/64.59 c 62.5s | 14 | 74205 | 58352 | 10009 7 | 3844 | 9 66.56/66.65 c 64.6s | 14 | 76397 | 60152 | 10009 8 | 3844 | 9 68.66/68.74 c 66.7s | 14 | 78801 | 62052 | 10009 8 | 3844 | 9 70.76/70.85 c 68.8s | 14 | 81420 | 64152 | 10009 8 | 3844 | 9 72.87/72.93 c 70.9s | 14 | 84886 | 66852 | 10009 9 | 3844 | 9 74.97/75.05 c 73.0s | 14 | 87748 | 69152 | 10009 9 | 3844 | 9 77.06/77.11 c 75.1s | 14 | 90060 | 71052 | 10009 9 | 3844 | 9 79.06/79.16 c 77.1s | 14 | 91750 | 72652 | 10009 9 | 3844 | 9 81.06/81.18 c 79.1s | 14 | 94007 | 74652 | 10009 10 | 3844 | 9 83.16/83.23 c 81.2s | 14 | 96237 | 76752 | 10009 10 | 3844 | 9 85.16/85.29 c 83.2s | 14 | 98196 | 78552 | 10009 10 | 3844 | 9 87.26/87.36 c 85.3s | 14 | 100339 | 80552 | 10009 10 | 3844 | 9 89.37/89.45 c 87.4s | 14 | 102791 | 82552 | 10009 11 | 3844 | 9 91.47/91.50 c 89.5s | 14 | 104965 | 84452 | 10009 11 | 3844 | 9 93.46/93.51 c 91.5s | 14 | 106810 | 86252 | 11010 11 | 3844 | 9 95.36/95.40 c 93.3s | 15 | 108264 | 87632 | 11010 11 | 3844 | 9 97.46/97.54 c 95.5s | 15 | 111122 | 89532 | 11010 12 | 3844 | 9 99.46/99.59 c 97.5s | 15 | 114155 | 91932 | 11010 12 | 3844 | 9 101.56/101.68 c 99.6s | 15 | 116948 | 94132 | 11010 12 | 3844 | 9 103.66/103.78 c 101s | 15 | 119116 | 96032 | 11010 12 | 3844 | 9 105.76/105.81 c 103s | 15 | 121398 | 98132 | 11010 13 | 3844 | 9 107.76/107.88 c 105s | 15 | 124058 | 100232 | 11010 13 | 3844 | 9 109.86/109.90 c 107s | 15 | 126457 | 102232 | 11010 13 | 3844 | 9 111.86/111.92 c 109s | 15 | 129022 | 104232 | 11010 13 | 3844 | 9 113.86/113.99 c 111s | 15 | 130904 | 105732 | 11010 14 | 3844 | 9 115.96/116.08 c 114s | 15 | 133469 | 107632 | 11010 14 | 3844 | 9 118.06/118.14 c 116s | 15 | 135889 | 109632 | 11010 14 | 3844 | 9 120.06/120.16 c 118s | 15 | 137714 | 111232 | 11010 14 | 3844 | 9 122.05/122.17 c 120s | 15 | 139256 | 112632 | 11010 14 | 3844 | 9 124.15/124.28 c 122s | 15 | 140852 | 114132 | 11010 15 | 3844 | 9 126.35/126.43 c 124s | 15 | 142673 | 115832 | 11010 15 | 3844 | 9 128.35/128.43 c 126s | 15 | 144564 | 117632 | 11010 15 | 3844 | 9 130.45/130.58 c 128s | 15 | 146411 | 119332 | 11010 15 | 3844 | 9 132.65/132.70 c 130s | 15 | 148240 | 120932 | 11010 15 | 3844 | 9 134.65/134.72 c 132s | 15 | 149880 | 122432 | 11010 16 | 3844 | 9 136.66/136.72 c 134s | 15 | 151873 | 124232 | 11010 16 | 3844 | 9 138.65/138.76 c 136s | 15 | 154309 | 126532 | 11010 16 | 3844 | 9 140.85/140.92 c 138s | 15 | 155722 | 127832 | 11010 16 | 3844 | 9 142.85/142.96 c 140s | 15 | 157193 | 129032 | 11010 16 | 3844 | 9 145.05/145.10 c 143s | 15 | 158700 | 130432 | 12112 16 | 3844 | 9 146.75/146.83 c 144s | 16 | 159958 | 131552 | 12112 17 | 3844 | 9 148.76/148.86 c 146s | 16 | 162191 | 133552 | 12112 17 | 3844 | 9 150.75/150.89 c 148s | 16 | 164575 | 135552 | 12112 17 | 3844 | 9 152.85/152.92 c 150s | 16 | 166535 | 137352 | 12112 17 | 3844 | 9 154.85/154.93 c 152s | 16 | 168563 | 139052 | 12112 17 | 3844 | 9 156.95/157.00 c 154s | 16 | 170617 | 140852 | 12112 18 | 3844 | 9 159.04/159.17 c 157s | 16 | 172450 | 142552 | 12112 18 | 3844 | 9 161.14/161.23 c 159s | 16 | 174076 | 144052 | 12112 18 | 3844 | 9 163.24/163.38 c 161s | 16 | 175883 | 145652 | 12112 18 | 3844 | 9 165.34/165.47 c 163s | 16 | 177475 | 147052 | 12112 18 | 3844 | 9 167.45/167.52 c 165s | 16 | 179522 | 148852 | 12112 19 | 3844 | 9 169.55/169.63 c 167s | 16 | 182063 | 150652 | 12112 19 | 3844 | 9 171.54/171.66 c 169s | 16 | 183718 | 151952 | 12112 19 | 3844 | 9 173.54/173.66 c 171s | 16 | 184966 | 153152 | 12112 19 | 3844 | 9 175.64/175.71 c 173s | 16 | 186548 | 154352 | 12112 19 | 3844 | 9 177.64/177.75 c 175s | 16 | 187959 | 155652 | 12112 19 | 3844 | 9 179.74/179.89 c 177s | 16 | 189683 | 157052 | 12112 20 | 3844 | 9 181.84/181.95 c 179s | 16 | 191462 | 158652 | 12112 20 | 3844 | 9 183.84/183.98 c 181s | 16 | 193171 | 160252 | 12112 20 | 3844 | 9 185.94/186.07 c 184s | 16 | 194768 | 161652 | 12112 20 | 3844 | 9 188.04/188.13 c 186s | 16 | 196283 | 163052 | 12112 20 | 3844 | 9 190.04/190.14 c 188s | 16 | 197719 | 164352 | 12112 20 | 3844 | 9 192.13/192.23 c 190s | 16 | 199534 | 165952 | 12112 21 | 3844 | 9 194.23/194.34 c 192s | 16 | 201227 | 167552 | 12112 21 | 3844 | 9 196.23/196.35 c 194s | 16 | 201971 | 168252 | 12112 21 | 3844 | 9 198.34/198.44 c 196s | 16 | 203545 | 169752 | 12112 21 | 3844 | 9 200.35/200.47 c 198s | 16 | 205011 | 171152 | 12112 21 | 3844 | 9 202.55/202.62 c 200s | 16 | 206701 | 172652 | 12112 21 | 3844 | 9 204.54/204.66 c 202s | 16 | 208229 | 174052 | 12112 22 | 3844 | 9 206.54/206.69 c 204s | 16 | 209760 | 175452 | 12112 22 | 3844 | 9 208.74/208.83 c 206s | 16 | 211344 | 176952 | 12112 22 | 3844 | 9 210.74/210.89 c 208s | 16 | 212800 | 178352 | 12112 22 | 3844 | 9 212.84/212.98 c 210s | 16 | 214412 | 179752 | 12112 22 | 3844 | 9 214.94/215.01 c 212s | 16 | 216003 | 181052 | 12112 22 | 3844 | 9 217.04/217.11 c 215s | 16 | 217686 | 182452 | 12112 23 | 3844 | 9 219.04/219.16 c 217s | 16 | 219696 | 184252 | 12112 23 | 3844 | 9 221.04/221.18 c 219s | 16 | 221328 | 185752 | 12112 23 | 3844 | 9 223.04/223.19 c 221s | 16 | 222897 | 187252 | 12112 23 | 3844 | 9 225.24/225.32 c 223s | 16 | 224425 | 188752 | 12112 23 | 3844 | 9 227.24/227.37 c 225s | 16 | 225939 | 190152 | 12112 23 | 3844 | 9 229.44/229.51 c 227s | 16 | 227252 | 191452 | 12112 24 | 3844 | 9 231.53/231.61 c 229s | 16 | 228741 | 192852 | 12112 24 | 3844 | 9 233.63/233.70 c 231s | 16 | 230173 | 194252 | 12112 24 | 3844 | 9 235.73/235.87 c 233s | 16 | 231496 | 195452 | 13324 24 | 3844 | 9 237.84/237.91 c 235s | 16 | 232614 | 196552 | 13324 24 | 3844 | 9 239.23/239.36 c 237s | 17 | 233592 | 197432 | 13324 24 | 3844 | 9 241.33/241.48 c 239s | 17 | 235266 | 198932 | 13324 24 | 3844 | 9 243.53/243.63 c 241s | 17 | 236631 | 200232 | 13324 24 | 3844 | 9 245.54/245.69 c 243s | 17 | 238049 | 201532 | 13324 25 | 3844 | 9 247.64/247.78 c 245s | 17 | 239638 | 202932 | 13324 25 | 3844 | 9 249.73/249.88 c 247s | 17 | 241211 | 204332 | 13324 25 | 3844 | 9 251.83/251.90 c 249s | 17 | 243375 | 206232 | 13324 25 | 3844 | 9 253.83/253.97 c 251s | 17 | 245642 | 208232 | 13324 25 | 3844 | 9 255.93/256.00 c 253s | 17 | 247777 | 210032 | 13324 26 | 3844 | 9 257.93/258.05 c 255s | 17 | 249985 | 211932 | 13324 26 | 3844 | 9 259.93/260.07 c 258s | 17 | 251874 | 213632 | 13324 26 | 3844 | 9 262.04/262.13 c 260s | 17 | 253714 | 215132 | 13324 26 | 3844 | 9 264.03/264.20 c 262s | 17 | 255530 | 216732 | 13324 26 | 3844 | 9 266.13/266.23 c 264s | 17 | 257111 | 218232 | 13324 26 | 3844 | 9 268.23/268.36 c 266s | 17 | 258650 | 219632 | 13324 27 | 3844 | 9 270.33/270.42 c 268s | 17 | 260224 | 221032 | 13324 27 | 3844 | 9 272.33/272.42 c 270s | 17 | 261784 | 222432 | 13324 27 | 3844 | 9 274.33/274.45 c 272s | 17 | 263846 | 224432 | 13324 27 | 3844 | 9 276.33/276.48 c 274s | 17 | 265596 | 226132 | 13324 27 | 3844 | 9 278.53/278.68 c 276s | 17 | 267220 | 227732 | 13324 28 | 3844 | 9 280.63/280.75 c 278s | 17 | 269749 | 229732 | 13324 28 | 3844 | 9 282.62/282.78 c 280s | 17 | 272227 | 231632 | 13324 28 | 3844 | 9 284.72/284.84 c 282s | 17 | 274551 | 233532 | 13324 28 | 3844 | 9 286.72/286.89 c 284s | 17 | 276540 | 235232 | 13324 28 | 3844 | 9 288.92/289.02 c 286s | 17 | 278155 | 236632 | 13324 28 | 3844 | 9 290.92/291.04 c 288s | 17 | 279857 | 238132 | 13324 29 | 3844 | 9 293.02/293.13 c 291s | 17 | 282235 | 240032 | 13324 29 | 3844 | 9 295.03/295.19 c 293s | 17 | 284108 | 241632 | 13324 29 | 3844 | 9 297.23/297.32 c 295s | 17 | 286044 | 243332 | 13324 29 | 3844 | 9 299.22/299.35 c 297s | 17 | 287783 | 244732 | 13324 29 | 3844 | 9 301.32/301.41 c 299s | 17 | 289021 | 245832 | 13324 29 | 3844 | 9 303.42/303.55 c 301s | 17 | 290190 | 246932 | 13324 30 | 3844 | 9 305.42/305.57 c 303s | 17 | 291448 | 248132 | 13324 30 | 3844 | 9 307.52/307.60 c 305s | 17 | 292765 | 249332 | 13324 30 | 3844 | 9 309.62/309.75 c 307s | 17 | 294558 | 250932 | 13324 30 | 3844 | 9 311.62/311.78 c 309s | 17 | 296337 | 252632 | 13324 30 | 3844 | 9 313.73/313.85 c 311s | 17 | 298302 | 254432 | 13324 30 | 3844 | 9 315.83/315.94 c 313s | 17 | 299922 | 255932 | 13324 31 | 3844 | 9 317.82/317.99 c 315s | 17 | 301737 | 257632 | 13324 31 | 3844 | 9 320.02/320.11 c 318s | 17 | 303524 | 259232 | 13324 31 | 3844 | 9 322.02/322.11 c 320s | 17 | 305180 | 260832 | 13324 31 | 3844 | 9 324.02/324.14 c 322s | 17 | 306846 | 262432 | 13324 31 | 3844 | 9 326.12/326.24 c 324s | 17 | 308344 | 263832 | 13324 31 | 3844 | 9 328.22/328.32 c 326s | 17 | 310126 | 265432 | 13324 32 | 3844 | 9 330.32/330.41 c 328s | 17 | 311793 | 267032 | 13324 32 | 3844 | 9 332.32/332.48 c 330s | 17 | 313808 | 268632 | 13324 32 | 3844 | 9 334.42/334.50 c 332s | 17 | 316020 | 270532 | 13324 32 | 3844 | 9 336.51/336.61 c 334s | 17 | 318552 | 272532 | 13324 32 | 3844 | 9 338.51/338.69 c 336s | 17 | 319805 | 273632 | 13324 33 | 3844 | 9 340.61/340.74 c 338s | 17 | 322376 | 275432 | 13324 33 | 3844 | 9 342.71/342.86 c 340s | 17 | 324931 | 277332 | 13324 33 | 3844 | 9 344.81/344.97 c 342s | 17 | 327264 | 279232 | 13324 33 | 3844 | 9 346.91/347.02 c 344s | 17 | 328963 | 280832 | 13324 33 | 3844 | 9 349.01/349.12 c 347s | 17 | 330476 | 282232 | 13324 33 | 3844 | 9 351.02/351.19 c 349s | 17 | 331918 | 283632 | 13324 34 | 3844 | 9 353.11/353.25 c 351s | 17 | 333480 | 285132 | 13324 34 | 3844 | 9 355.21/355.39 c 353s | 17 | 335105 | 286632 | 13324 34 | 3844 | 9 357.41/357.52 c 355s | 17 | 336649 | 288032 | 13324 34 | 3844 | 9 359.41/359.59 c 357s | 17 | 338057 | 289332 | 13324 34 | 3844 | 9 361.61/361.71 c 359s | 17 | 339745 | 290832 | 13324 34 | 3844 | 9 363.61/363.78 c 361s | 17 | 341017 | 292032 | 13324 35 | 3844 | 9 365.71/365.83 c 363s | 17 | 342610 | 293432 | 14657 35 | 3844 | 9 367.81/367.93 c 365s | 17 | 344092 | 294732 | 14657 35 | 3844 | 9 369.82/369.93 c 367s | 17 | 345517 | 296032 | 14657 35 | 3844 | 9 370.21/370.31 c 368s | 18 | 345757 | 296252 | 14657 35 | 3844 | 9 372.21/372.32 c 370s | 18 | 347488 | 297652 | 14657 35 | 3844 | 9 374.31/374.42 c 372s | 18 | 349355 | 299352 | 14657 35 | 3844 | 9 376.42/376.53 c 374s | 18 | 351165 | 300952 | 14657 35 | 3844 | 9 378.52/378.68 c 376s | 18 | 352747 | 302352 | 14657 35 | 3844 | 9 380.51/380.68 c 378s | 18 | 354027 | 303452 | 14657 36 | 3844 | 9 382.71/382.81 c 380s | 18 | 355546 | 304852 | 14657 36 | 3844 | 9 384.71/384.81 c 382s | 18 | 357202 | 306352 | 14657 36 | 3844 | 9 386.71/386.87 c 384s | 18 | 359144 | 307852 | 14657 36 | 3844 | 9 388.81/388.99 c 386s | 18 | 360783 | 309352 | 14657 36 | 3844 | 9 390.91/391.00 c 388s | 18 | 362466 | 310852 | 14657 36 | 3844 | 9 392.91/393.02 c 390s | 18 | 363790 | 312052 | 14657 36 | 3844 | 9 395.01/395.11 c 393s | 18 | 364714 | 312952 | 14657 37 | 3844 | 9 397.00/397.18 c 395s | 18 | 366353 | 314552 | 14657 37 | 3844 | 9 399.10/399.20 c 397s | 18 | 367772 | 315852 | 14657 37 | 3844 | 9 401.10/401.25 c 399s | 18 | 369238 | 317252 | 14657 37 | 3844 | 9 403.20/403.31 c 401s | 18 | 371491 | 319152 | 14657 37 | 3844 | 9 405.20/405.39 c 403s | 18 | 373606 | 321152 | 14657 37 | 3844 | 9 407.30/407.45 c 405s | 18 | 375258 | 322652 | 14657 38 | 3844 | 9 409.31/409.47 c 407s | 18 | 377292 | 324352 | 14657 38 | 3844 | 9 411.30/411.49 c 409s | 18 | 378855 | 325752 | 14657 38 | 3844 | 9 413.50/413.62 c 411s | 18 | 380357 | 327152 | 14657 38 | 3844 | 9 415.60/415.76 c 413s | 18 | 381659 | 328252 | 14657 38 | 3844 | 9 417.80/417.91 c 415s | 18 | 382582 | 329152 | 14657 38 | 3844 | 9 419.80/419.95 c 417s | 18 | 383680 | 330152 | 14657 38 | 3844 | 9 421.90/422.05 c 420s | 18 | 384980 | 331352 | 14657 38 | 3844 | 9 423.90/424.08 c 422s | 18 | 386399 | 332552 | 14657 39 | 3844 | 9 426.00/426.12 c 424s | 18 | 387940 | 334052 | 14657 39 | 3844 | 9 428.01/428.19 c 426s | 18 | 389341 | 335352 | 14657 39 | 3844 | 9 430.10/430.26 c 428s | 18 | 390852 | 336652 | 14657 39 | 3844 | 9 432.20/432.37 c 430s | 18 | 392680 | 338352 | 14657 39 | 3844 | 9 434.30/434.40 c 432s | 18 | 394065 | 339652 | 14657 39 | 3844 | 9 436.40/436.56 c 434s | 18 | 395325 | 340852 | 14657 39 | 3844 | 9 438.50/438.67 c 436s | 18 | 396439 | 341852 | 14657 40 | 3844 | 9 440.60/440.71 c 438s | 18 | 398095 | 343452 | 14657 40 | 3844 | 9 442.60/442.74 c 440s | 18 | 399437 | 344752 | 14657 40 | 3844 | 9 444.60/444.75 c 442s | 18 | 400905 | 346152 | 14657 40 | 3844 | 9 446.70/446.82 c 444s | 18 | 402719 | 347852 | 14657 40 | 3844 | 9 448.79/448.91 c 446s | 18 | 404552 | 349652 | 14657 40 | 3844 | 9 450.79/450.93 c 448s | 18 | 405669 | 350652 | 14657 40 | 3844 | 9 452.89/453.02 c 450s | 18 | 406436 | 351352 | 14657 41 | 3844 | 9 454.99/455.16 c 453s | 18 | 407895 | 352652 | 14657 41 | 3844 | 9 457.09/457.26 c 455s | 18 | 409108 | 353852 | 14657 41 | 3844 | 9 459.29/459.42 c 457s | 18 | 410188 | 354852 | 14657 41 | 3844 | 9 461.39/461.51 c 459s | 18 | 411118 | 355752 | 14657 41 | 3844 | 9 463.49/463.64 c 461s | 18 | 412773 | 357352 | 14657 41 | 3844 | 9 465.59/465.75 c 463s | 18 | 414276 | 358652 | 14657 41 | 3844 | 9 467.70/467.84 c 465s | 18 | 415483 | 359752 | 14657 41 | 3844 | 9 469.69/469.90 c 467s | 18 | 416514 | 360752 | 14657 41 | 3844 | 9 471.89/472.06 c 470s | 18 | 417629 | 361852 | 14657 42 | 3844 | 9 473.99/474.15 c 472s | 18 | 419149 | 363252 | 14657 42 | 3844 | 9 476.09/476.26 c 474s | 18 | 420410 | 364452 | 14657 42 | 3844 | 9 478.19/478.39 c 476s | 18 | 421556 | 365552 | 14657 42 | 3844 | 9 480.39/480.52 c 478s | 18 | 422703 | 366652 | 14657 42 | 3844 | 9 482.49/482.63 c 480s | 18 | 423758 | 367652 | 14657 42 | 3844 | 9 484.59/484.71 c 482s | 18 | 425308 | 369152 | 14657 42 | 3844 | 9 486.69/486.83 c 484s | 18 | 426960 | 370752 | 14657 42 | 3844 | 9 488.69/488.89 c 486s | 18 | 428769 | 372452 | 14657 43 | 3844 | 9 490.89/491.04 c 488s | 18 | 430619 | 374152 | 14657 43 | 3844 | 9 492.89/493.06 c 491s | 18 | 431666 | 375152 | 14657 43 | 3844 | 9 494.99/495.12 c 493s | 18 | 433156 | 376552 | 14657 43 | 3844 | 9 496.99/497.18 c 495s | 18 | 434797 | 378052 | 14657 43 | 3844 | 9 499.09/499.23 c 497s | 18 | 436339 | 379552 | 14657 43 | 3844 | 9 501.18/501.36 c 499s | 18 | 437731 | 380852 | 14657 44 | 3844 | 9 503.28/503.40 c 501s | 18 | 439279 | 382252 | 14657 44 | 3844 | 9 505.28/505.42 c 503s | 18 | 440880 | 383752 | 14657 44 | 3844 | 9 507.38/507.50 c 505s | 18 | 442578 | 385152 | 14657 44 | 3844 | 9 509.39/509.51 c 507s | 18 | 443825 | 386352 | 14657 44 | 3844 | 9 511.38/511.57 c 509s | 18 | 445113 | 387552 | 14657 44 | 3844 | 9 513.58/513.74 c 511s | 18 | 446571 | 388852 | 14657 44 | 3844 | 9 515.58/515.74 c 513s | 18 | 447746 | 389952 | 14657 44 | 3844 | 9 517.68/517.84 c 515s | 18 | 449077 | 391252 | 14657 45 | 3844 | 9 519.78/519.98 c 517s | 18 | 450286 | 392352 | 14657 45 | 3844 | 9 521.88/522.07 c 520s | 18 | 451624 | 393652 | 14657 45 | 3844 | 9 523.98/524.14 c 522s | 18 | 453298 | 395252 | 14657 45 | 3844 | 9 526.08/526.23 c 524s | 18 | 454680 | 396452 | 14657 45 | 3844 | 9 528.08/528.27 c 526s | 18 | 456014 | 397552 | 14657 45 | 3844 | 9 530.58/530.70 c 528s | 18 | 458102 | 399252 | 14657 46 | 3848 | 11 532.58/532.76 c 530s | 18 | 461012 | 401752 | 14657 46 | 3848 | 11 534.57/534.76 c 532s | 18 | 463405 | 403952 | 14657 46 | 3848 | 11 536.67/536.86 c 534s | 18 | 465670 | 405952 | 14657 46 | 3848 | 11 538.77/538.93 c 536s | 18 | 468121 | 407952 | 14657 46 | 3848 | 11 540.77/540.97 c 538s | 18 | 470112 | 409352 | 14657 46 | 3848 | 11 542.97/543.11 c 541s | 18 | 472250 | 410952 | 14657 47 | 3848 | 11 544.97/545.11 c 543s | 18 | 475018 | 412852 | 14657 47 | 3848 | 11 546.97/547.18 c 545s | 18 | 478236 | 415152 | 14657 47 | 3848 | 11 549.08/549.27 c 547s | 18 | 480441 | 417152 | 14657 47 | 3848 | 11 551.08/551.29 c 549s | 18 | 482507 | 418952 | 14657 48 | 3848 | 11 553.18/553.30 c 551s | 18 | 484544 | 420752 | 14657 48 | 3848 | 11 555.18/555.37 c 553s | 18 | 486677 | 422752 | 14657 48 | 3848 | 11 557.28/557.47 c 555s | 18 | 488988 | 424652 | 14657 48 | 3848 | 11 559.38/559.60 c 557s | 18 | 490502 | 425952 | 14657 48 | 3848 | 11 561.47/561.65 c 559s | 18 | 491849 | 427152 | 14657 48 | 3848 | 11 563.67/563.84 c 561s | 18 | 493423 | 428552 | 14657 48 | 3848 | 11 565.67/565.87 c 563s | 18 | 495004 | 429852 | 14657 49 | 3848 | 11 567.78/567.95 c 565s | 18 | 496960 | 431552 | 14657 49 | 3848 | 11 569.88/570.01 c 567s | 18 | 498858 | 433252 | 14657 49 | 3848 | 11 571.97/572.11 c 570s | 18 | 500569 | 434752 | 14657 49 | 3848 | 11 574.07/574.23 c 572s | 18 | 502236 | 436252 | 14657 49 | 3848 | 11 576.17/576.36 c 574s | 18 | 503666 | 437552 | 14657 49 | 3848 | 11 578.27/578.44 c 576s | 18 | 505130 | 438852 | 14657 50 | 3848 | 11 580.37/580.54 c 578s | 18 | 506845 | 440352 | 16123 50 | 3848 | 11 582.37/582.56 c 580s | 18 | 508637 | 441952 | 16123 50 | 3848 | 11 584.47/584.69 c 582s | 18 | 510311 | 443452 | 16123 50 | 3848 | 11 585.87/586.07 c 584s | 19 | 511513 | 444482 | 16123 50 | 3848 | 11 587.97/588.14 c 586s | 19 | 513498 | 446182 | 16123 50 | 3850 | 12 590.07/590.28 c 588s | 19 | 515502 | 447982 | 16123 50 | 3850 | 12 592.27/592.47 c 590s | 19 | 517199 | 449582 | 16123 51 | 3850 | 12 594.37/594.56 c 592s | 19 | 518931 | 451282 | 16123 51 | 3850 | 12 596.37/596.59 c 594s | 19 | 520572 | 452882 | 16123 51 | 3850 | 12 598.47/598.68 c 596s | 19 | 522186 | 454382 | 16123 51 | 3850 | 12 600.67/600.84 c 598s | 19 | 523472 | 455582 | 16123 51 | 3850 | 12 602.87/603.01 c 600s | 19 | 524805 | 456782 | 16123 51 | 3850 | 12 604.97/605.10 c 603s | 19 | 526450 | 458182 | 16123 51 | 3850 | 12 606.96/607.13 c 605s | 19 | 528176 | 459682 | 16123 51 | 3850 | 12 608.96/609.18 c 607s | 19 | 530049 | 461182 | 16123 52 | 3850 | 12 611.06/611.27 c 609s | 19 | 532205 | 462882 | 16123 52 | 3850 | 12 613.16/613.35 c 611s | 19 | 533822 | 464382 | 16123 52 | 3850 | 12 615.26/615.43 c 613s | 19 | 535751 | 465982 | 16123 52 | 3850 | 12 617.27/617.45 c 615s | 19 | 537194 | 467182 | 16123 52 | 3850 | 12 619.26/619.50 c 617s | 19 | 538944 | 468582 | 16123 52 | 3850 | 12 621.46/621.61 c 619s | 19 | 540480 | 469782 | 16123 52 | 3850 | 12 623.46/623.63 c 621s | 19 | 542258 | 471382 | 16123 53 | 3850 | 12 625.56/625.71 c 623s | 19 | 544041 | 472882 | 16123 53 | 3850 | 12 627.56/627.76 c 625s | 19 | 545595 | 474182 | 16123 53 | 3850 | 12 629.66/629.87 c 627s | 19 | 547083 | 475582 | 16123 53 | 3850 | 12 631.76/631.98 c 629s | 19 | 548428 | 476882 | 16123 53 | 3850 | 12 633.86/634.00 c 631s | 19 | 550139 | 478282 | 16123 53 | 3850 | 12 635.87/636.04 c 633s | 19 | 552187 | 479782 | 16123 53 | 3850 | 12 637.86/638.09 c 636s | 19 | 553872 | 481082 | 16123 54 | 3850 | 12 640.06/640.20 c 638s | 19 | 555813 | 482682 | 16123 54 | 3850 | 12 642.06/642.28 c 640s | 19 | 557209 | 483882 | 16123 54 | 3850 | 12 644.26/644.41 c 642s | 19 | 558713 | 485082 | 16123 54 | 3850 | 12 646.46/646.61 c 644s | 19 | 559774 | 486082 | 16123 54 | 3850 | 12 648.56/648.76 c 646s | 19 | 561056 | 487182 | 16123 54 | 3850 | 12 650.66/650.82 c 648s | 19 | 562528 | 488582 | 16123 54 | 3850 | 12 652.66/652.82 c 650s | 19 | 563916 | 489782 | 16123 54 | 3850 | 12 654.86/655.00 c 652s | 19 | 565373 | 491082 | 16123 54 | 3850 | 12 656.86/657.02 c 654s | 19 | 566657 | 492182 | 16123 55 | 3850 | 12 658.96/659.11 c 657s | 19 | 568316 | 493682 | 16123 55 | 3850 | 12 660.95/661.16 c 659s | 19 | 569705 | 494982 | 16123 55 | 3850 | 12 663.15/663.30 c 661s | 19 | 571083 | 496282 | 16123 55 | 3850 | 12 665.25/665.45 c 663s | 19 | 572152 | 497282 | 16123 55 | 3850 | 12 667.35/667.54 c 665s | 19 | 573092 | 498182 | 16123 55 | 3850 | 12 669.35/669.57 c 667s | 19 | 574158 | 499182 | 16123 55 | 3850 | 12 671.45/671.61 c 669s | 19 | 575539 | 500482 | 16123 55 | 3850 | 12 673.55/673.71 c 671s | 19 | 576804 | 501682 | 16123 55 | 3850 | 12 675.65/675.82 c 673s | 19 | 577871 | 502682 | 16123 56 | 3850 | 12 677.66/677.86 c 675s | 19 | 579756 | 504282 | 16123 56 | 3850 | 12 679.75/680.00 c 677s | 19 | 581184 | 505582 | 16123 56 | 3850 | 12 681.95/682.12 c 680s | 19 | 582864 | 506982 | 16123 56 | 3850 | 12 683.95/684.16 c 682s | 19 | 584245 | 508282 | 16123 56 | 3850 | 12 686.15/686.35 c 684s | 19 | 585318 | 509282 | 16123 56 | 3850 | 12 688.25/688.49 c 686s | 19 | 586843 | 510682 | 16123 56 | 3850 | 12 690.45/690.62 c 688s | 19 | 588446 | 512082 | 16123 56 | 3850 | 12 692.55/692.71 c 690s | 19 | 589855 | 513382 | 16123 57 | 3850 | 12 694.65/694.80 c 692s | 19 | 591154 | 514582 | 16123 57 | 3850 | 12 696.75/696.90 c 694s | 19 | 593014 | 516282 | 16123 57 | 3850 | 12 698.85/699.05 c 697s | 19 | 594773 | 517682 | 16123 57 | 3850 | 12 701.05/701.21 c 699s | 19 | 596258 | 518982 | 16123 57 | 3850 | 12 703.05/703.29 c 701s | 19 | 597649 | 520182 | 16123 57 | 3850 | 12 705.25/705.49 c 703s | 19 | 598911 | 521282 | 16123 57 | 3850 | 12 707.35/707.60 c 705s | 19 | 599998 | 522282 | 16123 57 | 3850 | 12 709.55/709.76 c 707s | 19 | 601037 | 523282 | 16123 58 | 3850 | 12 711.65/711.82 c 709s | 19 | 602586 | 524682 | 16123 58 | 3850 | 12 713.75/713.98 c 711s | 19 | 604144 | 526182 | 16123 58 | 3850 | 12 715.95/716.13 c 714s | 19 | 605714 | 527582 | 16123 58 | 3850 | 12 717.94/718.13 c 716s | 19 | 607010 | 528782 | 16123 58 | 3850 | 12 719.94/720.16 c 718s | 19 | 608174 | 529882 | 16123 58 | 3850 | 12 722.14/722.35 c 720s | 19 | 609300 | 530982 | 16123 58 | 3850 | 12 724.24/724.40 c 722s | 19 | 610531 | 532182 | 16123 58 | 3850 | 12 726.24/726.40 c 724s | 19 | 611778 | 533382 | 16123 58 | 3850 | 12 728.25/728.46 c 726s | 19 | 613220 | 534582 | 16123 59 | 3850 | 12 730.44/730.65 c 728s | 19 | 614631 | 535882 | 16123 59 | 3850 | 12 732.53/732.73 c 730s | 19 | 615956 | 537182 | 16123 59 | 3850 | 12 734.63/734.84 c 732s | 19 | 617399 | 538582 | 16123 59 | 3850 | 12 736.73/736.99 c 734s | 19 | 618749 | 539882 | 16123 59 | 3850 | 12 738.83/739.04 c 736s | 19 | 620004 | 541082 | 16123 59 | 3850 | 12 740.92/741.13 c 739s | 19 | 621818 | 542582 | 16123 59 | 3850 | 12 742.92/743.18 c 741s | 19 | 624355 | 544782 | 16123 60 | 3850 | 12 745.02/745.25 c 743s | 19 | 626943 | 546782 | 16123 60 | 3850 | 12 747.12/747.31 c 745s | 19 | 629662 | 548982 | 16123 60 | 3850 | 12 749.24/749.41 c 747s | 19 | 632022 | 550882 | 16123 60 | 3850 | 12 751.23/751.50 c 749s | 19 | 634313 | 552682 | 16123 60 | 3850 | 12 753.33/753.57 c 751s | 19 | 636835 | 554482 | 16123 61 | 3850 | 12 755.43/755.62 c 753s | 19 | 639321 | 556182 | 16123 61 | 3850 | 12 757.43/757.63 c 755s | 19 | 641330 | 557782 | 16123 61 | 3850 | 12 759.42/759.64 c 757s | 19 | 643038 | 559182 | 16123 61 | 3850 | 12 761.42/761.66 c 759s | 19 | 644855 | 560682 | 16123 61 | 3850 | 12 763.53/763.72 c 761s | 19 | 646724 | 562182 | 16123 61 | 3850 | 12 765.52/765.72 c 763s | 19 | 648306 | 563482 | 16123 61 | 3850 | 12 767.72/767.95 c 765s | 19 | 649841 | 564882 | 16123 62 | 3850 | 12 769.82/770.00 c 767s | 19 | 651362 | 566182 | 16123 62 | 3850 | 12 771.82/772.07 c 770s | 19 | 653489 | 567782 | 16123 62 | 3850 | 12 773.92/774.19 c 772s | 19 | 655261 | 569382 | 16123 62 | 3850 | 12 776.12/776.33 c 774s | 19 | 656942 | 570882 | 16123 62 | 3850 | 12 778.21/778.42 c 776s | 19 | 658578 | 572382 | 16123 62 | 3850 | 12 780.31/780.55 c 778s | 19 | 660183 | 573882 | 16123 62 | 3850 | 12 782.41/782.60 c 780s | 19 | 661650 | 575282 | 16123 62 | 3850 | 12 784.42/784.61 c 782s | 19 | 663134 | 576582 | 16123 63 | 3850 | 12 786.41/786.63 c 784s | 19 | 664926 | 578182 | 16123 63 | 3850 | 12 788.51/788.76 c 786s | 19 | 667068 | 579982 | 16123 63 | 3850 | 12 790.70/790.92 c 788s | 19 | 668560 | 581282 | 16123 63 | 3850 | 12 792.70/792.96 c 790s | 19 | 670519 | 582982 | 16123 63 | 3850 | 12 794.80/795.05 c 792s | 19 | 671925 | 584282 | 16123 63 | 3850 | 12 796.80/797.06 c 795s | 19 | 673110 | 585382 | 16123 63 | 3850 | 12 799.00/799.26 c 797s | 19 | 674332 | 586482 | 16123 64 | 3850 | 12 801.19/801.44 c 799s | 19 | 676021 | 587982 | 16123 64 | 3850 | 12 803.29/803.52 c 801s | 19 | 677520 | 589182 | 16123 64 | 3850 | 12 805.39/805.64 c 803s | 19 | 678856 | 590382 | 16123 64 | 3850 | 12 807.50/807.75 c 805s | 19 | 680616 | 591982 | 16123 64 | 3850 | 12 809.49/809.79 c 807s | 19 | 681800 | 593082 | 16123 64 | 3850 | 12 811.69/811.93 c 809s | 19 | 683136 | 594382 | 16123 64 | 3850 | 12 813.69/813.93 c 811s | 19 | 684724 | 595882 | 16123 64 | 3850 | 12 815.69/815.99 c 813s | 19 | 685963 | 596982 | 16123 65 | 3850 | 12 817.79/818.06 c 816s | 19 | 687292 | 598282 | 16123 65 | 3850 | 12 819.78/820.09 c 818s | 19 | 688583 | 599482 | 16123 65 | 3850 | 12 821.79/822.09 c 820s | 19 | 689693 | 600582 | 16123 65 | 3850 | 12 823.89/824.17 c 822s | 19 | 691003 | 601782 | 16123 65 | 3850 | 12 825.98/826.24 c 824s | 19 | 692235 | 602882 | 16123 65 | 3850 | 12 828.08/828.37 c 826s | 19 | 693475 | 603982 | 16123 65 | 3850 | 12 830.18/830.42 c 828s | 19 | 694633 | 605082 | 16123 65 | 3850 | 12 832.28/832.51 c 830s | 19 | 695808 | 606182 | 16123 65 | 3850 | 12 834.38/834.60 c 832s | 19 | 697150 | 607382 | 16123 66 | 3850 | 12 836.38/836.65 c 834s | 19 | 698711 | 608782 | 16123 66 | 3850 | 12 838.48/838.71 c 836s | 19 | 700160 | 610082 | 16123 66 | 3850 | 12 840.48/840.71 c 838s | 19 | 701565 | 611382 | 16123 66 | 3850 | 12 842.58/842.86 c 840s | 19 | 702972 | 612582 | 16123 66 | 3850 | 12 844.67/844.95 c 842s | 19 | 704108 | 613582 | 16123 66 | 3850 | 12 846.77/847.04 c 844s | 19 | 705358 | 614782 | 16123 66 | 3850 | 12 848.77/849.07 c 847s | 19 | 706636 | 615982 | 16123 66 | 3850 | 12 850.87/851.11 c 849s | 19 | 707974 | 617182 | 16123 66 | 3850 | 12 852.87/853.19 c 851s | 19 | 709422 | 618482 | 16123 67 | 3850 | 12 855.07/855.30 c 853s | 19 | 711153 | 619982 | 16123 67 | 3850 | 12 857.07/857.34 c 855s | 19 | 712500 | 621282 | 16123 67 | 3850 | 12 859.17/859.42 c 857s | 19 | 714037 | 622582 | 16123 67 | 3850 | 12 861.16/861.49 c 859s | 19 | 715819 | 623982 | 16123 67 | 3850 | 12 863.26/863.56 c 861s | 19 | 717165 | 625282 | 16123 67 | 3850 | 12 865.46/865.74 c 863s | 19 | 718581 | 626582 | 16123 67 | 3850 | 12 867.56/867.86 c 865s | 19 | 720052 | 627982 | 16123 67 | 3850 | 12 869.75/870.00 c 867s | 19 | 721061 | 628982 | 16123 68 | 3850 | 12 871.85/872.10 c 870s | 19 | 722642 | 630382 | 16123 68 | 3850 | 12 873.95/874.23 c 872s | 19 | 724535 | 631982 | 16123 68 | 3850 | 12 876.05/876.36 c 874s | 19 | 726187 | 633382 | 16123 68 | 3850 | 12 878.15/878.49 c 876s | 19 | 727565 | 634582 | 16123 68 | 3850 | 12 880.26/880.50 c 878s | 19 | 729057 | 635782 | 16123 68 | 3850 | 12 882.36/882.64 c 880s | 19 | 730389 | 636982 | 16123 68 | 3850 | 12 884.36/884.67 c 882s | 19 | 731837 | 638282 | 16123 68 | 3850 | 12 886.46/886.71 c 884s | 19 | 733187 | 639482 | 16123 69 | 3850 | 12 888.46/888.75 c 886s | 19 | 734562 | 640582 | 16123 69 | 3850 | 12 890.45/890.75 c 888s | 19 | 736129 | 641882 | 16123 69 | 3850 | 12 892.65/892.90 c 890s | 19 | 737818 | 643382 | 16123 69 | 3850 | 12 894.75/895.00 c 892s | 19 | 739709 | 644882 | 16123 69 | 3850 | 12 896.85/897.12 c 895s | 19 | 741299 | 646282 | 16123 69 | 3850 | 12 898.95/899.28 c 897s | 19 | 742608 | 647482 | 16123 69 | 3850 | 12 901.14/901.41 c 899s | 19 | 743949 | 648682 | 16123 69 | 3850 | 12 903.15/903.43 c 901s | 19 | 745290 | 649882 | 16123 70 | 3850 | 12 905.14/905.46 c 903s | 19 | 746935 | 651382 | 16123 70 | 3850 | 12 907.24/907.58 c 905s | 19 | 748470 | 652882 | 16123 70 | 3850 | 12 909.44/909.73 c 907s | 19 | 749851 | 654182 | 16123 70 | 3850 | 12 911.54/911.85 c 909s | 19 | 751370 | 655582 | 16123 70 | 3850 | 12 913.64/913.98 c 911s | 19 | 753340 | 657182 | 16123 70 | 3850 | 12 915.73/916.06 c 914s | 19 | 755170 | 658882 | 16123 70 | 3850 | 12 917.83/918.13 c 916s | 19 | 756728 | 660382 | 16123 71 | 3850 | 12 919.93/920.22 c 918s | 19 | 759437 | 662582 | 17736 71 | 3850 | 12 922.03/922.31 c 920s | 19 | 761843 | 664682 | 17736 71 | 3850 | 12 924.04/924.37 c 922s | 19 | 763969 | 666382 | 17736 71 | 3850 | 12 924.53/924.85 c 922s | 20 | 764482 | 666827 | 17736 71 | 3850 | 12 926.63/926.97 c 924s | 20 | 766234 | 668327 | 17736 71 | 3850 | 12 928.73/929.04 c 926s | 20 | 767860 | 669827 | 17736 71 | 3850 | 12 930.72/931.08 c 929s | 20 | 769786 | 671427 | 17736 71 | 3850 | 12 932.83/933.15 c 931s | 20 | 771424 | 672827 | 17736 72 | 3850 | 12 934.93/935.24 c 933s | 20 | 773247 | 674627 | 17736 72 | 3850 | 12 936.92/937.24 c 935s | 20 | 775426 | 676527 | 17736 72 | 3850 | 12 939.02/939.32 c 937s | 20 | 777341 | 678127 | 17736 72 | 3850 | 12 941.02/941.32 c 939s | 20 | 779235 | 679727 | 17736 72 | 3850 | 12 943.02/943.32 c 941s | 20 | 780997 | 681027 | 17736 72 | 3850 | 12 945.02/945.35 c 943s | 20 | 782767 | 682527 | 17736 72 | 3850 | 12 947.02/947.37 c 945s | 20 | 784158 | 683727 | 17736 73 | 3850 | 12 949.11/949.48 c 947s | 20 | 786041 | 685327 | 17736 73 | 3850 | 12 951.21/951.57 c 949s | 20 | 787689 | 686827 | 17736 73 | 3850 | 12 953.31/953.61 c 951s | 20 | 789242 | 688227 | 17736 73 | 3850 | 12 955.41/955.75 c 953s | 20 | 791033 | 689727 | 17736 73 | 3850 | 12 957.51/957.85 c 955s | 20 | 792401 | 690927 | 17736 73 | 3850 | 12 959.50/959.89 c 957s | 20 | 793983 | 692227 | 17736 73 | 3850 | 12 961.60/961.91 c 959s | 20 | 795532 | 693527 | 17736 73 | 3850 | 12 963.80/964.17 c 962s | 20 | 797010 | 694827 | 17736 74 | 3850 | 12 965.91/966.27 c 964s | 20 | 798687 | 696427 | 17736 74 | 3850 | 12 968.11/968.42 c 966s | 20 | 800148 | 697827 | 17736 74 | 3850 | 12 970.11/970.49 c 968s | 20 | 801460 | 699027 | 17736 74 | 3850 | 12 972.21/972.58 c 970s | 20 | 802758 | 700227 | 17736 74 | 3850 | 12 974.30/974.62 c 972s | 20 | 804109 | 701527 | 17736 74 | 3850 | 12 976.30/976.62 c 974s | 20 | 805189 | 702527 | 17736 74 | 3850 | 12 978.30/978.65 c 976s | 20 | 806215 | 703427 | 17736 74 | 3850 | 12 980.50/980.88 c 978s | 20 | 807306 | 704427 | 17736 74 | 3850 | 12 982.60/982.97 c 980s | 20 | 808402 | 705427 | 17736 74 | 3850 | 12 984.90/985.20 c 983s | 20 | 809561 | 706527 | 17736 75 | 3850 | 12 987.00/987.36 c 985s | 20 | 811015 | 707827 | 17736 75 | 3850 | 12 989.10/989.49 c 987s | 20 | 812463 | 709127 | 17736 75 | 3850 | 12 991.19/991.59 c 989s | 20 | 813912 | 710427 | 17736 75 | 3850 | 12 993.30/993.68 c 991s | 20 | 815445 | 711927 | 17736 75 | 3850 | 12 995.50/995.81 c 993s | 20 | 817148 | 713427 | 17736 75 | 3850 | 12 997.49/997.85 c 995s | 20 | 818887 | 715027 | 17736 75 | 3850 | 12 999.69/1000.00 c 997s | 20 | 820245 | 716227 | 17736 75 | 3850 | 12 1001.68/1002.08 c 1000s | 20 | 821692 | 717527 | 17736 75 | 3850 | 12 1003.78/1004.15 c 1002s | 20 | 822921 | 718727 | 17736 76 | 3850 | 12 1005.78/1006.17 c 1004s | 20 | 824197 | 719927 | 17736 76 | 3850 | 12 1007.88/1008.25 c 1006s | 20 | 825792 | 721227 | 17736 76 | 3850 | 12 1009.88/1010.28 c 1008s | 20 | 827209 | 722527 | 17736 76 | 3850 | 12 1011.99/1012.32 c 1010s | 20 | 828708 | 723827 | 17736 76 | 3850 | 12 1014.09/1014.42 c 1012s | 20 | 829965 | 725027 | 17736 76 | 3850 | 12 1016.29/1016.62 c 1014s | 20 | 831114 | 726127 | 17736 76 | 3850 | 12 1018.38/1018.70 c 1016s | 20 | 832509 | 727327 | 17736 76 | 3850 | 12 1020.37/1020.76 c 1018s | 20 | 833935 | 728627 | 17736 76 | 3850 | 12 1022.37/1022.78 c 1020s | 20 | 834977 | 729627 | 17736 77 | 3850 | 12 1024.47/1024.87 c 1022s | 20 | 836220 | 730827 | 17736 77 | 3850 | 12 1026.57/1026.90 c 1024s | 20 | 837337 | 731927 | 17736 77 | 3850 | 12 1028.77/1029.13 c 1027s | 20 | 838625 | 733127 | 17736 77 | 3850 | 12 1030.87/1031.27 c 1029s | 20 | 839855 | 734227 | 17736 77 | 3850 | 12 1032.97/1033.30 c 1031s | 20 | 841179 | 735427 | 17736 77 | 3850 | 12 1034.97/1035.40 c 1033s | 20 | 842664 | 736727 | 17736 77 | 3850 | 12 1037.06/1037.41 c 1035s | 20 | 843719 | 737727 | 17736 77 | 3850 | 12 1039.06/1039.45 c 1037s | 20 | 844696 | 738627 | 17736 77 | 3850 | 12 1041.06/1041.46 c 1039s | 20 | 845835 | 739627 | 17736 77 | 3850 | 12 1043.16/1043.54 c 1041s | 20 | 846957 | 740627 | 17736 78 | 3850 | 12 1045.26/1045.66 c 1043s | 20 | 848626 | 742127 | 17736 78 | 3850 | 12 1047.36/1047.78 c 1045s | 20 | 850448 | 743627 | 17736 78 | 3850 | 12 1049.36/1049.79 c 1047s | 20 | 851685 | 744727 | 17736 78 | 3850 | 12 1051.35/1051.79 c 1049s | 20 | 852821 | 745827 | 17736 78 | 3850 | 12 1053.45/1053.81 c 1051s | 20 | 853829 | 746827 | 17736 78 | 3850 | 12 1055.55/1055.93 c 1053s | 20 | 855368 | 748127 | 17736 78 | 3850 | 12 1057.65/1058.05 c 1056s | 20 | 856836 | 749527 | 17736 78 | 3850 | 12 1059.75/1060.16 c 1058s | 20 | 858194 | 750827 | 17736 78 | 3850 | 12 1061.95/1062.30 c 1060s | 20 | 859299 | 751827 | 17736 79 | 3850 | 12 1064.05/1064.42 c 1062s | 20 | 860871 | 753227 | 17736 79 | 3850 | 12 1066.05/1066.47 c 1064s | 20 | 862464 | 754627 | 17736 79 | 3850 | 12 1068.24/1068.65 c 1066s | 20 | 864016 | 756027 | 17736 79 | 3850 | 12 1070.34/1070.73 c 1068s | 20 | 865578 | 757327 | 17736 79 | 3850 | 12 1072.35/1072.80 c 1070s | 20 | 867489 | 758927 | 17736 79 | 3850 | 12 1074.44/1074.80 c 1072s | 20 | 869144 | 760327 | 17736 79 | 3850 | 12 1076.54/1076.93 c 1074s | 20 | 871047 | 762127 | 17736 79 | 3850 | 12 1078.64/1079.09 c 1077s | 20 | 872533 | 763527 | 17736 80 | 3850 | 12 1080.73/1081.16 c 1079s | 20 | 874023 | 764927 | 17736 80 | 3850 | 12 1082.83/1083.23 c 1081s | 20 | 875735 | 766527 | 17736 80 | 3850 | 12 1084.83/1085.26 c 1083s | 20 | 877205 | 767927 | 17736 80 | 3850 | 12 1086.83/1087.27 c 1085s | 20 | 878480 | 769127 | 17736 80 | 3850 | 12 1089.03/1089.41 c 1087s | 20 | 879808 | 770427 | 17736 80 | 3850 | 12 1091.23/1091.60 c 1089s | 20 | 881077 | 771627 | 17736 80 | 3850 | 12 1093.23/1093.69 c 1091s | 20 | 882308 | 772727 | 17736 80 | 3850 | 12 1095.32/1095.74 c 1093s | 20 | 883329 | 773627 | 17736 80 | 3850 | 12 1097.42/1097.88 c 1095s | 20 | 884898 | 774927 | 17736 81 | 3850 | 12 1099.42/1099.89 c 1097s | 20 | 886623 | 776527 | 17736 81 | 3850 | 12 1101.52/1101.93 c 1099s | 20 | 888520 | 778127 | 17736 81 | 3850 | 12 1103.52/1103.96 c 1101s | 20 | 889827 | 779327 | 17736 81 | 3850 | 12 1105.52/1105.97 c 1103s | 20 | 891292 | 780627 | 17736 81 | 3850 | 12 1107.72/1108.12 c 1106s | 20 | 892808 | 781927 | 17736 81 | 3850 | 12 1109.82/1110.29 c 1108s | 20 | 894093 | 783027 | 17736 81 | 3850 | 12 1111.92/1112.34 c 1110s | 20 | 895548 | 784127 | 17736 81 | 3850 | 12 1113.91/1114.36 c 1112s | 20 | 897062 | 785327 | 17736 82 | 3850 | 12 1115.91/1116.39 c 1114s | 20 | 898364 | 786527 | 17736 82 | 3850 | 12 1118.11/1118.56 c 1116s | 20 | 900061 | 788027 | 17736 82 | 3850 | 12 1120.21/1120.65 c 1118s | 20 | 901258 | 789127 | 17736 82 | 3850 | 12 1122.21/1122.69 c 1120s | 20 | 902548 | 790327 | 17736 82 | 3850 | 12 1124.31/1124.71 c 1122s | 20 | 903671 | 791427 | 17736 82 | 3850 | 12 1126.32/1126.72 c 1124s | 20 | 904787 | 792427 | 17736 82 | 3850 | 12 1128.42/1128.88 c 1126s | 20 | 906024 | 793627 | 17736 82 | 3850 | 12 1130.51/1130.98 c 1128s | 20 | 907074 | 794627 | 17736 82 | 3850 | 12 1132.61/1133.03 c 1130s | 20 | 908130 | 795627 | 17736 82 | 3850 | 12 1134.61/1135.07 c 1133s | 20 | 909229 | 796627 | 17736 83 | 3850 | 12 1136.61/1137.08 c 1135s | 20 | 910570 | 797627 | 17736 83 | 3850 | 12 1138.71/1139.14 c 1137s | 20 | 911880 | 798827 | 17736 83 | 3850 | 12 1140.81/1141.28 c 1139s | 20 | 913210 | 800027 | 17736 83 | 3850 | 12 1142.90/1143.35 c 1141s | 20 | 914239 | 801027 | 17736 83 | 3850 | 12 1145.01/1145.43 c 1143s | 20 | 915481 | 802227 | 17736 83 | 3850 | 12 1147.21/1147.61 c 1145s | 20 | 916906 | 803427 | 17736 83 | 3850 | 12 1149.31/1149.72 c 1147s | 20 | 917955 | 804427 | 17736 83 | 3850 | 12 1151.40/1151.83 c 1149s | 20 | 919072 | 805427 | 17736 83 | 3850 | 12 1153.60/1154.08 c 1152s | 20 | 920139 | 806427 | 17736 83 | 3850 | 12 1155.70/1156.11 c 1154s | 20 | 921128 | 807327 | 17736 83 | 3850 | 12 1157.80/1158.25 c 1156s | 20 | 921957 | 808127 | 17736 84 | 3850 | 12 1159.79/1160.27 c 1158s | 20 | 923133 | 809227 | 17736 84 | 3850 | 12 1161.89/1162.34 c 1160s | 20 | 924716 | 810527 | 17736 84 | 3850 | 12 1163.99/1164.45 c 1162s | 20 | 926403 | 812027 | 17736 84 | 3850 | 12 1166.09/1166.53 c 1164s | 20 | 927421 | 813027 | 17736 84 | 3850 | 12 1168.19/1168.69 c 1166s | 20 | 929059 | 814427 | 17736 84 | 3850 | 12 1170.29/1170.76 c 1168s | 20 | 930457 | 815727 | 17736 84 | 3850 | 12 1172.28/1172.77 c 1170s | 20 | 931406 | 816627 | 17736 84 | 3850 | 12 1174.38/1174.83 c 1172s | 20 | 933366 | 818227 | 17736 84 | 3850 | 12 1176.48/1176.93 c 1174s | 20 | 935010 | 819627 | 17736 85 | 3850 | 12 1178.58/1179.01 c 1176s | 20 | 936862 | 821327 | 17736 85 | 3850 | 12 1180.58/1181.03 c 1178s | 20 | 938442 | 822827 | 17736 85 | 3850 | 12 1182.68/1183.18 c 1181s | 20 | 939996 | 824327 | 17736 85 | 3850 | 12 1184.78/1185.21 c 1183s | 20 | 941938 | 826127 | 17736 85 | 3850 | 12 1186.88/1187.32 c 1185s | 20 | 943801 | 827727 | 17736 85 | 3850 | 12 1188.89/1189.37 c 1187s | 20 | 945740 | 829227 | 17736 85 | 3850 | 12 1191.08/1191.57 c 1189s | 20 | 947041 | 830327 | 17736 86 | 3850 | 12 1193.17/1193.67 c 1191s | 20 | 949400 | 832227 | 17736 86 | 3850 | 12 1195.27/1195.75 c 1193s | 20 | 951338 | 833827 | 17736 86 | 3850 | 12 1197.37/1197.86 c 1195s | 20 | 953390 | 835527 | 17736 86 | 3850 | 12 1199.37/1199.90 c 1197s | 20 | 954886 | 836927 | 17736 86 | 3850 | 12 1201.47/1201.91 c 1199s | 20 | 956554 | 838227 | 17736 86 | 3850 | 12 1203.47/1203.94 c 1201s | 20 | 958172 | 839427 | 17736 86 | 3850 | 12 1205.57/1206.07 c 1204s | 20 | 959419 | 840527 | 17736 86 | 3850 | 12 1207.67/1208.11 c 1206s | 20 | 960699 | 841727 | 17736 86 | 3850 | 12 1209.66/1210.16 c 1208s | 20 | 962061 | 842927 | 17736 87 | 3850 | 12 1211.76/1212.24 c 1210s | 20 | 964043 | 844727 | 17736 87 | 3850 | 12 1213.86/1214.36 c 1212s | 20 | 965673 | 846327 | 17736 87 | 3850 | 12 1215.86/1216.38 c 1214s | 20 | 967225 | 847727 | 17736 87 | 3850 | 12 1217.96/1218.43 c 1216s | 20 | 968971 | 849127 | 17736 87 | 3850 | 12 1219.95/1220.45 c 1218s | 20 | 970653 | 850627 | 17736 87 | 3850 | 12 1221.96/1222.46 c 1220s | 20 | 972287 | 852027 | 17736 87 | 3850 | 12 1224.06/1224.60 c 1222s | 20 | 974215 | 853327 | 17736 87 | 3850 | 12 1226.26/1226.71 c 1224s | 20 | 975784 | 854527 | 17736 88 | 3850 | 12 1228.25/1228.74 c 1226s | 20 | 977443 | 855827 | 17736 88 | 3850 | 12 1230.35/1230.85 c 1228s | 20 | 978805 | 857127 | 17736 88 | 3850 | 12 1232.45/1232.96 c 1230s | 20 | 980214 | 858427 | 17736 88 | 3850 | 12 1234.45/1234.97 c 1232s | 20 | 981540 | 859627 | 17736 88 | 3850 | 12 1236.55/1237.07 c 1235s | 20 | 982945 | 860927 | 17736 88 | 3850 | 12 1238.65/1239.19 c 1237s | 20 | 984218 | 862127 | 17736 88 | 3850 | 12 1240.84/1241.32 c 1239s | 20 | 985538 | 863327 | 17736 88 | 3850 | 12 1242.85/1243.32 c 1241s | 20 | 986966 | 864627 | 17736 88 | 3850 | 12 1244.84/1245.37 c 1243s | 20 | 988105 | 865627 | 17736 89 | 3850 | 12 1246.94/1247.46 c 1245s | 20 | 989507 | 866827 | 17736 89 | 3850 | 12 1249.04/1249.53 c 1247s | 20 | 990953 | 868227 | 17736 89 | 3850 | 12 1251.13/1251.64 c 1249s | 20 | 992565 | 869627 | 17736 89 | 3850 | 12 1253.23/1253.75 c 1251s | 20 | 993733 | 870727 | 17736 89 | 3850 | 12 1255.33/1255.81 c 1253s | 20 | 994747 | 871727 | 17736 89 | 3850 | 12 1257.43/1257.93 c 1255s | 20 | 995841 | 872727 | 17736 89 | 3850 | 12 1259.43/1259.94 c 1257s | 20 | 997132 | 873927 | 17736 89 | 3850 | 12 1261.44/1261.98 c 1259s | 20 | 998242 | 874927 | 17736 89 | 3850 | 12 1263.43/1263.99 c 1261s | 20 | 999499 | 876027 | 17736 89 | 3850 | 12 1265.63/1266.10 c 1264s | 20 | 1001098 | 877327 | 17736 90 | 3850 | 12 1267.63/1268.14 c 1266s | 20 | 1002631 | 878527 | 17736 90 | 3850 | 12 1269.62/1270.18 c 1268s | 20 | 1004169 | 879727 | 17736 90 | 3850 | 12 1271.72/1272.25 c 1270s | 20 | 1005814 | 880927 | 17736 90 | 3850 | 12 1273.82/1274.39 c 1272s | 20 | 1007236 | 882227 | 17736 90 | 3850 | 12 1276.12/1276.60 c 1274s | 20 | 1008414 | 883327 | 17736 90 | 3850 | 12 1278.22/1278.71 c 1276s | 20 | 1009641 | 884427 | 17736 90 | 3850 | 12 1280.32/1280.88 c 1278s | 20 | 1010907 | 885627 | 17736 90 | 3850 | 12 1282.42/1282.91 c 1280s | 20 | 1011936 | 886627 | 17736 90 | 3850 | 12 1284.41/1284.98 c 1282s | 20 | 1012926 | 887527 | 17736 91 | 3850 | 12 1286.41/1286.99 c 1284s | 20 | 1014180 | 888627 | 17736 91 | 3850 | 12 1288.51/1289.09 c 1287s | 20 | 1015378 | 889727 | 17736 91 | 3850 | 12 1290.61/1291.18 c 1289s | 20 | 1016751 | 891027 | 17736 91 | 3850 | 12 1292.71/1293.22 c 1291s | 20 | 1017893 | 892127 | 17736 91 | 3850 | 12 1294.81/1295.39 c 1293s | 20 | 1018936 | 893127 | 17736 91 | 3850 | 12 1296.91/1297.47 c 1295s | 20 | 1020422 | 894527 | 17736 91 | 3850 | 12 1299.11/1299.62 c 1297s | 20 | 1022044 | 896027 | 17736 91 | 3850 | 12 1301.12/1301.68 c 1299s | 20 | 1023404 | 897327 | 17736 91 | 3850 | 12 1303.21/1303.75 c 1301s | 20 | 1024942 | 898827 | 17736 91 | 3850 | 12 1305.21/1305.76 c 1303s | 20 | 1026384 | 900227 | 17736 92 | 3850 | 12 1307.32/1307.88 c 1305s | 20 | 1028315 | 902027 | 17736 92 | 3850 | 12 1309.41/1309.97 c 1307s | 20 | 1030411 | 903927 | 17736 92 | 3850 | 12 1311.51/1312.02 c 1309s | 20 | 1032578 | 905727 | 17736 92 | 3850 | 12 1313.51/1314.06 c 1312s | 20 | 1034793 | 907727 | 17736 92 | 3850 | 12 1315.61/1316.19 c 1314s | 20 | 1036787 | 909527 | 17736 92 | 3850 | 12 1317.71/1318.28 c 1316s | 20 | 1038504 | 911127 | 17736 93 | 3850 | 12 1319.71/1320.30 c 1318s | 20 | 1040315 | 912627 | 17736 93 | 3850 | 12 1321.80/1322.40 c 1320s | 20 | 1041940 | 914027 | 17736 93 | 3850 | 12 1324.00/1324.51 c 1322s | 20 | 1043625 | 915527 | 17736 93 | 3850 | 12 1326.00/1326.56 c 1324s | 20 | 1045226 | 916927 | 17736 93 | 3850 | 12 1328.10/1328.69 c 1326s | 20 | 1046816 | 918327 | 17736 93 | 3850 | 12 1330.30/1330.83 c 1328s | 20 | 1048242 | 919627 | 17736 93 | 3850 | 12 1332.30/1332.85 c 1330s | 20 | 1049658 | 920927 | 17736 93 | 3850 | 12 1334.40/1334.94 c 1332s | 20 | 1051217 | 922127 | 17736 94 | 3850 | 12 1336.50/1337.01 c 1334s | 20 | 1053105 | 923727 | 17736 94 | 3850 | 12 1338.50/1339.03 c 1336s | 20 | 1054584 | 925127 | 17736 94 | 3850 | 12 1340.70/1341.21 c 1339s | 20 | 1056101 | 926527 | 17736 94 | 3850 | 12 1342.69/1343.24 c 1341s | 20 | 1057372 | 927727 | 17736 94 | 3850 | 12 1344.69/1345.26 c 1343s | 20 | 1058763 | 929027 | 17736 94 | 3850 | 12 1346.69/1347.26 c 1345s | 20 | 1060681 | 930627 | 17736 94 | 3850 | 12 1348.79/1349.34 c 1347s | 20 | 1062319 | 932027 | 17736 94 | 3850 | 12 1350.88/1351.42 c 1349s | 20 | 1063617 | 933227 | 17736 95 | 3850 | 12 1352.88/1353.46 c 1351s | 20 | 1065157 | 934627 | 17736 95 | 3850 | 12 1354.99/1355.54 c 1353s | 20 | 1066757 | 936027 | 17736 95 | 3850 | 12 1356.98/1357.58 c 1355s | 20 | 1068623 | 937727 | 17736 95 | 3850 | 12 1359.18/1359.71 c 1357s | 20 | 1070094 | 939127 | 17736 95 | 3850 | 12 1361.18/1361.78 c 1359s | 20 | 1071343 | 940227 | 17736 95 | 3850 | 12 1363.28/1363.86 c 1361s | 20 | 1072420 | 941227 | 17736 95 | 3850 | 12 1365.38/1365.90 c 1363s | 20 | 1073834 | 942327 | 17736 95 | 3850 | 12 1367.48/1368.07 c 1366s | 20 | 1075353 | 943727 | 17736 95 | 3850 | 12 1369.57/1370.14 c 1368s | 20 | 1076583 | 944827 | 17736 96 | 3850 | 12 1371.67/1372.26 c 1370s | 20 | 1078201 | 946327 | 17736 96 | 3850 | 12 1373.77/1374.35 c 1372s | 20 | 1079828 | 947727 | 17736 96 | 3850 | 12 1375.78/1376.37 c 1374s | 20 | 1081408 | 949027 | 17736 96 | 3850 | 12 1377.87/1378.47 c 1376s | 20 | 1082877 | 950327 | 17736 96 | 3850 | 12 1379.97/1380.53 c 1378s | 20 | 1084209 | 951527 | 17736 96 | 3850 | 12 1382.07/1382.68 c 1380s | 20 | 1086001 | 952927 | 17736 96 | 3850 | 12 1384.17/1384.74 c 1382s | 20 | 1087220 | 954027 | 17736 96 | 3850 | 12 1386.27/1386.83 c 1384s | 20 | 1088396 | 955127 | 17736 96 | 3850 | 12 1388.37/1388.99 c 1386s | 20 | 1089530 | 956227 | 17736 97 | 3850 | 12 1390.57/1391.15 c 1389s | 20 | 1090649 | 957327 | 17736 97 | 3850 | 12 1392.77/1393.33 c 1391s | 20 | 1091883 | 958527 | 17736 97 | 3850 | 12 1394.77/1395.34 c 1393s | 20 | 1093046 | 959627 | 17736 97 | 3850 | 12 1396.86/1397.44 c 1395s | 20 | 1094203 | 960727 | 17736 97 | 3850 | 12 1398.97/1399.59 c 1397s | 20 | 1095374 | 961827 | 17736 97 | 3850 | 12 1401.07/1401.64 c 1399s | 20 | 1096567 | 962927 | 17736 97 | 3850 | 12 1403.06/1403.67 c 1401s | 20 | 1097923 | 964227 | 17736 97 | 3850 | 12 1405.26/1405.83 c 1403s | 20 | 1098952 | 965227 | 17736 97 | 3850 | 12 1407.36/1407.98 c 1405s | 20 | 1100056 | 966227 | 17736 97 | 3850 | 12 1409.56/1410.13 c 1408s | 20 | 1101077 | 967227 | 17736 98 | 3850 | 12 1411.56/1412.15 c 1410s | 20 | 1102430 | 968527 | 17736 98 | 3850 | 12 1413.56/1414.17 c 1412s | 20 | 1103899 | 969927 | 17736 98 | 3850 | 12 1415.56/1416.19 c 1414s | 20 | 1105216 | 971227 | 17736 98 | 3850 | 12 1417.67/1418.21 c 1416s | 20 | 1106446 | 972427 | 17736 98 | 3850 | 12 1419.66/1420.25 c 1418s | 20 | 1107797 | 973627 | 17736 98 | 3850 | 12 1421.76/1422.36 c 1420s | 20 | 1109422 | 975027 | 17736 98 | 3850 | 12 1423.96/1424.51 c 1422s | 20 | 1110957 | 976327 | 17736 98 | 3850 | 12 1425.96/1426.57 c 1424s | 20 | 1112254 | 977527 | 17736 98 | 3850 | 12 1428.06/1428.67 c 1426s | 20 | 1113430 | 978627 | 17736 99 | 3850 | 12 1430.26/1430.83 c 1428s | 20 | 1114858 | 979727 | 17736 99 | 3850 | 12 1432.46/1433.01 c 1430s | 20 | 1116052 | 980827 | 17736 99 | 3850 | 12 1434.56/1435.17 c 1433s | 20 | 1117648 | 982127 | 17736 99 | 3850 | 12 1436.66/1437.27 c 1435s | 20 | 1118979 | 983327 | 17736 99 | 3850 | 12 1438.85/1439.40 c 1437s | 20 | 1120231 | 984527 | 17736 99 | 3850 | 12 1440.85/1441.49 c 1439s | 20 | 1121353 | 985627 | 17736 99 | 3850 | 12 1442.96/1443.58 c 1441s | 20 | 1122551 | 986727 | 17736 99 | 3850 | 12 1445.16/1445.74 c 1443s | 20 | 1123699 | 987827 | 17736 99 | 3850 | 12 1447.15/1447.77 c 1445s | 20 | 1124734 | 988827 | 17736 99 | 3850 | 12 1449.66/1450.26 c 1448s | 20 | 1125754 | 989827 | 17736 100 | 3850 | 12 1451.67/1452.28 c 1450s | 20 | 1126980 | 990927 | 17736 100 | 3850 | 12 1453.76/1454.35 c 1452s | 20 | 1128169 | 992027 | 19510 100 | 3850 | 12 1455.86/1456.41 c 1454s | 20 | 1129422 | 993227 | 19510 100 | 3850 | 12 1457.96/1458.52 c 1456s | 20 | 1130667 | 994427 | 19510 100 | 3850 | 12 1459.96/1460.57 c 1458s | 20 | 1131798 | 995527 | 19510 100 | 3850 | 12 1462.06/1462.65 c 1460s | 20 | 1133106 | 996727 | 19510 100 | 3850 | 12 1464.06/1464.68 c 1462s | 20 | 1134534 | 998027 | 19510 100 | 3850 | 12 1466.07/1466.69 c 1464s | 20 | 1135564 | 999027 | 19510 100 | 3850 | 12 1468.16/1468.79 c 1466s | 20 | 1136693 | 1000127 | 19510 100 | 3850 | 12 1468.66/1469.27 c 1467s | 21 | 1136909 | 1000345 | 19510 100 | 3850 | 12 1470.86/1471.41 c 1469s | 21 | 1138400 | 1001645 | 19510 100 | 3850 | 12 1472.86/1473.42 c 1471s | 21 | 1139820 | 1002945 | 19510 100 | 3850 | 12 1474.86/1475.45 c 1473s | 21 | 1141323 | 1004245 | 19510 101 | 3850 | 12 1476.96/1477.50 c 1475s | 21 | 1142902 | 1005545 | 19510 101 | 3850 | 12 1478.96/1479.56 c 1477s | 21 | 1144443 | 1006945 | 19510 101 | 3850 | 12 1480.96/1481.59 c 1479s | 21 | 1145908 | 1008245 | 19510 101 | 3850 | 12 1483.16/1483.75 c 1481s | 21 | 1147585 | 1009645 | 19510 101 | 3850 | 12 1485.26/1485.83 c 1483s | 21 | 1149005 | 1010945 | 19510 101 | 3850 | 12 1487.35/1487.99 c 1485s | 21 | 1150701 | 1012345 | 19510 101 | 3850 | 12 1489.45/1490.05 c 1487s | 21 | 1152165 | 1013645 | 19510 101 | 3850 | 12 1491.55/1492.19 c 1490s | 21 | 1153360 | 1014745 | 19510 101 | 3850 | 12 1493.65/1494.27 c 1492s | 21 | 1154409 | 1015645 | 19510 102 | 3850 | 12 1495.76/1496.34 c 1494s | 21 | 1155889 | 1016845 | 19510 102 | 3850 | 12 1497.86/1498.41 c 1496s | 21 | 1157404 | 1018145 | 19510 102 | 3850 | 12 1499.95/1500.54 c 1498s | 21 | 1159195 | 1019745 | 19510 102 | 3850 | 12 1501.95/1502.59 c 1500s | 21 | 1161224 | 1021545 | 19510 102 | 3850 | 12 1504.05/1504.69 c 1502s | 21 | 1163015 | 1023245 | 19510 102 | 3850 | 12 1506.15/1506.71 c 1504s | 21 | 1164653 | 1024545 | 19510 102 | 3850 | 12 1508.15/1508.72 c 1506s | 21 | 1165638 | 1025345 | 19510 102 | 3850 | 12 1510.25/1510.82 c 1508s | 21 | 1167120 | 1026445 | 19510 102 | 3850 | 12 1512.35/1512.90 c 1510s | 21 | 1167956 | 1027145 | 19510 103 | 3850 | 12 1514.46/1515.04 c 1512s | 21 | 1168980 | 1028045 | 19510 103 | 3850 | 12 1516.45/1517.08 c 1515s | 21 | 1170177 | 1029145 | 19510 103 | 3850 | 12 1518.76/1519.31 c 1517s | 21 | 1171680 | 1030445 | 19510 103 | 3850 | 12 1520.85/1521.41 c 1519s | 21 | 1172619 | 1031345 | 19510 103 | 3850 | 12 1522.85/1523.47 c 1521s | 21 | 1173446 | 1032145 | 19510 103 | 3850 | 12 1524.95/1525.55 c 1523s | 21 | 1174653 | 1033345 | 19510 103 | 3850 | 12 1527.05/1527.60 c 1525s | 21 | 1175919 | 1034545 | 19510 103 | 3850 | 12 1529.05/1529.68 c 1527s | 21 | 1177250 | 1035645 | 19510 103 | 3850 | 12 1531.25/1531.80 c 1529s | 21 | 1178776 | 1037045 | 19510 103 | 3850 | 12 1533.35/1533.92 c 1531s | 21 | 1180090 | 1038245 | 19510 103 | 3850 | 12 1535.75/1536.34 c 1534s | 21 | 1181455 | 1039445 | 19510 104 | 3850 | 12 1537.85/1538.47 c 1536s | 21 | 1182719 | 1040645 | 19510 104 | 3850 | 12 1540.05/1540.64 c 1538s | 21 | 1184079 | 1041945 | 19510 104 | 3850 | 12 1542.15/1542.74 c 1540s | 21 | 1185734 | 1043445 | 19510 104 | 3850 | 12 1544.25/1544.86 c 1542s | 21 | 1187040 | 1044645 | 19510 104 | 3850 | 12 1546.35/1546.99 c 1544s | 21 | 1188449 | 1045945 | 19510 104 | 3850 | 12 1548.55/1549.11 c 1547s | 21 | 1189952 | 1047245 | 19510 104 | 3850 | 12 1550.54/1551.13 c 1549s | 21 | 1191067 | 1048245 | 19510 104 | 3850 | 12 1552.64/1553.24 c 1551s | 21 | 1192289 | 1049445 | 19510 104 | 3850 | 12 1554.84/1555.41 c 1553s | 21 | 1193439 | 1050545 | 19510 104 | 3850 | 12 1556.84/1557.43 c 1555s | 21 | 1194547 | 1051545 | 19510 104 | 3850 | 12 1558.84/1559.45 c 1557s | 21 | 1195434 | 1052445 | 19510 105 | 3850 | 12 1560.94/1561.52 c 1559s | 21 | 1196665 | 1053545 | 19510 105 | 3850 | 12 1563.14/1563.74 c 1561s | 21 | 1197856 | 1054645 | 19510 105 | 3850 | 12 1565.24/1565.83 c 1563s | 21 | 1199229 | 1055945 | 19510 105 | 3850 | 12 1567.34/1567.92 c 1565s | 21 | 1200550 | 1057145 | 19510 105 | 3850 | 12 1569.35/1569.95 c 1567s | 21 | 1201674 | 1058245 | 19510 105 | 3850 | 12 1571.34/1571.99 c 1569s | 21 | 1202822 | 1059345 | 19510 105 | 3850 | 12 1573.54/1574.14 c 1572s | 21 | 1204206 | 1060545 | 19510 105 | 3850 | 12 1575.64/1576.29 c 1574s | 21 | 1205367 | 1061645 | 19510 105 | 3850 | 12 1577.84/1578.48 c 1576s | 21 | 1206392 | 1062645 | 19510 105 | 3850 | 12 1579.94/1580.54 c 1578s | 21 | 1207235 | 1063445 | 19510 105 | 3850 | 12 1582.14/1582.70 c 1580s | 21 | 1208048 | 1064245 | 19510 105 | 3850 | 12 1584.14/1584.72 c 1582s | 21 | 1208763 | 1064945 | 19510 106 | 3850 | 12 1586.13/1586.76 c 1584s | 21 | 1210032 | 1066045 | 19510 106 | 3850 | 12 1588.33/1588.95 c 1586s | 21 | 1211322 | 1067245 | 19510 106 | 3850 | 12 1590.43/1591.07 c 1589s | 21 | 1212602 | 1068345 | 19510 106 | 3850 | 12 1592.73/1593.31 c 1591s | 21 | 1213692 | 1069345 | 19510 106 | 3850 | 12 1594.83/1595.46 c 1593s | 21 | 1214766 | 1070345 | 19510 106 | 3850 | 12 1597.03/1597.60 c 1595s | 21 | 1215797 | 1071345 | 19510 106 | 3850 | 12 1599.33/1599.93 c 1597s | 21 | 1216655 | 1072145 | 19510 106 | 3850 | 12 1601.34/1601.99 c 1599s | 21 | 1217538 | 1072945 | 19510 106 | 3850 | 12 1603.44/1604.00 c 1601s | 21 | 1218657 | 1073945 | 19510 106 | 3850 | 12 1605.43/1606.02 c 1603s | 21 | 1219840 | 1074845 | 19510 106 | 3850 | 12 1607.63/1608.26 c 1606s | 21 | 1220755 | 1075645 | 19510 106 | 3850 | 12 1609.73/1610.36 c 1608s | 21 | 1221672 | 1076545 | 19510 106 | 3850 | 12 1611.73/1612.39 c 1610s | 21 | 1222610 | 1077445 | 19510 107 | 3850 | 12 1613.83/1614.44 c 1612s | 21 | 1223914 | 1078645 | 19510 107 | 3850 | 12 1616.03/1616.60 c 1614s | 21 | 1225249 | 1079845 | 19510 107 | 3850 | 12 1618.03/1618.64 c 1616s | 21 | 1226553 | 1080945 | 19510 107 | 3850 | 12 1620.13/1620.71 c 1618s | 21 | 1227595 | 1081945 | 19510 107 | 3850 | 12 1622.13/1622.72 c 1620s | 21 | 1228688 | 1082945 | 19510 107 | 3850 | 12 1624.13/1624.78 c 1622s | 21 | 1229831 | 1083945 | 19510 107 | 3850 | 12 1626.33/1626.98 c 1624s | 21 | 1230763 | 1084845 | 19510 107 | 3850 | 12 1628.43/1629.03 c 1626s | 21 | 1231590 | 1085645 | 19510 107 | 3850 | 12 1630.43/1631.08 c 1629s | 21 | 1232615 | 1086645 | 19510 107 | 3850 | 12 1632.43/1633.08 c 1631s | 21 | 1233655 | 1087645 | 19510 107 | 3850 | 12 1634.53/1635.16 c 1633s | 21 | 1234561 | 1088545 | 19510 107 | 3850 | 12 1636.63/1637.28 c 1635s | 21 | 1235908 | 1089845 | 19510 108 | 3850 | 12 1638.73/1639.36 c 1637s | 21 | 1237697 | 1091445 | 19510 108 | 3850 | 12 1640.72/1641.37 c 1639s | 21 | 1239160 | 1092645 | 19510 108 | 3850 | 12 1642.92/1643.54 c 1641s | 21 | 1240136 | 1093545 | 19510 108 | 3850 | 12 1645.12/1645.72 c 1643s | 21 | 1241333 | 1094545 | 19510 108 | 3850 | 12 1647.22/1647.82 c 1645s | 21 | 1242542 | 1095445 | 19510 108 | 3850 | 12 1649.32/1649.95 c 1647s | 21 | 1243647 | 1096445 | 19510 108 | 3850 | 12 1651.42/1652.03 c 1649s | 21 | 1244840 | 1097545 | 19510 108 | 3850 | 12 1653.52/1654.16 c 1652s | 21 | 1246072 | 1098545 | 19510 108 | 3850 | 12 1655.62/1656.29 c 1654s | 21 | 1247519 | 1099845 | 19510 108 | 3850 | 12 1657.72/1658.30 c 1656s | 21 | 1248615 | 1100845 | 19510 109 | 3850 | 12 1659.72/1660.35 c 1658s | 21 | 1250160 | 1102345 | 19510 109 | 3850 | 12 1661.73/1662.39 c 1660s | 21 | 1252148 | 1104145 | 19510 109 | 3850 | 12 1663.93/1664.54 c 1662s | 21 | 1254064 | 1105745 | 19510 109 | 3850 | 12 1666.02/1666.66 c 1664s | 21 | 1255691 | 1107145 | 19510 109 | 3850 | 12 1668.02/1668.69 c 1666s | 21 | 1257732 | 1108645 | 19510 109 | 3850 | 12 1670.12/1670.77 c 1668s | 21 | 1259766 | 1110345 | 19510 109 | 3850 | 12 1672.22/1672.86 c 1670s | 21 | 1261462 | 1111745 | 19510 109 | 3850 | 12 1674.42/1675.03 c 1672s | 21 | 1262862 | 1112945 | 19510 109 | 3850 | 12 1676.52/1677.10 c 1675s | 21 | 1264291 | 1114145 | 19510 110 | 3850 | 12 1678.62/1679.26 c 1677s | 21 | 1265707 | 1115345 | 19510 110 | 3850 | 12 1680.72/1681.33 c 1679s | 21 | 1267413 | 1116745 | 19510 110 | 3850 | 12 1682.82/1683.48 c 1681s | 21 | 1269149 | 1118145 | 19510 110 | 3850 | 12 1684.92/1685.54 c 1683s | 21 | 1271032 | 1119445 | 19510 110 | 3850 | 12 1686.92/1687.56 c 1685s | 21 | 1272302 | 1120645 | 19510 110 | 3850 | 12 1689.02/1689.62 c 1687s | 21 | 1273686 | 1121845 | 19510 110 | 3850 | 12 1691.12/1691.71 c 1689s | 21 | 1275040 | 1122945 | 19510 110 | 3850 | 12 1693.32/1693.96 c 1691s | 21 | 1276388 | 1124045 | 19510 110 | 3850 | 12 1695.32/1695.97 c 1693s | 21 | 1277487 | 1125045 | 19510 110 | 3850 | 12 1697.42/1698.06 c 1696s | 21 | 1278640 | 1126145 | 19510 111 | 3850 | 12 1699.51/1700.15 c 1698s | 21 | 1280100 | 1127445 | 19510 111 | 3850 | 12 1701.61/1702.26 c 1700s | 21 | 1281285 | 1128545 | 19510 111 | 3850 | 12 1703.71/1704.38 c 1702s | 21 | 1282208 | 1129445 | 19510 111 | 3850 | 12 1706.01/1706.64 c 1704s | 21 | 1283495 | 1130645 | 19510 111 | 3850 | 12 1708.11/1708.76 c 1706s | 21 | 1284767 | 1131845 | 19510 111 | 3850 | 12 1710.31/1710.91 c 1708s | 21 | 1286342 | 1133245 | 19510 111 | 3850 | 12 1712.42/1713.06 c 1711s | 21 | 1287697 | 1134445 | 19510 111 | 3850 | 12 1714.62/1715.25 c 1713s | 21 | 1288796 | 1135445 | 19510 111 | 3850 | 12 1716.82/1717.46 c 1715s | 21 | 1289956 | 1136545 | 19510 111 | 3850 | 12 1719.01/1719.68 c 1717s | 21 | 1291003 | 1137545 | 19510 111 | 3850 | 12 1721.11/1721.77 c 1719s | 21 | 1292040 | 1138445 | 19510 112 | 3850 | 12 1723.31/1723.91 c 1721s | 21 | 1293496 | 1139745 | 19510 112 | 3850 | 12 1725.41/1726.05 c 1724s | 21 | 1294904 | 1140945 | 19510 112 | 3850 | 12 1727.61/1728.21 c 1726s | 21 | 1296039 | 1142045 | 19510 112 | 3850 | 12 1729.61/1730.25 c 1728s | 21 | 1297228 | 1143145 | 19510 112 | 3850 | 12 1731.80/1732.43 c 1730s | 21 | 1298457 | 1144245 | 19510 112 | 3850 | 12 1733.80/1734.46 c 1732s | 21 | 1299474 | 1145145 | 19510 112 | 3850 | 12 1735.90/1736.58 c 1734s | 21 | 1301154 | 1146445 | 19510 112 | 3850 | 12 1738.00/1738.64 c 1736s | 21 | 1302279 | 1147445 | 19510 112 | 3850 | 12 1740.00/1740.66 c 1738s | 21 | 1303450 | 1148445 | 19510 112 | 3850 | 12 1742.20/1742.84 c 1740s | 21 | 1304843 | 1149445 | 19510 112 | 3850 | 12 1744.40/1745.00 c 1742s | 21 | 1306033 | 1150345 | 19510 113 | 3850 | 12 1746.41/1747.02 c 1744s | 21 | 1307686 | 1151745 | 19510 113 | 3850 | 12 1748.40/1749.02 c 1746s | 21 | 1309226 | 1153145 | 19510 113 | 3850 | 12 1750.40/1751.05 c 1749s | 21 | 1310497 | 1154345 | 19510 113 | 3850 | 12 1752.60/1753.23 c 1751s | 21 | 1311807 | 1155545 | 19510 113 | 3850 | 12 1754.70/1755.33 c 1753s | 21 | 1312868 | 1156545 | 19510 113 | 3850 | 12 1756.80/1757.41 c 1755s | 21 | 1313907 | 1157545 | 19510 113 | 3850 | 12 1758.90/1759.54 c 1757s | 21 | 1314966 | 1158545 | 19510 113 | 3850 | 12 1761.00/1761.68 c 1759s | 21 | 1315987 | 1159545 | 19510 113 | 3850 | 12 1763.30/1763.91 c 1761s | 21 | 1317161 | 1160545 | 19510 113 | 3850 | 12 1765.70/1766.39 c 1764s | 21 | 1318235 | 1161545 | 19510 114 | 3850 | 12 1767.80/1768.46 c 1766s | 21 | 1319586 | 1162845 | 19510 114 | 3850 | 12 1769.80/1770.49 c 1768s | 21 | 1320948 | 1164145 | 19510 114 | 3850 | 12 1771.90/1772.55 c 1770s | 21 | 1322191 | 1165345 | 19510 114 | 3850 | 12 1774.00/1774.66 c 1772s | 21 | 1323488 | 1166545 | 19510 114 | 3850 | 12 1776.10/1776.73 c 1774s | 21 | 1324771 | 1167745 | 19510 114 | 3850 | 12 1778.10/1778.80 c 1776s | 21 | 1326115 | 1168945 | 19510 114 | 3850 | 12 1780.20/1780.87 c 1778s | 21 | 1327333 | 1170145 | 19510 114 | 3850 | 12 1782.30/1782.91 c 1780s | 21 | 1328762 | 1171445 | 19510 114 | 3850 | 12 1784.30/1784.95 c 1782s | 21 | 1330042 | 1172645 | 19510 114 | 3850 | 12 1786.50/1787.13 c 1785s | 21 | 1331684 | 1173845 | 19510 114 | 3850 | 12 1788.60/1789.23 c 1787s | 21 | 1333009 | 1174945 | 19510 115 | 3850 | 12 1790.60/1791.24 c 1789s | 21 | 1334682 | 1176145 | 19510 115 | 3850 | 12 1792.80/1793.43 c 1791s | 21 | 1336021 | 1177445 | 19510 115 | 3850 | 12 1794.81/1795.46 c 1793s | 21 | 1337237 | 1178645 | 19510 115 | 3850 | 12 1796.90/1797.54 c 1795s | 21 | 1338389 | 1179745 | 19510 115 | 3850 | 12 1798.90/1799.56 c 1797s | 21 | 1339461 | 1180745 | 19510 115 | 3850 | 12
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-4101705-1466226081/watcher-4101705-1466226081 -o /tmp/evaluation-result-4101705-1466226081/solver-4101705-1466226081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101705-1466226081.opb pid=15823 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.20 2.19 2.18 3/180 15826 /proc/meminfo: memFree=29385296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=677308 CPUtime=0 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 2514 0 0 0 0 0 0 0 20 0 4 0 24654907 693563392 3385 33554432000 4194304 16246674 140736645627072 140736645626496 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 169839 3396 441 2943 0 166733 0 [pid=15826/tid=15827] ppid=15823 vsize=694716 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 711389184 3455 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=698812 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 715583488 3473 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=702908 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24654907 719777792 3489 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.20 2.19 2.18 3/180 15826 /proc/meminfo: memFree=29385296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 24901 0 0 0 5 4 0 0 20 0 4 0 24654907 1249447936 25710 33554432000 4194304 16246674 140736645627072 140736645626384 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 305041 25710 845 2943 0 301935 0 [pid=15826/tid=15827] ppid=15823 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1249447936 25710 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1249447936 25710 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24654907 1249447936 25710 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200561 s] /proc/loadavg: 2.20 2.19 2.18 3/180 15826 /proc/meminfo: memFree=29385296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1297988 CPUtime=0.18 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 42027 0 0 0 12 6 0 0 20 0 4 0 24654907 1329139712 42836 33554432000 4194304 16246674 140736645627072 140736645626384 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 324497 42841 891 2943 0 321391 0 [pid=15826/tid=15827] ppid=15823 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1329139712 42844 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1329139712 42847 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1329139712 42850 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1297988 [startup+0.300491 s] /proc/loadavg: 2.20 2.19 2.18 3/180 15826 /proc/meminfo: memFree=29385296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=0.29 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 47008 0 0 0 22 7 0 0 20 0 4 0 24654907 1339625472 47817 33554432000 4194304 16246674 140736645627072 140736645626384 5721391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 327057 47817 900 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 47817 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 47817 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 47817 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1308228 [startup+0.700419 s] /proc/loadavg: 2.20 2.19 2.18 3/180 15826 /proc/meminfo: memFree=29385296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=0.69 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 96531 0 0 0 55 14 0 0 20 0 4 0 24654907 1339625472 97340 33554432000 4194304 16246674 140736645627072 140736645608960 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 327057 97350 900 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 97353 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 97354 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 97356 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.50041 s] /proc/loadavg: 2.18 2.19 2.18 3/184 15830 /proc/meminfo: memFree=28689860/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 251002 0 0 0 113 36 0 0 20 0 4 0 24654907 1339625472 251811 33554432000 4194304 16246674 140736645627072 140736645608960 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15826/statm: 327057 251817 900 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 251823 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 251827 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 251831 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10032 s] /proc/loadavg: 2.18 2.19 2.18 4/184 15830 /proc/meminfo: memFree=28312212/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=3.08 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 268272 0 0 0 270 38 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 140736645608960 5530964 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15826/statm: 327057 269081 918 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30041 s] /proc/loadavg: 2.16 2.18 2.18 3/184 15830 /proc/meminfo: memFree=28312028/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 268272 0 0 0 590 39 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 140736645608960 5723564 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 327057 269081 918 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269081 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.15 2.18 2.18 4/184 15830 /proc/meminfo: memFree=28312144/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 268274 0 0 0 1229 39 0 0 20 0 4 0 24654907 1339625472 269083 33554432000 4194304 16246674 140736645627072 140736645608960 5822286 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 327057 269083 920 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269083 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269083 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269083 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.12 2.17 2.17 3/184 15830 /proc/meminfo: memFree=28313296/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 268275 0 0 0 2510 39 0 0 20 0 4 0 24654907 1339625472 269084 33554432000 4194304 16246674 140736645627072 140736645608960 12483624 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 327057 269084 921 2943 0 323951 0 [pid=15826/tid=15827] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269084 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269084 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1339625472 269084 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 2.28 2.20 2.18 3/183 15830 /proc/meminfo: memFree=28305260/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1309252 CPUtime=51.06 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 268532 0 0 0 5067 39 0 0 20 0 4 0 24654907 1340674048 269341 33554432000 4194304 16246674 140736645627072 140736645610064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 327313 269341 922 2943 0 324207 0 [pid=15826/tid=15827] ppid=15823 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1340674048 269341 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1340674048 269341 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1340674048 269341 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.17 2.18 2.18 3/183 15831 /proc/meminfo: memFree=28278112/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1335876 CPUtime=102.26 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 275188 0 0 0 10186 40 0 0 20 0 4 0 24654907 1367937024 275997 33554432000 4194304 16246674 140736645627072 140736645610064 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 333969 275997 922 2943 0 330863 0 [pid=15826/tid=15827] ppid=15823 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1367937024 275997 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1367937024 275997 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1367937024 275997 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1335876 ################ # More data... # ################ /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1373179904 277281 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1340996 [startup+1302.3 s] /proc/loadavg: 2.17 2.19 2.18 3/183 15861 /proc/meminfo: memFree=28266468/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1343044 CPUtime=1301.81 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 277229 0 0 0 130135 46 0 0 20 0 4 0 24654907 1375277056 277647 33554432000 4194304 16246674 140736645627072 140736645608960 5712600 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 335761 277647 923 2943 0 332655 0 [pid=15826/tid=15827] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277647 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277647 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277647 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.24 2.20 2.18 3/183 15862 /proc/meminfo: memFree=28265752/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1343044 CPUtime=1361.78 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 277417 0 0 0 136131 47 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 140736645608960 13820919 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 335761 277793 923 2943 0 332655 0 [pid=15826/tid=15827] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.13 2.17 2.17 3/183 15864 /proc/meminfo: memFree=28267008/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1343044 CPUtime=1421.76 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 277423 0 0 0 142129 47 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 140736645608960 13927401 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 335761 277793 923 2943 0 332655 0 [pid=15826/tid=15827] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.15 2.17 2.17 3/183 15865 /proc/meminfo: memFree=28266780/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1343044 CPUtime=1481.76 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 277423 0 0 0 148128 48 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 140736645608960 5600380 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 335761 277793 923 2943 0 332655 0 [pid=15826/tid=15827] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1343044 [startup+1542.3 s] /proc/loadavg: 2.22 2.18 2.18 3/183 15866 /proc/meminfo: memFree=28266916/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1343044 CPUtime=1541.75 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 277423 0 0 0 154127 48 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 140736645608960 5522977 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 335761 277793 923 2943 0 332655 0 [pid=15826/tid=15827] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1343044 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1375277056 277793 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.26 2.19 2.18 3/183 15867 /proc/meminfo: memFree=28257260/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1352260 CPUtime=1601.73 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 279727 0 0 0 160125 48 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 140736645608960 6837238 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 338065 280097 923 2943 0 334959 0 [pid=15826/tid=15827] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1352260 [startup+1662.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 15868 /proc/meminfo: memFree=28257252/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1352260 CPUtime=1661.73 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 279727 0 0 0 166125 48 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 140736645608960 5712004 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 338065 280097 923 2943 0 334959 0 [pid=15826/tid=15827] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1352260 [startup+1722.3 s] /proc/loadavg: 2.19 2.18 2.18 3/184 15921 /proc/meminfo: memFree=28230108/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1352260 CPUtime=1721.71 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 279727 0 0 0 172122 49 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 140736645608960 5712628 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 338065 280097 923 2943 0 334959 0 [pid=15826/tid=15827] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1352260 [startup+1782.31 s] /proc/loadavg: 2.26 2.19 2.18 3/183 15922 /proc/meminfo: memFree=28230004/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1352260 CPUtime=1781.7 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 279727 0 0 0 178121 49 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 140736645608960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 338065 280097 923 2943 0 334959 0 [pid=15826/tid=15827] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1352260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.27 2.20 2.18 3/183 15923 /proc/meminfo: memFree=28230648/32872528 swapFree=1286400/1433568 [pid=15826] ppid=15823 vsize=1352260 CPUtime=1800 cores=1,3,5,7 /proc/15826/stat : 15826 (toysat) R 15823 15826 12983 0 -1 4202496 279727 0 0 0 179950 50 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 140736645608960 5822240 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15826/statm: 338065 280097 923 2943 0 334959 0 [pid=15826/tid=15827] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15827/stat : 15827 (toysat) S 15823 15826 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674163064048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15826/tid=15828] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15828/stat : 15828 (toysat) S 15823 15826 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674081275120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15826/tid=15829] ppid=15823 vsize=1352260 CPUtime=0 cores=1,3,5,7 /proc/15826/task/15829/stat : 15829 (toysat) S 15823 15826 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24654907 1384714240 280097 33554432000 4194304 16246674 140736645627072 139674070801584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1352260 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 15826 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.01 CPU user time (s): 1799.51 CPU system time (s): 0.501923 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 1352260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.501923 maximum resident set size= 1120388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279727 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= 457 involuntary context switches= 3261 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1092 second user time and 17.0814 second system time The end
Begin job on node130 at 2016-06-18 07:01:21 IDJOB=4101705 IDBENCH=1784 IDSOLVER=2542 FILE ID=node130/4101705-1466226081 RUNJOBID= node130-1466206066-13000 PBS_JOBID= 19918147 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101705-1466226081/watcher-4101705-1466226081 -o /tmp/evaluation-result-4101705-1466226081/solver-4101705-1466226081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101705-1466226081.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d RANDOM SEED=1889321230 node130.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.365 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 : 5332.73 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.365 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.365 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.365 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.365 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.365 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.53 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.365 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.56 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.365 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: 29385188 kB Buffers: 106256 kB Cached: 122524 kB SwapCached: 1804 kB Active: 1177576 kB Inactive: 134496 kB Active(anon): 1083664 kB Inactive(anon): 1604 kB Active(file): 93912 kB Inactive(file): 132892 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 16388 kB Writeback: 0 kB AnonPages: 2515716 kB Mapped: 10484 kB Shmem: 0 kB Slab: 602844 kB SReclaimable: 46360 kB SUnreclaim: 556484 kB KernelStack: 1512 kB PageTables: 9328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2659552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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= 71716 MiB End job on node130 at 2016-06-18 07:31:22