| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
| MD5SUM | 2468d4642d986af58e932976ec0c4f0e |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -13 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1232 |
| Sum of products size (including duplicates) | 2464 |
| Number of different products | 616 |
| Sum of products size | 1232 |
0.00/0.00 c 2016-06-18T21:30:10+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-4106793-1466278210.opb"] 0.00/0.01 c use --random-gen="2838302589 2747634655 3930496252 388146416 2743386558 3325850779 2627833910 1761489774 150965223 475404837 1413640819 1045120915 2893006984 528721284 346887797 3960437550 3073183092 484661411 3152516899 4287521613 786824529 66954319 3059109350 1193818538 2234011125 3222001242 1756779866 3276199858 2295499358 4150047011 2592100871 1105486582 1635246566 835492862 523746726 571669779 3227330031 493067641 3885491224 1240583395 3286053926 4133104513 393110900 3917960611 2656428590 1397204488 124844168 4162686959 1680628780 3513427937 3316750179 1685872787 3634784800 3741650666 2188345902 1466563863 3754373965 2323943898 955974087 1542772224 3313061957 84282804 2225179224 2690124958 2598997930 256746645 2570980926 2281930209 3973342627 938830148 2357410022 3626273093 4054470588 2092452101 3662795974 385562101 3358769292 1010834839 1136253397 2858414763 93793047 795483527 2780222128 1050509616 249676565 1414287509 2093637990 3029222413 2923647151 798563329 3544878932 1459725745 3895086656 795383530 62223466 3716758256 2573617744 2137899400 2179596327 4011860269 3365614666 2891325671 3739868103 2289335957 2284120771 3122720289 3284628472 492297097 1164910533 2243225983 3110648201 87111901 594583578 2864066484 3700094172 197013426 3406808666 1250329510 3665639754 3258210556 989001550 3678981347 611585260 4256789038 3302479022 3678431991 2272284185 2880706669 1463812803 2524627647 3279076586 1861009497 4154641994 3011449639 1735301090 4224854555 4080766823 1402478157 1379029751 2604027112 2821809470 1259709299 1067804257 1908173974 1014010633 1347694644 1514450383 2409598254 3494960434 1813826977 2833792785 3652466730 3570929833 1568047049 159250604 2793347128 2014447659 2678017688 1897377781 2086642249 727996574 2502269669 1382342231 3347908673 2654719586 3798701052 1294222842 2234311275 1152130487 3214900430 1699079024 1387363132 2330752561 1253892257 1791118524 3261970347 212461893 3753092686 713547882 2179861561 3879449317 3965071087 854257810 1532062879 2838838766 2923802538 888268566 3225495593 3085702420 2619211447 1305893958 3582235907 1836577830 2764395384 2417886605 3583190291 3506025606 3930765538 622533271 1739728500 3276030261 2650311340 2605950476 1310379993 1370256092 1055204873 335492200 3995510817 3690801130 2970883490 547034647 3059858100 1850957992 1005469372 1794746775 2293170960 668989737 1845173996 2823701380 2163998254 1389084126 1799772866 899386385 1888250818 2473337606 2311823512 2348336834 1673904093 2586319485 2927892716 120261021 575914680 1744370707 3110201430 51364327 318076334 3489270577 1268372494 3127209809 2710038392 4228364356 1228831728 441189059 4166526286 3223579721 2525076922 1572166310 376127055 1160093237 3025489812 3954232602 1704120723 3755973233 3513939183 4133125735 1677901141 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 151 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 494 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 71 | 1 | 494 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 71 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 o -8 0.00/0.03 c BCD2: updating upper bound: 50 -> 41 0.00/0.03 c BCD2: 0 <= obj <= 41 0.00/0.03 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 494 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 43 | 2 | 494 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 43 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 2 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.03 c lower bound updated to -49 0.00/0.03 c BCD2: 1 <= obj <= 41 0.00/0.03 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 494 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 26 | 1 | 494 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 26 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.03 c lower bound updated to -48 0.00/0.04 c BCD2: 2 <= obj <= 41 0.00/0.04 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 494 0 | 1 | 0 0.00/0.05 c 0.0s | 1 | 965 | 100 | 544 0 | 1 | 1 0.00/0.09 c 0.1s | 2 | 1370 | 250 | 599 0 | 1 | 1 0.09/0.14 c 0.1s | 3 | 1741 | 475 | 659 0 | 1 | 1 0.19/0.23 c 0.2s | 4 | 2304 | 813 | 725 1 | 1 | 1 0.29/0.36 c 0.3s | 5 | 2914 | 1320 | 798 2 | 1 | 1 0.49/0.56 c 0.5s | 6 | 4051 | 2081 | 878 4 | 1 | 1 0.79/0.85 c 0.8s | 7 | 7329 | 3223 | 966 6 | 1 | 1 1.10/1.17 c 1.1s | 8 | 11661 | 4936 | 1063 9 | 1 | 1 1.59/1.61 c 1.6s | 9 | 16044 | 7506 | 1170 13 | 1 | 1 2.29/2.30 c 2.3s | 10 | 26085 | 11361 | 1287 20 | 1 | 1 3.29/3.33 c 3.3s | 11 | 36508 | 17144 | 1416 28 | 1 | 1 4.78/4.86 c 4.8s | 12 | 61529 | 25819 | 1558 39 | 1 | 1 6.79/6.87 c 6.8s | 12 | 85215 | 36419 | 1558 52 | 1 | 1 7.29/7.33 c 7.3s | 13 | 89757 | 38832 | 1714 55 | 1 | 1 9.29/9.34 c 9.3s | 13 | 107900 | 49032 | 1714 66 | 1 | 1 11.10/11.16 c 11.1s | 14 | 125624 | 58352 | 1886 77 | 1 | 1 13.09/13.17 c 13.1s | 14 | 147438 | 68352 | 1886 87 | 1 | 1 15.09/15.18 c 15.1s | 14 | 165163 | 78552 | 1886 97 | 1 | 1 16.89/16.98 c 16.9s | 15 | 180662 | 87632 | 2075 106 | 1 | 1 18.99/19.00 c 19.0s | 15 | 196300 | 97332 | 2075 115 | 1 | 1 20.99/21.01 c 21.0s | 15 | 213973 | 107132 | 2075 124 | 1 | 1 22.98/23.03 c 23.0s | 15 | 228539 | 116332 | 2075 133 | 1 | 1 24.98/25.04 c 25.0s | 15 | 242128 | 125632 | 2075 141 | 1 | 1 26.28/26.38 c 26.3s | 16 | 249785 | 131552 | 2283 146 | 1 | 1 28.28/28.38 c 28.3s | 16 | 262635 | 141152 | 2283 154 | 1 | 1 30.38/30.40 c 30.4s | 16 | 274383 | 151252 | 2283 163 | 1 | 1 32.38/32.41 c 32.4s | 16 | 287307 | 161652 | 2283 172 | 1 | 1 34.38/34.41 c 34.4s | 16 | 300238 | 171552 | 2283 180 | 1 | 1 36.39/36.42 c 36.4s | 16 | 313081 | 180852 | 2283 188 | 1 | 1 38.38/38.42 c 38.4s | 16 | 330626 | 190252 | 2283 196 | 1 | 1 39.88/39.91 c 39.9s | 17 | 346166 | 197432 | 2512 201 | 1 | 1 41.89/41.92 c 41.9s | 17 | 365262 | 206432 | 2512 208 | 1 | 1 43.88/43.93 c 43.9s | 17 | 380332 | 215232 | 2512 215 | 1 | 1 45.88/45.93 c 45.9s | 17 | 398986 | 224632 | 2512 222 | 1 | 1 47.88/47.95 c 47.9s | 17 | 414699 | 233732 | 2512 229 | 1 | 1 49.88/49.96 c 49.9s | 17 | 428900 | 242632 | 2512 236 | 1 | 1 51.89/51.96 c 51.9s | 17 | 442996 | 251732 | 2512 243 | 1 | 1 53.89/53.96 c 53.9s | 17 | 458163 | 260732 | 2512 250 | 1 | 1 55.88/55.96 c 55.9s | 17 | 469390 | 269332 | 2512 257 | 1 | 1 57.88/57.98 c 57.9s | 17 | 482172 | 278132 | 2512 263 | 1 | 1 59.88/59.99 c 60.0s | 17 | 494984 | 286832 | 2512 270 | 1 | 1 61.98/62.00 c 62.0s | 17 | 506423 | 295432 | 2764 277 | 1 | 1 62.08/62.16 c 62.1s | 18 | 508555 | 296252 | 2764 277 | 1 | 1 64.08/64.17 c 64.1s | 18 | 525896 | 305252 | 2764 283 | 1 | 1 66.09/66.17 c 66.1s | 18 | 540551 | 313352 | 2764 289 | 1 | 1 68.08/68.18 c 68.1s | 18 | 557005 | 322252 | 2764 295 | 1 | 1 70.08/70.18 c 70.1s | 18 | 573555 | 330652 | 2764 301 | 1 | 1 72.18/72.20 c 72.2s | 18 | 588316 | 339252 | 2764 307 | 1 | 1 74.18/74.21 c 74.2s | 18 | 597968 | 347352 | 2764 313 | 1 | 1 76.18/76.22 c 76.2s | 18 | 612506 | 355452 | 2764 319 | 1 | 1 78.18/78.23 c 78.2s | 18 | 624994 | 363652 | 2764 324 | 1 | 1 80.18/80.24 c 80.2s | 18 | 636559 | 371952 | 2764 330 | 1 | 1 82.18/82.24 c 82.2s | 18 | 646202 | 379652 | 2764 336 | 1 | 1 84.18/84.25 c 84.2s | 18 | 655865 | 387452 | 2764 341 | 1 | 1 86.17/86.26 c 86.2s | 18 | 668597 | 395452 | 2764 347 | 1 | 1 88.17/88.27 c 88.2s | 18 | 679346 | 403752 | 2764 352 | 1 | 1 90.18/90.29 c 90.3s | 18 | 692552 | 412752 | 2764 359 | 1 | 1 92.27/92.30 c 92.3s | 18 | 705923 | 421052 | 2764 365 | 1 | 1 94.27/94.32 c 94.3s | 18 | 720675 | 429852 | 2764 371 | 1 | 1 96.27/96.34 c 96.3s | 18 | 733513 | 438452 | 2764 377 | 1 | 1 97.77/97.87 c 97.8s | 19 | 740569 | 444482 | 3041 381 | 1 | 1 99.87/99.91 c 99.9s | 19 | 754945 | 453682 | 3041 387 | 1 | 1 101.87/101.93 c 101s | 19 | 776141 | 462682 | 3041 392 | 1 | 1 103.87/103.94 c 103s | 19 | 790156 | 470982 | 3041 398 | 1 | 1 105.87/105.94 c 105s | 19 | 804424 | 479182 | 3041 403 | 1 | 1 107.88/107.96 c 107s | 19 | 816684 | 487582 | 3041 408 | 1 | 1 109.87/109.96 c 109s | 19 | 826675 | 495982 | 3041 414 | 1 | 1 111.87/111.97 c 111s | 19 | 841965 | 505182 | 3041 420 | 1 | 1 113.87/113.98 c 113s | 19 | 856593 | 514282 | 3041 425 | 1 | 1 115.97/116.00 c 115s | 19 | 868387 | 522882 | 3041 431 | 1 | 1 117.97/118.02 c 117s | 19 | 883385 | 531682 | 3041 437 | 1 | 1 119.97/120.03 c 119s | 19 | 895654 | 540082 | 3041 442 | 1 | 1 121.97/122.05 c 122s | 19 | 907815 | 547682 | 3041 447 | 1 | 1 123.97/124.06 c 124s | 19 | 919117 | 556182 | 3041 452 | 1 | 1 125.96/126.06 c 126s | 19 | 928956 | 564682 | 3041 458 | 1 | 1 127.96/128.07 c 128s | 19 | 940743 | 573382 | 3041 463 | 1 | 1 129.96/130.08 c 130s | 19 | 953126 | 582282 | 3041 469 | 1 | 1 131.97/132.08 c 132s | 19 | 963204 | 590782 | 3041 474 | 1 | 1 134.06/134.10 c 134s | 19 | 972885 | 599382 | 3041 480 | 1 | 1 136.06/136.11 c 136s | 19 | 985412 | 607782 | 3041 485 | 1 | 1 138.06/138.15 c 138s | 19 | 998385 | 615982 | 3041 491 | 1 | 1 140.06/140.16 c 140s | 19 | 1011901 | 624482 | 3041 496 | 1 | 1 142.06/142.18 c 142s | 19 | 1026997 | 632982 | 3041 501 | 1 | 1 144.07/144.19 c 144s | 19 | 1043506 | 641282 | 3041 507 | 1 | 1 146.06/146.19 c 146s | 19 | 1059844 | 649882 | 3041 512 | 1 | 1 148.16/148.20 c 148s | 19 | 1069937 | 657582 | 3041 517 | 1 | 1 150.16/150.21 c 150s | 19 | 1080322 | 666082 | 3346 522 | 1 | 1 150.26/150.39 c 150s | 20 | 1081315 | 666827 | 3346 523 | 1 | 1 152.36/152.40 c 152s | 20 | 1099757 | 675527 | 3346 528 | 1 | 1 154.36/154.41 c 154s | 20 | 1114581 | 683727 | 3346 532 | 1 | 1 156.37/156.42 c 156s | 20 | 1123605 | 691027 | 3346 537 | 1 | 1 158.37/158.43 c 158s | 20 | 1137087 | 699027 | 3346 541 | 1 | 1 160.37/160.46 c 160s | 20 | 1149310 | 707127 | 3346 546 | 1 | 1 162.37/162.47 c 162s | 20 | 1159158 | 714727 | 3346 550 | 1 | 1 164.47/164.50 c 164s | 20 | 1167536 | 722027 | 3346 555 | 1 | 1 166.47/166.50 c 166s | 20 | 1176635 | 729327 | 3346 559 | 1 | 1 168.47/168.51 c 168s | 20 | 1188975 | 737127 | 3346 563 | 1 | 1 170.47/170.53 c 170s | 20 | 1202868 | 745327 | 3346 568 | 1 | 1 172.47/172.54 c 172s | 20 | 1211705 | 752927 | 3346 573 | 1 | 1 174.47/174.55 c 174s | 20 | 1224744 | 761527 | 3346 578 | 1 | 1 176.47/176.55 c 176s | 20 | 1237443 | 769727 | 3346 582 | 1 | 1 178.46/178.57 c 178s | 20 | 1249919 | 777827 | 3346 587 | 1 | 1 180.47/180.57 c 180s | 20 | 1259395 | 785427 | 3346 592 | 1 | 1 182.46/182.59 c 182s | 20 | 1269119 | 793127 | 3346 596 | 1 | 1 184.46/184.59 c 184s | 20 | 1283764 | 801127 | 3346 601 | 1 | 1 186.56/186.60 c 186s | 20 | 1293174 | 808727 | 3346 605 | 1 | 1 188.56/188.62 c 188s | 20 | 1302907 | 816727 | 3346 610 | 1 | 1 190.56/190.64 c 190s | 20 | 1311671 | 824427 | 3346 614 | 1 | 1 192.57/192.64 c 192s | 20 | 1322380 | 832827 | 3346 619 | 1 | 1 194.56/194.64 c 194s | 20 | 1334084 | 840927 | 3346 624 | 1 | 1 196.56/196.65 c 196s | 20 | 1346058 | 849027 | 3346 629 | 1 | 1 198.56/198.66 c 198s | 20 | 1355377 | 856827 | 3346 633 | 1 | 1 200.56/200.67 c 200s | 20 | 1366165 | 865327 | 3346 638 | 1 | 1 202.56/202.68 c 202s | 20 | 1375517 | 872927 | 3346 643 | 1 | 1 204.56/204.69 c 204s | 20 | 1390224 | 881127 | 3346 648 | 1 | 1 206.66/206.71 c 206s | 20 | 1401595 | 889427 | 3346 652 | 1 | 1 208.66/208.73 c 208s | 20 | 1414154 | 897927 | 3346 657 | 1 | 1 210.66/210.74 c 210s | 20 | 1424912 | 906127 | 3346 662 | 1 | 1 212.65/212.75 c 212s | 20 | 1435073 | 914027 | 3346 667 | 1 | 1 214.65/214.76 c 214s | 20 | 1446388 | 922127 | 3346 671 | 1 | 1 216.66/216.77 c 216s | 20 | 1460811 | 930627 | 3346 676 | 1 | 1 218.65/218.79 c 218s | 20 | 1475636 | 938927 | 3346 681 | 1 | 1 220.75/220.81 c 220s | 20 | 1491459 | 947427 | 3346 686 | 1 | 1 222.75/222.83 c 222s | 20 | 1502039 | 955127 | 3346 691 | 1 | 1 224.75/224.84 c 224s | 20 | 1512382 | 963327 | 3346 696 | 1 | 1 226.75/226.85 c 226s | 20 | 1528726 | 971827 | 3346 700 | 1 | 1 228.76/228.86 c 228s | 20 | 1541257 | 979727 | 3346 705 | 1 | 1 230.75/230.87 c 230s | 20 | 1557080 | 988027 | 3346 710 | 1 | 1 232.85/232.90 c 232s | 20 | 1570163 | 996027 | 3681 714 | 1 | 1 233.85/233.92 c 233s | 21 | 1578551 | 1000345 | 3681 717 | 1 | 1 235.86/235.93 c 235s | 21 | 1592698 | 1008145 | 3681 721 | 1 | 1 237.86/237.93 c 237s | 21 | 1610425 | 1016245 | 3681 725 | 1 | 1 239.86/239.96 c 239s | 21 | 1624433 | 1024945 | 3681 730 | 1 | 1 241.86/241.98 c 241s | 21 | 1638848 | 1032845 | 3681 734 | 1 | 1 243.86/243.98 c 243s | 21 | 1650862 | 1040445 | 3681 738 | 1 | 1 245.96/246.01 c 245s | 21 | 1663163 | 1048145 | 3681 742 | 1 | 1 247.96/248.02 c 247s | 21 | 1673779 | 1055845 | 3681 746 | 1 | 1 249.96/250.04 c 250s | 21 | 1684883 | 1064245 | 3681 751 | 1 | 1 251.96/252.06 c 252s | 21 | 1701139 | 1072245 | 3681 755 | 1 | 1 253.95/254.07 c 254s | 21 | 1713193 | 1079845 | 3681 759 | 1 | 1 255.95/256.07 c 256s | 21 | 1724145 | 1086945 | 3681 763 | 1 | 1 257.95/258.08 c 258s | 21 | 1736044 | 1095045 | 3681 767 | 1 | 1 259.95/260.09 c 260s | 21 | 1749419 | 1103245 | 3681 771 | 1 | 1 262.05/262.10 c 262s | 21 | 1759901 | 1110845 | 3681 775 | 1 | 1 264.06/264.10 c 264s | 21 | 1771630 | 1118445 | 3681 779 | 1 | 1 266.05/266.11 c 266s | 21 | 1782043 | 1126445 | 3681 783 | 1 | 1 268.05/268.14 c 268s | 21 | 1793608 | 1134245 | 3681 788 | 1 | 1 270.05/270.18 c 270s | 21 | 1804565 | 1141845 | 3681 792 | 1 | 1 272.05/272.19 c 272s | 21 | 1814840 | 1149945 | 3681 796 | 1 | 1 274.15/274.21 c 274s | 21 | 1824393 | 1157545 | 3681 800 | 1 | 1 276.15/276.22 c 276s | 21 | 1835021 | 1165045 | 3681 804 | 1 | 1 278.15/278.23 c 278s | 21 | 1848234 | 1172745 | 3681 808 | 1 | 1 280.15/280.25 c 280s | 21 | 1857826 | 1180145 | 3681 812 | 1 | 1 282.14/282.26 c 282s | 21 | 1876466 | 1188145 | 3681 816 | 1 | 1 284.14/284.28 c 284s | 21 | 1895678 | 1196845 | 3681 821 | 1 | 1 286.14/286.29 c 286s | 21 | 1909753 | 1205045 | 3681 825 | 1 | 1 288.15/288.29 c 288s | 21 | 1921090 | 1212945 | 3681 829 | 1 | 1 290.24/290.30 c 290s | 21 | 1931567 | 1220745 | 3681 833 | 1 | 1 292.24/292.31 c 292s | 21 | 1944862 | 1228445 | 3681 837 | 1 | 1 294.24/294.33 c 294s | 21 | 1955465 | 1235945 | 3681 841 | 1 | 1 296.24/296.35 c 296s | 21 | 1964586 | 1243445 | 3681 845 | 1 | 1 298.24/298.35 c 298s | 21 | 1976295 | 1251145 | 3681 849 | 1 | 1 300.25/300.36 c 300s | 21 | 1985162 | 1258345 | 3681 853 | 1 | 1 302.24/302.37 c 302s | 21 | 1994319 | 1265845 | 3681 857 | 1 | 1 304.24/304.40 c 304s | 21 | 2005426 | 1273745 | 3681 861 | 1 | 1 306.35/306.41 c 306s | 21 | 2017018 | 1281445 | 3681 866 | 1 | 1 308.35/308.41 c 308s | 21 | 2027970 | 1288945 | 3681 870 | 1 | 1 310.35/310.42 c 310s | 21 | 2039359 | 1296745 | 3681 874 | 1 | 1 312.35/312.44 c 312s | 21 | 2048436 | 1304145 | 3681 878 | 1 | 1 314.35/314.45 c 314s | 21 | 2057360 | 1311545 | 3681 882 | 1 | 1 316.34/316.47 c 316s | 21 | 2066481 | 1318945 | 3681 886 | 1 | 1 318.34/318.48 c 318s | 21 | 2081447 | 1327445 | 3681 890 | 1 | 1 320.44/320.50 c 320s | 21 | 2092231 | 1335445 | 3681 894 | 1 | 1 322.44/322.52 c 322s | 21 | 2104129 | 1343445 | 3681 899 | 1 | 1 324.45/324.54 c 324s | 21 | 2115445 | 1351445 | 3681 903 | 1 | 1 326.44/326.55 c 326s | 21 | 2125564 | 1359045 | 3681 907 | 1 | 1 328.44/328.57 c 328s | 21 | 2145468 | 1367545 | 3681 911 | 1 | 1 330.44/330.58 c 330s | 21 | 2157317 | 1374945 | 3681 915 | 1 | 1 332.44/332.59 c 332s | 21 | 2167888 | 1382745 | 3681 919 | 1 | 1 334.45/334.59 c 334s | 21 | 2178155 | 1390145 | 3681 923 | 1 | 1 336.54/336.62 c 336s | 21 | 2188487 | 1397945 | 3681 927 | 1 | 1 338.54/338.62 c 338s | 21 | 2198705 | 1405345 | 3681 931 | 1 | 1 340.54/340.65 c 340s | 21 | 2208933 | 1413045 | 3681 935 | 1 | 1 342.54/342.68 c 342s | 21 | 2217999 | 1420645 | 3681 940 | 1 | 1 344.64/344.73 c 344s | 21 | 2228604 | 1428245 | 3681 944 | 1 | 1 346.63/346.73 c 346s | 21 | 2238467 | 1435845 | 3681 948 | 1 | 1 348.64/348.74 c 348s | 21 | 2247922 | 1443745 | 3681 952 | 1 | 1 350.63/350.76 c 350s | 21 | 2257624 | 1451345 | 3681 956 | 1 | 1 352.63/352.77 c 352s | 21 | 2270597 | 1459545 | 3681 960 | 1 | 1 354.63/354.77 c 354s | 21 | 2280321 | 1467045 | 3681 964 | 1 | 1 356.63/356.78 c 356s | 21 | 2290679 | 1475045 | 3681 968 | 1 | 1 358.63/358.78 c 358s | 21 | 2301178 | 1483045 | 3681 973 | 1 | 1 360.63/360.79 c 360s | 21 | 2311060 | 1490745 | 4050 976 | 1 | 1 362.62/362.79 c 362s | 21 | 2320495 | 1498245 | 4050 980 | 1 | 1 363.32/363.40 c 363s | 22 | 2323298 | 1500622 | 4050 981 | 1 | 1 365.32/365.42 c 365s | 22 | 2333124 | 1507822 | 4050 985 | 1 | 1 367.33/367.43 c 367s | 22 | 2341275 | 1515022 | 4050 988 | 1 | 1 369.32/369.45 c 369s | 22 | 2351879 | 1523022 | 4050 992 | 1 | 1 371.32/371.47 c 371s | 22 | 2361177 | 1530422 | 4050 996 | 1 | 1 373.32/373.47 c 373s | 22 | 2369636 | 1537522 | 4050 999 | 1 | 1 375.32/375.49 c 375s | 22 | 2381031 | 1544922 | 4050 1003 | 1 | 1 377.42/377.52 c 377s | 22 | 2399450 | 1553522 | 4050 1007 | 1 | 1 379.42/379.56 c 379s | 22 | 2411143 | 1561122 | 4050 1011 | 1 | 1 381.42/381.56 c 381s | 22 | 2423232 | 1569122 | 4050 1014 | 1 | 1 383.42/383.58 c 383s | 22 | 2433996 | 1577122 | 4050 1018 | 1 | 1 385.41/385.59 c 385s | 22 | 2443972 | 1584622 | 4050 1022 | 1 | 1 387.51/387.60 c 387s | 22 | 2452663 | 1591922 | 4050 1025 | 1 | 1 389.51/389.61 c 389s | 22 | 2464295 | 1599522 | 4050 1029 | 1 | 1 391.52/391.63 c 391s | 22 | 2481806 | 1607022 | 4050 1033 | 1 | 1 393.52/393.64 c 393s | 22 | 2496565 | 1615322 | 4050 1037 | 1 | 1 395.52/395.65 c 395s | 22 | 2509316 | 1623522 | 4050 1041 | 1 | 1 397.52/397.67 c 397s | 22 | 2519775 | 1630922 | 4050 1044 | 1 | 1 399.52/399.67 c 399s | 22 | 2530426 | 1638722 | 4050 1048 | 1 | 1 401.61/401.70 c 401s | 22 | 2539727 | 1646122 | 4050 1052 | 1 | 1 403.62/403.71 c 403s | 22 | 2551143 | 1654122 | 4050 1055 | 1 | 1 405.61/405.73 c 405s | 22 | 2562194 | 1662522 | 4050 1060 | 1 | 1 407.61/407.75 c 407s | 22 | 2573849 | 1670722 | 4050 1063 | 1 | 1 409.60/409.76 c 409s | 22 | 2585564 | 1678522 | 4050 1067 | 1 | 1 411.60/411.78 c 411s | 22 | 2595541 | 1686422 | 4050 1071 | 1 | 1 413.70/413.80 c 413s | 22 | 2605849 | 1694322 | 4050 1075 | 1 | 1 415.70/415.82 c 415s | 22 | 2618504 | 1702422 | 4050 1079 | 1 | 1 417.70/417.84 c 417s | 22 | 2630818 | 1710522 | 4050 1083 | 1 | 1 419.70/419.86 c 419s | 22 | 2640323 | 1718122 | 4050 1086 | 1 | 1 421.70/421.89 c 421s | 22 | 2651572 | 1726622 | 4050 1091 | 1 | 1 423.80/423.91 c 423s | 22 | 2661971 | 1734722 | 4050 1094 | 1 | 1 425.79/425.92 c 425s | 22 | 2672297 | 1742522 | 4050 1098 | 1 | 1 427.80/427.94 c 427s | 22 | 2681817 | 1750522 | 4050 1102 | 1 | 1 429.79/429.96 c 429s | 22 | 2692609 | 1758822 | 4050 1106 | 1 | 1 431.79/431.97 c 431s | 22 | 2703623 | 1767022 | 4050 1110 | 1 | 1 433.79/433.97 c 433s | 22 | 2712895 | 1774622 | 4050 1114 | 1 | 1 435.79/435.98 c 435s | 22 | 2724239 | 1782822 | 4050 1118 | 1 | 1 437.89/438.01 c 437s | 22 | 2740390 | 1791422 | 4050 1122 | 1 | 1 439.89/440.02 c 439s | 22 | 2749717 | 1798822 | 4050 1125 | 1 | 1 441.88/442.04 c 442s | 22 | 2759847 | 1806322 | 4050 1129 | 1 | 1 443.88/444.06 c 444s | 22 | 2768980 | 1814022 | 4050 1133 | 1 | 1 445.89/446.06 c 446s | 22 | 2779014 | 1822322 | 4050 1137 | 1 | 1 447.89/448.07 c 448s | 22 | 2788534 | 1830122 | 4050 1141 | 1 | 1 449.89/450.08 c 450s | 22 | 2799498 | 1838322 | 4050 1145 | 1 | 1 451.89/452.09 c 452s | 22 | 2810205 | 1846622 | 4050 1149 | 1 | 1 453.99/454.10 c 454s | 22 | 2819470 | 1854122 | 4050 1152 | 1 | 1 455.98/456.11 c 456s | 22 | 2833546 | 1862622 | 4050 1156 | 1 | 1 457.98/458.12 c 458s | 22 | 2848677 | 1870722 | 4050 1160 | 1 | 1 459.98/460.14 c 460s | 22 | 2859469 | 1878622 | 4050 1164 | 1 | 1 461.99/462.15 c 462s | 22 | 2870336 | 1887422 | 4050 1168 | 1 | 1 463.98/464.16 c 464s | 22 | 2882296 | 1896322 | 4050 1173 | 1 | 1 465.98/466.17 c 466s | 22 | 2892951 | 1904622 | 4050 1177 | 1 | 1 467.98/468.17 c 468s | 22 | 2903762 | 1912722 | 4050 1181 | 1 | 1 469.98/470.18 c 470s | 22 | 2917093 | 1921122 | 4050 1185 | 1 | 1 472.08/472.20 c 472s | 22 | 2932485 | 1929622 | 4050 1189 | 1 | 1 474.08/474.22 c 474s | 22 | 2942291 | 1936922 | 4050 1192 | 1 | 1 476.07/476.24 c 476s | 22 | 2953395 | 1944922 | 4050 1196 | 1 | 1 478.07/478.26 c 478s | 22 | 2963157 | 1952522 | 4050 1200 | 1 | 1 480.07/480.26 c 480s | 22 | 2973648 | 1960822 | 4050 1204 | 1 | 1 482.07/482.28 c 482s | 22 | 2986339 | 1969322 | 4050 1208 | 1 | 1 484.07/484.28 c 484s | 22 | 2999808 | 1977822 | 4050 1212 | 1 | 1 486.07/486.29 c 486s | 22 | 3011880 | 1986022 | 4050 1216 | 1 | 1 488.16/488.30 c 488s | 22 | 3027476 | 1994622 | 4050 1220 | 1 | 1 490.16/490.30 c 490s | 22 | 3042286 | 2002522 | 4050 1224 | 1 | 1 492.16/492.31 c 492s | 22 | 3052878 | 2010322 | 4050 1228 | 1 | 1 494.16/494.32 c 494s | 22 | 3064008 | 2018122 | 4050 1232 | 1 | 1 496.16/496.33 c 496s | 22 | 3078198 | 2026422 | 4050 1236 | 1 | 1 498.16/498.35 c 498s | 22 | 3092233 | 2035222 | 4050 1240 | 1 | 1 500.16/500.36 c 500s | 22 | 3104855 | 2043622 | 4050 1244 | 1 | 1 502.15/502.38 c 502s | 22 | 3114443 | 2051522 | 4050 1248 | 1 | 1 504.25/504.40 c 504s | 22 | 3125495 | 2059822 | 4050 1252 | 1 | 1 506.25/506.42 c 506s | 22 | 3135758 | 2068022 | 4050 1256 | 1 | 1 508.25/508.42 c 508s | 22 | 3146224 | 2076022 | 4050 1260 | 1 | 1 510.25/510.43 c 510s | 22 | 3156904 | 2084222 | 4050 1264 | 1 | 1 512.25/512.45 c 512s | 22 | 3168275 | 2093022 | 4050 1268 | 1 | 1 514.26/514.45 c 514s | 22 | 3178027 | 2101422 | 4050 1272 | 1 | 1 516.25/516.46 c 516s | 22 | 3188808 | 2109722 | 4050 1276 | 1 | 1 518.25/518.46 c 518s | 22 | 3198675 | 2117722 | 4050 1280 | 1 | 1 520.26/520.46 c 520s | 22 | 3208148 | 2125622 | 4050 1284 | 1 | 1 522.25/522.46 c 522s | 22 | 3218462 | 2134022 | 4050 1288 | 1 | 1 524.25/524.48 c 524s | 22 | 3229334 | 2142622 | 4050 1292 | 1 | 1 526.25/526.48 c 526s | 22 | 3240768 | 2150922 | 4050 1296 | 1 | 1 528.25/528.49 c 528s | 22 | 3252468 | 2159922 | 4050 1300 | 1 | 1 530.35/530.51 c 530s | 22 | 3264480 | 2168422 | 4050 1304 | 1 | 1 532.36/532.52 c 532s | 22 | 3276273 | 2176922 | 4050 1308 | 1 | 1 534.35/534.54 c 534s | 22 | 3287046 | 2185022 | 4050 1312 | 1 | 1 536.35/536.55 c 536s | 22 | 3299774 | 2193222 | 4050 1316 | 1 | 1 538.34/538.55 c 538s | 22 | 3311236 | 2201222 | 4050 1320 | 1 | 1 540.34/540.57 c 540s | 22 | 3324092 | 2209722 | 4050 1324 | 1 | 1 542.34/542.59 c 542s | 22 | 3335064 | 2218022 | 4050 1328 | 1 | 1 544.45/544.61 c 544s | 22 | 3347621 | 2225922 | 4050 1332 | 1 | 1 546.44/546.61 c 546s | 22 | 3360045 | 2234022 | 4050 1336 | 1 | 1 548.44/548.63 c 548s | 22 | 3372089 | 2242322 | 4455 1340 | 1 | 1 550.44/550.64 c 550s | 22 | 3382874 | 2250022 | 4455 1343 | 1 | 1 550.74/550.90 c 550s | 23 | 3384471 | 2251038 | 4455 1344 | 1 | 1 552.74/552.90 c 552s | 23 | 3400929 | 2258938 | 4455 1347 | 1 | 1 554.74/554.91 c 554s | 23 | 3410918 | 2265938 | 4455 1350 | 1 | 1 556.73/556.92 c 556s | 23 | 3421329 | 2273538 | 4455 1354 | 1 | 1 558.74/558.93 c 558s | 23 | 3432346 | 2281238 | 4455 1357 | 1 | 1 560.73/560.96 c 560s | 23 | 3443709 | 2288638 | 4455 1360 | 1 | 1 562.73/562.98 c 562s | 23 | 3454217 | 2295838 | 4455 1363 | 1 | 1 564.83/565.04 c 565s | 23 | 3463608 | 2303038 | 4455 1367 | 1 | 1 566.83/567.05 c 567s | 23 | 3473225 | 2310638 | 4455 1370 | 1 | 1 568.93/569.16 c 569s | 23 | 3482818 | 2317938 | 4455 1373 | 1 | 1 570.93/571.16 c 571s | 23 | 3491844 | 2325638 | 4455 1377 | 1 | 1 572.93/573.18 c 573s | 23 | 3502923 | 2333438 | 4455 1380 | 1 | 1 575.03/575.20 c 575s | 23 | 3511771 | 2340938 | 4455 1383 | 1 | 1 577.02/577.20 c 577s | 23 | 3521278 | 2348438 | 4455 1387 | 1 | 1 579.02/579.22 c 579s | 23 | 3532489 | 2356438 | 4455 1390 | 1 | 1 581.03/581.23 c 581s | 23 | 3542256 | 2363838 | 4455 1393 | 1 | 1 583.03/583.24 c 583s | 23 | 3550930 | 2370938 | 4455 1397 | 1 | 1 585.03/585.26 c 585s | 23 | 3560917 | 2379238 | 4455 1400 | 1 | 1 587.02/587.27 c 587s | 23 | 3570589 | 2386938 | 4455 1404 | 1 | 1 589.02/589.29 c 589s | 23 | 3582000 | 2395138 | 4455 1407 | 1 | 1 591.12/591.31 c 591s | 23 | 3592093 | 2403038 | 4455 1411 | 1 | 1 593.12/593.31 c 593s | 23 | 3602706 | 2410838 | 4455 1414 | 1 | 1 595.12/595.33 c 595s | 23 | 3611893 | 2417838 | 4455 1417 | 1 | 1 597.13/597.34 c 597s | 23 | 3623663 | 2426238 | 4455 1421 | 1 | 1 599.12/599.37 c 599s | 23 | 3634604 | 2434638 | 4455 1425 | 1 | 1 601.22/601.41 c 601s | 23 | 3647944 | 2443238 | 4455 1428 | 1 | 1 603.22/603.42 c 603s | 23 | 3661390 | 2451638 | 4455 1432 | 1 | 1 605.22/605.43 c 605s | 23 | 3674195 | 2459738 | 4455 1436 | 1 | 1 607.22/607.44 c 607s | 23 | 3688025 | 2467838 | 4455 1439 | 1 | 1 609.22/609.45 c 609s | 23 | 3704851 | 2476138 | 4455 1443 | 1 | 1 611.21/611.47 c 611s | 23 | 3715721 | 2484238 | 4455 1446 | 1 | 1 613.21/613.48 c 613s | 23 | 3728048 | 2492738 | 4455 1450 | 1 | 1 615.31/615.50 c 615s | 23 | 3741271 | 2500938 | 4455 1454 | 1 | 1 617.31/617.52 c 617s | 23 | 3752485 | 2509138 | 4455 1457 | 1 | 1 619.31/619.54 c 619s | 23 | 3762589 | 2517438 | 4455 1461 | 1 | 1 621.32/621.56 c 621s | 23 | 3774962 | 2526038 | 4455 1465 | 1 | 1 623.31/623.56 c 623s | 23 | 3786238 | 2534438 | 4455 1468 | 1 | 1 625.31/625.57 c 625s | 23 | 3795843 | 2542338 | 4455 1472 | 1 | 1 627.30/627.59 c 627s | 23 | 3804780 | 2550438 | 4455 1475 | 1 | 1 629.40/629.63 c 629s | 23 | 3814834 | 2558538 | 4455 1479 | 1 | 1 631.40/631.64 c 631s | 23 | 3824798 | 2566838 | 4455 1483 | 1 | 1 633.41/633.64 c 633s | 23 | 3833757 | 2574738 | 4455 1486 | 1 | 1 635.40/635.65 c 635s | 23 | 3843541 | 2583238 | 4455 1490 | 1 | 1 637.41/637.67 c 637s | 23 | 3853995 | 2591038 | 4455 1493 | 1 | 1 639.40/639.69 c 639s | 23 | 3864504 | 2599238 | 4455 1497 | 1 | 1 641.40/641.69 c 641s | 23 | 3873844 | 2606938 | 4455 1500 | 1 | 1 643.50/643.70 c 643s | 23 | 3883097 | 2614938 | 4455 1504 | 1 | 1 645.50/645.71 c 645s | 23 | 3892361 | 2622738 | 4455 1507 | 1 | 1 647.50/647.71 c 647s | 23 | 3902213 | 2630638 | 4455 1511 | 1 | 1 649.50/649.72 c 649s | 23 | 3911739 | 2638638 | 4455 1514 | 1 | 1 651.50/651.72 c 651s | 23 | 3923142 | 2646938 | 4455 1518 | 1 | 1 653.49/653.73 c 653s | 23 | 3932222 | 2654638 | 4455 1521 | 1 | 1 655.50/655.75 c 655s | 23 | 3941996 | 2662338 | 4455 1525 | 1 | 1 657.49/657.78 c 657s | 23 | 3953500 | 2670738 | 4455 1528 | 1 | 1 659.59/659.81 c 659s | 23 | 3963544 | 2678838 | 4455 1532 | 1 | 1 661.59/661.81 c 661s | 23 | 3974897 | 2686638 | 4455 1535 | 1 | 1 663.59/663.83 c 663s | 23 | 3987883 | 2694938 | 4455 1539 | 1 | 1 665.58/665.84 c 665s | 23 | 3997008 | 2702438 | 4455 1542 | 1 | 1 667.59/667.86 c 667s | 23 | 4006757 | 2710138 | 4455 1546 | 1 | 1 669.58/669.86 c 669s | 23 | 4017416 | 2717938 | 4455 1549 | 1 | 1 671.58/671.89 c 671s | 23 | 4025992 | 2725538 | 4455 1553 | 1 | 1 673.68/673.91 c 673s | 23 | 4036154 | 2734038 | 4455 1556 | 1 | 1 675.68/675.91 c 675s | 23 | 4046647 | 2742038 | 4455 1560 | 1 | 1 677.68/677.95 c 677s | 23 | 4055507 | 2749638 | 4455 1563 | 1 | 1 679.68/679.98 c 679s | 23 | 4064259 | 2757338 | 4455 1567 | 1 | 1 681.67/681.99 c 681s | 23 | 4074242 | 2766038 | 4455 1570 | 1 | 1 683.67/683.99 c 683s | 23 | 4084190 | 2774738 | 4455 1574 | 1 | 1 685.77/686.00 c 685s | 23 | 4094962 | 2783938 | 4455 1578 | 1 | 1 687.77/688.01 c 687s | 23 | 4105089 | 2792738 | 4455 1582 | 1 | 1 689.77/690.03 c 689s | 23 | 4115622 | 2801738 | 4455 1586 | 1 | 1 691.77/692.05 c 692s | 23 | 4127192 | 2810638 | 4455 1590 | 1 | 1 693.77/694.06 c 694s | 23 | 4137746 | 2819738 | 4455 1594 | 1 | 1 695.77/696.09 c 696s | 23 | 4148252 | 2828638 | 4455 1598 | 1 | 1 697.86/698.11 c 698s | 23 | 4157585 | 2836938 | 4455 1602 | 1 | 1 699.86/700.12 c 700s | 23 | 4167875 | 2845838 | 4455 1606 | 1 | 1 701.86/702.12 c 702s | 23 | 4177707 | 2854438 | 4455 1609 | 1 | 1 703.87/704.14 c 704s | 23 | 4187841 | 2862838 | 4455 1613 | 1 | 1 705.86/706.15 c 706s | 23 | 4198029 | 2871338 | 4455 1617 | 1 | 1 707.86/708.15 c 708s | 23 | 4210292 | 2879938 | 4455 1621 | 1 | 1 709.86/710.16 c 710s | 23 | 4222469 | 2888238 | 4455 1624 | 1 | 1 711.86/712.16 c 712s | 23 | 4232710 | 2896338 | 4455 1628 | 1 | 1 713.86/714.19 c 714s | 23 | 4243527 | 2904838 | 4455 1632 | 1 | 1 715.86/716.19 c 716s | 23 | 4254277 | 2913238 | 4455 1635 | 1 | 1 717.95/718.20 c 718s | 23 | 4267138 | 2921338 | 4455 1639 | 1 | 1 719.95/720.22 c 720s | 23 | 4277915 | 2929138 | 4455 1642 | 1 | 1 721.95/722.23 c 722s | 23 | 4289491 | 2937738 | 4455 1646 | 1 | 1 723.95/724.25 c 724s | 23 | 4300476 | 2945938 | 4455 1650 | 1 | 1 725.96/726.29 c 726s | 23 | 4312941 | 2954538 | 4455 1654 | 1 | 1 727.97/728.29 c 728s | 23 | 4323261 | 2962938 | 4455 1657 | 1 | 1 730.06/730.30 c 730s | 23 | 4335212 | 2972138 | 4455 1661 | 1 | 1 732.06/732.32 c 732s | 23 | 4347282 | 2980838 | 4455 1665 | 1 | 1 734.06/734.33 c 734s | 23 | 4359611 | 2989638 | 4455 1669 | 1 | 1 736.05/736.34 c 736s | 23 | 4374363 | 2998938 | 4455 1673 | 1 | 1 738.05/738.37 c 738s | 23 | 4389572 | 3008038 | 4455 1677 | 1 | 1 740.06/740.38 c 740s | 23 | 4402398 | 3017138 | 4455 1681 | 1 | 1 742.05/742.39 c 742s | 23 | 4414892 | 3026138 | 4455 1685 | 1 | 1 744.15/744.41 c 744s | 23 | 4427235 | 3034438 | 4455 1689 | 1 | 1 746.15/746.41 c 746s | 23 | 4437944 | 3042638 | 4455 1692 | 1 | 1 748.15/748.41 c 748s | 23 | 4448889 | 3051138 | 4455 1696 | 1 | 1 750.15/750.43 c 750s | 23 | 4459830 | 3059338 | 4455 1700 | 1 | 1 752.15/752.45 c 752s | 23 | 4470696 | 3067738 | 4455 1703 | 1 | 1 754.15/754.47 c 754s | 23 | 4483095 | 3076438 | 4455 1707 | 1 | 1 756.14/756.48 c 756s | 23 | 4495500 | 3085138 | 4455 1711 | 1 | 1 758.24/758.50 c 758s | 23 | 4506409 | 3093438 | 4455 1715 | 1 | 1 760.24/760.50 c 760s | 23 | 4517620 | 3102638 | 4455 1719 | 1 | 1 762.24/762.52 c 762s | 23 | 4528708 | 3111538 | 4455 1723 | 1 | 1 764.24/764.52 c 764s | 23 | 4539707 | 3120238 | 4455 1727 | 1 | 1 766.23/766.53 c 766s | 23 | 4553009 | 3129738 | 4455 1731 | 1 | 1 768.23/768.55 c 768s | 23 | 4565401 | 3138338 | 4455 1735 | 1 | 1 770.23/770.56 c 770s | 23 | 4579293 | 3147438 | 4455 1739 | 1 | 1 772.23/772.57 c 772s | 23 | 4592129 | 3156038 | 4455 1742 | 1 | 1 774.24/774.57 c 774s | 23 | 4607795 | 3164438 | 4455 1746 | 1 | 1 776.23/776.58 c 776s | 23 | 4619684 | 3172938 | 4455 1750 | 1 | 1 778.22/778.59 c 778s | 23 | 4630046 | 3181338 | 4455 1754 | 1 | 1 780.32/780.60 c 780s | 23 | 4640000 | 3189438 | 4455 1757 | 1 | 1 782.32/782.62 c 782s | 23 | 4653879 | 3198038 | 4455 1761 | 1 | 1 784.32/784.63 c 784s | 23 | 4665945 | 3206738 | 4455 1765 | 1 | 1 786.33/786.64 c 786s | 23 | 4678398 | 3215538 | 4455 1769 | 1 | 1 788.32/788.67 c 788s | 23 | 4690845 | 3224438 | 4455 1773 | 1 | 1 790.32/790.69 c 790s | 23 | 4704633 | 3233438 | 4455 1777 | 1 | 1 792.42/792.71 c 792s | 23 | 4715425 | 3242038 | 4455 1780 | 1 | 1 794.42/794.71 c 794s | 23 | 4728295 | 3250638 | 4455 1784 | 1 | 1 796.41/796.72 c 796s | 23 | 4741615 | 3259738 | 4455 1788 | 1 | 1 798.42/798.73 c 798s | 23 | 4752844 | 3268438 | 4455 1792 | 1 | 1 800.41/800.73 c 800s | 23 | 4764026 | 3277038 | 4455 1796 | 1 | 1 802.41/802.75 c 802s | 23 | 4775653 | 3285738 | 4455 1800 | 1 | 1 804.41/804.76 c 804s | 23 | 4786345 | 3294438 | 4455 1803 | 1 | 1 806.40/806.78 c 806s | 23 | 4797798 | 3302838 | 4455 1807 | 1 | 1 808.50/808.80 c 808s | 23 | 4808135 | 3310938 | 4455 1811 | 1 | 1 810.42/810.80 c 810s | 23 | 4822668 | 3319238 | 4455 1814 | 1 | 1 812.51/812.80 c 812s | 23 | 4834307 | 3327138 | 4455 1818 | 1 | 1 814.51/814.82 c 814s | 23 | 4848746 | 3335538 | 4455 1822 | 1 | 1 816.51/816.83 c 816s | 23 | 4861345 | 3343738 | 4455 1825 | 1 | 1 818.51/818.84 c 818s | 23 | 4870878 | 3351338 | 4455 1829 | 1 | 1 820.51/820.84 c 820s | 23 | 4882268 | 3359238 | 4901 1832 | 1 | 1 822.51/822.85 c 822s | 23 | 4893252 | 3367338 | 4901 1835 | 1 | 1 824.51/824.86 c 824s | 23 | 4902992 | 3374938 | 4901 1838 | 1 | 1 824.91/825.26 c 825s | 24 | 4905009 | 3376662 | 4901 1839 | 1 | 1 826.91/827.27 c 827s | 24 | 4921555 | 3383862 | 4901 1841 | 1 | 1 828.90/829.29 c 829s | 24 | 4937139 | 3391462 | 4901 1845 | 1 | 1 830.90/831.29 c 831s | 24 | 4952391 | 3399462 | 4901 1848 | 1 | 1 832.90/833.29 c 833s | 24 | 4969040 | 3407662 | 4901 1851 | 1 | 1 834.90/835.29 c 835s | 24 | 4982798 | 3415062 | 4901 1854 | 1 | 1 836.99/837.35 c 837s | 24 | 4993188 | 3422062 | 4901 1857 | 1 | 1 839.00/839.35 c 839s | 24 | 5008056 | 3429762 | 4901 1860 | 1 | 1 840.99/841.37 c 841s | 24 | 5020438 | 3437462 | 4901 1863 | 1 | 1 842.99/843.37 c 843s | 24 | 5031109 | 3444562 | 4901 1866 | 1 | 1 844.99/845.38 c 845s | 24 | 5041406 | 3451762 | 4901 1869 | 1 | 1 847.09/847.40 c 847s | 24 | 5052111 | 3458962 | 4901 1872 | 1 | 1 849.08/849.47 c 849s | 24 | 5062223 | 3466062 | 4901 1874 | 1 | 1 851.09/851.49 c 851s | 24 | 5073725 | 3473762 | 4901 1878 | 1 | 1 853.18/853.51 c 853s | 24 | 5083586 | 3481562 | 4901 1881 | 1 | 1 855.18/855.53 c 855s | 24 | 5093689 | 3489162 | 4901 1884 | 1 | 1 857.18/857.55 c 857s | 24 | 5104707 | 3496862 | 4901 1887 | 1 | 1 859.18/859.59 c 859s | 24 | 5114815 | 3504462 | 4901 1890 | 1 | 1 861.18/861.59 c 861s | 24 | 5127939 | 3511862 | 4901 1893 | 1 | 1 863.28/863.64 c 863s | 24 | 5139140 | 3518962 | 4901 1896 | 1 | 1 865.28/865.65 c 865s | 24 | 5152488 | 3526062 | 4901 1899 | 1 | 1 867.27/867.67 c 867s | 24 | 5164115 | 3533562 | 4901 1902 | 1 | 1 869.37/869.71 c 869s | 24 | 5174635 | 3540962 | 4901 1905 | 1 | 1 871.37/871.73 c 871s | 24 | 5184381 | 3548162 | 4901 1907 | 1 | 1 873.37/873.74 c 873s | 24 | 5193243 | 3555562 | 4901 1910 | 1 | 1 875.37/875.74 c 875s | 24 | 5203084 | 3562962 | 4901 1913 | 1 | 1 877.36/877.77 c 877s | 24 | 5212979 | 3570362 | 4901 1916 | 1 | 1 879.37/879.78 c 879s | 24 | 5223602 | 3578262 | 4901 1920 | 1 | 1 881.37/881.79 c 881s | 24 | 5233085 | 3586062 | 4901 1923 | 1 | 1 883.47/883.81 c 883s | 24 | 5242354 | 3593762 | 4901 1926 | 1 | 1 885.47/885.82 c 885s | 24 | 5252040 | 3601462 | 4901 1929 | 1 | 1 887.47/887.84 c 887s | 24 | 5264748 | 3609262 | 4901 1932 | 1 | 1 889.46/889.86 c 889s | 24 | 5278016 | 3616862 | 4901 1935 | 1 | 1 891.46/891.87 c 891s | 24 | 5295351 | 3624562 | 4901 1938 | 1 | 1 893.46/893.88 c 893s | 24 | 5314176 | 3633062 | 4901 1942 | 1 | 1 895.46/895.89 c 895s | 24 | 5329369 | 3641262 | 4901 1945 | 1 | 1 897.46/897.89 c 897s | 24 | 5342438 | 3649362 | 4901 1948 | 1 | 1 899.57/899.91 c 899s | 24 | 5351336 | 3655762 | 4901 1951 | 1 | 1 901.56/901.92 c 901s | 24 | 5365012 | 3663662 | 4901 1954 | 1 | 1 903.56/903.94 c 903s | 24 | 5374367 | 3670162 | 4901 1956 | 1 | 1 905.55/905.94 c 905s | 24 | 5386840 | 3677362 | 4901 1959 | 1 | 1 907.55/907.94 c 907s | 24 | 5394821 | 3683962 | 4901 1962 | 1 | 1 909.55/909.96 c 909s | 24 | 5403544 | 3691062 | 4901 1965 | 1 | 1 911.56/911.99 c 911s | 24 | 5411709 | 3697762 | 4901 1968 | 1 | 1 913.66/914.02 c 913s | 24 | 5422208 | 3704762 | 4901 1970 | 1 | 1 915.65/916.04 c 916s | 24 | 5432932 | 3712262 | 4901 1973 | 1 | 1 917.65/918.04 c 918s | 24 | 5446715 | 3720162 | 4901 1977 | 1 | 1 919.65/920.05 c 920s | 24 | 5461348 | 3727862 | 4901 1980 | 1 | 1 921.65/922.06 c 922s | 24 | 5471560 | 3735262 | 4901 1983 | 1 | 1 923.65/924.06 c 924s | 24 | 5492061 | 3743562 | 4901 1986 | 1 | 1 925.64/926.07 c 926s | 24 | 5505811 | 3751262 | 4901 1989 | 1 | 1 927.64/928.08 c 928s | 24 | 5518417 | 3758962 | 4901 1992 | 1 | 1 929.64/930.09 c 930s | 24 | 5527649 | 3766362 | 4901 1995 | 1 | 1 931.74/932.11 c 932s | 24 | 5539427 | 3774462 | 4901 1998 | 1 | 1 933.74/934.11 c 934s | 24 | 5550357 | 3782262 | 4901 2001 | 1 | 1 935.74/936.12 c 936s | 24 | 5564599 | 3789862 | 4901 2005 | 1 | 1 937.74/938.12 c 938s | 24 | 5577723 | 3797462 | 4901 2008 | 1 | 1 939.74/940.13 c 940s | 24 | 5587819 | 3805062 | 4901 2011 | 1 | 1 941.74/942.13 c 942s | 24 | 5597310 | 3812762 | 4901 2014 | 1 | 1 943.74/944.14 c 944s | 24 | 5611317 | 3820862 | 4901 2017 | 1 | 1 945.74/946.15 c 946s | 24 | 5625039 | 3828762 | 4901 2020 | 1 | 1 947.73/948.16 c 948s | 24 | 5637157 | 3836362 | 4901 2023 | 1 | 1 949.73/950.17 c 950s | 24 | 5646932 | 3843662 | 4901 2026 | 1 | 1 951.83/952.21 c 952s | 24 | 5656213 | 3851762 | 4901 2029 | 1 | 1 953.83/954.22 c 954s | 24 | 5665836 | 3859862 | 4901 2033 | 1 | 1 955.82/956.23 c 956s | 24 | 5676675 | 3867962 | 4901 2036 | 1 | 1 957.83/958.23 c 958s | 24 | 5687914 | 3876562 | 4901 2039 | 1 | 1 959.82/960.24 c 960s | 24 | 5698870 | 3884662 | 4901 2043 | 1 | 1 961.82/962.25 c 962s | 24 | 5710852 | 3892962 | 4901 2046 | 1 | 1 963.82/964.28 c 964s | 24 | 5722855 | 3901062 | 4901 2049 | 1 | 1 965.82/966.30 c 966s | 24 | 5732089 | 3908562 | 4901 2052 | 1 | 1 967.92/968.31 c 968s | 24 | 5743377 | 3915962 | 4901 2055 | 1 | 1 969.92/970.33 c 970s | 24 | 5755068 | 3924262 | 4901 2058 | 1 | 1 971.92/972.34 c 972s | 24 | 5767560 | 3931762 | 4901 2061 | 1 | 1 973.92/974.34 c 974s | 24 | 5777040 | 3939262 | 4901 2064 | 1 | 1 975.92/976.36 c 976s | 24 | 5788707 | 3946962 | 4901 2067 | 1 | 1 977.92/978.38 c 978s | 24 | 5800830 | 3954662 | 4901 2071 | 1 | 1 979.92/980.39 c 980s | 24 | 5809963 | 3961762 | 4901 2073 | 1 | 1 982.03/982.41 c 982s | 24 | 5819732 | 3969262 | 4901 2076 | 1 | 1 984.02/984.44 c 984s | 24 | 5829568 | 3976662 | 4901 2079 | 1 | 1 986.02/986.46 c 986s | 24 | 5838421 | 3983962 | 4901 2082 | 1 | 1 988.02/988.47 c 988s | 24 | 5847134 | 3991462 | 4901 2085 | 1 | 1 990.02/990.48 c 990s | 24 | 5855907 | 3999162 | 4901 2088 | 1 | 1 992.12/992.52 c 992s | 24 | 5865145 | 4006862 | 4901 2092 | 1 | 1 994.12/994.54 c 994s | 24 | 5873716 | 4014662 | 4901 2095 | 1 | 1 996.11/996.60 c 996s | 24 | 5885300 | 4023162 | 4901 2098 | 1 | 1 998.21/998.62 c 998s | 24 | 5896721 | 4031262 | 4901 2101 | 1 | 1 1000.21/1000.63 c 1000s | 24 | 5911072 | 4039162 | 4901 2104 | 1 | 1 1002.21/1002.67 c 1002s | 24 | 5922784 | 4046962 | 4901 2108 | 1 | 1 1004.21/1004.69 c 1004s | 24 | 5936981 | 4055162 | 4901 2111 | 1 | 1 1006.22/1006.69 c 1006s | 24 | 5950755 | 4062762 | 4901 2114 | 1 | 1 1008.32/1008.71 c 1008s | 24 | 5963457 | 4070562 | 4901 2117 | 1 | 1 1010.31/1010.73 c 1010s | 24 | 5978534 | 4078662 | 4901 2120 | 1 | 1 1012.31/1012.75 c 1012s | 24 | 5991185 | 4087162 | 4901 2124 | 1 | 1 1014.31/1014.77 c 1014s | 24 | 6000245 | 4093762 | 4901 2126 | 1 | 1 1016.31/1016.78 c 1016s | 24 | 6009065 | 4100762 | 4901 2129 | 1 | 1 1018.41/1018.80 c 1018s | 24 | 6019667 | 4108462 | 4901 2132 | 1 | 1 1020.41/1020.82 c 1020s | 24 | 6028852 | 4115762 | 4901 2135 | 1 | 1 1022.41/1022.84 c 1022s | 24 | 6039349 | 4123762 | 4901 2139 | 1 | 1 1024.41/1024.87 c 1024s | 24 | 6049440 | 4131262 | 4901 2142 | 1 | 1 1026.41/1026.87 c 1026s | 24 | 6061549 | 4139062 | 4901 2145 | 1 | 1 1028.41/1028.89 c 1028s | 24 | 6074511 | 4146962 | 4901 2148 | 1 | 1 1030.51/1030.90 c 1030s | 24 | 6086824 | 4154862 | 4901 2151 | 1 | 1 1032.51/1032.91 c 1032s | 24 | 6098033 | 4162662 | 4901 2154 | 1 | 1 1034.50/1034.91 c 1034s | 24 | 6108897 | 4170362 | 4901 2157 | 1 | 1 1036.50/1036.92 c 1036s | 24 | 6119004 | 4177762 | 4901 2160 | 1 | 1 1038.50/1038.92 c 1038s | 24 | 6127987 | 4184762 | 4901 2163 | 1 | 1 1040.50/1040.95 c 1040s | 24 | 6136636 | 4192162 | 4901 2166 | 1 | 1 1042.51/1042.96 c 1042s | 24 | 6145979 | 4199862 | 4901 2169 | 1 | 1 1044.50/1044.97 c 1044s | 24 | 6158026 | 4207662 | 4901 2172 | 1 | 1 1046.60/1047.01 c 1046s | 24 | 6169909 | 4216062 | 4901 2176 | 1 | 1 1048.60/1049.04 c 1049s | 24 | 6179474 | 4223662 | 4901 2179 | 1 | 1 1050.60/1051.04 c 1051s | 24 | 6188894 | 4231862 | 4901 2182 | 1 | 1 1052.60/1053.05 c 1053s | 24 | 6197906 | 4239562 | 4901 2185 | 1 | 1 1054.60/1055.06 c 1055s | 24 | 6210484 | 4246462 | 4901 2188 | 1 | 1 1056.60/1057.07 c 1057s | 24 | 6224001 | 4254062 | 4901 2191 | 1 | 1 1058.60/1059.08 c 1059s | 24 | 6237259 | 4261462 | 4901 2194 | 1 | 1 1060.70/1061.10 c 1061s | 24 | 6249139 | 4269362 | 4901 2197 | 1 | 1 1062.70/1063.10 c 1063s | 24 | 6262685 | 4277062 | 4901 2200 | 1 | 1 1064.70/1065.12 c 1065s | 24 | 6274362 | 4284562 | 4901 2203 | 1 | 1 1066.70/1067.14 c 1067s | 24 | 6285225 | 4292162 | 4901 2206 | 1 | 1 1068.69/1069.16 c 1069s | 24 | 6295957 | 4299762 | 4901 2209 | 1 | 1 1070.70/1071.17 c 1071s | 24 | 6306171 | 4307162 | 4901 2212 | 1 | 1 1072.70/1073.19 c 1073s | 24 | 6317351 | 4314162 | 4901 2215 | 1 | 1 1074.80/1075.21 c 1075s | 24 | 6325976 | 4320962 | 4901 2218 | 1 | 1 1076.80/1077.22 c 1077s | 24 | 6335353 | 4328462 | 4901 2221 | 1 | 1 1078.81/1079.23 c 1079s | 24 | 6347243 | 4336062 | 4901 2224 | 1 | 1 1080.80/1081.25 c 1081s | 24 | 6357926 | 4343562 | 4901 2227 | 1 | 1 1082.80/1083.28 c 1083s | 24 | 6366991 | 4350962 | 4901 2230 | 1 | 1 1084.90/1085.30 c 1085s | 24 | 6377834 | 4358062 | 4901 2233 | 1 | 1 1086.90/1087.31 c 1087s | 24 | 6386594 | 4365162 | 4901 2235 | 1 | 1 1088.90/1089.32 c 1089s | 24 | 6397515 | 4372262 | 4901 2238 | 1 | 1 1090.90/1091.34 c 1091s | 24 | 6407764 | 4379862 | 4901 2241 | 1 | 1 1092.90/1093.35 c 1093s | 24 | 6416861 | 4387762 | 4901 2245 | 1 | 1 1094.90/1095.37 c 1095s | 24 | 6426735 | 4395262 | 4901 2248 | 1 | 1 1097.00/1097.41 c 1097s | 24 | 6438465 | 4402762 | 4901 2251 | 1 | 1 1099.00/1099.42 c 1099s | 24 | 6448485 | 4410462 | 4901 2254 | 1 | 1 1100.99/1101.46 c 1101s | 24 | 6458560 | 4417662 | 4901 2257 | 1 | 1 1103.00/1103.46 c 1103s | 24 | 6467436 | 4425462 | 4901 2260 | 1 | 1 1104.99/1105.48 c 1105s | 24 | 6476855 | 4432362 | 4901 2262 | 1 | 1 1107.09/1107.50 c 1107s | 24 | 6485841 | 4439562 | 4901 2265 | 1 | 1 1109.09/1109.52 c 1109s | 24 | 6498846 | 4446862 | 4901 2268 | 1 | 1 1111.09/1111.52 c 1111s | 24 | 6508117 | 4453762 | 4901 2271 | 1 | 1 1113.09/1113.52 c 1113s | 24 | 6516190 | 4460562 | 4901 2274 | 1 | 1 1115.10/1115.52 c 1115s | 24 | 6525246 | 4468162 | 4901 2277 | 1 | 1 1117.09/1117.55 c 1117s | 24 | 6534100 | 4475862 | 4901 2280 | 1 | 1 1119.09/1119.55 c 1119s | 24 | 6542682 | 4483362 | 4901 2283 | 1 | 1 1121.09/1121.55 c 1121s | 24 | 6552395 | 4490962 | 4901 2286 | 1 | 1 1123.09/1123.56 c 1123s | 24 | 6560687 | 4498162 | 4901 2289 | 1 | 1 1125.09/1125.57 c 1125s | 24 | 6570234 | 4505562 | 4901 2292 | 1 | 1 1127.19/1127.62 c 1127s | 24 | 6581368 | 4513562 | 4901 2295 | 1 | 1 1129.19/1129.65 c 1129s | 24 | 6590633 | 4520762 | 4901 2298 | 1 | 1 1131.19/1131.66 c 1131s | 24 | 6599471 | 4527862 | 4901 2301 | 1 | 1 1133.19/1133.68 c 1133s | 24 | 6609024 | 4535662 | 4901 2304 | 1 | 1 1135.28/1135.70 c 1135s | 24 | 6619002 | 4543662 | 4901 2307 | 1 | 1 1137.28/1137.72 c 1137s | 24 | 6628734 | 4550862 | 4901 2310 | 1 | 1 1139.30/1139.73 c 1139s | 24 | 6637188 | 4557862 | 4901 2313 | 1 | 1 1141.29/1141.76 c 1141s | 24 | 6647486 | 4566262 | 4901 2316 | 1 | 1 1143.29/1143.77 c 1143s | 24 | 6657688 | 4574062 | 4901 2319 | 1 | 1 1145.29/1145.79 c 1145s | 24 | 6668326 | 4581962 | 4901 2322 | 1 | 1 1147.39/1147.81 c 1147s | 24 | 6678741 | 4590962 | 4901 2326 | 1 | 1 1149.39/1149.85 c 1149s | 24 | 6689184 | 4600062 | 4901 2330 | 1 | 1 1151.40/1151.87 c 1151s | 24 | 6700109 | 4609162 | 4901 2333 | 1 | 1 1153.39/1153.89 c 1153s | 24 | 6710554 | 4617562 | 4901 2337 | 1 | 1 1155.39/1155.89 c 1155s | 24 | 6720196 | 4625662 | 4901 2340 | 1 | 1 1157.49/1157.90 c 1157s | 24 | 6729918 | 4633862 | 4901 2343 | 1 | 1 1159.49/1159.92 c 1159s | 24 | 6739533 | 4641962 | 4901 2346 | 1 | 1 1161.49/1161.93 c 1161s | 24 | 6749437 | 4650262 | 4901 2350 | 1 | 1 1163.49/1163.98 c 1163s | 24 | 6759847 | 4658662 | 4901 2353 | 1 | 1 1165.49/1165.98 c 1165s | 24 | 6769980 | 4666862 | 4901 2356 | 1 | 1 1167.49/1167.99 c 1167s | 24 | 6779378 | 4674862 | 4901 2359 | 1 | 1 1169.59/1170.00 c 1169s | 24 | 6789139 | 4682762 | 4901 2363 | 1 | 1 1171.58/1172.02 c 1171s | 24 | 6799001 | 4690662 | 4901 2366 | 1 | 1 1173.58/1174.02 c 1173s | 24 | 6808386 | 4698662 | 4901 2369 | 1 | 1 1175.59/1176.04 c 1176s | 24 | 6818528 | 4706562 | 4901 2372 | 1 | 1 1177.58/1178.06 c 1178s | 24 | 6828096 | 4714562 | 4901 2375 | 1 | 1 1179.58/1180.07 c 1180s | 24 | 6840488 | 4722662 | 4901 2379 | 1 | 1 1181.58/1182.08 c 1182s | 24 | 6850280 | 4730362 | 4901 2382 | 1 | 1 1183.58/1184.09 c 1184s | 24 | 6860298 | 4738162 | 4901 2385 | 1 | 1 1185.68/1186.11 c 1186s | 24 | 6869681 | 4746062 | 4901 2388 | 1 | 1 1187.69/1188.11 c 1188s | 24 | 6878511 | 4753662 | 4901 2391 | 1 | 1 1189.68/1190.13 c 1190s | 24 | 6888535 | 4761662 | 4901 2394 | 1 | 1 1191.68/1192.18 c 1192s | 24 | 6898681 | 4769962 | 4901 2398 | 1 | 1 1193.68/1194.19 c 1194s | 24 | 6906806 | 4777362 | 4901 2401 | 1 | 1 1195.68/1196.19 c 1196s | 24 | 6915834 | 4785362 | 4901 2404 | 1 | 1 1197.78/1198.21 c 1198s | 24 | 6924533 | 4792862 | 4901 2407 | 1 | 1 1199.78/1200.22 c 1200s | 24 | 6935340 | 4801062 | 4901 2410 | 1 | 1 1201.78/1202.22 c 1202s | 24 | 6944886 | 4808862 | 4901 2413 | 1 | 1 1203.78/1204.23 c 1204s | 24 | 6954839 | 4816962 | 4901 2416 | 1 | 1 1205.78/1206.24 c 1206s | 24 | 6963909 | 4824762 | 4901 2419 | 1 | 1 1207.77/1208.24 c 1208s | 24 | 6973753 | 4833062 | 4901 2423 | 1 | 1 1209.77/1210.26 c 1210s | 24 | 6984728 | 4841662 | 4901 2426 | 1 | 1 1211.78/1212.26 c 1212s | 24 | 6995053 | 4850262 | 4901 2430 | 1 | 1 1213.77/1214.28 c 1214s | 24 | 7004513 | 4858562 | 4901 2433 | 1 | 1 1215.77/1216.28 c 1216s | 24 | 7015312 | 4867262 | 4901 2436 | 1 | 1 1217.77/1218.29 c 1218s | 24 | 7024387 | 4875162 | 4901 2440 | 1 | 1 1219.87/1220.31 c 1220s | 24 | 7033786 | 4882462 | 4901 2443 | 1 | 1 1221.87/1222.34 c 1222s | 24 | 7043634 | 4890562 | 4901 2446 | 1 | 1 1223.88/1224.34 c 1224s | 24 | 7052773 | 4898162 | 4901 2449 | 1 | 1 1225.87/1226.35 c 1226s | 24 | 7065035 | 4906162 | 4901 2452 | 1 | 1 1227.87/1228.35 c 1228s | 24 | 7075433 | 4914162 | 4901 2455 | 1 | 1 1229.87/1230.39 c 1230s | 24 | 7084581 | 4921762 | 4901 2458 | 1 | 1 1231.87/1232.40 c 1232s | 24 | 7094237 | 4929862 | 4901 2462 | 1 | 1 1233.97/1234.40 c 1234s | 24 | 7103085 | 4937562 | 4901 2465 | 1 | 1 1235.87/1236.40 c 1236s | 24 | 7111523 | 4945162 | 4901 2468 | 1 | 1 1237.97/1238.42 c 1238s | 24 | 7123167 | 4954362 | 4901 2471 | 1 | 1 1239.97/1240.43 c 1240s | 24 | 7133316 | 4962662 | 4901 2475 | 1 | 1 1241.98/1242.44 c 1242s | 24 | 7145364 | 4971062 | 4901 2478 | 1 | 1 1243.98/1244.44 c 1244s | 24 | 7155542 | 4979062 | 4901 2481 | 1 | 1 1245.98/1246.44 c 1246s | 24 | 7166447 | 4986862 | 4901 2484 | 1 | 1 1247.97/1248.46 c 1248s | 24 | 7177499 | 4994262 | 4901 2487 | 1 | 1 1249.97/1250.48 c 1250s | 24 | 7189316 | 5002262 | 4901 2491 | 1 | 1 1251.97/1252.49 c 1252s | 24 | 7202554 | 5010362 | 4901 2494 | 1 | 1 1254.07/1254.50 c 1254s | 24 | 7213453 | 5017662 | 4901 2497 | 1 | 1 1256.07/1256.50 c 1256s | 24 | 7225103 | 5025662 | 4901 2500 | 1 | 1 1258.07/1258.51 c 1258s | 24 | 7237999 | 5032862 | 5392 2503 | 1 | 1 1260.07/1260.53 c 1260s | 24 | 7249164 | 5040262 | 5392 2505 | 1 | 1 1262.07/1262.54 c 1262s | 24 | 7261909 | 5047562 | 5392 2508 | 1 | 1 1264.07/1264.55 c 1264s | 24 | 7271940 | 5054862 | 5392 2511 | 1 | 1 1266.06/1266.55 c 1266s | 24 | 7283482 | 5063362 | 5392 2514 | 1 | 1 1266.46/1266.97 c 1266s | 25 | 7285642 | 5065098 | 5392 2514 | 1 | 1 1268.47/1268.99 c 1268s | 25 | 7297861 | 5072598 | 5392 2517 | 1 | 1 1270.47/1270.99 c 1270s | 25 | 7309362 | 5079998 | 5392 2520 | 1 | 1 1272.57/1273.01 c 1272s | 25 | 7319811 | 5087898 | 5392 2523 | 1 | 1 1274.58/1275.07 c 1275s | 25 | 7334171 | 5095798 | 5392 2525 | 1 | 1 1276.57/1277.10 c 1277s | 25 | 7348242 | 5104098 | 5392 2528 | 1 | 1 1278.67/1279.11 c 1279s | 25 | 7359665 | 5111598 | 5392 2531 | 1 | 1 1280.67/1281.11 c 1281s | 25 | 7369222 | 5118998 | 5392 2534 | 1 | 1 1282.67/1283.14 c 1283s | 25 | 7378578 | 5126598 | 5392 2537 | 1 | 1 1284.66/1285.17 c 1285s | 25 | 7388504 | 5134298 | 5392 2540 | 1 | 1 1286.67/1287.17 c 1287s | 25 | 7399149 | 5142498 | 5392 2543 | 1 | 1 1288.66/1289.18 c 1289s | 25 | 7410303 | 5150398 | 5392 2545 | 1 | 1 1290.76/1291.20 c 1291s | 25 | 7422875 | 5158098 | 5392 2548 | 1 | 1 1292.76/1293.22 c 1293s | 25 | 7435148 | 5165698 | 5392 2551 | 1 | 1 1294.76/1295.23 c 1295s | 25 | 7449006 | 5173298 | 5392 2554 | 1 | 1 1296.77/1297.24 c 1297s | 25 | 7462123 | 5180798 | 5392 2556 | 1 | 1 1298.78/1299.25 c 1299s | 25 | 7475370 | 5188598 | 5392 2559 | 1 | 1 1300.77/1301.27 c 1301s | 25 | 7485910 | 5196298 | 5392 2562 | 1 | 1 1302.77/1303.29 c 1303s | 25 | 7498240 | 5203598 | 5392 2565 | 1 | 1 1304.77/1305.29 c 1305s | 25 | 7507456 | 5210798 | 5392 2567 | 1 | 1 1306.87/1307.31 c 1307s | 25 | 7517960 | 5218298 | 5392 2570 | 1 | 1 1308.87/1309.31 c 1309s | 25 | 7526729 | 5224998 | 5392 2573 | 1 | 1 1310.87/1311.33 c 1311s | 25 | 7534868 | 5231698 | 5392 2575 | 1 | 1 1312.86/1313.35 c 1313s | 25 | 7543689 | 5239098 | 5392 2578 | 1 | 1 1314.86/1315.36 c 1315s | 25 | 7551986 | 5246098 | 5392 2580 | 1 | 1 1316.86/1317.36 c 1317s | 25 | 7561140 | 5253298 | 5392 2583 | 1 | 1 1318.86/1319.37 c 1319s | 25 | 7569156 | 5259998 | 5392 2585 | 1 | 1 1320.86/1321.38 c 1321s | 25 | 7577506 | 5267198 | 5392 2588 | 1 | 1 1322.86/1323.40 c 1323s | 25 | 7586401 | 5274398 | 5392 2591 | 1 | 1 1324.96/1325.40 c 1325s | 25 | 7595518 | 5281798 | 5392 2593 | 1 | 1 1326.96/1327.42 c 1327s | 25 | 7606107 | 5289498 | 5392 2596 | 1 | 1 1328.96/1329.42 c 1329s | 25 | 7616740 | 5296998 | 5392 2599 | 1 | 1 1330.96/1331.44 c 1331s | 25 | 7627254 | 5304598 | 5392 2602 | 1 | 1 1332.96/1333.46 c 1333s | 25 | 7635890 | 5311798 | 5392 2604 | 1 | 1 1334.97/1335.46 c 1335s | 25 | 7644623 | 5318898 | 5392 2607 | 1 | 1 1336.96/1337.46 c 1337s | 25 | 7654956 | 5326298 | 5392 2610 | 1 | 1 1338.96/1339.46 c 1339s | 25 | 7663826 | 5333798 | 5392 2612 | 1 | 1 1340.96/1341.48 c 1341s | 25 | 7673534 | 5341398 | 5392 2615 | 1 | 1 1342.96/1343.48 c 1343s | 25 | 7682032 | 5348798 | 5392 2618 | 1 | 1 1344.97/1345.48 c 1345s | 25 | 7692768 | 5357198 | 5392 2621 | 1 | 1 1346.96/1347.50 c 1347s | 25 | 7704409 | 5365498 | 5392 2624 | 1 | 1 1349.06/1349.50 c 1349s | 25 | 7716538 | 5374398 | 5392 2627 | 1 | 1 1351.06/1351.52 c 1351s | 25 | 7726734 | 5382198 | 5392 2630 | 1 | 1 1353.06/1353.53 c 1353s | 25 | 7736326 | 5389898 | 5392 2633 | 1 | 1 1355.06/1355.54 c 1355s | 25 | 7748534 | 5397798 | 5392 2636 | 1 | 1 1357.06/1357.55 c 1357s | 25 | 7761616 | 5406198 | 5392 2639 | 1 | 1 1359.05/1359.59 c 1359s | 25 | 7770739 | 5413598 | 5392 2642 | 1 | 1 1361.15/1361.61 c 1361s | 25 | 7785961 | 5421398 | 5392 2644 | 1 | 1 1363.15/1363.63 c 1363s | 25 | 7796987 | 5428998 | 5392 2647 | 1 | 1 1365.16/1365.65 c 1365s | 25 | 7812394 | 5437398 | 5392 2650 | 1 | 1 1367.16/1367.65 c 1367s | 25 | 7824710 | 5445498 | 5392 2653 | 1 | 1 1369.46/1369.91 c 1369s | 25 | 7833908 | 5452598 | 5392 2656 | 1 | 1 1371.45/1371.92 c 1371s | 25 | 7846291 | 5461298 | 5392 2659 | 1 | 1 1373.46/1373.92 c 1373s | 25 | 7862107 | 5469398 | 5392 2662 | 1 | 1 1375.45/1375.94 c 1375s | 25 | 7876195 | 5477398 | 5392 2665 | 1 | 1 1377.45/1377.94 c 1377s | 25 | 7899689 | 5486198 | 5392 2668 | 1 | 1 1379.45/1379.95 c 1379s | 25 | 7911981 | 5493598 | 5392 2671 | 1 | 1 1381.45/1381.99 c 1381s | 25 | 7924329 | 5501198 | 5392 2674 | 1 | 1 1383.55/1384.00 c 1383s | 25 | 7935709 | 5508498 | 5392 2676 | 1 | 1 1385.56/1386.01 c 1385s | 25 | 7945208 | 5515898 | 5392 2679 | 1 | 1 1387.55/1388.03 c 1387s | 25 | 7958053 | 5523598 | 5392 2682 | 1 | 1 1389.55/1390.04 c 1390s | 25 | 7967230 | 5530698 | 5392 2684 | 1 | 1 1391.55/1392.05 c 1392s | 25 | 7980490 | 5538998 | 5392 2687 | 1 | 1 1393.55/1394.06 c 1394s | 25 | 7990504 | 5546598 | 5392 2690 | 1 | 1 1395.55/1396.07 c 1396s | 25 | 7999815 | 5554398 | 5392 2693 | 1 | 1 1397.55/1398.08 c 1398s | 25 | 8008719 | 5561998 | 5392 2696 | 1 | 1 1399.55/1400.08 c 1400s | 25 | 8018276 | 5569798 | 5392 2698 | 1 | 1 1401.65/1402.10 c 1402s | 25 | 8028669 | 5577798 | 5392 2701 | 1 | 1 1403.64/1404.14 c 1404s | 25 | 8037816 | 5585598 | 5392 2704 | 1 | 1 1405.64/1406.17 c 1406s | 25 | 8048250 | 5593898 | 5392 2707 | 1 | 1 1407.65/1408.19 c 1408s | 25 | 8057430 | 5601398 | 5392 2710 | 1 | 1 1409.75/1410.20 c 1410s | 25 | 8066915 | 5608998 | 5392 2713 | 1 | 1 1411.74/1412.25 c 1412s | 25 | 8077425 | 5616498 | 5392 2716 | 1 | 1 1413.74/1414.26 c 1414s | 25 | 8086081 | 5623898 | 5392 2718 | 1 | 1 1415.74/1416.27 c 1416s | 25 | 8095949 | 5631798 | 5392 2721 | 1 | 1 1417.74/1418.27 c 1418s | 25 | 8107416 | 5639998 | 5392 2724 | 1 | 1 1419.75/1420.29 c 1420s | 25 | 8116468 | 5647498 | 5392 2727 | 1 | 1 1421.74/1422.30 c 1422s | 25 | 8124784 | 5654798 | 5392 2729 | 1 | 1 1423.84/1424.31 c 1424s | 25 | 8133277 | 5662098 | 5392 2732 | 1 | 1 1425.84/1426.33 c 1426s | 25 | 8141290 | 5668898 | 5392 2735 | 1 | 1 1427.84/1428.34 c 1428s | 25 | 8150025 | 5676598 | 5392 2737 | 1 | 1 1429.84/1430.35 c 1430s | 25 | 8158725 | 5683998 | 5392 2740 | 1 | 1 1431.85/1432.35 c 1432s | 25 | 8167077 | 5690998 | 5392 2743 | 1 | 1 1433.84/1434.37 c 1434s | 25 | 8177426 | 5699798 | 5392 2746 | 1 | 1 1435.94/1436.45 c 1436s | 25 | 8188428 | 5708198 | 5392 2749 | 1 | 1 1437.94/1438.47 c 1438s | 25 | 8199270 | 5716498 | 5392 2752 | 1 | 1 1439.94/1440.48 c 1440s | 25 | 8211946 | 5724798 | 5392 2755 | 1 | 1 1442.05/1442.51 c 1442s | 25 | 8222000 | 5732698 | 5392 2758 | 1 | 1 1444.05/1444.53 c 1444s | 25 | 8232613 | 5741198 | 5392 2761 | 1 | 1 1446.05/1446.55 c 1446s | 25 | 8242672 | 5748898 | 5392 2764 | 1 | 1 1448.04/1448.55 c 1448s | 25 | 8253506 | 5757198 | 5392 2767 | 1 | 1 1450.04/1450.56 c 1450s | 25 | 8264603 | 5765198 | 5392 2770 | 1 | 1 1452.04/1452.57 c 1452s | 25 | 8275590 | 5772798 | 5392 2773 | 1 | 1 1454.04/1454.59 c 1454s | 25 | 8287777 | 5781098 | 5392 2776 | 1 | 1 1456.14/1456.61 c 1456s | 25 | 8298340 | 5789098 | 5392 2779 | 1 | 1 1458.15/1458.62 c 1458s | 25 | 8311088 | 5796998 | 5392 2781 | 1 | 1 1460.14/1460.63 c 1460s | 25 | 8321951 | 5805198 | 5392 2784 | 1 | 1 1462.14/1462.64 c 1462s | 25 | 8331163 | 5812598 | 5392 2787 | 1 | 1 1464.14/1464.65 c 1464s | 25 | 8343753 | 5820398 | 5392 2790 | 1 | 1 1466.14/1466.67 c 1466s | 25 | 8354610 | 5828198 | 5392 2793 | 1 | 1 1468.15/1468.69 c 1468s | 25 | 8365031 | 5835898 | 5392 2796 | 1 | 1 1470.14/1470.70 c 1470s | 25 | 8378591 | 5844098 | 5392 2799 | 1 | 1 1472.24/1472.71 c 1472s | 25 | 8390552 | 5852098 | 5392 2802 | 1 | 1 1474.24/1474.72 c 1474s | 25 | 8402246 | 5860098 | 5392 2804 | 1 | 1 1476.24/1476.73 c 1476s | 25 | 8416936 | 5867298 | 5392 2807 | 1 | 1 1478.24/1478.75 c 1478s | 25 | 8429565 | 5874798 | 5392 2810 | 1 | 1 1480.24/1480.78 c 1480s | 25 | 8440861 | 5882398 | 5392 2813 | 1 | 1 1482.24/1482.80 c 1482s | 25 | 8452388 | 5889698 | 5392 2815 | 1 | 1 1484.34/1484.82 c 1484s | 25 | 8461686 | 5896998 | 5392 2818 | 1 | 1 1486.33/1486.83 c 1486s | 25 | 8473995 | 5904598 | 5392 2821 | 1 | 1 1488.33/1488.85 c 1488s | 25 | 8483262 | 5912098 | 5392 2823 | 1 | 1 1490.33/1490.86 c 1490s | 25 | 8497872 | 5919698 | 5392 2826 | 1 | 1 1492.34/1492.87 c 1492s | 25 | 8513043 | 5927498 | 5392 2829 | 1 | 1 1494.33/1494.87 c 1494s | 25 | 8527222 | 5935198 | 5392 2832 | 1 | 1 1496.33/1496.89 c 1496s | 25 | 8536997 | 5942298 | 5392 2834 | 1 | 1 1498.43/1498.91 c 1498s | 25 | 8547607 | 5950198 | 5392 2837 | 1 | 1 1500.43/1500.92 c 1500s | 25 | 8559167 | 5957498 | 5392 2840 | 1 | 1 1502.44/1502.93 c 1502s | 25 | 8569735 | 5964398 | 5392 2843 | 1 | 1 1504.44/1504.96 c 1504s | 25 | 8584938 | 5972498 | 5392 2846 | 1 | 1 1506.44/1506.97 c 1506s | 25 | 8595934 | 5979698 | 5392 2848 | 1 | 1 1508.43/1508.97 c 1508s | 25 | 8606546 | 5987298 | 5392 2851 | 1 | 1 1510.43/1510.98 c 1510s | 25 | 8617077 | 5994298 | 5392 2853 | 1 | 1 1512.43/1512.99 c 1512s | 25 | 8627464 | 6001798 | 5392 2856 | 1 | 1 1514.53/1515.00 c 1514s | 25 | 8636565 | 6008498 | 5392 2859 | 1 | 1 1516.54/1517.02 c 1516s | 25 | 8648077 | 6016798 | 5392 2862 | 1 | 1 1518.53/1519.03 c 1518s | 25 | 8658795 | 6024198 | 5392 2864 | 1 | 1 1520.53/1521.04 c 1521s | 25 | 8668597 | 6031298 | 5392 2867 | 1 | 1 1522.53/1523.04 c 1523s | 25 | 8683110 | 6038598 | 5392 2870 | 1 | 1 1524.53/1525.05 c 1525s | 25 | 8695230 | 6045898 | 5392 2872 | 1 | 1 1526.53/1527.06 c 1527s | 25 | 8706025 | 6052898 | 5392 2875 | 1 | 1 1528.54/1529.07 c 1529s | 25 | 8716014 | 6060198 | 5392 2878 | 1 | 1 1530.53/1531.07 c 1531s | 25 | 8726184 | 6067398 | 5392 2880 | 1 | 1 1532.53/1533.07 c 1533s | 25 | 8735699 | 6074698 | 5392 2883 | 1 | 1 1534.53/1535.09 c 1535s | 25 | 8744672 | 6081798 | 5392 2885 | 1 | 1 1536.63/1537.10 c 1537s | 25 | 8754058 | 6089198 | 5392 2888 | 1 | 1 1538.63/1539.12 c 1539s | 25 | 8763220 | 6096198 | 5392 2891 | 1 | 1 1540.63/1541.17 c 1541s | 25 | 8772425 | 6103898 | 5392 2894 | 1 | 1 1542.63/1543.17 c 1543s | 25 | 8782756 | 6111398 | 5392 2896 | 1 | 1 1544.63/1545.18 c 1545s | 25 | 8795196 | 6118598 | 5392 2899 | 1 | 1 1546.63/1547.19 c 1547s | 25 | 8804140 | 6126098 | 5392 2902 | 1 | 1 1548.63/1549.19 c 1549s | 25 | 8814474 | 6133598 | 5392 2904 | 1 | 1 1550.72/1551.22 c 1551s | 25 | 8823344 | 6140998 | 5392 2907 | 1 | 1 1552.73/1553.24 c 1553s | 25 | 8833218 | 6148598 | 5392 2910 | 1 | 1 1554.72/1555.26 c 1555s | 25 | 8841774 | 6155798 | 5392 2912 | 1 | 1 1556.72/1557.28 c 1557s | 25 | 8849111 | 6162298 | 5392 2915 | 1 | 1 1558.82/1559.30 c 1559s | 25 | 8857688 | 6169398 | 5392 2917 | 1 | 1 1560.82/1561.30 c 1561s | 25 | 8865716 | 6176198 | 5392 2920 | 1 | 1 1562.82/1563.31 c 1563s | 25 | 8875087 | 6182898 | 5392 2922 | 1 | 1 1564.83/1565.32 c 1565s | 25 | 8884179 | 6190098 | 5392 2925 | 1 | 1 1566.82/1567.32 c 1567s | 25 | 8893713 | 6197998 | 5392 2928 | 1 | 1 1568.82/1569.32 c 1569s | 25 | 8902624 | 6205598 | 5392 2931 | 1 | 1 1570.82/1571.35 c 1571s | 25 | 8912493 | 6213198 | 5392 2933 | 1 | 1 1572.82/1573.35 c 1573s | 25 | 8922253 | 6220698 | 5392 2936 | 1 | 1 1574.83/1575.38 c 1575s | 25 | 8932449 | 6228098 | 5392 2939 | 1 | 1 1576.82/1577.38 c 1577s | 25 | 8942328 | 6235698 | 5392 2942 | 1 | 1 1578.82/1579.38 c 1579s | 25 | 8953700 | 6243698 | 5392 2945 | 1 | 1 1580.82/1581.39 c 1581s | 25 | 8964190 | 6251098 | 5392 2947 | 1 | 1 1582.92/1583.40 c 1583s | 25 | 8973749 | 6258898 | 5392 2950 | 1 | 1 1584.92/1585.41 c 1585s | 25 | 8983385 | 6266698 | 5392 2953 | 1 | 1 1586.92/1587.42 c 1587s | 25 | 8993391 | 6273998 | 5392 2956 | 1 | 1 1588.92/1589.43 c 1589s | 25 | 9002880 | 6281598 | 5392 2958 | 1 | 1 1590.92/1591.45 c 1591s | 25 | 9013857 | 6288898 | 5392 2961 | 1 | 1 1592.91/1593.47 c 1593s | 25 | 9022342 | 6295598 | 5392 2964 | 1 | 1 1594.91/1595.49 c 1595s | 25 | 9031676 | 6302898 | 5392 2966 | 1 | 1 1596.92/1597.49 c 1597s | 25 | 9040467 | 6310198 | 5392 2969 | 1 | 1 1599.03/1599.50 c 1599s | 25 | 9050066 | 6317398 | 5392 2972 | 1 | 1 1601.02/1601.50 c 1601s | 25 | 9059304 | 6325098 | 5392 2974 | 1 | 1 1603.02/1603.54 c 1603s | 25 | 9068611 | 6332598 | 5392 2977 | 1 | 1 1605.02/1605.55 c 1605s | 25 | 9077982 | 6339198 | 5392 2979 | 1 | 1 1607.02/1607.58 c 1607s | 25 | 9087622 | 6346898 | 5392 2982 | 1 | 1 1609.02/1609.59 c 1609s | 25 | 9095937 | 6353698 | 5392 2985 | 1 | 1 1611.13/1611.61 c 1611s | 25 | 9105889 | 6360998 | 5392 2987 | 1 | 1 1613.12/1613.61 c 1613s | 25 | 9114032 | 6368198 | 5392 2990 | 1 | 1 1615.12/1615.63 c 1615s | 25 | 9123509 | 6375298 | 5392 2993 | 1 | 1 1617.11/1617.65 c 1617s | 25 | 9133351 | 6382698 | 5392 2995 | 1 | 1 1619.11/1619.65 c 1619s | 25 | 9144461 | 6390398 | 5392 2998 | 1 | 1 1621.11/1621.66 c 1621s | 25 | 9152723 | 6397598 | 5392 3001 | 1 | 1 1623.22/1623.73 c 1623s | 25 | 9160501 | 6404298 | 5392 3003 | 1 | 1 1625.21/1625.74 c 1625s | 25 | 9170973 | 6412298 | 5392 3006 | 1 | 1 1627.21/1627.74 c 1627s | 25 | 9179632 | 6419298 | 5392 3009 | 1 | 1 1629.21/1629.75 c 1629s | 25 | 9188078 | 6426498 | 5392 3011 | 1 | 1 1631.21/1631.76 c 1631s | 25 | 9198040 | 6433998 | 5392 3014 | 1 | 1 1633.21/1633.77 c 1633s | 25 | 9207801 | 6441598 | 5392 3017 | 1 | 1 1635.21/1635.78 c 1635s | 25 | 9217354 | 6449298 | 5392 3020 | 1 | 1 1637.31/1637.80 c 1637s | 25 | 9226403 | 6456898 | 5392 3023 | 1 | 1 1639.32/1639.81 c 1639s | 25 | 9236014 | 6464798 | 5392 3025 | 1 | 1 1641.32/1641.82 c 1641s | 25 | 9244482 | 6471698 | 5392 3028 | 1 | 1 1643.31/1643.85 c 1643s | 25 | 9252731 | 6478898 | 5392 3031 | 1 | 1 1645.31/1645.87 c 1645s | 25 | 9262139 | 6486398 | 5392 3033 | 1 | 1 1647.32/1647.88 c 1647s | 25 | 9270648 | 6493298 | 5392 3036 | 1 | 1 1649.41/1649.90 c 1649s | 25 | 9282051 | 6501098 | 5392 3039 | 1 | 1 1651.41/1651.94 c 1651s | 25 | 9293045 | 6508898 | 5392 3042 | 1 | 1 1653.41/1653.95 c 1653s | 25 | 9303321 | 6516598 | 5392 3044 | 1 | 1 1655.41/1655.97 c 1655s | 25 | 9312585 | 6523598 | 5392 3047 | 1 | 1 1657.41/1657.98 c 1657s | 25 | 9322974 | 6530898 | 5392 3050 | 1 | 1 1659.42/1660.00 c 1659s | 25 | 9331292 | 6537898 | 5392 3052 | 1 | 1 1661.51/1662.00 c 1661s | 25 | 9339065 | 6544898 | 5392 3055 | 1 | 1 1663.51/1664.00 c 1663s | 25 | 9347854 | 6552498 | 5392 3057 | 1 | 1 1665.51/1666.02 c 1665s | 25 | 9357107 | 6560298 | 5392 3060 | 1 | 1 1667.51/1668.02 c 1667s | 25 | 9365690 | 6567498 | 5392 3063 | 1 | 1 1669.51/1670.03 c 1669s | 25 | 9374793 | 6574898 | 5392 3066 | 1 | 1 1671.51/1672.03 c 1671s | 25 | 9383739 | 6582398 | 5392 3068 | 1 | 1 1673.51/1674.04 c 1674s | 25 | 9392946 | 6589398 | 5392 3071 | 1 | 1 1675.61/1676.10 c 1676s | 25 | 9405193 | 6597398 | 5392 3074 | 1 | 1 1677.61/1678.12 c 1678s | 25 | 9416314 | 6605098 | 5392 3076 | 1 | 1 1679.60/1680.15 c 1680s | 25 | 9425459 | 6612598 | 5392 3079 | 1 | 1 1681.60/1682.16 c 1682s | 25 | 9434546 | 6619598 | 5392 3082 | 1 | 1 1683.61/1684.16 c 1684s | 25 | 9443120 | 6626698 | 5392 3084 | 1 | 1 1685.60/1686.17 c 1686s | 25 | 9451518 | 6633898 | 5392 3087 | 1 | 1 1687.60/1688.18 c 1688s | 25 | 9461754 | 6641498 | 5392 3090 | 1 | 1 1689.60/1690.19 c 1690s | 25 | 9471092 | 6648798 | 5392 3092 | 1 | 1 1691.70/1692.20 c 1692s | 25 | 9479833 | 6655898 | 5392 3095 | 1 | 1 1693.70/1694.28 c 1694s | 25 | 9488186 | 6662798 | 5392 3097 | 1 | 1 1695.71/1696.30 c 1696s | 25 | 9497414 | 6670298 | 5392 3100 | 1 | 1 1697.81/1698.32 c 1698s | 25 | 9506797 | 6677798 | 5392 3103 | 1 | 1 1699.81/1700.33 c 1700s | 25 | 9515445 | 6684798 | 5392 3105 | 1 | 1 1701.81/1702.36 c 1702s | 25 | 9523575 | 6691898 | 5392 3108 | 1 | 1 1703.81/1704.36 c 1704s | 25 | 9531672 | 6699098 | 5392 3111 | 1 | 1 1705.80/1706.38 c 1706s | 25 | 9540078 | 6706198 | 5392 3113 | 1 | 1 1707.81/1708.38 c 1708s | 25 | 9548844 | 6713298 | 5392 3116 | 1 | 1 1709.90/1710.42 c 1710s | 25 | 9557887 | 6720598 | 5392 3119 | 1 | 1 1711.90/1712.42 c 1712s | 25 | 9566305 | 6727798 | 5392 3121 | 1 | 1 1713.90/1714.43 c 1714s | 25 | 9574626 | 6734898 | 5392 3124 | 1 | 1 1715.90/1716.44 c 1716s | 25 | 9584353 | 6742398 | 5392 3126 | 1 | 1 1717.90/1718.45 c 1718s | 25 | 9593472 | 6749798 | 5392 3129 | 1 | 1 1719.91/1720.48 c 1720s | 25 | 9601847 | 6756898 | 5392 3132 | 1 | 1 1721.90/1722.49 c 1722s | 25 | 9612361 | 6764498 | 5392 3134 | 1 | 1 1724.00/1724.50 c 1724s | 25 | 9621724 | 6771398 | 5392 3137 | 1 | 1 1726.00/1726.51 c 1726s | 25 | 9630169 | 6778298 | 5392 3139 | 1 | 1 1728.00/1728.53 c 1728s | 25 | 9641153 | 6785898 | 5392 3142 | 1 | 1 1730.00/1730.55 c 1730s | 25 | 9651344 | 6793298 | 5392 3145 | 1 | 1 1732.00/1732.56 c 1732s | 25 | 9660077 | 6800398 | 5392 3148 | 1 | 1 1734.00/1734.57 c 1734s | 25 | 9671042 | 6807898 | 5392 3150 | 1 | 1 1736.00/1736.57 c 1736s | 25 | 9680127 | 6814898 | 5392 3153 | 1 | 1 1738.00/1738.59 c 1738s | 25 | 9688727 | 6822098 | 5392 3155 | 1 | 1 1740.10/1740.60 c 1740s | 25 | 9697732 | 6829198 | 5392 3158 | 1 | 1 1742.10/1742.61 c 1742s | 25 | 9706846 | 6836598 | 5392 3161 | 1 | 1 1744.10/1744.63 c 1744s | 25 | 9715281 | 6843598 | 5392 3163 | 1 | 1 1746.09/1746.64 c 1746s | 25 | 9724118 | 6850898 | 5392 3166 | 1 | 1 1748.09/1748.67 c 1748s | 25 | 9734792 | 6858498 | 5392 3169 | 1 | 1 1750.19/1750.70 c 1750s | 25 | 9744420 | 6866298 | 5392 3172 | 1 | 1 1752.19/1752.73 c 1752s | 25 | 9753235 | 6873698 | 5392 3174 | 1 | 1 1754.19/1754.73 c 1754s | 25 | 9762200 | 6880898 | 5392 3177 | 1 | 1 1756.20/1756.76 c 1756s | 25 | 9771183 | 6888298 | 5392 3180 | 1 | 1 1758.19/1758.77 c 1758s | 25 | 9782009 | 6895798 | 5392 3182 | 1 | 1 1760.19/1760.78 c 1760s | 25 | 9792534 | 6903498 | 5392 3185 | 1 | 1 1762.29/1762.80 c 1762s | 25 | 9803330 | 6910798 | 5392 3188 | 1 | 1 1764.29/1764.82 c 1764s | 25 | 9813015 | 6918498 | 5392 3191 | 1 | 1 1766.29/1766.83 c 1766s | 25 | 9824781 | 6926098 | 5392 3193 | 1 | 1 1768.29/1768.83 c 1768s | 25 | 9835637 | 6933698 | 5392 3196 | 1 | 1 1770.29/1770.84 c 1770s | 25 | 9845399 | 6940998 | 5392 3199 | 1 | 1 1772.29/1772.85 c 1772s | 25 | 9853658 | 6948098 | 5392 3201 | 1 | 1 1774.29/1774.87 c 1774s | 25 | 9862895 | 6955498 | 5392 3204 | 1 | 1 1776.29/1776.88 c 1776s | 25 | 9871633 | 6962798 | 5392 3207 | 1 | 1 1778.29/1778.89 c 1778s | 25 | 9881205 | 6970198 | 5392 3209 | 1 | 1 1780.30/1780.90 c 1780s | 25 | 9891620 | 6977598 | 5392 3212 | 1 | 1 1782.40/1782.92 c 1782s | 25 | 9902504 | 6985598 | 5392 3215 | 1 | 1 1784.39/1784.93 c 1784s | 25 | 9912184 | 6993298 | 5392 3218 | 1 | 1 1786.39/1786.95 c 1786s | 25 | 9924875 | 7001198 | 5392 3221 | 1 | 1 1788.39/1788.96 c 1788s | 25 | 9936821 | 7008798 | 5392 3224 | 1 | 1 1790.40/1790.98 c 1790s | 25 | 9945856 | 7016098 | 5392 3226 | 1 | 1 1792.39/1792.99 c 1792s | 25 | 9955367 | 7023898 | 5392 3229 | 1 | 1 1794.49/1795.01 c 1794s | 25 | 9965932 | 7031898 | 5392 3232 | 1 | 1 1796.49/1797.02 c 1796s | 25 | 9975492 | 7039198 | 5392 3235 | 1 | 1 1798.49/1799.02 c 1798s | 25 | 9985977 | 7047098 | 5392 3238 | 1 | 1
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-4106793-1466278210/watcher-4106793-1466278210 -o /tmp/evaluation-result-4106793-1466278210/solver-4106793-1466278210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106793-1466278210.opb pid=24618 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.29 2.17 1.96 4/180 24621 /proc/meminfo: memFree=29964276/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=611772 CPUtime=0 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 2262 0 0 0 0 0 0 0 20 0 4 0 29866631 626454528 2623 33554432000 4194304 16246674 140736757625504 140736757624928 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 153711 2632 441 2943 0 150605 0 [pid=24621/tid=24622] ppid=24618 vsize=629180 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 644280320 2692 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=633276 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 648474624 2708 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=637372 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866632 652668928 2722 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100217 s] /proc/loadavg: 2.29 2.17 1.96 4/180 24621 /proc/meminfo: memFree=29964276/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 25613 0 0 0 6 3 0 0 20 0 4 0 29866631 1247350784 25960 33554432000 4194304 16246674 140736757625504 140736757624928 5721708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 304529 25972 791 2943 0 301423 0 [pid=24621/tid=24622] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 25978 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 25983 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 25989 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200395 s] /proc/loadavg: 2.29 2.17 1.96 4/180 24621 /proc/meminfo: memFree=29964276/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 50107 0 0 0 12 7 0 0 20 0 4 0 29866631 1247350784 50455 33554432000 4194304 16246674 140736757625504 140736757624928 5723366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 304529 50468 793 2943 0 301423 0 [pid=24621/tid=24622] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 50476 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 50480 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 50482 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300461 s] /proc/loadavg: 2.29 2.17 1.96 4/180 24621 /proc/meminfo: memFree=29964276/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 74568 0 0 0 19 10 0 0 20 0 4 0 29866631 1247350784 74916 33554432000 4194304 16246674 140736757625504 140736757624928 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 304529 74927 793 2943 0 301423 0 [pid=24621/tid=24622] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 74933 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 74938 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 74947 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700339 s] /proc/loadavg: 2.29 2.17 1.96 4/180 24621 /proc/meminfo: memFree=29964276/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 174605 0 0 0 45 24 0 0 20 0 4 0 29866631 1247350784 174952 33554432000 4194304 16246674 140736757625504 140736757607424 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 304529 174968 794 2943 0 301423 0 [pid=24621/tid=24622] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 174978 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 174985 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29866632 1247350784 174989 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.29 2.17 1.96 2/178 24639 /proc/meminfo: memFree=30149188/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 246015 0 0 0 115 34 0 0 20 0 4 0 29866631 1249447936 246340 33554432000 4194304 16246674 140736757625504 140736757607424 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 305041 246340 853 2943 0 301935 0 [pid=24621/tid=24622] ppid=24618 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1249447936 246340 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1249447936 246340 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1249447936 246340 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.29 2.17 1.96 3/184 24674 /proc/meminfo: memFree=29786948/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1307204 CPUtime=3.08 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 267654 0 0 0 272 36 0 0 20 0 4 0 29866631 1338576896 267979 33554432000 4194304 16246674 140736757625504 140736757607424 12477724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 326801 267979 853 2943 0 323695 0 [pid=24621/tid=24622] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 267979 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 267979 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 267979 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.27 2.16 1.96 3/184 24674 /proc/meminfo: memFree=29588440/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1307204 CPUtime=6.28 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 267687 0 0 0 592 36 0 0 20 0 4 0 29866631 1338576896 268012 33554432000 4194304 16246674 140736757625504 140736757607424 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 326801 268012 853 2943 0 323695 0 [pid=24621/tid=24622] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 268012 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 268012 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1338576896 268012 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7003 s] /proc/loadavg: 2.24 2.16 1.96 3/184 24674 /proc/meminfo: memFree=29582736/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 268209 0 0 0 1232 37 0 0 20 0 4 0 29866631 1340674048 268534 33554432000 4194304 16246674 140736757625504 140736757607424 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 327313 268534 854 2943 0 324207 0 [pid=24621/tid=24622] ppid=24618 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1340674048 268534 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1340674048 268534 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1340674048 268534 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.19 2.15 1.96 3/184 24674 /proc/meminfo: memFree=29580440/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1312324 CPUtime=25.48 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 269028 0 0 0 2511 37 0 0 20 0 4 0 29866631 1343819776 269353 33554432000 4194304 16246674 140736757625504 140736757607424 5823234 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 328081 269353 854 2943 0 324975 0 [pid=24621/tid=24622] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269353 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269353 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269353 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.24 2.17 1.97 3/184 24675 /proc/meminfo: memFree=29579824/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 269179 0 0 0 5071 37 0 0 20 0 4 0 29866631 1343819776 269504 33554432000 4194304 16246674 140736757625504 140736757607424 5754541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 328081 269504 854 2943 0 324975 0 [pid=24621/tid=24622] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269504 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269504 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1343819776 269504 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.20 2.17 1.98 3/183 24676 /proc/meminfo: memFree=29575960/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 270203 0 0 0 10190 38 0 0 20 0 4 0 29866631 1348014080 270528 33554432000 4194304 16246674 140736757625504 140736757607424 5602895 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 329105 270528 854 2943 0 325999 0 [pid=24621/tid=24622] ppid=24618 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1348014080 270528 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1348014080 270528 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1348014080 270528 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1353256960 271813 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1321540 [startup+1302.3 s] /proc/loadavg: 2.13 2.14 2.07 3/183 24707 /proc/meminfo: memFree=29094660/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1301.87 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 130131 56 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 13198652 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.17 2.14 2.07 3/183 24708 /proc/meminfo: memFree=28997940/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1361.85 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 136128 57 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 5722712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.14 2.13 2.07 4/183 24709 /proc/meminfo: memFree=28945100/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1421.85 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 142127 58 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 5523513 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.13 2.13 2.08 3/183 24710 /proc/meminfo: memFree=28945024/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1481.84 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 148125 59 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 12483632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.05 2.11 2.07 3/183 24711 /proc/meminfo: memFree=28945192/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1541.84 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 154124 60 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757624680 5723034 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.07 2.10 2.07 4/183 24713 /proc/meminfo: memFree=28944876/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1601.82 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 160121 61 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 5823523 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1324612 [startup+1662.3 s] /proc/loadavg: 2.15 2.11 2.08 3/183 24714 /proc/meminfo: memFree=28944992/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1661.81 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 166119 62 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1324612 [startup+1722.3 s] /proc/loadavg: 2.05 2.09 2.07 3/183 24715 /proc/meminfo: memFree=28945800/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1324612 CPUtime=1721.8 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272689 0 0 0 172117 63 0 0 20 0 4 0 29866631 1356402688 272581 33554432000 4194304 16246674 140736757625504 140736757607424 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331153 272581 855 2943 0 328047 0 [pid=24621/tid=24622] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1356402688 272581 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1324612 [startup+1782.3 s] /proc/loadavg: 2.05 2.08 2.07 4/183 24716 /proc/meminfo: memFree=28944568/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1325636 CPUtime=1781.8 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272945 0 0 0 178116 64 0 0 20 0 4 0 29866631 1357451264 272837 33554432000 4194304 16246674 140736757625504 140736757607424 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331409 272837 855 2943 0 328303 0 [pid=24621/tid=24622] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.03 2.08 2.07 3/184 24719 /proc/meminfo: memFree=28944316/32872528 swapFree=534252/566956 [pid=24621] ppid=24618 vsize=1325636 CPUtime=1800.09 cores=0,2,4,6 /proc/24621/stat : 24621 (toysat) R 24618 24621 24407 0 -1 4202496 272945 0 0 0 179945 64 0 0 20 0 4 0 29866631 1357451264 272837 33554432000 4194304 16246674 140736757625504 140736757607424 5523325 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24621/statm: 331409 272837 855 2943 0 328303 0 [pid=24621/tid=24622] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24622/stat : 24622 (toysat) S 24618 24621 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076507966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=24621/tid=24623] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24623/stat : 24623 (toysat) S 24618 24621 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076497476848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=24621/tid=24624] ppid=24618 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/24621/task/24624/stat : 24624 (toysat) S 24618 24621 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29866632 1357451264 272837 33554432000 4194304 16246674 140736757625504 140076487003312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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 24621 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.46 CPU system time (s): 0.641902 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.641902 maximum resident set size= 1091348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272945 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= 450 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.40333 second user time and 7.12892 second system time The end
Begin job on node138 at 2016-06-18 21:30:10 IDJOB=4106793 IDBENCH=48262 IDSOLVER=2542 FILE ID=node138/4106793-1466278210 RUNJOBID= node138-1466276409-24423 PBS_JOBID= 19918262 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106793-1466278210/watcher-4106793-1466278210 -o /tmp/evaluation-result-4106793-1466278210/solver-4106793-1466278210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106793-1466278210.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED=290966902 node138.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.395 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.79 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.395 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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.395 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.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29965432 kB Buffers: 148244 kB Cached: 279412 kB SwapCached: 1060 kB Active: 1301828 kB Inactive: 297000 kB Active(anon): 1171324 kB Inactive(anon): 1696 kB Active(file): 130504 kB Inactive(file): 295304 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099640 kB Dirty: 16356 kB Writeback: 0 kB AnonPages: 1736716 kB Mapped: 10792 kB Shmem: 0 kB Slab: 607904 kB SReclaimable: 51472 kB SUnreclaim: 556432 kB KernelStack: 1504 kB PageTables: 7664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1878972 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1196032 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= 71700 MiB End job on node138 at 2016-06-18 22:00:11