| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
| MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
| 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) | 1228 |
| Sum of products size (including duplicates) | 2456 |
| Number of different products | 614 |
| Sum of products size | 1228 |
0.00/0.00 c 2016-06-07T03:31:40+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-4080109-1465263100.opb"] 0.00/0.01 c use --random-gen="2643790657 4133080856 840742916 3822914456 92732897 2663386542 1693761161 2442599814 2735799004 3405961772 2528665768 3413532445 2721045629 1685448286 2831918349 2557641007 105499146 2032131849 3564292217 1630095786 291441944 1005829771 2809564028 151110907 3367926569 76376113 1954933797 2706076229 772901194 4148760579 79692879 1096929831 2473209472 972249420 653812823 1153114549 253561953 2067497065 3426339244 1247857392 2272644455 2564695565 3799929788 2941421668 3278104794 1426933238 3310515022 1082035719 3306405355 615719426 3763209584 1917733557 803562634 1075345090 3832226302 402611543 193096093 816637779 613516632 1790740523 78587946 1427938960 2146256370 544886711 31758334 3096855890 3387368897 325637308 2032319214 2273570052 49261895 1732093478 639440904 4032959876 2267115355 748311563 2482038048 764715374 127551338 346193806 4046965789 4277754283 728337119 1676542830 3215095913 633960969 3972088198 2986854153 1556229026 2448004803 331510281 1320666615 1375879587 3413321726 1943056142 765585426 61975879 4214980981 2867245989 1231274463 355621780 791820217 1850314846 846268899 2632050902 1254643852 2335307680 3325402451 3710706113 1406204637 1410179599 1457369390 1788352979 4286512129 2559770298 1408967817 1072699016 605415022 1172154188 1461288362 872604919 2624904470 4062977523 3772878106 608185591 2379168437 1150491759 523155773 1481360668 1320683233 864243143 1621359191 1237070289 3312258448 1256142836 982386455 57548240 2347335595 2785447048 3283875396 864118794 420807754 2255818426 2816927621 90396852 3276027679 1426794827 1750473277 2056025250 2833332057 2256928144 1654630206 3982112032 1340776342 3981663092 975193056 1475007179 695944225 123830855 2194046244 1725560425 2377275330 1729294297 997417758 4030652325 335439851 374331776 9814495 3517996042 2568031668 3078223341 114928009 2350832488 107688821 3983227340 1665995194 2569842210 3809272290 315252556 2826496643 2418569707 2941289161 2748141826 582327714 923694987 225820890 326990909 97034131 2570242478 2946717069 2273626578 4178712717 4141924862 2251018388 1240341194 435263912 2798738596 374616528 783154005 3932349499 1943640164 2317851932 2066429333 396174466 310343382 2079346554 3191717437 2585995691 2903077587 964833324 615813689 1880198147 2609827422 714889626 407949923 1410327427 3029354113 2739859818 1519133965 771685606 4135588573 3198655000 1883561285 3360756272 3964889574 1136462945 2983007590 1237973897 2010272232 3461590195 1115120379 2908090255 4132738250 2530773031 1061297902 1873906070 1523845631 3011826943 1947972862 2637861694 2777381989 1294822295 3817321742 1591715793 2651985452 3639061792 1067249997 644874744 2181098312 1746702301 3783797883 1015101120 3206926332 3488281481 3631873977 3033981018 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 | 493 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 72 | 1 | 493 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 = 72 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 | 493 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 28 | 2 | 493 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 = 28 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 | 493 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 26 | 1 | 493 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.03 c BCD2: 2 <= obj <= 41 0.00/0.03 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 493 0 | 1 | 0 0.00/0.05 c 0.0s | 1 | 645 | 100 | 543 0 | 1 | 1 0.00/0.09 c 0.1s | 2 | 1797 | 250 | 598 0 | 1 | 1 0.08/0.13 c 0.1s | 3 | 3495 | 475 | 658 0 | 1 | 1 0.19/0.21 c 0.2s | 4 | 4260 | 813 | 724 1 | 1 | 1 0.29/0.33 c 0.3s | 5 | 4981 | 1320 | 797 2 | 1 | 1 0.49/0.51 c 0.5s | 6 | 6308 | 2081 | 877 4 | 1 | 1 0.79/0.80 c 0.8s | 7 | 8128 | 3223 | 965 6 | 1 | 1 1.09/1.16 c 1.1s | 8 | 11114 | 4936 | 1062 9 | 1 | 1 1.49/1.59 c 1.6s | 9 | 15640 | 7506 | 1169 14 | 1 | 1 2.29/2.32 c 2.3s | 10 | 21112 | 11361 | 1286 19 | 1 | 1 3.18/3.29 c 3.3s | 11 | 37088 | 17144 | 1415 28 | 1 | 1 4.78/4.81 c 4.8s | 12 | 53687 | 25819 | 1557 39 | 1 | 1 6.78/6.82 c 6.8s | 12 | 69850 | 36919 | 1557 53 | 1 | 1 7.08/7.14 c 7.1s | 13 | 73372 | 38832 | 1713 55 | 1 | 1 9.08/9.15 c 9.1s | 13 | 95404 | 50532 | 1713 68 | 1 | 1 10.38/10.45 c 10.4s | 14 | 105360 | 58352 | 1885 76 | 1 | 1 12.38/12.47 c 12.4s | 14 | 126857 | 69852 | 1885 88 | 1 | 1 14.39/14.49 c 14.5s | 14 | 145032 | 81552 | 1885 100 | 1 | 1 15.49/15.55 c 15.5s | 15 | 152979 | 87632 | 2074 106 | 1 | 1 17.48/17.56 c 17.5s | 15 | 174263 | 98832 | 2074 117 | 1 | 1 19.48/19.58 c 19.5s | 15 | 192631 | 109532 | 2074 126 | 1 | 1 21.48/21.59 c 21.6s | 15 | 208352 | 119832 | 2074 136 | 1 | 1 23.58/23.60 c 23.6s | 15 | 223208 | 130132 | 2074 146 | 1 | 1 23.78/23.88 c 23.8s | 16 | 224882 | 131552 | 2282 147 | 1 | 1 25.78/25.88 c 25.8s | 16 | 240326 | 142152 | 2282 156 | 1 | 1 27.77/27.89 c 27.9s | 16 | 258318 | 153052 | 2282 165 | 1 | 1 29.78/29.90 c 29.9s | 16 | 278797 | 163552 | 2282 174 | 1 | 1 31.77/31.90 c 31.9s | 16 | 293684 | 172352 | 2282 181 | 1 | 1 33.88/33.91 c 33.9s | 16 | 310878 | 181352 | 2282 189 | 1 | 1 35.88/35.91 c 35.9s | 16 | 322232 | 190052 | 2282 196 | 1 | 1 37.38/37.50 c 37.5s | 17 | 335724 | 197432 | 2511 202 | 1 | 1 39.47/39.50 c 39.5s | 17 | 359626 | 207532 | 2511 210 | 1 | 1 41.48/41.51 c 41.5s | 17 | 377264 | 217832 | 2511 218 | 1 | 1 43.48/43.52 c 43.5s | 17 | 397973 | 228032 | 2511 226 | 1 | 1 45.47/45.53 c 45.5s | 17 | 414960 | 238132 | 2511 233 | 1 | 1 47.47/47.54 c 47.5s | 17 | 430419 | 247932 | 2511 241 | 1 | 1 49.48/49.55 c 49.5s | 17 | 444098 | 257432 | 2511 248 | 1 | 1 51.48/51.57 c 51.5s | 17 | 463207 | 267732 | 2511 256 | 1 | 1 53.47/53.57 c 53.5s | 17 | 479287 | 277532 | 2511 264 | 1 | 1 55.47/55.58 c 55.5s | 17 | 495957 | 287832 | 2511 272 | 1 | 1 57.28/57.33 c 57.3s | 18 | 508597 | 296252 | 2763 278 | 1 | 1 59.27/59.35 c 59.3s | 18 | 524589 | 305952 | 2763 285 | 1 | 1 61.27/61.35 c 61.3s | 18 | 537190 | 315652 | 2763 292 | 1 | 1 63.27/63.37 c 63.3s | 18 | 552342 | 325952 | 2763 299 | 1 | 1 65.27/65.39 c 65.4s | 18 | 569299 | 335552 | 2763 306 | 1 | 1 67.26/67.39 c 67.4s | 18 | 583741 | 345152 | 2763 312 | 1 | 1 69.37/69.41 c 69.4s | 18 | 597242 | 354552 | 2763 319 | 1 | 1 71.36/71.43 c 71.4s | 18 | 608634 | 363752 | 2763 326 | 1 | 1 73.36/73.45 c 73.4s | 18 | 623698 | 372852 | 2763 332 | 1 | 1 75.36/75.46 c 75.4s | 18 | 636403 | 382852 | 2763 339 | 1 | 1 77.35/77.46 c 77.4s | 18 | 652472 | 393152 | 2763 346 | 1 | 1 79.36/79.47 c 79.4s | 18 | 668538 | 403052 | 2763 353 | 1 | 1 81.36/81.48 c 81.4s | 18 | 686968 | 412952 | 2763 360 | 1 | 1 83.46/83.51 c 83.5s | 18 | 700063 | 422352 | 2763 367 | 1 | 1 85.46/85.52 c 85.5s | 18 | 713104 | 431452 | 2763 373 | 1 | 1 87.45/87.52 c 87.5s | 18 | 726874 | 441252 | 2763 380 | 1 | 1 88.06/88.12 c 88.1s | 19 | 730972 | 444482 | 3040 382 | 1 | 1 90.05/90.13 c 90.1s | 19 | 748190 | 454082 | 3040 388 | 1 | 1 92.05/92.15 c 92.1s | 19 | 760827 | 463482 | 3040 394 | 1 | 1 94.05/94.15 c 94.1s | 19 | 773575 | 472382 | 3040 400 | 1 | 1 96.05/96.17 c 96.1s | 19 | 786149 | 481682 | 3040 406 | 1 | 1 98.04/98.19 c 98.2s | 19 | 798493 | 490882 | 3040 412 | 1 | 1 100.05/100.20 c 100s | 19 | 811075 | 499682 | 3040 418 | 1 | 1 102.14/102.22 c 102s | 19 | 822203 | 508882 | 3040 424 | 1 | 1 104.14/104.24 c 104s | 19 | 834623 | 517882 | 3040 429 | 1 | 1 106.14/106.26 c 106s | 19 | 845931 | 526882 | 3040 435 | 1 | 1 108.14/108.27 c 108s | 19 | 857975 | 535882 | 3040 441 | 1 | 1 110.14/110.28 c 110s | 19 | 871268 | 545082 | 3040 447 | 1 | 1 112.15/112.28 c 112s | 19 | 882154 | 554082 | 3040 452 | 1 | 1 114.14/114.29 c 114s | 19 | 892589 | 562882 | 3040 458 | 1 | 1 116.24/116.30 c 116s | 19 | 904426 | 572582 | 3040 464 | 1 | 1 118.24/118.31 c 118s | 19 | 916741 | 582182 | 3040 470 | 1 | 1 120.24/120.33 c 120s | 19 | 928995 | 591782 | 3040 476 | 1 | 1 122.23/122.33 c 122s | 19 | 947906 | 601182 | 3040 482 | 1 | 1 124.24/124.33 c 124s | 19 | 960612 | 609582 | 3040 488 | 1 | 1 126.23/126.35 c 126s | 19 | 974236 | 618582 | 3040 493 | 1 | 1 128.23/128.37 c 128s | 19 | 991883 | 628482 | 3040 500 | 1 | 1 130.23/130.38 c 130s | 19 | 1002957 | 637282 | 3040 505 | 1 | 1 132.23/132.39 c 132s | 19 | 1014256 | 646382 | 3040 511 | 1 | 1 134.33/134.40 c 134s | 19 | 1027373 | 655082 | 3040 517 | 1 | 1 136.33/136.40 c 136s | 19 | 1039263 | 664082 | 3345 522 | 1 | 1 136.92/137.00 c 136s | 20 | 1042522 | 666827 | 3345 524 | 1 | 1 138.92/139.02 c 138s | 20 | 1057634 | 676427 | 3345 529 | 1 | 1 140.92/141.03 c 140s | 20 | 1069253 | 685027 | 3345 534 | 1 | 1 142.93/143.04 c 143s | 20 | 1081037 | 693827 | 3345 540 | 1 | 1 144.92/145.05 c 145s | 20 | 1096792 | 702727 | 3345 545 | 1 | 1 146.91/147.08 c 147s | 20 | 1113252 | 711827 | 3345 550 | 1 | 1 148.92/149.08 c 149s | 20 | 1124274 | 719927 | 3345 555 | 1 | 1 150.92/151.08 c 151s | 20 | 1136007 | 728227 | 3345 560 | 1 | 1 152.92/153.09 c 153s | 20 | 1146695 | 736727 | 3345 564 | 1 | 1 154.92/155.10 c 155s | 20 | 1155813 | 744527 | 3345 569 | 1 | 1 157.01/157.10 c 157s | 20 | 1166959 | 753127 | 3345 574 | 1 | 1 159.01/159.10 c 159s | 20 | 1178236 | 761427 | 3345 579 | 1 | 1 161.01/161.12 c 161s | 20 | 1188512 | 769927 | 3345 584 | 1 | 1 163.01/163.12 c 163s | 20 | 1200040 | 778927 | 3345 589 | 1 | 1 165.01/165.14 c 165s | 20 | 1211131 | 787727 | 3345 594 | 1 | 1 167.01/167.16 c 167s | 20 | 1221871 | 796327 | 3345 599 | 1 | 1 169.00/169.16 c 169s | 20 | 1232135 | 804727 | 3345 604 | 1 | 1 171.01/171.16 c 171s | 20 | 1242128 | 812927 | 3345 609 | 1 | 1 173.01/173.17 c 173s | 20 | 1251854 | 821027 | 3345 614 | 1 | 1 175.01/175.19 c 175s | 20 | 1263250 | 829627 | 3345 619 | 1 | 1 177.01/177.20 c 177s | 20 | 1275913 | 838527 | 3345 624 | 1 | 1 179.10/179.21 c 179s | 20 | 1295788 | 847827 | 3345 629 | 1 | 1 181.10/181.21 c 181s | 20 | 1308216 | 856727 | 3345 634 | 1 | 1 183.10/183.22 c 183s | 20 | 1323107 | 865527 | 3345 640 | 1 | 1 185.10/185.22 c 185s | 20 | 1336783 | 874727 | 3345 645 | 1 | 1 187.09/187.24 c 187s | 20 | 1349156 | 883227 | 3345 650 | 1 | 1 189.10/189.25 c 189s | 20 | 1359457 | 891827 | 3345 655 | 1 | 1 191.09/191.26 c 191s | 20 | 1370616 | 900627 | 3345 660 | 1 | 1 193.09/193.27 c 193s | 20 | 1382499 | 909027 | 3345 665 | 1 | 1 195.09/195.27 c 195s | 20 | 1397174 | 917327 | 3345 670 | 1 | 1 197.19/197.30 c 197s | 20 | 1411988 | 925927 | 3345 675 | 1 | 1 199.18/199.32 c 199s | 20 | 1423530 | 934027 | 3345 680 | 1 | 1 201.19/201.33 c 201s | 20 | 1434722 | 942527 | 3345 684 | 1 | 1 203.18/203.33 c 203s | 20 | 1443929 | 950227 | 3345 689 | 1 | 1 205.18/205.35 c 205s | 20 | 1453660 | 958327 | 3345 694 | 1 | 1 207.18/207.37 c 207s | 20 | 1463689 | 966427 | 3345 698 | 1 | 1 209.18/209.37 c 209s | 20 | 1475296 | 976327 | 3345 704 | 1 | 1 211.20/211.38 c 211s | 20 | 1487855 | 986027 | 3345 710 | 1 | 1 213.19/213.38 c 213s | 20 | 1501027 | 995827 | 3680 715 | 1 | 1 214.29/214.41 c 214s | 21 | 1506900 | 1000345 | 3680 718 | 1 | 1 216.29/216.42 c 216s | 21 | 1517825 | 1008845 | 3680 722 | 1 | 1 218.28/218.42 c 218s | 21 | 1529631 | 1017545 | 3680 727 | 1 | 1 220.28/220.44 c 220s | 21 | 1542254 | 1026445 | 3680 732 | 1 | 1 222.28/222.45 c 222s | 21 | 1557718 | 1035745 | 3680 737 | 1 | 1 224.29/224.46 c 224s | 21 | 1570175 | 1044445 | 3680 741 | 1 | 1 226.28/226.47 c 226s | 21 | 1584010 | 1052945 | 3680 746 | 1 | 1 228.27/228.48 c 228s | 21 | 1599037 | 1062345 | 3680 751 | 1 | 1 230.28/230.49 c 230s | 21 | 1613742 | 1071845 | 3680 756 | 1 | 1 232.38/232.50 c 232s | 21 | 1629325 | 1081045 | 3680 761 | 1 | 1 234.38/234.51 c 234s | 21 | 1643850 | 1089645 | 3680 765 | 1 | 1 236.38/236.52 c 236s | 21 | 1656018 | 1097945 | 3680 770 | 1 | 1 238.37/238.52 c 238s | 21 | 1673387 | 1106345 | 3680 774 | 1 | 1 240.37/240.52 c 240s | 21 | 1689742 | 1114845 | 3680 779 | 1 | 1 242.37/242.54 c 242s | 21 | 1701957 | 1123245 | 3680 783 | 1 | 1 244.37/244.55 c 244s | 21 | 1715001 | 1132145 | 3680 788 | 1 | 1 246.38/246.56 c 246s | 21 | 1725189 | 1140245 | 3680 792 | 1 | 1 248.36/248.57 c 248s | 21 | 1739713 | 1148745 | 3680 797 | 1 | 1 250.36/250.59 c 250s | 21 | 1753047 | 1157345 | 3680 801 | 1 | 1 252.46/252.60 c 252s | 21 | 1763906 | 1165445 | 3680 806 | 1 | 1 254.46/254.60 c 254s | 21 | 1773255 | 1173245 | 3680 810 | 1 | 1 256.46/256.61 c 256s | 21 | 1783780 | 1181145 | 3680 814 | 1 | 1 258.46/258.63 c 258s | 21 | 1793512 | 1189345 | 3680 818 | 1 | 1 260.46/260.65 c 260s | 21 | 1804126 | 1197345 | 3680 823 | 1 | 1 262.46/262.67 c 262s | 21 | 1813943 | 1205545 | 3680 827 | 1 | 1 264.45/264.68 c 264s | 21 | 1824825 | 1213545 | 3680 831 | 1 | 1 266.55/266.70 c 266s | 21 | 1834015 | 1221345 | 3680 835 | 1 | 1 268.55/268.72 c 268s | 21 | 1843017 | 1229245 | 3680 839 | 1 | 1 270.56/270.74 c 270s | 21 | 1852387 | 1237445 | 3680 844 | 1 | 1 272.55/272.76 c 272s | 21 | 1862398 | 1245245 | 3680 848 | 1 | 1 274.56/274.77 c 274s | 21 | 1876515 | 1253145 | 3680 852 | 1 | 1 276.55/276.77 c 276s | 21 | 1887466 | 1261345 | 3680 856 | 1 | 1 278.55/278.79 c 278s | 21 | 1897084 | 1269545 | 3680 861 | 1 | 1 280.55/280.79 c 280s | 21 | 1906669 | 1277645 | 3680 865 | 1 | 1 282.55/282.80 c 282s | 21 | 1916849 | 1286345 | 3680 870 | 1 | 1 284.65/284.84 c 284s | 21 | 1927614 | 1295345 | 3680 875 | 1 | 1 286.64/286.85 c 286s | 21 | 1938183 | 1303845 | 3680 879 | 1 | 1 288.64/288.86 c 288s | 21 | 1949323 | 1312745 | 3680 884 | 1 | 1 290.64/290.88 c 290s | 21 | 1960418 | 1321545 | 3680 888 | 1 | 1 292.74/292.90 c 292s | 21 | 1972340 | 1330545 | 3680 893 | 1 | 1 294.64/294.90 c 294s | 21 | 1983030 | 1339045 | 3680 898 | 1 | 1 296.73/296.91 c 296s | 21 | 1996961 | 1348145 | 3680 903 | 1 | 1 298.73/298.94 c 298s | 21 | 2010225 | 1357345 | 3680 908 | 1 | 1 300.73/300.94 c 300s | 21 | 2022573 | 1365945 | 3680 912 | 1 | 1 302.73/302.95 c 302s | 21 | 2034217 | 1374945 | 3680 917 | 1 | 1 304.73/304.97 c 304s | 21 | 2044896 | 1383645 | 3680 922 | 1 | 1 306.73/306.99 c 306s | 21 | 2055861 | 1392145 | 3680 926 | 1 | 1 308.73/308.99 c 308s | 21 | 2065713 | 1400345 | 3680 930 | 1 | 1 310.83/311.01 c 310s | 21 | 2075364 | 1408445 | 3680 935 | 1 | 1 312.83/313.01 c 312s | 21 | 2086986 | 1416345 | 3680 939 | 1 | 1 314.83/315.03 c 314s | 21 | 2099285 | 1424745 | 3680 943 | 1 | 1 316.83/317.04 c 317s | 21 | 2109129 | 1432745 | 3680 948 | 1 | 1 318.84/319.06 c 319s | 21 | 2121033 | 1441145 | 3680 952 | 1 | 1 320.83/321.09 c 321s | 21 | 2132616 | 1449545 | 3680 957 | 1 | 1 322.93/323.10 c 323s | 21 | 2141935 | 1457245 | 3680 961 | 1 | 1 324.93/325.11 c 325s | 21 | 2152818 | 1465345 | 3680 965 | 1 | 1 326.92/327.12 c 327s | 21 | 2164290 | 1473245 | 3680 969 | 1 | 1 328.92/329.13 c 329s | 21 | 2177402 | 1481245 | 3680 973 | 1 | 1 330.93/331.13 c 331s | 21 | 2189520 | 1489245 | 3680 978 | 1 | 1 332.92/333.13 c 333s | 21 | 2201124 | 1497045 | 4049 981 | 1 | 1 333.82/334.00 c 333s | 22 | 2206342 | 1500622 | 4049 983 | 1 | 1 335.83/336.01 c 335s | 22 | 2219352 | 1509022 | 4049 987 | 1 | 1 337.82/338.03 c 337s | 22 | 2230080 | 1517522 | 4049 991 | 1 | 1 339.83/340.05 c 340s | 22 | 2241492 | 1526022 | 4049 995 | 1 | 1 341.82/342.06 c 342s | 22 | 2254394 | 1533822 | 4049 999 | 1 | 1 343.82/344.07 c 344s | 22 | 2265060 | 1541622 | 4049 1003 | 1 | 1 345.82/346.09 c 346s | 22 | 2280741 | 1549822 | 4049 1007 | 1 | 1 347.81/348.10 c 348s | 22 | 2292125 | 1557422 | 4049 1010 | 1 | 1 349.91/350.10 c 350s | 22 | 2301696 | 1564922 | 4049 1014 | 1 | 1 351.92/352.11 c 352s | 22 | 2314386 | 1572622 | 4049 1018 | 1 | 1 353.91/354.14 c 354s | 22 | 2327090 | 1580522 | 4049 1022 | 1 | 1 355.91/356.17 c 356s | 22 | 2338203 | 1588522 | 4049 1026 | 1 | 1 357.91/358.19 c 358s | 22 | 2352162 | 1596922 | 4049 1030 | 1 | 1 360.01/360.21 c 360s | 22 | 2363850 | 1605022 | 4049 1034 | 1 | 1 362.00/362.22 c 362s | 22 | 2374465 | 1612822 | 4049 1037 | 1 | 1 364.01/364.23 c 364s | 22 | 2383143 | 1620122 | 4049 1041 | 1 | 1 366.00/366.25 c 366s | 22 | 2397385 | 1628222 | 4049 1045 | 1 | 1 368.00/368.27 c 368s | 22 | 2407066 | 1635722 | 4049 1048 | 1 | 1 370.00/370.28 c 370s | 22 | 2417868 | 1643322 | 4049 1052 | 1 | 1 372.00/372.28 c 372s | 22 | 2427794 | 1651122 | 4049 1056 | 1 | 1 374.09/374.33 c 374s | 22 | 2436666 | 1658622 | 4049 1060 | 1 | 1 376.10/376.35 c 376s | 22 | 2446857 | 1666522 | 4049 1063 | 1 | 1 378.09/378.37 c 378s | 22 | 2455345 | 1673622 | 4049 1067 | 1 | 1 380.09/380.37 c 380s | 22 | 2465478 | 1681322 | 4049 1070 | 1 | 1 382.09/382.37 c 382s | 22 | 2476573 | 1689022 | 4049 1074 | 1 | 1 384.09/384.39 c 384s | 22 | 2485689 | 1696222 | 4049 1078 | 1 | 1 386.09/386.39 c 386s | 22 | 2494496 | 1703622 | 4049 1081 | 1 | 1 388.19/388.42 c 388s | 22 | 2504876 | 1710822 | 4049 1085 | 1 | 1 390.18/390.44 c 390s | 22 | 2514224 | 1718222 | 4049 1088 | 1 | 1 392.19/392.45 c 392s | 22 | 2523059 | 1725522 | 4049 1092 | 1 | 1 394.19/394.46 c 394s | 22 | 2533054 | 1733022 | 4049 1095 | 1 | 1 396.19/396.46 c 396s | 22 | 2544964 | 1741022 | 4049 1099 | 1 | 1 398.19/398.48 c 398s | 22 | 2554046 | 1748622 | 4049 1103 | 1 | 1 400.20/400.49 c 400s | 22 | 2563442 | 1756522 | 4049 1107 | 1 | 1 402.29/402.51 c 402s | 22 | 2573439 | 1764722 | 4049 1111 | 1 | 1 404.29/404.52 c 404s | 22 | 2583589 | 1772822 | 4049 1115 | 1 | 1 406.29/406.53 c 406s | 22 | 2593689 | 1781022 | 4049 1119 | 1 | 1 408.28/408.54 c 408s | 22 | 2603505 | 1788622 | 4049 1122 | 1 | 1 410.28/410.56 c 410s | 22 | 2613916 | 1796222 | 4049 1126 | 1 | 1 412.29/412.59 c 412s | 22 | 2623055 | 1803722 | 4049 1130 | 1 | 1 414.38/414.61 c 414s | 22 | 2633689 | 1811822 | 4049 1134 | 1 | 1 416.38/416.63 c 416s | 22 | 2643248 | 1820122 | 4049 1138 | 1 | 1 418.37/418.64 c 418s | 22 | 2652735 | 1828122 | 4049 1141 | 1 | 1 420.37/420.65 c 420s | 22 | 2663546 | 1836422 | 4049 1145 | 1 | 1 422.37/422.68 c 422s | 22 | 2674037 | 1844722 | 4049 1150 | 1 | 1 424.38/424.70 c 424s | 22 | 2684632 | 1853122 | 4049 1154 | 1 | 1 426.47/426.72 c 426s | 22 | 2695651 | 1860922 | 4049 1157 | 1 | 1 428.47/428.74 c 428s | 22 | 2705358 | 1868722 | 4049 1161 | 1 | 1 430.47/430.76 c 430s | 22 | 2715731 | 1876722 | 4049 1165 | 1 | 1 432.47/432.77 c 432s | 22 | 2726641 | 1885122 | 4049 1169 | 1 | 1 434.47/434.80 c 434s | 22 | 2736226 | 1893222 | 4049 1173 | 1 | 1 436.47/436.80 c 436s | 22 | 2747633 | 1901222 | 4049 1177 | 1 | 1 438.56/438.82 c 438s | 22 | 2757980 | 1909122 | 4049 1181 | 1 | 1 440.56/440.87 c 440s | 22 | 2767197 | 1916922 | 4049 1185 | 1 | 1 442.65/442.90 c 442s | 22 | 2775833 | 1924522 | 4049 1188 | 1 | 1 444.65/444.91 c 444s | 22 | 2785603 | 1933022 | 4049 1192 | 1 | 1 446.65/446.93 c 446s | 22 | 2795999 | 1941622 | 4049 1197 | 1 | 1 448.66/448.96 c 448s | 22 | 2805667 | 1949822 | 4049 1201 | 1 | 1 450.65/450.97 c 450s | 22 | 2815245 | 1957822 | 4049 1204 | 1 | 1 452.65/452.99 c 452s | 22 | 2825038 | 1965922 | 4049 1208 | 1 | 1 454.75/455.00 c 454s | 22 | 2834834 | 1973922 | 4049 1212 | 1 | 1 456.74/457.02 c 456s | 22 | 2844180 | 1981522 | 4049 1216 | 1 | 1 458.74/459.03 c 458s | 22 | 2852740 | 1988922 | 4049 1219 | 1 | 1 460.75/461.04 c 461s | 22 | 2863748 | 1996922 | 4049 1223 | 1 | 1 462.74/463.06 c 463s | 22 | 2875988 | 2004422 | 4049 1227 | 1 | 1 464.84/465.10 c 465s | 22 | 2886026 | 2011822 | 4049 1231 | 1 | 1 466.84/467.12 c 467s | 22 | 2898041 | 2020222 | 4049 1235 | 1 | 1 468.83/469.13 c 469s | 22 | 2908725 | 2028922 | 4049 1239 | 1 | 1 470.83/471.15 c 471s | 22 | 2919548 | 2037022 | 4049 1243 | 1 | 1 472.85/473.16 c 473s | 22 | 2929051 | 2044822 | 4049 1246 | 1 | 1 474.84/475.16 c 475s | 22 | 2938068 | 2052722 | 4049 1250 | 1 | 1 476.84/477.17 c 477s | 22 | 2947992 | 2060822 | 4049 1254 | 1 | 1 478.83/479.17 c 479s | 22 | 2959375 | 2068822 | 4049 1258 | 1 | 1 480.83/481.19 c 481s | 22 | 2971272 | 2077022 | 4049 1262 | 1 | 1 482.83/483.19 c 483s | 22 | 2982845 | 2085122 | 4049 1266 | 1 | 1 484.84/485.20 c 485s | 22 | 2994987 | 2093522 | 4049 1270 | 1 | 1 486.93/487.23 c 487s | 22 | 3007381 | 2101822 | 4049 1274 | 1 | 1 488.92/489.25 c 489s | 22 | 3019848 | 2109822 | 4049 1278 | 1 | 1 490.92/491.25 c 491s | 22 | 3033395 | 2118022 | 4049 1282 | 1 | 1 492.92/493.26 c 493s | 22 | 3043840 | 2125422 | 4049 1286 | 1 | 1 494.92/495.28 c 495s | 22 | 3052324 | 2132522 | 4049 1289 | 1 | 1 496.93/497.28 c 497s | 22 | 3062147 | 2139722 | 4049 1292 | 1 | 1 499.02/499.31 c 499s | 22 | 3072575 | 2147422 | 4049 1296 | 1 | 1 501.02/501.31 c 501s | 22 | 3083580 | 2155122 | 4049 1300 | 1 | 1 503.02/503.32 c 503s | 22 | 3094236 | 2162722 | 4049 1303 | 1 | 1 505.02/505.33 c 505s | 22 | 3105427 | 2170322 | 4049 1307 | 1 | 1 507.02/507.33 c 507s | 22 | 3114889 | 2176822 | 4049 1310 | 1 | 1 509.02/509.35 c 509s | 22 | 3123896 | 2183622 | 4049 1314 | 1 | 1 511.01/511.35 c 511s | 22 | 3134626 | 2190922 | 4049 1317 | 1 | 1 513.01/513.37 c 513s | 22 | 3143653 | 2197822 | 4049 1320 | 1 | 1 515.01/515.38 c 515s | 22 | 3154189 | 2204922 | 4049 1324 | 1 | 1 517.01/517.39 c 517s | 22 | 3166005 | 2211222 | 4049 1327 | 1 | 1 519.11/519.40 c 519s | 22 | 3179226 | 2219022 | 4049 1331 | 1 | 1 521.11/521.44 c 521s | 22 | 3199627 | 2227122 | 4049 1335 | 1 | 1 523.11/523.47 c 523s | 22 | 3213575 | 2235122 | 4454 1338 | 1 | 1 525.11/525.48 c 525s | 22 | 3228491 | 2242522 | 4454 1341 | 1 | 1 527.10/527.49 c 527s | 22 | 3242805 | 2249622 | 4454 1345 | 1 | 1 527.50/527.84 c 527s | 23 | 3246161 | 2251038 | 4454 1345 | 1 | 1 529.50/529.89 c 529s | 23 | 3259595 | 2258438 | 4454 1349 | 1 | 1 531.60/531.91 c 531s | 23 | 3274137 | 2265838 | 4454 1352 | 1 | 1 533.60/533.93 c 533s | 23 | 3289393 | 2273638 | 4454 1355 | 1 | 1 535.60/535.97 c 535s | 23 | 3303806 | 2281038 | 4454 1358 | 1 | 1 537.60/537.99 c 537s | 23 | 3315614 | 2288238 | 4454 1362 | 1 | 1 539.70/540.00 c 539s | 23 | 3328801 | 2295938 | 4454 1365 | 1 | 1 541.70/542.01 c 541s | 23 | 3337578 | 2302838 | 4454 1368 | 1 | 1 543.70/544.03 c 543s | 23 | 3349135 | 2310338 | 4454 1371 | 1 | 1 545.70/546.06 c 546s | 23 | 3358042 | 2317138 | 4454 1374 | 1 | 1 547.69/548.07 c 548s | 23 | 3369935 | 2325238 | 4454 1378 | 1 | 1 549.70/550.09 c 550s | 23 | 3380060 | 2332738 | 4454 1381 | 1 | 1 551.79/552.10 c 552s | 23 | 3390249 | 2340238 | 4454 1385 | 1 | 1 553.79/554.11 c 554s | 23 | 3404590 | 2348338 | 4454 1388 | 1 | 1 555.79/556.13 c 556s | 23 | 3416279 | 2356038 | 4454 1391 | 1 | 1 557.78/558.14 c 558s | 23 | 3428486 | 2363638 | 4454 1395 | 1 | 1 559.78/560.16 c 560s | 23 | 3441756 | 2371338 | 4454 1398 | 1 | 1 561.80/562.18 c 562s | 23 | 3458266 | 2379138 | 4454 1402 | 1 | 1 563.79/564.18 c 564s | 23 | 3472350 | 2386738 | 4454 1405 | 1 | 1 565.79/566.19 c 566s | 23 | 3483520 | 2394138 | 4454 1408 | 1 | 1 567.89/568.21 c 568s | 23 | 3494098 | 2401338 | 4454 1411 | 1 | 1 569.88/570.21 c 570s | 23 | 3501710 | 2407838 | 4454 1414 | 1 | 1 571.88/572.21 c 572s | 23 | 3509759 | 2414538 | 4454 1417 | 1 | 1 573.89/574.22 c 574s | 23 | 3518777 | 2421838 | 4454 1421 | 1 | 1 575.88/576.22 c 576s | 23 | 3530363 | 2429738 | 4454 1424 | 1 | 1 577.88/578.23 c 578s | 23 | 3543700 | 2437538 | 4454 1427 | 1 | 1 579.88/580.24 c 580s | 23 | 3555970 | 2445138 | 4454 1431 | 1 | 1 581.97/582.31 c 582s | 23 | 3567466 | 2452738 | 4454 1434 | 1 | 1 583.97/584.32 c 584s | 23 | 3582894 | 2460338 | 4454 1438 | 1 | 1 585.99/586.34 c 586s | 23 | 3596062 | 2467838 | 4454 1441 | 1 | 1 587.98/588.34 c 588s | 23 | 3606573 | 2475438 | 4454 1444 | 1 | 1 589.97/590.37 c 590s | 23 | 3618970 | 2483438 | 4454 1448 | 1 | 1 591.97/592.38 c 592s | 23 | 3628787 | 2491038 | 4454 1451 | 1 | 1 593.97/594.39 c 594s | 23 | 3638512 | 2498738 | 4454 1454 | 1 | 1 596.08/596.41 c 596s | 23 | 3648652 | 2506338 | 4454 1458 | 1 | 1 598.07/598.42 c 598s | 23 | 3658015 | 2514238 | 4454 1461 | 1 | 1 600.06/600.43 c 600s | 23 | 3670438 | 2522938 | 4454 1465 | 1 | 1 602.06/602.44 c 602s | 23 | 3681410 | 2530838 | 4454 1469 | 1 | 1 604.06/604.48 c 604s | 23 | 3693327 | 2538638 | 4454 1472 | 1 | 1 606.17/606.51 c 606s | 23 | 3707593 | 2546638 | 4454 1476 | 1 | 1 608.15/608.52 c 608s | 23 | 3717958 | 2554238 | 4454 1479 | 1 | 1 610.17/610.52 c 610s | 23 | 3728686 | 2561738 | 4454 1482 | 1 | 1 612.16/612.55 c 612s | 23 | 3739585 | 2569238 | 4454 1485 | 1 | 1 614.15/614.56 c 614s | 23 | 3753040 | 2577038 | 4454 1489 | 1 | 1 616.16/616.57 c 616s | 23 | 3765813 | 2584238 | 4454 1492 | 1 | 1 618.15/618.57 c 618s | 23 | 3782154 | 2591938 | 4454 1495 | 1 | 1 620.16/620.58 c 620s | 23 | 3794406 | 2599738 | 4454 1499 | 1 | 1 622.15/622.60 c 622s | 23 | 3806025 | 2606838 | 4454 1502 | 1 | 1 624.25/624.60 c 624s | 23 | 3817557 | 2614138 | 4454 1505 | 1 | 1 626.25/626.62 c 626s | 23 | 3831712 | 2621738 | 4454 1509 | 1 | 1 628.24/628.63 c 628s | 23 | 3841925 | 2628738 | 4454 1512 | 1 | 1 630.25/630.64 c 630s | 23 | 3852041 | 2635738 | 4454 1515 | 1 | 1 632.25/632.65 c 632s | 23 | 3864300 | 2642738 | 4454 1518 | 1 | 1 634.24/634.65 c 634s | 23 | 3877581 | 2650138 | 4454 1521 | 1 | 1 636.24/636.67 c 636s | 23 | 3887281 | 2657238 | 4454 1524 | 1 | 1 638.24/638.69 c 638s | 23 | 3898816 | 2664338 | 4454 1527 | 1 | 1 640.34/640.70 c 640s | 23 | 3911141 | 2671538 | 4454 1531 | 1 | 1 642.34/642.71 c 642s | 23 | 3921145 | 2678738 | 4454 1534 | 1 | 1 644.34/644.73 c 644s | 23 | 3929726 | 2685938 | 4454 1537 | 1 | 1 646.33/646.73 c 646s | 23 | 3940136 | 2693838 | 4454 1540 | 1 | 1 648.43/648.80 c 648s | 23 | 3951654 | 2702138 | 4454 1544 | 1 | 1 650.44/650.81 c 650s | 23 | 3963918 | 2710238 | 4454 1548 | 1 | 1 652.43/652.82 c 652s | 23 | 3974855 | 2718238 | 4454 1551 | 1 | 1 654.43/654.83 c 654s | 23 | 3985501 | 2725938 | 4454 1555 | 1 | 1 656.44/656.86 c 656s | 23 | 3994833 | 2733138 | 4454 1558 | 1 | 1 658.43/658.88 c 658s | 23 | 4008833 | 2740638 | 4454 1561 | 1 | 1 660.43/660.90 c 660s | 23 | 4020587 | 2748138 | 4454 1564 | 1 | 1 662.53/662.91 c 662s | 23 | 4035401 | 2755438 | 4454 1568 | 1 | 1 664.53/664.91 c 664s | 23 | 4046475 | 2763038 | 4454 1571 | 1 | 1 666.53/666.93 c 666s | 23 | 4057877 | 2770238 | 4454 1574 | 1 | 1 668.53/668.93 c 668s | 23 | 4067916 | 2777238 | 4454 1577 | 1 | 1 670.53/670.94 c 670s | 23 | 4083334 | 2784738 | 4454 1580 | 1 | 1 672.52/672.96 c 672s | 23 | 4096418 | 2792338 | 4454 1584 | 1 | 1 674.52/674.96 c 674s | 23 | 4106016 | 2798838 | 4454 1587 | 1 | 1 676.52/676.97 c 676s | 23 | 4115582 | 2806538 | 4454 1590 | 1 | 1 678.62/679.00 c 678s | 23 | 4124736 | 2813938 | 4454 1593 | 1 | 1 680.63/681.03 c 680s | 23 | 4134768 | 2821338 | 4454 1597 | 1 | 1 682.62/683.05 c 683s | 23 | 4145049 | 2828938 | 4454 1600 | 1 | 1 684.62/685.06 c 685s | 23 | 4155931 | 2836238 | 4454 1603 | 1 | 1 686.62/687.07 c 687s | 23 | 4165642 | 2843438 | 4454 1606 | 1 | 1 688.62/689.08 c 689s | 23 | 4175612 | 2850538 | 4454 1609 | 1 | 1 690.62/691.10 c 691s | 23 | 4186068 | 2857438 | 4454 1613 | 1 | 1 692.73/693.12 c 693s | 23 | 4198315 | 2864438 | 4454 1616 | 1 | 1 694.72/695.12 c 695s | 23 | 4208562 | 2871438 | 4454 1619 | 1 | 1 696.72/697.16 c 697s | 23 | 4219425 | 2878438 | 4454 1622 | 1 | 1 698.72/699.17 c 699s | 23 | 4231103 | 2885238 | 4454 1625 | 1 | 1 700.72/701.18 c 701s | 23 | 4243529 | 2892738 | 4454 1628 | 1 | 1 702.82/703.20 c 703s | 23 | 4257109 | 2899838 | 4454 1631 | 1 | 1 704.83/705.22 c 705s | 23 | 4267677 | 2906838 | 4454 1634 | 1 | 1 706.82/707.24 c 707s | 23 | 4276356 | 2913738 | 4454 1637 | 1 | 1 708.82/709.24 c 709s | 23 | 4285091 | 2920338 | 4454 1640 | 1 | 1 710.82/711.25 c 711s | 23 | 4293398 | 2927138 | 4454 1643 | 1 | 1 712.81/713.26 c 713s | 23 | 4302128 | 2934038 | 4454 1646 | 1 | 1 714.81/715.29 c 715s | 23 | 4311540 | 2940838 | 4454 1649 | 1 | 1 716.82/717.30 c 717s | 23 | 4321885 | 2948438 | 4454 1653 | 1 | 1 718.91/719.30 c 719s | 23 | 4334325 | 2956238 | 4454 1656 | 1 | 1 720.91/721.31 c 721s | 23 | 4344992 | 2963738 | 4454 1659 | 1 | 1 722.91/723.32 c 723s | 23 | 4356569 | 2971238 | 4454 1663 | 1 | 1 724.91/725.34 c 725s | 23 | 4369919 | 2978838 | 4454 1666 | 1 | 1 726.91/727.36 c 727s | 23 | 4382394 | 2986538 | 4454 1669 | 1 | 1 728.92/729.37 c 729s | 23 | 4392097 | 2993538 | 4454 1673 | 1 | 1 730.91/731.38 c 731s | 23 | 4400763 | 3000538 | 4454 1676 | 1 | 1 732.91/733.39 c 733s | 23 | 4411327 | 3007938 | 4454 1679 | 1 | 1 734.91/735.39 c 735s | 23 | 4421307 | 3015138 | 4454 1682 | 1 | 1 737.01/737.40 c 737s | 23 | 4430888 | 3022638 | 4454 1685 | 1 | 1 739.01/739.42 c 739s | 23 | 4440770 | 3030638 | 4454 1689 | 1 | 1 741.01/741.44 c 741s | 23 | 4451410 | 3038438 | 4454 1692 | 1 | 1 743.01/743.45 c 743s | 23 | 4463031 | 3046538 | 4454 1696 | 1 | 1 745.01/745.48 c 745s | 23 | 4472201 | 3054038 | 4454 1699 | 1 | 1 747.01/747.49 c 747s | 23 | 4481028 | 3061038 | 4454 1702 | 1 | 1 749.11/749.51 c 749s | 23 | 4489145 | 3067138 | 4454 1705 | 1 | 1 751.11/751.52 c 751s | 23 | 4501588 | 3074838 | 4454 1709 | 1 | 1 753.12/753.54 c 753s | 23 | 4511446 | 3081738 | 4454 1712 | 1 | 1 755.11/755.54 c 755s | 23 | 4521527 | 3089238 | 4454 1715 | 1 | 1 757.11/757.55 c 757s | 23 | 4531836 | 3096238 | 4454 1718 | 1 | 1 759.11/759.56 c 759s | 23 | 4540448 | 3102838 | 4454 1721 | 1 | 1 761.11/761.58 c 761s | 23 | 4551407 | 3110638 | 4454 1724 | 1 | 1 763.12/763.59 c 763s | 23 | 4561433 | 3117838 | 4454 1728 | 1 | 1 765.11/765.60 c 765s | 23 | 4573552 | 3125438 | 4454 1731 | 1 | 1 767.21/767.61 c 767s | 23 | 4584889 | 3132738 | 4454 1734 | 1 | 1 769.21/769.63 c 769s | 23 | 4595162 | 3140038 | 4454 1737 | 1 | 1 771.21/771.64 c 771s | 23 | 4606256 | 3147238 | 4454 1741 | 1 | 1 773.20/773.66 c 773s | 23 | 4615645 | 3154838 | 4454 1744 | 1 | 1 775.21/775.67 c 775s | 23 | 4626064 | 3162738 | 4454 1747 | 1 | 1 777.20/777.68 c 777s | 23 | 4635501 | 3170038 | 4454 1751 | 1 | 1 779.20/779.68 c 779s | 23 | 4644549 | 3177238 | 4454 1754 | 1 | 1 781.30/781.70 c 781s | 23 | 4652960 | 3184138 | 4454 1757 | 1 | 1 783.31/783.71 c 783s | 23 | 4662607 | 3191338 | 4454 1760 | 1 | 1 785.31/785.71 c 785s | 23 | 4670043 | 3197738 | 4454 1763 | 1 | 1 787.32/787.72 c 787s | 23 | 4680061 | 3205438 | 4454 1766 | 1 | 1 789.31/789.73 c 789s | 23 | 4689120 | 3212738 | 4454 1769 | 1 | 1 791.31/791.74 c 791s | 23 | 4696913 | 3219438 | 4454 1772 | 1 | 1 793.31/793.76 c 793s | 23 | 4706183 | 3226838 | 4454 1775 | 1 | 1 795.31/795.78 c 795s | 23 | 4714601 | 3233938 | 4454 1779 | 1 | 1 797.40/797.80 c 797s | 23 | 4722566 | 3240738 | 4454 1782 | 1 | 1 799.41/799.81 c 799s | 23 | 4732050 | 3248338 | 4454 1785 | 1 | 1 801.40/801.82 c 801s | 23 | 4741212 | 3255738 | 4454 1788 | 1 | 1 803.40/803.84 c 803s | 23 | 4750071 | 3262938 | 4454 1791 | 1 | 1 805.40/805.86 c 805s | 23 | 4758027 | 3269838 | 4454 1794 | 1 | 1 807.40/807.86 c 807s | 23 | 4767042 | 3277038 | 4454 1797 | 1 | 1 809.40/809.88 c 809s | 23 | 4775749 | 3284138 | 4454 1801 | 1 | 1 811.41/811.90 c 811s | 23 | 4788416 | 3291838 | 4454 1804 | 1 | 1 813.50/813.92 c 813s | 23 | 4797669 | 3298938 | 4454 1807 | 1 | 1 815.50/815.94 c 815s | 23 | 4806541 | 3306038 | 4454 1810 | 1 | 1 817.50/817.95 c 817s | 23 | 4814876 | 3313038 | 4454 1813 | 1 | 1 819.50/819.96 c 819s | 23 | 4824109 | 3320538 | 4454 1817 | 1 | 1 821.50/821.97 c 821s | 23 | 4834680 | 3328338 | 4454 1820 | 1 | 1 823.50/823.97 c 823s | 23 | 4845868 | 3336138 | 4454 1823 | 1 | 1 825.50/825.99 c 825s | 23 | 4857370 | 3343838 | 4454 1827 | 1 | 1 827.60/828.05 c 828s | 23 | 4867442 | 3351738 | 4454 1830 | 1 | 1 829.59/830.06 c 830s | 23 | 4877076 | 3358838 | 4900 1833 | 1 | 1 831.69/832.12 c 832s | 23 | 4885806 | 3365838 | 4900 1836 | 1 | 1 833.69/834.13 c 834s | 23 | 4894343 | 3373238 | 4900 1839 | 1 | 1 834.69/835.14 c 835s | 24 | 4898294 | 3376662 | 4900 1840 | 1 | 1 836.70/837.15 c 837s | 24 | 4909488 | 3384162 | 4900 1843 | 1 | 1 838.69/839.17 c 839s | 24 | 4921316 | 3391162 | 4900 1846 | 1 | 1 840.70/841.18 c 841s | 24 | 4936417 | 3399062 | 4900 1849 | 1 | 1 842.70/843.19 c 843s | 24 | 4947734 | 3406862 | 4900 1852 | 1 | 1 844.70/845.19 c 845s | 24 | 4960752 | 3415062 | 4900 1855 | 1 | 1 846.70/847.20 c 847s | 24 | 4974515 | 3423462 | 4900 1859 | 1 | 1 848.80/849.22 c 849s | 24 | 4983387 | 3430262 | 4900 1862 | 1 | 1 850.79/851.24 c 851s | 24 | 4997565 | 3438862 | 4900 1865 | 1 | 1 852.79/853.26 c 853s | 24 | 5007943 | 3446762 | 4900 1868 | 1 | 1 854.79/855.26 c 855s | 24 | 5018231 | 3454162 | 4900 1871 | 1 | 1 856.79/857.27 c 857s | 24 | 5027567 | 3461462 | 4900 1874 | 1 | 1 858.80/859.27 c 859s | 24 | 5037507 | 3469162 | 4900 1877 | 1 | 1 860.79/861.27 c 861s | 24 | 5047685 | 3476662 | 4900 1880 | 1 | 1 862.79/863.29 c 863s | 24 | 5058579 | 3484662 | 4900 1883 | 1 | 1 864.89/865.31 c 865s | 24 | 5079959 | 3494062 | 4900 1887 | 1 | 1 866.89/867.32 c 867s | 24 | 5101446 | 3503762 | 4900 1891 | 1 | 1 868.89/869.37 c 869s | 24 | 5116588 | 3512962 | 4900 1895 | 1 | 1 870.89/871.38 c 871s | 24 | 5129267 | 3521762 | 4900 1898 | 1 | 1 872.89/873.40 c 873s | 24 | 5144393 | 3530562 | 4900 1902 | 1 | 1 874.99/875.42 c 875s | 24 | 5157066 | 3539662 | 4900 1906 | 1 | 1 876.99/877.43 c 877s | 24 | 5170203 | 3548362 | 4900 1909 | 1 | 1 878.99/879.45 c 879s | 24 | 5183550 | 3556962 | 4900 1913 | 1 | 1 880.98/881.45 c 881s | 24 | 5195654 | 3565962 | 4900 1916 | 1 | 1 883.08/883.53 c 883s | 24 | 5205681 | 3574362 | 4900 1920 | 1 | 1 885.10/885.54 c 885s | 24 | 5217199 | 3583562 | 4900 1923 | 1 | 1 887.09/887.55 c 887s | 24 | 5229458 | 3592462 | 4900 1927 | 1 | 1 889.09/889.56 c 889s | 24 | 5241960 | 3601662 | 4900 1931 | 1 | 1 891.09/891.58 c 891s | 24 | 5255824 | 3610962 | 4900 1934 | 1 | 1 893.09/893.58 c 893s | 24 | 5268705 | 3619862 | 4900 1938 | 1 | 1 895.19/895.61 c 895s | 24 | 5280842 | 3628562 | 4900 1941 | 1 | 1 897.19/897.62 c 897s | 24 | 5294631 | 3637262 | 4900 1945 | 1 | 1 899.19/899.62 c 899s | 24 | 5307958 | 3646462 | 4900 1949 | 1 | 1 901.19/901.64 c 901s | 24 | 5322843 | 3655762 | 4900 1952 | 1 | 1 903.19/903.64 c 903s | 24 | 5341010 | 3665362 | 4900 1956 | 1 | 1 905.19/905.66 c 905s | 24 | 5354454 | 3675162 | 4900 1960 | 1 | 1 907.19/907.66 c 907s | 24 | 5371699 | 3684062 | 4900 1964 | 1 | 1 909.18/909.70 c 909s | 24 | 5389090 | 3693162 | 4900 1968 | 1 | 1 911.28/911.72 c 911s | 24 | 5401982 | 3701962 | 4900 1971 | 1 | 1 913.28/913.74 c 913s | 24 | 5419335 | 3711562 | 4900 1975 | 1 | 1 915.28/915.77 c 915s | 24 | 5430103 | 3719662 | 4900 1978 | 1 | 1 917.28/917.78 c 917s | 24 | 5442239 | 3728262 | 4900 1982 | 1 | 1 919.29/919.79 c 919s | 24 | 5455900 | 3737362 | 4900 1985 | 1 | 1 921.28/921.80 c 921s | 24 | 5466775 | 3746062 | 4900 1989 | 1 | 1 923.38/923.81 c 923s | 24 | 5480382 | 3755562 | 4900 1993 | 1 | 1 925.38/925.81 c 925s | 24 | 5494745 | 3764862 | 4900 1997 | 1 | 1 927.38/927.82 c 927s | 24 | 5507167 | 3774262 | 4900 2000 | 1 | 1 929.38/929.86 c 929s | 24 | 5522784 | 3783762 | 4900 2004 | 1 | 1 931.38/931.88 c 931s | 24 | 5540180 | 3793662 | 4900 2008 | 1 | 1 933.38/933.89 c 933s | 24 | 5552994 | 3802562 | 4900 2012 | 1 | 1 935.37/935.89 c 935s | 24 | 5569202 | 3811962 | 4900 2016 | 1 | 1 937.47/937.91 c 937s | 24 | 5583527 | 3821262 | 4900 2019 | 1 | 1 939.47/939.92 c 939s | 24 | 5599418 | 3830762 | 4900 2023 | 1 | 1 941.48/941.93 c 941s | 24 | 5618296 | 3840562 | 4900 2027 | 1 | 1 943.49/943.94 c 943s | 24 | 5631253 | 3849462 | 4900 2031 | 1 | 1 945.48/945.95 c 945s | 24 | 5645370 | 3858062 | 4900 2034 | 1 | 1 947.48/947.98 c 947s | 24 | 5655837 | 3866362 | 4900 2038 | 1 | 1 949.48/949.99 c 949s | 24 | 5665448 | 3874562 | 4900 2041 | 1 | 1 951.48/951.99 c 951s | 24 | 5680788 | 3883662 | 4900 2045 | 1 | 1 953.47/953.99 c 953s | 24 | 5694510 | 3892362 | 4900 2048 | 1 | 1 955.48/956.00 c 955s | 24 | 5706072 | 3900562 | 4900 2051 | 1 | 1 957.57/958.00 c 957s | 24 | 5717343 | 3909462 | 4900 2055 | 1 | 1 959.57/960.05 c 960s | 24 | 5728047 | 3918462 | 4900 2059 | 1 | 1 961.57/962.06 c 962s | 24 | 5740610 | 3927862 | 4900 2062 | 1 | 1 963.58/964.06 c 964s | 24 | 5751018 | 3936262 | 4900 2066 | 1 | 1 965.58/966.08 c 966s | 24 | 5763377 | 3945462 | 4900 2069 | 1 | 1 967.58/968.08 c 968s | 24 | 5773998 | 3953862 | 4900 2073 | 1 | 1 969.57/970.09 c 970s | 24 | 5784071 | 3962162 | 4900 2076 | 1 | 1 971.57/972.09 c 972s | 24 | 5793479 | 3970262 | 4900 2079 | 1 | 1 973.67/974.11 c 974s | 24 | 5803659 | 3978662 | 4900 2083 | 1 | 1 975.67/976.12 c 976s | 24 | 5813524 | 3987062 | 4900 2086 | 1 | 1 977.67/978.14 c 978s | 24 | 5823793 | 3995362 | 4900 2090 | 1 | 1 979.68/980.14 c 980s | 24 | 5834696 | 4003862 | 4900 2093 | 1 | 1 981.67/982.18 c 982s | 24 | 5845423 | 4012662 | 4900 2097 | 1 | 1 983.77/984.20 c 984s | 24 | 5855166 | 4020662 | 4900 2100 | 1 | 1 985.77/986.21 c 986s | 24 | 5866830 | 4029762 | 4900 2103 | 1 | 1 987.77/988.22 c 988s | 24 | 5878289 | 4038262 | 4900 2107 | 1 | 1 989.77/990.23 c 990s | 24 | 5891028 | 4047562 | 4900 2111 | 1 | 1 991.77/992.27 c 992s | 24 | 5905088 | 4057262 | 4900 2115 | 1 | 1 993.77/994.27 c 994s | 24 | 5919661 | 4066062 | 4900 2118 | 1 | 1 995.76/996.27 c 996s | 24 | 5933401 | 4074962 | 4900 2122 | 1 | 1 997.77/998.27 c 998s | 24 | 5943833 | 4083262 | 4900 2125 | 1 | 1 999.77/1000.28 c 1000s | 24 | 5955211 | 4091062 | 4900 2128 | 1 | 1 1001.77/1002.30 c 1002s | 24 | 5966873 | 4098962 | 4900 2131 | 1 | 1 1003.76/1004.30 c 1004s | 24 | 5979007 | 4107662 | 4900 2135 | 1 | 1 1005.87/1006.32 c 1006s | 24 | 5989344 | 4116062 | 4900 2138 | 1 | 1 1007.86/1008.33 c 1008s | 24 | 6000259 | 4123962 | 4900 2141 | 1 | 1 1009.87/1010.33 c 1010s | 24 | 6012976 | 4132662 | 4900 2145 | 1 | 1 1011.87/1012.39 c 1012s | 24 | 6024709 | 4141462 | 4900 2148 | 1 | 1 1013.97/1014.40 c 1014s | 24 | 6041683 | 4150462 | 4900 2152 | 1 | 1 1015.97/1016.42 c 1016s | 24 | 6055201 | 4159062 | 4900 2156 | 1 | 1 1017.96/1018.43 c 1018s | 24 | 6069076 | 4168662 | 4900 2159 | 1 | 1 1019.96/1020.44 c 1020s | 24 | 6082317 | 4177662 | 4900 2163 | 1 | 1 1021.96/1022.46 c 1022s | 24 | 6093196 | 4186262 | 4900 2167 | 1 | 1 1023.97/1024.47 c 1024s | 24 | 6104907 | 4195462 | 4900 2170 | 1 | 1 1025.98/1026.49 c 1026s | 24 | 6118252 | 4203962 | 4900 2174 | 1 | 1 1027.97/1028.50 c 1028s | 24 | 6132670 | 4212962 | 4900 2177 | 1 | 1 1030.06/1030.51 c 1030s | 24 | 6145074 | 4221862 | 4900 2181 | 1 | 1 1032.06/1032.53 c 1032s | 24 | 6157127 | 4231062 | 4900 2185 | 1 | 1 1034.06/1034.55 c 1034s | 24 | 6168999 | 4240462 | 4900 2188 | 1 | 1 1036.06/1036.56 c 1036s | 24 | 6184833 | 4250162 | 4900 2192 | 1 | 1 1038.07/1038.58 c 1038s | 24 | 6199084 | 4259562 | 4900 2196 | 1 | 1 1040.06/1040.59 c 1040s | 24 | 6211311 | 4268862 | 4900 2200 | 1 | 1 1042.16/1042.60 c 1042s | 24 | 6222520 | 4276762 | 4900 2203 | 1 | 1 1044.16/1044.62 c 1044s | 24 | 6233875 | 4285562 | 4900 2207 | 1 | 1 1046.16/1046.63 c 1046s | 24 | 6244032 | 4293662 | 4900 2210 | 1 | 1 1048.16/1048.64 c 1048s | 24 | 6253959 | 4302162 | 4900 2213 | 1 | 1 1050.17/1050.65 c 1050s | 24 | 6264337 | 4310962 | 4900 2217 | 1 | 1 1052.16/1052.67 c 1052s | 24 | 6275307 | 4319662 | 4900 2220 | 1 | 1 1054.16/1054.67 c 1054s | 24 | 6286927 | 4328762 | 4900 2224 | 1 | 1 1056.26/1056.70 c 1056s | 24 | 6297440 | 4337162 | 4900 2228 | 1 | 1 1058.26/1058.71 c 1058s | 24 | 6308255 | 4345462 | 4900 2231 | 1 | 1 1060.25/1060.72 c 1060s | 24 | 6319825 | 4353762 | 4900 2234 | 1 | 1 1062.27/1062.73 c 1062s | 24 | 6332914 | 4362362 | 4900 2238 | 1 | 1 1064.26/1064.73 c 1064s | 24 | 6345960 | 4371562 | 4900 2241 | 1 | 1 1066.26/1066.75 c 1066s | 24 | 6359056 | 4380662 | 4900 2245 | 1 | 1 1068.26/1068.75 c 1068s | 24 | 6369809 | 4389262 | 4900 2249 | 1 | 1 1070.26/1070.76 c 1070s | 24 | 6385118 | 4398462 | 4900 2252 | 1 | 1 1072.26/1072.77 c 1072s | 24 | 6401367 | 4407762 | 4900 2256 | 1 | 1 1074.26/1074.79 c 1074s | 24 | 6414626 | 4417062 | 4900 2260 | 1 | 1 1076.35/1076.81 c 1076s | 24 | 6430681 | 4426662 | 4900 2264 | 1 | 1 1078.36/1078.82 c 1078s | 24 | 6442283 | 4435262 | 4900 2267 | 1 | 1 1080.35/1080.82 c 1080s | 24 | 6454264 | 4443762 | 4900 2271 | 1 | 1 1082.35/1082.83 c 1082s | 24 | 6465450 | 4451862 | 4900 2274 | 1 | 1 1084.36/1084.84 c 1084s | 24 | 6476352 | 4460262 | 4900 2277 | 1 | 1 1086.36/1086.84 c 1086s | 24 | 6488432 | 4468762 | 4900 2281 | 1 | 1 1088.35/1088.85 c 1088s | 24 | 6499869 | 4476962 | 4900 2284 | 1 | 1 1090.46/1090.97 c 1090s | 24 | 6510941 | 4485262 | 4900 2288 | 1 | 1 1092.46/1092.97 c 1092s | 24 | 6524246 | 4494462 | 4900 2291 | 1 | 1 1094.45/1094.99 c 1094s | 24 | 6535239 | 4503062 | 4900 2295 | 1 | 1 1096.55/1097.01 c 1096s | 24 | 6546863 | 4511562 | 4900 2298 | 1 | 1 1098.56/1099.02 c 1098s | 24 | 6557051 | 4519462 | 4900 2301 | 1 | 1 1100.55/1101.04 c 1101s | 24 | 6566925 | 4527162 | 4900 2305 | 1 | 1 1102.55/1103.07 c 1103s | 24 | 6576994 | 4535162 | 4900 2308 | 1 | 1 1104.55/1105.07 c 1105s | 24 | 6586675 | 4543062 | 4900 2311 | 1 | 1 1106.55/1107.07 c 1107s | 24 | 6596351 | 4550862 | 4900 2314 | 1 | 1 1108.56/1109.08 c 1109s | 24 | 6606354 | 4559062 | 4900 2317 | 1 | 1 1110.56/1111.09 c 1111s | 24 | 6617094 | 4567462 | 4900 2321 | 1 | 1 1112.65/1113.15 c 1113s | 24 | 6628345 | 4576362 | 4900 2324 | 1 | 1 1114.65/1115.17 c 1115s | 24 | 6642089 | 4585462 | 4900 2328 | 1 | 1 1116.65/1117.18 c 1117s | 24 | 6653391 | 4593762 | 4900 2331 | 1 | 1 1118.65/1119.19 c 1119s | 24 | 6667042 | 4602162 | 4900 2335 | 1 | 1 1120.75/1121.20 c 1121s | 24 | 6678333 | 4610462 | 4900 2338 | 1 | 1 1122.66/1123.20 c 1123s | 24 | 6688913 | 4618562 | 4900 2342 | 1 | 1 1124.75/1125.21 c 1125s | 24 | 6703168 | 4627662 | 4900 2345 | 1 | 1 1126.74/1127.23 c 1127s | 24 | 6712938 | 4635862 | 4900 2348 | 1 | 1 1128.75/1129.23 c 1129s | 24 | 6725095 | 4645362 | 4900 2352 | 1 | 1 1130.74/1131.23 c 1131s | 24 | 6737309 | 4654362 | 4900 2356 | 1 | 1 1132.74/1133.25 c 1133s | 24 | 6751156 | 4664262 | 4900 2360 | 1 | 1 1134.75/1135.29 c 1135s | 24 | 6763232 | 4673062 | 4900 2364 | 1 | 1 1136.85/1137.30 c 1137s | 24 | 6776753 | 4682362 | 4900 2367 | 1 | 1 1138.85/1139.31 c 1139s | 24 | 6790904 | 4691362 | 4900 2371 | 1 | 1 1140.84/1141.31 c 1141s | 24 | 6803416 | 4700462 | 4900 2375 | 1 | 1 1142.84/1143.32 c 1143s | 24 | 6813725 | 4708562 | 4900 2378 | 1 | 1 1144.84/1145.33 c 1145s | 24 | 6823403 | 4716862 | 4900 2381 | 1 | 1 1146.85/1147.33 c 1147s | 24 | 6833502 | 4725362 | 4900 2385 | 1 | 1 1148.84/1149.34 c 1149s | 24 | 6843713 | 4733862 | 4900 2388 | 1 | 1 1150.84/1151.35 c 1151s | 24 | 6855371 | 4742762 | 4900 2392 | 1 | 1 1152.84/1153.35 c 1153s | 24 | 6867105 | 4751962 | 4900 2395 | 1 | 1 1154.95/1155.42 c 1155s | 24 | 6877896 | 4760662 | 4900 2399 | 1 | 1 1156.95/1157.44 c 1157s | 24 | 6888322 | 4769562 | 4900 2403 | 1 | 1 1158.95/1159.46 c 1159s | 24 | 6898804 | 4778362 | 4900 2406 | 1 | 1 1160.94/1161.46 c 1161s | 24 | 6910183 | 4787562 | 4900 2410 | 1 | 1 1162.94/1163.48 c 1163s | 24 | 6921165 | 4796362 | 4900 2413 | 1 | 1 1165.05/1165.53 c 1165s | 24 | 6932097 | 4805162 | 4900 2417 | 1 | 1 1167.04/1167.54 c 1167s | 24 | 6942473 | 4813962 | 4900 2420 | 1 | 1 1169.04/1169.54 c 1169s | 24 | 6955697 | 4822962 | 4900 2424 | 1 | 1 1171.05/1171.55 c 1171s | 24 | 6969064 | 4831462 | 4900 2428 | 1 | 1 1173.04/1173.57 c 1173s | 24 | 6982577 | 4839862 | 4900 2431 | 1 | 1 1175.04/1175.59 c 1175s | 24 | 6993240 | 4847762 | 4900 2434 | 1 | 1 1177.05/1177.59 c 1177s | 24 | 7003119 | 4855662 | 4900 2437 | 1 | 1 1179.14/1179.60 c 1179s | 24 | 7012884 | 4863462 | 4900 2440 | 1 | 1 1181.14/1181.60 c 1181s | 24 | 7024871 | 4871362 | 4900 2444 | 1 | 1 1183.15/1183.62 c 1183s | 24 | 7036950 | 4879662 | 4900 2447 | 1 | 1 1185.14/1185.63 c 1185s | 24 | 7049662 | 4888762 | 4900 2451 | 1 | 1 1187.14/1187.65 c 1187s | 24 | 7062919 | 4897662 | 4900 2454 | 1 | 1 1189.14/1189.67 c 1189s | 24 | 7076226 | 4906762 | 4900 2458 | 1 | 1 1191.14/1191.68 c 1191s | 24 | 7089468 | 4915762 | 4900 2461 | 1 | 1 1193.14/1193.69 c 1193s | 24 | 7100409 | 4924362 | 4900 2465 | 1 | 1 1195.14/1195.69 c 1195s | 24 | 7117773 | 4932962 | 4900 2468 | 1 | 1 1197.23/1197.71 c 1197s | 24 | 7132537 | 4942162 | 4900 2472 | 1 | 1 1199.23/1199.72 c 1199s | 24 | 7149078 | 4950962 | 4900 2476 | 1 | 1 1201.23/1201.74 c 1201s | 24 | 7165276 | 4960162 | 4900 2479 | 1 | 1 1203.23/1203.74 c 1203s | 24 | 7177294 | 4968262 | 4900 2483 | 1 | 1 1205.24/1205.75 c 1205s | 24 | 7191516 | 4977462 | 4900 2486 | 1 | 1 1207.23/1207.76 c 1207s | 24 | 7202405 | 4985762 | 4900 2490 | 1 | 1 1209.23/1209.77 c 1209s | 24 | 7217877 | 4994962 | 4900 2493 | 1 | 1 1211.24/1211.77 c 1211s | 24 | 7229349 | 5003862 | 4900 2497 | 1 | 1 1213.24/1213.78 c 1213s | 24 | 7241035 | 5012462 | 4900 2500 | 1 | 1 1215.24/1215.79 c 1215s | 24 | 7255028 | 5021862 | 4900 2504 | 1 | 1 1217.24/1217.79 c 1217s | 24 | 7265851 | 5029962 | 5390 2507 | 1 | 1 1219.33/1219.82 c 1219s | 24 | 7277712 | 5038862 | 5390 2511 | 1 | 1 1221.33/1221.85 c 1221s | 24 | 7287886 | 5047062 | 5390 2514 | 1 | 1 1223.33/1223.85 c 1223s | 24 | 7299479 | 5055662 | 5390 2517 | 1 | 1 1225.33/1225.86 c 1225s | 24 | 7310997 | 5064262 | 5390 2520 | 1 | 1 1225.53/1226.05 c 1226s | 25 | 7312478 | 5065098 | 5390 2520 | 1 | 1 1227.53/1228.06 c 1228s | 25 | 7327891 | 5073898 | 5390 2523 | 1 | 1 1229.53/1230.08 c 1230s | 25 | 7342509 | 5083198 | 5390 2527 | 1 | 1 1231.54/1232.08 c 1232s | 25 | 7355171 | 5091498 | 5390 2530 | 1 | 1 1233.63/1234.10 c 1234s | 25 | 7366071 | 5099698 | 5390 2533 | 1 | 1 1235.63/1236.12 c 1236s | 25 | 7375921 | 5107398 | 5390 2536 | 1 | 1 1237.64/1238.14 c 1238s | 25 | 7385364 | 5115098 | 5390 2538 | 1 | 1 1239.63/1240.16 c 1240s | 25 | 7396469 | 5123498 | 5390 2541 | 1 | 1 1241.63/1242.18 c 1242s | 25 | 7406566 | 5131598 | 5390 2544 | 1 | 1 1243.64/1244.19 c 1244s | 25 | 7420995 | 5140498 | 5390 2548 | 1 | 1 1245.63/1246.19 c 1246s | 25 | 7436648 | 5149198 | 5390 2551 | 1 | 1 1247.73/1248.21 c 1248s | 25 | 7451353 | 5158198 | 5390 2554 | 1 | 1 1249.73/1250.21 c 1250s | 25 | 7464726 | 5166298 | 5390 2557 | 1 | 1 1251.73/1252.23 c 1252s | 25 | 7474463 | 5174398 | 5390 2560 | 1 | 1 1253.73/1254.24 c 1254s | 25 | 7483628 | 5182098 | 5390 2563 | 1 | 1 1255.74/1256.25 c 1256s | 25 | 7492933 | 5189798 | 5390 2566 | 1 | 1 1257.73/1258.26 c 1258s | 25 | 7506953 | 5197898 | 5390 2569 | 1 | 1 1259.73/1260.28 c 1260s | 25 | 7519613 | 5205898 | 5390 2572 | 1 | 1 1261.82/1262.30 c 1262s | 25 | 7530717 | 5212998 | 5390 2574 | 1 | 1 1263.82/1264.32 c 1264s | 25 | 7545216 | 5221898 | 5390 2577 | 1 | 1 1265.83/1266.34 c 1266s | 25 | 7557246 | 5230298 | 5390 2581 | 1 | 1 1267.84/1268.35 c 1268s | 25 | 7567986 | 5238498 | 5390 2584 | 1 | 1 1269.83/1270.36 c 1270s | 25 | 7580227 | 5246498 | 5390 2586 | 1 | 1 1271.83/1272.36 c 1272s | 25 | 7591317 | 5254698 | 5390 2589 | 1 | 1 1273.83/1274.38 c 1274s | 25 | 7602340 | 5262498 | 5390 2592 | 1 | 1 1275.92/1276.40 c 1276s | 25 | 7612381 | 5270298 | 5390 2595 | 1 | 1 1277.92/1278.42 c 1278s | 25 | 7622849 | 5278098 | 5390 2598 | 1 | 1 1279.93/1280.44 c 1280s | 25 | 7634539 | 5285998 | 5390 2601 | 1 | 1 1282.02/1282.55 c 1282s | 25 | 7645856 | 5294098 | 5390 2604 | 1 | 1 1284.02/1284.56 c 1284s | 25 | 7658191 | 5302698 | 5390 2607 | 1 | 1 1286.02/1286.57 c 1286s | 25 | 7668049 | 5310498 | 5390 2610 | 1 | 1 1288.02/1288.59 c 1288s | 25 | 7680167 | 5318398 | 5390 2613 | 1 | 1 1290.12/1290.60 c 1290s | 25 | 7690726 | 5326698 | 5390 2616 | 1 | 1 1292.13/1292.61 c 1292s | 25 | 7704131 | 5334698 | 5390 2619 | 1 | 1 1294.12/1294.62 c 1294s | 25 | 7717337 | 5343198 | 5390 2622 | 1 | 1 1296.12/1296.63 c 1296s | 25 | 7729835 | 5351198 | 5390 2625 | 1 | 1 1298.13/1298.64 c 1298s | 25 | 7739800 | 5358498 | 5390 2627 | 1 | 1 1300.12/1300.66 c 1300s | 25 | 7752026 | 5366498 | 5390 2630 | 1 | 1 1302.13/1302.67 c 1302s | 25 | 7764312 | 5374498 | 5390 2633 | 1 | 1 1304.13/1304.67 c 1304s | 25 | 7774198 | 5381798 | 5390 2636 | 1 | 1 1306.12/1306.67 c 1306s | 25 | 7786731 | 5390098 | 5390 2639 | 1 | 1 1308.12/1308.69 c 1308s | 25 | 7797466 | 5398198 | 5390 2642 | 1 | 1 1310.23/1310.71 c 1310s | 25 | 7807988 | 5406198 | 5390 2645 | 1 | 1 1312.22/1312.72 c 1312s | 25 | 7819042 | 5414898 | 5390 2648 | 1 | 1 1314.22/1314.72 c 1314s | 25 | 7831362 | 5423698 | 5390 2651 | 1 | 1 1316.22/1316.74 c 1316s | 25 | 7842466 | 5432098 | 5390 2654 | 1 | 1 1318.22/1318.75 c 1318s | 25 | 7854234 | 5440398 | 5390 2657 | 1 | 1 1320.22/1320.76 c 1320s | 25 | 7867864 | 5448698 | 5390 2660 | 1 | 1 1322.22/1322.78 c 1322s | 25 | 7878413 | 5456098 | 5390 2663 | 1 | 1 1324.22/1324.79 c 1324s | 25 | 7888917 | 5464098 | 5390 2666 | 1 | 1 1326.32/1326.80 c 1326s | 25 | 7899400 | 5471398 | 5390 2669 | 1 | 1 1328.33/1328.81 c 1328s | 25 | 7913741 | 5479798 | 5390 2672 | 1 | 1 1330.32/1330.84 c 1330s | 25 | 7925424 | 5488398 | 5390 2675 | 1 | 1 1332.31/1332.84 c 1332s | 25 | 7938777 | 5497198 | 5390 2678 | 1 | 1 1334.31/1334.85 c 1334s | 25 | 7953383 | 5506298 | 5390 2682 | 1 | 1 1336.31/1336.86 c 1336s | 25 | 7964992 | 5514998 | 5390 2685 | 1 | 1 1338.32/1338.87 c 1338s | 25 | 7976571 | 5523898 | 5390 2688 | 1 | 1 1340.31/1340.87 c 1340s | 25 | 7987655 | 5532598 | 5390 2691 | 1 | 1 1342.31/1342.89 c 1342s | 25 | 7999490 | 5541398 | 5390 2694 | 1 | 1 1344.41/1344.90 c 1344s | 25 | 8010751 | 5549798 | 5390 2697 | 1 | 1 1346.41/1346.90 c 1346s | 25 | 8022065 | 5558398 | 5390 2701 | 1 | 1 1348.42/1348.91 c 1348s | 25 | 8038045 | 5566398 | 5390 2704 | 1 | 1 1350.42/1350.94 c 1350s | 25 | 8049333 | 5574498 | 5390 2707 | 1 | 1 1352.42/1352.94 c 1352s | 25 | 8059057 | 5582198 | 5390 2709 | 1 | 1 1354.42/1354.96 c 1354s | 25 | 8068809 | 5589898 | 5390 2712 | 1 | 1 1356.41/1356.97 c 1356s | 25 | 8078192 | 5597598 | 5390 2715 | 1 | 1 1358.41/1358.98 c 1358s | 25 | 8087680 | 5605598 | 5390 2718 | 1 | 1 1360.41/1361.00 c 1360s | 25 | 8097434 | 5613598 | 5390 2721 | 1 | 1 1362.42/1363.00 c 1362s | 25 | 8107408 | 5621598 | 5390 2724 | 1 | 1 1364.52/1365.02 c 1364s | 25 | 8118240 | 5630198 | 5390 2727 | 1 | 1 1366.52/1367.02 c 1366s | 25 | 8128676 | 5638498 | 5390 2730 | 1 | 1 1368.51/1369.03 c 1368s | 25 | 8138772 | 5646498 | 5390 2733 | 1 | 1 1370.51/1371.04 c 1371s | 25 | 8148706 | 5654098 | 5390 2736 | 1 | 1 1372.51/1373.05 c 1373s | 25 | 8159179 | 5662698 | 5390 2739 | 1 | 1 1374.52/1375.06 c 1375s | 25 | 8168729 | 5670298 | 5390 2742 | 1 | 1 1376.51/1377.07 c 1377s | 25 | 8180169 | 5679098 | 5390 2745 | 1 | 1 1378.51/1379.08 c 1379s | 25 | 8189735 | 5686598 | 5390 2748 | 1 | 1 1380.61/1381.11 c 1381s | 25 | 8199081 | 5693998 | 5390 2750 | 1 | 1 1382.61/1383.12 c 1383s | 25 | 8208453 | 5701598 | 5390 2753 | 1 | 1 1384.61/1385.13 c 1385s | 25 | 8218290 | 5709298 | 5390 2756 | 1 | 1 1386.61/1387.16 c 1387s | 25 | 8228232 | 5717298 | 5390 2759 | 1 | 1 1388.61/1389.17 c 1389s | 25 | 8238901 | 5725298 | 5390 2762 | 1 | 1 1390.71/1391.20 c 1391s | 25 | 8249400 | 5733898 | 5390 2765 | 1 | 1 1392.71/1393.20 c 1393s | 25 | 8260434 | 5742398 | 5390 2768 | 1 | 1 1394.71/1395.23 c 1395s | 25 | 8270458 | 5750098 | 5390 2771 | 1 | 1 1396.71/1397.24 c 1397s | 25 | 8285217 | 5758598 | 5390 2774 | 1 | 1 1398.71/1399.24 c 1399s | 25 | 8295784 | 5766598 | 5390 2777 | 1 | 1 1400.71/1401.25 c 1401s | 25 | 8305354 | 5774198 | 5390 2780 | 1 | 1 1402.70/1403.26 c 1403s | 25 | 8315272 | 5782198 | 5390 2783 | 1 | 1 1404.71/1405.27 c 1405s | 25 | 8326540 | 5790598 | 5390 2786 | 1 | 1 1406.80/1407.31 c 1407s | 25 | 8337983 | 5798698 | 5390 2789 | 1 | 1 1408.80/1409.32 c 1409s | 25 | 8347833 | 5806898 | 5390 2792 | 1 | 1 1410.81/1411.33 c 1411s | 25 | 8358428 | 5814998 | 5390 2795 | 1 | 1 1412.81/1413.35 c 1413s | 25 | 8368309 | 5822798 | 5390 2798 | 1 | 1 1414.91/1415.45 c 1415s | 25 | 8378738 | 5830598 | 5390 2801 | 1 | 1 1416.91/1417.46 c 1417s | 25 | 8390141 | 5838698 | 5390 2804 | 1 | 1 1418.91/1419.46 c 1419s | 25 | 8400090 | 5846798 | 5390 2806 | 1 | 1 1421.01/1421.51 c 1421s | 25 | 8410425 | 5855098 | 5390 2810 | 1 | 1 1423.01/1423.52 c 1423s | 25 | 8419452 | 5862398 | 5390 2812 | 1 | 1 1425.00/1425.55 c 1425s | 25 | 8432597 | 5871098 | 5390 2815 | 1 | 1 1427.00/1427.55 c 1427s | 25 | 8445878 | 5879398 | 5390 2818 | 1 | 1 1429.00/1429.56 c 1429s | 25 | 8457779 | 5887698 | 5390 2821 | 1 | 1 1431.00/1431.58 c 1431s | 25 | 8468236 | 5895698 | 5390 2824 | 1 | 1 1433.10/1433.60 c 1433s | 25 | 8477960 | 5903698 | 5390 2827 | 1 | 1 1435.11/1435.62 c 1435s | 25 | 8488913 | 5911998 | 5390 2830 | 1 | 1 1437.10/1437.63 c 1437s | 25 | 8500711 | 5920398 | 5390 2833 | 1 | 1 1439.10/1439.64 c 1439s | 25 | 8513074 | 5929398 | 5390 2837 | 1 | 1 1441.10/1441.64 c 1441s | 25 | 8524188 | 5938098 | 5390 2840 | 1 | 1 1443.10/1443.65 c 1443s | 25 | 8534141 | 5946298 | 5390 2843 | 1 | 1 1445.10/1445.65 c 1445s | 25 | 8543181 | 5953698 | 5390 2846 | 1 | 1 1447.11/1447.65 c 1447s | 25 | 8552930 | 5961698 | 5390 2849 | 1 | 1 1449.10/1449.65 c 1449s | 25 | 8562607 | 5969798 | 5390 2852 | 1 | 1 1451.10/1451.67 c 1451s | 25 | 8572931 | 5977998 | 5390 2855 | 1 | 1 1453.10/1453.68 c 1453s | 25 | 8586029 | 5985798 | 5390 2857 | 1 | 1 1455.10/1455.68 c 1455s | 25 | 8600807 | 5993498 | 5390 2860 | 1 | 1 1457.10/1457.69 c 1457s | 25 | 8612339 | 6001598 | 5390 2863 | 1 | 1 1459.09/1459.70 c 1459s | 25 | 8623643 | 6009898 | 5390 2866 | 1 | 1 1461.19/1461.71 c 1461s | 25 | 8633720 | 6018098 | 5390 2869 | 1 | 1 1463.19/1463.71 c 1463s | 25 | 8644002 | 6026498 | 5390 2872 | 1 | 1 1465.19/1465.78 c 1465s | 25 | 8655339 | 6034498 | 5390 2875 | 1 | 1 1467.19/1467.79 c 1467s | 25 | 8668291 | 6043198 | 5390 2878 | 1 | 1 1469.20/1469.79 c 1469s | 25 | 8679717 | 6051598 | 5390 2882 | 1 | 1 1471.19/1471.80 c 1471s | 25 | 8690147 | 6060398 | 5390 2885 | 1 | 1 1473.29/1473.81 c 1473s | 25 | 8701353 | 6068698 | 5390 2888 | 1 | 1 1475.29/1475.82 c 1475s | 25 | 8711490 | 6076798 | 5390 2891 | 1 | 1 1477.30/1477.89 c 1477s | 25 | 8721355 | 6084698 | 5390 2894 | 1 | 1 1479.29/1479.89 c 1479s | 25 | 8732974 | 6093398 | 5390 2897 | 1 | 1 1481.39/1481.90 c 1481s | 25 | 8744828 | 6101798 | 5390 2900 | 1 | 1 1483.40/1483.92 c 1483s | 25 | 8756947 | 6110498 | 5390 2903 | 1 | 1 1485.39/1485.92 c 1485s | 25 | 8768356 | 6118698 | 5390 2906 | 1 | 1 1487.39/1487.92 c 1487s | 25 | 8781111 | 6126998 | 5390 2909 | 1 | 1 1489.39/1489.93 c 1489s | 25 | 8793559 | 6135898 | 5390 2912 | 1 | 1 1491.39/1491.93 c 1491s | 25 | 8804557 | 6143998 | 5390 2915 | 1 | 1 1493.40/1493.93 c 1493s | 25 | 8819066 | 6152598 | 5390 2919 | 1 | 1 1495.39/1495.94 c 1495s | 25 | 8833234 | 6160798 | 5390 2922 | 1 | 1 1497.39/1497.95 c 1497s | 25 | 8846639 | 6169298 | 5390 2925 | 1 | 1 1499.39/1499.96 c 1499s | 25 | 8861208 | 6177798 | 5390 2928 | 1 | 1 1501.39/1501.97 c 1501s | 25 | 8876448 | 6186598 | 5390 2931 | 1 | 1 1503.49/1504.02 c 1503s | 25 | 8889755 | 6195498 | 5390 2934 | 1 | 1 1505.50/1506.02 c 1505s | 25 | 8902999 | 6204398 | 5390 2938 | 1 | 1 1507.49/1508.05 c 1508s | 25 | 8914605 | 6212498 | 5390 2941 | 1 | 1 1509.49/1510.06 c 1510s | 25 | 8923503 | 6219998 | 5390 2943 | 1 | 1 1511.49/1512.07 c 1512s | 25 | 8935011 | 6228498 | 5390 2946 | 1 | 1 1513.49/1514.08 c 1514s | 25 | 8946558 | 6237198 | 5390 2950 | 1 | 1 1515.49/1516.08 c 1516s | 25 | 8957608 | 6245998 | 5390 2953 | 1 | 1 1517.50/1518.10 c 1518s | 25 | 8967082 | 6253798 | 5390 2956 | 1 | 1 1519.59/1520.11 c 1520s | 25 | 8978257 | 6262698 | 5390 2959 | 1 | 1 1521.59/1522.14 c 1522s | 25 | 8987058 | 6269898 | 5390 2962 | 1 | 1 1523.59/1524.15 c 1524s | 25 | 8999096 | 6277498 | 5390 2964 | 1 | 1 1525.58/1526.16 c 1526s | 25 | 9016664 | 6285398 | 5390 2967 | 1 | 1 1527.59/1528.17 c 1528s | 25 | 9026850 | 6292498 | 5390 2970 | 1 | 1 1529.59/1530.19 c 1530s | 25 | 9037005 | 6299998 | 5390 2973 | 1 | 1 1531.68/1532.20 c 1532s | 25 | 9046056 | 6307498 | 5390 2975 | 1 | 1 1533.68/1534.22 c 1534s | 25 | 9056065 | 6315198 | 5390 2978 | 1 | 1 1535.69/1536.24 c 1536s | 25 | 9065259 | 6322598 | 5390 2981 | 1 | 1 1537.68/1538.25 c 1538s | 25 | 9074627 | 6330098 | 5390 2984 | 1 | 1 1539.68/1540.27 c 1540s | 25 | 9084339 | 6338098 | 5390 2986 | 1 | 1 1541.69/1542.28 c 1542s | 25 | 9095282 | 6345398 | 5390 2989 | 1 | 1 1543.68/1544.29 c 1544s | 25 | 9104677 | 6352598 | 5390 2992 | 1 | 1 1545.79/1546.31 c 1546s | 25 | 9113161 | 6359798 | 5390 2994 | 1 | 1 1547.78/1548.32 c 1548s | 25 | 9124959 | 6367898 | 5390 2997 | 1 | 1 1549.78/1550.34 c 1550s | 25 | 9134753 | 6375598 | 5390 3000 | 1 | 1 1551.78/1552.35 c 1552s | 25 | 9145164 | 6382798 | 5390 3003 | 1 | 1 1553.79/1554.36 c 1554s | 25 | 9154270 | 6390298 | 5390 3006 | 1 | 1 1555.78/1556.37 c 1556s | 25 | 9163401 | 6397698 | 5390 3008 | 1 | 1 1557.78/1558.38 c 1558s | 25 | 9173321 | 6405298 | 5390 3011 | 1 | 1 1559.78/1560.39 c 1560s | 25 | 9184899 | 6412998 | 5390 3014 | 1 | 1 1561.88/1562.42 c 1562s | 25 | 9193488 | 6420198 | 5390 3017 | 1 | 1 1563.87/1564.45 c 1564s | 25 | 9202877 | 6427798 | 5390 3019 | 1 | 1 1565.88/1566.47 c 1566s | 25 | 9212249 | 6435098 | 5390 3022 | 1 | 1 1567.87/1568.49 c 1568s | 25 | 9223207 | 6442598 | 5390 3025 | 1 | 1 1570.07/1570.63 c 1570s | 25 | 9232467 | 6450198 | 5390 3028 | 1 | 1 1572.08/1572.65 c 1572s | 25 | 9242370 | 6458298 | 5390 3030 | 1 | 1 1574.08/1574.67 c 1574s | 25 | 9251832 | 6465498 | 5390 3033 | 1 | 1 1576.08/1576.69 c 1576s | 25 | 9261699 | 6473398 | 5390 3036 | 1 | 1 1578.18/1578.71 c 1578s | 25 | 9271144 | 6480798 | 5390 3039 | 1 | 1 1580.19/1580.72 c 1580s | 25 | 9280643 | 6488198 | 5390 3041 | 1 | 1 1582.18/1582.72 c 1582s | 25 | 9290365 | 6495798 | 5390 3044 | 1 | 1 1584.18/1584.73 c 1584s | 25 | 9301424 | 6503498 | 5390 3047 | 1 | 1 1586.18/1586.74 c 1586s | 25 | 9312588 | 6510998 | 5390 3050 | 1 | 1 1588.18/1588.74 c 1588s | 25 | 9322719 | 6518998 | 5390 3053 | 1 | 1 1590.19/1590.76 c 1590s | 25 | 9331431 | 6525798 | 5390 3055 | 1 | 1 1592.18/1592.78 c 1592s | 25 | 9342607 | 6533698 | 5390 3058 | 1 | 1 1594.17/1594.78 c 1594s | 25 | 9355456 | 6541698 | 5390 3061 | 1 | 1 1596.27/1596.81 c 1596s | 25 | 9367726 | 6549898 | 5390 3064 | 1 | 1 1598.27/1598.81 c 1598s | 25 | 9377281 | 6557398 | 5390 3067 | 1 | 1 1600.27/1600.82 c 1600s | 25 | 9386245 | 6564698 | 5390 3070 | 1 | 1 1602.28/1602.82 c 1602s | 25 | 9395814 | 6572398 | 5390 3072 | 1 | 1 1604.27/1604.82 c 1604s | 25 | 9405605 | 6580298 | 5390 3075 | 1 | 1 1606.27/1606.84 c 1606s | 25 | 9414147 | 6587498 | 5390 3078 | 1 | 1 1608.27/1608.86 c 1608s | 25 | 9423597 | 6595098 | 5390 3081 | 1 | 1 1610.27/1610.87 c 1610s | 25 | 9433100 | 6602798 | 5390 3083 | 1 | 1 1612.27/1612.87 c 1612s | 25 | 9442751 | 6610398 | 5390 3086 | 1 | 1 1614.27/1614.88 c 1614s | 25 | 9451224 | 6617598 | 5390 3089 | 1 | 1 1616.37/1616.91 c 1616s | 25 | 9459918 | 6624898 | 5390 3092 | 1 | 1 1618.37/1618.93 c 1618s | 25 | 9469684 | 6632398 | 5390 3094 | 1 | 1 1620.37/1620.93 c 1620s | 25 | 9479952 | 6639698 | 5390 3097 | 1 | 1 1622.37/1622.94 c 1622s | 25 | 9488273 | 6646998 | 5390 3100 | 1 | 1 1624.37/1624.98 c 1624s | 25 | 9497850 | 6654698 | 5390 3103 | 1 | 1 1626.38/1627.00 c 1626s | 25 | 9508176 | 6662598 | 5390 3105 | 1 | 1 1628.47/1629.02 c 1628s | 25 | 9519622 | 6670398 | 5390 3108 | 1 | 1 1630.47/1631.02 c 1630s | 25 | 9531649 | 6678798 | 5390 3111 | 1 | 1 1632.47/1633.07 c 1633s | 25 | 9541963 | 6687398 | 5390 3115 | 1 | 1 1634.47/1635.08 c 1635s | 25 | 9551890 | 6695398 | 5390 3117 | 1 | 1 1636.47/1637.09 c 1637s | 25 | 9561699 | 6703398 | 5390 3120 | 1 | 1 1638.47/1639.10 c 1639s | 25 | 9571019 | 6711098 | 5390 3123 | 1 | 1 1640.57/1641.12 c 1641s | 25 | 9580705 | 6718698 | 5390 3126 | 1 | 1 1642.57/1643.13 c 1643s | 25 | 9591581 | 6727198 | 5390 3129 | 1 | 1 1644.57/1645.13 c 1645s | 25 | 9601596 | 6734998 | 5390 3132 | 1 | 1 1646.57/1647.14 c 1647s | 25 | 9611867 | 6742998 | 5390 3135 | 1 | 1 1648.57/1649.14 c 1649s | 25 | 9622106 | 6750898 | 5390 3138 | 1 | 1 1650.58/1651.15 c 1651s | 25 | 9632939 | 6758598 | 5390 3141 | 1 | 1 1652.57/1653.16 c 1653s | 25 | 9643142 | 6766298 | 5390 3143 | 1 | 1 1654.66/1655.24 c 1655s | 25 | 9653487 | 6774498 | 5390 3146 | 1 | 1 1656.66/1657.25 c 1657s | 25 | 9663618 | 6781998 | 5390 3149 | 1 | 1 1658.66/1659.26 c 1659s | 25 | 9676700 | 6789798 | 5390 3152 | 1 | 1 1660.66/1661.27 c 1661s | 25 | 9686723 | 6797598 | 5390 3155 | 1 | 1 1662.77/1663.37 c 1663s | 25 | 9696962 | 6805498 | 5390 3158 | 1 | 1 1664.76/1665.38 c 1665s | 25 | 9706649 | 6812998 | 5390 3161 | 1 | 1 1666.77/1667.39 c 1667s | 25 | 9715870 | 6820098 | 5390 3163 | 1 | 1 1668.86/1669.40 c 1669s | 25 | 9724331 | 6826798 | 5390 3166 | 1 | 1 1670.86/1671.42 c 1671s | 25 | 9734065 | 6834298 | 5390 3168 | 1 | 1 1672.86/1673.43 c 1673s | 25 | 9742388 | 6841198 | 5390 3171 | 1 | 1 1674.87/1675.43 c 1675s | 25 | 9752361 | 6848598 | 5390 3174 | 1 | 1 1676.97/1677.54 c 1677s | 25 | 9762792 | 6856298 | 5390 3176 | 1 | 1 1678.96/1679.56 c 1679s | 25 | 9772805 | 6864098 | 5390 3179 | 1 | 1 1680.96/1681.56 c 1681s | 25 | 9782156 | 6871198 | 5390 3182 | 1 | 1 1682.96/1683.57 c 1683s | 25 | 9790381 | 6878098 | 5390 3184 | 1 | 1 1684.96/1685.59 c 1685s | 25 | 9799531 | 6885298 | 5390 3187 | 1 | 1 1687.06/1687.60 c 1687s | 25 | 9810440 | 6893698 | 5390 3190 | 1 | 1 1689.07/1689.61 c 1689s | 25 | 9821421 | 6901998 | 5390 3193 | 1 | 1 1691.06/1691.63 c 1691s | 25 | 9830738 | 6909598 | 5390 3196 | 1 | 1 1693.06/1693.64 c 1693s | 25 | 9840123 | 6916998 | 5390 3199 | 1 | 1 1695.06/1695.64 c 1695s | 25 | 9851440 | 6925098 | 5390 3202 | 1 | 1 1697.06/1697.66 c 1697s | 25 | 9861076 | 6932698 | 5390 3205 | 1 | 1 1699.06/1699.67 c 1699s | 25 | 9873974 | 6940798 | 5390 3207 | 1 | 1 1701.06/1701.69 c 1701s | 25 | 9885655 | 6948998 | 5390 3210 | 1 | 1 1703.06/1703.69 c 1703s | 25 | 9895423 | 6956398 | 5390 3213 | 1 | 1 1705.16/1705.70 c 1705s | 25 | 9905147 | 6963798 | 5390 3216 | 1 | 1 1707.15/1707.75 c 1707s | 25 | 9914909 | 6971098 | 5390 3219 | 1 | 1 1709.15/1709.76 c 1709s | 25 | 9925972 | 6978698 | 5390 3221 | 1 | 1 1711.16/1711.79 c 1711s | 25 | 9935155 | 6986098 | 5390 3224 | 1 | 1 1713.26/1713.81 c 1713s | 25 | 9944204 | 6993698 | 5390 3227 | 1 | 1 1715.25/1715.81 c 1715s | 25 | 9953566 | 7001398 | 5390 3230 | 1 | 1 1717.25/1717.82 c 1717s | 25 | 9962720 | 7008998 | 5390 3233 | 1 | 1 1719.25/1719.84 c 1719s | 25 | 9972625 | 7016898 | 5390 3235 | 1 | 1 1721.25/1721.87 c 1721s | 25 | 9981867 | 7024598 | 5390 3238 | 1 | 1 1723.26/1723.88 c 1723s | 25 | 9991557 | 7032298 | 5390 3241 | 1 | 1 1725.25/1725.90 c 1725s | 25 | 10001050 | 7040198 | 5390 3244 | 1 | 1 1727.35/1727.90 c 1727s | 25 | 10010552 | 7048098 | 5390 3247 | 1 | 1 1729.35/1729.92 c 1729s | 25 | 10020482 | 7056298 | 5390 3250 | 1 | 1 1731.36/1731.95 c 1731s | 25 | 10030209 | 7064398 | 5390 3253 | 1 | 1 1733.36/1733.97 c 1733s | 25 | 10040277 | 7072598 | 5390 3256 | 1 | 1 1735.45/1736.02 c 1735s | 25 | 10049841 | 7080198 | 5390 3259 | 1 | 1 1737.46/1738.03 c 1737s | 25 | 10060278 | 7088598 | 5390 3262 | 1 | 1 1739.45/1740.03 c 1739s | 25 | 10071275 | 7097098 | 5390 3265 | 1 | 1 1741.45/1742.05 c 1742s | 25 | 10081881 | 7105298 | 5390 3268 | 1 | 1 1743.45/1744.06 c 1744s | 25 | 10091909 | 7113098 | 5390 3271 | 1 | 1 1745.45/1746.08 c 1746s | 25 | 10103900 | 7121798 | 5390 3274 | 1 | 1 1747.46/1748.08 c 1748s | 25 | 10113575 | 7129798 | 5390 3277 | 1 | 1 1749.45/1750.08 c 1750s | 25 | 10123471 | 7137998 | 5390 3280 | 1 | 1 1751.45/1752.09 c 1752s | 25 | 10133670 | 7146098 | 5390 3283 | 1 | 1 1753.55/1754.10 c 1754s | 25 | 10145073 | 7154598 | 5390 3286 | 1 | 1 1755.55/1756.11 c 1756s | 25 | 10157412 | 7163298 | 5390 3289 | 1 | 1 1757.55/1758.12 c 1758s | 25 | 10167876 | 7171998 | 5390 3292 | 1 | 1 1759.56/1760.14 c 1760s | 25 | 10176584 | 7179398 | 5390 3295 | 1 | 1 1761.55/1762.15 c 1762s | 25 | 10186528 | 7187598 | 5390 3298 | 1 | 1 1763.54/1764.17 c 1764s | 25 | 10197268 | 7196298 | 5390 3301 | 1 | 1 1765.54/1766.18 c 1766s | 25 | 10207888 | 7204998 | 5390 3304 | 1 | 1 1767.55/1768.19 c 1768s | 25 | 10218693 | 7213498 | 5390 3307 | 1 | 1 1769.65/1770.20 c 1770s | 25 | 10228877 | 7221998 | 5390 3311 | 1 | 1 1771.65/1772.22 c 1772s | 25 | 10239152 | 7230498 | 5390 3314 | 1 | 1 1773.64/1774.24 c 1774s | 25 | 10249431 | 7238298 | 5390 3317 | 1 | 1 1775.64/1776.25 c 1776s | 25 | 10259307 | 7246498 | 5390 3320 | 1 | 1 1777.64/1778.25 c 1778s | 25 | 10269098 | 7254598 | 5390 3322 | 1 | 1 1779.64/1780.27 c 1780s | 25 | 10278260 | 7262098 | 5390 3325 | 1 | 1 1781.64/1782.27 c 1782s | 25 | 10289365 | 7270198 | 5390 3328 | 1 | 1 1783.65/1784.29 c 1784s | 25 | 10299110 | 7278098 | 5390 3331 | 1 | 1 1785.64/1786.29 c 1786s | 25 | 10309044 | 7286098 | 5390 3334 | 1 | 1 1787.75/1788.31 c 1788s | 25 | 10317793 | 7293698 | 5390 3337 | 1 | 1 1789.75/1790.33 c 1790s | 25 | 10329556 | 7301598 | 5390 3340 | 1 | 1 1791.74/1792.35 c 1792s | 25 | 10340508 | 7309398 | 5390 3343 | 1 | 1 1793.74/1794.36 c 1794s | 25 | 10352857 | 7316698 | 5390 3345 | 1 | 1 1795.75/1796.38 c 1796s | 25 | 10362245 | 7323698 | 5390 3348 | 1 | 1 1797.84/1798.40 c 1798s | 25 | 10370911 | 7330798 | 5390 3350 | 1 | 1 1799.84/1800.41 c 1800s | 25 | 10381682 | 7339098 | 5390 3353 | 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-4080109-1465263100/watcher-4080109-1465263100 -o /tmp/evaluation-result-4080109-1465263100/solver-4080109-1465263100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080109-1465263100.opb pid=6266 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.00 2/170 6269 /proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=685500 CPUtime=0 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 2552 0 0 0 0 0 0 0 20 0 4 0 108244751 701952000 2401 33554432000 4194304 16246674 140733843707872 140733843707296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 171887 2410 441 2943 0 168781 0 [pid=6269/tid=6270] ppid=6266 vsize=702908 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 719777792 2468 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=707004 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 723972096 2487 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=711100 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 728166400 2502 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.02 2.03 2.00 2/170 6269 /proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 25458 0 0 0 5 3 0 0 20 0 4 0 108244751 1247350784 25294 33554432000 4194304 16246674 140733843707872 140733843707296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 304529 25309 791 2943 0 301423 0 [pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25317 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25324 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25332 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200505 s] /proc/loadavg: 2.02 2.03 2.00 2/170 6269 /proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 48677 0 0 0 12 7 0 0 20 0 4 0 108244751 1247350784 48513 33554432000 4194304 16246674 140733843707872 140733843689792 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 304529 48530 791 2943 0 301423 0 [pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48539 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48544 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48551 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300508 s] /proc/loadavg: 2.02 2.03 2.00 2/170 6269 /proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 73724 0 0 0 20 9 0 0 20 0 4 0 108244751 1247350784 73560 33554432000 4194304 16246674 140733843707872 140733843689792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 304529 73568 791 2943 0 301423 0 [pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73575 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73580 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73590 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700427 s] /proc/loadavg: 2.02 2.03 2.00 2/170 6269 /proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 173349 0 0 0 46 23 0 0 20 0 4 0 108244751 1247350784 173185 33554432000 4194304 16246674 140733843707872 140733843689792 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 304529 173203 792 2943 0 301423 0 [pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173212 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173217 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173219 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6340 /proc/meminfo: memFree=30595428/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 245982 0 0 0 117 32 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140733843689792 12479221 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 305041 245796 851 2943 0 301935 0 [pid=6269/tid=6270] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10044 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6340 /proc/meminfo: memFree=29545504/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1307204 CPUtime=3.08 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267659 0 0 0 271 37 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140733843689792 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 326801 267473 851 2943 0 323695 0 [pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1307204 [startup+6.30045 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6340 /proc/meminfo: memFree=29537140/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267899 0 0 0 591 37 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140733843689792 5673315 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 326801 267713 851 2943 0 323695 0 [pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.01 2.02 2.00 3/182 6340 /proc/meminfo: memFree=29536968/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267901 0 0 0 1231 37 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140733843689792 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 326801 267715 853 2943 0 323695 0 [pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.01 2.02 2.00 3/183 6341 /proc/meminfo: memFree=29533180/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1309252 CPUtime=25.48 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 268258 0 0 0 2511 37 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140733843689792 5669499 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 327313 268072 853 2943 0 324207 0 [pid=6269/tid=6270] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.08 2.04 2.01 3/183 6341 /proc/meminfo: memFree=29516044/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 270210 0 0 0 5066 42 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140733843690872 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 329105 270019 853 2943 0 325999 0 [pid=6269/tid=6270] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.04 2.03 2.00 3/183 6342 /proc/meminfo: memFree=29513392/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1318468 CPUtime=102.25 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 270753 0 0 0 10181 44 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140733843689792 12460071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 329617 270531 853 2943 0 326511 0 [pid=6269/tid=6270] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1327684 [startup+1302.3 s] /proc/loadavg: 2.17 2.05 2.01 3/183 6372 /proc/meminfo: memFree=29497100/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1301.83 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 130062 121 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 5672197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 272838 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.22 2.08 2.02 3/183 6373 /proc/meminfo: memFree=29497376/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1361.81 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 136052 129 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 272838 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.20 2.10 2.03 3/183 6374 /proc/meminfo: memFree=29497048/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1421.81 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 142044 137 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 272838 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.17 2.11 2.03 3/183 6375 /proc/meminfo: memFree=29497296/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1481.79 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 148037 142 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843690872 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 272838 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.12 2.10 2.03 3/183 6376 /proc/meminfo: memFree=29497424/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1541.79 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 154029 150 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843707048 6010181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 272838 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.04 2.08 2.03 3/183 6378 /proc/meminfo: memFree=29496492/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1601.77 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 160023 154 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843689792 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 273094 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.05 2.08 2.02 3/183 6379 /proc/meminfo: memFree=29496252/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1661.77 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 166020 157 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 273094 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.02 3/184 6383 /proc/meminfo: memFree=29496408/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1721.75 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 172012 163 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843689792 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 273094 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.12 2.09 2.03 3/185 6407 /proc/meminfo: memFree=29495288/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1781.74 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 178005 169 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 273094 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.16 2.10 2.03 3/185 6407 /proc/meminfo: memFree=29495532/32872528 swapFree=12744/274376 [pid=6269] ppid=6266 vsize=1327684 CPUtime=1800.04 cores=1,3,5,7 /proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 179834 170 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6269/statm: 331921 273094 855 2943 0 328815 0 [pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1327684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6269 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.06 CPU user time (s): 1798.35 CPU system time (s): 1.70574 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.35 system time used= 1.70574 maximum resident set size= 1092376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273456 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= 446 involuntary context switches= 2178 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.86895 second user time and 9.61854 second system time The end
Begin job on node107 at 2016-06-07 03:31:40 IDJOB=4080109 IDBENCH=48277 IDSOLVER=2542 FILE ID=node107/4080109-1465263100 RUNJOBID= node107-1465255895-5583 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080109-1465263100/watcher-4080109-1465263100 -o /tmp/evaluation-result-4080109-1465263100/solver-4080109-1465263100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080109-1465263100.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED=1482255454 node107.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.441 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.88 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.441 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.441 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.54 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.441 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.441 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.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31700084 kB Buffers: 58272 kB Cached: 134660 kB SwapCached: 1712 kB Active: 98912 kB Inactive: 97740 kB Active(anon): 5224 kB Inactive(anon): 420 kB Active(file): 93688 kB Inactive(file): 97320 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098440 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 277140 kB Mapped: 7084 kB Shmem: 0 kB Slab: 570060 kB SReclaimable: 13636 kB SUnreclaim: 556424 kB KernelStack: 1520 kB PageTables: 4748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 371600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node107 at 2016-06-07 04:01:41