| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb |
| MD5SUM | 52bf383ed9b3de8fe398adacf729ec57 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.049992 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 54 |
| Total number of constraints | 5 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 162 |
| Sum of products size (including duplicates) | 324 |
| Number of different products | 162 |
| Sum of products size | 324 |
0.00/0.00 c 2016-06-18T17:52:36+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-4106082-1466265155.opb"] 0.00/0.01 c use --random-gen="3198518069 1410962109 982843420 792483443 3062923235 4174818933 3227686188 484778481 4057423122 3620126823 1060253321 1427685386 3556349497 3675794932 3462291298 3372202524 1092945973 3776260525 1795565274 1904133644 873024281 1853759328 596121788 491000320 2800160694 3779585525 1384312953 2199654961 965362928 1016112555 12932552 326950020 799063382 225294052 1912628714 1844107668 780881147 1318910075 4269193867 78324832 1012864465 616556815 1515552668 3650814555 3263693461 2421037027 1110392441 4221016135 3013864711 2647872875 1110415926 3874562391 2395492996 2592306450 2683345184 3532591474 2394002433 3524063306 713462203 4234395053 1966969087 453200466 1495788081 1606443079 3268249827 61229076 1446469843 2204272822 2820007121 4035530776 1606783931 3396555499 2231322797 3921874951 976555675 1864441890 400827499 602172742 1282834665 3113783387 2324738755 3800800258 1779434253 617110134 1399832647 3481229602 2022230185 1430017946 1873186257 3661050433 898685729 1254356182 1692756985 3568751156 405987539 1451518998 492300717 2026948922 122471593 1531575489 3652467149 3258399901 3690090654 3610492794 1768525138 3190509192 1988579647 1048063528 161212923 1227234395 1020048394 3643875514 694408279 4110613928 2574104934 4007412054 1873964233 2880823846 3690820492 978683642 410291968 1504054315 2728251870 2597392382 1754757573 798980830 1581730986 1734912730 3155131704 618004233 1038343002 3481595035 2758267124 824336341 1948090165 616077175 1031407081 2216722514 3022986174 3244349661 3846583058 3458541570 1618916316 27655957 3136974016 36721822 3375970840 3151240234 2185757870 1863394891 1821434714 638141944 676568594 3107514626 1490679509 1449242922 2760905115 3880207309 4017656362 3515777396 3674804500 1451603946 1503046553 2236644910 3575776824 811987373 3698171000 511833660 297946966 2684465834 1043504179 3226810220 2130396338 2595147891 1978009740 2279842221 2028755577 2553249605 3294859112 4205223455 2062598443 3579691430 2515368273 3315415828 2809070923 552348636 115404569 685607869 3947498665 3372394419 3213555076 3101371477 2108268497 3684357270 2480946385 3821996468 2541284246 3799279572 3464730063 1324081727 1228982170 2055391392 721094658 3611405987 1884292992 1794122220 1029800921 814071873 4219428294 3589055241 1712725488 1427400626 2123047682 802073387 3102404130 1781619029 2665949663 3951812209 1613077452 3268336221 2065765921 1384889349 2317588785 1853229647 4145455431 1020446538 3960923323 3766127556 777653314 2291535987 3847132863 3199369884 3307493032 2969501445 1544539713 2583328 1215578452 1162988644 3857994260 3564586609 2213564574 3103762531 2982020038 3931977566 3932803440 4250647496 155809645 4250038387 112505990 13849467 1893814801 3189934246 1593537875 409548555 1753863415 1061890569 255 362436" option to reproduce the execution 0.00/0.01 c #vars 54 0.00/0.01 c #constraints 5 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 236 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 115 | 100 | 236 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 282 | 250 | 260 0 | 0 | 0 0.09/0.15 c 0.1s | 3 | 517 | 475 | 286 1 | 0 | 0 0.19/0.25 c 0.2s | 4 | 869 | 813 | 315 3 | 0 | 0 0.28/0.37 c 0.4s | 4 | 1376 | 1279 | 347 5 | 0 | 0 0.28/0.37 c #cpu_time = 0.354s 0.28/0.37 c #wall_clock_time = 0.355s 0.28/0.37 c #decision = 1376 0.28/0.37 c #random_decision = 5 0.28/0.37 c #conflict = 1279 0.28/0.37 c #restart = 4 0.28/0.37 o 439 0.48/0.58 c BCD2: updating upper bound: 511 -> 438 0.48/0.58 c BCD2: 0 <= obj <= 438 0.48/0.58 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 0.48/0.58 c BCD2: #sat=1 #unsat=1 bias=1/2 0.48/0.58 c Solving starts ... 0.48/0.58 c ============================[ Search Statistics ]============================ 0.48/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.58 c | | | | Limit GC | Var | Constra 0.48/0.58 c ============================================================================= 0.48/0.58 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.48/0.58 c 0.0s | 0 | 7 | 0 | 347 1 | 0 | 0 0.48/0.58 c #cpu_time = 0.002s 0.48/0.58 c #wall_clock_time = 0.002s 0.48/0.58 c #decision = 7 0.48/0.58 c #random_decision = 0 0.48/0.58 c #conflict = 0 0.48/0.58 c #restart = 0 0.48/0.58 c BCD2: found a new core of size 8: cost of the new core is >=2 0.48/0.58 c lower bound updated to 2 0.48/0.58 c BCD2: 2 <= obj <= 438 0.48/0.58 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 0.48/0.58 c BCD2: #sat=1 #unsat=2 bias=2/3 0.48/0.58 c Solving starts ... 0.48/0.58 c ============================[ Search Statistics ]============================ 0.48/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.58 c | | | | Limit GC | Var | Constra 0.48/0.58 c ============================================================================= 0.48/0.58 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.48/0.58 c 0.0s | 1 | 147 | 100 | 382 0 | 0 | 0 0.48/0.58 c 0.1s | 2 | 312 | 250 | 382 0 | 0 | 0 0.48/0.58 c 0.1s | 3 | 558 | 475 | 382 1 | 0 | 0 0.59/0.60 c 0.2s | 4 | 955 | 813 | 421 2 | 0 | 0 0.80/0.84 c 0.5s | 5 | 1554 | 1320 | 421 4 | 0 | 0 0.98/1.04 c 0.7s | 6 | 2378 | 2081 | 464 7 | 0 | 0 1.39/1.44 c 1.1s | 7 | 3674 | 3223 | 464 11 | 0 | 0 1.79/1.84 c 1.5s | 8 | 5450 | 4936 | 511 16 | 0 | 0 2.59/2.65 c 2.3s | 9 | 8107 | 7506 | 563 23 | 0 | 0 3.49/3.50 c 3.1s | 10 | 12029 | 11361 | 620 33 | 0 | 0 4.99/5.07 c 4.7s | 11 | 18133 | 17144 | 682 49 | 0 | 0 6.99/7.01 c 6.6s | 12 | 26958 | 25819 | 751 69 | 0 | 0 8.99/9.02 c 8.6s | 12 | 35146 | 33819 | 751 87 | 0 | 0 10.09/10.17 c 9.8s | 13 | 40235 | 38832 | 827 98 | 0 | 0 12.09/12.18 c 11.8s | 13 | 49811 | 48232 | 827 117 | 0 | 0 14.08/14.19 c 13.8s | 13 | 59157 | 57432 | 910 136 | 0 | 0 14.29/14.39 c 14.0s | 14 | 60088 | 58352 | 910 137 | 0 | 0 16.38/16.41 c 16.0s | 14 | 68421 | 66252 | 910 153 | 0 | 0 18.38/18.43 c 18.1s | 14 | 78259 | 75852 | 910 171 | 0 | 0 20.38/20.45 c 20.1s | 14 | 87625 | 84952 | 910 188 | 0 | 0 20.99/21.05 c 20.7s | 15 | 90369 | 87632 | 1002 193 | 0 | 0 22.98/23.05 c 22.7s | 15 | 99431 | 96532 | 1002 208 | 0 | 0 24.98/25.05 c 24.7s | 15 | 108615 | 105532 | 1002 224 | 0 | 0 26.98/27.05 c 26.7s | 15 | 117787 | 114432 | 1002 240 | 0 | 0 28.98/29.06 c 28.7s | 15 | 126346 | 122832 | 1002 254 | 0 | 0 30.98/31.07 c 30.7s | 15 | 134312 | 130732 | 1103 267 | 0 | 0 31.28/31.30 c 30.9s | 16 | 135136 | 131552 | 1103 269 | 0 | 0 33.28/33.31 c 32.9s | 16 | 143834 | 139952 | 1103 282 | 0 | 0 35.28/35.32 c 34.9s | 16 | 152653 | 148552 | 1103 296 | 0 | 0 37.28/37.32 c 36.9s | 16 | 161507 | 157152 | 1103 310 | 0 | 0 39.28/39.34 c 39.0s | 16 | 170602 | 166052 | 1103 324 | 0 | 0 41.29/41.36 c 41.0s | 16 | 179431 | 174652 | 1103 338 | 0 | 0 43.28/43.37 c 43.0s | 16 | 188738 | 183652 | 1103 353 | 0 | 0 45.29/45.38 c 45.0s | 16 | 198012 | 192552 | 1103 368 | 0 | 0 46.38/46.48 c 46.1s | 17 | 203125 | 197432 | 1214 375 | 0 | 0 48.49/48.51 c 48.1s | 17 | 211130 | 205332 | 1214 386 | 0 | 0 50.48/50.51 c 50.1s | 17 | 218860 | 213032 | 1214 398 | 0 | 0 52.48/52.52 c 52.1s | 17 | 227370 | 221232 | 1214 410 | 0 | 0 54.48/54.52 c 54.1s | 17 | 236352 | 229832 | 1214 422 | 0 | 0 56.48/56.53 c 56.2s | 17 | 243993 | 237332 | 1214 433 | 0 | 0 58.48/58.56 c 58.2s | 17 | 251753 | 244932 | 1214 444 | 0 | 0 60.49/60.57 c 60.2s | 17 | 259673 | 252732 | 1214 456 | 0 | 0 62.48/62.58 c 62.2s | 17 | 267758 | 260632 | 1214 467 | 0 | 0 64.58/64.61 c 64.2s | 17 | 276066 | 268832 | 1214 480 | 0 | 0 66.58/66.63 c 66.3s | 17 | 284149 | 276732 | 1214 491 | 0 | 0 68.58/68.65 c 68.3s | 17 | 291722 | 284232 | 1214 502 | 0 | 0 70.58/70.66 c 70.3s | 17 | 299244 | 291732 | 1214 513 | 0 | 0 71.78/71.86 c 71.5s | 18 | 303898 | 296252 | 1336 519 | 0 | 0 73.78/73.87 c 73.5s | 18 | 311958 | 304052 | 1336 530 | 0 | 0 75.77/75.88 c 75.5s | 18 | 320414 | 312352 | 1336 541 | 0 | 0 77.77/77.89 c 77.5s | 18 | 328836 | 320652 | 1336 552 | 0 | 0 79.87/79.90 c 79.5s | 18 | 336991 | 328652 | 1336 563 | 0 | 0 81.87/81.91 c 81.5s | 18 | 344691 | 336052 | 1336 573 | 0 | 0 83.87/83.94 c 83.6s | 18 | 352931 | 344152 | 1336 585 | 0 | 0 85.88/85.94 c 85.6s | 18 | 361373 | 352452 | 1336 596 | 0 | 0 87.87/87.96 c 87.6s | 18 | 369628 | 360552 | 1336 607 | 0 | 0 89.87/89.97 c 89.6s | 18 | 378114 | 368852 | 1336 618 | 0 | 0 91.97/92.00 c 91.6s | 18 | 386622 | 377152 | 1336 630 | 0 | 0 93.97/94.02 c 93.6s | 18 | 395019 | 385352 | 1336 641 | 0 | 0 95.97/96.03 c 95.7s | 18 | 403591 | 393552 | 1336 652 | 0 | 0 97.98/98.03 c 97.7s | 18 | 412323 | 401952 | 1336 664 | 0 | 0 99.97/100.04 c 99.7s | 18 | 420921 | 410352 | 1336 675 | 0 | 0 101.97/102.05 c 101s | 18 | 429536 | 418752 | 1336 687 | 0 | 0 103.97/104.06 c 103s | 18 | 438427 | 427252 | 1336 698 | 0 | 0 105.97/106.07 c 105s | 18 | 447297 | 435952 | 1336 710 | 0 | 0 107.97/108.09 c 107s | 18 | 455404 | 443852 | 1470 721 | 0 | 0 108.17/108.23 c 107s | 19 | 456042 | 444482 | 1470 721 | 0 | 0 110.17/110.24 c 109s | 19 | 464355 | 452682 | 1470 731 | 0 | 0 112.17/112.25 c 111s | 19 | 472129 | 460382 | 1470 741 | 0 | 0 114.17/114.27 c 113s | 19 | 480511 | 468582 | 1470 751 | 0 | 0 116.17/116.29 c 115s | 19 | 489218 | 477182 | 1470 761 | 0 | 0 118.27/118.30 c 117s | 19 | 497691 | 485582 | 1470 772 | 0 | 0 120.27/120.31 c 119s | 19 | 505907 | 493682 | 1470 782 | 0 | 0 122.27/122.32 c 121s | 19 | 513933 | 501582 | 1470 791 | 0 | 0 124.27/124.33 c 123s | 19 | 521797 | 509382 | 1470 801 | 0 | 0 126.26/126.35 c 125s | 19 | 529811 | 517182 | 1470 811 | 0 | 0 128.26/128.35 c 127s | 19 | 537563 | 524882 | 1470 820 | 0 | 0 130.27/130.37 c 129s | 19 | 545227 | 532382 | 1470 829 | 0 | 0 132.26/132.39 c 132s | 19 | 552991 | 539982 | 1470 839 | 0 | 0 134.36/134.41 c 134s | 19 | 561559 | 548282 | 1470 849 | 0 | 0 136.37/136.42 c 136s | 19 | 569932 | 556582 | 1470 859 | 0 | 0 138.36/138.43 c 138s | 19 | 577940 | 564482 | 1470 869 | 0 | 0 140.36/140.45 c 140s | 19 | 586217 | 572682 | 1470 879 | 0 | 0 142.36/142.46 c 142s | 19 | 594323 | 580682 | 1470 889 | 0 | 0 144.36/144.47 c 144s | 19 | 602731 | 588982 | 1470 899 | 0 | 0 146.37/146.49 c 146s | 19 | 611192 | 597382 | 1470 910 | 0 | 0 148.36/148.50 c 148s | 19 | 619468 | 605482 | 1470 920 | 0 | 0 150.46/150.52 c 150s | 19 | 627674 | 613582 | 1470 930 | 0 | 0 152.47/152.53 c 152s | 19 | 634846 | 620682 | 1470 938 | 0 | 0 154.47/154.55 c 154s | 19 | 642065 | 627782 | 1470 947 | 0 | 0 156.47/156.55 c 156s | 19 | 650243 | 635782 | 1470 957 | 0 | 0 158.47/158.56 c 158s | 19 | 658703 | 644082 | 1470 967 | 0 | 0 160.47/160.58 c 160s | 19 | 666645 | 651882 | 1470 977 | 0 | 0 162.47/162.58 c 162s | 19 | 674749 | 659882 | 1470 987 | 0 | 0 164.37/164.42 c 164s | 20 | 681757 | 666827 | 1618 995 | 0 | 0 166.37/166.44 c 166s | 20 | 689427 | 674227 | 1618 1003 | 0 | 0 168.37/168.46 c 168s | 20 | 697501 | 682127 | 1618 1012 | 0 | 0 170.36/170.47 c 170s | 20 | 705174 | 689527 | 1618 1021 | 0 | 0 172.36/172.49 c 172s | 20 | 712963 | 697127 | 1618 1030 | 0 | 0 174.46/174.51 c 174s | 20 | 720584 | 704427 | 1618 1038 | 0 | 0 176.46/176.53 c 176s | 20 | 728857 | 712527 | 1618 1047 | 0 | 0 178.46/178.54 c 178s | 20 | 737055 | 720527 | 1618 1056 | 0 | 0 180.47/180.55 c 180s | 20 | 744542 | 727727 | 1618 1065 | 0 | 0 182.46/182.55 c 182s | 20 | 751993 | 734927 | 1618 1073 | 0 | 0 184.46/184.56 c 184s | 20 | 759964 | 742627 | 1618 1082 | 0 | 0 186.46/186.57 c 186s | 20 | 767879 | 750327 | 1618 1091 | 0 | 0 188.46/188.58 c 188s | 20 | 776073 | 758327 | 1618 1100 | 0 | 0 190.46/190.58 c 190s | 20 | 783949 | 765927 | 1618 1108 | 0 | 0 192.46/192.59 c 192s | 20 | 791700 | 773427 | 1618 1117 | 0 | 0 194.56/194.61 c 194s | 20 | 799322 | 780827 | 1618 1125 | 0 | 0 196.56/196.62 c 196s | 20 | 806769 | 788027 | 1618 1134 | 0 | 0 198.56/198.65 c 198s | 20 | 814444 | 795527 | 1618 1142 | 0 | 0 200.56/200.67 c 200s | 20 | 822552 | 803427 | 1618 1151 | 0 | 0 202.56/202.69 c 202s | 20 | 830895 | 811527 | 1618 1161 | 0 | 0 204.56/204.70 c 204s | 20 | 838590 | 819027 | 1618 1169 | 0 | 0 206.65/206.70 c 206s | 20 | 846278 | 826527 | 1618 1178 | 0 | 0 208.65/208.71 c 208s | 20 | 853718 | 833727 | 1618 1186 | 0 | 0 210.65/210.72 c 210s | 20 | 861221 | 841027 | 1618 1195 | 0 | 0 212.65/212.72 c 212s | 20 | 868804 | 848327 | 1618 1203 | 0 | 0 214.65/214.75 c 214s | 20 | 875116 | 854427 | 1618 1210 | 0 | 0 216.66/216.76 c 216s | 20 | 882279 | 861327 | 1618 1218 | 0 | 0 218.65/218.79 c 218s | 20 | 889800 | 868627 | 1618 1227 | 0 | 0 220.65/220.79 c 220s | 20 | 897639 | 876127 | 1618 1235 | 0 | 0 222.75/222.80 c 222s | 20 | 904665 | 882827 | 1618 1243 | 0 | 0 224.75/224.81 c 224s | 20 | 911431 | 889327 | 1618 1250 | 0 | 0 226.75/226.81 c 226s | 20 | 918949 | 896627 | 1618 1259 | 0 | 0 228.76/228.82 c 228s | 20 | 926720 | 904227 | 1618 1267 | 0 | 0 230.75/230.84 c 230s | 20 | 934734 | 912027 | 1618 1277 | 0 | 0 232.75/232.87 c 232s | 20 | 942756 | 919827 | 1618 1286 | 0 | 0 234.75/234.88 c 234s | 20 | 950840 | 927627 | 1618 1294 | 0 | 0 236.75/236.89 c 236s | 20 | 958707 | 935327 | 1618 1303 | 0 | 0 238.75/238.89 c 238s | 20 | 966528 | 942927 | 1618 1312 | 0 | 0 240.85/240.90 c 240s | 20 | 974533 | 950627 | 1618 1321 | 0 | 0 242.85/242.91 c 242s | 20 | 982698 | 958527 | 1618 1330 | 0 | 0 244.85/244.92 c 244s | 20 | 990672 | 966327 | 1618 1339 | 0 | 0 246.85/246.93 c 246s | 20 | 998818 | 974127 | 1618 1348 | 0 | 0 248.85/248.95 c 248s | 20 | 1006389 | 981527 | 1618 1357 | 0 | 0 250.86/250.98 c 250s | 20 | 1014037 | 988927 | 1618 1365 | 0 | 0 252.85/253.00 c 252s | 20 | 1021870 | 996627 | 1780 1373 | 0 | 0 253.85/253.97 c 253s | 21 | 1025646 | 1000345 | 1780 1377 | 0 | 0 255.85/255.99 c 255s | 21 | 1033949 | 1008445 | 1780 1385 | 0 | 0 257.95/258.00 c 257s | 21 | 1041910 | 1016245 | 1780 1394 | 0 | 0 259.95/260.01 c 259s | 21 | 1049957 | 1024145 | 1780 1402 | 0 | 0 261.95/262.03 c 261s | 21 | 1057813 | 1031845 | 1780 1410 | 0 | 0 263.96/264.04 c 263s | 21 | 1065733 | 1039645 | 1780 1418 | 0 | 0 265.95/266.05 c 265s | 21 | 1073247 | 1047045 | 1780 1425 | 0 | 0 267.95/268.05 c 267s | 21 | 1080125 | 1053845 | 1780 1432 | 0 | 0 269.95/270.06 c 269s | 21 | 1087131 | 1060645 | 1780 1439 | 0 | 0 271.95/272.08 c 271s | 21 | 1095590 | 1068845 | 1780 1448 | 0 | 0 273.96/274.08 c 273s | 21 | 1103755 | 1076845 | 1780 1456 | 0 | 0 275.95/276.09 c 275s | 21 | 1111474 | 1084445 | 1780 1464 | 0 | 0 278.05/278.11 c 277s | 21 | 1119642 | 1092545 | 1780 1473 | 0 | 0 280.05/280.14 c 279s | 21 | 1127655 | 1100445 | 1780 1481 | 0 | 0 282.05/282.16 c 281s | 21 | 1135518 | 1108245 | 1780 1489 | 0 | 0 284.05/284.17 c 283s | 21 | 1143538 | 1116145 | 1780 1497 | 0 | 0 286.06/286.18 c 285s | 21 | 1151202 | 1123745 | 1780 1505 | 0 | 0 288.05/288.19 c 287s | 21 | 1158929 | 1131345 | 1780 1513 | 0 | 0 290.05/290.20 c 289s | 21 | 1166467 | 1138745 | 1780 1521 | 0 | 0 292.15/292.20 c 291s | 21 | 1173720 | 1145945 | 1780 1528 | 0 | 0 294.15/294.20 c 293s | 21 | 1182244 | 1154245 | 1780 1537 | 0 | 0 296.15/296.23 c 295s | 21 | 1189999 | 1161945 | 1780 1545 | 0 | 0 298.15/298.25 c 297s | 21 | 1198344 | 1170145 | 1780 1553 | 0 | 0 300.15/300.25 c 299s | 21 | 1205199 | 1176945 | 1780 1560 | 0 | 0 302.15/302.26 c 301s | 21 | 1211910 | 1183645 | 1780 1567 | 0 | 0 304.14/304.27 c 303s | 21 | 1219600 | 1191145 | 1780 1575 | 0 | 0 306.14/306.29 c 305s | 21 | 1226965 | 1198445 | 1780 1582 | 0 | 0 308.24/308.31 c 307s | 21 | 1234006 | 1205445 | 1780 1589 | 0 | 0 310.25/310.32 c 309s | 21 | 1241350 | 1212645 | 1780 1597 | 0 | 0 312.24/312.33 c 311s | 21 | 1249074 | 1220245 | 1780 1605 | 0 | 0 314.24/314.36 c 313s | 21 | 1257043 | 1228045 | 1780 1613 | 0 | 0 316.24/316.37 c 315s | 21 | 1264444 | 1235345 | 1780 1621 | 0 | 0 318.34/318.40 c 318s | 21 | 1272037 | 1242745 | 1780 1628 | 0 | 0 320.34/320.41 c 320s | 21 | 1279325 | 1249945 | 1780 1636 | 0 | 0 322.35/322.42 c 322s | 21 | 1287308 | 1257845 | 1780 1644 | 0 | 0 324.34/324.44 c 324s | 21 | 1295197 | 1265645 | 1780 1652 | 0 | 0 326.34/326.44 c 326s | 21 | 1303083 | 1273345 | 1780 1660 | 0 | 0 328.34/328.44 c 328s | 21 | 1310564 | 1280745 | 1780 1668 | 0 | 0 330.34/330.46 c 330s | 21 | 1318354 | 1288445 | 1780 1676 | 0 | 0 332.34/332.48 c 332s | 21 | 1326252 | 1296245 | 1780 1684 | 0 | 0 334.34/334.49 c 334s | 21 | 1333969 | 1303845 | 1780 1692 | 0 | 0 336.44/336.50 c 336s | 21 | 1342011 | 1311645 | 1780 1700 | 0 | 0 338.44/338.52 c 338s | 21 | 1349997 | 1319545 | 1780 1708 | 0 | 0 340.44/340.53 c 340s | 21 | 1357864 | 1327345 | 1780 1716 | 0 | 0 342.44/342.53 c 342s | 21 | 1366128 | 1335345 | 1780 1724 | 0 | 0 344.44/344.54 c 344s | 21 | 1374121 | 1343245 | 1780 1732 | 0 | 0 346.44/346.56 c 346s | 21 | 1382135 | 1351145 | 1780 1741 | 0 | 0 348.43/348.57 c 348s | 21 | 1389546 | 1358445 | 1780 1748 | 0 | 0 350.53/350.60 c 350s | 21 | 1396631 | 1365445 | 1780 1755 | 0 | 0 352.53/352.62 c 352s | 21 | 1404288 | 1372945 | 1780 1763 | 0 | 0 354.53/354.64 c 354s | 21 | 1412169 | 1380745 | 1780 1771 | 0 | 0 356.53/356.65 c 356s | 21 | 1419379 | 1387945 | 1780 1779 | 0 | 0 358.54/358.67 c 358s | 21 | 1426566 | 1395045 | 1780 1786 | 0 | 0 360.53/360.68 c 360s | 21 | 1434516 | 1402845 | 1780 1794 | 0 | 0 362.63/362.70 c 362s | 21 | 1442041 | 1410245 | 1780 1802 | 0 | 0 364.63/364.72 c 364s | 21 | 1449467 | 1417545 | 1780 1810 | 0 | 0 366.63/366.75 c 366s | 21 | 1457070 | 1425045 | 1780 1818 | 0 | 0 368.63/368.78 c 368s | 21 | 1464750 | 1432645 | 1780 1826 | 0 | 0 370.64/370.80 c 370s | 21 | 1472236 | 1440045 | 1780 1833 | 0 | 0 372.73/372.81 c 372s | 21 | 1479677 | 1447345 | 1780 1841 | 0 | 0 374.73/374.84 c 374s | 21 | 1487113 | 1454645 | 1780 1849 | 0 | 0 376.73/376.86 c 376s | 21 | 1494354 | 1461745 | 1780 1856 | 0 | 0 378.73/378.87 c 378s | 21 | 1502738 | 1469945 | 1780 1864 | 0 | 0 380.73/380.87 c 380s | 21 | 1510218 | 1477345 | 1780 1872 | 0 | 0 382.73/382.87 c 382s | 21 | 1517386 | 1484445 | 1780 1879 | 0 | 0 384.73/384.89 c 384s | 21 | 1524426 | 1491345 | 1959 1886 | 0 | 0 386.73/386.89 c 386s | 21 | 1531970 | 1498745 | 1959 1893 | 0 | 0 387.33/387.41 c 387s | 22 | 1533881 | 1500622 | 1959 1895 | 0 | 0 389.33/389.42 c 389s | 22 | 1541474 | 1508022 | 1959 1902 | 0 | 0 391.32/391.43 c 391s | 22 | 1549140 | 1515422 | 1959 1909 | 0 | 0 393.32/393.44 c 393s | 22 | 1556802 | 1522922 | 1959 1916 | 0 | 0 395.32/395.46 c 395s | 22 | 1564599 | 1530522 | 1959 1923 | 0 | 0 397.32/397.46 c 397s | 22 | 1572030 | 1537822 | 1959 1930 | 0 | 0 399.33/399.47 c 399s | 22 | 1579772 | 1545322 | 1959 1938 | 0 | 0 401.32/401.47 c 401s | 22 | 1587607 | 1552922 | 1959 1945 | 0 | 0 403.42/403.51 c 403s | 22 | 1594792 | 1559922 | 1959 1952 | 0 | 0 405.42/405.52 c 405s | 22 | 1602342 | 1567222 | 1959 1959 | 0 | 0 407.42/407.53 c 407s | 22 | 1609759 | 1574522 | 1959 1966 | 0 | 0 409.42/409.54 c 409s | 22 | 1617401 | 1582022 | 1959 1973 | 0 | 0 411.43/411.54 c 411s | 22 | 1624901 | 1589322 | 1959 1980 | 0 | 0 413.43/413.56 c 413s | 22 | 1632896 | 1597122 | 1959 1987 | 0 | 0 415.43/415.58 c 415s | 22 | 1640228 | 1604222 | 1959 1994 | 0 | 0 417.53/417.61 c 417s | 22 | 1648133 | 1611922 | 1959 2001 | 0 | 0 419.53/419.62 c 419s | 22 | 1655900 | 1619422 | 1959 2009 | 0 | 0 421.53/421.66 c 421s | 22 | 1663455 | 1626722 | 1959 2016 | 0 | 0 423.53/423.68 c 423s | 22 | 1671113 | 1633822 | 1959 2022 | 0 | 0 425.63/425.71 c 425s | 22 | 1679209 | 1641322 | 1959 2030 | 0 | 0 427.63/427.71 c 427s | 22 | 1686504 | 1648322 | 1959 2036 | 0 | 0 429.62/429.72 c 429s | 22 | 1693471 | 1655022 | 1959 2043 | 0 | 0 431.62/431.72 c 431s | 22 | 1700700 | 1661922 | 1959 2049 | 0 | 0 433.62/433.72 c 433s | 22 | 1708369 | 1669322 | 1959 2056 | 0 | 0 435.63/435.73 c 435s | 22 | 1716108 | 1676522 | 1959 2063 | 0 | 0 437.62/437.73 c 437s | 22 | 1723619 | 1683522 | 1959 2070 | 0 | 0 439.62/439.74 c 439s | 22 | 1730569 | 1689922 | 1959 2076 | 0 | 0 441.62/441.75 c 441s | 22 | 1738452 | 1697422 | 1959 2083 | 0 | 0 443.62/443.77 c 443s | 22 | 1746118 | 1704722 | 1959 2090 | 0 | 0 445.62/445.79 c 445s | 22 | 1754025 | 1712322 | 1959 2097 | 0 | 0 447.63/447.80 c 447s | 22 | 1761651 | 1719622 | 1959 2104 | 0 | 0 449.72/449.80 c 449s | 22 | 1769878 | 1727522 | 1959 2112 | 0 | 0 451.72/451.81 c 451s | 22 | 1778174 | 1735522 | 1959 2120 | 0 | 0 453.72/453.83 c 453s | 22 | 1786079 | 1743022 | 1959 2127 | 0 | 0 455.72/455.83 c 455s | 22 | 1793823 | 1750522 | 1959 2134 | 0 | 0 457.72/457.85 c 457s | 22 | 1801651 | 1758122 | 1959 2141 | 0 | 0 459.73/459.88 c 459s | 22 | 1809438 | 1765522 | 1959 2149 | 0 | 0 461.82/461.91 c 461s | 22 | 1817397 | 1773222 | 1959 2156 | 0 | 0 463.82/463.91 c 463s | 22 | 1825202 | 1780822 | 1959 2163 | 0 | 0 465.82/465.93 c 465s | 22 | 1833437 | 1788822 | 1959 2171 | 0 | 0 467.82/467.95 c 467s | 22 | 1841826 | 1797022 | 1959 2179 | 0 | 0 469.82/469.97 c 469s | 22 | 1850157 | 1805122 | 1959 2186 | 0 | 0 471.82/472.00 c 471s | 22 | 1858068 | 1812822 | 1959 2194 | 0 | 0 473.92/474.01 c 473s | 22 | 1865852 | 1820422 | 1959 2201 | 0 | 0 475.91/476.04 c 475s | 22 | 1873394 | 1827722 | 1959 2208 | 0 | 0 477.91/478.05 c 477s | 22 | 1881344 | 1835422 | 1959 2215 | 0 | 0 479.91/480.09 c 479s | 22 | 1889125 | 1842922 | 1959 2223 | 0 | 0 481.91/482.09 c 481s | 22 | 1897096 | 1850622 | 1959 2230 | 0 | 0 483.92/484.10 c 483s | 22 | 1904892 | 1858222 | 1959 2237 | 0 | 0 486.01/486.12 c 485s | 22 | 1913191 | 1866322 | 1959 2245 | 0 | 0 488.01/488.13 c 487s | 22 | 1921168 | 1874022 | 1959 2252 | 0 | 0 490.01/490.15 c 489s | 22 | 1928782 | 1881422 | 1959 2259 | 0 | 0 492.01/492.17 c 491s | 22 | 1936119 | 1888622 | 1959 2266 | 0 | 0 494.11/494.20 c 493s | 22 | 1943279 | 1895522 | 1959 2273 | 0 | 0 496.12/496.22 c 495s | 22 | 1950416 | 1902522 | 1959 2279 | 0 | 0 498.11/498.23 c 497s | 22 | 1957429 | 1909322 | 1959 2286 | 0 | 0 500.11/500.23 c 499s | 22 | 1964891 | 1916622 | 1959 2293 | 0 | 0 502.11/502.24 c 501s | 22 | 1972180 | 1923722 | 1959 2300 | 0 | 0 504.11/504.26 c 503s | 22 | 1980307 | 1931722 | 1959 2307 | 0 | 0 506.11/506.26 c 505s | 22 | 1987963 | 1939222 | 1959 2315 | 0 | 0 508.11/508.28 c 507s | 22 | 1995795 | 1946822 | 1959 2322 | 0 | 0 510.11/510.29 c 509s | 22 | 2003595 | 1954422 | 1959 2329 | 0 | 0 512.21/512.30 c 511s | 22 | 2011076 | 1961622 | 1959 2336 | 0 | 0 514.21/514.30 c 513s | 22 | 2018782 | 1968922 | 1959 2343 | 0 | 0 516.20/516.31 c 515s | 22 | 2026130 | 1976022 | 1959 2350 | 0 | 0 518.21/518.32 c 517s | 22 | 2033711 | 1983322 | 1959 2357 | 0 | 0 520.22/520.34 c 519s | 22 | 2041406 | 1990722 | 1959 2364 | 0 | 0 522.21/522.36 c 521s | 22 | 2048614 | 1997422 | 1959 2370 | 0 | 0 524.21/524.38 c 524s | 22 | 2056060 | 2004422 | 1959 2377 | 0 | 0 526.31/526.40 c 526s | 22 | 2063878 | 2011922 | 1959 2384 | 0 | 0 528.31/528.40 c 528s | 22 | 2071549 | 2019422 | 1959 2391 | 0 | 0 530.31/530.40 c 530s | 22 | 2079064 | 2026622 | 1959 2398 | 0 | 0 532.32/532.42 c 532s | 22 | 2086708 | 2034122 | 1959 2406 | 0 | 0 534.31/534.45 c 534s | 22 | 2094434 | 2041622 | 1959 2413 | 0 | 0 536.31/536.46 c 536s | 22 | 2102590 | 2049522 | 1959 2420 | 0 | 0 538.31/538.46 c 538s | 22 | 2110373 | 2057022 | 1959 2427 | 0 | 0 540.31/540.46 c 540s | 22 | 2118144 | 2064422 | 1959 2434 | 0 | 0 542.31/542.48 c 542s | 22 | 2126142 | 2071922 | 1959 2442 | 0 | 0 544.31/544.49 c 544s | 22 | 2134125 | 2079522 | 1959 2449 | 0 | 0 546.41/546.50 c 546s | 22 | 2141811 | 2087022 | 1959 2456 | 0 | 0 548.41/548.51 c 548s | 22 | 2150020 | 2094522 | 1959 2463 | 0 | 0 550.41/550.51 c 550s | 22 | 2158096 | 2102422 | 1959 2471 | 0 | 0 552.41/552.51 c 552s | 22 | 2165404 | 2109522 | 1959 2478 | 0 | 0 554.41/554.53 c 554s | 22 | 2173132 | 2117022 | 1959 2485 | 0 | 0 556.41/556.54 c 556s | 22 | 2180534 | 2124222 | 1959 2492 | 0 | 0 558.41/558.55 c 558s | 22 | 2188382 | 2131922 | 1959 2499 | 0 | 0 560.40/560.57 c 560s | 22 | 2196564 | 2139822 | 1959 2506 | 0 | 0 562.40/562.58 c 562s | 22 | 2204355 | 2147422 | 1959 2514 | 0 | 0 564.40/564.58 c 564s | 22 | 2212425 | 2155222 | 1959 2521 | 0 | 0 566.41/566.60 c 566s | 22 | 2220357 | 2162822 | 1959 2528 | 0 | 0 568.50/568.61 c 568s | 22 | 2227987 | 2170222 | 1959 2536 | 0 | 0 570.50/570.62 c 570s | 22 | 2236116 | 2178122 | 1959 2543 | 0 | 0 572.50/572.63 c 572s | 22 | 2244316 | 2186022 | 1959 2551 | 0 | 0 574.50/574.66 c 574s | 22 | 2252526 | 2193722 | 1959 2558 | 0 | 0 576.50/576.67 c 576s | 22 | 2259876 | 2200822 | 1959 2565 | 0 | 0 578.51/578.69 c 578s | 22 | 2266869 | 2207622 | 1959 2572 | 0 | 0 580.60/580.71 c 580s | 22 | 2274201 | 2214522 | 1959 2578 | 0 | 0 582.60/582.72 c 582s | 22 | 2282463 | 2222422 | 1959 2586 | 0 | 0 584.60/584.73 c 584s | 22 | 2290295 | 2230022 | 1959 2593 | 0 | 0 586.60/586.73 c 586s | 22 | 2298315 | 2237722 | 2155 2600 | 0 | 0 588.60/588.74 c 588s | 22 | 2306468 | 2245522 | 2155 2607 | 0 | 0 590.00/590.12 c 589s | 23 | 2312091 | 2251038 | 2155 2612 | 0 | 0 592.00/592.14 c 591s | 23 | 2319691 | 2258438 | 2155 2618 | 0 | 0 594.00/594.15 c 593s | 23 | 2326850 | 2265538 | 2155 2624 | 0 | 0 596.00/596.16 c 595s | 23 | 2333936 | 2272538 | 2155 2630 | 0 | 0 597.99/598.18 c 597s | 23 | 2341534 | 2280038 | 2155 2637 | 0 | 0 599.99/600.18 c 599s | 23 | 2348553 | 2287038 | 2155 2643 | 0 | 0 601.99/602.18 c 601s | 23 | 2356613 | 2294938 | 2155 2650 | 0 | 0 603.99/604.19 c 603s | 23 | 2363485 | 2301738 | 2155 2655 | 0 | 0 606.10/606.21 c 605s | 23 | 2370152 | 2308338 | 2155 2661 | 0 | 0 608.09/608.23 c 607s | 23 | 2376258 | 2314438 | 2155 2666 | 0 | 0 610.09/610.26 c 609s | 23 | 2383633 | 2321538 | 2155 2673 | 0 | 0 612.09/612.29 c 611s | 23 | 2390572 | 2328438 | 2155 2678 | 0 | 0 614.09/614.29 c 613s | 23 | 2397591 | 2335438 | 2155 2685 | 0 | 0 616.19/616.31 c 615s | 23 | 2405388 | 2342938 | 2155 2691 | 0 | 0 618.21/618.33 c 617s | 23 | 2412603 | 2350038 | 2155 2697 | 0 | 0 620.20/620.34 c 619s | 23 | 2420102 | 2357438 | 2155 2704 | 0 | 0 622.20/622.34 c 621s | 23 | 2427416 | 2364638 | 2155 2710 | 0 | 0 624.20/624.37 c 623s | 23 | 2434091 | 2371238 | 2155 2716 | 0 | 0 626.20/626.38 c 626s | 23 | 2440839 | 2377938 | 2155 2722 | 0 | 0 628.30/628.40 c 628s | 23 | 2448172 | 2385038 | 2155 2728 | 0 | 0 630.30/630.42 c 630s | 23 | 2455132 | 2391938 | 2155 2734 | 0 | 0 632.29/632.43 c 632s | 23 | 2462089 | 2398738 | 2155 2740 | 0 | 0 634.29/634.46 c 634s | 23 | 2469793 | 2406238 | 2155 2746 | 0 | 0 636.29/636.48 c 636s | 23 | 2477018 | 2413338 | 2155 2752 | 0 | 0 638.39/638.50 c 638s | 23 | 2484726 | 2420838 | 2155 2759 | 0 | 0 640.39/640.51 c 640s | 23 | 2492208 | 2428138 | 2155 2765 | 0 | 0 642.40/642.51 c 642s | 23 | 2499772 | 2435638 | 2155 2772 | 0 | 0 644.39/644.54 c 644s | 23 | 2507588 | 2443338 | 2155 2779 | 0 | 0 646.39/646.56 c 646s | 23 | 2514375 | 2450038 | 2155 2784 | 0 | 0 648.39/648.56 c 648s | 23 | 2520724 | 2456338 | 2155 2790 | 0 | 0 650.39/650.57 c 650s | 23 | 2528044 | 2463538 | 2155 2796 | 0 | 0 652.39/652.59 c 652s | 23 | 2534515 | 2469938 | 2155 2802 | 0 | 0 654.40/654.59 c 654s | 23 | 2541370 | 2476738 | 2155 2808 | 0 | 0 656.39/656.60 c 656s | 23 | 2549019 | 2484238 | 2155 2814 | 0 | 0 658.49/658.61 c 658s | 23 | 2555867 | 2491038 | 2155 2820 | 0 | 0 660.49/660.61 c 660s | 23 | 2563367 | 2498438 | 2155 2827 | 0 | 0 662.49/662.64 c 662s | 23 | 2570862 | 2505838 | 2155 2833 | 0 | 0 664.49/664.66 c 664s | 23 | 2578681 | 2513538 | 2155 2840 | 0 | 0 666.49/666.67 c 666s | 23 | 2586577 | 2521238 | 2155 2847 | 0 | 0 668.49/668.67 c 668s | 23 | 2593771 | 2528338 | 2155 2853 | 0 | 0 670.59/670.70 c 670s | 23 | 2601245 | 2535738 | 2155 2859 | 0 | 0 672.58/672.71 c 672s | 23 | 2608802 | 2543038 | 2155 2866 | 0 | 0 674.58/674.73 c 674s | 23 | 2615987 | 2550138 | 2155 2872 | 0 | 0 676.58/676.75 c 676s | 23 | 2622797 | 2556838 | 2155 2878 | 0 | 0 678.60/678.78 c 678s | 23 | 2629564 | 2563538 | 2155 2883 | 0 | 0 680.69/680.80 c 680s | 23 | 2636247 | 2570138 | 2155 2889 | 0 | 0 682.69/682.82 c 682s | 23 | 2643103 | 2576838 | 2155 2895 | 0 | 0 684.69/684.83 c 684s | 23 | 2649685 | 2583338 | 2155 2900 | 0 | 0 686.69/686.84 c 686s | 23 | 2656458 | 2590038 | 2155 2906 | 0 | 0 688.69/688.84 c 688s | 23 | 2663018 | 2596538 | 2155 2912 | 0 | 0 690.69/690.84 c 690s | 23 | 2670407 | 2603738 | 2155 2918 | 0 | 0 692.68/692.85 c 692s | 23 | 2677308 | 2610538 | 2155 2924 | 0 | 0 694.68/694.87 c 694s | 23 | 2684603 | 2617738 | 2155 2930 | 0 | 0 696.68/696.89 c 696s | 23 | 2691549 | 2624538 | 2155 2936 | 0 | 0 698.68/698.89 c 698s | 23 | 2698098 | 2631038 | 2155 2942 | 0 | 0 700.78/700.91 c 700s | 23 | 2705304 | 2638138 | 2155 2948 | 0 | 0 702.79/702.92 c 702s | 23 | 2711717 | 2644438 | 2155 2954 | 0 | 0 704.78/704.94 c 704s | 23 | 2718914 | 2651338 | 2155 2960 | 0 | 0 706.78/706.95 c 706s | 23 | 2726858 | 2659138 | 2155 2967 | 0 | 0 708.78/708.96 c 708s | 23 | 2734493 | 2666638 | 2155 2973 | 0 | 0 710.78/710.96 c 710s | 23 | 2742047 | 2673938 | 2155 2979 | 0 | 0 712.78/712.97 c 712s | 23 | 2748911 | 2680738 | 2155 2985 | 0 | 0 714.78/714.98 c 714s | 23 | 2755993 | 2687738 | 2155 2992 | 0 | 0 716.88/717.00 c 716s | 23 | 2763464 | 2695038 | 2155 2998 | 0 | 0 718.88/719.01 c 718s | 23 | 2770581 | 2702038 | 2155 3004 | 0 | 0 720.88/721.04 c 720s | 23 | 2778145 | 2709338 | 2155 3011 | 0 | 0 722.87/723.05 c 722s | 23 | 2785727 | 2716738 | 2155 3017 | 0 | 0 724.88/725.07 c 724s | 23 | 2793011 | 2723938 | 2155 3023 | 0 | 0 726.87/727.10 c 726s | 23 | 2800095 | 2730938 | 2155 3029 | 0 | 0 728.97/729.12 c 728s | 23 | 2807253 | 2738038 | 2155 3036 | 0 | 0 730.97/731.13 c 730s | 23 | 2814484 | 2745138 | 2155 3042 | 0 | 0 732.97/733.14 c 732s | 23 | 2821587 | 2752138 | 2155 3048 | 0 | 0 734.97/735.16 c 734s | 23 | 2829340 | 2759738 | 2155 3055 | 0 | 0 736.97/737.18 c 736s | 23 | 2836428 | 2766738 | 2155 3061 | 0 | 0 739.07/739.21 c 738s | 23 | 2844276 | 2774438 | 2155 3067 | 0 | 0 741.06/741.22 c 740s | 23 | 2851750 | 2781838 | 2155 3074 | 0 | 0 743.06/743.24 c 742s | 23 | 2859124 | 2789038 | 2155 3080 | 0 | 0 745.06/745.25 c 744s | 23 | 2866472 | 2796238 | 2155 3086 | 0 | 0 747.06/747.29 c 746s | 23 | 2873781 | 2803438 | 2155 3093 | 0 | 0 749.07/749.29 c 748s | 23 | 2881051 | 2810638 | 2155 3099 | 0 | 0 751.17/751.32 c 750s | 23 | 2888384 | 2817838 | 2155 3105 | 0 | 0 753.16/753.34 c 752s | 23 | 2895441 | 2824838 | 2155 3111 | 0 | 0 755.16/755.35 c 754s | 23 | 2902560 | 2831838 | 2155 3117 | 0 | 0 757.16/757.36 c 756s | 23 | 2909906 | 2839038 | 2155 3124 | 0 | 0 759.16/759.36 c 758s | 23 | 2917091 | 2846138 | 2155 3130 | 0 | 0 761.16/761.39 c 761s | 23 | 2924181 | 2853138 | 2155 3136 | 0 | 0 763.26/763.40 c 763s | 23 | 2930805 | 2859538 | 2155 3142 | 0 | 0 765.26/765.43 c 765s | 23 | 2937304 | 2865938 | 2155 3147 | 0 | 0 767.26/767.46 c 767s | 23 | 2944054 | 2872638 | 2155 3153 | 0 | 0 769.26/769.48 c 769s | 23 | 2951070 | 2879538 | 2155 3159 | 0 | 0 771.25/771.49 c 771s | 23 | 2958516 | 2886838 | 2155 3166 | 0 | 0 773.35/773.50 c 773s | 23 | 2965885 | 2894038 | 2155 3172 | 0 | 0 775.36/775.51 c 775s | 23 | 2973022 | 2901138 | 2155 3178 | 0 | 0 777.35/777.54 c 777s | 23 | 2980620 | 2908638 | 2155 3185 | 0 | 0 779.35/779.55 c 779s | 23 | 2987694 | 2915638 | 2155 3191 | 0 | 0 781.35/781.56 c 781s | 23 | 2994922 | 2922738 | 2155 3197 | 0 | 0 783.35/783.57 c 783s | 23 | 3002335 | 2930038 | 2155 3203 | 0 | 0 785.35/785.58 c 785s | 23 | 3009608 | 2937238 | 2155 3210 | 0 | 0 787.35/787.59 c 787s | 23 | 3017401 | 2944838 | 2155 3216 | 0 | 0 789.45/789.61 c 789s | 23 | 3025040 | 2952338 | 2155 3223 | 0 | 0 791.44/791.61 c 791s | 23 | 3032560 | 2959738 | 2155 3229 | 0 | 0 793.44/793.61 c 793s | 23 | 3039966 | 2967038 | 2155 3236 | 0 | 0 795.44/795.62 c 795s | 23 | 3047465 | 2974438 | 2155 3242 | 0 | 0 797.44/797.64 c 797s | 23 | 3054225 | 2981138 | 2155 3248 | 0 | 0 799.44/799.67 c 799s | 23 | 3060798 | 2987538 | 2155 3254 | 0 | 0 801.44/801.68 c 801s | 23 | 3067489 | 2994038 | 2155 3259 | 0 | 0 803.44/803.69 c 803s | 23 | 3074589 | 3000938 | 2155 3265 | 0 | 0 805.54/805.71 c 805s | 23 | 3081026 | 3007238 | 2155 3271 | 0 | 0 807.54/807.72 c 807s | 23 | 3087985 | 3014138 | 2155 3277 | 0 | 0 809.54/809.74 c 809s | 23 | 3094574 | 3020638 | 2155 3283 | 0 | 0 811.54/811.77 c 811s | 23 | 3101228 | 3027238 | 2155 3288 | 0 | 0 813.53/813.77 c 813s | 23 | 3108429 | 3034338 | 2155 3294 | 0 | 0 815.53/815.78 c 815s | 23 | 3115576 | 3041338 | 2155 3300 | 0 | 0 817.63/817.80 c 817s | 23 | 3122636 | 3048238 | 2155 3306 | 0 | 0 819.63/819.82 c 819s | 23 | 3129995 | 3055338 | 2155 3313 | 0 | 0 821.64/821.82 c 821s | 23 | 3136599 | 3061838 | 2155 3319 | 0 | 0 823.63/823.85 c 823s | 23 | 3143501 | 3068538 | 2155 3324 | 0 | 0 825.63/825.85 c 825s | 23 | 3150288 | 3075138 | 2155 3330 | 0 | 0 827.63/827.88 c 827s | 23 | 3157472 | 3082038 | 2155 3336 | 0 | 0 829.73/829.90 c 829s | 23 | 3163914 | 3088238 | 2155 3342 | 0 | 0 831.72/831.91 c 831s | 23 | 3170192 | 3094338 | 2155 3347 | 0 | 0 833.73/833.93 c 833s | 23 | 3176702 | 3100638 | 2155 3353 | 0 | 0 835.72/835.95 c 835s | 23 | 3183045 | 3106838 | 2155 3358 | 0 | 0 837.72/837.98 c 837s | 23 | 3189627 | 3113238 | 2155 3364 | 0 | 0 839.82/840.01 c 839s | 23 | 3195611 | 3119138 | 2155 3369 | 0 | 0 841.82/842.02 c 841s | 23 | 3201907 | 3125238 | 2155 3375 | 0 | 0 843.82/844.06 c 843s | 23 | 3208898 | 3131838 | 2155 3381 | 0 | 0 845.82/846.08 c 845s | 23 | 3215284 | 3138038 | 2155 3386 | 0 | 0 847.81/848.09 c 847s | 23 | 3223132 | 3145638 | 2155 3393 | 0 | 0 849.91/850.10 c 849s | 23 | 3230585 | 3152938 | 2155 3399 | 0 | 0 851.91/852.11 c 851s | 23 | 3237840 | 3160138 | 2155 3405 | 0 | 0 853.91/854.12 c 853s | 23 | 3245376 | 3167438 | 2155 3412 | 0 | 0 855.91/856.13 c 855s | 23 | 3252667 | 3174638 | 2155 3418 | 0 | 0 857.91/858.14 c 857s | 23 | 3260399 | 3182238 | 2155 3424 | 0 | 0 859.91/860.17 c 859s | 23 | 3267562 | 3189338 | 2155 3431 | 0 | 0 862.00/862.20 c 861s | 23 | 3275180 | 3196838 | 2155 3437 | 0 | 0 864.00/864.21 c 863s | 23 | 3282443 | 3204038 | 2155 3443 | 0 | 0 866.00/866.22 c 865s | 23 | 3289978 | 3211438 | 2155 3450 | 0 | 0 868.00/868.26 c 867s | 23 | 3297849 | 3219138 | 2155 3457 | 0 | 0 870.01/870.27 c 869s | 23 | 3305216 | 3226438 | 2155 3463 | 0 | 0 872.00/872.29 c 871s | 23 | 3312950 | 3234038 | 2155 3470 | 0 | 0 874.10/874.32 c 873s | 23 | 3319702 | 3240738 | 2155 3475 | 0 | 0 876.10/876.35 c 875s | 23 | 3326728 | 3247638 | 2155 3481 | 0 | 0 878.10/878.36 c 877s | 23 | 3333787 | 3254638 | 2155 3487 | 0 | 0 880.10/880.37 c 879s | 23 | 3341534 | 3262238 | 2155 3494 | 0 | 0 882.10/882.37 c 881s | 23 | 3348866 | 3269438 | 2155 3500 | 0 | 0 884.09/884.39 c 884s | 23 | 3356033 | 3276538 | 2155 3507 | 0 | 0 886.09/886.39 c 886s | 23 | 3363449 | 3283738 | 2155 3513 | 0 | 0 888.09/888.39 c 888s | 23 | 3371166 | 3291338 | 2155 3520 | 0 | 0 890.19/890.41 c 890s | 23 | 3377902 | 3297938 | 2155 3525 | 0 | 0 892.19/892.42 c 892s | 23 | 3384368 | 3304238 | 2155 3531 | 0 | 0 894.19/894.44 c 894s | 23 | 3390998 | 3310538 | 2155 3537 | 0 | 0 896.19/896.46 c 896s | 23 | 3397922 | 3317238 | 2155 3543 | 0 | 0 898.20/898.48 c 898s | 23 | 3405327 | 3324538 | 2155 3549 | 0 | 0 900.20/900.49 c 900s | 23 | 3412802 | 3331938 | 2155 3555 | 0 | 0 902.29/902.52 c 902s | 23 | 3420529 | 3339538 | 2155 3562 | 0 | 0 904.29/904.53 c 904s | 23 | 3428425 | 3347238 | 2155 3569 | 0 | 0 906.29/906.56 c 906s | 23 | 3435746 | 3354438 | 2371 3575 | 0 | 0 908.29/908.56 c 908s | 23 | 3443202 | 3361838 | 2371 3580 | 0 | 0 910.29/910.57 c 910s | 23 | 3450776 | 3369238 | 2371 3586 | 0 | 0 912.38/912.60 c 912s | 23 | 3458281 | 3376638 | 2371 3592 | 0 | 0 912.38/912.60 c 912s | 24 | 3458305 | 3376662 | 2371 3592 | 0 | 0 914.38/914.61 c 914s | 24 | 3465634 | 3383562 | 2371 3598 | 0 | 0 916.38/916.64 c 916s | 24 | 3472772 | 3390462 | 2371 3603 | 0 | 0 918.39/918.66 c 918s | 24 | 3480644 | 3398062 | 2371 3609 | 0 | 0 920.38/920.67 c 920s | 24 | 3487876 | 3404962 | 2371 3615 | 0 | 0 922.38/922.68 c 922s | 24 | 3495683 | 3412562 | 2371 3621 | 0 | 0 924.48/924.70 c 924s | 24 | 3503307 | 3419962 | 2371 3627 | 0 | 0 926.48/926.71 c 926s | 24 | 3510773 | 3427062 | 2371 3632 | 0 | 0 928.48/928.73 c 928s | 24 | 3517723 | 3433762 | 2371 3638 | 0 | 0 930.49/930.74 c 930s | 24 | 3526352 | 3442062 | 2371 3644 | 0 | 0 932.47/932.78 c 932s | 24 | 3534462 | 3449762 | 2371 3650 | 0 | 0 934.57/934.80 c 934s | 24 | 3541374 | 3456262 | 2371 3655 | 0 | 0 936.57/936.81 c 936s | 24 | 3548281 | 3462962 | 2371 3661 | 0 | 0 938.57/938.82 c 938s | 24 | 3555549 | 3470062 | 2371 3666 | 0 | 0 940.57/940.84 c 940s | 24 | 3562692 | 3477062 | 2371 3672 | 0 | 0 942.57/942.84 c 942s | 24 | 3570217 | 3484362 | 2371 3678 | 0 | 0 944.57/944.86 c 944s | 24 | 3577708 | 3491662 | 2371 3684 | 0 | 0 946.57/946.89 c 946s | 24 | 3585337 | 3499062 | 2371 3690 | 0 | 0 948.66/948.91 c 948s | 24 | 3592840 | 3506462 | 2371 3695 | 0 | 0 950.66/950.91 c 950s | 24 | 3600021 | 3513362 | 2371 3701 | 0 | 0 952.66/952.92 c 952s | 24 | 3606540 | 3519662 | 2371 3706 | 0 | 0 954.66/954.93 c 954s | 24 | 3614239 | 3527162 | 2371 3712 | 0 | 0 956.66/956.94 c 956s | 24 | 3621579 | 3534062 | 2371 3717 | 0 | 0 958.66/958.96 c 958s | 24 | 3629109 | 3541162 | 2371 3723 | 0 | 0 960.66/960.97 c 960s | 24 | 3636531 | 3548162 | 2371 3729 | 0 | 0 962.65/963.00 c 962s | 24 | 3644086 | 3555162 | 2371 3734 | 0 | 0 964.75/965.01 c 964s | 24 | 3652007 | 3562562 | 2371 3740 | 0 | 0 966.76/967.02 c 966s | 24 | 3659693 | 3569962 | 2371 3746 | 0 | 0 968.76/969.04 c 968s | 24 | 3667168 | 3577162 | 2371 3752 | 0 | 0 970.76/971.06 c 970s | 24 | 3675276 | 3584862 | 2371 3758 | 0 | 0 972.76/973.08 c 972s | 24 | 3682580 | 3591862 | 2371 3764 | 0 | 0 974.86/975.11 c 974s | 24 | 3690161 | 3599262 | 2371 3770 | 0 | 0 976.85/977.11 c 976s | 24 | 3697961 | 3606862 | 2371 3776 | 0 | 0 978.86/979.12 c 978s | 24 | 3705399 | 3614162 | 2371 3781 | 0 | 0 980.85/981.14 c 980s | 24 | 3713066 | 3621562 | 2371 3787 | 0 | 0 982.85/983.15 c 982s | 24 | 3720764 | 3629062 | 2371 3793 | 0 | 0 984.85/985.15 c 984s | 24 | 3728250 | 3636362 | 2371 3799 | 0 | 0 986.85/987.17 c 986s | 24 | 3735759 | 3643662 | 2371 3805 | 0 | 0 988.85/989.19 c 988s | 24 | 3743026 | 3650662 | 2371 3811 | 0 | 0 990.95/991.20 c 990s | 24 | 3750037 | 3657262 | 2371 3816 | 0 | 0 992.94/993.24 c 992s | 24 | 3757354 | 3664362 | 2371 3821 | 0 | 0 994.94/995.27 c 994s | 24 | 3764736 | 3671362 | 2371 3827 | 0 | 0 996.94/997.28 c 996s | 24 | 3772306 | 3678462 | 2371 3833 | 0 | 0 999.04/999.31 c 998s | 24 | 3779891 | 3685762 | 2371 3839 | 0 | 0 1001.04/1001.32 c 1000s | 24 | 3787488 | 3693062 | 2371 3844 | 0 | 0 1003.04/1003.32 c 1002s | 24 | 3794797 | 3700162 | 2371 3850 | 0 | 0 1005.04/1005.34 c 1004s | 24 | 3802755 | 3707762 | 2371 3856 | 0 | 0 1007.04/1007.34 c 1006s | 24 | 3810784 | 3715462 | 2371 3862 | 0 | 0 1009.04/1009.36 c 1008s | 24 | 3818901 | 3723362 | 2371 3869 | 0 | 0 1011.04/1011.37 c 1010s | 24 | 3826815 | 3730962 | 2371 3875 | 0 | 0 1013.03/1013.39 c 1013s | 24 | 3834799 | 3738662 | 2371 3881 | 0 | 0 1015.14/1015.41 c 1015s | 24 | 3842805 | 3746362 | 2371 3887 | 0 | 0 1017.13/1017.43 c 1017s | 24 | 3850696 | 3754062 | 2371 3893 | 0 | 0 1019.13/1019.45 c 1019s | 24 | 3858532 | 3761562 | 2371 3899 | 0 | 0 1021.13/1021.46 c 1021s | 24 | 3865650 | 3768362 | 2371 3905 | 0 | 0 1023.12/1023.49 c 1023s | 24 | 3873229 | 3775762 | 2371 3911 | 0 | 0 1025.22/1025.50 c 1025s | 24 | 3881239 | 3783462 | 2371 3917 | 0 | 0 1027.23/1027.53 c 1027s | 24 | 3889104 | 3791062 | 2371 3923 | 0 | 0 1029.22/1029.54 c 1029s | 24 | 3897018 | 3798662 | 2371 3929 | 0 | 0 1031.22/1031.57 c 1031s | 24 | 3904985 | 3806362 | 2371 3935 | 0 | 0 1033.22/1033.59 c 1033s | 24 | 3913162 | 3814262 | 2371 3941 | 0 | 0 1035.22/1035.60 c 1035s | 24 | 3921333 | 3822162 | 2371 3948 | 0 | 0 1037.32/1037.63 c 1037s | 24 | 3928505 | 3829162 | 2371 3953 | 0 | 0 1039.32/1039.63 c 1039s | 24 | 3935969 | 3836462 | 2371 3959 | 0 | 0 1041.32/1041.65 c 1041s | 24 | 3943126 | 3843162 | 2371 3964 | 0 | 0 1043.31/1043.66 c 1043s | 24 | 3950838 | 3850462 | 2371 3970 | 0 | 0 1045.31/1045.68 c 1045s | 24 | 3958521 | 3857862 | 2371 3976 | 0 | 0 1047.41/1047.70 c 1047s | 24 | 3966306 | 3865262 | 2371 3982 | 0 | 0 1049.41/1049.71 c 1049s | 24 | 3973645 | 3872262 | 2371 3988 | 0 | 0 1051.42/1051.72 c 1051s | 24 | 3981599 | 3879962 | 2371 3994 | 0 | 0 1053.41/1053.73 c 1053s | 24 | 3989567 | 3887762 | 2371 4000 | 0 | 0 1055.41/1055.75 c 1055s | 24 | 3997475 | 3895362 | 2371 4006 | 0 | 0 1057.41/1057.77 c 1057s | 24 | 4005553 | 3903162 | 2371 4012 | 0 | 0 1059.41/1059.78 c 1059s | 24 | 4013738 | 3911062 | 2371 4019 | 0 | 0 1061.41/1061.79 c 1061s | 24 | 4022316 | 3919362 | 2371 4025 | 0 | 0 1063.41/1063.80 c 1063s | 24 | 4030557 | 3927262 | 2371 4032 | 0 | 0 1065.50/1065.81 c 1065s | 24 | 4038900 | 3935262 | 2371 4038 | 0 | 0 1067.50/1067.81 c 1067s | 24 | 4046949 | 3943062 | 2371 4044 | 0 | 0 1069.50/1069.82 c 1069s | 24 | 4054258 | 3950162 | 2371 4050 | 0 | 0 1071.50/1071.82 c 1071s | 24 | 4061950 | 3957562 | 2371 4056 | 0 | 0 1073.50/1073.84 c 1073s | 24 | 4069976 | 3965362 | 2371 4062 | 0 | 0 1075.51/1075.87 c 1075s | 24 | 4078047 | 3972962 | 2371 4068 | 0 | 0 1077.50/1077.88 c 1077s | 24 | 4086159 | 3980762 | 2371 4074 | 0 | 0 1079.60/1079.92 c 1079s | 24 | 4093555 | 3987862 | 2371 4080 | 0 | 0 1081.60/1081.92 c 1081s | 24 | 4101437 | 3995462 | 2371 4086 | 0 | 0 1083.60/1083.94 c 1083s | 24 | 4109498 | 4003262 | 2371 4092 | 0 | 0 1085.60/1085.95 c 1085s | 24 | 4117650 | 4011062 | 2371 4099 | 0 | 0 1087.61/1087.96 c 1087s | 24 | 4125664 | 4018562 | 2371 4105 | 0 | 0 1089.60/1089.99 c 1089s | 24 | 4133998 | 4026562 | 2371 4111 | 0 | 0 1091.70/1092.00 c 1091s | 24 | 4141826 | 4033962 | 2371 4117 | 0 | 0 1093.69/1094.02 c 1093s | 24 | 4149739 | 4041562 | 2371 4123 | 0 | 0 1095.69/1096.03 c 1095s | 24 | 4157682 | 4048862 | 2371 4129 | 0 | 0 1097.69/1098.05 c 1097s | 24 | 4165311 | 4056262 | 2371 4135 | 0 | 0 1099.70/1100.05 c 1099s | 24 | 4173140 | 4063662 | 2371 4141 | 0 | 0 1101.69/1102.07 c 1101s | 24 | 4180528 | 4070462 | 2371 4146 | 0 | 0 1103.69/1104.08 c 1103s | 24 | 4188760 | 4078462 | 2371 4153 | 0 | 0 1105.79/1106.12 c 1105s | 24 | 4195641 | 4084962 | 2371 4158 | 0 | 0 1107.79/1108.12 c 1107s | 24 | 4202859 | 4091862 | 2371 4163 | 0 | 0 1109.79/1110.13 c 1109s | 24 | 4211029 | 4099662 | 2371 4170 | 0 | 0 1111.79/1112.15 c 1111s | 24 | 4218994 | 4107262 | 2371 4176 | 0 | 0 1113.78/1114.16 c 1113s | 24 | 4226417 | 4114462 | 2371 4181 | 0 | 0 1115.78/1116.16 c 1115s | 24 | 4233667 | 4121562 | 2371 4187 | 0 | 0 1117.78/1118.18 c 1117s | 24 | 4241395 | 4128962 | 2371 4193 | 0 | 0 1119.78/1120.19 c 1119s | 24 | 4248961 | 4136262 | 2371 4199 | 0 | 0 1121.87/1122.20 c 1121s | 24 | 4256296 | 4143362 | 2371 4205 | 0 | 0 1123.77/1124.20 c 1123s | 24 | 4264477 | 4151262 | 2371 4211 | 0 | 0 1125.87/1126.23 c 1125s | 24 | 4271531 | 4157962 | 2371 4216 | 0 | 0 1127.87/1128.25 c 1127s | 24 | 4279686 | 4165562 | 2371 4222 | 0 | 0 1129.87/1130.25 c 1129s | 24 | 4287518 | 4173062 | 2371 4228 | 0 | 0 1131.87/1132.27 c 1131s | 24 | 4295559 | 4180862 | 2371 4235 | 0 | 0 1133.87/1134.29 c 1133s | 24 | 4303407 | 4188462 | 2371 4241 | 0 | 0 1135.97/1136.31 c 1135s | 24 | 4310844 | 4195762 | 2371 4247 | 0 | 0 1137.97/1138.32 c 1137s | 24 | 4318685 | 4203362 | 2371 4253 | 0 | 0 1139.97/1140.33 c 1139s | 24 | 4326223 | 4210662 | 2371 4258 | 0 | 0 1141.97/1142.35 c 1141s | 24 | 4333713 | 4217962 | 2371 4264 | 0 | 0 1143.97/1144.36 c 1143s | 24 | 4341662 | 4225662 | 2371 4270 | 0 | 0 1145.97/1146.37 c 1145s | 24 | 4349422 | 4233162 | 2371 4277 | 0 | 0 1147.97/1148.38 c 1148s | 24 | 4357128 | 4240662 | 2371 4283 | 0 | 0 1150.07/1150.40 c 1150s | 24 | 4364441 | 4247762 | 2371 4288 | 0 | 0 1152.06/1152.42 c 1152s | 24 | 4371434 | 4254562 | 2371 4294 | 0 | 0 1154.06/1154.44 c 1154s | 24 | 4379059 | 4262062 | 2371 4300 | 0 | 0 1156.06/1156.46 c 1156s | 24 | 4386214 | 4268762 | 2371 4305 | 0 | 0 1158.07/1158.47 c 1158s | 24 | 4394121 | 4276262 | 2371 4311 | 0 | 0 1160.06/1160.49 c 1160s | 24 | 4402141 | 4284062 | 2371 4317 | 0 | 0 1162.16/1162.50 c 1162s | 24 | 4409718 | 4291262 | 2371 4323 | 0 | 0 1164.16/1164.52 c 1164s | 24 | 4417330 | 4298662 | 2371 4329 | 0 | 0 1166.16/1166.52 c 1166s | 24 | 4424874 | 4305962 | 2371 4335 | 0 | 0 1168.16/1168.54 c 1168s | 24 | 4432220 | 4313062 | 2371 4340 | 0 | 0 1170.16/1170.55 c 1170s | 24 | 4439752 | 4320262 | 2371 4346 | 0 | 0 1172.15/1172.56 c 1172s | 24 | 4446528 | 4326862 | 2371 4351 | 0 | 0 1174.15/1174.57 c 1174s | 24 | 4453819 | 4333962 | 2371 4357 | 0 | 0 1176.15/1176.59 c 1176s | 24 | 4461263 | 4341162 | 2371 4363 | 0 | 0 1178.25/1178.61 c 1178s | 24 | 4468596 | 4348162 | 2371 4368 | 0 | 0 1180.25/1180.62 c 1180s | 24 | 4475705 | 4354962 | 2371 4374 | 0 | 0 1182.25/1182.62 c 1182s | 24 | 4483343 | 4362162 | 2371 4380 | 0 | 0 1184.25/1184.64 c 1184s | 24 | 4491548 | 4370062 | 2371 4386 | 0 | 0 1186.24/1186.65 c 1186s | 24 | 4499138 | 4377262 | 2371 4392 | 0 | 0 1188.24/1188.67 c 1188s | 24 | 4507243 | 4385062 | 2371 4398 | 0 | 0 1190.24/1190.67 c 1190s | 24 | 4515139 | 4392462 | 2371 4404 | 0 | 0 1192.24/1192.68 c 1192s | 24 | 4522493 | 4399562 | 2371 4409 | 0 | 0 1194.25/1194.70 c 1194s | 24 | 4530130 | 4406762 | 2371 4415 | 0 | 0 1196.34/1196.71 c 1196s | 24 | 4537367 | 4413462 | 2371 4421 | 0 | 0 1198.34/1198.72 c 1198s | 24 | 4545217 | 4421062 | 2371 4427 | 0 | 0 1200.34/1200.75 c 1200s | 24 | 4553466 | 4428962 | 2371 4433 | 0 | 0 1202.34/1202.76 c 1202s | 24 | 4561015 | 4436362 | 2371 4439 | 0 | 0 1204.34/1204.77 c 1204s | 24 | 4568855 | 4443962 | 2371 4445 | 0 | 0 1206.34/1206.77 c 1206s | 24 | 4576458 | 4451362 | 2371 4451 | 0 | 0 1208.33/1208.78 c 1208s | 24 | 4583895 | 4458462 | 2371 4457 | 0 | 0 1210.33/1210.79 c 1210s | 24 | 4591518 | 4465862 | 2371 4463 | 0 | 0 1212.43/1212.80 c 1212s | 24 | 4599664 | 4473662 | 2371 4469 | 0 | 0 1214.43/1214.81 c 1214s | 24 | 4607267 | 4481062 | 2371 4475 | 0 | 0 1216.43/1216.84 c 1216s | 24 | 4614831 | 4488462 | 2371 4481 | 0 | 0 1218.43/1218.85 c 1218s | 24 | 4622689 | 4496062 | 2371 4487 | 0 | 0 1220.43/1220.87 c 1220s | 24 | 4630938 | 4504062 | 2371 4493 | 0 | 0 1222.42/1222.89 c 1222s | 24 | 4638591 | 4511462 | 2371 4499 | 0 | 0 1224.52/1224.90 c 1224s | 24 | 4645970 | 4518662 | 2371 4505 | 0 | 0 1226.52/1226.92 c 1226s | 24 | 4653707 | 4526162 | 2371 4511 | 0 | 0 1228.52/1228.92 c 1228s | 24 | 4661575 | 4533762 | 2371 4517 | 0 | 0 1230.53/1230.95 c 1230s | 24 | 4669368 | 4541362 | 2371 4523 | 0 | 0 1232.51/1232.95 c 1232s | 24 | 4677306 | 4549062 | 2371 4529 | 0 | 0 1234.51/1234.96 c 1234s | 24 | 4685080 | 4556562 | 2371 4535 | 0 | 0 1236.51/1236.97 c 1236s | 24 | 4692878 | 4564162 | 2371 4541 | 0 | 0 1238.51/1238.99 c 1238s | 24 | 4700420 | 4571462 | 2371 4547 | 0 | 0 1240.61/1241.00 c 1240s | 24 | 4708407 | 4579162 | 2371 4553 | 0 | 0 1242.61/1243.02 c 1242s | 24 | 4716398 | 4586862 | 2371 4559 | 0 | 0 1244.62/1245.05 c 1244s | 24 | 4724659 | 4594762 | 2371 4566 | 0 | 0 1246.61/1247.07 c 1246s | 24 | 4732564 | 4602462 | 2371 4572 | 0 | 0 1248.61/1249.08 c 1248s | 24 | 4740490 | 4610162 | 2371 4578 | 0 | 0 1250.61/1251.09 c 1250s | 24 | 4748280 | 4617762 | 2371 4584 | 0 | 0 1252.71/1253.10 c 1252s | 24 | 4756048 | 4625262 | 2371 4590 | 0 | 0 1254.72/1255.13 c 1254s | 24 | 4763663 | 4632662 | 2371 4596 | 0 | 0 1256.71/1257.15 c 1256s | 24 | 4771702 | 4640562 | 2371 4602 | 0 | 0 1258.71/1259.16 c 1258s | 24 | 4779432 | 4648062 | 2371 4608 | 0 | 0 1260.71/1261.18 c 1260s | 24 | 4787205 | 4655662 | 2371 4614 | 0 | 0 1262.70/1263.19 c 1262s | 24 | 4794797 | 4663062 | 2371 4620 | 0 | 0 1264.80/1265.21 c 1264s | 24 | 4801600 | 4669662 | 2371 4626 | 0 | 0 1266.81/1267.24 c 1266s | 24 | 4809391 | 4677262 | 2371 4632 | 0 | 0 1268.80/1269.24 c 1268s | 24 | 4817089 | 4684762 | 2371 4638 | 0 | 0 1270.80/1271.28 c 1270s | 24 | 4824363 | 4691862 | 2371 4643 | 0 | 0 1272.90/1273.31 c 1272s | 24 | 4830871 | 4698162 | 2371 4649 | 0 | 0 1274.90/1275.32 c 1274s | 24 | 4838160 | 4705262 | 2371 4654 | 0 | 0 1276.90/1277.35 c 1276s | 24 | 4846067 | 4712962 | 2371 4660 | 0 | 0 1278.90/1279.35 c 1278s | 24 | 4853922 | 4720562 | 2371 4667 | 0 | 0 1280.90/1281.37 c 1280s | 24 | 4860941 | 4727262 | 2371 4672 | 0 | 0 1282.89/1283.39 c 1283s | 24 | 4867619 | 4733762 | 2371 4677 | 0 | 0 1284.99/1285.42 c 1285s | 24 | 4874877 | 4740762 | 2371 4683 | 0 | 0 1286.99/1287.42 c 1287s | 24 | 4881831 | 4747462 | 2371 4688 | 0 | 0 1288.99/1289.43 c 1289s | 24 | 4889241 | 4754662 | 2371 4694 | 0 | 0 1290.99/1291.45 c 1291s | 24 | 4896389 | 4761562 | 2371 4700 | 0 | 0 1292.98/1293.46 c 1293s | 24 | 4903878 | 4768862 | 2371 4705 | 0 | 0 1294.98/1295.48 c 1295s | 24 | 4910838 | 4775662 | 2371 4711 | 0 | 0 1296.98/1297.49 c 1297s | 24 | 4917518 | 4782062 | 2371 4716 | 0 | 0 1298.98/1299.49 c 1299s | 24 | 4924700 | 4788862 | 2371 4721 | 0 | 0 1301.08/1301.50 c 1301s | 24 | 4932253 | 4796262 | 2371 4727 | 0 | 0 1303.08/1303.52 c 1303s | 24 | 4940206 | 4803962 | 2371 4733 | 0 | 0 1305.07/1305.52 c 1305s | 24 | 4948287 | 4811862 | 2371 4740 | 0 | 0 1307.07/1307.53 c 1307s | 24 | 4955768 | 4819062 | 2371 4745 | 0 | 0 1309.07/1309.53 c 1309s | 24 | 4963317 | 4826362 | 2371 4751 | 0 | 0 1311.07/1311.53 c 1311s | 24 | 4970688 | 4833062 | 2371 4757 | 0 | 0 1313.07/1313.56 c 1313s | 24 | 4977411 | 4839362 | 2371 4762 | 0 | 0 1315.07/1315.56 c 1315s | 24 | 4984888 | 4846462 | 2371 4768 | 0 | 0 1317.07/1317.57 c 1317s | 24 | 4992116 | 4853262 | 2371 4773 | 0 | 0 1319.07/1319.57 c 1319s | 24 | 4999526 | 4860262 | 2371 4779 | 0 | 0 1321.07/1321.57 c 1321s | 24 | 5006329 | 4866762 | 2371 4784 | 0 | 0 1323.06/1323.60 c 1323s | 24 | 5013353 | 4873562 | 2371 4789 | 0 | 0 1325.17/1325.60 c 1325s | 24 | 5020150 | 4879962 | 2371 4794 | 0 | 0 1327.16/1327.61 c 1327s | 24 | 5026985 | 4886462 | 2371 4800 | 0 | 0 1329.16/1329.63 c 1329s | 24 | 5034588 | 4893762 | 2371 4805 | 0 | 0 1331.16/1331.64 c 1331s | 24 | 5042797 | 4901662 | 2371 4812 | 0 | 0 1333.16/1333.67 c 1333s | 24 | 5050177 | 4908762 | 2371 4817 | 0 | 0 1335.15/1335.67 c 1335s | 24 | 5058060 | 4916262 | 2371 4823 | 0 | 0 1337.16/1337.68 c 1337s | 24 | 5065345 | 4923362 | 2371 4829 | 0 | 0 1339.15/1339.69 c 1339s | 24 | 5073652 | 4931462 | 2371 4835 | 0 | 0 1341.25/1341.71 c 1341s | 24 | 5081029 | 4938562 | 2371 4841 | 0 | 0 1343.26/1343.72 c 1343s | 24 | 5088288 | 4945562 | 2371 4847 | 0 | 0 1345.26/1345.72 c 1345s | 24 | 5095776 | 4952762 | 2371 4852 | 0 | 0 1347.26/1347.74 c 1347s | 24 | 5103410 | 4960162 | 2371 4858 | 0 | 0 1349.27/1349.76 c 1349s | 24 | 5110910 | 4967362 | 2371 4864 | 0 | 0 1351.26/1351.78 c 1351s | 24 | 5118576 | 4974762 | 2371 4870 | 0 | 0 1353.36/1353.80 c 1353s | 24 | 5126532 | 4982462 | 2371 4876 | 0 | 0 1355.36/1355.81 c 1355s | 24 | 5134403 | 4990062 | 2371 4882 | 0 | 0 1357.36/1357.82 c 1357s | 24 | 5141606 | 4996662 | 2371 4887 | 0 | 0 1359.36/1359.82 c 1359s | 24 | 5149088 | 5003862 | 2371 4893 | 0 | 0 1361.36/1361.83 c 1361s | 24 | 5157162 | 5011662 | 2371 4900 | 0 | 0 1363.36/1363.84 c 1363s | 24 | 5165221 | 5019462 | 2371 4906 | 0 | 0 1365.36/1365.86 c 1365s | 24 | 5172661 | 5026562 | 2371 4911 | 0 | 0 1367.36/1367.89 c 1367s | 24 | 5179916 | 5033462 | 2609 4916 | 0 | 0 1369.45/1369.91 c 1369s | 24 | 5186910 | 5040062 | 2609 4921 | 0 | 0 1371.46/1371.92 c 1371s | 24 | 5193449 | 5046362 | 2609 4926 | 0 | 0 1373.46/1373.93 c 1373s | 24 | 5200742 | 5053462 | 2609 4931 | 0 | 0 1375.45/1375.93 c 1375s | 24 | 5207575 | 5059862 | 2609 4936 | 0 | 0 1377.05/1377.58 c 1377s | 25 | 5213012 | 5065098 | 2609 4940 | 0 | 0 1379.15/1379.60 c 1379s | 25 | 5220014 | 5071898 | 2609 4944 | 0 | 0 1381.16/1381.62 c 1381s | 25 | 5226749 | 5078498 | 2609 4949 | 0 | 0 1383.15/1383.62 c 1383s | 25 | 5233199 | 5084898 | 2609 4954 | 0 | 0 1385.15/1385.62 c 1385s | 25 | 5240353 | 5091798 | 2609 4959 | 0 | 0 1387.15/1387.64 c 1387s | 25 | 5246942 | 5098198 | 2609 4964 | 0 | 0 1389.15/1389.65 c 1389s | 25 | 5253625 | 5104798 | 2609 4968 | 0 | 0 1391.16/1391.67 c 1391s | 25 | 5259990 | 5111098 | 2609 4973 | 0 | 0 1393.15/1393.70 c 1393s | 25 | 5266053 | 5116998 | 2609 4977 | 0 | 0 1395.25/1395.75 c 1395s | 25 | 5271921 | 5122598 | 2609 4982 | 0 | 0 1397.25/1397.76 c 1397s | 25 | 5278154 | 5128398 | 2609 4986 | 0 | 0 1399.25/1399.76 c 1399s | 25 | 5284695 | 5134698 | 2609 4990 | 0 | 0 1401.25/1401.78 c 1401s | 25 | 5291931 | 5141798 | 2609 4995 | 0 | 0 1403.35/1403.80 c 1403s | 25 | 5298479 | 5148298 | 2609 5000 | 0 | 0 1405.35/1405.81 c 1405s | 25 | 5305548 | 5155198 | 2609 5005 | 0 | 0 1407.35/1407.83 c 1407s | 25 | 5312288 | 5161898 | 2609 5010 | 0 | 0 1409.35/1409.84 c 1409s | 25 | 5318721 | 5168298 | 2609 5015 | 0 | 0 1411.35/1411.88 c 1411s | 25 | 5324795 | 5174298 | 2609 5019 | 0 | 0 1413.35/1413.89 c 1413s | 25 | 5330446 | 5179898 | 2609 5023 | 0 | 0 1415.45/1415.91 c 1415s | 25 | 5336032 | 5185398 | 2609 5027 | 0 | 0 1417.45/1417.93 c 1417s | 25 | 5342005 | 5191298 | 2609 5031 | 0 | 0 1419.44/1419.94 c 1419s | 25 | 5348397 | 5197498 | 2609 5036 | 0 | 0 1421.44/1421.96 c 1421s | 25 | 5354927 | 5203898 | 2609 5041 | 0 | 0 1423.44/1423.99 c 1423s | 25 | 5360998 | 5209898 | 2609 5045 | 0 | 0 1425.54/1426.00 c 1425s | 25 | 5367491 | 5216298 | 2609 5050 | 0 | 0 1427.54/1428.02 c 1427s | 25 | 5374054 | 5222698 | 2609 5054 | 0 | 0 1429.55/1430.03 c 1429s | 25 | 5380306 | 5228798 | 2609 5059 | 0 | 0 1431.54/1432.04 c 1431s | 25 | 5386758 | 5235098 | 2609 5063 | 0 | 0 1433.54/1434.06 c 1433s | 25 | 5393340 | 5241398 | 2609 5068 | 0 | 0 1435.54/1436.06 c 1435s | 25 | 5400292 | 5248098 | 2609 5073 | 0 | 0 1437.54/1438.07 c 1437s | 25 | 5406969 | 5254598 | 2609 5077 | 0 | 0 1439.55/1440.08 c 1439s | 25 | 5413623 | 5261198 | 2609 5082 | 0 | 0 1441.54/1442.09 c 1441s | 25 | 5420335 | 5267798 | 2609 5087 | 0 | 0 1443.64/1444.10 c 1443s | 25 | 5426796 | 5274098 | 2609 5092 | 0 | 0 1445.64/1446.11 c 1445s | 25 | 5433543 | 5280798 | 2609 5096 | 0 | 0 1447.64/1448.12 c 1447s | 25 | 5440208 | 5287398 | 2609 5101 | 0 | 0 1449.64/1450.13 c 1449s | 25 | 5446482 | 5293598 | 2609 5106 | 0 | 0 1451.64/1452.15 c 1451s | 25 | 5452286 | 5299298 | 2609 5110 | 0 | 0 1453.64/1454.17 c 1453s | 25 | 5458551 | 5305398 | 2609 5114 | 0 | 0 1455.64/1456.17 c 1455s | 25 | 5464691 | 5311398 | 2609 5119 | 0 | 0 1457.64/1458.19 c 1457s | 25 | 5471557 | 5318098 | 2609 5124 | 0 | 0 1459.74/1460.21 c 1459s | 25 | 5478562 | 5324998 | 2609 5129 | 0 | 0 1461.73/1462.23 c 1461s | 25 | 5485594 | 5331898 | 2609 5134 | 0 | 0 1463.74/1464.23 c 1463s | 25 | 5492977 | 5339098 | 2609 5139 | 0 | 0 1465.73/1466.26 c 1465s | 25 | 5499870 | 5345898 | 2609 5144 | 0 | 0 1467.73/1468.27 c 1467s | 25 | 5506629 | 5352598 | 2609 5149 | 0 | 0 1469.83/1470.30 c 1469s | 25 | 5513249 | 5359098 | 2609 5154 | 0 | 0 1471.83/1472.32 c 1471s | 25 | 5519840 | 5365598 | 2609 5158 | 0 | 0 1473.83/1474.34 c 1473s | 25 | 5526522 | 5372198 | 2609 5163 | 0 | 0 1475.84/1476.34 c 1475s | 25 | 5533602 | 5379098 | 2609 5168 | 0 | 0 1477.83/1478.36 c 1477s | 25 | 5540281 | 5385698 | 2609 5173 | 0 | 0 1479.83/1480.37 c 1479s | 25 | 5547555 | 5392898 | 2609 5178 | 0 | 0 1481.93/1482.41 c 1482s | 25 | 5554881 | 5400098 | 2609 5183 | 0 | 0 1483.93/1484.43 c 1484s | 25 | 5561475 | 5406598 | 2609 5188 | 0 | 0 1485.93/1486.44 c 1486s | 25 | 5568070 | 5413098 | 2609 5193 | 0 | 0 1487.94/1488.47 c 1488s | 25 | 5575437 | 5420298 | 2609 5198 | 0 | 0 1489.93/1490.49 c 1490s | 25 | 5581792 | 5426598 | 2609 5203 | 0 | 0 1491.93/1492.49 c 1492s | 25 | 5588247 | 5432998 | 2609 5207 | 0 | 0 1494.03/1494.52 c 1494s | 25 | 5595470 | 5440098 | 2609 5212 | 0 | 0 1496.03/1496.54 c 1496s | 25 | 5602145 | 5446698 | 2609 5217 | 0 | 0 1498.03/1498.56 c 1498s | 25 | 5608541 | 5452998 | 2609 5222 | 0 | 0 1500.03/1500.57 c 1500s | 25 | 5615055 | 5458998 | 2609 5226 | 0 | 0 1502.03/1502.58 c 1502s | 25 | 5621777 | 5464998 | 2609 5231 | 0 | 0 1504.03/1504.59 c 1504s | 25 | 5628769 | 5471398 | 2609 5235 | 0 | 0 1506.13/1506.60 c 1506s | 25 | 5636184 | 5477898 | 2609 5240 | 0 | 0 1508.13/1508.63 c 1508s | 25 | 5643171 | 5484198 | 2609 5245 | 0 | 0 1510.13/1510.66 c 1510s | 25 | 5649765 | 5490398 | 2609 5249 | 0 | 0 1512.14/1512.67 c 1512s | 25 | 5656483 | 5496298 | 2609 5254 | 0 | 0 1514.13/1514.67 c 1514s | 25 | 5663186 | 5502198 | 2609 5258 | 0 | 0 1516.13/1516.69 c 1516s | 25 | 5669303 | 5507798 | 2609 5262 | 0 | 0 1518.23/1518.72 c 1518s | 25 | 5675317 | 5513398 | 2609 5266 | 0 | 0 1520.23/1520.75 c 1520s | 25 | 5681607 | 5519298 | 2609 5271 | 0 | 0 1522.23/1522.78 c 1522s | 25 | 5688579 | 5525598 | 2609 5275 | 0 | 0 1524.24/1524.79 c 1524s | 25 | 5694857 | 5531298 | 2609 5279 | 0 | 0 1526.23/1526.80 c 1526s | 25 | 5701090 | 5537298 | 2609 5284 | 0 | 0 1528.33/1528.80 c 1528s | 25 | 5706552 | 5542698 | 2609 5288 | 0 | 0 1530.33/1530.83 c 1530s | 25 | 5712900 | 5548898 | 2609 5292 | 0 | 0 1532.33/1532.86 c 1532s | 25 | 5718710 | 5554598 | 2609 5296 | 0 | 0 1534.43/1534.90 c 1534s | 25 | 5724838 | 5560598 | 2609 5301 | 0 | 0 1536.43/1536.91 c 1536s | 25 | 5730371 | 5565998 | 2609 5305 | 0 | 0 1538.44/1538.92 c 1538s | 25 | 5736683 | 5572198 | 2609 5309 | 0 | 0 1540.43/1540.93 c 1540s | 25 | 5743511 | 5578898 | 2609 5314 | 0 | 0 1542.43/1542.96 c 1542s | 25 | 5749721 | 5584998 | 2609 5319 | 0 | 0 1544.53/1545.00 c 1544s | 25 | 5756024 | 5590898 | 2609 5323 | 0 | 0 1546.53/1547.01 c 1546s | 25 | 5762805 | 5597198 | 2609 5328 | 0 | 0 1548.53/1549.04 c 1548s | 25 | 5769941 | 5603698 | 2609 5332 | 0 | 0 1550.53/1551.08 c 1550s | 25 | 5775872 | 5609298 | 2609 5337 | 0 | 0 1552.63/1553.10 c 1552s | 25 | 5783618 | 5616798 | 2609 5342 | 0 | 0 1554.63/1555.10 c 1554s | 25 | 5791028 | 5624098 | 2609 5347 | 0 | 0 1556.63/1557.12 c 1556s | 25 | 5798217 | 5631098 | 2609 5352 | 0 | 0 1558.63/1559.13 c 1558s | 25 | 5805488 | 5638298 | 2609 5358 | 0 | 0 1560.63/1561.14 c 1560s | 25 | 5812260 | 5644998 | 2609 5362 | 0 | 0 1562.63/1563.16 c 1562s | 25 | 5819401 | 5651998 | 2609 5368 | 0 | 0 1564.62/1565.17 c 1564s | 25 | 5827019 | 5659398 | 2609 5373 | 0 | 0 1566.62/1567.19 c 1566s | 25 | 5835006 | 5667198 | 2609 5379 | 0 | 0 1568.72/1569.21 c 1568s | 25 | 5842656 | 5674698 | 2609 5384 | 0 | 0 1570.72/1571.21 c 1570s | 25 | 5850412 | 5682298 | 2609 5390 | 0 | 0 1572.72/1573.23 c 1572s | 25 | 5858380 | 5689998 | 2609 5395 | 0 | 0 1574.73/1575.24 c 1574s | 25 | 5865767 | 5697198 | 2609 5400 | 0 | 0 1576.72/1577.26 c 1576s | 25 | 5873121 | 5704398 | 2609 5406 | 0 | 0 1578.72/1579.28 c 1578s | 25 | 5880258 | 5711398 | 2609 5411 | 0 | 0 1580.72/1581.28 c 1580s | 25 | 5887550 | 5718498 | 2609 5416 | 0 | 0 1582.72/1583.30 c 1582s | 25 | 5894795 | 5725598 | 2609 5421 | 0 | 0 1584.82/1585.31 c 1584s | 25 | 5901836 | 5732498 | 2609 5426 | 0 | 0 1586.82/1587.32 c 1586s | 25 | 5908835 | 5739398 | 2609 5431 | 0 | 0 1588.82/1589.32 c 1588s | 25 | 5915626 | 5746098 | 2609 5436 | 0 | 0 1590.82/1591.33 c 1590s | 25 | 5922756 | 5753098 | 2609 5441 | 0 | 0 1592.82/1593.33 c 1592s | 25 | 5929723 | 5759898 | 2609 5446 | 0 | 0 1594.82/1595.34 c 1594s | 25 | 5936570 | 5766698 | 2609 5451 | 0 | 0 1596.82/1597.35 c 1596s | 25 | 5943211 | 5773198 | 2609 5456 | 0 | 0 1598.82/1599.36 c 1598s | 25 | 5948837 | 5778598 | 2609 5460 | 0 | 0 1600.81/1601.39 c 1601s | 25 | 5955695 | 5784898 | 2609 5464 | 0 | 0 1602.91/1603.40 c 1603s | 25 | 5961195 | 5789998 | 2609 5468 | 0 | 0 1604.91/1605.42 c 1605s | 25 | 5968306 | 5796698 | 2609 5473 | 0 | 0 1606.91/1607.44 c 1607s | 25 | 5975361 | 5803098 | 2609 5478 | 0 | 0 1608.92/1609.45 c 1609s | 25 | 5983152 | 5810298 | 2609 5483 | 0 | 0 1610.91/1611.46 c 1611s | 25 | 5990695 | 5817498 | 2609 5488 | 0 | 0 1612.91/1613.47 c 1613s | 25 | 5997451 | 5823998 | 2609 5493 | 0 | 0 1614.91/1615.48 c 1615s | 25 | 6004048 | 5830398 | 2609 5497 | 0 | 0 1617.01/1617.50 c 1617s | 25 | 6011020 | 5837098 | 2609 5502 | 0 | 0 1619.01/1619.50 c 1619s | 25 | 6018185 | 5843898 | 2609 5507 | 0 | 0 1621.02/1621.52 c 1621s | 25 | 6025540 | 5850998 | 2609 5513 | 0 | 0 1623.01/1623.52 c 1623s | 25 | 6032718 | 5857898 | 2609 5518 | 0 | 0 1625.01/1625.54 c 1625s | 25 | 6039743 | 5864698 | 2609 5523 | 0 | 0 1627.01/1627.56 c 1627s | 25 | 6045677 | 5870398 | 2609 5527 | 0 | 0 1629.01/1629.59 c 1629s | 25 | 6052713 | 5877198 | 2609 5532 | 0 | 0 1631.11/1631.63 c 1631s | 25 | 6058496 | 5882698 | 2609 5536 | 0 | 0 1633.11/1633.65 c 1633s | 25 | 6065180 | 5888998 | 2609 5540 | 0 | 0 1635.11/1635.65 c 1635s | 25 | 6072049 | 5895598 | 2609 5545 | 0 | 0 1637.11/1637.66 c 1637s | 25 | 6078575 | 5901698 | 2609 5549 | 0 | 0 1639.11/1639.69 c 1639s | 25 | 6085398 | 5908298 | 2609 5554 | 0 | 0 1641.21/1641.70 c 1641s | 25 | 6091543 | 5913998 | 2609 5558 | 0 | 0 1643.21/1643.71 c 1643s | 25 | 6098141 | 5920298 | 2609 5563 | 0 | 0 1645.21/1645.74 c 1645s | 25 | 6104738 | 5926498 | 2609 5567 | 0 | 0 1647.20/1647.76 c 1647s | 25 | 6111534 | 5933098 | 2609 5572 | 0 | 0 1649.20/1649.76 c 1649s | 25 | 6118598 | 5939898 | 2609 5577 | 0 | 0 1651.20/1651.77 c 1651s | 25 | 6125297 | 5946398 | 2609 5582 | 0 | 0 1653.30/1653.80 c 1653s | 25 | 6131893 | 5952798 | 2609 5587 | 0 | 0 1655.30/1655.82 c 1655s | 25 | 6138739 | 5959398 | 2609 5591 | 0 | 0 1657.31/1657.84 c 1657s | 25 | 6145443 | 5965898 | 2609 5596 | 0 | 0 1659.30/1659.84 c 1659s | 25 | 6151713 | 5971898 | 2609 5600 | 0 | 0 1661.30/1661.85 c 1661s | 25 | 6158680 | 5978598 | 2609 5605 | 0 | 0 1663.31/1663.86 c 1663s | 25 | 6165627 | 5985298 | 2609 5610 | 0 | 0 1665.31/1665.89 c 1665s | 25 | 6172720 | 5992198 | 2609 5615 | 0 | 0 1667.31/1667.89 c 1667s | 25 | 6179366 | 5998598 | 2609 5620 | 0 | 0 1669.32/1669.90 c 1669s | 25 | 6186553 | 6005598 | 2609 5625 | 0 | 0 1671.41/1671.92 c 1671s | 25 | 6193373 | 6011998 | 2609 5630 | 0 | 0 1673.41/1673.95 c 1673s | 25 | 6199890 | 6018198 | 2609 5634 | 0 | 0 1675.41/1675.97 c 1675s | 25 | 6206328 | 6024298 | 2609 5639 | 0 | 0 1677.41/1677.99 c 1677s | 25 | 6213232 | 6030798 | 2609 5644 | 0 | 0 1679.51/1680.00 c 1679s | 25 | 6220107 | 6037298 | 2609 5648 | 0 | 0 1681.52/1682.00 c 1681s | 25 | 6226495 | 6043498 | 2609 5653 | 0 | 0 1683.51/1684.03 c 1683s | 25 | 6233044 | 6049698 | 2609 5657 | 0 | 0 1685.51/1686.05 c 1685s | 25 | 6239255 | 6055498 | 2609 5662 | 0 | 0 1687.51/1688.05 c 1687s | 25 | 6246594 | 6062098 | 2609 5666 | 0 | 0 1689.51/1690.06 c 1689s | 25 | 6253062 | 6068098 | 2609 5671 | 0 | 0 1691.50/1692.07 c 1691s | 25 | 6259447 | 6073998 | 2609 5675 | 0 | 0 1693.51/1694.08 c 1693s | 25 | 6265195 | 6079398 | 2609 5679 | 0 | 0 1695.60/1696.12 c 1695s | 25 | 6271512 | 6085198 | 2609 5684 | 0 | 0 1697.60/1698.12 c 1697s | 25 | 6277888 | 6091198 | 2609 5688 | 0 | 0 1699.60/1700.14 c 1699s | 25 | 6284440 | 6097198 | 2609 5692 | 0 | 0 1701.60/1702.15 c 1701s | 25 | 6291628 | 6103798 | 2609 5697 | 0 | 0 1703.60/1704.17 c 1703s | 25 | 6298398 | 6109698 | 2609 5701 | 0 | 0 1705.61/1706.19 c 1705s | 25 | 6305146 | 6115898 | 2609 5706 | 0 | 0 1707.70/1708.23 c 1707s | 25 | 6311384 | 6121498 | 2609 5710 | 0 | 0 1709.70/1710.24 c 1709s | 25 | 6318203 | 6127698 | 2609 5715 | 0 | 0 1711.70/1712.28 c 1711s | 25 | 6325714 | 6134298 | 2609 5720 | 0 | 0 1713.80/1714.30 c 1713s | 25 | 6333450 | 6141398 | 2609 5725 | 0 | 0 1715.80/1716.31 c 1715s | 25 | 6339841 | 6147298 | 2609 5729 | 0 | 0 1717.81/1718.32 c 1717s | 25 | 6347385 | 6154298 | 2609 5734 | 0 | 0 1719.80/1720.34 c 1719s | 25 | 6353595 | 6160098 | 2609 5738 | 0 | 0 1721.80/1722.35 c 1721s | 25 | 6360146 | 6166098 | 2609 5743 | 0 | 0 1723.80/1724.36 c 1723s | 25 | 6366635 | 6172098 | 2609 5747 | 0 | 0 1725.80/1726.39 c 1726s | 25 | 6373277 | 6178298 | 2609 5752 | 0 | 0 1727.89/1728.42 c 1728s | 25 | 6379997 | 6184398 | 2609 5756 | 0 | 0 1729.90/1730.44 c 1730s | 25 | 6387123 | 6191098 | 2609 5761 | 0 | 0 1731.89/1732.46 c 1732s | 25 | 6394327 | 6197798 | 2609 5766 | 0 | 0 1733.89/1734.47 c 1734s | 25 | 6401041 | 6203998 | 2609 5771 | 0 | 0 1735.99/1736.51 c 1736s | 25 | 6408343 | 6210698 | 2609 5775 | 0 | 0 1737.99/1738.53 c 1738s | 25 | 6414959 | 6216798 | 2609 5780 | 0 | 0 1739.99/1740.54 c 1740s | 25 | 6421743 | 6222898 | 2609 5784 | 0 | 0 1742.00/1742.55 c 1742s | 25 | 6428339 | 6228998 | 2609 5789 | 0 | 0 1743.99/1744.56 c 1744s | 25 | 6434879 | 6235198 | 2609 5793 | 0 | 0 1745.99/1746.57 c 1746s | 25 | 6441818 | 6241698 | 2609 5798 | 0 | 0 1747.99/1748.60 c 1748s | 25 | 6448613 | 6247998 | 2609 5803 | 0 | 0 1750.09/1750.60 c 1750s | 25 | 6455869 | 6254798 | 2609 5808 | 0 | 0 1752.09/1752.65 c 1752s | 25 | 6462781 | 6261198 | 2609 5813 | 0 | 0 1754.10/1754.65 c 1754s | 25 | 6469762 | 6267598 | 2609 5817 | 0 | 0 1756.10/1756.69 c 1756s | 25 | 6476266 | 6273398 | 2609 5821 | 0 | 0 1758.20/1758.72 c 1758s | 25 | 6483144 | 6279798 | 2609 5826 | 0 | 0 1760.20/1760.72 c 1760s | 25 | 6490006 | 6285998 | 2609 5831 | 0 | 0 1762.20/1762.75 c 1762s | 25 | 6496585 | 6291998 | 2609 5835 | 0 | 0 1764.19/1764.79 c 1764s | 25 | 6502626 | 6297598 | 2609 5839 | 0 | 0 1766.20/1766.79 c 1766s | 25 | 6508540 | 6303198 | 2609 5843 | 0 | 0 1768.19/1768.79 c 1768s | 25 | 6515200 | 6309398 | 2609 5848 | 0 | 0 1770.29/1770.80 c 1770s | 25 | 6522671 | 6316298 | 2609 5853 | 0 | 0 1772.29/1772.81 c 1772s | 25 | 6530231 | 6323298 | 2609 5858 | 0 | 0 1774.29/1774.86 c 1774s | 25 | 6536984 | 6329598 | 2609 5863 | 0 | 0 1776.29/1776.87 c 1776s | 25 | 6543162 | 6335398 | 2609 5867 | 0 | 0 1778.30/1778.88 c 1778s | 25 | 6549981 | 6341798 | 2609 5871 | 0 | 0 1780.29/1780.90 c 1780s | 25 | 6557256 | 6348498 | 2609 5876 | 0 | 0 1782.39/1782.92 c 1782s | 25 | 6564311 | 6354998 | 2609 5881 | 0 | 0 1784.39/1784.95 c 1784s | 25 | 6570872 | 6360698 | 2609 5885 | 0 | 0 1786.39/1786.95 c 1786s | 25 | 6577400 | 6366498 | 2609 5890 | 0 | 0 1788.39/1788.98 c 1788s | 25 | 6584366 | 6372898 | 2609 5894 | 0 | 0 1790.49/1791.00 c 1790s | 25 | 6590991 | 6378998 | 2609 5899 | 0 | 0 1792.50/1793.02 c 1792s | 25 | 6597800 | 6385298 | 2609 5903 | 0 | 0 1794.49/1795.04 c 1794s | 25 | 6604044 | 6390998 | 2609 5908 | 0 | 0 1796.49/1797.04 c 1796s | 25 | 6610993 | 6397198 | 2609 5912 | 0 | 0 1798.49/1799.04 c 1798s | 25 | 6617957 | 6403598 | 2609 5917 | 0 | 0
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-4106082-1466265155/watcher-4106082-1466265155 -o /tmp/evaluation-result-4106082-1466265155/solver-4106082-1466265155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106082-1466265155.opb pid=8601 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.15 2.10 3/179 8604 /proc/meminfo: memFree=30179684/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=518588 CPUtime=0 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 1902 0 0 0 0 0 0 0 20 0 4 0 28565671 531034112 1751 33554432000 4194304 16246674 140736605433696 140736605433120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 130415 1761 441 2943 0 127309 0 [pid=8604/tid=8605] ppid=8601 vsize=563644 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 577171456 1925 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=568764 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 582414336 1945 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=572860 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28565671 586608640 1961 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.17 2.15 2.10 3/179 8604 /proc/meminfo: memFree=30179684/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 20811 0 0 0 6 3 0 0 20 0 4 0 28565671 1247350784 20648 33554432000 4194304 16246674 140736605433696 140736605433120 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 304529 20655 759 2943 0 301423 0 [pid=8604/tid=8605] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 20659 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 20664 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 20668 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200511 s] /proc/loadavg: 2.17 2.15 2.10 3/179 8604 /proc/meminfo: memFree=30179684/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 38627 0 0 0 13 6 0 0 20 0 4 0 28565671 1247350784 38464 33554432000 4194304 16246674 140736605433696 140736605433120 12477891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 304529 38474 766 2943 0 301423 0 [pid=8604/tid=8605] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 38484 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 38488 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 38490 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30047 s] /proc/loadavg: 2.17 2.15 2.10 3/179 8604 /proc/meminfo: memFree=30179684/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 55929 0 0 0 20 8 0 0 20 0 4 0 28565671 1247350784 55767 33554432000 4194304 16246674 140736605433696 140736605433120 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 304529 55778 766 2943 0 301423 0 [pid=8604/tid=8605] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 55788 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 55791 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 55793 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700408 s] /proc/loadavg: 2.17 2.15 2.10 3/179 8604 /proc/meminfo: memFree=30179684/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 129195 0 0 0 50 19 0 0 20 0 4 0 28565671 1247350784 129031 33554432000 4194304 16246674 140736605433696 140736605433120 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 304529 129035 794 2943 0 301423 0 [pid=8604/tid=8605] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 129037 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 129041 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28565671 1247350784 129048 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.32 2.18 2.11 3/183 8608 /proc/meminfo: memFree=29362564/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 245816 0 0 0 115 34 0 0 20 0 4 0 28565671 1248399360 245630 33554432000 4194304 16246674 140736605433696 140736605433008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 304785 245630 851 2943 0 301679 0 [pid=8604/tid=8605] ppid=8601 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1248399360 245630 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1248399360 245630 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1248399360 245630 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10041 s] /proc/loadavg: 2.32 2.18 2.11 3/183 8608 /proc/meminfo: memFree=29124096/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 267530 0 0 0 273 36 0 0 20 0 4 0 28565671 1337528320 267344 33554432000 4194304 16246674 140736605433696 140736605415616 12478258 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 326545 267344 851 2943 0 323439 0 [pid=8604/tid=8605] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267344 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267344 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267344 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.3004 s] /proc/loadavg: 2.29 2.18 2.10 3/183 8608 /proc/meminfo: memFree=29110592/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 267646 0 0 0 593 36 0 0 20 0 4 0 28565671 1337528320 267460 33554432000 4194304 16246674 140736605433696 140736605416696 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 326545 267460 853 2943 0 323439 0 [pid=8604/tid=8605] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267460 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267460 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1337528320 267460 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.35 2.19 2.11 3/183 8608 /proc/meminfo: memFree=29109228/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 267912 0 0 0 1233 36 0 0 20 0 4 0 28565671 1339625472 267726 33554432000 4194304 16246674 140736605433696 140736605415616 5600464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 327057 267726 853 2943 0 323951 0 [pid=8604/tid=8605] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267726 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267726 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267726 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.38 2.20 2.11 3/183 8608 /proc/meminfo: memFree=29108600/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 268159 0 0 0 2512 36 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140736605415616 5994429 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 327057 267973 854 2943 0 323951 0 [pid=8604/tid=8605] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.29 2.20 2.11 3/183 8608 /proc/meminfo: memFree=29109192/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1308228 CPUtime=51.08 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 268159 0 0 0 5071 37 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140736605415616 5822671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 327057 267973 854 2943 0 323951 0 [pid=8604/tid=8605] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1339625472 267973 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.22 2.19 2.11 3/183 8609 /proc/meminfo: memFree=29108184/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 268217 0 0 0 10191 37 0 0 20 0 4 0 28565671 1340674048 268031 33554432000 4194304 16246674 140736605433696 140736605415616 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 327313 268031 854 2943 0 324207 0 [pid=8604/tid=8605] ppid=8601 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1340674048 268031 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1340674048 268031 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1340674048 268031 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1314372 [startup+1302.3 s] /proc/loadavg: 2.10 2.09 2.09 3/183 8760 /proc/meminfo: memFree=29122588/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1301.88 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270109 0 0 0 130139 49 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.19 2.12 2.09 3/183 8761 /proc/meminfo: memFree=29122012/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1361.86 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 136136 50 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605416696 13753008 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.21 2.14 2.10 3/183 8762 /proc/meminfo: memFree=29121056/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1421.85 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 142135 50 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5518385 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.16 2.14 2.10 3/183 8763 /proc/meminfo: memFree=29121624/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1481.83 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 148133 50 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5825644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 2.10 2.13 2.09 3/183 8765 /proc/meminfo: memFree=29119596/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1541.84 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 154133 51 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5515784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.20 2.15 2.10 3/183 8766 /proc/meminfo: memFree=29118256/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1601.81 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 160130 51 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.16 2.15 2.10 3/184 8770 /proc/meminfo: memFree=29116468/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1661.81 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 166129 52 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.10 2.13 2.09 3/183 8771 /proc/meminfo: memFree=29116184/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1721.8 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 172128 52 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1314372 [startup+1782.3 s] /proc/loadavg: 2.14 2.14 2.09 3/183 8772 /proc/meminfo: memFree=29115708/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1781.79 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 178126 53 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 6021684 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1314372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.11 2.13 2.09 3/182 8772 /proc/meminfo: memFree=29115552/32872528 swapFree=526336/559040 [pid=8604] ppid=8601 vsize=1314372 CPUtime=1800.09 cores=0,2,4,6 /proc/8604/stat : 8604 (toysat) R 8601 8604 28898 0 -1 4202496 270135 0 0 0 179956 53 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140736605415616 12483276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8604/statm: 328593 269767 856 2943 0 325487 0 [pid=8604/tid=8605] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8605/stat : 8605 (toysat) S 8601 8604 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466310851824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=8604/tid=8606] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8606/stat : 8606 (toysat) S 8601 8604 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466300361968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8604/tid=8607] ppid=8601 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8604/task/8607/stat : 8607 (toysat) S 8601 8604 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28565671 1345916928 269767 33554432000 4194304 16246674 140736605433696 140466289888432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1314372 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 8604 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.57 CPU system time (s): 0.533918 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.533918 maximum resident set size= 1079068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270135 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= 452 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0842 second user time and 16.2395 second system time The end
Begin job on node106 at 2016-06-18 17:52:35 IDJOB=4106082 IDBENCH=47922 IDSOLVER=2542 FILE ID=node106/4106082-1466265155 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106082-1466265155/watcher-4106082-1466265155 -o /tmp/evaluation-result-4106082-1466265155/solver-4106082-1466265155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106082-1466265155.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 52bf383ed9b3de8fe398adacf729ec57 RANDOM SEED=625608040 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.56 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 : 2667.073 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 : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 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: 30180420 kB Buffers: 83480 kB Cached: 195408 kB SwapCached: 1736 kB Active: 1203160 kB Inactive: 183708 kB Active(anon): 1106336 kB Inactive(anon): 4000 kB Active(file): 96824 kB Inactive(file): 179708 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16532 kB Writeback: 0 kB AnonPages: 1668832 kB Mapped: 10444 kB Shmem: 0 kB Slab: 612672 kB SReclaimable: 56420 kB SUnreclaim: 556252 kB KernelStack: 1512 kB PageTables: 6964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1809816 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 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= 71668 MiB End job on node106 at 2016-06-18 18:22:36