| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=173-P1=191-P2=127-P3=113-P4=97-P5=167-B.opb |
| MD5SUM | 88214650523f8a2de77e1fd9d134abd8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.086986 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 120 |
| Total number of constraints | 11 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 320 |
| Sum of products size (including duplicates) | 640 |
| Number of different products | 320 |
| Sum of products size | 640 |
0.00/0.00 c 2016-06-18T18:54:53+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-4106295-1466268893.opb"] 0.00/0.01 c use --random-gen="488511658 1515780007 406757742 1194906369 1895851571 3306223364 2899364555 3184307856 258607623 428061213 4064428297 3960021215 47953743 376589047 1895238135 83105764 636546295 3035279265 1118764678 1144436477 3815141457 1621519018 3351356986 337765997 3992475868 2969277319 4134027408 479682217 4282140289 3500311420 2924889246 2055878818 1388364914 1846192309 1317570566 1068672796 4056517393 3169600155 2075724067 1242838037 3250850174 1957141685 3123670389 796310443 3321117141 211431320 2184703769 2227743973 821907223 277876313 1662145208 2793112141 585051169 3436981473 917674257 3893826974 3062414902 4007847587 1906226257 468215699 32272843 4163829180 1922082217 2711130318 3901838380 282660650 973445471 2876488279 1849656364 1006041508 2386854370 1046685901 1798791308 1963242789 256387161 2457224741 1354846681 2553059668 71280376 2961680443 2007572473 260618954 3225019083 3900374940 377380426 1547796238 1110519332 1858329295 2299969181 2079535598 2628957014 882797071 866004607 834138726 1862672150 4038925058 1097280520 2061584586 3290966159 3875537323 2399862344 3997683611 3930476569 323631760 1228306493 3251502189 2989400523 3629394607 3234629495 3308882102 1593656709 2331483040 1275699106 3726387110 3494771727 4268501060 3408899980 3435245753 3435023654 343626315 1313830258 2806931734 1958998148 249322234 1187714706 992717536 2314008517 3943574047 2265546071 1986469373 2662116269 157776039 3760851367 2738873922 1450631519 3752758978 3605213605 2955425618 2849288646 2193668983 2319541169 2528705977 4105437028 1744631507 497378430 300067689 2726097800 2216578767 1848420991 3178133060 2595114963 2232363334 4154682461 587438305 3452840269 1331650479 1071138372 263956430 997547185 3967065027 3113975940 3965408500 1928682516 2088993539 4072199822 4247631061 1419710428 1633633596 1358308720 246352291 1672058155 532362441 571505710 2625885575 3457233695 468849900 1720373849 2463160655 3114019061 3713533502 548382516 1223483701 2310155219 1931445902 2295077036 192938312 645661869 856927009 1168814411 3355477675 3527624346 2618697246 992102645 1054928562 1678247890 4272574656 4225342983 3072440919 1391300581 2148697422 3846543903 3155651664 2329463364 2582783207 4166892215 2996757477 4046750137 688575409 3373936854 735251704 3251075907 3266700652 603546370 2582416876 3339508100 3900220767 2404514718 195027468 3144911332 70675939 3798060718 1908642122 2644827080 2548203270 3056110758 1453712503 3732931691 1132709721 3059499124 2905765136 3876479925 1945364352 1098802415 2059290670 2115480705 1099585176 2267853019 1567218519 3627148483 3270911930 4119305637 148795394 1100135227 3227029177 3212130261 3616214328 4267838214 3968141881 286866182 1541066363 1506185832 495087055 3851658212 542543158 1480825193 411734931 255 362436" option to reproduce the execution 0.00/0.01 c #vars 120 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 472 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 179 | 100 | 472 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 383 | 250 | 520 0 | 0 | 0 0.08/0.14 c 0.1s | 3 | 634 | 475 | 572 0 | 0 | 0 0.29/0.38 c 0.4s | 4 | 1056 | 813 | 630 0 | 0 | 0 0.49/0.57 c 0.5s | 5 | 1734 | 1320 | 693 1 | 0 | 0 0.99/1.06 c 1.0s | 6 | 2612 | 2081 | 840 3 | 0 | 0 1.49/1.50 c 1.5s | 7 | 3926 | 3223 | 925 5 | 0 | 0 1.89/1.96 c 1.9s | 8 | 5807 | 4936 | 1018 7 | 0 | 0 2.09/2.10 c 2.1s | 8 | 6673 | 5706 | 1018 8 | 0 | 0 2.09/2.10 c #cpu_time = 2.080s 2.09/2.10 c #wall_clock_time = 2.080s 2.09/2.10 c #decision = 6673 2.09/2.10 c #random_decision = 26 2.09/2.10 c #conflict = 5706 2.09/2.10 c #restart = 8 2.09/2.10 o 81 2.09/2.10 c BCD2: hardening fixes 1 literals 2.09/2.10 c BCD2: updating upper bound: 255 -> 80 2.09/2.10 c BCD2: 0 <= obj <= 80 2.09/2.10 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1 2.09/2.10 c BCD2: #sat=1 #unsat=1 bias=1/2 2.09/2.10 c Solving starts ... 2.09/2.10 c ============================[ Search Statistics ]============================ 2.09/2.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.10 c | | | | Limit GC | Var | Constra 2.09/2.10 c ============================================================================= 2.09/2.10 c 0.0s | 0 | 0 | 0 | 1018 0 | 10 | 0 2.09/2.11 c 0.0s | 0 | 5 | 0 | 1018 1 | 10 | 24 2.09/2.11 c #cpu_time = 0.007s 2.09/2.11 c #wall_clock_time = 0.007s 2.09/2.11 c #decision = 5 2.09/2.11 c #random_decision = 0 2.09/2.11 c #conflict = 0 2.09/2.11 c #restart = 0 2.09/2.11 c BCD2: found a new core of size 6: cost of the new core is >=2 2.09/2.11 c lower bound updated to 2 2.09/2.11 c BCD2: 2 <= obj <= 80 2.09/2.11 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=1 2.09/2.11 c BCD2: #sat=1 #unsat=2 bias=2/3 2.09/2.11 c Solving starts ... 2.09/2.11 c ============================[ Search Statistics ]============================ 2.09/2.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.11 c | | | | Limit GC | Var | Constra 2.09/2.11 c ============================================================================= 2.09/2.11 c 0.0s | 0 | 0 | 0 | 1018 0 | 10 | 24 2.09/2.18 c 0.1s | 1 | 166 | 100 | 1018 0 | 10 | 24 2.20/2.21 c 0.1s | 2 | 336 | 250 | 1018 0 | 10 | 24 2.20/2.25 c 0.1s | 3 | 584 | 475 | 1018 0 | 10 | 24 2.29/2.31 c 0.2s | 4 | 945 | 813 | 1018 1 | 10 | 24 2.39/2.48 c 0.4s | 5 | 1589 | 1320 | 1018 1 | 10 | 24 2.59/2.65 c 0.5s | 6 | 2505 | 2081 | 1120 2 | 10 | 24 2.79/2.87 c 0.8s | 7 | 3679 | 3223 | 1120 4 | 10 | 24 3.49/3.53 c 1.4s | 8 | 5636 | 4936 | 1120 7 | 10 | 24 4.19/4.26 c 2.2s | 9 | 8542 | 7506 | 1232 10 | 10 | 24 5.29/5.31 c 3.2s | 10 | 12911 | 11361 | 1356 15 | 10 | 24 6.79/6.86 c 4.8s | 11 | 19091 | 17144 | 1356 21 | 10 | 24 8.79/8.87 c 6.8s | 11 | 28165 | 25644 | 1492 31 | 10 | 24 8.89/8.91 c 6.8s | 12 | 28374 | 25819 | 1492 31 | 10 | 24 10.88/10.93 c 8.8s | 12 | 38104 | 35119 | 1642 41 | 10 | 24 11.68/11.77 c 9.7s | 13 | 41980 | 38832 | 1642 45 | 10 | 24 13.69/13.78 c 11.7s | 13 | 49378 | 45832 | 1642 52 | 10 | 24 15.79/15.81 c 13.7s | 13 | 56240 | 52332 | 1807 58 | 10 | 24 17.70/17.72 c 15.6s | 14 | 62557 | 58352 | 1807 64 | 10 | 24 19.69/19.74 c 17.6s | 14 | 72296 | 67852 | 1807 73 | 10 | 24 21.69/21.74 c 19.6s | 14 | 81053 | 76452 | 1807 81 | 10 | 24 23.69/23.77 c 21.7s | 14 | 89989 | 85252 | 1988 89 | 10 | 24 24.30/24.32 c 22.2s | 15 | 92416 | 87632 | 1988 91 | 10 | 24 26.29/26.33 c 24.2s | 15 | 98922 | 93532 | 1988 97 | 10 | 24 28.29/28.36 c 26.3s | 15 | 105257 | 98932 | 1988 102 | 10 | 24 30.29/30.37 c 28.3s | 15 | 111304 | 104132 | 1988 106 | 10 | 24 32.29/32.39 c 30.3s | 15 | 117813 | 109532 | 1988 111 | 10 | 24 34.29/34.39 c 32.3s | 15 | 123934 | 114732 | 1988 116 | 10 | 24 36.39/36.41 c 34.3s | 15 | 130905 | 120932 | 1988 122 | 10 | 24 38.39/38.44 c 36.3s | 15 | 137342 | 126632 | 2187 127 | 10 | 24 40.29/40.36 c 38.3s | 16 | 142710 | 131552 | 2187 131 | 10 | 24 42.29/42.38 c 40.3s | 16 | 150548 | 138752 | 2187 137 | 10 | 24 44.29/44.39 c 42.3s | 16 | 159049 | 146952 | 2187 143 | 10 | 24 46.39/46.42 c 44.3s | 16 | 167303 | 154652 | 2187 150 | 10 | 24 48.39/48.44 c 46.3s | 16 | 175157 | 162152 | 2187 156 | 10 | 24 50.38/50.45 c 48.3s | 16 | 184081 | 170652 | 2187 163 | 10 | 24 52.38/52.46 c 50.4s | 16 | 193173 | 179352 | 2187 171 | 10 | 24 54.38/54.48 c 52.4s | 16 | 202271 | 188052 | 2187 178 | 10 | 24 56.38/56.48 c 54.4s | 16 | 210594 | 195752 | 2406 184 | 10 | 24 56.88/56.93 c 54.8s | 17 | 212461 | 197432 | 2406 185 | 10 | 24 58.88/58.96 c 56.9s | 17 | 220751 | 205332 | 2406 191 | 10 | 24 60.88/60.96 c 58.9s | 17 | 228142 | 212332 | 2406 196 | 10 | 24 62.88/62.98 c 60.9s | 17 | 236503 | 220332 | 2406 202 | 10 | 24 64.89/65.00 c 62.9s | 17 | 245047 | 228232 | 2406 208 | 10 | 24 66.98/67.01 c 64.9s | 17 | 253201 | 235932 | 2406 213 | 10 | 24 68.98/69.03 c 66.9s | 17 | 261064 | 243332 | 2406 219 | 10 | 24 70.98/71.06 c 69.0s | 17 | 269475 | 251332 | 2406 224 | 10 | 24 72.98/73.09 c 71.0s | 17 | 277149 | 258432 | 2406 230 | 10 | 24 75.08/75.11 c 73.0s | 17 | 284311 | 265232 | 2406 235 | 10 | 24 77.09/77.13 c 75.0s | 17 | 292581 | 273232 | 2406 240 | 10 | 24 79.08/79.15 c 77.0s | 17 | 300898 | 281132 | 2406 246 | 10 | 24 81.08/81.16 c 79.1s | 17 | 308827 | 288732 | 2647 251 | 10 | 24 82.88/82.96 c 80.9s | 18 | 316572 | 296252 | 2647 256 | 10 | 24 84.88/84.97 c 82.9s | 18 | 324762 | 303752 | 2647 262 | 10 | 24 86.88/86.98 c 84.9s | 18 | 332433 | 310852 | 2647 266 | 10 | 24 88.98/89.00 c 86.9s | 18 | 340680 | 318552 | 2647 271 | 10 | 24 90.98/91.02 c 88.9s | 18 | 349661 | 327152 | 2647 277 | 10 | 24 92.98/93.03 c 90.9s | 18 | 358408 | 335352 | 2647 283 | 10 | 24 94.98/95.04 c 92.9s | 18 | 366050 | 342152 | 2647 287 | 10 | 24 96.98/97.06 c 95.0s | 18 | 373141 | 348452 | 2647 292 | 10 | 24 98.98/99.08 c 97.0s | 18 | 380750 | 355452 | 2647 296 | 10 | 24 101.08/101.11 c 99.0s | 18 | 387329 | 361452 | 2647 300 | 10 | 24 103.08/103.12 c 101s | 18 | 392830 | 366752 | 2647 304 | 10 | 24 105.08/105.15 c 103s | 18 | 400759 | 374252 | 2647 309 | 10 | 24 107.07/107.17 c 105s | 18 | 407954 | 381152 | 2647 314 | 10 | 24 109.07/109.18 c 107s | 18 | 415178 | 387952 | 2647 318 | 10 | 24 111.08/111.20 c 109s | 18 | 422450 | 394752 | 2647 323 | 10 | 24 113.17/113.22 c 111s | 18 | 429538 | 401552 | 2647 327 | 10 | 24 115.17/115.24 c 113s | 18 | 436398 | 407952 | 2647 332 | 10 | 24 117.17/117.26 c 115s | 18 | 443624 | 414752 | 2647 336 | 10 | 24 119.17/119.26 c 117s | 18 | 451214 | 421952 | 2647 341 | 10 | 24 121.17/121.28 c 119s | 18 | 457611 | 428052 | 2647 345 | 10 | 24 123.18/123.30 c 121s | 18 | 465012 | 435052 | 2647 350 | 10 | 24 125.27/125.31 c 123s | 18 | 471834 | 441352 | 2912 354 | 10 | 24 126.07/126.18 c 124s | 19 | 475136 | 444482 | 2912 356 | 10 | 24 128.07/128.19 c 126s | 19 | 483401 | 452582 | 2912 361 | 10 | 24 130.17/130.23 c 128s | 19 | 490845 | 459782 | 2912 365 | 10 | 24 132.17/132.26 c 130s | 19 | 498154 | 466882 | 2912 370 | 10 | 24 134.27/134.31 c 132s | 19 | 504877 | 473382 | 2912 374 | 10 | 24 136.27/136.34 c 134s | 19 | 510110 | 478282 | 2912 377 | 10 | 24 138.27/138.38 c 136s | 19 | 514911 | 482782 | 2912 379 | 10 | 24 140.36/140.40 c 138s | 19 | 518960 | 486582 | 2912 382 | 10 | 24 142.36/142.40 c 140s | 19 | 524789 | 491982 | 2912 385 | 10 | 24 144.36/144.42 c 142s | 19 | 532304 | 499082 | 2912 389 | 10 | 24 146.37/146.44 c 144s | 19 | 538591 | 504482 | 2912 393 | 10 | 24 148.36/148.46 c 146s | 19 | 545922 | 511482 | 2912 397 | 10 | 24 150.36/150.48 c 148s | 19 | 552296 | 517482 | 2912 401 | 10 | 24 152.47/152.51 c 150s | 19 | 559193 | 523882 | 2912 404 | 10 | 24 154.47/154.52 c 152s | 19 | 565991 | 530282 | 2912 408 | 10 | 24 156.47/156.53 c 154s | 19 | 571798 | 535782 | 2912 412 | 10 | 24 158.47/158.54 c 156s | 19 | 578315 | 541782 | 2912 415 | 10 | 24 160.47/160.59 c 158s | 19 | 583185 | 545582 | 2912 418 | 10 | 24 162.57/162.60 c 160s | 19 | 588849 | 550482 | 2912 421 | 10 | 24 164.57/164.60 c 162s | 19 | 597211 | 558382 | 2912 426 | 10 | 24 166.57/166.63 c 164s | 19 | 605930 | 566482 | 2912 431 | 10 | 24 168.56/168.65 c 166s | 19 | 614450 | 574382 | 2912 435 | 10 | 24 170.57/170.68 c 168s | 19 | 623277 | 582782 | 2912 441 | 10 | 24 172.56/172.70 c 170s | 19 | 631622 | 590582 | 2912 445 | 10 | 24 174.66/174.71 c 172s | 19 | 639578 | 597882 | 2912 450 | 10 | 24 176.66/176.71 c 174s | 19 | 647571 | 605382 | 2912 454 | 10 | 24 178.66/178.72 c 176s | 19 | 655954 | 613182 | 2912 459 | 10 | 24 180.66/180.73 c 178s | 19 | 663710 | 620382 | 2912 464 | 10 | 24 182.67/182.74 c 180s | 19 | 671707 | 627982 | 2912 468 | 10 | 24 184.66/184.77 c 182s | 19 | 679137 | 634682 | 2912 472 | 10 | 24 186.66/186.79 c 184s | 19 | 684286 | 639382 | 2912 475 | 10 | 24 188.75/188.87 c 186s | 19 | 688604 | 643082 | 2912 478 | 10 | 24 190.75/190.87 c 188s | 19 | 694777 | 648682 | 2912 481 | 10 | 24 192.75/192.89 c 190s | 19 | 701247 | 654482 | 2912 485 | 10 | 24 194.85/194.92 c 192s | 19 | 708874 | 661882 | 3204 489 | 10 | 24 196.35/196.45 c 194s | 20 | 714116 | 666827 | 3204 492 | 10 | 24 198.35/198.46 c 196s | 20 | 721854 | 674127 | 3204 496 | 10 | 24 200.35/200.47 c 198s | 20 | 728824 | 680927 | 3204 500 | 10 | 24 202.35/202.47 c 200s | 20 | 734983 | 687027 | 3204 503 | 10 | 24 204.44/204.50 c 202s | 20 | 741297 | 693227 | 3204 506 | 10 | 24 206.44/206.52 c 204s | 20 | 748921 | 700627 | 3204 511 | 10 | 24 208.44/208.54 c 206s | 20 | 756139 | 707627 | 3204 515 | 10 | 24 210.44/210.56 c 208s | 20 | 763574 | 714827 | 3204 519 | 10 | 24 212.44/212.57 c 210s | 20 | 771023 | 722127 | 3204 523 | 10 | 24 214.44/214.59 c 212s | 20 | 778843 | 729627 | 3204 527 | 10 | 24 216.44/216.59 c 214s | 20 | 786037 | 736727 | 3204 531 | 10 | 24 218.53/218.62 c 216s | 20 | 792936 | 743527 | 3204 535 | 10 | 24 220.53/220.64 c 218s | 20 | 800149 | 750627 | 3204 539 | 10 | 24 222.53/222.65 c 220s | 20 | 807808 | 758127 | 3204 544 | 10 | 24 224.53/224.68 c 222s | 20 | 814662 | 764727 | 3204 547 | 10 | 24 226.54/226.69 c 224s | 20 | 821978 | 771927 | 3204 551 | 10 | 24 228.63/228.70 c 226s | 20 | 828084 | 777727 | 3204 555 | 10 | 24 230.63/230.74 c 228s | 20 | 834212 | 783527 | 3204 558 | 10 | 24 232.63/232.76 c 230s | 20 | 840005 | 789127 | 3204 561 | 10 | 24 234.63/234.78 c 232s | 20 | 846280 | 795027 | 3204 565 | 10 | 24 236.73/236.82 c 234s | 20 | 853108 | 801727 | 3204 568 | 10 | 24 238.73/238.85 c 236s | 20 | 858757 | 807227 | 3204 572 | 10 | 24 240.72/240.88 c 238s | 20 | 865804 | 814027 | 3204 576 | 10 | 24 242.82/242.90 c 240s | 20 | 873855 | 821927 | 3204 580 | 10 | 24 244.82/244.92 c 242s | 20 | 881183 | 829127 | 3204 584 | 10 | 24 246.83/246.92 c 244s | 20 | 888266 | 836127 | 3204 588 | 10 | 24 248.83/248.94 c 246s | 20 | 895425 | 843127 | 3204 592 | 10 | 24 250.83/250.95 c 248s | 20 | 902828 | 850427 | 3204 596 | 10 | 24 252.82/252.97 c 250s | 20 | 910042 | 857527 | 3204 600 | 10 | 24 254.82/254.98 c 252s | 20 | 916758 | 864127 | 3204 604 | 10 | 24 256.82/257.00 c 254s | 20 | 923683 | 870927 | 3204 608 | 10 | 24 258.82/259.00 c 256s | 20 | 931309 | 878427 | 3204 612 | 10 | 24 260.92/261.00 c 258s | 20 | 938853 | 885827 | 3204 616 | 10 | 24 262.93/263.02 c 260s | 20 | 946287 | 893127 | 3204 621 | 10 | 24 264.92/265.04 c 262s | 20 | 953850 | 900527 | 3204 625 | 10 | 24 266.92/267.05 c 264s | 20 | 960892 | 907427 | 3204 629 | 10 | 24 268.92/269.06 c 266s | 20 | 967490 | 913927 | 3204 633 | 10 | 24 270.92/271.08 c 268s | 20 | 974705 | 920927 | 3204 637 | 10 | 24 272.92/273.09 c 270s | 20 | 982232 | 928327 | 3204 641 | 10 | 24 275.03/275.12 c 273s | 20 | 989998 | 935827 | 3204 645 | 10 | 24 277.01/277.13 c 275s | 20 | 996871 | 942527 | 3204 649 | 10 | 24 279.01/279.14 c 277s | 20 | 1003746 | 949227 | 3204 653 | 10 | 24 281.01/281.15 c 279s | 20 | 1010454 | 955727 | 3204 656 | 10 | 24 283.01/283.15 c 281s | 20 | 1016824 | 961927 | 3204 660 | 10 | 24 285.01/285.16 c 283s | 20 | 1022766 | 967627 | 3204 663 | 10 | 24 287.02/287.18 c 285s | 20 | 1028907 | 973527 | 3204 667 | 10 | 24 289.11/289.21 c 287s | 20 | 1035451 | 979927 | 3204 670 | 10 | 24 291.11/291.22 c 289s | 20 | 1042152 | 986427 | 3204 674 | 10 | 24 293.11/293.22 c 291s | 20 | 1048496 | 992627 | 3525 677 | 10 | 24 295.11/295.23 c 293s | 20 | 1055242 | 999227 | 3525 681 | 10 | 24 295.41/295.52 c 293s | 21 | 1056386 | 1000345 | 3525 681 | 10 | 24 297.40/297.53 c 295s | 21 | 1063900 | 1007645 | 3525 685 | 10 | 24 299.40/299.55 c 297s | 21 | 1071509 | 1015045 | 3525 689 | 10 | 24 301.41/301.56 c 299s | 21 | 1080116 | 1023345 | 3525 693 | 11 | 32 303.40/303.58 c 301s | 21 | 1087778 | 1030845 | 3525 697 | 11 | 32 305.40/305.59 c 303s | 21 | 1095394 | 1038245 | 3525 701 | 11 | 32 307.50/307.62 c 305s | 21 | 1103398 | 1045945 | 3525 705 | 11 | 32 309.50/309.64 c 307s | 21 | 1111225 | 1053545 | 3525 709 | 11 | 32 311.50/311.65 c 309s | 21 | 1118689 | 1060845 | 3525 713 | 11 | 32 313.51/313.66 c 311s | 21 | 1126394 | 1068345 | 3525 717 | 11 | 32 315.50/315.67 c 313s | 21 | 1133870 | 1075645 | 3525 721 | 11 | 32 317.49/317.67 c 315s | 21 | 1141542 | 1083145 | 3525 725 | 11 | 32 319.49/319.68 c 317s | 21 | 1149252 | 1090745 | 3525 729 | 11 | 32 321.49/321.69 c 319s | 21 | 1157107 | 1098445 | 3525 733 | 11 | 32 323.59/323.71 c 321s | 21 | 1164609 | 1105845 | 3525 736 | 11 | 32 325.60/325.75 c 323s | 21 | 1172538 | 1113545 | 3525 740 | 11 | 32 327.59/327.75 c 325s | 21 | 1179960 | 1120745 | 3525 744 | 11 | 32 329.59/329.76 c 327s | 21 | 1187552 | 1128145 | 3525 748 | 11 | 32 331.59/331.77 c 329s | 21 | 1194671 | 1135045 | 3525 752 | 11 | 32 333.59/333.79 c 331s | 21 | 1201910 | 1141945 | 3525 755 | 11 | 32 335.69/335.81 c 333s | 21 | 1208739 | 1148545 | 3525 759 | 11 | 32 337.70/337.83 c 335s | 21 | 1215713 | 1155145 | 3525 762 | 11 | 32 339.69/339.85 c 337s | 21 | 1222561 | 1161845 | 3525 766 | 11 | 32 341.69/341.87 c 339s | 21 | 1229427 | 1168545 | 3525 769 | 11 | 32 343.69/343.89 c 341s | 21 | 1236367 | 1175345 | 3525 773 | 11 | 32 345.79/345.90 c 343s | 21 | 1243253 | 1182045 | 3525 776 | 11 | 32 347.79/347.92 c 345s | 21 | 1250264 | 1188845 | 3525 780 | 11 | 32 349.79/349.95 c 347s | 21 | 1257215 | 1195445 | 3525 783 | 11 | 32 351.78/351.95 c 349s | 21 | 1264060 | 1201845 | 3525 787 | 11 | 32 353.78/353.99 c 351s | 21 | 1271363 | 1208645 | 3525 790 | 11 | 32 355.88/356.00 c 353s | 21 | 1278331 | 1215245 | 3525 794 | 11 | 32 357.88/358.01 c 355s | 21 | 1285066 | 1221745 | 3525 797 | 11 | 32 359.88/360.01 c 357s | 21 | 1292129 | 1228545 | 3525 801 | 11 | 32 361.89/362.02 c 359s | 21 | 1298724 | 1234945 | 3525 804 | 11 | 32 363.88/364.03 c 361s | 21 | 1305758 | 1241545 | 3525 808 | 11 | 32 365.88/366.04 c 363s | 21 | 1312945 | 1248445 | 3525 811 | 11 | 32 367.88/368.05 c 365s | 21 | 1319447 | 1254445 | 3525 814 | 11 | 32 369.87/370.06 c 367s | 21 | 1326235 | 1260645 | 3525 818 | 11 | 32 371.87/372.07 c 369s | 21 | 1333309 | 1267445 | 3525 821 | 11 | 32 373.88/374.10 c 371s | 21 | 1339926 | 1273745 | 3525 825 | 11 | 32 375.97/376.10 c 373s | 21 | 1346665 | 1280245 | 3525 828 | 11 | 32 377.97/378.14 c 376s | 21 | 1354001 | 1287145 | 3525 832 | 11 | 32 379.97/380.14 c 378s | 21 | 1361112 | 1293645 | 3525 835 | 11 | 32 381.97/382.15 c 380s | 21 | 1368074 | 1300345 | 3525 838 | 11 | 32 383.97/384.18 c 382s | 21 | 1375123 | 1307145 | 3525 842 | 11 | 32 385.97/386.19 c 384s | 21 | 1382064 | 1313745 | 3525 845 | 11 | 32 387.97/388.19 c 386s | 21 | 1388865 | 1320145 | 3525 849 | 11 | 32 390.06/390.23 c 388s | 21 | 1395798 | 1326545 | 3525 852 | 11 | 32 392.06/392.23 c 390s | 21 | 1402453 | 1332845 | 3525 855 | 11 | 32 394.06/394.26 c 392s | 21 | 1409040 | 1338945 | 3525 859 | 11 | 32 396.06/396.28 c 394s | 21 | 1416177 | 1345645 | 3525 862 | 11 | 32 398.06/398.30 c 396s | 21 | 1422476 | 1351345 | 3525 865 | 11 | 32 400.16/400.31 c 398s | 21 | 1429154 | 1357645 | 3525 869 | 11 | 32 402.16/402.32 c 400s | 21 | 1435926 | 1364045 | 3525 872 | 11 | 32 404.16/404.35 c 402s | 21 | 1442670 | 1370245 | 3525 875 | 11 | 32 406.16/406.36 c 404s | 21 | 1449505 | 1376345 | 3525 878 | 11 | 32 408.15/408.39 c 406s | 21 | 1456244 | 1382445 | 3525 882 | 11 | 32 410.15/410.39 c 408s | 21 | 1462979 | 1388845 | 3525 885 | 11 | 32 412.15/412.39 c 410s | 21 | 1470161 | 1395745 | 3525 889 | 11 | 32 414.25/414.42 c 412s | 21 | 1477205 | 1402545 | 3525 892 | 11 | 32 416.25/416.43 c 414s | 21 | 1484637 | 1409645 | 3525 896 | 11 | 32 418.24/418.46 c 416s | 21 | 1491903 | 1416745 | 3525 900 | 11 | 32 420.34/420.50 c 418s | 21 | 1498636 | 1423145 | 3525 903 | 11 | 32 422.35/422.53 c 420s | 21 | 1505177 | 1429245 | 3525 906 | 11 | 32 424.34/424.56 c 422s | 21 | 1512248 | 1435945 | 3525 910 | 11 | 32 426.34/426.58 c 424s | 21 | 1519466 | 1442545 | 3525 913 | 11 | 32 428.34/428.59 c 426s | 21 | 1526097 | 1448645 | 3525 916 | 11 | 32 430.44/430.62 c 428s | 21 | 1532600 | 1454845 | 3525 920 | 11 | 32 432.44/432.64 c 430s | 21 | 1539758 | 1461645 | 3525 923 | 11 | 32 434.44/434.65 c 432s | 21 | 1546869 | 1468245 | 3525 927 | 11 | 32 436.43/436.68 c 434s | 21 | 1554256 | 1475245 | 3525 930 | 11 | 32 438.43/438.69 c 436s | 21 | 1560527 | 1481145 | 3525 933 | 11 | 32 440.53/440.72 c 438s | 21 | 1567152 | 1487445 | 3878 936 | 11 | 32 442.53/442.72 c 440s | 21 | 1573296 | 1493045 | 3878 939 | 11 | 32 444.53/444.73 c 442s | 21 | 1579932 | 1499145 | 3878 942 | 11 | 32 445.03/445.24 c 443s | 22 | 1581435 | 1500622 | 3878 943 | 11 | 32 447.03/447.26 c 445s | 22 | 1588871 | 1507822 | 3878 946 | 11 | 32 449.02/449.26 c 447s | 22 | 1595726 | 1514422 | 3878 949 | 11 | 32 451.02/451.26 c 449s | 22 | 1602462 | 1521022 | 3878 953 | 11 | 32 453.03/453.28 c 451s | 22 | 1609754 | 1528222 | 3878 956 | 11 | 32 455.12/455.30 c 453s | 22 | 1616997 | 1535322 | 3878 960 | 11 | 32 457.12/457.33 c 455s | 22 | 1624644 | 1542722 | 3878 963 | 11 | 32 459.12/459.35 c 457s | 22 | 1631293 | 1549322 | 3878 966 | 11 | 32 461.12/461.37 c 459s | 22 | 1638242 | 1556122 | 3878 970 | 11 | 32 463.12/463.40 c 461s | 22 | 1644934 | 1562622 | 3878 973 | 11 | 32 465.22/465.40 c 463s | 22 | 1651593 | 1569122 | 3878 976 | 11 | 32 467.22/467.43 c 465s | 22 | 1658985 | 1576122 | 3878 979 | 11 | 32 469.22/469.45 c 467s | 22 | 1665598 | 1582622 | 3878 983 | 11 | 32 471.22/471.46 c 469s | 22 | 1671985 | 1588922 | 3878 986 | 11 | 32 473.22/473.46 c 471s | 22 | 1678721 | 1595522 | 3878 989 | 11 | 32 475.22/475.48 c 473s | 22 | 1685342 | 1602022 | 3878 992 | 11 | 32 477.32/477.51 c 475s | 22 | 1692160 | 1608722 | 3878 995 | 11 | 32 479.32/479.51 c 477s | 22 | 1698550 | 1615022 | 3878 999 | 11 | 32 481.31/481.53 c 479s | 22 | 1705352 | 1621722 | 3878 1002 | 11 | 32 483.31/483.54 c 481s | 22 | 1711680 | 1627822 | 3878 1005 | 11 | 32 485.31/485.55 c 483s | 22 | 1719314 | 1635322 | 3878 1008 | 11 | 32 487.31/487.56 c 485s | 22 | 1726005 | 1641822 | 3878 1012 | 11 | 32 489.32/489.57 c 487s | 22 | 1732588 | 1648222 | 3878 1015 | 11 | 32 491.31/491.58 c 489s | 22 | 1739024 | 1654522 | 3878 1018 | 11 | 32 493.41/493.61 c 491s | 22 | 1745839 | 1661222 | 3878 1021 | 11 | 32 495.41/495.63 c 493s | 22 | 1752635 | 1667822 | 3878 1024 | 11 | 32 497.41/497.65 c 495s | 22 | 1759407 | 1674322 | 3878 1028 | 11 | 32 499.41/499.67 c 497s | 22 | 1766345 | 1681122 | 3878 1031 | 11 | 32 501.41/501.68 c 499s | 22 | 1772157 | 1686222 | 3878 1034 | 11 | 32 503.50/503.70 c 501s | 22 | 1777362 | 1691322 | 3878 1036 | 11 | 32 505.50/505.73 c 503s | 22 | 1783484 | 1696822 | 3878 1039 | 11 | 32 507.50/507.74 c 505s | 22 | 1789876 | 1703022 | 3878 1042 | 11 | 32 509.50/509.75 c 507s | 22 | 1795806 | 1708622 | 3878 1045 | 11 | 32 511.50/511.78 c 509s | 22 | 1800794 | 1713022 | 3878 1047 | 11 | 32 513.50/513.80 c 511s | 22 | 1805791 | 1717522 | 3878 1049 | 11 | 32 515.60/515.81 c 513s | 22 | 1811298 | 1722522 | 3878 1051 | 11 | 32 517.59/517.86 c 515s | 22 | 1817055 | 1727822 | 3878 1054 | 11 | 32 519.59/519.88 c 517s | 22 | 1822420 | 1732822 | 3878 1057 | 11 | 32 521.69/521.90 c 519s | 22 | 1828473 | 1738722 | 3878 1059 | 11 | 32 523.69/523.94 c 521s | 22 | 1834379 | 1744422 | 3878 1062 | 11 | 32 525.70/525.94 c 523s | 22 | 1840265 | 1750122 | 3878 1065 | 11 | 32 527.69/527.96 c 525s | 22 | 1846166 | 1755922 | 3878 1068 | 11 | 32 529.69/529.97 c 527s | 22 | 1851764 | 1761422 | 3878 1071 | 11 | 32 531.69/531.99 c 529s | 22 | 1857657 | 1767222 | 3878 1074 | 11 | 32 533.79/534.01 c 531s | 22 | 1863542 | 1772922 | 3878 1076 | 11 | 32 535.79/536.05 c 533s | 22 | 1869414 | 1778722 | 3878 1079 | 11 | 32 537.79/538.07 c 535s | 22 | 1875048 | 1784222 | 3878 1082 | 11 | 32 539.78/540.10 c 537s | 22 | 1881654 | 1790622 | 3878 1085 | 11 | 32 541.88/542.10 c 539s | 22 | 1888035 | 1796622 | 3878 1088 | 11 | 32 543.88/544.11 c 541s | 22 | 1894830 | 1803122 | 3878 1091 | 11 | 32 545.88/546.11 c 543s | 22 | 1900937 | 1808922 | 3878 1094 | 11 | 32 547.88/548.12 c 546s | 22 | 1907074 | 1814822 | 3878 1097 | 11 | 32 549.88/550.13 c 548s | 22 | 1913884 | 1821422 | 3878 1100 | 11 | 32 551.88/552.17 c 550s | 22 | 1920332 | 1827622 | 3878 1103 | 11 | 32 553.87/554.17 c 552s | 22 | 1925878 | 1832922 | 3878 1106 | 11 | 32 555.97/556.22 c 554s | 22 | 1931367 | 1838222 | 3878 1108 | 11 | 32 557.97/558.23 c 556s | 22 | 1937170 | 1843822 | 3878 1111 | 11 | 32 559.97/560.25 c 558s | 22 | 1942816 | 1849322 | 3878 1114 | 11 | 32 561.97/562.27 c 560s | 22 | 1949168 | 1855422 | 3878 1117 | 11 | 32 563.97/564.28 c 562s | 22 | 1955445 | 1861522 | 3878 1120 | 11 | 32 565.97/566.29 c 564s | 22 | 1960834 | 1866722 | 3878 1122 | 11 | 32 568.06/568.31 c 566s | 22 | 1966634 | 1872222 | 3878 1125 | 11 | 32 570.06/570.34 c 568s | 22 | 1972386 | 1877722 | 3878 1128 | 11 | 32 572.06/572.36 c 570s | 22 | 1978526 | 1883522 | 3878 1131 | 11 | 32 574.07/574.36 c 572s | 22 | 1984158 | 1888922 | 3878 1133 | 11 | 32 576.06/576.38 c 574s | 22 | 1989974 | 1894522 | 3878 1136 | 11 | 32 578.06/578.39 c 576s | 22 | 1995467 | 1899822 | 3878 1139 | 11 | 32 580.16/580.42 c 578s | 22 | 2001171 | 1905322 | 3878 1141 | 11 | 32 582.16/582.42 c 580s | 22 | 2008105 | 1912022 | 3878 1145 | 11 | 32 584.16/584.42 c 582s | 22 | 2013743 | 1917422 | 3878 1147 | 11 | 32 586.16/586.44 c 584s | 22 | 2020116 | 1923622 | 3878 1150 | 11 | 32 588.15/588.46 c 586s | 22 | 2026423 | 1929722 | 3878 1153 | 11 | 32 590.15/590.48 c 588s | 22 | 2033200 | 1936322 | 3878 1157 | 11 | 32 592.15/592.48 c 590s | 22 | 2039088 | 1941522 | 3878 1159 | 11 | 32 594.25/594.50 c 592s | 22 | 2044958 | 1946822 | 3878 1162 | 11 | 32 596.25/596.52 c 594s | 22 | 2050786 | 1952422 | 3878 1165 | 11 | 32 598.25/598.54 c 596s | 22 | 2055877 | 1957022 | 3878 1167 | 11 | 32 600.25/600.56 c 598s | 22 | 2062007 | 1963022 | 3878 1170 | 11 | 32 602.35/602.61 c 600s | 22 | 2067876 | 1968622 | 3878 1173 | 11 | 32 604.35/604.64 c 602s | 22 | 2074172 | 1974622 | 3878 1175 | 11 | 32 606.35/606.65 c 604s | 22 | 2080984 | 1981222 | 3878 1179 | 11 | 32 608.34/608.66 c 606s | 22 | 2088443 | 1988422 | 3878 1182 | 11 | 32 610.35/610.68 c 608s | 22 | 2095086 | 1994922 | 3878 1185 | 11 | 32 612.34/612.70 c 610s | 22 | 2100929 | 2000522 | 3878 1188 | 11 | 32 614.44/614.72 c 612s | 22 | 2108064 | 2007322 | 3878 1191 | 11 | 32 616.45/616.76 c 614s | 22 | 2114175 | 2013222 | 3878 1194 | 11 | 32 618.44/618.76 c 616s | 22 | 2120373 | 2019122 | 3878 1197 | 11 | 32 620.44/620.77 c 618s | 22 | 2127107 | 2025722 | 3878 1201 | 11 | 32 622.54/622.80 c 620s | 22 | 2133278 | 2031722 | 3878 1204 | 11 | 32 624.55/624.82 c 622s | 22 | 2139744 | 2038022 | 3878 1207 | 11 | 32 626.54/626.84 c 624s | 22 | 2146438 | 2044322 | 3878 1210 | 11 | 32 628.53/628.84 c 626s | 22 | 2152770 | 2050522 | 3878 1213 | 11 | 32 630.53/630.85 c 628s | 22 | 2158710 | 2056322 | 3878 1216 | 11 | 32 632.53/632.87 c 630s | 22 | 2165659 | 2062922 | 3878 1219 | 11 | 32 634.63/634.90 c 632s | 22 | 2172502 | 2069622 | 3878 1222 | 11 | 32 636.64/636.93 c 634s | 22 | 2178754 | 2075722 | 3878 1225 | 11 | 32 638.63/638.94 c 636s | 22 | 2184870 | 2081722 | 3878 1228 | 11 | 32 640.63/640.97 c 638s | 22 | 2190868 | 2087522 | 3878 1231 | 11 | 32 642.63/642.99 c 640s | 22 | 2196931 | 2093422 | 3878 1234 | 11 | 32 644.73/645.00 c 642s | 22 | 2203245 | 2099522 | 3878 1237 | 11 | 32 646.73/647.02 c 644s | 22 | 2210213 | 2106222 | 3878 1240 | 11 | 32 648.73/649.03 c 646s | 22 | 2216427 | 2112222 | 3878 1243 | 11 | 32 650.72/651.04 c 648s | 22 | 2222465 | 2118022 | 3878 1246 | 11 | 32 652.72/653.04 c 650s | 22 | 2229113 | 2124422 | 3878 1249 | 11 | 32 654.72/655.07 c 652s | 22 | 2235946 | 2131022 | 3878 1252 | 11 | 32 656.72/657.08 c 654s | 22 | 2242115 | 2136922 | 3878 1255 | 11 | 32 658.72/659.09 c 656s | 22 | 2248335 | 2142822 | 3878 1258 | 11 | 32 660.71/661.10 c 658s | 22 | 2254995 | 2149222 | 3878 1261 | 11 | 32 662.81/663.12 c 661s | 22 | 2261767 | 2155822 | 3878 1264 | 11 | 32 664.81/665.13 c 663s | 22 | 2268311 | 2162022 | 3878 1267 | 11 | 32 666.81/667.17 c 665s | 22 | 2274806 | 2168322 | 3878 1271 | 11 | 32 668.81/669.18 c 667s | 22 | 2280211 | 2173322 | 3878 1273 | 11 | 32 670.81/671.19 c 669s | 22 | 2285620 | 2178022 | 3878 1275 | 11 | 32 672.91/673.22 c 671s | 22 | 2291416 | 2183122 | 3878 1278 | 11 | 32 674.91/675.22 c 673s | 22 | 2296582 | 2187622 | 3878 1280 | 11 | 32 676.91/677.25 c 675s | 22 | 2301242 | 2192022 | 3878 1282 | 11 | 32 678.90/679.28 c 677s | 22 | 2305874 | 2196222 | 3878 1284 | 11 | 32 681.00/681.30 c 679s | 22 | 2310600 | 2200422 | 3878 1286 | 11 | 32 683.00/683.31 c 681s | 22 | 2315785 | 2204722 | 3878 1288 | 11 | 32 685.01/685.31 c 683s | 22 | 2321155 | 2209722 | 3878 1291 | 11 | 32 687.00/687.33 c 685s | 22 | 2326717 | 2215122 | 3878 1294 | 11 | 32 689.00/689.35 c 687s | 22 | 2332240 | 2220522 | 3878 1296 | 11 | 32 691.00/691.37 c 689s | 22 | 2337682 | 2225622 | 3878 1299 | 11 | 32 692.99/693.39 c 691s | 22 | 2342331 | 2229822 | 4266 1301 | 11 | 32 695.09/695.40 c 693s | 22 | 2347265 | 2234322 | 4266 1303 | 11 | 32 697.10/697.43 c 695s | 22 | 2353150 | 2240122 | 4266 1305 | 11 | 32 699.09/699.44 c 697s | 22 | 2358535 | 2245422 | 4266 1308 | 11 | 32 701.09/701.46 c 699s | 22 | 2364064 | 2250822 | 4266 1310 | 11 | 32 701.19/701.54 c 699s | 23 | 2364291 | 2251038 | 4266 1310 | 11 | 32 703.19/703.54 c 701s | 23 | 2370079 | 2256538 | 4266 1312 | 11 | 32 705.19/705.55 c 703s | 23 | 2375540 | 2261838 | 4266 1315 | 11 | 32 707.18/707.56 c 705s | 23 | 2381052 | 2267238 | 4266 1317 | 11 | 32 709.19/709.56 c 707s | 23 | 2386012 | 2272138 | 4266 1319 | 11 | 32 711.18/711.59 c 709s | 23 | 2393031 | 2278838 | 4266 1322 | 11 | 32 713.28/713.63 c 711s | 23 | 2399834 | 2285538 | 4266 1325 | 11 | 32 715.28/715.66 c 713s | 23 | 2406739 | 2292238 | 4266 1328 | 11 | 32 717.28/717.69 c 715s | 23 | 2413198 | 2298638 | 4266 1331 | 11 | 32 719.38/719.70 c 717s | 23 | 2419588 | 2304838 | 4266 1334 | 11 | 32 721.39/721.71 c 719s | 23 | 2426092 | 2311238 | 4266 1337 | 11 | 32 723.38/723.71 c 721s | 23 | 2432640 | 2317438 | 4266 1339 | 11 | 32 725.38/725.73 c 723s | 23 | 2438952 | 2323638 | 4266 1342 | 11 | 32 727.37/727.73 c 725s | 23 | 2445454 | 2330038 | 4266 1345 | 11 | 32 729.37/729.75 c 727s | 23 | 2450924 | 2335338 | 4266 1347 | 11 | 32 731.37/731.77 c 729s | 23 | 2456883 | 2341038 | 4266 1350 | 11 | 32 733.38/733.80 c 731s | 23 | 2462526 | 2346538 | 4266 1352 | 11 | 32 735.47/735.81 c 733s | 23 | 2468378 | 2352238 | 4266 1355 | 11 | 32 737.46/737.82 c 735s | 23 | 2473981 | 2357738 | 4266 1357 | 11 | 32 739.46/739.85 c 737s | 23 | 2480545 | 2363938 | 4266 1360 | 11 | 32 741.47/741.88 c 739s | 23 | 2486505 | 2369638 | 4266 1362 | 11 | 32 743.47/743.88 c 741s | 23 | 2492417 | 2375338 | 4266 1365 | 11 | 32 745.48/745.88 c 743s | 23 | 2498280 | 2381038 | 4266 1368 | 11 | 32 747.57/747.90 c 745s | 23 | 2504372 | 2386938 | 4266 1370 | 11 | 32 749.57/749.95 c 747s | 23 | 2510710 | 2392938 | 4266 1373 | 11 | 32 751.57/751.96 c 749s | 23 | 2517541 | 2399238 | 4266 1376 | 11 | 32 753.57/753.97 c 751s | 23 | 2523870 | 2405038 | 4266 1378 | 11 | 32 755.57/755.97 c 753s | 23 | 2530320 | 2410938 | 4266 1381 | 11 | 32 757.57/758.00 c 755s | 23 | 2536599 | 2416638 | 4266 1383 | 11 | 32 759.66/760.02 c 757s | 23 | 2543052 | 2422638 | 4266 1386 | 11 | 32 761.66/762.05 c 759s | 23 | 2549478 | 2428738 | 4266 1389 | 11 | 32 763.66/764.05 c 761s | 23 | 2555823 | 2434538 | 4266 1391 | 11 | 32 765.66/766.07 c 763s | 23 | 2562584 | 2440738 | 4266 1394 | 11 | 32 767.66/768.08 c 765s | 23 | 2569604 | 2447138 | 4266 1397 | 11 | 32 769.76/770.10 c 767s | 23 | 2576108 | 2453238 | 4266 1400 | 11 | 32 771.75/772.11 c 770s | 23 | 2582662 | 2459438 | 4266 1402 | 11 | 32 773.75/774.13 c 772s | 23 | 2588915 | 2465338 | 4266 1405 | 11 | 32 775.75/776.16 c 774s | 23 | 2595131 | 2471038 | 4266 1407 | 11 | 32 777.85/778.20 c 776s | 23 | 2602024 | 2477438 | 4266 1410 | 11 | 32 779.85/780.22 c 778s | 23 | 2608841 | 2483938 | 4266 1413 | 11 | 32 781.86/782.24 c 780s | 23 | 2615150 | 2489738 | 4266 1416 | 11 | 32 783.85/784.25 c 782s | 23 | 2621804 | 2495938 | 4266 1418 | 11 | 32 785.85/786.26 c 784s | 23 | 2628469 | 2501838 | 4266 1421 | 11 | 32 787.84/788.28 c 786s | 23 | 2634836 | 2507838 | 4266 1424 | 11 | 32 789.84/790.29 c 788s | 23 | 2640895 | 2513338 | 4266 1426 | 11 | 32 791.84/792.29 c 790s | 23 | 2647177 | 2519038 | 4266 1429 | 11 | 32 793.85/794.30 c 792s | 23 | 2653364 | 2524538 | 4266 1431 | 11 | 32 795.94/796.31 c 794s | 23 | 2658802 | 2529638 | 4266 1433 | 11 | 32 797.94/798.33 c 796s | 23 | 2665258 | 2535638 | 4266 1436 | 11 | 32 799.94/800.35 c 798s | 23 | 2671658 | 2541438 | 4266 1439 | 11 | 32 801.94/802.35 c 800s | 23 | 2678043 | 2547338 | 4266 1441 | 11 | 32 803.94/804.38 c 802s | 23 | 2683748 | 2552638 | 4266 1444 | 11 | 32 806.05/806.41 c 804s | 23 | 2689459 | 2557938 | 4266 1446 | 11 | 32 808.04/808.42 c 806s | 23 | 2695232 | 2563438 | 4266 1448 | 11 | 32 810.04/810.43 c 808s | 23 | 2700786 | 2568738 | 4266 1451 | 11 | 32 812.04/812.44 c 810s | 23 | 2706368 | 2574138 | 4266 1453 | 11 | 32 814.04/814.45 c 812s | 23 | 2712395 | 2579838 | 4266 1456 | 11 | 32 816.04/816.46 c 814s | 23 | 2718767 | 2585938 | 4266 1458 | 11 | 32 818.04/818.48 c 816s | 23 | 2725255 | 2592238 | 4266 1461 | 11 | 32 820.14/820.51 c 818s | 23 | 2731999 | 2598638 | 4266 1464 | 11 | 32 822.14/822.53 c 820s | 23 | 2738236 | 2604338 | 4266 1467 | 11 | 32 824.14/824.54 c 822s | 23 | 2744632 | 2610038 | 4266 1469 | 11 | 32 826.14/826.58 c 824s | 23 | 2750090 | 2615238 | 4266 1471 | 11 | 32 828.14/828.59 c 826s | 23 | 2755713 | 2620638 | 4266 1474 | 11 | 32 830.24/830.66 c 828s | 23 | 2761458 | 2626238 | 4266 1476 | 11 | 32 832.23/832.69 c 830s | 23 | 2766720 | 2631438 | 4266 1479 | 11 | 32 834.33/834.71 c 832s | 23 | 2773061 | 2637638 | 4266 1481 | 11 | 32 836.33/836.74 c 834s | 23 | 2778741 | 2643038 | 4266 1484 | 11 | 32 838.33/838.77 c 836s | 23 | 2784236 | 2648238 | 4266 1486 | 11 | 32 840.43/840.82 c 838s | 23 | 2789687 | 2653338 | 4266 1489 | 11 | 32 842.43/842.84 c 840s | 23 | 2795001 | 2658438 | 4266 1491 | 11 | 32 844.44/844.88 c 842s | 23 | 2800481 | 2663638 | 4266 1493 | 11 | 32 846.53/846.90 c 844s | 23 | 2806004 | 2668838 | 4266 1496 | 11 | 32 848.53/848.91 c 846s | 23 | 2812184 | 2674738 | 4266 1498 | 11 | 32 850.53/850.91 c 848s | 23 | 2818578 | 2680838 | 4266 1501 | 11 | 32 852.54/852.96 c 850s | 23 | 2825061 | 2686938 | 4266 1504 | 11 | 32 854.64/855.00 c 852s | 23 | 2830893 | 2692438 | 4266 1506 | 11 | 32 856.64/857.02 c 854s | 23 | 2837057 | 2698438 | 4266 1509 | 11 | 32 858.64/859.04 c 856s | 23 | 2843033 | 2704338 | 4266 1512 | 11 | 32 860.64/861.04 c 858s | 23 | 2849345 | 2710438 | 4266 1514 | 11 | 32 862.64/863.06 c 860s | 23 | 2856105 | 2716938 | 4266 1517 | 11 | 32 864.64/865.08 c 862s | 23 | 2862292 | 2722738 | 4266 1520 | 11 | 32 866.64/867.08 c 864s | 23 | 2868550 | 2728538 | 4266 1522 | 11 | 32 868.64/869.10 c 866s | 23 | 2875103 | 2734938 | 4266 1525 | 11 | 32 870.73/871.10 c 868s | 23 | 2881574 | 2741038 | 4266 1528 | 11 | 32 872.73/873.11 c 871s | 23 | 2888031 | 2747138 | 4266 1531 | 11 | 32 874.73/875.14 c 873s | 23 | 2894340 | 2753238 | 4266 1534 | 11 | 32 876.73/877.16 c 875s | 23 | 2900996 | 2759638 | 4266 1536 | 11 | 32 878.73/879.18 c 877s | 23 | 2907406 | 2765738 | 4266 1539 | 11 | 32 880.74/881.19 c 879s | 23 | 2914241 | 2772338 | 4266 1542 | 11 | 32 882.83/883.21 c 881s | 23 | 2920498 | 2778338 | 4266 1545 | 11 | 32 884.83/885.21 c 883s | 23 | 2926408 | 2783938 | 4266 1547 | 11 | 32 886.83/887.24 c 885s | 23 | 2932719 | 2789838 | 4266 1550 | 11 | 32 888.83/889.26 c 887s | 23 | 2939162 | 2795738 | 4266 1553 | 11 | 32 890.83/891.27 c 889s | 23 | 2945355 | 2801438 | 4266 1555 | 11 | 32 892.83/893.29 c 891s | 23 | 2952128 | 2807938 | 4266 1558 | 11 | 32 894.93/895.31 c 893s | 23 | 2958364 | 2813838 | 4266 1561 | 11 | 32 896.93/897.34 c 895s | 23 | 2964902 | 2819938 | 4266 1564 | 11 | 32 898.93/899.35 c 897s | 23 | 2971312 | 2825938 | 4266 1566 | 11 | 32 900.93/901.35 c 899s | 23 | 2977499 | 2831838 | 4266 1569 | 11 | 32 902.93/903.37 c 901s | 23 | 2984177 | 2838138 | 4266 1572 | 11 | 32 904.93/905.37 c 903s | 23 | 2990620 | 2844238 | 4266 1574 | 11 | 32 906.93/907.38 c 905s | 23 | 2996541 | 2849638 | 4266 1577 | 11 | 32 909.03/909.40 c 907s | 23 | 3002527 | 2855438 | 4266 1579 | 11 | 32 911.03/911.42 c 909s | 23 | 3009103 | 2861738 | 4266 1582 | 11 | 32 913.03/913.43 c 911s | 23 | 3014952 | 2867038 | 4266 1585 | 11 | 32 915.02/915.44 c 913s | 23 | 3021489 | 2873138 | 4266 1587 | 11 | 32 917.03/917.46 c 915s | 23 | 3027651 | 2878938 | 4266 1590 | 11 | 32 919.02/919.49 c 917s | 23 | 3034635 | 2885438 | 4266 1593 | 11 | 32 921.12/921.51 c 919s | 23 | 3040457 | 2891038 | 4266 1596 | 11 | 32 923.12/923.54 c 921s | 23 | 3046824 | 2897138 | 4266 1598 | 11 | 32 925.12/925.56 c 923s | 23 | 3053732 | 2903738 | 4266 1601 | 11 | 32 927.12/927.57 c 925s | 23 | 3059952 | 2909538 | 4266 1604 | 11 | 32 929.13/929.60 c 927s | 23 | 3066429 | 2915638 | 4266 1607 | 11 | 32 931.22/931.63 c 929s | 23 | 3072804 | 2921638 | 4266 1609 | 11 | 32 933.22/933.66 c 931s | 23 | 3078992 | 2927638 | 4266 1612 | 11 | 32 935.22/935.68 c 933s | 23 | 3085691 | 2933938 | 4266 1615 | 11 | 32 937.32/937.70 c 935s | 23 | 3092217 | 2940138 | 4266 1618 | 11 | 32 939.32/939.73 c 937s | 23 | 3098628 | 2946238 | 4266 1620 | 11 | 32 941.33/941.74 c 939s | 23 | 3105587 | 2952938 | 4266 1623 | 11 | 32 943.32/943.77 c 941s | 23 | 3112819 | 2959838 | 4266 1626 | 11 | 32 945.32/945.79 c 943s | 23 | 3119106 | 2965738 | 4266 1629 | 11 | 32 947.42/947.80 c 945s | 23 | 3126162 | 2972438 | 4266 1632 | 11 | 32 949.42/949.82 c 947s | 23 | 3132931 | 2978838 | 4266 1635 | 11 | 32 951.42/951.85 c 949s | 23 | 3139503 | 2985038 | 4266 1638 | 11 | 32 953.42/953.86 c 951s | 23 | 3146193 | 2991438 | 4266 1641 | 11 | 32 955.41/955.87 c 953s | 23 | 3152767 | 2997538 | 4266 1643 | 11 | 32 957.41/957.88 c 955s | 23 | 3159120 | 3003338 | 4266 1646 | 11 | 32 959.41/959.89 c 957s | 23 | 3165913 | 3009838 | 4266 1649 | 11 | 32 961.51/961.92 c 959s | 23 | 3172288 | 3015738 | 4266 1652 | 11 | 32 963.51/963.93 c 961s | 23 | 3178681 | 3021638 | 4266 1654 | 11 | 32 965.52/965.95 c 963s | 23 | 3185036 | 3027738 | 4266 1657 | 11 | 32 967.51/967.95 c 965s | 23 | 3190372 | 3032938 | 4266 1659 | 11 | 32 969.51/969.97 c 967s | 23 | 3195563 | 3037938 | 4266 1662 | 11 | 32 971.61/972.00 c 969s | 23 | 3200946 | 3043038 | 4266 1664 | 11 | 32 973.61/974.02 c 971s | 23 | 3206839 | 3048438 | 4266 1666 | 11 | 32 975.61/976.03 c 973s | 23 | 3212975 | 3054338 | 4266 1669 | 11 | 32 977.62/978.03 c 975s | 23 | 3218929 | 3059838 | 4266 1671 | 11 | 32 979.61/980.06 c 977s | 23 | 3225292 | 3065738 | 4266 1674 | 11 | 32 981.61/982.08 c 979s | 23 | 3231650 | 3071738 | 4266 1677 | 11 | 32 983.71/984.12 c 982s | 23 | 3237739 | 3077438 | 4266 1679 | 11 | 32 985.71/986.17 c 984s | 23 | 3243916 | 3082938 | 4266 1682 | 11 | 32 987.72/988.19 c 986s | 23 | 3250000 | 3088538 | 4266 1684 | 11 | 32 989.82/990.20 c 988s | 23 | 3256120 | 3094438 | 4266 1687 | 11 | 32 991.82/992.22 c 990s | 23 | 3262494 | 3100638 | 4266 1690 | 11 | 32 993.81/994.23 c 992s | 23 | 3268442 | 3106238 | 4266 1692 | 11 | 32 995.81/996.24 c 994s | 23 | 3274371 | 3111738 | 4266 1695 | 11 | 32 997.81/998.29 c 996s | 23 | 3280711 | 3117538 | 4266 1698 | 11 | 32 999.91/1000.33 c 998s | 23 | 3287049 | 3123738 | 4266 1700 | 11 | 32 1001.91/1002.35 c 1000s | 23 | 3292736 | 3129238 | 4266 1703 | 11 | 32 1003.92/1004.39 c 1002s | 23 | 3299042 | 3135338 | 4266 1706 | 11 | 32 1006.01/1006.41 c 1004s | 23 | 3305423 | 3141438 | 4266 1708 | 11 | 32 1008.01/1008.45 c 1006s | 23 | 3311420 | 3147238 | 4266 1711 | 11 | 32 1010.01/1010.46 c 1008s | 23 | 3317497 | 3153038 | 4266 1714 | 11 | 32 1012.01/1012.49 c 1010s | 23 | 3323516 | 3158838 | 4266 1716 | 11 | 32 1014.11/1014.51 c 1012s | 23 | 3329829 | 3164938 | 4266 1719 | 11 | 32 1016.12/1016.53 c 1014s | 23 | 3335473 | 3170238 | 4266 1721 | 11 | 32 1018.11/1018.55 c 1016s | 23 | 3341566 | 3176038 | 4266 1724 | 11 | 32 1020.11/1020.56 c 1018s | 23 | 3346987 | 3181238 | 4266 1726 | 11 | 32 1022.11/1022.56 c 1020s | 23 | 3352640 | 3186638 | 4266 1729 | 11 | 32 1024.11/1024.58 c 1022s | 23 | 3358440 | 3192138 | 4266 1731 | 11 | 32 1026.21/1026.61 c 1024s | 23 | 3364486 | 3197838 | 4266 1734 | 11 | 32 1028.21/1028.64 c 1026s | 23 | 3370667 | 3203738 | 4266 1736 | 11 | 32 1030.21/1030.67 c 1028s | 23 | 3376956 | 3209838 | 4266 1739 | 11 | 32 1032.21/1032.68 c 1030s | 23 | 3382631 | 3215338 | 4266 1742 | 11 | 32 1034.20/1034.68 c 1032s | 23 | 3388700 | 3221038 | 4266 1744 | 11 | 32 1036.30/1036.70 c 1034s | 23 | 3394570 | 3226638 | 4266 1747 | 11 | 32 1038.30/1038.73 c 1036s | 23 | 3400755 | 3232538 | 4266 1749 | 11 | 32 1040.31/1040.74 c 1038s | 23 | 3406841 | 3238338 | 4266 1752 | 11 | 32 1042.30/1042.75 c 1040s | 23 | 3412894 | 3244138 | 4266 1755 | 11 | 32 1044.30/1044.78 c 1042s | 23 | 3419569 | 3250538 | 4266 1757 | 11 | 32 1046.40/1046.81 c 1044s | 23 | 3425888 | 3256638 | 4266 1760 | 11 | 32 1048.40/1048.82 c 1046s | 23 | 3431792 | 3262238 | 4266 1763 | 11 | 32 1050.40/1050.83 c 1048s | 23 | 3437535 | 3267738 | 4266 1765 | 11 | 32 1052.41/1052.85 c 1050s | 23 | 3443890 | 3273838 | 4266 1768 | 11 | 32 1054.40/1054.85 c 1052s | 23 | 3449926 | 3279538 | 4266 1770 | 11 | 32 1056.40/1056.86 c 1054s | 23 | 3456028 | 3285238 | 4266 1773 | 11 | 32 1058.50/1058.90 c 1056s | 23 | 3462374 | 3291338 | 4266 1776 | 11 | 32 1060.50/1060.92 c 1058s | 23 | 3468664 | 3297338 | 4266 1778 | 11 | 32 1062.51/1062.94 c 1060s | 23 | 3475488 | 3303938 | 4266 1781 | 11 | 32 1064.51/1064.94 c 1062s | 23 | 3481759 | 3309938 | 4266 1784 | 11 | 32 1066.50/1066.97 c 1064s | 23 | 3487735 | 3315538 | 4266 1787 | 11 | 32 1068.60/1069.00 c 1066s | 23 | 3493834 | 3321338 | 4266 1789 | 11 | 32 1070.60/1071.00 c 1068s | 23 | 3500034 | 3327138 | 4266 1792 | 11 | 32 1072.60/1073.06 c 1070s | 23 | 3506156 | 3333038 | 4266 1795 | 11 | 32 1074.60/1075.08 c 1072s | 23 | 3512167 | 3338838 | 4266 1797 | 11 | 32 1076.70/1077.11 c 1074s | 23 | 3518547 | 3344938 | 4266 1800 | 11 | 32 1078.71/1079.11 c 1076s | 23 | 3524450 | 3350538 | 4693 1802 | 11 | 32 1080.70/1081.12 c 1079s | 23 | 3530294 | 3356138 | 4693 1804 | 11 | 32 1082.70/1083.14 c 1081s | 23 | 3536189 | 3361738 | 4693 1807 | 11 | 32 1084.70/1085.16 c 1083s | 23 | 3542411 | 3367638 | 4693 1809 | 11 | 32 1086.70/1087.17 c 1085s | 23 | 3548681 | 3373638 | 4693 1812 | 11 | 32 1087.70/1088.13 c 1086s | 24 | 3551812 | 3376662 | 4693 1813 | 11 | 32 1089.70/1090.14 c 1088s | 24 | 3557226 | 3381562 | 4693 1815 | 11 | 32 1091.70/1092.18 c 1090s | 24 | 3562027 | 3386162 | 4693 1817 | 11 | 32 1093.80/1094.21 c 1092s | 24 | 3567200 | 3390962 | 4693 1819 | 11 | 32 1095.80/1096.22 c 1094s | 24 | 3573160 | 3396662 | 4693 1821 | 11 | 32 1097.80/1098.24 c 1096s | 24 | 3578697 | 3401962 | 4693 1823 | 11 | 32 1099.80/1100.26 c 1098s | 24 | 3584589 | 3407362 | 4693 1825 | 11 | 32 1101.80/1102.28 c 1100s | 24 | 3590982 | 3413662 | 4693 1828 | 11 | 32 1103.90/1104.32 c 1102s | 24 | 3597197 | 3419762 | 4693 1831 | 11 | 32 1105.89/1106.34 c 1104s | 24 | 3604213 | 3426662 | 4693 1833 | 11 | 32 1107.99/1108.40 c 1106s | 24 | 3610527 | 3432862 | 4693 1836 | 11 | 32 1109.99/1110.41 c 1108s | 24 | 3616738 | 3438962 | 4693 1838 | 11 | 32 1111.99/1112.41 c 1110s | 24 | 3623358 | 3445462 | 4693 1841 | 11 | 32 1114.00/1114.45 c 1112s | 24 | 3628625 | 3450362 | 4693 1843 | 11 | 32 1115.99/1116.46 c 1114s | 24 | 3632911 | 3454362 | 4693 1845 | 11 | 32 1117.99/1118.48 c 1116s | 24 | 3637068 | 3458362 | 4693 1846 | 11 | 32 1120.09/1120.51 c 1118s | 24 | 3642631 | 3463762 | 4693 1849 | 11 | 32 1122.09/1122.53 c 1120s | 24 | 3647743 | 3468362 | 4693 1850 | 11 | 32 1124.09/1124.54 c 1122s | 24 | 3652830 | 3473062 | 4693 1852 | 11 | 32 1126.09/1126.55 c 1124s | 24 | 3658608 | 3478562 | 4693 1855 | 11 | 32 1128.09/1128.59 c 1126s | 24 | 3664548 | 3483962 | 4693 1857 | 11 | 32 1130.09/1130.59 c 1128s | 24 | 3669602 | 3488562 | 4693 1859 | 11 | 32 1132.09/1132.59 c 1130s | 24 | 3675066 | 3493362 | 4693 1861 | 11 | 32 1134.19/1134.62 c 1132s | 24 | 3680705 | 3498662 | 4693 1863 | 11 | 32 1136.19/1136.64 c 1134s | 24 | 3686138 | 3503562 | 4693 1865 | 11 | 32 1138.20/1138.66 c 1136s | 24 | 3691089 | 3508162 | 4693 1867 | 11 | 32 1140.19/1140.67 c 1138s | 24 | 3696094 | 3512962 | 4693 1869 | 11 | 32 1142.19/1142.69 c 1140s | 24 | 3701499 | 3517962 | 4693 1871 | 11 | 32 1144.29/1144.72 c 1142s | 24 | 3706654 | 3522662 | 4693 1873 | 11 | 32 1146.29/1146.72 c 1144s | 24 | 3711656 | 3527462 | 4693 1875 | 11 | 32 1148.29/1148.75 c 1146s | 24 | 3717136 | 3532862 | 4693 1877 | 11 | 32 1150.30/1150.76 c 1148s | 24 | 3722172 | 3537762 | 4693 1879 | 11 | 32 1152.29/1152.79 c 1150s | 24 | 3728079 | 3543362 | 4693 1881 | 11 | 32 1154.39/1154.81 c 1152s | 24 | 3733513 | 3548462 | 4693 1883 | 11 | 32 1156.39/1156.85 c 1154s | 24 | 3739358 | 3553862 | 4693 1886 | 11 | 32 1158.39/1158.87 c 1156s | 24 | 3744472 | 3558762 | 4693 1888 | 11 | 32 1160.39/1160.87 c 1158s | 24 | 3750749 | 3564862 | 4693 1890 | 11 | 32 1162.49/1162.93 c 1160s | 24 | 3756605 | 3570062 | 4693 1892 | 11 | 32 1164.49/1164.95 c 1162s | 24 | 3762090 | 3575362 | 4693 1894 | 11 | 32 1166.49/1166.95 c 1164s | 24 | 3767362 | 3580562 | 4693 1897 | 11 | 32 1168.49/1168.97 c 1166s | 24 | 3772832 | 3585662 | 4693 1899 | 11 | 32 1170.49/1170.99 c 1168s | 24 | 3778617 | 3591162 | 4693 1901 | 11 | 32 1172.58/1173.02 c 1170s | 24 | 3783846 | 3595962 | 4693 1903 | 11 | 32 1174.58/1175.04 c 1172s | 24 | 3789601 | 3601462 | 4693 1905 | 11 | 32 1176.59/1177.04 c 1174s | 24 | 3795220 | 3606762 | 4693 1907 | 11 | 32 1178.58/1179.06 c 1176s | 24 | 3801401 | 3612762 | 4693 1910 | 11 | 32 1180.58/1181.10 c 1178s | 24 | 3807452 | 3618662 | 4693 1912 | 11 | 32 1182.68/1183.11 c 1181s | 24 | 3814568 | 3625562 | 4693 1915 | 11 | 32 1184.68/1185.14 c 1183s | 24 | 3820634 | 3631562 | 4693 1918 | 11 | 32 1186.68/1187.17 c 1185s | 24 | 3827337 | 3638162 | 4693 1920 | 11 | 32 1188.69/1189.20 c 1187s | 24 | 3834146 | 3644862 | 4693 1923 | 11 | 32 1190.78/1191.20 c 1189s | 24 | 3840556 | 3651162 | 4693 1926 | 11 | 32 1192.78/1193.21 c 1191s | 24 | 3846765 | 3657262 | 4693 1928 | 11 | 32 1194.78/1195.23 c 1193s | 24 | 3853368 | 3663762 | 4693 1931 | 11 | 32 1196.88/1197.30 c 1195s | 24 | 3858552 | 3668662 | 4693 1933 | 11 | 32 1198.88/1199.33 c 1197s | 24 | 3864775 | 3674762 | 4693 1935 | 11 | 32 1200.89/1201.34 c 1199s | 24 | 3870306 | 3680162 | 4693 1937 | 11 | 32 1202.88/1203.37 c 1201s | 24 | 3876722 | 3686462 | 4693 1940 | 11 | 32 1204.88/1205.38 c 1203s | 24 | 3882759 | 3692362 | 4693 1942 | 11 | 32 1206.88/1207.39 c 1205s | 24 | 3889376 | 3698862 | 4693 1945 | 11 | 32 1208.98/1209.42 c 1207s | 24 | 3895454 | 3704662 | 4693 1947 | 12 | 40 1210.98/1211.44 c 1209s | 24 | 3901813 | 3710662 | 4693 1950 | 12 | 40 1212.98/1213.44 c 1211s | 24 | 3907836 | 3716462 | 4693 1952 | 12 | 40 1215.08/1215.51 c 1213s | 24 | 3913870 | 3722262 | 4693 1955 | 12 | 40 1217.08/1217.54 c 1215s | 24 | 3920426 | 3728362 | 4693 1957 | 12 | 40 1219.08/1219.56 c 1217s | 24 | 3926182 | 3733862 | 4693 1959 | 12 | 40 1221.08/1221.56 c 1219s | 24 | 3932101 | 3739562 | 4693 1962 | 12 | 40 1223.08/1223.57 c 1221s | 24 | 3937751 | 3744962 | 4693 1964 | 12 | 40 1225.17/1225.60 c 1223s | 24 | 3943579 | 3750562 | 4693 1966 | 12 | 40 1227.18/1227.64 c 1225s | 24 | 3949435 | 3756062 | 4693 1968 | 12 | 40 1229.17/1229.69 c 1227s | 24 | 3955122 | 3761462 | 4693 1970 | 12 | 40 1231.17/1231.70 c 1229s | 24 | 3961208 | 3766962 | 4693 1973 | 12 | 40 1233.27/1233.70 c 1231s | 24 | 3966910 | 3772362 | 4693 1975 | 12 | 40 1235.27/1235.72 c 1233s | 24 | 3973249 | 3778362 | 4693 1977 | 12 | 40 1237.27/1237.74 c 1235s | 24 | 3979318 | 3784162 | 4693 1980 | 12 | 40 1239.28/1239.76 c 1237s | 24 | 3985338 | 3789862 | 4693 1982 | 12 | 40 1241.37/1241.81 c 1239s | 24 | 3991602 | 3795762 | 4693 1984 | 12 | 40 1243.37/1243.81 c 1241s | 24 | 3997611 | 3801462 | 4693 1987 | 12 | 40 1245.37/1245.83 c 1243s | 24 | 4003711 | 3807362 | 4693 1989 | 12 | 40 1247.37/1247.87 c 1245s | 24 | 4009645 | 3813062 | 4693 1991 | 12 | 40 1249.37/1249.88 c 1247s | 24 | 4015682 | 3818562 | 4693 1994 | 12 | 40 1251.38/1251.90 c 1249s | 24 | 4021848 | 3824462 | 4693 1996 | 12 | 40 1253.47/1253.91 c 1251s | 24 | 4028269 | 3830562 | 4693 1998 | 12 | 40 1255.47/1255.92 c 1253s | 24 | 4034605 | 3836462 | 4693 2001 | 12 | 40 1257.47/1257.93 c 1255s | 24 | 4041335 | 3842762 | 4693 2003 | 12 | 40 1259.47/1259.94 c 1257s | 24 | 4047482 | 3848562 | 4693 2006 | 12 | 40 1261.47/1261.97 c 1259s | 24 | 4054147 | 3854962 | 4693 2008 | 12 | 40 1263.47/1263.98 c 1261s | 24 | 4060226 | 3860762 | 4693 2011 | 12 | 40 1265.57/1266.00 c 1263s | 24 | 4066226 | 3866362 | 4693 2013 | 12 | 40 1267.57/1268.01 c 1265s | 24 | 4072282 | 3872062 | 4693 2015 | 12 | 40 1269.57/1270.02 c 1267s | 24 | 4078750 | 3878062 | 4693 2018 | 12 | 40 1271.57/1272.02 c 1269s | 24 | 4085150 | 3884162 | 4693 2020 | 12 | 40 1273.57/1274.08 c 1271s | 24 | 4091434 | 3889962 | 4693 2023 | 12 | 40 1275.67/1276.12 c 1274s | 24 | 4097717 | 3895862 | 4693 2025 | 12 | 40 1277.66/1278.15 c 1276s | 24 | 4103955 | 3901762 | 4693 2027 | 12 | 40 1279.66/1280.17 c 1278s | 24 | 4109975 | 3907462 | 4693 2030 | 12 | 40 1281.66/1282.19 c 1280s | 24 | 4116035 | 3913162 | 4693 2032 | 12 | 40 1283.76/1284.22 c 1282s | 24 | 4121793 | 3918762 | 4693 2034 | 12 | 40 1285.76/1286.23 c 1284s | 24 | 4127577 | 3924262 | 4693 2036 | 12 | 40 1287.77/1288.26 c 1286s | 24 | 4133563 | 3929862 | 4693 2039 | 12 | 40 1289.76/1290.27 c 1288s | 24 | 4139117 | 3935162 | 4693 2041 | 12 | 40 1291.77/1292.27 c 1290s | 24 | 4144842 | 3940462 | 4693 2043 | 12 | 40 1293.87/1294.30 c 1292s | 24 | 4150846 | 3945962 | 4693 2045 | 12 | 40 1295.87/1296.31 c 1294s | 24 | 4156560 | 3951262 | 4693 2047 | 12 | 40 1297.87/1298.31 c 1296s | 24 | 4162068 | 3956462 | 4693 2049 | 12 | 40 1299.88/1300.33 c 1298s | 24 | 4167413 | 3961562 | 4693 2052 | 12 | 40 1301.87/1302.34 c 1300s | 24 | 4172193 | 3966162 | 4693 2053 | 12 | 40 1303.87/1304.37 c 1302s | 24 | 4177462 | 3971262 | 4693 2055 | 12 | 40 1305.87/1306.38 c 1304s | 24 | 4183498 | 3977162 | 4693 2058 | 12 | 40 1307.97/1308.41 c 1306s | 24 | 4189752 | 3983162 | 4693 2060 | 12 | 40 1309.97/1310.41 c 1308s | 24 | 4196016 | 3989062 | 4693 2063 | 12 | 40 1311.97/1312.41 c 1310s | 24 | 4201750 | 3994462 | 4693 2065 | 12 | 40 1313.97/1314.43 c 1312s | 24 | 4207588 | 4000062 | 4693 2067 | 12 | 40 1316.07/1316.52 c 1314s | 24 | 4213839 | 4006062 | 4693 2070 | 12 | 40 1318.07/1318.53 c 1316s | 24 | 4219175 | 4011162 | 4693 2072 | 12 | 40 1320.07/1320.54 c 1318s | 24 | 4225570 | 4017262 | 4693 2074 | 12 | 40 1322.07/1322.54 c 1320s | 24 | 4231449 | 4022562 | 4693 2076 | 12 | 40 1324.07/1324.54 c 1322s | 24 | 4237526 | 4028362 | 4693 2079 | 12 | 40 1326.06/1326.56 c 1324s | 24 | 4243504 | 4033862 | 4693 2081 | 12 | 40 1328.06/1328.58 c 1326s | 24 | 4249444 | 4039662 | 4693 2083 | 12 | 40 1330.06/1330.59 c 1328s | 24 | 4255188 | 4045162 | 4693 2085 | 12 | 40 1332.16/1332.61 c 1330s | 24 | 4260648 | 4050462 | 4693 2088 | 12 | 40 1334.16/1334.62 c 1332s | 24 | 4266462 | 4056062 | 4693 2090 | 12 | 40 1336.17/1336.64 c 1334s | 24 | 4272032 | 4061362 | 4693 2092 | 12 | 40 1338.16/1338.67 c 1336s | 24 | 4277928 | 4067062 | 4693 2094 | 12 | 40 1340.16/1340.69 c 1338s | 24 | 4283481 | 4072162 | 4693 2096 | 12 | 40 1342.26/1342.72 c 1340s | 24 | 4289172 | 4077462 | 4693 2099 | 12 | 40 1344.26/1344.74 c 1342s | 24 | 4294958 | 4082862 | 4693 2101 | 12 | 40 1346.26/1346.76 c 1344s | 24 | 4300750 | 4087962 | 4693 2103 | 12 | 40 1348.27/1348.79 c 1346s | 24 | 4306793 | 4093462 | 4693 2105 | 12 | 40 1350.26/1350.79 c 1348s | 24 | 4312963 | 4098962 | 4693 2107 | 12 | 40 1352.36/1352.82 c 1350s | 24 | 4318538 | 4104062 | 4693 2109 | 12 | 40 1354.36/1354.84 c 1352s | 24 | 4324889 | 4109962 | 4693 2112 | 12 | 40 1356.36/1356.84 c 1354s | 24 | 4330419 | 4115262 | 4693 2114 | 12 | 40 1358.36/1358.89 c 1356s | 24 | 4336705 | 4121262 | 4693 2116 | 12 | 40 1360.36/1360.89 c 1358s | 24 | 4342537 | 4126762 | 4693 2119 | 12 | 40 1362.46/1362.92 c 1360s | 24 | 4348835 | 4132862 | 4693 2121 | 12 | 40 1364.45/1364.93 c 1362s | 24 | 4355055 | 4138762 | 4693 2123 | 12 | 40 1366.45/1366.94 c 1364s | 24 | 4361321 | 4144662 | 4693 2126 | 12 | 40 1368.45/1368.95 c 1366s | 24 | 4367574 | 4150762 | 4693 2128 | 12 | 40 1370.45/1370.96 c 1368s | 24 | 4373304 | 4156162 | 4693 2130 | 12 | 40 1372.46/1372.97 c 1370s | 24 | 4379738 | 4162362 | 4693 2133 | 12 | 40 1374.45/1375.00 c 1372s | 24 | 4386135 | 4168562 | 4693 2135 | 12 | 40 1376.55/1377.02 c 1374s | 24 | 4392576 | 4174662 | 4693 2138 | 12 | 40 1378.55/1379.02 c 1376s | 24 | 4398926 | 4180562 | 4693 2140 | 12 | 40 1380.55/1381.03 c 1378s | 24 | 4404887 | 4186362 | 4693 2143 | 12 | 40 1382.55/1383.06 c 1380s | 24 | 4410873 | 4192062 | 4693 2145 | 12 | 40 1384.56/1385.08 c 1382s | 24 | 4417401 | 4198162 | 4693 2147 | 12 | 40 1386.66/1387.11 c 1385s | 24 | 4423702 | 4203862 | 4693 2150 | 12 | 40 1388.65/1389.13 c 1387s | 24 | 4429737 | 4209462 | 4693 2152 | 12 | 40 1390.65/1391.14 c 1389s | 24 | 4434949 | 4214462 | 4693 2154 | 12 | 40 1392.65/1393.16 c 1391s | 24 | 4440848 | 4220262 | 4693 2156 | 12 | 40 1394.65/1395.19 c 1393s | 24 | 4447195 | 4226262 | 4693 2159 | 12 | 40 1396.75/1397.20 c 1395s | 24 | 4453010 | 4231762 | 4693 2161 | 12 | 40 1398.75/1399.22 c 1397s | 24 | 4459027 | 4237562 | 4693 2163 | 12 | 40 1400.75/1401.25 c 1399s | 24 | 4465081 | 4243262 | 4693 2166 | 12 | 40 1402.75/1403.28 c 1401s | 24 | 4471327 | 4249162 | 4693 2168 | 12 | 40 1404.85/1405.30 c 1403s | 24 | 4477174 | 4254762 | 4693 2170 | 12 | 40 1406.85/1407.30 c 1405s | 24 | 4483113 | 4260462 | 4693 2173 | 12 | 40 1408.84/1409.31 c 1407s | 24 | 4488639 | 4265762 | 4693 2175 | 12 | 40 1410.85/1411.31 c 1409s | 24 | 4494878 | 4271862 | 4693 2177 | 12 | 40 1412.84/1413.34 c 1411s | 24 | 4500505 | 4277362 | 4693 2180 | 12 | 40 1414.84/1415.35 c 1413s | 24 | 4506868 | 4283662 | 4693 2182 | 12 | 40 1416.84/1417.36 c 1415s | 24 | 4513522 | 4290162 | 4693 2185 | 12 | 40 1418.84/1419.37 c 1417s | 24 | 4518662 | 4295162 | 4693 2187 | 12 | 40 1420.94/1421.41 c 1419s | 24 | 4524084 | 4300262 | 4693 2189 | 12 | 40 1422.95/1423.43 c 1421s | 24 | 4530093 | 4306062 | 4693 2191 | 12 | 40 1424.94/1425.45 c 1423s | 24 | 4536515 | 4312162 | 4693 2194 | 12 | 40 1426.94/1427.47 c 1425s | 24 | 4542658 | 4317762 | 4693 2196 | 12 | 40 1428.94/1429.48 c 1427s | 24 | 4548154 | 4322662 | 4693 2198 | 12 | 40 1430.95/1431.49 c 1429s | 24 | 4554126 | 4328262 | 4693 2200 | 12 | 40 1433.05/1433.51 c 1431s | 24 | 4560542 | 4334362 | 4693 2203 | 12 | 40 1435.05/1435.53 c 1433s | 24 | 4566656 | 4340262 | 4693 2205 | 12 | 40 1437.05/1437.56 c 1435s | 24 | 4573162 | 4346462 | 4693 2208 | 12 | 40 1439.05/1439.57 c 1437s | 24 | 4579223 | 4352162 | 4693 2210 | 12 | 40 1441.15/1441.60 c 1439s | 24 | 4585331 | 4357962 | 4693 2212 | 12 | 40 1443.15/1443.61 c 1441s | 24 | 4591617 | 4363762 | 4693 2215 | 12 | 40 1445.15/1445.62 c 1443s | 24 | 4598022 | 4369862 | 4693 2217 | 12 | 40 1447.15/1447.63 c 1445s | 24 | 4603896 | 4375462 | 4693 2219 | 12 | 40 1449.15/1449.65 c 1447s | 24 | 4609889 | 4381262 | 4693 2222 | 12 | 40 1451.15/1451.68 c 1449s | 24 | 4615868 | 4387062 | 4693 2224 | 12 | 40 1453.15/1453.69 c 1451s | 24 | 4622071 | 4392962 | 4693 2226 | 12 | 40 1455.14/1455.69 c 1453s | 24 | 4628193 | 4398662 | 4693 2229 | 12 | 40 1457.24/1457.73 c 1455s | 24 | 4634286 | 4404162 | 4693 2231 | 12 | 40 1459.25/1459.76 c 1457s | 24 | 4640268 | 4409462 | 4693 2233 | 12 | 40 1461.24/1461.79 c 1459s | 24 | 4646518 | 4414762 | 4693 2235 | 12 | 40 1463.34/1463.83 c 1461s | 24 | 4652687 | 4420662 | 4693 2238 | 12 | 40 1465.34/1465.83 c 1463s | 24 | 4658787 | 4426562 | 4693 2240 | 12 | 40 1467.34/1467.85 c 1465s | 24 | 4664609 | 4432162 | 4693 2242 | 12 | 40 1469.34/1469.87 c 1467s | 24 | 4670521 | 4437862 | 4693 2245 | 12 | 40 1471.45/1471.93 c 1469s | 24 | 4676522 | 4443562 | 4693 2247 | 12 | 40 1473.44/1473.96 c 1471s | 24 | 4682292 | 4449162 | 4693 2249 | 12 | 40 1475.44/1475.96 c 1473s | 24 | 4688178 | 4454862 | 4693 2252 | 12 | 40 1477.44/1477.97 c 1475s | 24 | 4693856 | 4460362 | 4693 2254 | 12 | 40 1479.44/1479.98 c 1477s | 24 | 4699262 | 4465462 | 4693 2256 | 12 | 40 1481.54/1482.03 c 1479s | 24 | 4704924 | 4470462 | 4693 2258 | 12 | 40 1483.55/1484.05 c 1481s | 24 | 4710458 | 4475762 | 4693 2260 | 12 | 40 1485.54/1486.08 c 1483s | 24 | 4716080 | 4481262 | 4693 2262 | 12 | 40 1487.64/1488.15 c 1486s | 24 | 4721165 | 4486162 | 4693 2264 | 12 | 40 1489.64/1490.16 c 1488s | 24 | 4726978 | 4491762 | 4693 2267 | 12 | 40 1491.64/1492.16 c 1490s | 24 | 4732610 | 4497162 | 4693 2269 | 12 | 40 1493.64/1494.19 c 1492s | 24 | 4738867 | 4503162 | 4693 2271 | 12 | 40 1495.64/1496.19 c 1494s | 24 | 4745294 | 4509462 | 4693 2274 | 12 | 40 1497.74/1498.21 c 1496s | 24 | 4751338 | 4515362 | 4693 2276 | 12 | 40 1499.73/1500.24 c 1498s | 24 | 4757360 | 4521262 | 4693 2278 | 12 | 40 1501.73/1502.27 c 1500s | 24 | 4764095 | 4527762 | 4693 2281 | 12 | 40 1503.73/1504.29 c 1502s | 24 | 4770433 | 4533662 | 4693 2284 | 12 | 40 1505.83/1506.31 c 1504s | 24 | 4776160 | 4539062 | 4693 2286 | 12 | 40 1507.83/1508.37 c 1506s | 24 | 4781607 | 4544062 | 4693 2288 | 12 | 40 1509.94/1510.41 c 1508s | 24 | 4787687 | 4549862 | 4693 2290 | 12 | 40 1511.93/1512.42 c 1510s | 24 | 4793811 | 4555462 | 4693 2292 | 12 | 40 1513.93/1514.45 c 1512s | 24 | 4800451 | 4561862 | 4693 2295 | 12 | 40 1515.93/1516.49 c 1514s | 24 | 4806703 | 4567862 | 4693 2297 | 12 | 40 1518.03/1518.52 c 1516s | 24 | 4812691 | 4573362 | 4693 2300 | 12 | 40 1520.03/1520.54 c 1518s | 24 | 4818878 | 4579362 | 4693 2302 | 12 | 40 1522.03/1522.56 c 1520s | 24 | 4825334 | 4585362 | 4693 2305 | 12 | 40 1524.03/1524.57 c 1522s | 24 | 4831473 | 4591062 | 4693 2307 | 12 | 40 1526.03/1526.58 c 1524s | 24 | 4837062 | 4596362 | 4693 2309 | 12 | 40 1528.13/1528.60 c 1526s | 24 | 4842955 | 4601962 | 4693 2311 | 12 | 40 1530.13/1530.62 c 1528s | 24 | 4848780 | 4607462 | 4693 2313 | 12 | 40 1532.13/1532.64 c 1530s | 24 | 4855225 | 4613462 | 4693 2316 | 12 | 40 1534.13/1534.66 c 1532s | 24 | 4861299 | 4619062 | 4693 2318 | 12 | 40 1536.13/1536.69 c 1534s | 24 | 4867018 | 4624362 | 4693 2320 | 12 | 40 1538.12/1538.69 c 1536s | 24 | 4872268 | 4629362 | 4693 2322 | 12 | 40 1540.22/1540.71 c 1538s | 24 | 4878477 | 4635262 | 4693 2325 | 12 | 40 1542.22/1542.73 c 1540s | 24 | 4885547 | 4641962 | 4693 2327 | 12 | 40 1544.22/1544.75 c 1542s | 24 | 4892189 | 4648262 | 4693 2330 | 12 | 40 1546.23/1546.75 c 1544s | 24 | 4897911 | 4653662 | 4693 2332 | 12 | 40 1548.22/1548.76 c 1546s | 24 | 4904423 | 4659762 | 4693 2335 | 12 | 40 1550.22/1550.78 c 1548s | 24 | 4910941 | 4665762 | 4693 2337 | 12 | 40 1552.32/1552.80 c 1550s | 24 | 4916930 | 4671562 | 4693 2339 | 12 | 40 1554.32/1554.81 c 1552s | 24 | 4923317 | 4677662 | 4693 2342 | 12 | 40 1556.32/1556.84 c 1554s | 24 | 4929805 | 4683862 | 4693 2344 | 12 | 40 1558.33/1558.84 c 1556s | 24 | 4936094 | 4689862 | 4693 2347 | 12 | 40 1560.32/1560.86 c 1558s | 24 | 4942612 | 4696062 | 4693 2349 | 12 | 40 1562.32/1562.87 c 1560s | 24 | 4948644 | 4701862 | 4693 2352 | 12 | 40 1564.32/1564.89 c 1562s | 24 | 4955075 | 4707962 | 4693 2354 | 12 | 40 1566.42/1566.91 c 1564s | 24 | 4960998 | 4713562 | 4693 2357 | 12 | 40 1568.42/1568.93 c 1566s | 24 | 4966912 | 4719262 | 4693 2359 | 12 | 40 1570.43/1570.97 c 1568s | 24 | 4972776 | 4724662 | 4693 2361 | 12 | 40 1572.42/1573.00 c 1570s | 24 | 4979258 | 4730662 | 4693 2363 | 12 | 40 1574.52/1575.01 c 1572s | 24 | 4985940 | 4737062 | 4693 2366 | 12 | 40 1576.52/1577.02 c 1574s | 24 | 4992281 | 4743062 | 4693 2369 | 12 | 40 1578.52/1579.04 c 1576s | 24 | 4998569 | 4749062 | 4693 2371 | 12 | 40 1580.52/1581.07 c 1578s | 24 | 5004944 | 4754962 | 4693 2373 | 12 | 40 1582.52/1583.09 c 1580s | 24 | 5010917 | 4760662 | 4693 2376 | 12 | 40 1584.62/1585.13 c 1583s | 24 | 5017382 | 4766762 | 4693 2378 | 12 | 40 1586.62/1587.17 c 1585s | 24 | 5023706 | 4772862 | 4693 2381 | 12 | 40 1588.72/1589.21 c 1587s | 24 | 5029985 | 4778762 | 4693 2383 | 12 | 40 1590.72/1591.21 c 1589s | 24 | 5036346 | 4784862 | 4693 2385 | 12 | 40 1592.72/1593.23 c 1591s | 24 | 5042544 | 4790662 | 4693 2388 | 12 | 40 1594.72/1595.24 c 1593s | 24 | 5049116 | 4796962 | 4693 2390 | 12 | 40 1596.72/1597.24 c 1595s | 24 | 5054429 | 4802062 | 4693 2392 | 12 | 40 1598.72/1599.25 c 1597s | 24 | 5060632 | 4807762 | 4693 2395 | 12 | 40 1600.71/1601.25 c 1599s | 24 | 5066378 | 4813062 | 4693 2397 | 12 | 40 1602.71/1603.27 c 1601s | 24 | 5072731 | 4819062 | 4693 2399 | 12 | 40 1604.81/1605.30 c 1603s | 24 | 5078757 | 4824862 | 4693 2402 | 12 | 40 1606.82/1607.31 c 1605s | 24 | 5085131 | 4830962 | 4693 2404 | 12 | 40 1608.83/1609.33 c 1607s | 24 | 5091367 | 4836962 | 4693 2407 | 12 | 40 1610.82/1611.36 c 1609s | 24 | 5097317 | 4842462 | 4693 2409 | 12 | 40 1612.82/1613.39 c 1611s | 24 | 5103899 | 4848762 | 4693 2411 | 12 | 40 1614.92/1615.40 c 1613s | 24 | 5110078 | 4854562 | 4693 2414 | 12 | 40 1616.92/1617.42 c 1615s | 24 | 5115967 | 4860062 | 4693 2416 | 12 | 40 1618.92/1619.44 c 1617s | 24 | 5122296 | 4865962 | 4693 2418 | 12 | 40 1620.93/1621.44 c 1619s | 24 | 5127852 | 4871262 | 4693 2421 | 12 | 40 1622.92/1623.46 c 1621s | 24 | 5134226 | 4877362 | 4693 2423 | 12 | 40 1624.92/1625.48 c 1623s | 24 | 5140743 | 4883362 | 4693 2425 | 12 | 40 1627.02/1627.50 c 1625s | 24 | 5147266 | 4889562 | 4693 2428 | 12 | 40 1629.02/1629.51 c 1627s | 24 | 5153762 | 4895762 | 4693 2431 | 12 | 40 1631.02/1631.52 c 1629s | 24 | 5160012 | 4901862 | 4693 2433 | 12 | 40 1633.02/1633.53 c 1631s | 24 | 5166366 | 4907862 | 4693 2435 | 12 | 40 1635.02/1635.56 c 1633s | 24 | 5172443 | 4913662 | 4693 2438 | 12 | 40 1637.02/1637.57 c 1635s | 24 | 5178419 | 4919362 | 4693 2440 | 12 | 40 1639.02/1639.60 c 1637s | 24 | 5184470 | 4925062 | 4693 2442 | 12 | 40 1641.12/1641.63 c 1639s | 24 | 5190264 | 4930562 | 4693 2445 | 12 | 40 1643.12/1643.67 c 1641s | 24 | 5195479 | 4935462 | 4693 2447 | 12 | 40 1645.12/1645.68 c 1643s | 24 | 5201161 | 4941062 | 4693 2449 | 12 | 40 1647.11/1647.69 c 1645s | 24 | 5206932 | 4946662 | 4693 2451 | 12 | 40 1649.21/1649.72 c 1647s | 24 | 5212433 | 4951962 | 4693 2453 | 12 | 40 1651.21/1651.74 c 1649s | 24 | 5217675 | 4957062 | 4693 2455 | 12 | 40 1653.31/1653.84 c 1651s | 24 | 5223247 | 4962462 | 4693 2458 | 12 | 40 1655.31/1655.86 c 1653s | 24 | 5229307 | 4968262 | 4693 2460 | 12 | 40 1657.32/1657.86 c 1655s | 24 | 5235685 | 4974362 | 4693 2462 | 12 | 40 1659.42/1659.92 c 1657s | 24 | 5241294 | 4979662 | 4693 2465 | 12 | 40 1661.41/1661.96 c 1659s | 24 | 5247203 | 4985262 | 4693 2467 | 12 | 40 1663.41/1663.96 c 1661s | 24 | 5252829 | 4990462 | 4693 2469 | 12 | 40 1665.41/1665.98 c 1663s | 24 | 5258496 | 4995562 | 4693 2471 | 12 | 40 1667.41/1667.99 c 1665s | 24 | 5264521 | 5001262 | 4693 2473 | 12 | 40 1669.51/1670.00 c 1667s | 24 | 5270451 | 5006862 | 4693 2476 | 12 | 40 1671.52/1672.01 c 1669s | 24 | 5276134 | 5011962 | 4693 2478 | 12 | 40 1673.51/1674.02 c 1671s | 24 | 5281836 | 5017162 | 4693 2480 | 12 | 40 1675.51/1676.03 c 1673s | 24 | 5287314 | 5022062 | 4693 2482 | 12 | 40 1677.51/1678.03 c 1675s | 24 | 5293007 | 5027562 | 5163 2484 | 12 | 40 1679.51/1680.04 c 1677s | 24 | 5299007 | 5033262 | 5163 2486 | 12 | 40 1681.52/1682.06 c 1679s | 24 | 5305212 | 5039262 | 5163 2488 | 12 | 40 1683.51/1684.08 c 1681s | 24 | 5310911 | 5044762 | 5163 2490 | 12 | 40 1685.61/1686.10 c 1683s | 24 | 5317045 | 5050662 | 5163 2492 | 12 | 40 1687.61/1688.11 c 1686s | 24 | 5322052 | 5055462 | 5163 2494 | 12 | 40 1689.61/1690.14 c 1688s | 24 | 5328101 | 5061362 | 5163 2496 | 12 | 40 1691.01/1691.58 c 1689s | 25 | 5331931 | 5065098 | 5163 2498 | 12 | 40 1693.11/1693.60 c 1691s | 25 | 5338912 | 5071898 | 5163 2500 | 12 | 40 1695.11/1695.63 c 1693s | 25 | 5344795 | 5077698 | 5163 2502 | 12 | 40 1697.11/1697.66 c 1695s | 25 | 5351323 | 5084098 | 5163 2505 | 12 | 40 1699.11/1699.67 c 1697s | 25 | 5357338 | 5089998 | 5163 2507 | 12 | 40 1701.10/1701.68 c 1699s | 25 | 5363266 | 5095798 | 5163 2509 | 12 | 40 1703.10/1703.68 c 1701s | 25 | 5369086 | 5101498 | 5163 2511 | 12 | 40 1705.20/1705.71 c 1703s | 25 | 5375195 | 5107498 | 5163 2513 | 12 | 40 1707.20/1707.74 c 1705s | 25 | 5380775 | 5112998 | 5163 2516 | 12 | 40 1709.20/1709.75 c 1707s | 25 | 5386444 | 5118598 | 5163 2518 | 12 | 40 1711.21/1711.75 c 1709s | 25 | 5392016 | 5124098 | 5163 2520 | 12 | 40 1713.20/1713.77 c 1711s | 25 | 5398242 | 5130198 | 5163 2522 | 12 | 40 1715.20/1715.80 c 1713s | 25 | 5404603 | 5136398 | 5163 2524 | 12 | 40 1717.30/1717.80 c 1715s | 25 | 5410700 | 5142398 | 5163 2527 | 12 | 40 1719.30/1719.83 c 1717s | 25 | 5417223 | 5148798 | 5163 2529 | 12 | 40 1721.30/1721.85 c 1719s | 25 | 5423429 | 5154798 | 5163 2531 | 12 | 40 1723.31/1723.86 c 1721s | 25 | 5429293 | 5160598 | 5163 2533 | 12 | 40 1725.30/1725.86 c 1723s | 25 | 5434914 | 5166098 | 5163 2536 | 12 | 40 1727.30/1727.87 c 1725s | 25 | 5441308 | 5172398 | 5163 2538 | 12 | 40 1729.30/1729.89 c 1727s | 25 | 5446980 | 5177998 | 5163 2540 | 12 | 40 1731.40/1731.92 c 1729s | 25 | 5453513 | 5184398 | 5163 2542 | 12 | 40 1733.40/1733.95 c 1731s | 25 | 5459707 | 5190498 | 5163 2545 | 12 | 40 1735.40/1735.95 c 1733s | 25 | 5466615 | 5197198 | 5163 2547 | 12 | 40 1737.40/1737.96 c 1735s | 25 | 5472589 | 5203098 | 5163 2550 | 12 | 40 1739.40/1739.96 c 1737s | 25 | 5479129 | 5209498 | 5163 2552 | 12 | 40 1741.40/1741.98 c 1739s | 25 | 5485117 | 5215398 | 5163 2554 | 12 | 40 1743.40/1743.99 c 1741s | 25 | 5491552 | 5221698 | 5163 2557 | 12 | 40 1745.49/1746.00 c 1743s | 25 | 5497435 | 5227498 | 5163 2559 | 12 | 40 1747.50/1748.02 c 1745s | 25 | 5503516 | 5233198 | 5163 2561 | 12 | 40 1749.49/1750.04 c 1747s | 25 | 5509824 | 5239398 | 5163 2563 | 12 | 40 1751.49/1752.08 c 1749s | 25 | 5515933 | 5245398 | 5163 2566 | 12 | 40 1753.59/1754.13 c 1752s | 25 | 5521759 | 5250798 | 5163 2568 | 12 | 40 1755.59/1756.16 c 1754s | 25 | 5527988 | 5256898 | 5163 2570 | 12 | 40 1757.59/1758.18 c 1756s | 25 | 5534067 | 5262898 | 5163 2572 | 12 | 40 1759.70/1760.22 c 1758s | 25 | 5539839 | 5268098 | 5163 2574 | 12 | 40 1761.70/1762.23 c 1760s | 25 | 5545277 | 5273398 | 5163 2576 | 12 | 40 1763.70/1764.25 c 1762s | 25 | 5551134 | 5279098 | 5163 2578 | 12 | 40 1765.70/1766.29 c 1764s | 25 | 5556170 | 5283998 | 5163 2580 | 12 | 40 1767.80/1768.32 c 1766s | 25 | 5562017 | 5289698 | 5163 2582 | 12 | 40 1769.80/1770.32 c 1768s | 25 | 5567574 | 5294798 | 5163 2584 | 12 | 40 1771.79/1772.34 c 1770s | 25 | 5572630 | 5299698 | 5163 2586 | 12 | 40 1773.80/1774.34 c 1772s | 25 | 5578150 | 5305098 | 5163 2588 | 12 | 40 1775.79/1776.35 c 1774s | 25 | 5583508 | 5310298 | 5163 2590 | 12 | 40 1777.79/1778.36 c 1776s | 25 | 5588880 | 5315498 | 5163 2592 | 12 | 40 1779.79/1780.39 c 1778s | 25 | 5594679 | 5321098 | 5163 2594 | 12 | 40 1781.79/1782.40 c 1780s | 25 | 5600518 | 5326598 | 5163 2596 | 12 | 40 1783.89/1784.42 c 1782s | 25 | 5606438 | 5332298 | 5163 2599 | 12 | 40 1785.90/1786.43 c 1784s | 25 | 5612285 | 5337998 | 5163 2601 | 12 | 40 1787.89/1788.47 c 1786s | 25 | 5618226 | 5343798 | 5163 2603 | 12 | 40 1789.89/1790.47 c 1788s | 25 | 5623983 | 5349298 | 5163 2605 | 12 | 40 1791.89/1792.48 c 1790s | 25 | 5629621 | 5354898 | 5163 2607 | 12 | 40 1793.99/1794.51 c 1792s | 25 | 5634525 | 5359698 | 5163 2609 | 12 | 40 1795.99/1796.51 c 1794s | 25 | 5639278 | 5364298 | 5163 2611 | 12 | 40 1798.00/1798.54 c 1796s | 25 | 5645415 | 5370298 | 5163 2613 | 12 | 40 1799.99/1800.55 c 1798s | 25 | 5650695 | 5375198 | 5163 2615 | 12 | 40
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-4106295-1466268893/watcher-4106295-1466268893 -o /tmp/evaluation-result-4106295-1466268893/solver-4106295-1466268893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106295-1466268893.opb pid=25714 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.35 2.32 2.27 3/179 25717 /proc/meminfo: memFree=28942908/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=632252 CPUtime=0 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 2343 0 0 0 0 0 0 0 20 0 4 0 28935037 647426048 2704 33554432000 4194304 16246674 140736120113728 140736120113152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 158831 2712 441 2943 0 155725 0 [pid=25717/tid=25718] ppid=25714 vsize=649660 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 665251840 2772 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=653756 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 669446144 2788 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=658876 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 674689024 2805 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.35 2.32 2.27 3/179 25717 /proc/meminfo: memFree=28942908/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 21494 0 0 0 5 3 0 0 20 0 4 0 28935037 1247350784 21843 33554432000 4194304 16246674 140736120113728 140736120113152 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 304529 21856 760 2943 0 301423 0 [pid=25717/tid=25718] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 21858 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 21862 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 21868 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200473 s] /proc/loadavg: 2.35 2.32 2.27 3/179 25717 /proc/meminfo: memFree=28942908/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 38411 0 0 0 13 5 0 0 20 0 4 0 28935037 1247350784 38759 33554432000 4194304 16246674 140736120113728 140736120113152 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 304529 38766 760 2943 0 301423 0 [pid=25717/tid=25718] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 38770 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 38775 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 38780 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.30047 s] /proc/loadavg: 2.35 2.32 2.27 3/179 25717 /proc/meminfo: memFree=28942908/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 51031 0 0 0 22 7 0 0 20 0 4 0 28935037 1247350784 51379 33554432000 4194304 16246674 140736120113728 140736120113152 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 304529 51384 760 2943 0 301423 0 [pid=25717/tid=25718] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 51388 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 51391 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 51394 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700365 s] /proc/loadavg: 2.35 2.32 2.27 3/179 25717 /proc/meminfo: memFree=28942908/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 132908 0 0 0 50 19 0 0 20 0 4 0 28935037 1247350784 133256 33554432000 4194304 16246674 140736120113728 140736120095616 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 304529 133263 767 2943 0 301423 0 [pid=25717/tid=25718] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 133275 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 133281 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1247350784 133293 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.35 2.32 2.27 3/183 25721 /proc/meminfo: memFree=28143632/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 246020 0 0 0 115 34 0 0 20 0 4 0 28935037 1249447936 246345 33554432000 4194304 16246674 140736120113728 140736120113040 6020536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 305041 246345 834 2943 0 301935 0 [pid=25717/tid=25718] ppid=25714 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1249447936 246345 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1249447936 246345 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1249447936 246345 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10039 s] /proc/loadavg: 2.35 2.32 2.27 3/183 25721 /proc/meminfo: memFree=27913148/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1304132 CPUtime=3.09 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 266972 0 0 0 272 37 0 0 20 0 4 0 28935037 1335431168 267297 33554432000 4194304 16246674 140736120113728 140736120095616 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 326033 267297 853 2943 0 322927 0 [pid=25717/tid=25718] ppid=25714 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1335431168 267297 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1335431168 267297 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1335431168 267297 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1304132 [startup+6.30039 s] /proc/loadavg: 2.40 2.33 2.28 3/183 25721 /proc/meminfo: memFree=27870428/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 267896 0 0 0 592 37 0 0 20 0 4 0 28935037 1338576896 268221 33554432000 4194304 16246674 140736120113728 140736120095616 5712192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 326801 268221 853 2943 0 323695 0 [pid=25717/tid=25718] ppid=25714 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1338576896 268221 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1338576896 268221 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1338576896 268221 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.37 2.32 2.27 3/183 25721 /proc/meminfo: memFree=27869196/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 268152 0 0 0 1231 37 0 0 20 0 4 0 28935037 1339625472 268477 33554432000 4194304 16246674 140736120113728 140736120095616 5553664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 327057 268477 853 2943 0 323951 0 [pid=25717/tid=25718] ppid=25714 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1339625472 268477 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1339625472 268477 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1339625472 268477 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.28 2.31 2.27 3/183 25770 /proc/meminfo: memFree=27972828/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1309252 CPUtime=25.49 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 268268 0 0 0 2511 38 0 0 20 0 4 0 28935037 1340674048 268593 33554432000 4194304 16246674 140736120113728 140736120095616 5711888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 327313 268593 854 2943 0 324207 0 [pid=25717/tid=25718] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268593 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268593 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268593 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.39 2.33 2.28 4/183 25770 /proc/meminfo: memFree=27882196/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 268409 0 0 0 5070 38 0 0 20 0 4 0 28935037 1340674048 268734 33554432000 4194304 16246674 140736120113728 140736120096728 12479225 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 327313 268734 854 2943 0 324207 0 [pid=25717/tid=25718] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268734 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268734 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1340674048 268734 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.46 2.35 2.28 3/183 25819 /proc/meminfo: memFree=27869296/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1310276 CPUtime=102.28 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 268665 0 0 0 10190 38 0 0 20 0 4 0 28935037 1341722624 268990 33554432000 4194304 16246674 140736120113728 140736120095616 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 327569 268990 854 2943 0 324463 0 [pid=25717/tid=25718] ppid=25714 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1341722624 268990 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1341722624 268990 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1341722624 268990 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1325636 [startup+1302.3 s] /proc/loadavg: 2.14 2.27 2.26 4/183 25872 /proc/meminfo: memFree=27837460/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1301.87 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 130138 49 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 6843505 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.30 2.30 2.27 3/183 25873 /proc/meminfo: memFree=27837824/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1361.86 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 136137 49 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.21 2.27 2.26 3/183 25874 /proc/meminfo: memFree=27837824/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1421.85 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 142136 49 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5672249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.33 2.29 2.27 4/183 25876 /proc/meminfo: memFree=27837952/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1481.84 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 148134 50 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.34 2.30 2.27 3/184 25880 /proc/meminfo: memFree=27838392/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1541.83 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 154133 50 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.22 2.27 2.27 3/183 25881 /proc/meminfo: memFree=27838124/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1601.81 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 160131 50 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120096728 6022678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.23 2.27 2.26 4/183 25882 /proc/meminfo: memFree=27837960/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1661.81 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 166130 51 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.23 2.26 2.26 3/183 25883 /proc/meminfo: memFree=27837920/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1721.8 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 172129 51 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120096728 5523352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.31 2.27 2.27 3/183 25885 /proc/meminfo: memFree=27837640/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1781.79 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 178127 52 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 5717503 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.30 2.27 2.27 3/183 25885 /proc/meminfo: memFree=27837516/32872528 swapFree=1499884/1696108 [pid=25717] ppid=25714 vsize=1325636 CPUtime=1800.09 cores=0,2,4,6 /proc/25717/stat : 25717 (toysat) R 25714 25717 24910 0 -1 4202496 272912 0 0 0 179957 52 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 140736120095616 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25717/statm: 331409 273089 855 2943 0 328303 0 [pid=25717/tid=25718] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25718/stat : 25718 (toysat) S 25714 25717 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931201547504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25717/tid=25719] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25719/stat : 25719 (toysat) S 25714 25717 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931191057648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25717/tid=25720] ppid=25714 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/25717/task/25720/stat : 25720 (toysat) S 25714 25717 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28935037 1357451264 273089 33554432000 4194304 16246674 140736120113728 139931108240560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1325636 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 25717 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.58 CPU system time (s): 0.52492 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.52492 maximum resident set size= 1092356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272912 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= 418 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.29519 second user time and 6.80797 second system time The end
Begin job on node137 at 2016-06-18 18:54:53 IDJOB=4106295 IDBENCH=48006 IDSOLVER=2542 FILE ID=node137/4106295-1466268893 RUNJOBID= node137-1466264772-24926 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=173-P1=191-P2=127-P3=113-P4=97-P5=167-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106295-1466268893/watcher-4106295-1466268893 -o /tmp/evaluation-result-4106295-1466268893/solver-4106295-1466268893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106295-1466268893.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88214650523f8a2de77e1fd9d134abd8 RANDOM SEED=1568374063 node137.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.486 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.97 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.486 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.486 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.56 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.486 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.486 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.486 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.38 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.486 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.486 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: 28943536 kB Buffers: 147832 kB Cached: 256004 kB SwapCached: 1268 kB Active: 1237016 kB Inactive: 253988 kB Active(anon): 1088544 kB Inactive(anon): 1028 kB Active(file): 148472 kB Inactive(file): 252960 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16520 kB Writeback: 0 kB AnonPages: 2782456 kB Mapped: 10540 kB Shmem: 0 kB Slab: 607288 kB SReclaimable: 51352 kB SUnreclaim: 555936 kB KernelStack: 1496 kB PageTables: 9596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2925456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1275904 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= 71672 MiB End job on node137 at 2016-06-18 19:24:54