| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.12 | 1800.72 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb |
| MD5SUM | 85ac83bf4a556e0f3edfff4036eff461 |
| 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.051991 |
| 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 | 72 |
| Total number of constraints | 7 |
| 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 | 7 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 192 |
| Sum of products size (including duplicates) | 384 |
| Number of different products | 192 |
| Sum of products size | 384 |
0.00/0.00 c 2016-06-18T16:41:48+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-4105980-1466260908.opb"] 0.00/0.01 c use --random-gen="2743448543 4231727235 42913468 2867007072 610345523 2303309157 3280102527 3253069387 1223864760 3062578833 2740859835 4057266792 67751915 1693932335 3807364298 3616001462 4155456977 343632718 2435532263 1041098438 3406863336 1841942468 3903310684 2281409584 317940111 1966229914 1095500288 312081211 3314209913 2848497126 3445577189 2753697494 601489519 3090909053 213671580 3781275710 3264211413 546588278 1823833571 3532699346 1372891293 3852048524 276178337 3486125118 1309041239 386506196 3437216873 2959215027 1114689116 3392957975 2297122168 3269050390 2898504081 2701118503 1353568288 2684317844 2758882849 1167968986 1494697026 4237689280 2206191409 736908680 1881264176 2321233114 2172439977 3413230970 859709673 1814282965 3774207994 3429255179 4284394269 135635515 3881028524 4119363165 713356368 2660679737 278743739 1217402184 850688699 34974609 2846039221 3389086781 22616500 2294158417 1475347937 2795518237 3720781258 3909223379 906148369 688412422 2049737719 2966552514 1839071447 1068597997 4128448173 985818506 190500495 3092218925 2977625366 3985775750 3386134737 3661432097 3719016179 1644127671 176530936 1731360460 2544203338 1805389316 3128277924 905165286 1911305534 2972357621 3819553727 1152235046 3665992245 1432507506 3176456006 1244344799 1869140735 213880504 3096063267 597285103 137208584 470846723 3320549264 1468756055 572272634 161118824 2612891408 174336580 1686453565 25542508 3311305281 4170250424 4009288845 2021526859 3751528755 1088456486 493573785 2707800282 2440874313 921563977 2193154398 2022841347 4009394527 3207383826 2147094354 1146496938 416818486 1389952176 3597724568 3529770564 1854899619 1520053410 2792001203 2671941174 3816955668 278849408 1642528543 529944 662169255 3169716767 1887199352 2111669575 3404091807 248597580 3916259510 1299427674 2103488253 3408578505 3496190696 2914717769 609372103 2294445218 2392838235 1136184457 1008582788 2088494253 1702148048 2588656226 1843454257 2514061651 2766450893 1448948688 2406365699 666084024 3508769183 603922119 3073609159 4216388192 2514253624 2416628257 2878099437 1134317291 3010457944 228482762 494901372 195429909 1898438943 3520867979 3859102691 2119251657 1377646667 535651084 518402505 2720583362 4039066848 345860305 3922567215 3995178766 2343332949 3756983831 278016034 3146411697 3518685118 2450113368 4033995709 747533661 2069837119 2141456767 1991187571 310044553 3768201736 4158476232 3068440714 339323866 903223373 3269213798 1430302188 1519328821 1171937739 32517824 1866809582 2883381356 3187748728 1084460680 1238480993 866636966 3320580606 4210155295 237178646 2579315874 3501376925 662308617 1808498502 4149567807 3630745034 1855231852 998957772 488384678 1082603796 777716962 2768713188 3007019365 254625937 1739852648 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 0.00/0.01 c #constraints 7 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 | 283 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 120 | 100 | 283 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 281 | 250 | 312 0 | 0 | 0 0.09/0.12 c 0.1s | 3 | 516 | 475 | 344 1 | 0 | 0 0.09/0.19 c 0.2s | 4 | 908 | 813 | 379 3 | 0 | 0 0.39/0.40 c 0.4s | 5 | 1486 | 1320 | 417 4 | 0 | 0 0.58/0.62 c 0.6s | 6 | 2283 | 2081 | 505 7 | 0 | 0 0.58/0.67 c 0.7s | 6 | 2567 | 2325 | 505 7 | 0 | 0 0.58/0.67 c #cpu_time = 0.650s 0.58/0.67 c #wall_clock_time = 0.651s 0.58/0.67 c #decision = 2567 0.58/0.67 c #random_decision = 11 0.58/0.67 c #conflict = 2325 0.58/0.67 c #restart = 6 0.58/0.67 o 175 0.58/0.67 c BCD2: updating upper bound: 255 -> 174 0.58/0.67 c BCD2: 0 <= obj <= 174 0.58/0.67 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.58/0.67 c BCD2: #sat=1 #unsat=1 bias=1/2 0.58/0.67 c Solving starts ... 0.58/0.67 c ============================[ Search Statistics ]============================ 0.58/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.67 c | | | | Limit GC | Var | Constra 0.58/0.67 c ============================================================================= 0.58/0.67 c 0.0s | 0 | 0 | 0 | 505 0 | 0 | 0 0.58/0.68 c 0.0s | 0 | 6 | 0 | 505 1 | 0 | 0 0.58/0.68 c #cpu_time = 0.005s 0.58/0.68 c #wall_clock_time = 0.005s 0.58/0.68 c #decision = 6 0.58/0.68 c #random_decision = 0 0.58/0.68 c #conflict = 0 0.58/0.68 c #restart = 0 0.58/0.68 c BCD2: found a new core of size 7: cost of the new core is >=2 0.58/0.68 c lower bound updated to 2 0.58/0.68 c BCD2: 2 <= obj <= 174 0.58/0.68 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.58/0.68 c BCD2: #sat=1 #unsat=2 bias=2/3 0.58/0.68 c Solving starts ... 0.58/0.68 c ============================[ Search Statistics ]============================ 0.58/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.68 c | | | | Limit GC | Var | Constra 0.58/0.68 c ============================================================================= 0.58/0.68 c 0.0s | 0 | 0 | 0 | 505 0 | 0 | 0 0.68/0.74 c 0.1s | 1 | 139 | 100 | 505 0 | 0 | 0 0.68/0.77 c 0.1s | 2 | 312 | 250 | 505 1 | 0 | 0 0.79/0.82 c 0.1s | 3 | 545 | 475 | 505 1 | 0 | 0 0.89/0.90 c 0.2s | 4 | 909 | 813 | 505 3 | 0 | 0 0.98/1.05 c 0.4s | 5 | 1445 | 1320 | 556 4 | 0 | 0 1.19/1.29 c 0.6s | 6 | 2490 | 2081 | 556 6 | 0 | 0 1.48/1.51 c 0.8s | 7 | 3692 | 3223 | 612 9 | 0 | 0 1.78/1.82 c 1.1s | 8 | 5468 | 4936 | 612 13 | 0 | 0 2.19/2.28 c 1.6s | 9 | 8085 | 7506 | 674 19 | 0 | 0 3.18/3.28 c 2.6s | 10 | 12350 | 11361 | 742 28 | 0 | 0 4.39/4.44 c 3.8s | 11 | 18393 | 17144 | 817 39 | 0 | 0 6.38/6.45 c 5.8s | 11 | 27280 | 25544 | 899 56 | 0 | 0 6.48/6.51 c 5.8s | 12 | 27563 | 25819 | 899 56 | 0 | 0 8.48/8.52 c 7.8s | 12 | 38095 | 36019 | 899 75 | 0 | 0 8.98/9.09 c 8.4s | 13 | 40985 | 38832 | 989 79 | 0 | 0 11.09/11.10 c 10.4s | 13 | 50487 | 47932 | 989 95 | 0 | 0 13.08/13.11 c 12.4s | 13 | 59664 | 56532 | 1088 109 | 0 | 0 13.48/13.56 c 12.9s | 14 | 61692 | 58352 | 1088 112 | 0 | 0 15.49/15.56 c 14.9s | 14 | 70842 | 67252 | 1088 125 | 0 | 0 17.49/17.57 c 16.9s | 14 | 79483 | 75652 | 1088 139 | 0 | 0 19.49/19.58 c 18.9s | 14 | 88612 | 84452 | 1088 153 | 0 | 0 20.18/20.29 c 19.6s | 15 | 91899 | 87632 | 1197 157 | 0 | 0 22.28/22.30 c 21.6s | 15 | 100388 | 95632 | 1197 169 | 0 | 0 24.19/24.30 c 23.6s | 15 | 108748 | 103532 | 1197 180 | 0 | 0 26.28/26.32 c 25.6s | 15 | 117445 | 111632 | 1197 192 | 0 | 0 28.28/28.34 c 27.7s | 15 | 125637 | 119332 | 1197 203 | 0 | 0 30.28/30.35 c 29.7s | 15 | 134910 | 127732 | 1197 215 | 0 | 0 31.08/31.17 c 30.5s | 16 | 138738 | 131552 | 1317 220 | 0 | 0 33.09/33.19 c 32.5s | 16 | 149586 | 142252 | 1317 234 | 0 | 0 35.08/35.20 c 34.5s | 16 | 159060 | 151552 | 1317 247 | 0 | 0 37.18/37.22 c 36.5s | 16 | 168302 | 160652 | 1317 259 | 0 | 0 39.18/39.23 c 38.5s | 16 | 177453 | 169652 | 1317 271 | 0 | 0 41.18/41.24 c 40.6s | 16 | 185682 | 177752 | 1317 282 | 0 | 0 43.18/43.26 c 42.6s | 16 | 194039 | 185552 | 1317 292 | 0 | 0 45.19/45.28 c 44.6s | 16 | 204276 | 195552 | 1449 305 | 0 | 0 45.68/45.79 c 45.1s | 17 | 206245 | 197432 | 1449 308 | 0 | 0 47.77/47.80 c 47.1s | 17 | 216347 | 207332 | 1449 320 | 0 | 0 49.77/49.81 c 49.1s | 17 | 226251 | 216832 | 1449 332 | 0 | 0 51.78/51.82 c 51.1s | 17 | 235259 | 225632 | 1449 343 | 0 | 0 53.77/53.84 c 53.2s | 17 | 243766 | 233932 | 1449 354 | 0 | 0 55.77/55.85 c 55.2s | 17 | 253776 | 243732 | 1449 366 | 0 | 0 57.77/57.85 c 57.2s | 17 | 262641 | 252432 | 1449 377 | 0 | 0 59.77/59.87 c 59.2s | 17 | 271789 | 261332 | 1449 389 | 0 | 0 61.77/61.87 c 61.2s | 17 | 281128 | 270532 | 1449 400 | 0 | 0 63.77/63.88 c 63.2s | 17 | 290025 | 279232 | 1449 412 | 0 | 0 65.77/65.88 c 65.2s | 17 | 299313 | 288332 | 1449 424 | 0 | 0 67.47/67.58 c 66.9s | 18 | 307452 | 296252 | 1594 433 | 0 | 0 69.47/69.59 c 68.9s | 18 | 317274 | 305652 | 1594 444 | 0 | 0 71.47/71.59 c 70.9s | 18 | 327076 | 315152 | 1594 455 | 0 | 0 73.57/73.60 c 72.9s | 18 | 336737 | 324552 | 1594 466 | 0 | 0 75.57/75.62 c 74.9s | 18 | 346431 | 333552 | 1594 477 | 0 | 0 77.57/77.62 c 76.9s | 18 | 356230 | 342952 | 1594 488 | 0 | 0 79.56/79.63 c 79.0s | 18 | 366233 | 352552 | 1594 499 | 0 | 0 81.56/81.63 c 81.0s | 18 | 375713 | 361652 | 1594 509 | 0 | 0 83.57/83.64 c 83.0s | 18 | 385087 | 370552 | 1594 520 | 0 | 0 85.56/85.66 c 85.0s | 18 | 394628 | 379752 | 1594 530 | 0 | 0 87.56/87.67 c 87.0s | 18 | 404281 | 389052 | 1594 541 | 0 | 0 89.56/89.69 c 89.0s | 18 | 413747 | 397952 | 1594 552 | 0 | 0 91.66/91.71 c 91.0s | 18 | 423678 | 407352 | 1594 563 | 0 | 0 93.66/93.73 c 93.1s | 18 | 433421 | 416552 | 1594 574 | 0 | 0 95.66/95.73 c 95.1s | 18 | 442416 | 425152 | 1594 584 | 0 | 0 97.66/97.75 c 97.1s | 18 | 451366 | 433752 | 1594 594 | 0 | 0 99.66/99.76 c 99.1s | 18 | 461734 | 443652 | 1754 605 | 0 | 0 99.86/99.95 c 99.3s | 19 | 462626 | 444482 | 1754 606 | 0 | 0 101.86/101.96 c 101s | 19 | 471432 | 453082 | 1754 615 | 0 | 0 103.86/103.98 c 103s | 19 | 480650 | 462082 | 1754 624 | 0 | 0 105.96/106.00 c 105s | 19 | 490286 | 471482 | 1754 634 | 0 | 0 107.96/108.02 c 107s | 19 | 499748 | 480782 | 1754 644 | 0 | 0 109.97/110.03 c 109s | 19 | 509205 | 490082 | 1754 654 | 0 | 0 111.96/112.03 c 111s | 19 | 518310 | 498882 | 1754 663 | 0 | 0 113.96/114.03 c 113s | 19 | 526246 | 506682 | 1754 672 | 0 | 0 115.96/116.04 c 115s | 19 | 534456 | 514782 | 1754 680 | 0 | 0 117.96/118.05 c 117s | 19 | 543109 | 522982 | 1754 689 | 0 | 0 119.97/120.06 c 119s | 19 | 551055 | 530782 | 1754 697 | 0 | 0 121.96/122.07 c 121s | 19 | 559211 | 538782 | 1754 706 | 0 | 0 123.96/124.09 c 123s | 19 | 567172 | 546582 | 1754 714 | 0 | 0 126.06/126.10 c 125s | 19 | 575023 | 554282 | 1754 723 | 0 | 0 128.06/128.11 c 127s | 19 | 583386 | 562482 | 1754 731 | 0 | 0 130.05/130.13 c 129s | 19 | 591680 | 570682 | 1754 740 | 0 | 0 132.06/132.13 c 131s | 19 | 600185 | 578982 | 1754 749 | 0 | 0 134.05/134.14 c 133s | 19 | 608774 | 587482 | 1754 758 | 0 | 0 136.05/136.16 c 135s | 19 | 617734 | 596282 | 1754 767 | 0 | 0 138.05/138.17 c 137s | 19 | 626668 | 604882 | 1754 776 | 0 | 0 140.05/140.17 c 139s | 19 | 634815 | 612882 | 1754 785 | 0 | 0 142.05/142.18 c 141s | 19 | 643225 | 621082 | 1754 794 | 0 | 0 144.05/144.19 c 143s | 19 | 651990 | 629682 | 1754 803 | 0 | 0 146.15/146.21 c 145s | 19 | 660893 | 638482 | 1754 812 | 0 | 0 148.15/148.23 c 147s | 19 | 669866 | 647182 | 1754 821 | 0 | 0 150.15/150.23 c 149s | 19 | 679003 | 655982 | 1754 831 | 0 | 0 152.15/152.23 c 151s | 19 | 686853 | 663682 | 1930 838 | 0 | 0 153.15/153.21 c 152s | 20 | 690082 | 666827 | 1930 841 | 0 | 0 155.15/155.22 c 154s | 20 | 699565 | 675827 | 1930 850 | 0 | 0 157.15/157.23 c 156s | 20 | 708842 | 684627 | 1930 859 | 0 | 0 159.14/159.25 c 158s | 20 | 718358 | 693727 | 1930 868 | 0 | 0 161.14/161.25 c 160s | 20 | 728196 | 703127 | 1930 877 | 0 | 0 163.14/163.26 c 162s | 20 | 738318 | 712727 | 1930 886 | 0 | 0 165.14/165.27 c 164s | 20 | 747141 | 720827 | 1930 894 | 0 | 0 167.14/167.29 c 166s | 20 | 757171 | 730127 | 1930 903 | 0 | 0 169.24/169.31 c 168s | 20 | 766815 | 739327 | 1930 912 | 0 | 0 171.24/171.32 c 170s | 20 | 776593 | 748527 | 1930 922 | 0 | 0 173.24/173.33 c 172s | 20 | 786757 | 758227 | 1930 931 | 0 | 0 175.24/175.34 c 174s | 20 | 796291 | 767327 | 1930 940 | 0 | 0 177.23/177.35 c 176s | 20 | 806599 | 777227 | 1930 950 | 0 | 0 179.24/179.36 c 178s | 20 | 816126 | 786427 | 1930 959 | 0 | 0 181.23/181.36 c 180s | 20 | 825566 | 795227 | 1930 967 | 0 | 0 183.23/183.38 c 182s | 20 | 835326 | 804027 | 1930 976 | 0 | 0 185.23/185.39 c 184s | 20 | 845147 | 813327 | 1930 985 | 0 | 0 187.33/187.41 c 186s | 20 | 854744 | 822227 | 1930 994 | 0 | 0 189.34/189.43 c 188s | 20 | 863862 | 830927 | 1930 1002 | 0 | 0 191.34/191.45 c 190s | 20 | 873319 | 839627 | 1930 1011 | 0 | 0 193.34/193.46 c 192s | 20 | 882188 | 847927 | 1930 1019 | 0 | 0 195.34/195.46 c 194s | 20 | 892065 | 857327 | 1930 1028 | 0 | 0 197.34/197.47 c 196s | 20 | 902125 | 867027 | 1930 1038 | 0 | 0 199.34/199.48 c 198s | 20 | 911516 | 876027 | 1930 1047 | 0 | 0 201.34/201.49 c 200s | 20 | 921185 | 885127 | 1930 1056 | 0 | 0 203.44/203.51 c 202s | 20 | 930477 | 893927 | 1930 1064 | 0 | 0 205.43/205.54 c 204s | 20 | 939651 | 902727 | 1930 1073 | 0 | 0 207.43/207.55 c 206s | 20 | 948973 | 911727 | 1930 1082 | 0 | 0 209.43/209.55 c 208s | 20 | 958027 | 920527 | 1930 1090 | 0 | 0 211.43/211.55 c 210s | 20 | 967042 | 929127 | 1930 1099 | 0 | 0 213.44/213.56 c 212s | 20 | 975490 | 937427 | 1930 1107 | 0 | 0 215.43/215.57 c 214s | 20 | 983474 | 945027 | 1930 1115 | 0 | 0 217.43/217.59 c 216s | 20 | 991592 | 952927 | 1930 1122 | 0 | 0 219.53/219.61 c 218s | 20 | 1000811 | 961727 | 1930 1131 | 0 | 0 221.53/221.61 c 220s | 20 | 1010360 | 970927 | 1930 1140 | 0 | 0 223.53/223.62 c 222s | 20 | 1019778 | 980027 | 1930 1149 | 0 | 0 225.53/225.63 c 224s | 20 | 1028692 | 988627 | 1930 1157 | 0 | 0 227.53/227.65 c 226s | 20 | 1037394 | 996727 | 2123 1165 | 0 | 0 228.43/228.52 c 227s | 21 | 1041168 | 1000345 | 2123 1168 | 0 | 0 230.42/230.54 c 229s | 21 | 1049738 | 1008645 | 2123 1175 | 0 | 0 232.42/232.54 c 231s | 21 | 1057790 | 1016545 | 2123 1182 | 0 | 0 234.42/234.55 c 233s | 21 | 1066685 | 1025045 | 2123 1190 | 0 | 0 236.43/236.57 c 235s | 21 | 1075268 | 1033145 | 2123 1197 | 0 | 0 238.42/238.57 c 237s | 21 | 1083239 | 1040945 | 2123 1204 | 0 | 0 240.42/240.58 c 239s | 21 | 1091073 | 1048645 | 2123 1210 | 0 | 0 242.42/242.58 c 241s | 21 | 1098505 | 1055945 | 2123 1217 | 0 | 0 244.52/244.61 c 243s | 21 | 1106447 | 1063745 | 2123 1223 | 0 | 0 246.52/246.61 c 245s | 21 | 1113993 | 1071145 | 2123 1230 | 0 | 0 248.53/248.63 c 247s | 21 | 1122038 | 1078945 | 2123 1237 | 0 | 0 250.53/250.63 c 249s | 21 | 1129810 | 1086545 | 2123 1243 | 0 | 0 252.53/252.65 c 251s | 21 | 1138285 | 1094845 | 2123 1251 | 0 | 0 254.53/254.65 c 253s | 21 | 1146717 | 1102945 | 2123 1258 | 0 | 0 256.53/256.67 c 255s | 21 | 1155047 | 1110945 | 2123 1265 | 0 | 0 258.53/258.67 c 257s | 21 | 1163350 | 1119045 | 2123 1272 | 0 | 0 260.53/260.68 c 260s | 21 | 1171919 | 1127345 | 2123 1280 | 0 | 0 262.53/262.69 c 262s | 21 | 1181262 | 1136445 | 2123 1287 | 0 | 0 264.62/264.70 c 264s | 21 | 1189409 | 1144345 | 2123 1294 | 0 | 0 266.62/266.71 c 266s | 21 | 1197925 | 1152645 | 2123 1302 | 0 | 0 268.62/268.73 c 268s | 21 | 1206387 | 1160945 | 2123 1309 | 0 | 0 270.63/270.75 c 270s | 21 | 1214716 | 1168945 | 2123 1316 | 0 | 0 272.62/272.77 c 272s | 21 | 1223583 | 1177545 | 2123 1323 | 0 | 0 274.62/274.79 c 274s | 21 | 1231504 | 1185345 | 2123 1330 | 0 | 0 276.72/276.80 c 276s | 21 | 1239895 | 1193345 | 2123 1337 | 0 | 0 278.72/278.81 c 278s | 21 | 1247810 | 1201045 | 2123 1344 | 0 | 0 280.72/280.82 c 280s | 21 | 1257499 | 1210245 | 2123 1352 | 0 | 0 282.73/282.83 c 282s | 21 | 1265608 | 1218145 | 2123 1359 | 0 | 0 284.72/284.84 c 284s | 21 | 1273902 | 1226245 | 2123 1366 | 0 | 0 286.72/286.86 c 286s | 21 | 1282028 | 1234145 | 2123 1373 | 0 | 0 288.72/288.87 c 288s | 21 | 1290506 | 1242445 | 2123 1380 | 0 | 0 290.72/290.88 c 290s | 21 | 1298644 | 1250345 | 2123 1387 | 0 | 0 292.82/292.90 c 292s | 21 | 1306715 | 1258045 | 2123 1394 | 0 | 0 294.82/294.92 c 294s | 21 | 1315254 | 1266245 | 2123 1401 | 0 | 0 296.81/296.93 c 296s | 21 | 1323105 | 1273945 | 2123 1408 | 0 | 0 298.81/298.94 c 298s | 21 | 1330575 | 1281145 | 2123 1414 | 0 | 0 300.81/300.95 c 300s | 21 | 1338297 | 1288645 | 2123 1421 | 0 | 0 302.81/302.96 c 302s | 21 | 1346582 | 1296745 | 2123 1428 | 0 | 0 304.81/304.97 c 304s | 21 | 1354640 | 1304645 | 2123 1435 | 0 | 0 306.82/306.99 c 306s | 21 | 1363507 | 1313245 | 2123 1442 | 0 | 0 308.91/309.01 c 308s | 21 | 1371717 | 1321245 | 2123 1449 | 0 | 0 310.91/311.01 c 310s | 21 | 1380592 | 1329745 | 2123 1457 | 0 | 0 312.91/313.03 c 312s | 21 | 1388616 | 1337145 | 2123 1463 | 0 | 0 314.91/315.04 c 314s | 21 | 1397678 | 1345645 | 2123 1471 | 0 | 0 316.91/317.05 c 316s | 21 | 1406511 | 1354045 | 2123 1478 | 0 | 0 318.91/319.06 c 318s | 21 | 1415473 | 1362645 | 2123 1486 | 0 | 0 320.91/321.06 c 320s | 21 | 1424512 | 1371245 | 2123 1493 | 0 | 0 322.92/323.09 c 322s | 21 | 1433399 | 1379645 | 2123 1501 | 0 | 0 324.92/325.09 c 324s | 21 | 1441219 | 1387145 | 2123 1507 | 0 | 0 326.92/327.09 c 326s | 21 | 1449781 | 1395445 | 2123 1515 | 0 | 0 329.01/329.11 c 328s | 21 | 1459097 | 1404345 | 2123 1523 | 0 | 0 331.02/331.12 c 330s | 21 | 1468113 | 1412645 | 2123 1530 | 0 | 0 333.01/333.12 c 332s | 21 | 1476843 | 1420445 | 2123 1537 | 0 | 0 335.01/335.14 c 334s | 21 | 1485283 | 1428645 | 2123 1544 | 0 | 0 337.01/337.15 c 336s | 21 | 1492746 | 1435945 | 2123 1550 | 0 | 0 339.01/339.16 c 338s | 21 | 1500420 | 1443445 | 2123 1557 | 0 | 0 341.02/341.17 c 340s | 21 | 1509114 | 1451845 | 2123 1564 | 0 | 0 343.01/343.18 c 342s | 21 | 1516429 | 1458945 | 2123 1571 | 0 | 0 345.11/345.20 c 344s | 21 | 1523745 | 1466045 | 2123 1577 | 0 | 0 347.11/347.21 c 346s | 21 | 1531406 | 1473545 | 2123 1584 | 0 | 0 349.11/349.22 c 348s | 21 | 1540042 | 1481845 | 2123 1591 | 0 | 0 351.11/351.24 c 350s | 21 | 1548082 | 1489645 | 2336 1597 | 0 | 0 353.11/353.26 c 352s | 21 | 1556058 | 1497445 | 2336 1604 | 0 | 0 353.91/354.07 c 353s | 22 | 1559344 | 1500622 | 2336 1606 | 0 | 0 355.90/356.07 c 355s | 22 | 1567623 | 1508722 | 2336 1613 | 0 | 0 357.90/358.09 c 357s | 22 | 1575617 | 1516522 | 2336 1619 | 0 | 0 360.00/360.12 c 359s | 22 | 1583226 | 1523822 | 2336 1625 | 0 | 0 362.00/362.12 c 361s | 22 | 1590680 | 1531122 | 2336 1630 | 0 | 0 364.01/364.14 c 363s | 22 | 1598627 | 1538822 | 2336 1636 | 0 | 0 366.01/366.17 c 365s | 22 | 1607087 | 1547122 | 2336 1643 | 0 | 0 368.01/368.18 c 367s | 22 | 1615322 | 1555222 | 2336 1649 | 0 | 0 370.11/370.21 c 369s | 22 | 1623627 | 1563422 | 2336 1656 | 0 | 0 372.11/372.23 c 371s | 22 | 1631218 | 1570922 | 2336 1662 | 0 | 0 374.11/374.23 c 373s | 22 | 1638612 | 1578122 | 2336 1668 | 0 | 0 376.11/376.24 c 375s | 22 | 1646202 | 1585322 | 2336 1673 | 0 | 0 378.11/378.25 c 377s | 22 | 1653780 | 1592722 | 2336 1679 | 0 | 0 380.10/380.28 c 379s | 22 | 1661881 | 1600522 | 2336 1686 | 0 | 0 382.20/382.30 c 381s | 22 | 1669200 | 1607522 | 2336 1691 | 0 | 0 384.20/384.30 c 383s | 22 | 1677368 | 1615222 | 2336 1697 | 0 | 0 386.20/386.31 c 385s | 22 | 1685652 | 1622922 | 2336 1703 | 0 | 0 388.21/388.32 c 387s | 22 | 1694119 | 1630922 | 2336 1710 | 0 | 0 390.20/390.33 c 389s | 22 | 1702196 | 1638422 | 2336 1716 | 0 | 0 392.20/392.35 c 391s | 22 | 1710163 | 1645922 | 2336 1722 | 0 | 0 394.20/394.35 c 393s | 22 | 1717671 | 1652922 | 2336 1727 | 0 | 0 396.20/396.36 c 395s | 22 | 1725806 | 1660422 | 2336 1733 | 0 | 0 398.21/398.38 c 397s | 22 | 1733874 | 1668022 | 2336 1739 | 0 | 0 400.30/400.40 c 399s | 22 | 1741980 | 1675522 | 2336 1745 | 0 | 0 402.30/402.42 c 401s | 22 | 1749474 | 1682722 | 2336 1751 | 0 | 0 404.30/404.42 c 403s | 22 | 1756734 | 1689422 | 2336 1756 | 0 | 0 406.30/406.45 c 405s | 22 | 1764183 | 1696322 | 2336 1762 | 0 | 0 408.29/408.47 c 407s | 22 | 1771737 | 1703522 | 2336 1768 | 0 | 0 410.30/410.49 c 409s | 22 | 1779258 | 1710522 | 2336 1773 | 0 | 0 412.29/412.49 c 411s | 22 | 1786798 | 1717622 | 2336 1779 | 0 | 0 414.39/414.50 c 413s | 22 | 1794704 | 1725122 | 2336 1785 | 0 | 0 416.39/416.51 c 415s | 22 | 1802303 | 1732022 | 2336 1791 | 0 | 0 418.39/418.52 c 417s | 22 | 1809880 | 1739122 | 2336 1796 | 0 | 0 420.40/420.54 c 419s | 22 | 1817725 | 1746522 | 2336 1802 | 0 | 0 422.41/422.56 c 421s | 22 | 1824894 | 1753422 | 2336 1808 | 0 | 0 424.40/424.57 c 423s | 22 | 1832525 | 1760722 | 2336 1813 | 0 | 0 426.40/426.59 c 425s | 22 | 1840635 | 1768522 | 2336 1820 | 0 | 0 428.50/428.60 c 427s | 22 | 1848439 | 1775922 | 2336 1826 | 0 | 0 430.50/430.61 c 429s | 22 | 1856193 | 1783422 | 2336 1832 | 0 | 0 432.50/432.63 c 431s | 22 | 1864547 | 1791422 | 2336 1838 | 0 | 0 434.50/434.63 c 433s | 22 | 1872819 | 1799222 | 2336 1844 | 0 | 0 436.50/436.64 c 435s | 22 | 1881141 | 1807122 | 2336 1850 | 0 | 0 438.50/438.66 c 437s | 22 | 1889639 | 1815222 | 2336 1857 | 0 | 0 440.49/440.68 c 439s | 22 | 1898234 | 1823322 | 2336 1863 | 0 | 0 442.49/442.68 c 442s | 22 | 1906651 | 1831222 | 2336 1870 | 0 | 0 444.49/444.69 c 444s | 22 | 1915094 | 1839122 | 2336 1876 | 0 | 0 446.60/446.71 c 446s | 22 | 1923305 | 1846822 | 2336 1882 | 0 | 0 448.59/448.73 c 448s | 22 | 1930991 | 1854222 | 2336 1888 | 0 | 0 450.59/450.73 c 450s | 22 | 1938198 | 1861122 | 2336 1894 | 0 | 0 452.59/452.74 c 452s | 22 | 1946391 | 1869222 | 2336 1900 | 0 | 0 454.59/454.75 c 454s | 22 | 1955470 | 1878122 | 2336 1907 | 0 | 0 456.59/456.75 c 456s | 22 | 1964234 | 1886722 | 2336 1914 | 0 | 0 458.59/458.76 c 458s | 22 | 1972549 | 1894922 | 2336 1921 | 0 | 0 460.59/460.76 c 460s | 22 | 1980901 | 1903122 | 2336 1927 | 0 | 0 462.59/462.78 c 462s | 22 | 1989130 | 1911022 | 2336 1934 | 0 | 0 464.68/464.80 c 464s | 22 | 1996919 | 1918622 | 2336 1940 | 0 | 0 466.68/466.80 c 466s | 22 | 2005374 | 1926722 | 2336 1946 | 0 | 0 468.68/468.82 c 468s | 22 | 2013560 | 1934422 | 2336 1952 | 0 | 0 470.69/470.83 c 470s | 22 | 2021558 | 1942122 | 2336 1958 | 0 | 0 472.69/472.84 c 472s | 22 | 2029515 | 1949822 | 2336 1964 | 0 | 0 474.69/474.85 c 474s | 22 | 2037302 | 1957222 | 2336 1970 | 0 | 0 476.69/476.87 c 476s | 22 | 2044208 | 1963722 | 2336 1976 | 0 | 0 478.69/478.89 c 478s | 22 | 2051328 | 1970422 | 2336 1981 | 0 | 0 480.79/480.90 c 480s | 22 | 2058949 | 1977822 | 2336 1987 | 0 | 0 482.79/482.93 c 482s | 22 | 2066647 | 1985022 | 2336 1993 | 0 | 0 484.79/484.94 c 484s | 22 | 2074487 | 1992522 | 2336 1999 | 0 | 0 486.78/486.95 c 486s | 22 | 2082160 | 1999822 | 2336 2004 | 0 | 0 488.78/488.95 c 488s | 22 | 2089733 | 2007122 | 2336 2010 | 0 | 0 490.78/490.99 c 490s | 22 | 2097997 | 2015122 | 2336 2017 | 0 | 0 492.79/493.00 c 492s | 22 | 2105555 | 2022422 | 2336 2022 | 0 | 0 494.89/495.01 c 494s | 22 | 2112902 | 2029422 | 2336 2028 | 0 | 0 496.88/497.02 c 496s | 22 | 2120041 | 2036322 | 2336 2033 | 0 | 0 498.88/499.03 c 498s | 22 | 2127883 | 2044022 | 2336 2039 | 0 | 0 500.89/501.05 c 500s | 22 | 2134672 | 2050622 | 2336 2045 | 0 | 0 502.89/503.06 c 502s | 22 | 2142042 | 2057722 | 2336 2050 | 0 | 0 504.89/505.07 c 504s | 22 | 2149519 | 2065022 | 2336 2056 | 0 | 0 506.88/507.09 c 506s | 22 | 2157701 | 2072922 | 2336 2062 | 0 | 0 508.98/509.10 c 508s | 22 | 2165186 | 2080222 | 2336 2068 | 0 | 0 510.98/511.11 c 510s | 22 | 2173037 | 2087922 | 2336 2074 | 0 | 0 512.98/513.12 c 512s | 22 | 2180752 | 2095422 | 2336 2080 | 0 | 0 514.98/515.13 c 514s | 22 | 2188425 | 2102922 | 2336 2086 | 0 | 0 516.99/517.14 c 516s | 22 | 2196518 | 2110822 | 2336 2093 | 0 | 0 518.98/519.15 c 518s | 22 | 2204138 | 2118322 | 2336 2099 | 0 | 0 520.98/521.15 c 520s | 22 | 2211595 | 2125622 | 2336 2104 | 0 | 0 522.98/523.16 c 522s | 22 | 2218290 | 2131922 | 2336 2109 | 0 | 0 524.98/525.16 c 524s | 22 | 2225228 | 2138522 | 2336 2115 | 0 | 0 526.98/527.18 c 526s | 22 | 2232283 | 2145422 | 2336 2120 | 0 | 0 528.98/529.19 c 528s | 22 | 2240082 | 2153022 | 2336 2126 | 0 | 0 531.08/531.20 c 530s | 22 | 2247747 | 2160422 | 2336 2132 | 0 | 0 533.08/533.21 c 532s | 22 | 2255767 | 2168122 | 2336 2138 | 0 | 0 535.08/535.22 c 534s | 22 | 2264131 | 2176122 | 2336 2145 | 0 | 0 537.08/537.23 c 536s | 22 | 2270870 | 2182622 | 2336 2150 | 0 | 0 539.08/539.24 c 538s | 22 | 2278417 | 2189822 | 2336 2156 | 0 | 0 541.08/541.25 c 540s | 22 | 2286541 | 2197622 | 2336 2162 | 0 | 0 543.07/543.25 c 542s | 22 | 2293781 | 2204422 | 2336 2167 | 0 | 0 545.07/545.28 c 544s | 22 | 2301226 | 2211522 | 2336 2173 | 0 | 0 547.07/547.29 c 546s | 22 | 2308518 | 2218222 | 2336 2178 | 0 | 0 549.17/549.31 c 548s | 22 | 2315577 | 2224822 | 2336 2184 | 0 | 0 551.17/551.32 c 550s | 22 | 2322973 | 2231822 | 2336 2189 | 0 | 0 553.18/553.32 c 552s | 22 | 2329683 | 2238222 | 2570 2194 | 0 | 0 555.17/555.33 c 554s | 22 | 2336683 | 2245022 | 2570 2199 | 0 | 0 556.87/557.01 c 556s | 23 | 2342849 | 2251038 | 2570 2203 | 0 | 0 558.87/559.02 c 558s | 23 | 2351544 | 2259238 | 2570 2209 | 0 | 0 560.88/561.04 c 560s | 23 | 2360221 | 2267638 | 2570 2216 | 0 | 0 562.88/563.04 c 562s | 23 | 2368712 | 2275738 | 2570 2222 | 0 | 0 564.88/565.05 c 564s | 23 | 2377458 | 2284138 | 2570 2228 | 0 | 0 566.87/567.07 c 566s | 23 | 2386053 | 2292138 | 2570 2234 | 0 | 0 568.87/569.09 c 568s | 23 | 2395249 | 2300838 | 2570 2240 | 0 | 0 570.97/571.11 c 570s | 23 | 2404331 | 2309538 | 2570 2247 | 0 | 0 572.98/573.12 c 572s | 23 | 2413362 | 2318138 | 2570 2253 | 0 | 0 574.97/575.14 c 574s | 23 | 2422444 | 2326438 | 2570 2259 | 0 | 0 576.97/577.15 c 576s | 23 | 2431301 | 2334838 | 2570 2266 | 0 | 0 578.97/579.15 c 578s | 23 | 2440451 | 2343138 | 2570 2272 | 0 | 0 580.97/581.16 c 580s | 23 | 2449149 | 2351238 | 2570 2278 | 0 | 0 582.98/583.17 c 582s | 23 | 2458559 | 2360038 | 2570 2284 | 0 | 0 584.97/585.17 c 584s | 23 | 2467161 | 2368338 | 2570 2291 | 0 | 0 586.97/587.18 c 586s | 23 | 2476290 | 2376838 | 2570 2297 | 0 | 0 589.07/589.20 c 588s | 23 | 2484776 | 2384838 | 2570 2303 | 0 | 0 591.07/591.21 c 590s | 23 | 2493210 | 2392938 | 2570 2309 | 0 | 0 593.07/593.23 c 592s | 23 | 2501542 | 2400938 | 2570 2315 | 0 | 0 595.07/595.25 c 594s | 23 | 2510302 | 2409338 | 2570 2321 | 0 | 0 597.06/597.27 c 596s | 23 | 2519043 | 2417338 | 2570 2327 | 0 | 0 599.06/599.27 c 598s | 23 | 2527502 | 2425438 | 2570 2333 | 0 | 0 601.06/601.29 c 600s | 23 | 2536794 | 2434238 | 2570 2339 | 0 | 0 603.06/603.29 c 602s | 23 | 2545701 | 2442638 | 2570 2346 | 0 | 0 605.16/605.30 c 604s | 23 | 2554903 | 2451538 | 2570 2352 | 0 | 0 607.17/607.32 c 606s | 23 | 2562948 | 2459438 | 2570 2358 | 0 | 0 609.17/609.33 c 608s | 23 | 2571223 | 2467538 | 2570 2364 | 0 | 0 611.17/611.33 c 610s | 23 | 2579370 | 2475538 | 2570 2370 | 0 | 0 613.17/613.34 c 612s | 23 | 2587446 | 2483438 | 2570 2376 | 0 | 0 615.17/615.35 c 614s | 23 | 2595277 | 2491038 | 2570 2382 | 0 | 0 617.16/617.37 c 616s | 23 | 2602664 | 2498038 | 2570 2387 | 0 | 0 619.17/619.39 c 618s | 23 | 2610643 | 2505638 | 2570 2392 | 0 | 0 621.26/621.42 c 620s | 23 | 2618437 | 2512938 | 2570 2397 | 0 | 0 623.26/623.44 c 622s | 23 | 2625697 | 2519738 | 2570 2402 | 0 | 0 625.26/625.46 c 624s | 23 | 2633328 | 2526938 | 2570 2408 | 0 | 0 627.25/627.47 c 626s | 23 | 2640134 | 2533238 | 2570 2412 | 0 | 0 629.25/629.49 c 628s | 23 | 2646924 | 2539838 | 2570 2417 | 0 | 0 631.26/631.50 c 630s | 23 | 2654306 | 2546738 | 2570 2422 | 0 | 0 633.35/633.52 c 632s | 23 | 2663665 | 2555738 | 2570 2429 | 0 | 0 635.35/635.54 c 634s | 23 | 2672088 | 2563738 | 2570 2435 | 0 | 0 637.35/637.56 c 636s | 23 | 2680817 | 2571938 | 2570 2440 | 0 | 0 639.35/639.58 c 638s | 23 | 2690030 | 2580638 | 2570 2447 | 0 | 0 641.35/641.58 c 640s | 23 | 2699154 | 2589438 | 2570 2453 | 0 | 0 643.36/643.60 c 642s | 23 | 2707938 | 2597738 | 2570 2459 | 0 | 0 645.45/645.61 c 644s | 23 | 2716755 | 2606138 | 2570 2466 | 0 | 0 647.44/647.62 c 646s | 23 | 2726053 | 2615038 | 2570 2472 | 0 | 0 649.44/649.63 c 648s | 23 | 2734192 | 2622838 | 2570 2478 | 0 | 0 651.44/651.66 c 650s | 23 | 2741597 | 2629838 | 2570 2483 | 0 | 0 653.44/653.68 c 653s | 23 | 2749423 | 2637338 | 2570 2488 | 0 | 0 655.45/655.69 c 655s | 23 | 2756989 | 2644438 | 2570 2493 | 0 | 0 657.43/657.69 c 657s | 23 | 2764465 | 2651538 | 2570 2499 | 0 | 0 659.43/659.69 c 659s | 23 | 2771540 | 2658338 | 2570 2504 | 0 | 0 661.53/661.71 c 661s | 23 | 2778898 | 2665338 | 2570 2509 | 0 | 0 663.54/663.74 c 663s | 23 | 2786147 | 2672238 | 2570 2514 | 0 | 0 665.54/665.76 c 665s | 23 | 2793456 | 2679138 | 2570 2519 | 0 | 0 667.54/667.79 c 667s | 23 | 2801115 | 2686538 | 2570 2524 | 0 | 0 669.63/669.81 c 669s | 23 | 2808721 | 2693738 | 2570 2529 | 0 | 0 671.63/671.83 c 671s | 23 | 2816170 | 2700638 | 2570 2534 | 0 | 0 673.63/673.85 c 673s | 23 | 2824392 | 2708638 | 2570 2540 | 0 | 0 675.63/675.86 c 675s | 23 | 2832232 | 2716038 | 2570 2546 | 0 | 0 677.62/677.88 c 677s | 23 | 2840610 | 2724038 | 2570 2551 | 0 | 0 679.63/679.90 c 679s | 23 | 2848560 | 2731538 | 2570 2557 | 0 | 0 681.72/681.90 c 681s | 23 | 2856683 | 2739338 | 2570 2563 | 0 | 0 683.72/683.93 c 683s | 23 | 2864329 | 2746538 | 2570 2568 | 0 | 0 685.73/685.94 c 685s | 23 | 2872045 | 2753938 | 2570 2573 | 0 | 0 687.72/687.96 c 687s | 23 | 2878875 | 2760438 | 2570 2578 | 0 | 0 689.72/690.00 c 689s | 23 | 2886863 | 2768138 | 2570 2584 | 0 | 0 691.73/692.00 c 691s | 23 | 2894908 | 2775738 | 2570 2589 | 0 | 0 693.82/694.04 c 693s | 23 | 2903432 | 2783838 | 2570 2595 | 0 | 0 695.82/696.04 c 695s | 23 | 2912007 | 2791938 | 2570 2601 | 0 | 0 697.82/698.05 c 697s | 23 | 2920584 | 2800238 | 2570 2607 | 0 | 0 699.82/700.06 c 699s | 23 | 2928566 | 2807738 | 2570 2613 | 0 | 0 701.82/702.07 c 701s | 23 | 2935739 | 2814538 | 2570 2618 | 0 | 0 703.82/704.08 c 703s | 23 | 2943521 | 2821638 | 2570 2623 | 0 | 0 705.91/706.10 c 705s | 23 | 2951709 | 2829438 | 2570 2629 | 0 | 0 707.91/708.11 c 707s | 23 | 2959815 | 2837338 | 2570 2634 | 0 | 0 709.91/710.12 c 709s | 23 | 2967856 | 2844938 | 2570 2640 | 0 | 0 711.90/712.14 c 711s | 23 | 2976168 | 2852838 | 2570 2646 | 0 | 0 713.90/714.15 c 713s | 23 | 2984499 | 2860738 | 2570 2652 | 0 | 0 715.91/716.17 c 715s | 23 | 2992963 | 2868738 | 2570 2657 | 0 | 0 717.90/718.19 c 717s | 23 | 3001231 | 2876438 | 2570 2663 | 0 | 0 720.00/720.20 c 719s | 23 | 3009002 | 2883838 | 2570 2668 | 0 | 0 722.00/722.20 c 721s | 23 | 3016803 | 2891038 | 2570 2674 | 0 | 0 724.01/724.23 c 723s | 23 | 3024639 | 2898538 | 2570 2679 | 0 | 0 726.00/726.23 c 725s | 23 | 3031980 | 2905538 | 2570 2684 | 0 | 0 728.01/728.24 c 727s | 23 | 3040280 | 2913338 | 2570 2690 | 0 | 0 730.00/730.28 c 729s | 23 | 3048465 | 2920838 | 2570 2696 | 0 | 0 732.10/732.30 c 731s | 23 | 3056203 | 2928038 | 2570 2701 | 0 | 0 734.10/734.32 c 733s | 23 | 3064455 | 2935838 | 2570 2707 | 0 | 0 736.10/736.34 c 735s | 23 | 3072786 | 2943738 | 2570 2712 | 0 | 0 738.09/738.36 c 737s | 23 | 3081132 | 2951838 | 2570 2718 | 0 | 0 740.10/740.38 c 739s | 23 | 3089451 | 2959738 | 2570 2724 | 0 | 0 742.09/742.38 c 741s | 23 | 3097542 | 2967438 | 2570 2730 | 0 | 0 744.19/744.40 c 743s | 23 | 3105614 | 2975138 | 2570 2735 | 0 | 0 746.19/746.41 c 745s | 23 | 3113366 | 2982638 | 2570 2741 | 0 | 0 748.18/748.42 c 747s | 23 | 3120988 | 2990038 | 2570 2746 | 0 | 0 750.18/750.42 c 749s | 23 | 3128002 | 2996738 | 2570 2751 | 0 | 0 752.19/752.43 c 751s | 23 | 3136311 | 3004438 | 2570 2757 | 0 | 0 754.18/754.45 c 753s | 23 | 3144378 | 3012038 | 2570 2762 | 0 | 0 756.18/756.46 c 755s | 23 | 3152826 | 3020238 | 2570 2768 | 0 | 0 758.18/758.48 c 757s | 23 | 3160368 | 3027538 | 2570 2774 | 0 | 0 760.28/760.50 c 759s | 23 | 3168038 | 3034738 | 2570 2779 | 0 | 0 762.28/762.50 c 761s | 23 | 3175923 | 3042138 | 2570 2784 | 0 | 0 764.28/764.53 c 763s | 23 | 3183546 | 3049438 | 2570 2790 | 0 | 0 766.28/766.53 c 765s | 23 | 3190943 | 3056638 | 2570 2795 | 0 | 0 768.27/768.55 c 767s | 23 | 3198906 | 3064238 | 2570 2800 | 0 | 0 770.27/770.57 c 769s | 23 | 3206742 | 3071738 | 2570 2806 | 0 | 0 772.27/772.59 c 771s | 23 | 3214931 | 3079438 | 2570 2811 | 0 | 0 774.28/774.59 c 773s | 23 | 3222808 | 3086938 | 2570 2817 | 0 | 0 776.38/776.61 c 775s | 23 | 3230716 | 3094338 | 2570 2822 | 0 | 0 778.36/778.63 c 777s | 23 | 3238146 | 3101438 | 2570 2828 | 0 | 0 780.36/780.65 c 779s | 23 | 3246628 | 3109638 | 2570 2834 | 0 | 0 782.36/782.66 c 781s | 23 | 3255136 | 3117738 | 2570 2839 | 0 | 0 784.36/784.67 c 783s | 23 | 3263206 | 3125338 | 2570 2845 | 0 | 0 786.46/786.71 c 786s | 23 | 3271113 | 3132838 | 2570 2851 | 0 | 0 788.46/788.71 c 788s | 23 | 3279371 | 3140738 | 2570 2856 | 0 | 0 790.45/790.72 c 790s | 23 | 3287378 | 3148338 | 2570 2862 | 0 | 0 792.45/792.75 c 792s | 23 | 3295893 | 3156338 | 2570 2868 | 0 | 0 794.46/794.78 c 794s | 23 | 3304031 | 3164038 | 2570 2874 | 0 | 0 796.56/796.80 c 796s | 23 | 3311733 | 3171438 | 2570 2879 | 0 | 0 798.56/798.82 c 798s | 23 | 3319914 | 3179238 | 2570 2885 | 0 | 0 800.56/800.82 c 800s | 23 | 3328190 | 3187038 | 2570 2891 | 0 | 0 802.56/802.83 c 802s | 23 | 3336899 | 3195238 | 2570 2897 | 0 | 0 804.56/804.84 c 804s | 23 | 3345376 | 3203238 | 2570 2903 | 0 | 0 806.56/806.85 c 806s | 23 | 3353610 | 3211038 | 2570 2908 | 0 | 0 808.55/808.86 c 808s | 23 | 3362022 | 3219138 | 2570 2914 | 0 | 0 810.56/810.87 c 810s | 23 | 3370131 | 3226838 | 2570 2920 | 0 | 0 812.55/812.89 c 812s | 23 | 3378302 | 3234538 | 2570 2926 | 0 | 0 814.65/814.92 c 814s | 23 | 3386342 | 3242138 | 2570 2932 | 0 | 0 816.65/816.95 c 816s | 23 | 3394640 | 3250038 | 2570 2937 | 0 | 0 818.64/818.97 c 818s | 23 | 3402451 | 3257538 | 2570 2943 | 0 | 0 820.64/820.97 c 820s | 23 | 3409975 | 3264538 | 2570 2948 | 0 | 0 822.65/822.98 c 822s | 23 | 3417292 | 3271438 | 2570 2953 | 0 | 0 824.64/824.98 c 824s | 23 | 3424033 | 3277838 | 2570 2958 | 0 | 0 826.74/827.00 c 826s | 23 | 3433013 | 3286538 | 2570 2964 | 0 | 0 828.73/829.01 c 828s | 23 | 3441086 | 3294238 | 2570 2970 | 0 | 0 830.73/831.01 c 830s | 23 | 3449095 | 3301838 | 2570 2975 | 0 | 0 832.73/833.02 c 832s | 23 | 3457748 | 3309938 | 2570 2981 | 0 | 0 834.74/835.05 c 834s | 23 | 3466609 | 3318338 | 2570 2987 | 0 | 0 836.74/837.06 c 836s | 23 | 3474852 | 3326138 | 2570 2993 | 0 | 0 838.73/839.09 c 838s | 23 | 3483346 | 3333938 | 2570 2999 | 0 | 0 840.73/841.10 c 840s | 23 | 3491766 | 3341938 | 2570 3005 | 0 | 0 842.83/843.11 c 842s | 23 | 3499356 | 3349038 | 2570 3010 | 0 | 0 844.83/845.12 c 844s | 23 | 3507285 | 3356538 | 2828 3015 | 0 | 0 846.83/847.13 c 846s | 23 | 3515475 | 3364238 | 2828 3021 | 0 | 0 848.83/849.14 c 848s | 23 | 3523481 | 3371638 | 2828 3026 | 0 | 0 850.23/850.59 c 849s | 24 | 3529032 | 3376662 | 2828 3029 | 0 | 0 852.33/852.62 c 851s | 24 | 3537422 | 3384862 | 2828 3034 | 0 | 0 854.32/854.63 c 853s | 24 | 3545274 | 3392562 | 2828 3039 | 0 | 0 856.32/856.65 c 855s | 24 | 3553694 | 3400862 | 2828 3045 | 0 | 0 858.32/858.67 c 857s | 24 | 3561315 | 3408362 | 2828 3050 | 0 | 0 860.32/860.69 c 860s | 24 | 3568834 | 3415762 | 2828 3055 | 0 | 0 862.42/862.71 c 862s | 24 | 3576661 | 3423162 | 2828 3060 | 0 | 0 864.43/864.73 c 864s | 24 | 3582982 | 3429062 | 2828 3064 | 0 | 0 866.42/866.74 c 866s | 24 | 3589595 | 3435462 | 2828 3068 | 0 | 0 868.41/868.75 c 868s | 24 | 3596828 | 3442462 | 2828 3073 | 0 | 0 870.41/870.75 c 870s | 24 | 3604071 | 3449462 | 2828 3077 | 0 | 0 872.41/872.78 c 872s | 24 | 3610530 | 3455762 | 2828 3081 | 0 | 0 874.51/874.80 c 874s | 24 | 3616315 | 3461262 | 2828 3085 | 0 | 0 876.52/876.81 c 876s | 24 | 3621758 | 3466462 | 2828 3088 | 0 | 0 878.50/878.82 c 878s | 24 | 3628401 | 3472662 | 2828 3093 | 0 | 0 880.50/880.83 c 880s | 24 | 3635990 | 3479862 | 2828 3097 | 0 | 0 882.50/882.85 c 882s | 24 | 3643080 | 3486662 | 2828 3102 | 0 | 0 884.51/884.87 c 884s | 24 | 3650208 | 3493462 | 2828 3106 | 0 | 0 886.51/886.88 c 886s | 24 | 3656819 | 3499862 | 2828 3111 | 0 | 0 888.61/888.91 c 888s | 24 | 3663727 | 3506562 | 2828 3115 | 0 | 0 890.60/890.93 c 890s | 24 | 3669887 | 3512362 | 2828 3119 | 0 | 0 892.60/892.95 c 892s | 24 | 3676986 | 3519262 | 2828 3124 | 0 | 0 894.60/894.96 c 894s | 24 | 3684368 | 3526362 | 2828 3128 | 0 | 0 896.60/896.99 c 896s | 24 | 3690399 | 3532062 | 2828 3132 | 0 | 0 898.59/898.99 c 898s | 24 | 3696916 | 3538162 | 2828 3136 | 0 | 0 900.70/901.01 c 900s | 24 | 3703696 | 3544662 | 2828 3141 | 0 | 0 902.69/903.04 c 902s | 24 | 3711265 | 3552062 | 2828 3145 | 0 | 0 904.69/905.05 c 904s | 24 | 3718351 | 3558962 | 2828 3150 | 0 | 0 906.69/907.08 c 906s | 24 | 3724843 | 3565062 | 2828 3154 | 0 | 0 908.68/909.08 c 908s | 24 | 3730842 | 3570762 | 2828 3158 | 0 | 0 910.68/911.09 c 910s | 24 | 3737283 | 3576962 | 2828 3162 | 0 | 0 912.79/913.11 c 912s | 24 | 3744801 | 3584062 | 2828 3167 | 0 | 0 914.78/915.14 c 914s | 24 | 3751895 | 3590962 | 2828 3172 | 0 | 0 916.78/917.16 c 916s | 24 | 3759697 | 3598362 | 2828 3176 | 0 | 0 918.78/919.18 c 918s | 24 | 3766667 | 3605062 | 2828 3181 | 0 | 0 920.78/921.19 c 920s | 24 | 3773409 | 3611662 | 2828 3185 | 0 | 0 922.78/923.20 c 922s | 24 | 3780783 | 3618762 | 2828 3190 | 0 | 0 924.88/925.22 c 924s | 24 | 3788182 | 3625862 | 2828 3195 | 0 | 0 926.87/927.22 c 926s | 24 | 3795601 | 3632962 | 2828 3200 | 0 | 0 928.87/929.24 c 928s | 24 | 3802753 | 3639662 | 2828 3204 | 0 | 0 930.87/931.26 c 930s | 24 | 3810276 | 3646862 | 2828 3209 | 0 | 0 932.87/933.27 c 932s | 24 | 3817426 | 3653762 | 2828 3213 | 0 | 0 934.88/935.28 c 934s | 24 | 3825106 | 3661062 | 2828 3218 | 0 | 0 936.88/937.30 c 936s | 24 | 3832790 | 3668462 | 2828 3223 | 0 | 0 938.97/939.31 c 938s | 24 | 3840519 | 3675862 | 2828 3228 | 0 | 0 940.97/941.31 c 940s | 24 | 3848350 | 3683362 | 2828 3233 | 0 | 0 942.97/943.31 c 942s | 24 | 3855473 | 3690062 | 2828 3238 | 0 | 0 944.97/945.32 c 944s | 24 | 3863414 | 3697562 | 2828 3242 | 0 | 0 946.97/947.33 c 946s | 24 | 3870890 | 3704762 | 2828 3247 | 0 | 0 948.97/949.35 c 948s | 24 | 3878500 | 3711962 | 2828 3252 | 0 | 0 950.97/951.38 c 950s | 24 | 3886087 | 3719062 | 2828 3257 | 0 | 0 953.07/953.41 c 952s | 24 | 3893535 | 3725962 | 2828 3261 | 0 | 0 955.07/955.43 c 954s | 24 | 3900790 | 3732762 | 2828 3266 | 0 | 0 957.06/957.46 c 956s | 24 | 3908039 | 3739562 | 2828 3271 | 0 | 0 959.06/959.47 c 958s | 24 | 3914739 | 3745862 | 2828 3275 | 0 | 0 961.07/961.49 c 960s | 24 | 3921266 | 3751962 | 2828 3279 | 0 | 0 963.16/963.52 c 962s | 24 | 3926904 | 3757362 | 2828 3282 | 0 | 0 965.16/965.52 c 964s | 24 | 3932931 | 3763162 | 2828 3286 | 0 | 0 967.15/967.52 c 966s | 24 | 3938378 | 3768362 | 2828 3290 | 0 | 0 969.15/969.54 c 968s | 24 | 3944557 | 3774462 | 2828 3294 | 0 | 0 971.15/971.57 c 970s | 24 | 3950508 | 3780062 | 2828 3298 | 0 | 0 973.16/973.58 c 972s | 24 | 3956467 | 3785762 | 2828 3302 | 0 | 0 975.25/975.60 c 974s | 24 | 3962409 | 3791562 | 2828 3306 | 0 | 0 977.24/977.62 c 976s | 24 | 3969034 | 3797962 | 2828 3310 | 0 | 0 979.24/979.63 c 978s | 24 | 3974738 | 3803562 | 2828 3314 | 0 | 0 981.24/981.65 c 980s | 24 | 3981996 | 3810662 | 2828 3318 | 0 | 0 983.24/983.66 c 982s | 24 | 3988889 | 3817462 | 2828 3323 | 0 | 0 985.25/985.68 c 985s | 24 | 3996337 | 3824762 | 2828 3328 | 0 | 0 987.24/987.69 c 987s | 24 | 4002692 | 3830662 | 2828 3332 | 0 | 0 989.34/989.70 c 989s | 24 | 4009068 | 3836862 | 2828 3336 | 0 | 0 991.34/991.71 c 991s | 24 | 4014947 | 3842462 | 2828 3340 | 0 | 0 993.35/993.74 c 993s | 24 | 4021210 | 3848462 | 2828 3344 | 0 | 0 995.34/995.77 c 995s | 24 | 4027855 | 3854862 | 2828 3348 | 0 | 0 997.35/997.80 c 997s | 24 | 4033893 | 3860762 | 2828 3352 | 0 | 0 999.44/999.81 c 999s | 24 | 4041005 | 3867762 | 2828 3357 | 0 | 0 1001.44/1001.82 c 1001s | 24 | 4048496 | 3875162 | 2828 3361 | 0 | 0 1003.44/1003.85 c 1003s | 24 | 4055607 | 3882062 | 2828 3366 | 0 | 0 1005.44/1005.86 c 1005s | 24 | 4062455 | 3888762 | 2828 3371 | 0 | 0 1007.43/1007.88 c 1007s | 24 | 4069682 | 3895662 | 2828 3375 | 0 | 0 1009.44/1009.90 c 1009s | 24 | 4076208 | 3901962 | 2828 3379 | 0 | 0 1011.53/1011.92 c 1011s | 24 | 4082471 | 3907862 | 2828 3383 | 0 | 0 1013.53/1013.93 c 1013s | 24 | 4089501 | 3914462 | 2828 3388 | 0 | 0 1015.53/1015.96 c 1015s | 24 | 4096279 | 3921062 | 2828 3392 | 0 | 0 1017.62/1018.00 c 1017s | 24 | 4103147 | 3927562 | 2828 3396 | 0 | 0 1019.62/1020.01 c 1019s | 24 | 4109475 | 3933362 | 2828 3400 | 0 | 0 1021.63/1022.02 c 1021s | 24 | 4116099 | 3939662 | 2828 3405 | 0 | 0 1023.62/1024.02 c 1023s | 24 | 4122704 | 3945862 | 2828 3409 | 0 | 0 1025.62/1026.04 c 1025s | 24 | 4129015 | 3951762 | 2828 3413 | 0 | 0 1027.62/1028.05 c 1027s | 24 | 4136560 | 3958962 | 2828 3417 | 0 | 0 1029.62/1030.05 c 1029s | 24 | 4143373 | 3965562 | 2828 3422 | 0 | 0 1031.62/1032.07 c 1031s | 24 | 4150718 | 3972562 | 2828 3427 | 0 | 0 1033.62/1034.10 c 1033s | 24 | 4157337 | 3978962 | 2828 3431 | 0 | 0 1035.71/1036.10 c 1035s | 24 | 4163833 | 3985262 | 2828 3435 | 0 | 0 1037.71/1038.12 c 1037s | 24 | 4171094 | 3992162 | 2828 3440 | 0 | 0 1039.71/1040.14 c 1039s | 24 | 4177667 | 3998562 | 2828 3444 | 0 | 0 1041.71/1042.15 c 1041s | 24 | 4184241 | 4004962 | 2828 3448 | 0 | 0 1043.71/1044.17 c 1043s | 24 | 4191371 | 4011862 | 2828 3453 | 0 | 0 1045.72/1046.19 c 1045s | 24 | 4198714 | 4018962 | 2828 3458 | 0 | 0 1047.80/1048.21 c 1047s | 24 | 4206117 | 4026062 | 2828 3462 | 0 | 0 1049.80/1050.23 c 1049s | 24 | 4213575 | 4033162 | 2828 3467 | 0 | 0 1051.80/1052.24 c 1051s | 24 | 4221361 | 4040562 | 2828 3472 | 0 | 0 1053.80/1054.25 c 1053s | 24 | 4228943 | 4047762 | 2828 3477 | 0 | 0 1055.80/1056.27 c 1055s | 24 | 4236424 | 4054862 | 2828 3482 | 0 | 0 1057.80/1058.30 c 1057s | 24 | 4244217 | 4062362 | 2828 3487 | 0 | 0 1059.90/1060.31 c 1059s | 24 | 4251796 | 4069662 | 2828 3491 | 0 | 0 1061.90/1062.33 c 1061s | 24 | 4258866 | 4076462 | 2828 3496 | 0 | 0 1063.90/1064.34 c 1063s | 24 | 4264963 | 4082362 | 2828 3500 | 0 | 0 1065.90/1066.35 c 1065s | 24 | 4272028 | 4088962 | 2828 3504 | 0 | 0 1067.89/1068.38 c 1067s | 24 | 4278262 | 4094962 | 2828 3508 | 0 | 0 1069.90/1070.39 c 1069s | 24 | 4285126 | 4101462 | 2828 3513 | 0 | 0 1071.99/1072.42 c 1071s | 24 | 4292231 | 4108262 | 2828 3517 | 0 | 0 1073.99/1074.45 c 1073s | 24 | 4298927 | 4114762 | 2828 3522 | 0 | 0 1075.99/1076.45 c 1075s | 24 | 4306075 | 4121662 | 2828 3526 | 0 | 0 1077.98/1078.46 c 1077s | 24 | 4312909 | 4128262 | 2828 3531 | 0 | 0 1079.98/1080.46 c 1079s | 24 | 4320479 | 4135362 | 2828 3535 | 0 | 0 1081.99/1082.46 c 1081s | 24 | 4327644 | 4142062 | 2828 3540 | 0 | 0 1083.98/1084.49 c 1083s | 24 | 4334986 | 4149062 | 2828 3544 | 0 | 0 1086.08/1086.50 c 1085s | 24 | 4342212 | 4155962 | 2828 3549 | 0 | 0 1088.08/1088.53 c 1087s | 24 | 4349735 | 4163162 | 2828 3554 | 0 | 0 1090.08/1090.55 c 1089s | 24 | 4356681 | 4169862 | 2828 3558 | 0 | 0 1092.08/1092.55 c 1091s | 24 | 4364142 | 4176962 | 2828 3563 | 0 | 0 1094.08/1094.55 c 1093s | 24 | 4370601 | 4183162 | 2828 3567 | 0 | 0 1096.08/1096.59 c 1095s | 24 | 4377204 | 4189462 | 2828 3572 | 0 | 0 1098.07/1098.59 c 1097s | 24 | 4383869 | 4195662 | 2828 3576 | 0 | 0 1100.17/1100.61 c 1099s | 24 | 4390523 | 4201962 | 2828 3580 | 0 | 0 1102.17/1102.64 c 1101s | 24 | 4397367 | 4208362 | 2828 3584 | 0 | 0 1104.17/1104.65 c 1103s | 24 | 4403957 | 4214662 | 2828 3589 | 0 | 0 1106.18/1106.68 c 1106s | 24 | 4410816 | 4221062 | 2828 3593 | 0 | 0 1108.26/1108.71 c 1108s | 24 | 4417256 | 4227062 | 2828 3597 | 0 | 0 1110.26/1110.74 c 1110s | 24 | 4423470 | 4232762 | 2828 3601 | 0 | 0 1112.26/1112.76 c 1112s | 24 | 4429995 | 4238862 | 2828 3605 | 0 | 0 1114.26/1114.78 c 1114s | 24 | 4436375 | 4244562 | 2828 3609 | 0 | 0 1116.26/1116.78 c 1116s | 24 | 4442735 | 4250362 | 2828 3613 | 0 | 0 1118.36/1118.81 c 1118s | 24 | 4449711 | 4256462 | 2828 3617 | 0 | 0 1120.36/1120.82 c 1120s | 24 | 4456233 | 4262362 | 2828 3621 | 0 | 0 1122.36/1122.83 c 1122s | 24 | 4463388 | 4268762 | 2828 3625 | 0 | 0 1124.36/1124.84 c 1124s | 24 | 4469297 | 4273962 | 2828 3629 | 0 | 0 1126.36/1126.86 c 1126s | 24 | 4475938 | 4280262 | 2828 3633 | 0 | 0 1128.35/1128.89 c 1128s | 24 | 4483303 | 4287362 | 2828 3638 | 0 | 0 1130.36/1130.90 c 1130s | 24 | 4490544 | 4294262 | 2828 3642 | 0 | 0 1132.45/1132.91 c 1132s | 24 | 4497321 | 4300862 | 2828 3647 | 0 | 0 1134.45/1134.93 c 1134s | 24 | 4503319 | 4306662 | 2828 3650 | 0 | 0 1136.45/1136.97 c 1136s | 24 | 4509547 | 4312662 | 2828 3654 | 0 | 0 1138.45/1138.99 c 1138s | 24 | 4515875 | 4318762 | 2828 3658 | 0 | 0 1140.54/1141.01 c 1140s | 24 | 4522749 | 4325362 | 2828 3663 | 0 | 0 1142.55/1143.03 c 1142s | 24 | 4528776 | 4331262 | 2828 3667 | 0 | 0 1144.54/1145.03 c 1144s | 24 | 4535770 | 4337962 | 2828 3671 | 0 | 0 1146.54/1147.06 c 1146s | 24 | 4543379 | 4345362 | 2828 3676 | 0 | 0 1148.54/1149.07 c 1148s | 24 | 4550662 | 4352462 | 2828 3681 | 0 | 0 1150.54/1151.08 c 1150s | 24 | 4557831 | 4359462 | 2828 3686 | 0 | 0 1152.64/1153.11 c 1152s | 24 | 4564300 | 4365662 | 2828 3690 | 0 | 0 1154.65/1155.12 c 1154s | 24 | 4571252 | 4372362 | 2828 3694 | 0 | 0 1156.64/1157.12 c 1156s | 24 | 4577922 | 4378862 | 2828 3698 | 0 | 0 1158.63/1159.15 c 1158s | 24 | 4584980 | 4385762 | 2828 3703 | 0 | 0 1160.63/1161.16 c 1160s | 24 | 4592129 | 4392762 | 2828 3708 | 0 | 0 1162.63/1163.19 c 1162s | 24 | 4599334 | 4399762 | 2828 3712 | 0 | 0 1164.73/1165.20 c 1164s | 24 | 4606587 | 4406862 | 2828 3717 | 0 | 0 1166.74/1167.22 c 1166s | 24 | 4613299 | 4413362 | 2828 3721 | 0 | 0 1168.73/1169.24 c 1168s | 24 | 4619421 | 4419162 | 2828 3725 | 0 | 0 1170.73/1171.28 c 1170s | 24 | 4625409 | 4424962 | 2828 3729 | 0 | 0 1172.73/1173.28 c 1172s | 24 | 4632385 | 4431762 | 2828 3734 | 0 | 0 1174.73/1175.29 c 1174s | 24 | 4639284 | 4438462 | 2828 3738 | 0 | 0 1176.82/1177.30 c 1176s | 24 | 4646590 | 4445562 | 2828 3743 | 0 | 0 1178.83/1179.33 c 1178s | 24 | 4653083 | 4451862 | 2828 3747 | 0 | 0 1180.82/1181.33 c 1180s | 24 | 4659159 | 4457762 | 2828 3751 | 0 | 0 1182.82/1183.33 c 1182s | 24 | 4665391 | 4463762 | 2828 3755 | 0 | 0 1184.82/1185.34 c 1184s | 24 | 4671508 | 4469662 | 2828 3759 | 0 | 0 1186.81/1187.34 c 1186s | 24 | 4678355 | 4476262 | 2828 3763 | 0 | 0 1188.81/1189.35 c 1188s | 24 | 4685318 | 4482862 | 2828 3768 | 0 | 0 1190.82/1191.37 c 1190s | 24 | 4691516 | 4488862 | 2828 3772 | 0 | 0 1192.81/1193.38 c 1192s | 24 | 4697999 | 4495162 | 2828 3776 | 0 | 0 1194.81/1195.38 c 1194s | 24 | 4704969 | 4501862 | 2828 3781 | 0 | 0 1196.81/1197.39 c 1196s | 24 | 4711414 | 4508062 | 2828 3785 | 0 | 0 1198.91/1199.41 c 1198s | 24 | 4718436 | 4514862 | 2828 3789 | 0 | 0 1200.91/1201.42 c 1200s | 24 | 4725377 | 4521562 | 2828 3794 | 0 | 0 1202.92/1203.43 c 1202s | 24 | 4732407 | 4528262 | 2828 3798 | 0 | 0 1204.91/1205.44 c 1204s | 24 | 4739333 | 4534762 | 2828 3803 | 0 | 0 1206.90/1207.47 c 1206s | 24 | 4746048 | 4540962 | 2828 3807 | 0 | 0 1208.90/1209.49 c 1208s | 24 | 4752744 | 4547262 | 2828 3811 | 0 | 0 1211.00/1211.50 c 1210s | 24 | 4759239 | 4553462 | 2828 3815 | 0 | 0 1213.00/1213.52 c 1212s | 24 | 4766174 | 4560162 | 2828 3819 | 0 | 0 1215.01/1215.55 c 1214s | 24 | 4773297 | 4566962 | 2828 3824 | 0 | 0 1217.00/1217.58 c 1216s | 24 | 4780416 | 4573762 | 2828 3829 | 0 | 0 1219.10/1219.60 c 1218s | 24 | 4787793 | 4580862 | 2828 3833 | 0 | 0 1221.10/1221.62 c 1220s | 24 | 4794638 | 4587362 | 2828 3838 | 0 | 0 1223.10/1223.63 c 1222s | 24 | 4801618 | 4593962 | 2828 3842 | 0 | 0 1225.10/1225.64 c 1224s | 24 | 4808636 | 4600562 | 2828 3846 | 0 | 0 1227.10/1227.66 c 1226s | 24 | 4815659 | 4607062 | 2828 3851 | 0 | 0 1229.10/1229.68 c 1229s | 24 | 4822503 | 4613362 | 2828 3855 | 0 | 0 1231.19/1231.70 c 1231s | 24 | 4829389 | 4619862 | 2828 3859 | 0 | 0 1233.19/1233.72 c 1233s | 24 | 4836173 | 4626262 | 2828 3864 | 0 | 0 1235.19/1235.74 c 1235s | 24 | 4843176 | 4632862 | 2828 3868 | 0 | 0 1237.19/1237.76 c 1237s | 24 | 4849498 | 4638962 | 2828 3872 | 0 | 0 1239.30/1239.81 c 1239s | 24 | 4856040 | 4645162 | 2828 3876 | 0 | 0 1241.29/1241.82 c 1241s | 24 | 4862743 | 4651462 | 2828 3880 | 0 | 0 1243.29/1243.86 c 1243s | 24 | 4869373 | 4657662 | 2828 3884 | 0 | 0 1245.29/1245.86 c 1245s | 24 | 4875837 | 4663662 | 2828 3888 | 0 | 0 1247.38/1247.90 c 1247s | 24 | 4882352 | 4669862 | 2828 3893 | 0 | 0 1249.38/1249.92 c 1249s | 24 | 4889213 | 4676362 | 2828 3897 | 0 | 0 1251.39/1251.93 c 1251s | 24 | 4896103 | 4682862 | 2828 3901 | 0 | 0 1253.38/1253.95 c 1253s | 24 | 4903702 | 4690162 | 2828 3906 | 0 | 0 1255.38/1255.98 c 1255s | 24 | 4910526 | 4696762 | 2828 3911 | 0 | 0 1257.48/1258.00 c 1257s | 24 | 4917241 | 4703362 | 2828 3915 | 0 | 0 1259.48/1260.03 c 1259s | 24 | 4923688 | 4709362 | 2828 3919 | 0 | 0 1261.48/1262.05 c 1261s | 24 | 4930642 | 4715962 | 2828 3923 | 0 | 0 1263.48/1264.08 c 1263s | 24 | 4937513 | 4722462 | 2828 3928 | 0 | 0 1265.48/1266.10 c 1265s | 24 | 4944491 | 4729062 | 2828 3932 | 0 | 0 1267.58/1268.10 c 1267s | 24 | 4951543 | 4735762 | 2828 3937 | 0 | 0 1269.58/1270.13 c 1269s | 24 | 4958443 | 4742262 | 2828 3941 | 0 | 0 1271.57/1272.14 c 1271s | 24 | 4964905 | 4748462 | 2828 3945 | 0 | 0 1273.57/1274.14 c 1273s | 24 | 4971945 | 4755062 | 2828 3949 | 0 | 0 1275.58/1276.15 c 1275s | 24 | 4978474 | 4761162 | 2828 3953 | 0 | 0 1277.57/1278.17 c 1277s | 24 | 4985243 | 4767562 | 2828 3958 | 0 | 0 1279.57/1280.17 c 1279s | 24 | 4992258 | 4774062 | 2828 3962 | 0 | 0 1281.57/1282.18 c 1281s | 24 | 4999220 | 4780662 | 2828 3966 | 0 | 0 1283.67/1284.20 c 1283s | 24 | 5006145 | 4787262 | 2828 3971 | 0 | 0 1285.67/1286.20 c 1285s | 24 | 5013244 | 4793862 | 2828 3975 | 0 | 0 1287.68/1288.23 c 1287s | 24 | 5019886 | 4800162 | 2828 3980 | 0 | 0 1289.67/1290.23 c 1289s | 24 | 5026297 | 4806162 | 2828 3984 | 0 | 0 1291.67/1292.24 c 1291s | 24 | 5032639 | 4812162 | 2828 3988 | 0 | 0 1293.67/1294.26 c 1293s | 24 | 5039230 | 4818462 | 2828 3992 | 0 | 0 1295.67/1296.28 c 1295s | 24 | 5045740 | 4824662 | 2828 3996 | 0 | 0 1297.67/1298.28 c 1297s | 24 | 5052248 | 4830962 | 2828 4000 | 0 | 0 1299.68/1300.28 c 1299s | 24 | 5059100 | 4837462 | 2828 4005 | 0 | 0 1301.67/1302.28 c 1301s | 24 | 5065646 | 4843662 | 2828 4009 | 0 | 0 1303.77/1304.30 c 1303s | 24 | 5071743 | 4849262 | 2828 4013 | 0 | 0 1305.77/1306.32 c 1305s | 24 | 5078539 | 4855462 | 2828 4017 | 0 | 0 1307.77/1308.33 c 1307s | 24 | 5084840 | 4861362 | 2828 4021 | 0 | 0 1309.77/1310.33 c 1309s | 24 | 5090579 | 4866762 | 2828 4025 | 0 | 0 1311.78/1312.34 c 1311s | 24 | 5096458 | 4872362 | 2828 4028 | 0 | 0 1313.77/1314.37 c 1313s | 24 | 5102996 | 4878462 | 2828 4032 | 0 | 0 1315.87/1316.40 c 1315s | 24 | 5108983 | 4884062 | 2828 4036 | 0 | 0 1317.87/1318.41 c 1317s | 24 | 5115132 | 4889862 | 2828 4040 | 0 | 0 1319.87/1320.43 c 1319s | 24 | 5121614 | 4895962 | 2828 4044 | 0 | 0 1321.87/1322.46 c 1321s | 24 | 5127456 | 4901562 | 2828 4048 | 0 | 0 1323.87/1324.48 c 1323s | 24 | 5134124 | 4907862 | 2828 4052 | 0 | 0 1325.87/1326.50 c 1325s | 24 | 5140844 | 4913862 | 2828 4056 | 0 | 0 1327.97/1328.52 c 1327s | 24 | 5147276 | 4919562 | 2828 4060 | 0 | 0 1329.97/1330.55 c 1329s | 24 | 5153568 | 4925062 | 2828 4064 | 0 | 0 1331.97/1332.57 c 1331s | 24 | 5159810 | 4931062 | 2828 4068 | 0 | 0 1333.97/1334.59 c 1333s | 24 | 5166255 | 4936962 | 2828 4072 | 0 | 0 1336.07/1336.61 c 1335s | 24 | 5172808 | 4943062 | 2828 4076 | 0 | 0 1338.06/1338.63 c 1337s | 24 | 5178840 | 4948562 | 2828 4080 | 0 | 0 1340.06/1340.63 c 1339s | 24 | 5184655 | 4954162 | 2828 4084 | 0 | 0 1342.06/1342.64 c 1341s | 24 | 5191123 | 4960262 | 2828 4088 | 0 | 0 1344.06/1344.66 c 1343s | 24 | 5197099 | 4965962 | 2828 4092 | 0 | 0 1346.06/1346.68 c 1346s | 24 | 5202472 | 4971162 | 2828 4095 | 0 | 0 1348.07/1348.70 c 1348s | 24 | 5208100 | 4976562 | 2828 4099 | 0 | 0 1350.16/1350.71 c 1350s | 24 | 5214144 | 4982262 | 2828 4103 | 0 | 0 1352.16/1352.72 c 1352s | 24 | 5220697 | 4988362 | 2828 4107 | 0 | 0 1354.16/1354.74 c 1354s | 24 | 5227162 | 4994562 | 2828 4111 | 0 | 0 1356.16/1356.75 c 1356s | 24 | 5233422 | 5000662 | 2828 4115 | 0 | 0 1358.16/1358.77 c 1358s | 24 | 5239699 | 5006462 | 2828 4119 | 0 | 0 1360.17/1360.78 c 1360s | 24 | 5246117 | 5012362 | 2828 4123 | 0 | 0 1362.26/1362.80 c 1362s | 24 | 5252678 | 5018362 | 2828 4127 | 0 | 0 1364.26/1364.82 c 1364s | 24 | 5258870 | 5023962 | 2828 4131 | 0 | 0 1366.26/1366.82 c 1366s | 24 | 5264986 | 5029562 | 3111 4135 | 0 | 0 1368.26/1368.82 c 1368s | 24 | 5271391 | 5035362 | 3111 4138 | 0 | 0 1370.26/1370.83 c 1370s | 24 | 5277314 | 5040862 | 3111 4142 | 0 | 0 1372.26/1372.87 c 1372s | 24 | 5283840 | 5046862 | 3111 4145 | 0 | 0 1374.26/1374.88 c 1374s | 24 | 5290319 | 5052862 | 3111 4149 | 0 | 0 1376.36/1376.90 c 1376s | 24 | 5296125 | 5058262 | 3111 4153 | 0 | 0 1378.36/1378.92 c 1378s | 24 | 5302431 | 5063762 | 3111 4156 | 0 | 0 1378.76/1379.33 c 1378s | 25 | 5303872 | 5065098 | 3111 4157 | 0 | 0 1380.76/1381.33 c 1380s | 25 | 5310751 | 5071698 | 3111 4161 | 0 | 0 1382.75/1383.36 c 1382s | 25 | 5317273 | 5077598 | 3111 4164 | 0 | 0 1384.75/1385.39 c 1384s | 25 | 5323560 | 5083398 | 3111 4168 | 0 | 0 1386.85/1387.40 c 1386s | 25 | 5329612 | 5089098 | 3111 4171 | 0 | 0 1388.86/1389.41 c 1388s | 25 | 5336287 | 5094998 | 3111 4175 | 0 | 0 1390.85/1391.43 c 1390s | 25 | 5343257 | 5101598 | 3111 4179 | 0 | 0 1392.85/1393.45 c 1392s | 25 | 5349952 | 5107898 | 3111 4183 | 0 | 0 1394.85/1395.46 c 1394s | 25 | 5356781 | 5114198 | 3111 4187 | 0 | 0 1396.85/1397.47 c 1396s | 25 | 5363233 | 5120198 | 3111 4190 | 0 | 0 1398.95/1399.50 c 1398s | 25 | 5369334 | 5125698 | 3111 4194 | 0 | 0 1400.96/1401.55 c 1400s | 25 | 5375535 | 5131498 | 3111 4197 | 0 | 0 1402.95/1403.60 c 1402s | 25 | 5382593 | 5138098 | 3111 4201 | 0 | 0 1405.06/1405.60 c 1404s | 25 | 5389331 | 5144298 | 3111 4205 | 0 | 0 1407.06/1407.62 c 1406s | 25 | 5396189 | 5150498 | 3111 4209 | 0 | 0 1409.06/1409.65 c 1408s | 25 | 5403269 | 5157198 | 3111 4213 | 0 | 0 1411.06/1411.66 c 1410s | 25 | 5411168 | 5164398 | 3111 4217 | 0 | 0 1413.06/1413.69 c 1413s | 25 | 5418808 | 5171398 | 3111 4221 | 0 | 0 1415.06/1415.70 c 1415s | 25 | 5426734 | 5178798 | 3111 4226 | 0 | 0 1417.16/1417.71 c 1417s | 25 | 5433913 | 5185498 | 3111 4230 | 0 | 0 1419.16/1419.73 c 1419s | 25 | 5440082 | 5191298 | 3111 4234 | 0 | 0 1421.16/1421.74 c 1421s | 25 | 5446681 | 5197198 | 3111 4237 | 0 | 0 1423.16/1423.75 c 1423s | 25 | 5453482 | 5203198 | 3111 4241 | 0 | 0 1425.16/1425.78 c 1425s | 25 | 5459205 | 5208598 | 3111 4244 | 0 | 0 1427.26/1427.81 c 1427s | 25 | 5465917 | 5214498 | 3111 4248 | 0 | 0 1429.25/1429.84 c 1429s | 25 | 5472565 | 5220698 | 3111 4251 | 0 | 0 1431.25/1431.86 c 1431s | 25 | 5479187 | 5226998 | 3111 4255 | 0 | 0 1433.25/1433.88 c 1433s | 25 | 5486073 | 5233498 | 3111 4259 | 0 | 0 1435.35/1435.91 c 1435s | 25 | 5492722 | 5239398 | 3111 4263 | 0 | 0 1437.35/1437.91 c 1437s | 25 | 5499148 | 5245098 | 3111 4266 | 0 | 0 1439.36/1439.94 c 1439s | 25 | 5505329 | 5250598 | 3111 4270 | 0 | 0 1441.35/1441.96 c 1441s | 25 | 5512625 | 5257398 | 3111 4274 | 0 | 0 1443.35/1443.97 c 1443s | 25 | 5519738 | 5263598 | 3111 4278 | 0 | 0 1445.35/1445.99 c 1445s | 25 | 5525040 | 5268598 | 3111 4281 | 0 | 0 1447.45/1448.00 c 1447s | 25 | 5531767 | 5274798 | 3111 4285 | 0 | 0 1449.45/1450.00 c 1449s | 25 | 5538395 | 5280898 | 3111 4288 | 0 | 0 1451.46/1452.03 c 1451s | 25 | 5544431 | 5286298 | 3111 4292 | 0 | 0 1453.45/1454.03 c 1453s | 25 | 5550620 | 5292198 | 3111 4295 | 0 | 0 1455.45/1456.04 c 1455s | 25 | 5557682 | 5298998 | 3111 4299 | 0 | 0 1457.45/1458.07 c 1457s | 25 | 5564461 | 5305398 | 3111 4303 | 0 | 0 1459.45/1460.08 c 1459s | 25 | 5571264 | 5311798 | 3111 4307 | 0 | 0 1461.45/1462.08 c 1461s | 25 | 5577962 | 5318098 | 3111 4311 | 0 | 0 1463.45/1464.09 c 1463s | 25 | 5584654 | 5324398 | 3111 4315 | 0 | 0 1465.55/1466.12 c 1465s | 25 | 5591428 | 5330698 | 3111 4319 | 0 | 0 1467.54/1468.12 c 1467s | 25 | 5597564 | 5336498 | 3111 4322 | 0 | 0 1469.54/1470.14 c 1469s | 25 | 5604094 | 5342698 | 3111 4326 | 0 | 0 1471.54/1472.14 c 1471s | 25 | 5610972 | 5349198 | 3111 4330 | 0 | 0 1473.55/1474.16 c 1473s | 25 | 5617742 | 5355398 | 3111 4334 | 0 | 0 1475.54/1476.17 c 1475s | 25 | 5625482 | 5362598 | 3111 4338 | 0 | 0 1477.54/1478.18 c 1477s | 25 | 5632342 | 5369098 | 3111 4342 | 0 | 0 1479.54/1480.18 c 1479s | 25 | 5639348 | 5375598 | 3111 4346 | 0 | 0 1481.54/1482.19 c 1481s | 25 | 5646636 | 5382398 | 3111 4350 | 0 | 0 1483.54/1484.19 c 1483s | 25 | 5654106 | 5389398 | 3111 4355 | 0 | 0 1485.55/1486.20 c 1485s | 25 | 5661829 | 5396898 | 3111 4359 | 0 | 0 1487.64/1488.22 c 1487s | 25 | 5668829 | 5403698 | 3111 4364 | 0 | 0 1489.64/1490.25 c 1489s | 25 | 5676213 | 5410898 | 3111 4368 | 0 | 0 1491.64/1492.29 c 1491s | 25 | 5682790 | 5417098 | 3111 4372 | 0 | 0 1493.74/1494.30 c 1493s | 25 | 5689260 | 5423398 | 3111 4376 | 0 | 0 1495.74/1496.32 c 1495s | 25 | 5696446 | 5430398 | 3111 4380 | 0 | 0 1497.74/1498.33 c 1497s | 25 | 5703153 | 5436698 | 3111 4384 | 0 | 0 1499.74/1500.33 c 1499s | 25 | 5710292 | 5443498 | 3111 4388 | 0 | 0 1501.74/1502.36 c 1501s | 25 | 5717300 | 5450098 | 3111 4392 | 0 | 0 1503.74/1504.39 c 1503s | 25 | 5724843 | 5457098 | 3111 4396 | 0 | 0 1505.84/1506.41 c 1505s | 25 | 5731979 | 5463698 | 3111 4400 | 0 | 0 1507.84/1508.42 c 1507s | 25 | 5738784 | 5470198 | 3111 4404 | 0 | 0 1509.85/1510.43 c 1509s | 25 | 5745955 | 5476998 | 3111 4409 | 0 | 0 1511.84/1512.44 c 1511s | 25 | 5752828 | 5483298 | 3111 4412 | 0 | 0 1513.84/1514.45 c 1513s | 25 | 5760049 | 5489698 | 3111 4416 | 0 | 0 1515.84/1516.48 c 1515s | 25 | 5765681 | 5495098 | 3111 4420 | 0 | 0 1517.94/1518.50 c 1517s | 25 | 5772837 | 5501798 | 3111 4424 | 0 | 0 1519.94/1520.51 c 1519s | 25 | 5779506 | 5507898 | 3111 4428 | 0 | 0 1521.95/1522.51 c 1521s | 25 | 5785218 | 5513498 | 3111 4431 | 0 | 0 1523.94/1524.54 c 1523s | 25 | 5792067 | 5520098 | 3111 4435 | 0 | 0 1525.94/1526.56 c 1525s | 25 | 5798558 | 5526398 | 3111 4439 | 0 | 0 1527.94/1528.56 c 1527s | 25 | 5805107 | 5532698 | 3111 4443 | 0 | 0 1529.94/1530.59 c 1529s | 25 | 5811082 | 5538098 | 3111 4446 | 0 | 0 1532.04/1532.63 c 1531s | 25 | 5817986 | 5544698 | 3111 4450 | 0 | 0 1534.04/1534.65 c 1533s | 25 | 5824846 | 5551198 | 3111 4454 | 0 | 0 1536.03/1536.67 c 1535s | 25 | 5831933 | 5557798 | 3111 4459 | 0 | 0 1538.03/1538.69 c 1538s | 25 | 5838838 | 5564098 | 3111 4462 | 0 | 0 1540.13/1540.72 c 1540s | 25 | 5844843 | 5569498 | 3111 4466 | 0 | 0 1542.13/1542.73 c 1542s | 25 | 5850837 | 5574998 | 3111 4469 | 0 | 0 1544.13/1544.74 c 1544s | 25 | 5856842 | 5580598 | 3111 4473 | 0 | 0 1546.14/1546.75 c 1546s | 25 | 5863113 | 5586698 | 3111 4477 | 0 | 0 1548.13/1548.78 c 1548s | 25 | 5869351 | 5592498 | 3111 4480 | 0 | 0 1550.13/1550.79 c 1550s | 25 | 5875532 | 5598098 | 3111 4483 | 0 | 0 1552.23/1552.80 c 1552s | 25 | 5882553 | 5604598 | 3111 4487 | 0 | 0 1554.23/1554.81 c 1554s | 25 | 5889448 | 5611098 | 3111 4491 | 0 | 0 1556.23/1556.82 c 1556s | 25 | 5895425 | 5616698 | 3111 4495 | 0 | 0 1558.24/1558.82 c 1558s | 25 | 5902507 | 5623398 | 3111 4499 | 0 | 0 1560.23/1560.82 c 1560s | 25 | 5909078 | 5629498 | 3111 4502 | 0 | 0 1562.23/1562.86 c 1562s | 25 | 5915020 | 5634998 | 3111 4506 | 0 | 0 1564.23/1564.88 c 1564s | 25 | 5920823 | 5640298 | 3111 4509 | 0 | 0 1566.33/1566.90 c 1566s | 25 | 5927741 | 5646698 | 3111 4513 | 0 | 0 1568.33/1568.90 c 1568s | 25 | 5934432 | 5652798 | 3111 4517 | 0 | 0 1570.24/1570.90 c 1570s | 25 | 5941801 | 5659598 | 3111 4521 | 0 | 0 1572.33/1572.91 c 1572s | 25 | 5948780 | 5665898 | 3111 4525 | 0 | 0 1574.33/1574.92 c 1574s | 25 | 5956288 | 5672798 | 3111 4529 | 0 | 0 1576.33/1576.93 c 1576s | 25 | 5964114 | 5679798 | 3111 4533 | 0 | 0 1578.33/1578.95 c 1578s | 25 | 5970732 | 5685898 | 3111 4537 | 0 | 0 1580.33/1580.96 c 1580s | 25 | 5977706 | 5692398 | 3111 4541 | 0 | 0 1582.33/1582.97 c 1582s | 25 | 5984855 | 5699098 | 3111 4545 | 0 | 0 1584.33/1584.97 c 1584s | 25 | 5991862 | 5705598 | 3111 4549 | 0 | 0 1586.33/1586.98 c 1586s | 25 | 5998638 | 5711798 | 3111 4553 | 0 | 0 1588.33/1588.99 c 1588s | 25 | 6005297 | 5718098 | 3111 4557 | 0 | 0 1590.42/1591.02 c 1590s | 25 | 6011439 | 5723798 | 3111 4560 | 0 | 0 1592.42/1593.05 c 1592s | 25 | 6018666 | 5730598 | 3111 4564 | 0 | 0 1594.43/1595.08 c 1594s | 25 | 6025917 | 5736998 | 3111 4568 | 0 | 0 1596.42/1597.08 c 1596s | 25 | 6033054 | 5743398 | 3111 4572 | 0 | 0 1598.52/1599.10 c 1598s | 25 | 6039930 | 5749598 | 3111 4576 | 0 | 0 1600.52/1601.11 c 1600s | 25 | 6047026 | 5756198 | 3111 4580 | 0 | 0 1602.52/1603.11 c 1602s | 25 | 6054859 | 5763498 | 3111 4584 | 0 | 0 1604.52/1605.13 c 1604s | 25 | 6062773 | 5770798 | 3111 4589 | 0 | 0 1606.53/1607.15 c 1606s | 25 | 6069869 | 5777298 | 3111 4593 | 0 | 0 1608.52/1609.15 c 1608s | 25 | 6077121 | 5783898 | 3111 4597 | 0 | 0 1610.52/1611.17 c 1610s | 25 | 6084466 | 5790298 | 3111 4601 | 0 | 0 1612.52/1613.17 c 1612s | 25 | 6091170 | 5796398 | 3111 4605 | 0 | 0 1614.52/1615.19 c 1614s | 25 | 6097512 | 5802098 | 3111 4608 | 0 | 0 1616.62/1617.21 c 1616s | 25 | 6105023 | 5808798 | 3111 4612 | 0 | 0 1618.63/1619.24 c 1618s | 25 | 6111180 | 5814198 | 3111 4615 | 0 | 0 1620.62/1621.25 c 1620s | 25 | 6117809 | 5820198 | 3111 4619 | 0 | 0 1622.62/1623.26 c 1622s | 25 | 6125357 | 5826798 | 3111 4623 | 0 | 0 1624.62/1625.29 c 1624s | 25 | 6131938 | 5832498 | 3111 4627 | 0 | 0 1626.72/1627.31 c 1626s | 25 | 6138908 | 5838998 | 3111 4631 | 0 | 0 1628.72/1629.32 c 1628s | 25 | 6145605 | 5845398 | 3111 4634 | 0 | 0 1630.73/1631.35 c 1630s | 25 | 6152552 | 5851998 | 3111 4638 | 0 | 0 1632.72/1633.35 c 1632s | 25 | 6159282 | 5858198 | 3111 4642 | 0 | 0 1634.72/1635.37 c 1634s | 25 | 6166739 | 5865198 | 3111 4647 | 0 | 0 1636.82/1637.40 c 1636s | 25 | 6174272 | 5871998 | 3111 4651 | 0 | 0 1638.82/1639.43 c 1638s | 25 | 6180925 | 5878298 | 3111 4654 | 0 | 0 1640.82/1641.44 c 1640s | 25 | 6187353 | 5884298 | 3111 4658 | 0 | 0 1642.83/1643.44 c 1642s | 25 | 6194103 | 5890698 | 3111 4662 | 0 | 0 1644.82/1645.46 c 1644s | 25 | 6199936 | 5896098 | 3111 4665 | 0 | 0 1646.82/1647.47 c 1646s | 25 | 6205836 | 5901598 | 3111 4669 | 0 | 0 1648.82/1649.48 c 1648s | 25 | 6213360 | 5908698 | 3111 4673 | 0 | 0 1650.92/1651.50 c 1650s | 25 | 6220243 | 5914998 | 3111 4677 | 0 | 0 1652.91/1653.52 c 1652s | 25 | 6226181 | 5920398 | 3111 4680 | 0 | 0 1654.92/1655.52 c 1654s | 25 | 6232579 | 5926498 | 3111 4684 | 0 | 0 1656.91/1657.55 c 1656s | 25 | 6238818 | 5932498 | 3111 4687 | 0 | 0 1658.91/1659.56 c 1658s | 25 | 6245285 | 5938498 | 3111 4691 | 0 | 0 1660.91/1661.58 c 1660s | 25 | 6251437 | 5944098 | 3111 4694 | 0 | 0 1663.01/1663.61 c 1662s | 25 | 6257934 | 5950198 | 3111 4698 | 0 | 0 1665.02/1665.63 c 1664s | 25 | 6264181 | 5955998 | 3111 4702 | 0 | 0 1667.03/1667.65 c 1666s | 25 | 6271059 | 5962098 | 3111 4705 | 0 | 0 1669.02/1669.68 c 1668s | 25 | 6278749 | 5969298 | 3111 4710 | 0 | 0 1671.12/1671.70 c 1671s | 25 | 6285716 | 5975698 | 3111 4714 | 0 | 0 1673.12/1673.71 c 1673s | 25 | 6293239 | 5982698 | 3111 4718 | 0 | 0 1675.12/1675.71 c 1675s | 25 | 6299895 | 5988898 | 3111 4722 | 0 | 0 1677.12/1677.72 c 1677s | 25 | 6307039 | 5995398 | 3111 4726 | 0 | 0 1679.12/1679.73 c 1679s | 25 | 6314531 | 6002398 | 3111 4730 | 0 | 0 1681.12/1681.75 c 1681s | 25 | 6321629 | 6008798 | 3111 4734 | 0 | 0 1683.12/1683.76 c 1683s | 25 | 6328874 | 6015598 | 3111 4738 | 0 | 0 1685.11/1685.77 c 1685s | 25 | 6335686 | 6021998 | 3111 4742 | 0 | 0 1687.11/1687.79 c 1687s | 25 | 6342980 | 6028898 | 3111 4746 | 0 | 0 1689.21/1689.81 c 1689s | 25 | 6349861 | 6035298 | 3111 4750 | 0 | 0 1691.22/1691.82 c 1691s | 25 | 6356485 | 6041398 | 3111 4754 | 0 | 0 1693.21/1693.84 c 1693s | 25 | 6364157 | 6048498 | 3111 4758 | 0 | 0 1695.21/1695.86 c 1695s | 25 | 6371936 | 6055498 | 3111 4763 | 0 | 0 1697.21/1697.86 c 1697s | 25 | 6378861 | 6061798 | 3111 4767 | 0 | 0 1699.21/1699.88 c 1699s | 25 | 6386250 | 6068698 | 3111 4771 | 0 | 0 1701.22/1701.89 c 1701s | 25 | 6393363 | 6075198 | 3111 4775 | 0 | 0 1703.32/1703.91 c 1703s | 25 | 6400370 | 6081498 | 3111 4779 | 0 | 0 1705.31/1705.91 c 1705s | 25 | 6407731 | 6088298 | 3111 4783 | 0 | 0 1707.31/1707.93 c 1707s | 25 | 6414809 | 6095198 | 3111 4787 | 0 | 0 1709.31/1709.94 c 1709s | 25 | 6421446 | 6101698 | 3111 4791 | 0 | 0 1711.31/1711.96 c 1711s | 25 | 6427989 | 6108098 | 3111 4795 | 0 | 0 1713.31/1713.98 c 1713s | 25 | 6434797 | 6114598 | 3111 4799 | 0 | 0 1715.41/1716.00 c 1715s | 25 | 6442421 | 6121698 | 3111 4803 | 0 | 0 1717.40/1718.03 c 1717s | 25 | 6449502 | 6128298 | 3111 4807 | 0 | 0 1719.40/1720.05 c 1719s | 25 | 6456328 | 6134698 | 3111 4811 | 0 | 0 1721.40/1722.06 c 1721s | 25 | 6463312 | 6140898 | 3111 4815 | 0 | 0 1723.40/1724.06 c 1723s | 25 | 6469106 | 6146298 | 3111 4818 | 0 | 0 1725.41/1726.06 c 1725s | 25 | 6475389 | 6152098 | 3111 4822 | 0 | 0 1727.41/1728.09 c 1727s | 25 | 6481711 | 6157898 | 3111 4826 | 0 | 0 1729.51/1730.11 c 1729s | 25 | 6488151 | 6163898 | 3111 4829 | 0 | 0 1731.51/1732.11 c 1731s | 25 | 6494778 | 6169898 | 3111 4833 | 0 | 0 1733.51/1734.14 c 1733s | 25 | 6501855 | 6176498 | 3111 4837 | 0 | 0 1735.51/1736.16 c 1735s | 25 | 6508200 | 6182498 | 3111 4841 | 0 | 0 1737.51/1738.18 c 1737s | 25 | 6514902 | 6188798 | 3111 4844 | 0 | 0 1739.50/1740.19 c 1739s | 25 | 6522079 | 6195398 | 3111 4849 | 0 | 0 1741.60/1742.22 c 1741s | 25 | 6529167 | 6201798 | 3111 4852 | 0 | 0 1743.60/1744.24 c 1743s | 25 | 6535800 | 6208098 | 3111 4856 | 0 | 0 1745.60/1746.24 c 1745s | 25 | 6542502 | 6214398 | 3111 4860 | 0 | 0 1747.60/1748.25 c 1747s | 25 | 6550001 | 6221298 | 3111 4864 | 0 | 0 1749.61/1750.27 c 1749s | 25 | 6557340 | 6227998 | 3111 4868 | 0 | 0 1751.60/1752.29 c 1751s | 25 | 6563760 | 6233798 | 3111 4872 | 0 | 0 1753.70/1754.30 c 1753s | 25 | 6570615 | 6240298 | 3111 4876 | 0 | 0 1755.70/1756.32 c 1755s | 25 | 6577123 | 6246298 | 3111 4880 | 0 | 0 1757.70/1758.35 c 1757s | 25 | 6583733 | 6252498 | 3111 4884 | 0 | 0 1759.70/1760.38 c 1759s | 25 | 6590682 | 6258798 | 3111 4887 | 0 | 0 1761.71/1762.38 c 1761s | 25 | 6597403 | 6264998 | 3111 4891 | 0 | 0 1763.81/1764.42 c 1763s | 25 | 6604322 | 6271298 | 3111 4895 | 0 | 0 1765.80/1766.44 c 1765s | 25 | 6611268 | 6277798 | 3111 4899 | 0 | 0 1767.80/1768.44 c 1767s | 25 | 6618479 | 6284598 | 3111 4903 | 0 | 0 1769.80/1770.44 c 1769s | 25 | 6625532 | 6290998 | 3111 4907 | 0 | 0 1771.79/1772.44 c 1771s | 25 | 6632681 | 6297598 | 3111 4911 | 0 | 0 1773.80/1774.46 c 1773s | 25 | 6639638 | 6304098 | 3111 4915 | 0 | 0 1775.79/1776.47 c 1775s | 25 | 6646354 | 6310498 | 3111 4919 | 0 | 0 1777.79/1778.48 c 1777s | 25 | 6653604 | 6317298 | 3111 4923 | 0 | 0 1779.89/1780.51 c 1779s | 25 | 6659837 | 6323098 | 3111 4927 | 0 | 0 1781.90/1782.52 c 1781s | 25 | 6666663 | 6329198 | 3111 4931 | 0 | 0 1783.90/1784.53 c 1783s | 25 | 6673676 | 6335698 | 3111 4935 | 0 | 0 1785.91/1786.55 c 1785s | 25 | 6680746 | 6342298 | 3111 4939 | 0 | 0 1787.90/1788.55 c 1787s | 25 | 6686922 | 6348198 | 3111 4942 | 0 | 0 1789.90/1790.56 c 1789s | 25 | 6693665 | 6354598 | 3111 4946 | 0 | 0 1791.89/1792.56 c 1791s | 25 | 6700763 | 6360898 | 3111 4950 | 0 | 0 1793.89/1794.59 c 1793s | 25 | 6708237 | 6367798 | 3111 4954 | 0 | 0 1795.89/1796.60 c 1795s | 25 | 6715418 | 6374398 | 3111 4958 | 0 | 0 1798.00/1798.62 c 1797s | 25 | 6723019 | 6381598 | 3111 4963 | 0 | 0 1799.99/1800.64 c 1799s | 25 | 6729973 | 6387998 | 3111 4967 | 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-4105980-1466260908/watcher-4105980-1466260908 -o /tmp/evaluation-result-4105980-1466260908/solver-4105980-1466260908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105980-1466260908.opb pid=7936 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.05 2.00 3/179 7939 /proc/meminfo: memFree=30156780/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=246204 CPUtime=0 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 4 0 28140940 252112896 687 33554432000 4194304 16246674 140735189422800 140735189422224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 62319 698 441 2943 0 59213 0 [pid=7939/tid=7940] ppid=7936 vsize=290236 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 297201664 857 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=294332 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 301395968 874 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=298428 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28140940 305590272 891 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.05 2.05 2.00 3/179 7939 /proc/meminfo: memFree=30156780/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 20217 0 0 0 6 3 0 0 20 0 4 0 28140940 1247350784 20055 33554432000 4194304 16246674 140735189422800 140735189422224 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 304529 20062 757 2943 0 301423 0 [pid=7939/tid=7940] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 20069 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 20078 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 20082 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200515 s] /proc/loadavg: 2.05 2.05 2.00 3/179 7939 /proc/meminfo: memFree=30156780/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 37613 0 0 0 14 5 0 0 20 0 4 0 28140940 1247350784 37451 33554432000 4194304 16246674 140735189422800 140735189422224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 304529 37459 764 2943 0 301423 0 [pid=7939/tid=7940] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 37463 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 37469 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 37473 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300453 s] /proc/loadavg: 2.05 2.05 2.00 3/179 7939 /proc/meminfo: memFree=30156780/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 54164 0 0 0 22 6 0 0 20 0 4 0 28140940 1247350784 54001 33554432000 4194304 16246674 140735189422800 140735189404672 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 304529 54009 765 2943 0 301423 0 [pid=7939/tid=7940] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 54018 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 54025 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 54030 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700413 s] /proc/loadavg: 2.05 2.05 2.00 3/179 7939 /proc/meminfo: memFree=30156780/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 126538 0 0 0 53 15 0 0 20 0 4 0 28140940 1247350784 126374 33554432000 4194304 16246674 140735189422800 140735189404672 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 304529 126383 793 2943 0 301423 0 [pid=7939/tid=7940] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 126389 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 126394 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28140940 1247350784 126398 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.05 2.05 2.00 3/183 7943 /proc/meminfo: memFree=29366756/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1219140 CPUtime=1.48 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 245779 0 0 0 116 32 0 0 20 0 4 0 28140940 1248399360 245593 33554432000 4194304 16246674 140735189422800 140735189422112 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 304785 245593 851 2943 0 301679 0 [pid=7939/tid=7940] ppid=7936 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1248399360 245593 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1248399360 245593 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1248399360 245593 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10042 s] /proc/loadavg: 2.05 2.05 2.00 3/183 7943 /proc/meminfo: memFree=29175796/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 267439 0 0 0 274 34 0 0 20 0 4 0 28140940 1337528320 267253 33554432000 4194304 16246674 140735189422800 140735189404672 12460171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 326545 267253 851 2943 0 323439 0 [pid=7939/tid=7940] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267253 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267253 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267253 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30032 s] /proc/loadavg: 2.05 2.05 2.00 3/183 7943 /proc/meminfo: memFree=29087592/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1306180 CPUtime=6.28 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 267644 0 0 0 594 34 0 0 20 0 4 0 28140940 1337528320 267458 33554432000 4194304 16246674 140735189422800 140735189404672 5712474 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 326545 267458 852 2943 0 323439 0 [pid=7939/tid=7940] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267458 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267458 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1337528320 267458 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7943 /proc/meminfo: memFree=29086772/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 267900 0 0 0 1234 34 0 0 20 0 4 0 28140940 1338576896 267714 33554432000 4194304 16246674 140735189422800 140735189404672 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 326801 267714 852 2943 0 323695 0 [pid=7939/tid=7940] ppid=7936 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1338576896 267714 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1338576896 267714 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1338576896 267714 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.03 2.05 2.00 3/183 7943 /proc/meminfo: memFree=29086816/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 268156 0 0 0 2514 35 0 0 20 0 4 0 28140940 1339625472 267970 33554432000 4194304 16246674 140735189422800 140735189404672 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 327057 267970 852 2943 0 323951 0 [pid=7939/tid=7940] ppid=7936 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1339625472 267970 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1339625472 267970 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1339625472 267970 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.02 2.04 2.00 3/183 7943 /proc/meminfo: memFree=29085700/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1309252 CPUtime=51.07 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 268413 0 0 0 5072 35 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 140735189405800 12482680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7939/statm: 327313 268227 853 2943 0 324207 0 [pid=7939/tid=7940] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 7944 /proc/meminfo: memFree=29084972/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1309252 CPUtime=102.26 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 268413 0 0 0 10191 35 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 140735189404672 13943664 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7939/statm: 327313 268227 853 2943 0 324207 0 [pid=7939/tid=7940] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1340674048 268227 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.08 2.06 2.00 3/183 8243 /proc/meminfo: memFree=29126456/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1315396 CPUtime=1361.76 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270410 0 0 0 136118 58 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 140735189404672 13954625 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 328849 270021 855 2943 0 325743 0 [pid=7939/tid=7940] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.02 2.05 2.00 3/183 8244 /proc/meminfo: memFree=29126488/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1315396 CPUtime=1421.76 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270410 0 0 0 142117 59 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 140735189405800 5754961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 328849 270021 855 2943 0 325743 0 [pid=7939/tid=7940] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.15 2.08 2.01 3/183 8246 /proc/meminfo: memFree=29126140/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1315396 CPUtime=1481.74 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270410 0 0 0 148115 59 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 140735189404672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 328849 270021 855 2943 0 325743 0 [pid=7939/tid=7940] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1346965504 270021 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.10 2.08 2.01 3/183 8247 /proc/meminfo: memFree=29124936/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1541.74 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 154114 60 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 6026583 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.09 2.08 2.01 3/183 8248 /proc/meminfo: memFree=29125224/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1601.72 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 160111 61 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 5546072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.14 2.09 2.02 3/183 8249 /proc/meminfo: memFree=29123772/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1661.71 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 166109 62 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 5722600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.11 2.09 2.02 3/184 8253 /proc/meminfo: memFree=29123192/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1721.7 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 172107 63 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 5808152 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.04 2.07 2.01 3/183 8255 /proc/meminfo: memFree=29123256/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1781.7 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 178105 65 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189405800 5546252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 2.10 2.08 2.01 3/183 8255 /proc/meminfo: memFree=29123340/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1800.1 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 179945 65 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 5664792 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1316420 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 7939 sig 9 ??? kill -7939 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.10 2.08 2.01 3/183 8255 /proc/meminfo: memFree=29123340/32872528 swapFree=526336/559040 [pid=7939] ppid=7936 vsize=1316420 CPUtime=1800.1 cores=1,3,5,7 /proc/7939/stat : 7939 (toysat) R 7936 7939 28898 0 -1 4202496 270666 0 0 0 179945 65 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 140735189404672 5664792 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7939/statm: 329105 270277 855 2943 0 325999 0 [pid=7939/tid=7940] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7940/stat : 7940 (toysat) S 7936 7939 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983775050992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7939/tid=7941] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7941/stat : 7941 (toysat) S 7936 7939 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983764561136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7939/tid=7942] ppid=7936 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7939/task/7942/stat : 7942 (toysat) S 7936 7939 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28140940 1348014080 270277 33554432000 4194304 16246674 140735189422800 139983754087600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1316420 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.12 CPU user time (s): 1799.46 CPU system time (s): 0.6569 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.6569 maximum resident set size= 1081108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270666 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= 472 involuntary context switches= 2874 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.227 second user time and 16.0186 second system time The end
Begin job on node106 at 2016-06-18 16:41:48 IDJOB=4105980 IDBENCH=47881 IDSOLVER=2542 FILE ID=node106/4105980-1466260908 RUNJOBID= node106-1466241787-28915 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=8-P0=157-P1=211-P2=97-P3=71-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105980-1466260908/watcher-4105980-1466260908 -o /tmp/evaluation-result-4105980-1466260908/solver-4105980-1466260908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105980-1466260908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85ac83bf4a556e0f3edfff4036eff461 RANDOM SEED=681613481 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: 30157036 kB Buffers: 76600 kB Cached: 193040 kB SwapCached: 1736 kB Active: 1233912 kB Inactive: 175808 kB Active(anon): 1137584 kB Inactive(anon): 4736 kB Active(file): 96328 kB Inactive(file): 171072 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16500 kB Writeback: 0 kB AnonPages: 1698444 kB Mapped: 10776 kB Shmem: 0 kB Slab: 613272 kB SReclaimable: 56540 kB SUnreclaim: 556732 kB KernelStack: 1520 kB PageTables: 7416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1841364 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1165312 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 17:11:49