| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.15 | 1800.58 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare2.opb |
| MD5SUM | ed3cba978a5e277395c10305f700e2f4 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 77824 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 46080 |
| Optimality of the best value was proved | NO |
| Number of variables | 270 |
| 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 | 90 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 210 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 7516192761 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 7516192761 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T10:50:32+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-4103981-1466239832.opb"] 0.00/0.01 c use --random-gen="2150725429 3810594704 3944585940 3749880237 4221872390 1410541123 2184964312 3787235289 3329273497 2922086862 2865306151 3547904771 496192629 4211207526 386616784 678206830 1609105324 2344706787 3302290113 4119685775 980007766 2255558275 1371064435 732799962 186119592 1317360021 266203382 412526565 1790317235 315064246 540914407 3954048725 2247856273 3130883307 2448358694 2852616994 888174978 3633834153 3110384565 340742336 3008888214 1752355377 296430407 111316998 3636447480 629980242 2971832007 866259571 467521139 3154348417 1747386279 3105542566 329461903 3165080278 2661003557 3736282206 1322719175 3321991567 463319905 704848889 3338203300 1223738509 651535240 3067171613 179564185 2011968536 4201437877 1113847561 4039389850 3897226085 3327102341 3377911459 4009913139 2233806170 642942400 3147188492 761821448 3685345948 1358639961 4234953476 3738462310 1115492985 372323231 280899390 3082503946 1718018753 3533471942 1824397140 3301473650 2725104357 4167653171 961726393 766102718 321895389 2755628743 555992165 3083277906 3938368818 430646674 412572892 3169268665 3347250921 3990659160 133403330 3236020904 859133720 540773929 2226638399 3249854297 2717019310 4084074902 163850422 3331226737 2754483141 3419426100 4004291786 3811298415 3713332938 2100832030 1426139128 2244864149 4209113781 2489569933 2362608844 2931527155 4039204993 1949232244 785220310 1712314441 1195172008 1274262323 1660418160 2744294715 3354167336 4158232076 3701901375 1709138512 341566809 1907730611 327444965 2378595935 2413497120 3798094711 2220570468 1961658211 3253952259 2422060878 2376986792 3799648873 1189245252 2640999697 160225303 1681909797 1290627273 741030260 4249149629 1939113418 3462721595 3532724010 1483724663 2833501751 3397684497 162750797 154306835 983866975 633589265 119267881 673518880 3372576128 1240397708 1458984361 2928416573 4037413083 4139989298 2756070590 419826026 2912469955 524727444 689957517 1503994397 318557828 2060592992 3218712948 3029992658 2858119513 294271541 220007890 826544269 1557186424 245016663 2708004766 2445782218 133083752 4274873190 1753758072 206268113 3282638195 120571209 3507726314 1065056711 270347122 3405804540 332390335 1608951614 3189985537 461700353 3488418833 470313038 2134072978 3850886062 3936276640 2975153897 3273811575 544565883 193436714 230366197 1649107549 2070915043 2612786554 456238188 3373730954 1932626301 3157026682 1346143161 1748854127 3156664995 2165034180 3808629774 4262376228 320276677 801973495 3258291190 466794606 3637924260 1869512766 1726721293 3800591328 385189350 4128024315 1403701401 1956820948 1028340462 3272173681 3242481535 2725464025 2659332399 37834381 2411715936 3543918065 283099295 1601852331 1020998457 366929109 3340726061 2027568113 1364609176 255 362436" option to reproduce the execution 0.00/0.01 c #vars 270 0.00/0.01 c #constraints 7 4.19/4.27 c BCD2: Hardening is enabled. 4.19/4.27 c BCD2: BiasedSearch is enabled. 4.19/4.27 c Solving starts ... 4.19/4.27 c ============================[ Search Statistics ]============================ 4.19/4.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.27 c | | | | Limit GC | Var | Constra 4.19/4.27 c ============================================================================= 4.19/4.27 c 0.0s | 0 | 0 | 0 | 94 0 | 63 | 0 4.40/4.45 c 0.0s | 1 | 140 | 100 | 94 0 | 63 | 0 4.40/4.45 c 0.0s | 1 | 198 | 101 | 104 0 | 63 | 0 4.40/4.45 c #cpu_time = 0.027s 4.40/4.45 c #wall_clock_time = 0.027s 4.40/4.45 c #decision = 198 4.40/4.45 c #random_decision = 1 4.40/4.45 c #conflict = 101 4.40/4.45 c #restart = 1 4.40/4.45 o 9903104 11.48/11.59 c BCD2: hardening fixes 42 literals 11.48/11.59 c BCD2: updating upper bound: 7516192761 -> 9903103 11.48/11.59 c BCD2: 0 <= obj <= 9903103 11.48/11.59 c BCD2: #cores=0, #unrelaxed=168, #relaxed=0, #hardened=42 11.48/11.59 c BCD2: #sat=1 #unsat=1 bias=1/2 11.48/11.59 c Solving starts ... 11.48/11.59 c ============================[ Search Statistics ]============================ 11.48/11.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.48/11.59 c | | | | Limit GC | Var | Constra 11.48/11.59 c ============================================================================= 11.48/11.59 c 0.0s | 0 | 0 | 0 | 104 0 | 63 | 0 11.58/11.61 c 0.0s | 1 | 285 | 100 | 104 0 | 63 | 0 11.58/11.64 c 0.1s | 2 | 620 | 250 | 115 1 | 63 | 0 11.58/11.69 c 0.1s | 3 | 1031 | 475 | 127 2 | 63 | 0 11.68/11.77 c 0.2s | 4 | 1551 | 813 | 140 4 | 63 | 0 11.78/11.88 c 0.3s | 5 | 2238 | 1320 | 154 7 | 63 | 0 11.98/12.05 c 0.5s | 6 | 3176 | 2081 | 170 11 | 63 | 0 12.19/12.30 c 0.7s | 7 | 4496 | 3223 | 188 17 | 63 | 0 12.59/12.66 c 1.1s | 8 | 6390 | 4936 | 207 25 | 63 | 0 13.19/13.21 c 1.6s | 9 | 9141 | 7506 | 228 37 | 63 | 0 13.98/14.04 c 2.5s | 10 | 13196 | 11361 | 251 54 | 63 | 0 15.18/15.22 c 3.6s | 11 | 19208 | 17144 | 277 78 | 63 | 0 16.88/16.94 c 5.4s | 12 | 28176 | 25819 | 305 112 | 63 | 0 18.88/18.95 c 7.4s | 12 | 37604 | 35019 | 305 147 | 63 | 0 19.68/19.74 c 8.1s | 13 | 41444 | 38832 | 336 161 | 63 | 0 21.68/21.75 c 10.2s | 13 | 51113 | 48232 | 336 194 | 63 | 0 23.68/23.76 c 12.2s | 13 | 60510 | 57532 | 336 227 | 63 | 0 23.88/23.94 c 12.4s | 14 | 61333 | 58352 | 370 230 | 63 | 0 25.88/25.96 c 14.4s | 14 | 70873 | 67652 | 370 261 | 63 | 0 27.88/27.97 c 16.4s | 14 | 80410 | 77052 | 370 292 | 63 | 0 29.88/29.98 c 18.4s | 14 | 90205 | 86752 | 370 325 | 63 | 0 30.08/30.17 c 18.6s | 15 | 91097 | 87632 | 408 328 | 63 | 0 32.08/32.17 c 20.6s | 15 | 100456 | 96732 | 408 356 | 63 | 0 34.08/34.18 c 22.6s | 15 | 109354 | 105532 | 408 384 | 63 | 0 36.18/36.20 c 24.6s | 15 | 118356 | 114432 | 408 412 | 63 | 0 38.18/38.21 c 26.6s | 15 | 127231 | 123232 | 408 440 | 63 | 0 40.08/40.14 c 28.6s | 16 | 135623 | 131552 | 449 465 | 63 | 0 42.08/42.16 c 30.6s | 16 | 144551 | 140252 | 449 491 | 63 | 0 44.09/44.16 c 32.6s | 16 | 153509 | 149152 | 449 517 | 63 | 0 46.08/46.18 c 34.6s | 16 | 162505 | 158052 | 449 544 | 63 | 0 48.08/48.18 c 36.6s | 16 | 171560 | 167052 | 449 570 | 63 | 0 50.18/50.20 c 38.6s | 16 | 181561 | 176852 | 449 599 | 63 | 0 52.18/52.21 c 40.6s | 16 | 191148 | 186352 | 449 627 | 63 | 0 54.18/54.22 c 42.6s | 16 | 200669 | 195752 | 449 655 | 63 | 0 54.58/54.60 c 43.0s | 17 | 202372 | 197432 | 494 659 | 63 | 0 56.58/56.60 c 45.0s | 17 | 210995 | 205832 | 494 682 | 63 | 0 58.58/58.62 c 47.0s | 17 | 219486 | 214232 | 494 706 | 63 | 0 60.58/60.63 c 49.0s | 17 | 228461 | 223132 | 494 730 | 63 | 0 62.58/62.64 c 51.1s | 17 | 237236 | 231832 | 494 754 | 63 | 0 64.58/64.65 c 53.1s | 17 | 245798 | 240332 | 494 778 | 63 | 0 66.58/66.65 c 55.1s | 17 | 254365 | 248832 | 494 801 | 63 | 0 68.58/68.66 c 57.1s | 17 | 263320 | 257732 | 494 826 | 63 | 0 70.58/70.68 c 59.1s | 17 | 272804 | 267132 | 494 852 | 63 | 0 72.58/72.68 c 61.1s | 17 | 282384 | 276632 | 494 878 | 63 | 0 74.58/74.69 c 63.1s | 17 | 291642 | 285832 | 494 903 | 63 | 0 76.58/76.70 c 65.1s | 17 | 300512 | 294632 | 544 928 | 63 | 0 76.98/77.07 c 65.5s | 18 | 302144 | 296252 | 544 932 | 63 | 0 78.98/79.08 c 67.5s | 18 | 310772 | 304552 | 544 953 | 63 | 0 80.97/81.09 c 69.5s | 18 | 319374 | 313052 | 544 975 | 63 | 0 83.07/83.10 c 71.5s | 18 | 327807 | 321352 | 544 997 | 63 | 0 85.07/85.11 c 73.5s | 18 | 336451 | 329852 | 544 1019 | 63 | 0 87.07/87.11 c 75.5s | 18 | 345447 | 338752 | 544 1042 | 63 | 0 89.08/89.13 c 77.5s | 18 | 354007 | 347252 | 544 1064 | 63 | 0 91.07/91.15 c 79.6s | 18 | 362596 | 355752 | 544 1086 | 63 | 0 93.07/93.17 c 81.6s | 18 | 371222 | 364252 | 544 1108 | 63 | 0 95.07/95.19 c 83.6s | 18 | 379913 | 372852 | 544 1130 | 63 | 0 97.17/97.20 c 85.6s | 18 | 388716 | 381552 | 544 1153 | 63 | 0 99.17/99.21 c 87.6s | 18 | 397324 | 390052 | 544 1175 | 63 | 0 101.18/101.21 c 89.6s | 18 | 405765 | 398352 | 544 1197 | 63 | 0 103.17/103.22 c 91.6s | 18 | 414376 | 406852 | 544 1219 | 63 | 0 105.17/105.24 c 93.7s | 18 | 423020 | 415352 | 544 1241 | 63 | 0 107.17/107.25 c 95.7s | 18 | 431979 | 424152 | 544 1264 | 63 | 0 109.17/109.27 c 97.7s | 18 | 441536 | 433552 | 544 1288 | 63 | 0 111.18/111.29 c 99.7s | 18 | 450901 | 442852 | 599 1312 | 63 | 0 111.57/111.66 c 100s | 19 | 452541 | 444482 | 599 1316 | 63 | 0 113.57/113.66 c 102s | 19 | 460869 | 452582 | 599 1335 | 63 | 0 115.57/115.67 c 104s | 19 | 469571 | 461182 | 599 1356 | 63 | 0 117.57/117.68 c 106s | 19 | 478554 | 470082 | 599 1378 | 63 | 0 119.56/119.68 c 108s | 19 | 487862 | 479282 | 599 1400 | 63 | 0 121.56/121.69 c 110s | 19 | 496619 | 487882 | 599 1421 | 63 | 0 123.66/123.70 c 112s | 19 | 504975 | 496182 | 599 1441 | 63 | 0 125.66/125.71 c 114s | 19 | 513735 | 504882 | 599 1462 | 63 | 0 127.67/127.72 c 116s | 19 | 522900 | 513882 | 599 1484 | 63 | 0 129.66/129.72 c 118s | 19 | 531326 | 522182 | 599 1504 | 63 | 0 131.66/131.73 c 120s | 19 | 539840 | 530582 | 599 1524 | 63 | 0 133.66/133.74 c 122s | 19 | 548286 | 538982 | 599 1544 | 63 | 0 135.66/135.75 c 124s | 19 | 556932 | 547582 | 599 1565 | 63 | 0 137.66/137.77 c 126s | 19 | 565731 | 556282 | 599 1586 | 63 | 0 139.67/139.78 c 128s | 19 | 574400 | 564882 | 599 1607 | 63 | 0 141.76/141.80 c 130s | 19 | 582880 | 573282 | 599 1627 | 63 | 0 143.76/143.82 c 132s | 19 | 591473 | 581782 | 599 1648 | 63 | 0 145.76/145.82 c 134s | 19 | 600579 | 590782 | 599 1670 | 63 | 0 147.76/147.83 c 136s | 19 | 609986 | 600082 | 599 1693 | 63 | 0 149.76/149.83 c 138s | 19 | 618871 | 608882 | 599 1714 | 63 | 0 151.76/151.85 c 140s | 19 | 627968 | 617882 | 599 1735 | 63 | 0 153.76/153.86 c 142s | 19 | 636798 | 626582 | 599 1757 | 63 | 0 155.76/155.89 c 144s | 19 | 646018 | 635682 | 599 1779 | 63 | 0 157.87/157.91 c 146s | 19 | 654698 | 644282 | 599 1800 | 63 | 0 159.87/159.92 c 148s | 19 | 663052 | 652582 | 599 1820 | 63 | 0 161.87/161.93 c 150s | 19 | 671324 | 660782 | 599 1840 | 63 | 0 163.27/163.37 c 151s | 20 | 677425 | 666827 | 659 1853 | 63 | 0 165.26/165.39 c 153s | 20 | 686134 | 675227 | 659 1872 | 63 | 0 167.36/167.40 c 155s | 20 | 694608 | 683627 | 659 1891 | 63 | 0 169.37/169.40 c 157s | 20 | 703414 | 692327 | 659 1911 | 63 | 0 171.36/171.41 c 159s | 20 | 712208 | 701027 | 659 1930 | 63 | 0 173.36/173.42 c 161s | 20 | 720708 | 709427 | 659 1949 | 63 | 0 175.36/175.44 c 163s | 20 | 729379 | 718027 | 659 1969 | 63 | 0 177.36/177.46 c 165s | 20 | 737973 | 726527 | 659 1988 | 63 | 0 179.37/179.47 c 167s | 20 | 746650 | 735127 | 659 2007 | 63 | 0 181.36/181.48 c 169s | 20 | 754727 | 743127 | 659 2025 | 63 | 0 183.36/183.48 c 171s | 20 | 762792 | 751127 | 659 2043 | 63 | 0 185.36/185.49 c 173s | 20 | 771474 | 759727 | 659 2063 | 63 | 0 187.46/187.50 c 175s | 20 | 780482 | 768627 | 659 2083 | 63 | 0 189.46/189.50 c 177s | 20 | 789378 | 777427 | 659 2103 | 63 | 0 191.47/191.52 c 179s | 20 | 797767 | 785727 | 659 2121 | 63 | 0 193.46/193.54 c 181s | 20 | 806225 | 794127 | 659 2140 | 63 | 0 195.46/195.54 c 183s | 20 | 814974 | 802827 | 659 2160 | 63 | 0 197.46/197.54 c 185s | 20 | 823073 | 810827 | 659 2178 | 63 | 0 199.46/199.57 c 187s | 20 | 831451 | 819127 | 659 2197 | 63 | 0 201.46/201.58 c 189s | 20 | 839938 | 827527 | 659 2216 | 63 | 0 203.46/203.58 c 191s | 20 | 848648 | 836127 | 659 2235 | 63 | 0 205.46/205.59 c 194s | 20 | 857185 | 844527 | 659 2254 | 63 | 0 207.56/207.61 c 196s | 20 | 865847 | 853027 | 659 2273 | 63 | 0 209.56/209.62 c 198s | 20 | 874545 | 861627 | 659 2293 | 63 | 0 211.56/211.65 c 200s | 20 | 883043 | 870027 | 659 2312 | 63 | 0 213.55/213.67 c 202s | 20 | 891252 | 878127 | 659 2330 | 63 | 0 215.56/215.67 c 204s | 20 | 899717 | 886527 | 659 2349 | 63 | 0 217.55/217.68 c 206s | 20 | 908503 | 895227 | 659 2369 | 63 | 0 219.55/219.69 c 208s | 20 | 916892 | 903527 | 659 2388 | 63 | 0 221.65/221.70 c 210s | 20 | 925415 | 911927 | 659 2407 | 63 | 0 223.65/223.70 c 212s | 20 | 934540 | 920927 | 659 2427 | 63 | 0 225.65/225.72 c 214s | 20 | 943452 | 929727 | 659 2447 | 63 | 0 227.66/227.73 c 216s | 20 | 952033 | 938227 | 659 2466 | 63 | 0 229.65/229.74 c 218s | 20 | 960573 | 946627 | 659 2486 | 63 | 0 231.65/231.76 c 220s | 20 | 969871 | 955727 | 659 2506 | 63 | 0 233.65/233.76 c 222s | 20 | 978523 | 964227 | 659 2525 | 63 | 0 235.65/235.77 c 224s | 20 | 987011 | 972427 | 659 2544 | 63 | 0 237.65/237.78 c 226s | 20 | 995335 | 980627 | 659 2562 | 63 | 0 239.65/239.80 c 228s | 20 | 1003532 | 988727 | 659 2580 | 63 | 0 241.75/241.82 c 230s | 20 | 1011842 | 996927 | 725 2598 | 63 | 0 242.55/242.65 c 231s | 21 | 1015311 | 1000345 | 725 2605 | 63 | 0 244.55/244.66 c 233s | 21 | 1023447 | 1008245 | 725 2622 | 63 | 0 246.55/246.66 c 235s | 21 | 1031694 | 1016445 | 725 2639 | 63 | 0 248.55/248.68 c 237s | 21 | 1040097 | 1024745 | 725 2656 | 63 | 0 250.55/250.68 c 239s | 21 | 1047766 | 1032345 | 725 2672 | 63 | 0 252.55/252.70 c 241s | 21 | 1055837 | 1040345 | 725 2689 | 63 | 0 254.65/254.71 c 243s | 21 | 1063905 | 1048345 | 725 2706 | 63 | 0 256.65/256.73 c 245s | 21 | 1072197 | 1056545 | 725 2723 | 63 | 0 258.64/258.75 c 247s | 21 | 1079957 | 1064245 | 725 2739 | 63 | 0 260.65/260.76 c 249s | 21 | 1087502 | 1071745 | 725 2755 | 63 | 0 262.64/262.76 c 251s | 21 | 1095061 | 1079245 | 725 2771 | 63 | 0 264.64/264.79 c 253s | 21 | 1102917 | 1087045 | 725 2787 | 63 | 0 266.64/266.79 c 255s | 21 | 1110862 | 1094945 | 725 2804 | 63 | 0 268.64/268.79 c 257s | 21 | 1119584 | 1103545 | 725 2822 | 63 | 0 270.74/270.81 c 259s | 21 | 1128257 | 1112145 | 725 2840 | 63 | 0 272.75/272.82 c 261s | 21 | 1136508 | 1120345 | 725 2857 | 63 | 0 274.74/274.83 c 263s | 21 | 1144350 | 1128145 | 725 2874 | 63 | 0 276.74/276.84 c 265s | 21 | 1152390 | 1136145 | 725 2890 | 63 | 0 278.74/278.87 c 267s | 21 | 1160425 | 1144145 | 725 2907 | 63 | 0 280.74/280.87 c 269s | 21 | 1167865 | 1151545 | 725 2923 | 63 | 0 282.75/282.87 c 271s | 21 | 1175526 | 1159145 | 725 2939 | 63 | 0 284.74/284.89 c 273s | 21 | 1183374 | 1166945 | 725 2955 | 63 | 0 286.84/286.90 c 275s | 21 | 1191239 | 1174745 | 725 2972 | 63 | 0 288.84/288.92 c 277s | 21 | 1199150 | 1182545 | 725 2988 | 63 | 0 290.84/290.94 c 279s | 21 | 1207386 | 1190645 | 725 3005 | 63 | 0 292.84/292.96 c 281s | 21 | 1215367 | 1198545 | 725 3022 | 63 | 0 294.84/294.98 c 283s | 21 | 1223693 | 1206745 | 725 3039 | 63 | 0 296.95/297.01 c 285s | 21 | 1231818 | 1214745 | 725 3055 | 63 | 0 298.94/299.03 c 287s | 21 | 1240061 | 1222845 | 725 3073 | 63 | 0 300.94/301.04 c 289s | 21 | 1248060 | 1230745 | 725 3089 | 63 | 0 302.94/303.04 c 291s | 21 | 1256181 | 1238745 | 725 3106 | 63 | 0 304.94/305.04 c 293s | 21 | 1264203 | 1246645 | 725 3123 | 63 | 0 306.95/307.05 c 295s | 21 | 1272179 | 1254545 | 725 3139 | 63 | 0 308.94/309.06 c 297s | 21 | 1280402 | 1262645 | 725 3156 | 63 | 0 310.94/311.07 c 299s | 21 | 1288382 | 1270545 | 725 3173 | 63 | 0 312.94/313.09 c 301s | 21 | 1296700 | 1278745 | 725 3190 | 63 | 0 314.94/315.10 c 303s | 21 | 1305175 | 1287145 | 725 3208 | 63 | 0 317.04/317.12 c 305s | 21 | 1313235 | 1295145 | 725 3225 | 63 | 0 319.04/319.14 c 307s | 21 | 1321090 | 1302945 | 725 3241 | 63 | 0 321.04/321.16 c 309s | 21 | 1328850 | 1310645 | 725 3257 | 63 | 0 323.04/323.18 c 311s | 21 | 1336964 | 1318645 | 725 3274 | 63 | 0 325.04/325.18 c 313s | 21 | 1345089 | 1326645 | 725 3291 | 63 | 0 327.04/327.19 c 315s | 21 | 1353356 | 1334745 | 725 3308 | 63 | 0 329.14/329.22 c 317s | 21 | 1361476 | 1342745 | 725 3325 | 63 | 0 331.14/331.23 c 319s | 21 | 1369622 | 1350745 | 725 3341 | 63 | 0 333.13/333.24 c 321s | 21 | 1377308 | 1358345 | 725 3357 | 63 | 0 335.13/335.26 c 323s | 21 | 1385484 | 1366445 | 725 3375 | 63 | 0 337.13/337.27 c 325s | 21 | 1393986 | 1374845 | 725 3392 | 63 | 0 339.13/339.27 c 327s | 21 | 1402170 | 1382945 | 725 3409 | 63 | 0 341.13/341.28 c 329s | 21 | 1410550 | 1391245 | 725 3427 | 63 | 0 343.14/343.28 c 331s | 21 | 1419044 | 1399645 | 725 3444 | 63 | 0 345.23/345.31 c 333s | 21 | 1427307 | 1407845 | 725 3462 | 63 | 0 347.23/347.31 c 335s | 21 | 1436203 | 1416645 | 725 3480 | 63 | 0 349.23/349.33 c 337s | 21 | 1444294 | 1424645 | 725 3497 | 63 | 0 351.23/351.36 c 339s | 21 | 1452559 | 1432845 | 725 3514 | 63 | 0 353.23/353.37 c 341s | 21 | 1460662 | 1440845 | 725 3531 | 63 | 0 355.23/355.38 c 343s | 21 | 1468321 | 1448445 | 725 3547 | 63 | 0 357.23/357.39 c 345s | 21 | 1476395 | 1456445 | 725 3564 | 63 | 0 359.23/359.39 c 347s | 21 | 1484364 | 1464345 | 725 3581 | 63 | 0 361.34/361.42 c 349s | 21 | 1492589 | 1472445 | 725 3598 | 63 | 0 363.33/363.42 c 351s | 21 | 1500364 | 1480145 | 725 3614 | 63 | 0 365.33/365.43 c 353s | 21 | 1508321 | 1488045 | 725 3631 | 63 | 0 367.34/367.43 c 355s | 21 | 1516268 | 1495845 | 798 3646 | 63 | 0 368.44/368.57 c 356s | 22 | 1521117 | 1500622 | 798 3656 | 63 | 0 370.43/370.58 c 358s | 22 | 1529405 | 1508622 | 798 3671 | 63 | 0 372.43/372.59 c 361s | 22 | 1537031 | 1516122 | 798 3686 | 63 | 0 374.53/374.62 c 363s | 22 | 1544635 | 1523622 | 798 3700 | 63 | 0 376.53/376.64 c 365s | 22 | 1552539 | 1531422 | 798 3716 | 63 | 0 378.53/378.65 c 367s | 22 | 1560234 | 1539022 | 798 3730 | 63 | 0 380.54/380.66 c 369s | 22 | 1567912 | 1546622 | 798 3745 | 63 | 0 382.53/382.68 c 371s | 22 | 1575670 | 1554322 | 798 3760 | 63 | 0 384.53/384.69 c 373s | 22 | 1583552 | 1562122 | 798 3775 | 63 | 0 386.53/386.69 c 375s | 22 | 1591214 | 1569722 | 798 3790 | 63 | 0 388.63/388.70 c 377s | 22 | 1598924 | 1577322 | 798 3805 | 63 | 0 390.63/390.72 c 379s | 22 | 1606792 | 1585122 | 798 3820 | 63 | 0 392.63/392.73 c 381s | 22 | 1614565 | 1592822 | 798 3835 | 63 | 0 394.63/394.75 c 383s | 22 | 1622666 | 1600822 | 798 3851 | 63 | 0 396.63/396.75 c 385s | 22 | 1630447 | 1608522 | 798 3866 | 63 | 0 398.63/398.76 c 387s | 22 | 1638167 | 1616122 | 798 3880 | 63 | 0 400.63/400.76 c 389s | 22 | 1645975 | 1623822 | 798 3895 | 63 | 0 402.63/402.77 c 391s | 22 | 1653749 | 1631522 | 798 3910 | 63 | 0 404.62/404.79 c 393s | 22 | 1661577 | 1639222 | 798 3925 | 63 | 0 406.72/406.81 c 395s | 22 | 1669140 | 1646722 | 798 3940 | 63 | 0 408.72/408.82 c 397s | 22 | 1676848 | 1654322 | 798 3955 | 63 | 0 410.72/410.84 c 399s | 22 | 1684891 | 1662222 | 798 3970 | 63 | 0 412.72/412.84 c 401s | 22 | 1692927 | 1670122 | 798 3985 | 63 | 0 414.73/414.86 c 403s | 22 | 1700935 | 1678022 | 798 4001 | 63 | 0 416.72/416.86 c 405s | 22 | 1708635 | 1685622 | 798 4016 | 63 | 0 418.72/418.87 c 407s | 22 | 1716309 | 1693222 | 798 4030 | 63 | 0 420.73/420.88 c 409s | 22 | 1723796 | 1700622 | 798 4045 | 63 | 0 422.73/422.88 c 411s | 22 | 1731124 | 1707922 | 798 4059 | 63 | 0 424.82/424.90 c 413s | 22 | 1738660 | 1715422 | 798 4074 | 63 | 0 426.73/426.90 c 415s | 22 | 1746229 | 1722922 | 798 4088 | 63 | 0 428.82/428.92 c 417s | 22 | 1753889 | 1730522 | 798 4103 | 63 | 0 430.82/430.95 c 419s | 22 | 1761333 | 1737922 | 798 4117 | 63 | 0 432.82/432.95 c 421s | 22 | 1768753 | 1745322 | 798 4132 | 63 | 0 434.82/434.97 c 423s | 22 | 1776297 | 1752822 | 798 4147 | 63 | 0 436.92/437.00 c 425s | 22 | 1784082 | 1760522 | 798 4162 | 63 | 0 438.83/439.00 c 427s | 22 | 1791738 | 1768122 | 798 4176 | 63 | 0 440.92/441.02 c 429s | 22 | 1799435 | 1775722 | 798 4191 | 63 | 0 442.92/443.03 c 431s | 22 | 1807019 | 1783222 | 798 4206 | 63 | 0 444.92/445.04 c 433s | 22 | 1814482 | 1790622 | 798 4220 | 63 | 0 446.92/447.07 c 435s | 22 | 1821887 | 1797922 | 798 4235 | 63 | 0 448.92/449.08 c 437s | 22 | 1829353 | 1805322 | 798 4249 | 63 | 0 450.93/451.10 c 439s | 22 | 1836713 | 1812622 | 798 4263 | 63 | 0 453.02/453.11 c 441s | 22 | 1844255 | 1820122 | 798 4278 | 63 | 0 455.02/455.11 c 443s | 22 | 1851730 | 1827522 | 798 4292 | 63 | 0 457.02/457.12 c 445s | 22 | 1859122 | 1834822 | 798 4307 | 63 | 0 459.02/459.13 c 447s | 22 | 1866285 | 1841922 | 798 4321 | 63 | 0 461.01/461.15 c 449s | 22 | 1873559 | 1849122 | 798 4335 | 63 | 0 463.02/463.17 c 451s | 22 | 1880927 | 1856422 | 798 4349 | 63 | 0 465.01/465.19 c 453s | 22 | 1888187 | 1863622 | 798 4363 | 63 | 0 467.11/467.21 c 455s | 22 | 1895569 | 1870922 | 798 4377 | 63 | 0 469.11/469.24 c 457s | 22 | 1903235 | 1878522 | 798 4392 | 63 | 0 471.11/471.26 c 459s | 22 | 1910574 | 1885822 | 798 4406 | 63 | 0 473.11/473.27 c 461s | 22 | 1917847 | 1893022 | 798 4420 | 63 | 0 475.12/475.27 c 463s | 22 | 1925146 | 1900222 | 798 4435 | 63 | 0 477.21/477.30 c 465s | 22 | 1932417 | 1907422 | 798 4449 | 63 | 0 479.21/479.30 c 467s | 22 | 1939493 | 1914422 | 798 4462 | 63 | 0 481.21/481.31 c 469s | 22 | 1946860 | 1921722 | 798 4477 | 63 | 0 483.21/483.32 c 471s | 22 | 1954103 | 1928822 | 798 4491 | 63 | 0 485.21/485.33 c 473s | 22 | 1961187 | 1935822 | 798 4504 | 63 | 0 487.21/487.34 c 475s | 22 | 1968352 | 1942922 | 798 4518 | 63 | 0 489.22/489.35 c 477s | 22 | 1975552 | 1950022 | 798 4532 | 63 | 0 491.22/491.36 c 479s | 22 | 1982638 | 1957022 | 798 4546 | 63 | 0 493.22/493.36 c 481s | 22 | 1989865 | 1964222 | 798 4560 | 63 | 0 495.21/495.39 c 483s | 22 | 1996918 | 1971222 | 798 4573 | 63 | 0 497.22/497.39 c 485s | 22 | 2004489 | 1978722 | 798 4588 | 63 | 0 499.21/499.39 c 487s | 22 | 2012629 | 1986722 | 798 4604 | 63 | 0 501.31/501.41 c 489s | 22 | 2020489 | 1994422 | 798 4619 | 63 | 0 503.31/503.43 c 491s | 22 | 2027957 | 2001722 | 798 4633 | 63 | 0 505.31/505.46 c 493s | 22 | 2035300 | 2008922 | 798 4647 | 63 | 0 507.31/507.46 c 495s | 22 | 2042719 | 2016222 | 798 4661 | 63 | 0 509.32/509.47 c 497s | 22 | 2049926 | 2023322 | 798 4675 | 63 | 0 511.31/511.50 c 499s | 22 | 2057654 | 2030822 | 798 4689 | 63 | 0 513.41/513.50 c 501s | 22 | 2065075 | 2038122 | 798 4704 | 63 | 0 515.41/515.51 c 503s | 22 | 2072257 | 2045222 | 798 4717 | 63 | 0 517.41/517.52 c 505s | 22 | 2079578 | 2052422 | 798 4731 | 63 | 0 519.41/519.52 c 507s | 22 | 2086786 | 2059522 | 798 4745 | 63 | 0 521.42/521.54 c 509s | 22 | 2093952 | 2066622 | 798 4759 | 63 | 0 523.41/523.55 c 511s | 22 | 2101220 | 2073822 | 798 4773 | 63 | 0 525.41/525.57 c 513s | 22 | 2108647 | 2081122 | 798 4787 | 63 | 0 527.41/527.57 c 515s | 22 | 2116027 | 2088422 | 798 4802 | 63 | 0 529.41/529.59 c 518s | 22 | 2123379 | 2095622 | 798 4816 | 63 | 0 531.51/531.61 c 520s | 22 | 2130785 | 2102822 | 798 4830 | 63 | 0 533.52/533.63 c 522s | 22 | 2138012 | 2109922 | 798 4843 | 63 | 0 535.51/535.63 c 524s | 22 | 2145102 | 2116922 | 798 4857 | 63 | 0 537.51/537.65 c 526s | 22 | 2152180 | 2123922 | 798 4871 | 63 | 0 539.51/539.67 c 528s | 22 | 2159374 | 2131022 | 798 4885 | 63 | 0 541.51/541.69 c 530s | 22 | 2166549 | 2138122 | 798 4899 | 63 | 0 543.61/543.70 c 532s | 22 | 2173830 | 2145322 | 798 4913 | 63 | 0 545.61/545.73 c 534s | 22 | 2180931 | 2152322 | 798 4926 | 63 | 0 547.61/547.75 c 536s | 22 | 2187885 | 2159222 | 798 4940 | 63 | 0 549.61/549.77 c 538s | 22 | 2195142 | 2166322 | 798 4954 | 63 | 0 551.60/551.79 c 540s | 22 | 2202253 | 2173322 | 798 4968 | 63 | 0 553.70/553.81 c 542s | 22 | 2209209 | 2180222 | 798 4981 | 63 | 0 555.70/555.82 c 544s | 22 | 2216423 | 2187322 | 798 4995 | 63 | 0 557.71/557.83 c 546s | 22 | 2223837 | 2194522 | 798 5009 | 63 | 0 559.70/559.83 c 548s | 22 | 2231144 | 2201722 | 798 5023 | 63 | 0 561.70/561.84 c 550s | 22 | 2238957 | 2209422 | 798 5038 | 63 | 0 563.70/563.85 c 552s | 22 | 2246270 | 2216622 | 798 5052 | 63 | 0 565.70/565.85 c 554s | 22 | 2253452 | 2223722 | 798 5066 | 63 | 0 567.70/567.86 c 556s | 22 | 2260824 | 2230922 | 798 5080 | 63 | 0 569.71/569.88 c 558s | 22 | 2268269 | 2238222 | 878 5094 | 63 | 0 571.80/571.91 c 560s | 22 | 2275690 | 2245422 | 878 5107 | 63 | 0 573.30/573.48 c 561s | 23 | 2281458 | 2251038 | 878 5117 | 63 | 0 575.31/575.49 c 563s | 23 | 2289049 | 2258238 | 878 5130 | 63 | 0 577.40/577.51 c 565s | 23 | 2296404 | 2265438 | 878 5143 | 63 | 0 579.40/579.52 c 567s | 23 | 2303956 | 2272838 | 878 5156 | 63 | 0 581.40/581.52 c 569s | 23 | 2311718 | 2280438 | 878 5170 | 63 | 0 583.40/583.53 c 571s | 23 | 2319311 | 2287838 | 878 5183 | 63 | 0 585.40/585.54 c 573s | 23 | 2326814 | 2295138 | 878 5196 | 63 | 0 587.40/587.56 c 575s | 23 | 2334370 | 2302438 | 878 5209 | 63 | 0 589.40/589.57 c 577s | 23 | 2341975 | 2309938 | 878 5223 | 63 | 0 591.50/591.60 c 580s | 23 | 2349425 | 2317238 | 878 5236 | 63 | 0 593.50/593.61 c 582s | 23 | 2357084 | 2324738 | 878 5249 | 63 | 0 595.50/595.61 c 584s | 23 | 2364742 | 2332138 | 878 5263 | 63 | 0 597.50/597.62 c 586s | 23 | 2372291 | 2339538 | 878 5276 | 63 | 0 599.50/599.62 c 588s | 23 | 2379637 | 2346738 | 878 5289 | 63 | 0 601.49/601.64 c 590s | 23 | 2386937 | 2353938 | 878 5302 | 63 | 0 603.49/603.66 c 592s | 23 | 2394678 | 2361538 | 878 5316 | 63 | 0 605.49/605.68 c 594s | 23 | 2402184 | 2368938 | 878 5329 | 63 | 0 607.59/607.70 c 596s | 23 | 2409719 | 2376338 | 878 5343 | 63 | 0 609.59/609.70 c 598s | 23 | 2416860 | 2383338 | 878 5355 | 63 | 0 611.60/611.71 c 600s | 23 | 2424542 | 2390838 | 878 5369 | 63 | 0 613.59/613.73 c 602s | 23 | 2432174 | 2398338 | 878 5382 | 63 | 0 615.59/615.74 c 604s | 23 | 2439399 | 2405438 | 878 5395 | 63 | 0 617.59/617.75 c 606s | 23 | 2446413 | 2412338 | 878 5408 | 63 | 0 619.59/619.76 c 608s | 23 | 2453236 | 2419038 | 878 5420 | 63 | 0 621.59/621.77 c 610s | 23 | 2459948 | 2425638 | 878 5432 | 63 | 0 623.60/623.79 c 612s | 23 | 2466689 | 2432238 | 878 5444 | 63 | 0 625.69/625.80 c 614s | 23 | 2474840 | 2440138 | 878 5458 | 63 | 0 627.69/627.81 c 616s | 23 | 2483392 | 2448438 | 878 5473 | 63 | 0 629.69/629.82 c 618s | 23 | 2491583 | 2456438 | 878 5487 | 63 | 0 631.69/631.84 c 620s | 23 | 2499498 | 2464238 | 878 5501 | 63 | 0 633.69/633.85 c 622s | 23 | 2507809 | 2472338 | 878 5516 | 63 | 0 635.69/635.86 c 624s | 23 | 2515859 | 2480238 | 878 5530 | 63 | 0 637.69/637.87 c 626s | 23 | 2523884 | 2488038 | 878 5544 | 63 | 0 639.69/639.89 c 628s | 23 | 2531941 | 2495838 | 878 5558 | 63 | 0 641.79/641.91 c 630s | 23 | 2539795 | 2503538 | 878 5572 | 63 | 0 643.79/643.92 c 632s | 23 | 2547700 | 2511238 | 878 5586 | 63 | 0 645.79/645.94 c 634s | 23 | 2555440 | 2518838 | 878 5600 | 63 | 0 647.79/647.95 c 636s | 23 | 2562740 | 2526038 | 878 5612 | 63 | 0 649.79/649.97 c 638s | 23 | 2570215 | 2533338 | 878 5626 | 63 | 0 651.88/652.00 c 640s | 23 | 2577855 | 2540838 | 878 5639 | 63 | 0 653.88/654.01 c 642s | 23 | 2585236 | 2548138 | 878 5652 | 63 | 0 655.88/656.02 c 644s | 23 | 2592614 | 2555438 | 878 5665 | 63 | 0 657.88/658.03 c 646s | 23 | 2599943 | 2562638 | 878 5678 | 63 | 0 659.89/660.03 c 648s | 23 | 2607029 | 2569638 | 878 5691 | 63 | 0 661.88/662.04 c 650s | 23 | 2614292 | 2576838 | 878 5704 | 63 | 0 663.88/664.07 c 652s | 23 | 2622053 | 2584438 | 878 5718 | 63 | 0 665.88/666.08 c 654s | 23 | 2629672 | 2591938 | 878 5731 | 63 | 0 667.98/668.10 c 656s | 23 | 2637601 | 2599638 | 878 5745 | 63 | 0 669.98/670.12 c 658s | 23 | 2645300 | 2607238 | 878 5759 | 63 | 0 671.98/672.14 c 660s | 23 | 2652931 | 2614738 | 878 5772 | 63 | 0 673.99/674.15 c 662s | 23 | 2660905 | 2622638 | 878 5786 | 63 | 0 675.99/676.16 c 664s | 23 | 2668789 | 2630338 | 878 5800 | 63 | 0 677.99/678.16 c 666s | 23 | 2676248 | 2637638 | 878 5813 | 63 | 0 679.99/680.16 c 668s | 23 | 2683652 | 2644938 | 878 5827 | 63 | 0 681.99/682.18 c 670s | 23 | 2691311 | 2652538 | 878 5840 | 63 | 0 683.99/684.20 c 672s | 23 | 2698708 | 2659838 | 878 5853 | 63 | 0 686.09/686.20 c 674s | 23 | 2706096 | 2667138 | 878 5867 | 63 | 0 688.09/688.21 c 676s | 23 | 2713255 | 2674238 | 878 5879 | 63 | 0 690.09/690.22 c 678s | 23 | 2720562 | 2681438 | 878 5892 | 63 | 0 692.08/692.25 c 680s | 23 | 2728071 | 2688838 | 878 5906 | 63 | 0 694.09/694.26 c 682s | 23 | 2735341 | 2696038 | 878 5919 | 63 | 0 696.08/696.29 c 684s | 23 | 2743032 | 2703638 | 878 5932 | 63 | 0 698.08/698.29 c 686s | 23 | 2750557 | 2711038 | 878 5946 | 63 | 0 700.08/700.29 c 688s | 23 | 2758008 | 2718338 | 878 5959 | 63 | 0 702.18/702.32 c 690s | 23 | 2765332 | 2725538 | 878 5972 | 63 | 0 704.18/704.33 c 692s | 23 | 2772813 | 2732938 | 878 5985 | 63 | 0 706.18/706.34 c 694s | 23 | 2780389 | 2740438 | 878 5999 | 63 | 0 708.18/708.35 c 696s | 23 | 2787789 | 2747738 | 878 6012 | 63 | 0 710.18/710.36 c 698s | 23 | 2795186 | 2754938 | 878 6025 | 63 | 0 712.18/712.36 c 700s | 23 | 2802553 | 2762138 | 878 6038 | 63 | 0 714.18/714.38 c 702s | 23 | 2809753 | 2769238 | 878 6051 | 63 | 0 716.28/716.40 c 704s | 23 | 2817075 | 2776438 | 878 6064 | 63 | 0 718.28/718.43 c 706s | 23 | 2824233 | 2783538 | 878 6077 | 63 | 0 720.28/720.43 c 708s | 23 | 2831785 | 2791038 | 878 6090 | 63 | 0 722.28/722.46 c 710s | 23 | 2839048 | 2798238 | 878 6103 | 63 | 0 724.28/724.48 c 712s | 23 | 2846165 | 2805238 | 878 6116 | 63 | 0 726.27/726.49 c 714s | 23 | 2853412 | 2812338 | 878 6129 | 63 | 0 728.27/728.49 c 716s | 23 | 2860778 | 2819638 | 878 6142 | 63 | 0 730.38/730.50 c 718s | 23 | 2868227 | 2827038 | 878 6155 | 63 | 0 732.37/732.52 c 720s | 23 | 2876373 | 2835138 | 878 6170 | 63 | 0 734.37/734.54 c 722s | 23 | 2884320 | 2843038 | 878 6184 | 63 | 0 736.37/736.55 c 724s | 23 | 2891489 | 2850138 | 878 6197 | 63 | 0 738.37/738.57 c 726s | 23 | 2898700 | 2857238 | 878 6210 | 63 | 0 740.37/740.57 c 728s | 23 | 2905835 | 2864238 | 878 6222 | 63 | 0 742.38/742.58 c 730s | 23 | 2913015 | 2871338 | 878 6235 | 63 | 0 744.37/744.60 c 733s | 23 | 2920181 | 2878438 | 878 6248 | 63 | 0 746.47/746.60 c 735s | 23 | 2927407 | 2885638 | 878 6261 | 63 | 0 748.47/748.62 c 737s | 23 | 2934467 | 2892638 | 878 6274 | 63 | 0 750.47/750.63 c 739s | 23 | 2941573 | 2899638 | 878 6286 | 63 | 0 752.47/752.63 c 741s | 23 | 2948716 | 2906738 | 878 6299 | 63 | 0 754.48/754.66 c 743s | 23 | 2955815 | 2913738 | 878 6312 | 63 | 0 756.47/756.67 c 745s | 23 | 2962861 | 2920738 | 878 6324 | 63 | 0 758.47/758.68 c 747s | 23 | 2969645 | 2927438 | 878 6336 | 63 | 0 760.47/760.69 c 749s | 23 | 2976430 | 2934138 | 878 6348 | 63 | 0 762.57/762.71 c 751s | 23 | 2983407 | 2941038 | 878 6361 | 63 | 0 764.57/764.74 c 753s | 23 | 2990324 | 2947838 | 878 6373 | 63 | 0 766.57/766.74 c 755s | 23 | 2996985 | 2954438 | 878 6385 | 63 | 0 768.57/768.77 c 757s | 23 | 3004683 | 2962038 | 878 6399 | 63 | 0 770.57/770.79 c 759s | 23 | 3011845 | 2969138 | 878 6412 | 63 | 0 772.67/772.80 c 761s | 23 | 3019152 | 2976338 | 878 6425 | 63 | 0 774.67/774.82 c 763s | 23 | 3026330 | 2983438 | 878 6438 | 63 | 0 776.67/776.84 c 765s | 23 | 3033488 | 2990438 | 878 6450 | 63 | 0 778.67/778.86 c 767s | 23 | 3040371 | 2997238 | 878 6463 | 63 | 0 780.66/780.87 c 769s | 23 | 3047263 | 3004038 | 878 6475 | 63 | 0 782.66/782.87 c 771s | 23 | 3054428 | 3011138 | 878 6488 | 63 | 0 784.66/784.88 c 773s | 23 | 3061606 | 3018238 | 878 6501 | 63 | 0 786.66/786.89 c 775s | 23 | 3069011 | 3025538 | 878 6514 | 63 | 0 788.77/788.91 c 777s | 23 | 3076808 | 3033138 | 878 6527 | 63 | 0 790.77/790.91 c 779s | 23 | 3084305 | 3040338 | 878 6540 | 63 | 0 792.77/792.92 c 781s | 23 | 3091941 | 3047738 | 878 6554 | 63 | 0 794.77/794.93 c 783s | 23 | 3099473 | 3055138 | 878 6567 | 63 | 0 796.77/796.97 c 785s | 23 | 3106983 | 3062538 | 878 6581 | 63 | 0 798.77/798.98 c 787s | 23 | 3114110 | 3069538 | 878 6593 | 63 | 0 800.87/801.00 c 789s | 23 | 3121158 | 3076438 | 878 6606 | 63 | 0 802.87/803.01 c 791s | 23 | 3128538 | 3083738 | 878 6619 | 63 | 0 804.87/805.03 c 793s | 23 | 3136036 | 3091138 | 878 6632 | 63 | 0 806.87/807.04 c 795s | 23 | 3143618 | 3098538 | 878 6646 | 63 | 0 808.87/809.04 c 797s | 23 | 3150975 | 3105738 | 878 6659 | 63 | 0 810.86/811.05 c 799s | 23 | 3158578 | 3113038 | 878 6672 | 63 | 0 812.87/813.06 c 801s | 23 | 3166273 | 3120438 | 878 6685 | 63 | 0 814.86/815.09 c 803s | 23 | 3173866 | 3127938 | 878 6699 | 63 | 0 816.96/817.11 c 805s | 23 | 3181195 | 3135238 | 878 6712 | 63 | 0 818.96/819.13 c 807s | 23 | 3188252 | 3142238 | 878 6725 | 63 | 0 820.96/821.13 c 809s | 23 | 3195570 | 3149538 | 878 6738 | 63 | 0 822.96/823.16 c 811s | 23 | 3202739 | 3156638 | 878 6751 | 63 | 0 824.97/825.18 c 813s | 23 | 3210262 | 3164138 | 878 6765 | 63 | 0 826.96/827.18 c 815s | 23 | 3217726 | 3171538 | 878 6778 | 63 | 0 828.96/829.19 c 817s | 23 | 3225474 | 3179138 | 878 6792 | 63 | 0 831.06/831.20 c 819s | 23 | 3232682 | 3186238 | 878 6805 | 63 | 0 833.06/833.20 c 821s | 23 | 3239862 | 3193338 | 878 6817 | 63 | 0 835.06/835.21 c 823s | 23 | 3246813 | 3200238 | 878 6830 | 63 | 0 837.06/837.22 c 825s | 23 | 3253798 | 3207138 | 878 6842 | 63 | 0 839.06/839.22 c 827s | 23 | 3260746 | 3214038 | 878 6855 | 63 | 0 841.06/841.23 c 829s | 23 | 3267528 | 3220738 | 878 6867 | 63 | 0 843.06/843.24 c 831s | 23 | 3274528 | 3227638 | 878 6880 | 63 | 0 845.06/845.26 c 833s | 23 | 3281509 | 3234338 | 878 6892 | 63 | 0 847.06/847.27 c 835s | 23 | 3288156 | 3240838 | 878 6904 | 63 | 0 849.06/849.27 c 837s | 23 | 3294991 | 3247538 | 878 6916 | 63 | 0 851.05/851.29 c 839s | 23 | 3301664 | 3254138 | 878 6928 | 63 | 0 853.05/853.29 c 841s | 23 | 3308537 | 3260938 | 878 6940 | 63 | 0 855.15/855.31 c 843s | 23 | 3316083 | 3268338 | 878 6954 | 63 | 0 857.15/857.32 c 845s | 23 | 3323795 | 3275938 | 878 6967 | 63 | 0 859.15/859.35 c 847s | 23 | 3331801 | 3283838 | 878 6982 | 63 | 0 861.16/861.36 c 849s | 23 | 3339654 | 3291538 | 878 6996 | 63 | 0 863.15/863.37 c 851s | 23 | 3347250 | 3298938 | 878 7009 | 63 | 0 865.15/865.38 c 853s | 23 | 3354561 | 3306138 | 878 7022 | 63 | 0 867.25/867.40 c 855s | 23 | 3361625 | 3313138 | 878 7035 | 63 | 0 869.25/869.43 c 857s | 23 | 3368609 | 3320038 | 878 7047 | 63 | 0 871.25/871.44 c 859s | 23 | 3375742 | 3327038 | 878 7060 | 63 | 0 873.25/873.46 c 861s | 23 | 3382986 | 3334138 | 878 7073 | 63 | 0 875.26/875.48 c 863s | 23 | 3390409 | 3341438 | 878 7086 | 63 | 0 877.26/877.49 c 865s | 23 | 3397527 | 3348438 | 878 7099 | 63 | 0 879.36/879.50 c 867s | 23 | 3404648 | 3355438 | 966 7111 | 63 | 0 881.36/881.51 c 869s | 23 | 3411510 | 3362138 | 966 7122 | 63 | 0 883.36/883.51 c 871s | 23 | 3418226 | 3368738 | 966 7133 | 63 | 0 885.36/885.53 c 873s | 23 | 3424859 | 3375238 | 966 7144 | 63 | 0 885.76/885.98 c 874s | 24 | 3426298 | 3376662 | 966 7146 | 63 | 0 887.86/888.00 c 876s | 24 | 3433853 | 3383962 | 966 7159 | 63 | 0 889.86/890.03 c 878s | 24 | 3441172 | 3391162 | 966 7171 | 63 | 0 891.85/892.04 c 880s | 24 | 3448337 | 3398262 | 966 7182 | 63 | 0 893.85/894.04 c 882s | 24 | 3455666 | 3405462 | 966 7194 | 63 | 0 895.85/896.07 c 884s | 24 | 3462780 | 3412462 | 966 7206 | 63 | 0 897.85/898.09 c 886s | 24 | 3469801 | 3419362 | 966 7218 | 63 | 0 899.95/900.11 c 888s | 24 | 3477172 | 3426562 | 966 7230 | 63 | 0 901.96/902.13 c 890s | 24 | 3484559 | 3433762 | 966 7242 | 63 | 0 903.95/904.15 c 892s | 24 | 3491727 | 3440762 | 966 7253 | 63 | 0 905.95/906.17 c 894s | 24 | 3498772 | 3447662 | 966 7265 | 63 | 0 907.95/908.20 c 896s | 24 | 3505888 | 3454662 | 966 7277 | 63 | 0 910.05/910.21 c 898s | 24 | 3512908 | 3461562 | 966 7288 | 63 | 0 912.05/912.22 c 900s | 24 | 3519960 | 3468362 | 966 7300 | 63 | 0 914.05/914.24 c 902s | 24 | 3526955 | 3475162 | 966 7311 | 63 | 0 916.05/916.28 c 904s | 24 | 3534031 | 3482062 | 966 7323 | 63 | 0 918.15/918.30 c 906s | 24 | 3540928 | 3488862 | 966 7334 | 63 | 0 920.15/920.33 c 908s | 24 | 3547849 | 3495662 | 966 7345 | 63 | 0 922.14/922.35 c 910s | 24 | 3555095 | 3502762 | 966 7357 | 63 | 0 924.14/924.37 c 912s | 24 | 3562246 | 3509762 | 966 7369 | 63 | 0 926.15/926.39 c 914s | 24 | 3569237 | 3516662 | 966 7381 | 63 | 0 928.14/928.39 c 916s | 24 | 3576273 | 3523562 | 966 7392 | 63 | 0 930.24/930.40 c 918s | 24 | 3583860 | 3530962 | 966 7404 | 63 | 0 932.24/932.41 c 920s | 24 | 3591003 | 3537962 | 966 7416 | 63 | 0 934.24/934.42 c 922s | 24 | 3598144 | 3544962 | 966 7428 | 63 | 0 936.24/936.44 c 924s | 24 | 3605047 | 3551762 | 966 7439 | 63 | 0 938.25/938.45 c 926s | 24 | 3612015 | 3558662 | 966 7451 | 63 | 0 940.24/940.46 c 928s | 24 | 3619115 | 3565562 | 966 7462 | 63 | 0 942.24/942.48 c 930s | 24 | 3626051 | 3572362 | 966 7474 | 63 | 0 944.34/944.50 c 932s | 24 | 3633015 | 3579162 | 966 7485 | 63 | 0 946.34/946.53 c 934s | 24 | 3640042 | 3585962 | 966 7497 | 63 | 0 948.34/948.56 c 936s | 24 | 3647785 | 3593462 | 966 7509 | 63 | 0 950.34/950.59 c 939s | 24 | 3655098 | 3600562 | 966 7521 | 63 | 0 952.34/952.59 c 941s | 24 | 3662090 | 3607362 | 966 7532 | 63 | 0 954.44/954.60 c 943s | 24 | 3669118 | 3614162 | 966 7544 | 63 | 0 956.44/956.60 c 945s | 24 | 3676007 | 3620862 | 966 7555 | 63 | 0 958.44/958.62 c 947s | 24 | 3682916 | 3627562 | 966 7566 | 63 | 0 960.44/960.64 c 949s | 24 | 3690042 | 3634562 | 966 7578 | 63 | 0 962.44/962.64 c 951s | 24 | 3698221 | 3642562 | 966 7591 | 63 | 0 964.43/964.64 c 953s | 24 | 3706231 | 3650462 | 966 7605 | 63 | 0 966.43/966.66 c 955s | 24 | 3714242 | 3658262 | 966 7618 | 63 | 0 968.53/968.70 c 957s | 24 | 3722259 | 3666062 | 966 7631 | 63 | 0 970.53/970.71 c 959s | 24 | 3730130 | 3673662 | 966 7643 | 63 | 0 972.53/972.73 c 961s | 24 | 3738088 | 3681362 | 966 7656 | 63 | 0 974.54/974.75 c 963s | 24 | 3745929 | 3689062 | 966 7669 | 63 | 0 976.53/976.78 c 965s | 24 | 3753586 | 3696562 | 966 7681 | 63 | 0 978.53/978.79 c 967s | 24 | 3761205 | 3703962 | 966 7694 | 63 | 0 980.63/980.81 c 969s | 24 | 3768802 | 3711362 | 966 7706 | 63 | 0 982.63/982.81 c 971s | 24 | 3776362 | 3718862 | 966 7719 | 63 | 0 984.63/984.82 c 973s | 24 | 3783696 | 3726062 | 966 7731 | 63 | 0 986.64/986.82 c 975s | 24 | 3790894 | 3733162 | 966 7742 | 63 | 0 988.63/988.83 c 977s | 24 | 3798087 | 3740262 | 966 7754 | 63 | 0 990.63/990.85 c 979s | 24 | 3805798 | 3747662 | 966 7767 | 63 | 0 992.63/992.87 c 981s | 24 | 3813470 | 3755062 | 966 7779 | 63 | 0 994.64/994.90 c 983s | 24 | 3821132 | 3762562 | 966 7792 | 63 | 0 996.74/996.92 c 985s | 24 | 3828354 | 3769662 | 966 7803 | 63 | 0 998.74/998.92 c 987s | 24 | 3835339 | 3776562 | 966 7815 | 63 | 0 1000.74/1000.94 c 989s | 24 | 3843381 | 3784462 | 966 7828 | 63 | 0 1002.74/1002.95 c 991s | 24 | 3850755 | 3791662 | 966 7840 | 63 | 0 1004.74/1004.96 c 993s | 24 | 3858060 | 3798862 | 966 7852 | 63 | 0 1006.74/1006.97 c 995s | 24 | 3865308 | 3805962 | 966 7864 | 63 | 0 1008.74/1008.97 c 997s | 24 | 3872499 | 3813062 | 966 7876 | 63 | 0 1010.74/1010.98 c 999s | 24 | 3879566 | 3819962 | 966 7887 | 63 | 0 1012.74/1012.99 c 1001s | 24 | 3886875 | 3827062 | 966 7899 | 63 | 0 1014.83/1015.02 c 1003s | 24 | 3894351 | 3834362 | 966 7911 | 63 | 0 1016.83/1017.03 c 1005s | 24 | 3901796 | 3841662 | 966 7923 | 63 | 0 1018.83/1019.03 c 1007s | 24 | 3909107 | 3848762 | 966 7935 | 63 | 0 1020.83/1021.05 c 1009s | 24 | 3916434 | 3855962 | 966 7947 | 63 | 0 1022.84/1023.05 c 1011s | 24 | 3923652 | 3863062 | 966 7959 | 63 | 0 1024.83/1025.06 c 1013s | 24 | 3930723 | 3869962 | 966 7971 | 63 | 0 1026.83/1027.08 c 1015s | 24 | 3937666 | 3876662 | 966 7982 | 63 | 0 1028.83/1029.08 c 1017s | 24 | 3944832 | 3883662 | 966 7994 | 63 | 0 1030.93/1031.10 c 1019s | 24 | 3951773 | 3890462 | 966 8005 | 63 | 0 1032.93/1033.10 c 1021s | 24 | 3958947 | 3897462 | 966 8017 | 63 | 0 1034.93/1035.11 c 1023s | 24 | 3966201 | 3904562 | 966 8029 | 63 | 0 1036.93/1037.13 c 1025s | 24 | 3973300 | 3911562 | 966 8040 | 63 | 0 1038.93/1039.14 c 1027s | 24 | 3980139 | 3918262 | 966 8052 | 63 | 0 1040.93/1041.14 c 1029s | 24 | 3986974 | 3924962 | 966 8063 | 63 | 0 1042.93/1043.17 c 1031s | 24 | 3993864 | 3931762 | 966 8074 | 63 | 0 1044.93/1045.19 c 1033s | 24 | 4000654 | 3938462 | 966 8085 | 63 | 0 1047.03/1047.21 c 1035s | 24 | 4007578 | 3945262 | 966 8097 | 63 | 0 1049.03/1049.23 c 1037s | 24 | 4014535 | 3952062 | 966 8108 | 63 | 0 1051.03/1051.26 c 1039s | 24 | 4021509 | 3958862 | 966 8120 | 63 | 0 1053.03/1053.28 c 1041s | 24 | 4028311 | 3965562 | 966 8131 | 63 | 0 1055.02/1055.28 c 1043s | 24 | 4035682 | 3972762 | 966 8143 | 63 | 0 1057.12/1057.32 c 1045s | 24 | 4042818 | 3979762 | 966 8155 | 63 | 0 1059.13/1059.32 c 1047s | 24 | 4049807 | 3986562 | 966 8166 | 63 | 0 1061.12/1061.32 c 1049s | 24 | 4056772 | 3993362 | 966 8177 | 63 | 0 1063.12/1063.35 c 1051s | 24 | 4063717 | 4000162 | 966 8189 | 63 | 0 1065.12/1065.35 c 1053s | 24 | 4070535 | 4006862 | 966 8200 | 63 | 0 1067.12/1067.35 c 1055s | 24 | 4077982 | 4014162 | 966 8212 | 63 | 0 1069.13/1069.37 c 1057s | 24 | 4085360 | 4021262 | 966 8224 | 63 | 0 1071.12/1071.39 c 1059s | 24 | 4092379 | 4028162 | 966 8235 | 63 | 0 1073.22/1073.40 c 1061s | 24 | 4099651 | 4035262 | 966 8247 | 63 | 0 1075.22/1075.40 c 1063s | 24 | 4106703 | 4042162 | 966 8259 | 63 | 0 1077.22/1077.41 c 1065s | 24 | 4113877 | 4049262 | 966 8271 | 63 | 0 1079.22/1079.44 c 1067s | 24 | 4120833 | 4056062 | 966 8282 | 63 | 0 1081.22/1081.47 c 1069s | 24 | 4127742 | 4062862 | 966 8294 | 63 | 0 1083.22/1083.48 c 1071s | 24 | 4134813 | 4069762 | 966 8305 | 63 | 0 1085.32/1085.50 c 1073s | 24 | 4142429 | 4077162 | 966 8317 | 63 | 0 1087.32/1087.52 c 1075s | 24 | 4149351 | 4083962 | 966 8329 | 63 | 0 1089.32/1089.55 c 1077s | 24 | 4156247 | 4090762 | 966 8340 | 63 | 0 1091.32/1091.55 c 1079s | 24 | 4163371 | 4097762 | 966 8352 | 63 | 0 1093.32/1093.57 c 1081s | 24 | 4170595 | 4104862 | 966 8364 | 63 | 0 1095.31/1095.57 c 1083s | 24 | 4177260 | 4111462 | 966 8375 | 63 | 0 1097.32/1097.59 c 1086s | 24 | 4183939 | 4118062 | 966 8386 | 63 | 0 1099.32/1099.59 c 1088s | 24 | 4190534 | 4124562 | 966 8397 | 63 | 0 1101.42/1101.62 c 1090s | 24 | 4197305 | 4131262 | 966 8408 | 63 | 0 1103.42/1103.65 c 1092s | 24 | 4203995 | 4137862 | 966 8419 | 63 | 0 1105.42/1105.65 c 1094s | 24 | 4211072 | 4144862 | 966 8431 | 63 | 0 1107.42/1107.66 c 1096s | 24 | 4218297 | 4151962 | 966 8443 | 63 | 0 1109.42/1109.68 c 1098s | 24 | 4226060 | 4159562 | 966 8456 | 63 | 0 1111.42/1111.69 c 1100s | 24 | 4233328 | 4166762 | 966 8467 | 63 | 0 1113.42/1113.69 c 1102s | 24 | 4240749 | 4174062 | 966 8480 | 63 | 0 1115.52/1115.70 c 1104s | 24 | 4247961 | 4181162 | 966 8491 | 63 | 0 1117.52/1117.72 c 1106s | 24 | 4255091 | 4188162 | 966 8503 | 63 | 0 1119.51/1119.74 c 1108s | 24 | 4262177 | 4195162 | 966 8515 | 63 | 0 1121.51/1121.77 c 1110s | 24 | 4269407 | 4202262 | 966 8527 | 63 | 0 1123.51/1123.79 c 1112s | 24 | 4276664 | 4209362 | 966 8538 | 63 | 0 1125.51/1125.79 c 1114s | 24 | 4283899 | 4216462 | 966 8550 | 63 | 0 1127.61/1127.80 c 1116s | 24 | 4291332 | 4223662 | 966 8562 | 63 | 0 1129.62/1129.83 c 1118s | 24 | 4298832 | 4230962 | 966 8575 | 63 | 0 1131.61/1131.83 c 1120s | 24 | 4306013 | 4237962 | 966 8586 | 63 | 0 1133.61/1133.84 c 1122s | 24 | 4313183 | 4244962 | 966 8598 | 63 | 0 1135.61/1135.87 c 1124s | 24 | 4320354 | 4251962 | 966 8610 | 63 | 0 1137.61/1137.87 c 1126s | 24 | 4327270 | 4258762 | 966 8621 | 63 | 0 1139.61/1139.87 c 1128s | 24 | 4334358 | 4265662 | 966 8632 | 63 | 0 1141.62/1141.88 c 1130s | 24 | 4341495 | 4272662 | 966 8644 | 63 | 0 1143.61/1143.89 c 1132s | 24 | 4348785 | 4279762 | 966 8656 | 63 | 0 1145.71/1145.90 c 1134s | 24 | 4356020 | 4286862 | 966 8668 | 63 | 0 1147.71/1147.92 c 1136s | 24 | 4363106 | 4293762 | 966 8679 | 63 | 0 1149.71/1149.92 c 1138s | 24 | 4370207 | 4300762 | 966 8691 | 63 | 0 1151.71/1151.95 c 1140s | 24 | 4377981 | 4308362 | 966 8704 | 63 | 0 1153.71/1153.96 c 1142s | 24 | 4385256 | 4315462 | 966 8716 | 63 | 0 1155.71/1155.98 c 1144s | 24 | 4392652 | 4322662 | 966 8728 | 63 | 0 1157.71/1157.99 c 1146s | 24 | 4399799 | 4329662 | 966 8739 | 63 | 0 1159.81/1160.02 c 1148s | 24 | 4406880 | 4336562 | 966 8751 | 63 | 0 1161.81/1162.04 c 1150s | 24 | 4413842 | 4343362 | 966 8762 | 63 | 0 1163.81/1164.05 c 1152s | 24 | 4420828 | 4350262 | 966 8774 | 63 | 0 1165.81/1166.05 c 1154s | 24 | 4428292 | 4357562 | 966 8786 | 63 | 0 1167.81/1168.08 c 1156s | 24 | 4435512 | 4364662 | 966 8798 | 63 | 0 1169.91/1170.10 c 1158s | 24 | 4442942 | 4371962 | 966 8810 | 63 | 0 1171.90/1172.13 c 1160s | 24 | 4450161 | 4379062 | 966 8822 | 63 | 0 1173.90/1174.15 c 1162s | 24 | 4457179 | 4385962 | 966 8833 | 63 | 0 1175.90/1176.17 c 1164s | 24 | 4464195 | 4392862 | 966 8845 | 63 | 0 1177.91/1178.17 c 1166s | 24 | 4470919 | 4399462 | 966 8856 | 63 | 0 1179.90/1180.17 c 1168s | 24 | 4477514 | 4405962 | 966 8867 | 63 | 0 1181.90/1182.18 c 1170s | 24 | 4484294 | 4412662 | 966 8878 | 63 | 0 1184.00/1184.20 c 1172s | 24 | 4491185 | 4419462 | 966 8889 | 63 | 0 1186.00/1186.22 c 1174s | 24 | 4498212 | 4426362 | 966 8901 | 63 | 0 1188.00/1188.23 c 1176s | 24 | 4504941 | 4432962 | 966 8912 | 63 | 0 1190.01/1190.25 c 1178s | 24 | 4511911 | 4439762 | 966 8923 | 63 | 0 1192.00/1192.27 c 1180s | 24 | 4518915 | 4446562 | 966 8935 | 63 | 0 1194.00/1194.28 c 1182s | 24 | 4526022 | 4453462 | 966 8946 | 63 | 0 1196.00/1196.29 c 1184s | 24 | 4532827 | 4460062 | 966 8957 | 63 | 0 1198.11/1198.30 c 1186s | 24 | 4539696 | 4466762 | 966 8969 | 63 | 0 1200.11/1200.30 c 1188s | 24 | 4546410 | 4473362 | 966 8980 | 63 | 0 1202.11/1202.31 c 1190s | 24 | 4553529 | 4480362 | 966 8991 | 63 | 0 1204.11/1204.31 c 1192s | 24 | 4560362 | 4487062 | 966 9003 | 63 | 0 1206.11/1206.34 c 1194s | 24 | 4567114 | 4493662 | 966 9014 | 63 | 0 1208.11/1208.37 c 1196s | 24 | 4573541 | 4499962 | 966 9024 | 63 | 0 1210.10/1210.38 c 1198s | 24 | 4580653 | 4506862 | 966 9036 | 63 | 0 1212.11/1212.38 c 1200s | 24 | 4587832 | 4513862 | 966 9047 | 63 | 0 1214.10/1214.39 c 1202s | 24 | 4595501 | 4521362 | 966 9060 | 63 | 0 1216.20/1216.41 c 1204s | 24 | 4602835 | 4528562 | 966 9072 | 63 | 0 1218.20/1218.42 c 1206s | 24 | 4610175 | 4535762 | 966 9084 | 63 | 0 1220.20/1220.45 c 1208s | 24 | 4617721 | 4543162 | 966 9096 | 63 | 0 1222.20/1222.45 c 1210s | 24 | 4625163 | 4550462 | 966 9109 | 63 | 0 1224.21/1224.47 c 1212s | 24 | 4632313 | 4557462 | 966 9120 | 63 | 0 1226.20/1226.48 c 1214s | 24 | 4639255 | 4564262 | 966 9132 | 63 | 0 1228.30/1228.50 c 1216s | 24 | 4646160 | 4571062 | 966 9143 | 63 | 0 1230.30/1230.50 c 1218s | 24 | 4653082 | 4577862 | 966 9154 | 63 | 0 1232.30/1232.51 c 1220s | 24 | 4660304 | 4584862 | 966 9166 | 63 | 0 1234.30/1234.53 c 1222s | 24 | 4667446 | 4591862 | 966 9178 | 63 | 0 1236.31/1236.55 c 1224s | 24 | 4674197 | 4598462 | 966 9189 | 63 | 0 1238.30/1238.55 c 1226s | 24 | 4680975 | 4605062 | 966 9200 | 63 | 0 1240.30/1240.55 c 1228s | 24 | 4687623 | 4611562 | 966 9211 | 63 | 0 1242.30/1242.58 c 1230s | 24 | 4694235 | 4618062 | 966 9222 | 63 | 0 1244.30/1244.59 c 1233s | 24 | 4701337 | 4625062 | 966 9233 | 63 | 0 1246.40/1246.61 c 1235s | 24 | 4708367 | 4631962 | 966 9245 | 63 | 0 1248.40/1248.61 c 1237s | 24 | 4715433 | 4638862 | 966 9257 | 63 | 0 1250.40/1250.63 c 1239s | 24 | 4722429 | 4645762 | 966 9268 | 63 | 0 1252.40/1252.66 c 1241s | 24 | 4729260 | 4652462 | 966 9279 | 63 | 0 1254.39/1254.69 c 1243s | 24 | 4736082 | 4659162 | 966 9291 | 63 | 0 1256.49/1256.71 c 1245s | 24 | 4742767 | 4665762 | 966 9302 | 63 | 0 1258.49/1258.72 c 1247s | 24 | 4750190 | 4673062 | 966 9314 | 63 | 0 1260.50/1260.74 c 1249s | 24 | 4757660 | 4680362 | 966 9326 | 63 | 0 1262.49/1262.75 c 1251s | 24 | 4764905 | 4687462 | 966 9338 | 63 | 0 1264.49/1264.76 c 1253s | 24 | 4771615 | 4694062 | 966 9349 | 63 | 0 1266.49/1266.78 c 1255s | 24 | 4778511 | 4700862 | 966 9360 | 63 | 0 1268.59/1268.80 c 1257s | 24 | 4785385 | 4707662 | 966 9372 | 63 | 0 1270.59/1270.80 c 1259s | 24 | 4792276 | 4714462 | 966 9383 | 63 | 0 1272.59/1272.83 c 1261s | 24 | 4799137 | 4721162 | 966 9394 | 63 | 0 1274.59/1274.84 c 1263s | 24 | 4806076 | 4727962 | 966 9406 | 63 | 0 1276.59/1276.86 c 1265s | 24 | 4812818 | 4734562 | 966 9417 | 63 | 0 1278.59/1278.88 c 1267s | 24 | 4819454 | 4741062 | 966 9428 | 63 | 0 1280.59/1280.88 c 1269s | 24 | 4826100 | 4747562 | 966 9439 | 63 | 0 1282.69/1282.91 c 1271s | 24 | 4832848 | 4754162 | 966 9450 | 63 | 0 1284.69/1284.93 c 1273s | 24 | 4839352 | 4760562 | 966 9460 | 63 | 0 1286.69/1286.94 c 1275s | 24 | 4846424 | 4767462 | 966 9472 | 63 | 0 1288.69/1288.95 c 1277s | 24 | 4853510 | 4774362 | 966 9484 | 63 | 0 1290.68/1290.97 c 1279s | 24 | 4860692 | 4781362 | 966 9495 | 63 | 0 1292.68/1292.99 c 1281s | 24 | 4867825 | 4788262 | 966 9507 | 63 | 0 1294.78/1295.00 c 1283s | 24 | 4874826 | 4795162 | 966 9518 | 63 | 0 1296.79/1297.02 c 1285s | 24 | 4881897 | 4802162 | 966 9530 | 63 | 0 1298.79/1299.02 c 1287s | 24 | 4888557 | 4808762 | 966 9541 | 63 | 0 1300.79/1301.03 c 1289s | 24 | 4895327 | 4815462 | 966 9552 | 63 | 0 1302.79/1303.03 c 1291s | 24 | 4902254 | 4822262 | 966 9564 | 63 | 0 1304.79/1305.06 c 1293s | 24 | 4909054 | 4828962 | 966 9575 | 63 | 0 1306.79/1307.07 c 1295s | 24 | 4916048 | 4835762 | 966 9587 | 63 | 0 1308.80/1309.09 c 1297s | 24 | 4923237 | 4842762 | 966 9598 | 63 | 0 1310.89/1311.11 c 1299s | 24 | 4930030 | 4849462 | 966 9610 | 63 | 0 1312.89/1313.13 c 1301s | 24 | 4936821 | 4856162 | 966 9621 | 63 | 0 1314.89/1315.14 c 1303s | 24 | 4943820 | 4863062 | 966 9632 | 63 | 0 1316.89/1317.17 c 1305s | 24 | 4950634 | 4869762 | 966 9644 | 63 | 0 1318.89/1319.19 c 1307s | 24 | 4957526 | 4876462 | 966 9655 | 63 | 0 1320.89/1321.20 c 1309s | 24 | 4964022 | 4882862 | 966 9666 | 63 | 0 1322.99/1323.21 c 1311s | 24 | 4970842 | 4889462 | 966 9677 | 63 | 0 1324.98/1325.23 c 1313s | 24 | 4977676 | 4896162 | 966 9688 | 63 | 0 1326.98/1327.23 c 1315s | 24 | 4984486 | 4902862 | 966 9699 | 63 | 0 1328.98/1329.25 c 1317s | 24 | 4991183 | 4909462 | 966 9710 | 63 | 0 1330.98/1331.27 c 1319s | 24 | 4997826 | 4915962 | 966 9721 | 63 | 0 1332.99/1333.28 c 1321s | 24 | 5004604 | 4922562 | 966 9733 | 63 | 0 1335.08/1335.31 c 1323s | 24 | 5011308 | 4929162 | 966 9744 | 63 | 0 1337.08/1337.34 c 1325s | 24 | 5017756 | 4935562 | 966 9754 | 63 | 0 1339.08/1339.37 c 1327s | 24 | 5024484 | 4942162 | 966 9766 | 63 | 0 1341.08/1341.38 c 1329s | 24 | 5030743 | 4948362 | 966 9776 | 63 | 0 1343.18/1343.40 c 1331s | 24 | 5037116 | 4954662 | 966 9787 | 63 | 0 1345.18/1345.42 c 1333s | 24 | 5043767 | 4961262 | 966 9798 | 63 | 0 1347.18/1347.44 c 1335s | 24 | 5051288 | 4968662 | 966 9810 | 63 | 0 1349.18/1349.47 c 1337s | 24 | 5058869 | 4976162 | 966 9823 | 63 | 0 1351.18/1351.49 c 1339s | 24 | 5066384 | 4983562 | 966 9835 | 63 | 0 1353.28/1353.50 c 1341s | 24 | 5073848 | 4990962 | 966 9847 | 63 | 0 1355.28/1355.51 c 1343s | 24 | 5081114 | 4998162 | 966 9860 | 63 | 0 1357.28/1357.53 c 1345s | 24 | 5088613 | 5005562 | 966 9872 | 63 | 0 1359.28/1359.55 c 1347s | 24 | 5096097 | 5012962 | 966 9884 | 63 | 0 1361.28/1361.57 c 1349s | 24 | 5103664 | 5020362 | 966 9897 | 63 | 0 1363.27/1363.59 c 1352s | 24 | 5111178 | 5027762 | 966 9909 | 63 | 0 1365.27/1365.60 c 1354s | 24 | 5118294 | 5034762 | 1063 9920 | 63 | 0 1367.37/1367.63 c 1356s | 24 | 5125431 | 5041762 | 1063 9931 | 63 | 0 1369.38/1369.64 c 1358s | 24 | 5132423 | 5048662 | 1063 9941 | 63 | 0 1371.37/1371.66 c 1360s | 24 | 5139350 | 5055462 | 1063 9952 | 63 | 0 1373.37/1373.69 c 1362s | 24 | 5146568 | 5062462 | 1063 9963 | 63 | 0 1374.17/1374.47 c 1362s | 25 | 5149292 | 5065098 | 1063 9967 | 63 | 0 1376.17/1376.50 c 1364s | 25 | 5156283 | 5071798 | 1063 9977 | 63 | 0 1378.28/1378.50 c 1366s | 25 | 5163007 | 5078398 | 1063 9987 | 63 | 0 1380.29/1380.53 c 1368s | 25 | 5169831 | 5085098 | 1063 9998 | 63 | 0 1382.28/1382.56 c 1370s | 25 | 5177027 | 5092098 | 1063 10009 | 63 | 0 1384.28/1384.56 c 1372s | 25 | 5184155 | 5099098 | 1063 10019 | 63 | 0 1386.28/1386.58 c 1374s | 25 | 5191432 | 5106298 | 1063 10030 | 63 | 0 1388.28/1388.59 c 1377s | 25 | 5198449 | 5113198 | 1063 10041 | 63 | 0 1390.28/1390.60 c 1379s | 25 | 5205555 | 5120198 | 1063 10052 | 63 | 0 1392.38/1392.61 c 1381s | 25 | 5212963 | 5127498 | 1063 10063 | 63 | 0 1394.38/1394.64 c 1383s | 25 | 5220285 | 5134698 | 1063 10074 | 63 | 0 1396.38/1396.67 c 1385s | 25 | 5227526 | 5141798 | 1063 10085 | 63 | 0 1398.38/1398.69 c 1387s | 25 | 5234371 | 5148498 | 1063 10096 | 63 | 0 1400.48/1400.70 c 1389s | 25 | 5241357 | 5155398 | 1063 10106 | 63 | 0 1402.48/1402.71 c 1391s | 25 | 5248328 | 5162298 | 1063 10117 | 63 | 0 1404.48/1404.73 c 1393s | 25 | 5255026 | 5168898 | 1063 10127 | 63 | 0 1406.48/1406.73 c 1395s | 25 | 5261704 | 5175498 | 1063 10137 | 63 | 0 1408.48/1408.74 c 1397s | 25 | 5268530 | 5182198 | 1063 10148 | 63 | 0 1410.47/1410.74 c 1399s | 25 | 5275418 | 5188998 | 1063 10158 | 63 | 0 1412.47/1412.75 c 1401s | 25 | 5282451 | 5195898 | 1063 10169 | 63 | 0 1414.48/1414.77 c 1403s | 25 | 5289586 | 5202798 | 1063 10180 | 63 | 0 1416.47/1416.79 c 1405s | 25 | 5296738 | 5209798 | 1063 10191 | 63 | 0 1418.47/1418.79 c 1407s | 25 | 5303649 | 5216598 | 1063 10201 | 63 | 0 1420.57/1420.80 c 1409s | 25 | 5310382 | 5223198 | 1063 10211 | 63 | 0 1422.57/1422.80 c 1411s | 25 | 5317395 | 5230098 | 1063 10222 | 63 | 0 1424.57/1424.83 c 1413s | 25 | 5324403 | 5236998 | 1063 10233 | 63 | 0 1426.58/1426.83 c 1415s | 25 | 5331111 | 5243598 | 1063 10243 | 63 | 0 1428.57/1428.86 c 1417s | 25 | 5337792 | 5250198 | 1063 10253 | 63 | 0 1430.56/1430.87 c 1419s | 25 | 5344497 | 5256798 | 1063 10264 | 63 | 0 1432.56/1432.89 c 1421s | 25 | 5351244 | 5263398 | 1063 10274 | 63 | 0 1434.66/1434.91 c 1423s | 25 | 5357932 | 5269998 | 1063 10284 | 63 | 0 1436.66/1436.92 c 1425s | 25 | 5365016 | 5276998 | 1063 10295 | 63 | 0 1438.67/1438.94 c 1427s | 25 | 5372776 | 5284598 | 1063 10307 | 63 | 0 1440.65/1440.94 c 1429s | 25 | 5380612 | 5292298 | 1063 10318 | 63 | 0 1442.65/1442.97 c 1431s | 25 | 5387708 | 5299298 | 1063 10329 | 63 | 0 1444.65/1444.99 c 1433s | 25 | 5394691 | 5306198 | 1063 10340 | 63 | 0 1446.75/1447.02 c 1435s | 25 | 5401439 | 5312898 | 1063 10350 | 63 | 0 1448.75/1449.03 c 1437s | 25 | 5408520 | 5319898 | 1063 10361 | 63 | 0 1450.75/1451.04 c 1439s | 25 | 5415299 | 5326598 | 1063 10371 | 63 | 0 1452.75/1453.05 c 1441s | 25 | 5421966 | 5333198 | 1063 10381 | 63 | 0 1454.75/1455.05 c 1443s | 25 | 5428719 | 5339898 | 1063 10392 | 63 | 0 1456.75/1457.05 c 1445s | 25 | 5435538 | 5346598 | 1063 10402 | 63 | 0 1458.75/1459.08 c 1447s | 25 | 5442152 | 5353098 | 1063 10412 | 63 | 0 1460.74/1461.09 c 1449s | 25 | 5448815 | 5359698 | 1063 10422 | 63 | 0 1462.75/1463.09 c 1451s | 25 | 5456299 | 5367098 | 1063 10434 | 63 | 0 1464.84/1465.12 c 1453s | 25 | 5463292 | 5373998 | 1063 10444 | 63 | 0 1466.84/1467.13 c 1455s | 25 | 5470087 | 5380698 | 1063 10455 | 63 | 0 1468.84/1469.13 c 1457s | 25 | 5476843 | 5387398 | 1063 10465 | 63 | 0 1470.83/1471.17 c 1459s | 25 | 5483605 | 5394098 | 1063 10476 | 63 | 0 1472.83/1473.19 c 1461s | 25 | 5490256 | 5400698 | 1063 10486 | 63 | 0 1474.94/1475.21 c 1463s | 25 | 5497161 | 5407498 | 1063 10496 | 63 | 0 1476.93/1477.22 c 1465s | 25 | 5503765 | 5413998 | 1063 10506 | 63 | 0 1478.93/1479.24 c 1467s | 25 | 5510464 | 5420598 | 1063 10517 | 63 | 0 1480.92/1481.25 c 1469s | 25 | 5517386 | 5427398 | 1063 10527 | 63 | 0 1482.92/1483.27 c 1471s | 25 | 5525040 | 5434898 | 1063 10539 | 63 | 0 1484.92/1485.28 c 1473s | 25 | 5532069 | 5441798 | 1063 10549 | 63 | 0 1486.93/1487.29 c 1475s | 25 | 5539295 | 5448898 | 1063 10560 | 63 | 0 1488.92/1489.29 c 1477s | 25 | 5546361 | 5455798 | 1063 10571 | 63 | 0 1491.02/1491.30 c 1479s | 25 | 5553431 | 5462698 | 1063 10582 | 63 | 0 1493.02/1493.31 c 1481s | 25 | 5560431 | 5469598 | 1063 10592 | 63 | 0 1495.02/1495.33 c 1483s | 25 | 5567384 | 5476498 | 1063 10603 | 63 | 0 1497.02/1497.34 c 1485s | 25 | 5574895 | 5483898 | 1063 10615 | 63 | 0 1499.02/1499.38 c 1487s | 25 | 5582078 | 5490998 | 1063 10626 | 63 | 0 1501.12/1501.40 c 1489s | 25 | 5589159 | 5497998 | 1063 10636 | 63 | 0 1503.11/1503.43 c 1491s | 25 | 5596076 | 5504798 | 1063 10647 | 63 | 0 1505.12/1505.45 c 1493s | 25 | 5603298 | 5511898 | 1063 10658 | 63 | 0 1507.12/1507.46 c 1495s | 25 | 5610583 | 5518998 | 1063 10669 | 63 | 0 1509.12/1509.47 c 1497s | 25 | 5617288 | 5525598 | 1063 10679 | 63 | 0 1511.12/1511.50 c 1499s | 25 | 5624110 | 5532298 | 1063 10690 | 63 | 0 1513.21/1513.51 c 1501s | 25 | 5631187 | 5539198 | 1063 10700 | 63 | 0 1515.21/1515.53 c 1503s | 25 | 5637991 | 5545898 | 1063 10711 | 63 | 0 1517.21/1517.54 c 1505s | 25 | 5644891 | 5552698 | 1063 10721 | 63 | 0 1519.21/1519.56 c 1507s | 25 | 5651813 | 5559498 | 1063 10732 | 63 | 0 1521.21/1521.56 c 1509s | 25 | 5658784 | 5566298 | 1063 10742 | 63 | 0 1523.21/1523.58 c 1511s | 25 | 5666155 | 5573498 | 1063 10753 | 63 | 0 1525.31/1525.60 c 1514s | 25 | 5673151 | 5580398 | 1063 10764 | 63 | 0 1527.31/1527.61 c 1516s | 25 | 5680046 | 5587198 | 1063 10775 | 63 | 0 1529.31/1529.61 c 1518s | 25 | 5687486 | 5594498 | 1063 10786 | 63 | 0 1531.30/1531.63 c 1520s | 25 | 5694685 | 5601598 | 1063 10797 | 63 | 0 1533.30/1533.66 c 1522s | 25 | 5701635 | 5608398 | 1063 10808 | 63 | 0 1535.31/1535.66 c 1524s | 25 | 5708511 | 5615098 | 1063 10818 | 63 | 0 1537.30/1537.66 c 1526s | 25 | 5715612 | 5621998 | 1063 10829 | 63 | 0 1539.30/1539.67 c 1528s | 25 | 5722556 | 5628798 | 1063 10839 | 63 | 0 1541.40/1541.70 c 1530s | 25 | 5729596 | 5635598 | 1063 10850 | 63 | 0 1543.40/1543.73 c 1532s | 25 | 5736481 | 5642298 | 1063 10860 | 63 | 0 1545.40/1545.73 c 1534s | 25 | 5743194 | 5648898 | 1063 10870 | 63 | 0 1547.40/1547.75 c 1536s | 25 | 5749877 | 5655498 | 1063 10881 | 63 | 0 1549.39/1549.76 c 1538s | 25 | 5756562 | 5662098 | 1063 10891 | 63 | 0 1551.39/1551.77 c 1540s | 25 | 5763239 | 5668698 | 1063 10901 | 63 | 0 1553.39/1553.77 c 1542s | 25 | 5770407 | 5675798 | 1063 10912 | 63 | 0 1555.49/1555.80 c 1544s | 25 | 5777411 | 5682698 | 1063 10923 | 63 | 0 1557.49/1557.81 c 1546s | 25 | 5784143 | 5689298 | 1063 10933 | 63 | 0 1559.50/1559.81 c 1548s | 25 | 5790956 | 5695998 | 1063 10943 | 63 | 0 1561.48/1561.83 c 1550s | 25 | 5797815 | 5702698 | 1063 10954 | 63 | 0 1563.48/1563.86 c 1552s | 25 | 5804964 | 5709698 | 1063 10965 | 63 | 0 1565.48/1565.86 c 1554s | 25 | 5812083 | 5716698 | 1063 10976 | 63 | 0 1567.48/1567.89 c 1556s | 25 | 5819093 | 5723598 | 1063 10986 | 63 | 0 1569.58/1569.91 c 1558s | 25 | 5826296 | 5730698 | 1063 10997 | 63 | 0 1571.58/1571.92 c 1560s | 25 | 5832949 | 5737298 | 1063 11007 | 63 | 0 1573.58/1573.94 c 1562s | 25 | 5839916 | 5744198 | 1063 11018 | 63 | 0 1575.58/1575.96 c 1564s | 25 | 5846470 | 5750698 | 1063 11028 | 63 | 0 1577.58/1577.98 c 1566s | 25 | 5853242 | 5757398 | 1063 11039 | 63 | 0 1579.67/1580.00 c 1568s | 25 | 5859871 | 5763898 | 1063 11049 | 63 | 0 1581.68/1582.02 c 1570s | 25 | 5866384 | 5770298 | 1063 11059 | 63 | 0 1583.68/1584.03 c 1572s | 25 | 5873222 | 5776998 | 1063 11069 | 63 | 0 1585.68/1586.03 c 1574s | 25 | 5880135 | 5783798 | 1063 11080 | 63 | 0 1587.68/1588.05 c 1576s | 25 | 5886966 | 5790498 | 1063 11090 | 63 | 0 1589.68/1590.07 c 1578s | 25 | 5894345 | 5797698 | 1063 11101 | 63 | 0 1591.67/1592.09 c 1580s | 25 | 5901255 | 5804498 | 1063 11112 | 63 | 0 1593.77/1594.10 c 1582s | 25 | 5907995 | 5811098 | 1063 11122 | 63 | 0 1595.78/1596.11 c 1584s | 25 | 5914718 | 5817698 | 1063 11132 | 63 | 0 1597.77/1598.13 c 1586s | 25 | 5921306 | 5824198 | 1063 11143 | 63 | 0 1599.77/1600.14 c 1588s | 25 | 5927884 | 5830698 | 1063 11153 | 63 | 0 1601.77/1602.17 c 1590s | 25 | 5934727 | 5837398 | 1063 11163 | 63 | 0 1603.77/1604.18 c 1592s | 25 | 5941557 | 5844098 | 1063 11173 | 63 | 0 1605.77/1606.19 c 1594s | 25 | 5948267 | 5850698 | 1063 11184 | 63 | 0 1607.87/1608.21 c 1596s | 25 | 5955081 | 5857398 | 1063 11194 | 63 | 0 1609.86/1610.23 c 1598s | 25 | 5961887 | 5864098 | 1063 11205 | 63 | 0 1611.86/1612.23 c 1600s | 25 | 5968577 | 5870698 | 1063 11215 | 63 | 0 1613.86/1614.24 c 1602s | 25 | 5975486 | 5877498 | 1063 11225 | 63 | 0 1615.86/1616.26 c 1604s | 25 | 5981966 | 5883898 | 1063 11235 | 63 | 0 1617.87/1618.29 c 1606s | 25 | 5988407 | 5890298 | 1063 11245 | 63 | 0 1619.96/1620.30 c 1608s | 25 | 5994880 | 5896698 | 1063 11255 | 63 | 0 1621.96/1622.33 c 1610s | 25 | 6001693 | 5903398 | 1063 11266 | 63 | 0 1623.96/1624.33 c 1612s | 25 | 6008984 | 5910498 | 1063 11277 | 63 | 0 1625.95/1626.35 c 1614s | 25 | 6016399 | 5917698 | 1063 11288 | 63 | 0 1627.95/1628.37 c 1616s | 25 | 6023310 | 5924498 | 1063 11298 | 63 | 0 1629.96/1630.38 c 1618s | 25 | 6030286 | 5931398 | 1063 11309 | 63 | 0 1631.95/1632.40 c 1620s | 25 | 6037185 | 5938198 | 1063 11320 | 63 | 0 1634.05/1634.41 c 1622s | 25 | 6044126 | 5944998 | 1063 11330 | 63 | 0 1636.05/1636.42 c 1624s | 25 | 6051340 | 5951998 | 1063 11341 | 63 | 0 1638.05/1638.43 c 1626s | 25 | 6059024 | 5959498 | 1063 11352 | 63 | 0 1640.05/1640.45 c 1628s | 25 | 6066484 | 5966798 | 1063 11364 | 63 | 0 1642.05/1642.45 c 1630s | 25 | 6073715 | 5973898 | 1063 11375 | 63 | 0 1644.05/1644.46 c 1632s | 25 | 6080679 | 5980698 | 1063 11385 | 63 | 0 1646.04/1646.49 c 1634s | 25 | 6087765 | 5987698 | 1063 11396 | 63 | 0 1648.04/1648.49 c 1636s | 25 | 6094665 | 5994498 | 1063 11406 | 63 | 0 1650.14/1650.52 c 1638s | 25 | 6101505 | 6001198 | 1063 11417 | 63 | 0 1652.14/1652.55 c 1640s | 25 | 6108158 | 6007798 | 1063 11427 | 63 | 0 1654.15/1654.57 c 1642s | 25 | 6114953 | 6014498 | 1063 11437 | 63 | 0 1656.14/1656.58 c 1644s | 25 | 6121726 | 6021198 | 1063 11448 | 63 | 0 1658.14/1658.58 c 1646s | 25 | 6128212 | 6027598 | 1063 11458 | 63 | 0 1660.14/1660.59 c 1649s | 25 | 6134807 | 6034098 | 1063 11468 | 63 | 0 1662.24/1662.60 c 1651s | 25 | 6141302 | 6040498 | 1063 11478 | 63 | 0 1664.24/1664.62 c 1653s | 25 | 6147968 | 6047098 | 1063 11488 | 63 | 0 1666.24/1666.64 c 1655s | 25 | 6154627 | 6053698 | 1063 11498 | 63 | 0 1668.23/1668.65 c 1657s | 25 | 6161618 | 6060598 | 1063 11509 | 63 | 0 1670.23/1670.66 c 1659s | 25 | 6169026 | 6067898 | 1063 11520 | 63 | 0 1672.23/1672.68 c 1661s | 25 | 6175897 | 6074698 | 1063 11530 | 63 | 0 1674.23/1674.69 c 1663s | 25 | 6182771 | 6081498 | 1063 11541 | 63 | 0 1676.33/1676.70 c 1665s | 25 | 6189863 | 6088498 | 1063 11552 | 63 | 0 1678.34/1678.71 c 1667s | 25 | 6196792 | 6095298 | 1063 11562 | 63 | 0 1680.33/1680.73 c 1669s | 25 | 6203908 | 6102198 | 1063 11573 | 63 | 0 1682.32/1682.76 c 1671s | 25 | 6210956 | 6109098 | 1063 11584 | 63 | 0 1684.32/1684.77 c 1673s | 25 | 6217929 | 6115998 | 1063 11594 | 63 | 0 1686.42/1686.80 c 1675s | 25 | 6225315 | 6123298 | 1063 11606 | 63 | 0 1688.42/1688.81 c 1677s | 25 | 6232225 | 6130098 | 1063 11616 | 63 | 0 1690.42/1690.83 c 1679s | 25 | 6239518 | 6137298 | 1063 11627 | 63 | 0 1692.42/1692.83 c 1681s | 25 | 6246480 | 6144198 | 1063 11638 | 63 | 0 1694.42/1694.84 c 1683s | 25 | 6253394 | 6150998 | 1063 11648 | 63 | 0 1696.42/1696.87 c 1685s | 25 | 6260384 | 6157898 | 1063 11659 | 63 | 0 1698.52/1698.90 c 1687s | 25 | 6267180 | 6164598 | 1063 11670 | 63 | 0 1700.51/1700.92 c 1689s | 25 | 6273970 | 6171298 | 1063 11680 | 63 | 0 1702.52/1702.95 c 1691s | 25 | 6281209 | 6178398 | 1063 11691 | 63 | 0 1704.51/1704.96 c 1693s | 25 | 6288658 | 6185698 | 1063 11702 | 63 | 0 1706.51/1706.96 c 1695s | 25 | 6295844 | 6192798 | 1063 11713 | 63 | 0 1708.51/1708.99 c 1697s | 25 | 6303089 | 6199898 | 1063 11724 | 63 | 0 1710.61/1711.00 c 1699s | 25 | 6309920 | 6206598 | 1063 11735 | 63 | 0 1712.61/1713.01 c 1701s | 25 | 6316836 | 6213398 | 1063 11745 | 63 | 0 1714.61/1715.03 c 1703s | 25 | 6324077 | 6220598 | 1063 11756 | 63 | 0 1716.60/1717.03 c 1705s | 25 | 6330975 | 6227398 | 1063 11767 | 63 | 0 1718.60/1719.06 c 1707s | 25 | 6338085 | 6234398 | 1063 11778 | 63 | 0 1720.60/1721.08 c 1709s | 25 | 6345096 | 6241298 | 1063 11788 | 63 | 0 1722.60/1723.09 c 1711s | 25 | 6351995 | 6248098 | 1063 11799 | 63 | 0 1724.70/1725.11 c 1713s | 25 | 6358850 | 6254898 | 1063 11810 | 63 | 0 1726.70/1727.11 c 1715s | 25 | 6365522 | 6261498 | 1063 11820 | 63 | 0 1728.70/1729.14 c 1717s | 25 | 6372218 | 6268098 | 1063 11830 | 63 | 0 1730.70/1731.15 c 1719s | 25 | 6378847 | 6274698 | 1063 11840 | 63 | 0 1732.70/1733.16 c 1721s | 25 | 6385507 | 6281298 | 1063 11851 | 63 | 0 1734.70/1735.18 c 1723s | 25 | 6392754 | 6288498 | 1063 11862 | 63 | 0 1736.80/1737.21 c 1725s | 25 | 6399826 | 6295498 | 1063 11873 | 63 | 0 1738.81/1739.22 c 1727s | 25 | 6407027 | 6302598 | 1063 11884 | 63 | 0 1740.80/1741.22 c 1729s | 25 | 6414133 | 6309598 | 1063 11894 | 63 | 0 1742.80/1743.25 c 1731s | 25 | 6420979 | 6316398 | 1063 11905 | 63 | 0 1744.80/1745.25 c 1733s | 25 | 6427883 | 6323198 | 1063 11915 | 63 | 0 1746.80/1747.27 c 1735s | 25 | 6434820 | 6329998 | 1063 11926 | 63 | 0 1748.80/1749.29 c 1737s | 25 | 6441922 | 6336998 | 1063 11937 | 63 | 0 1750.90/1751.33 c 1739s | 25 | 6448902 | 6343898 | 1063 11948 | 63 | 0 1752.89/1753.36 c 1741s | 25 | 6455879 | 6350798 | 1063 11958 | 63 | 0 1754.89/1755.37 c 1743s | 25 | 6462638 | 6357498 | 1063 11969 | 63 | 0 1756.89/1757.38 c 1745s | 25 | 6469358 | 6364098 | 1063 11979 | 63 | 0 1758.89/1759.38 c 1747s | 25 | 6475955 | 6370598 | 1063 11989 | 63 | 0 1760.99/1761.40 c 1749s | 25 | 6482631 | 6377198 | 1063 11999 | 63 | 0 1763.00/1763.43 c 1751s | 25 | 6489203 | 6383698 | 1063 12009 | 63 | 0 1764.99/1765.45 c 1753s | 25 | 6496101 | 6390498 | 1063 12020 | 63 | 0 1766.99/1767.46 c 1755s | 25 | 6503562 | 6397798 | 1063 12031 | 63 | 0 1768.99/1769.48 c 1757s | 25 | 6510845 | 6404998 | 1063 12042 | 63 | 0 1770.98/1771.50 c 1759s | 25 | 6517846 | 6411898 | 1063 12053 | 63 | 0 1773.08/1773.50 c 1761s | 25 | 6524824 | 6418798 | 1063 12064 | 63 | 0 1775.09/1775.51 c 1763s | 25 | 6531468 | 6425398 | 1063 12074 | 63 | 0 1777.08/1777.52 c 1765s | 25 | 6538318 | 6432198 | 1063 12084 | 63 | 0 1779.08/1779.53 c 1767s | 25 | 6545153 | 6438998 | 1063 12095 | 63 | 0 1781.08/1781.55 c 1769s | 25 | 6552400 | 6446198 | 1063 12106 | 63 | 0 1783.08/1783.58 c 1771s | 25 | 6559506 | 6453198 | 1063 12117 | 63 | 0 1785.08/1785.58 c 1773s | 25 | 6566374 | 6459998 | 1063 12128 | 63 | 0 1787.18/1787.61 c 1776s | 25 | 6573445 | 6466998 | 1063 12138 | 63 | 0 1789.18/1789.63 c 1778s | 25 | 6580812 | 6474298 | 1063 12150 | 63 | 0 1791.17/1791.66 c 1780s | 25 | 6587974 | 6481398 | 1063 12161 | 63 | 0 1793.17/1793.68 c 1782s | 25 | 6595152 | 6488498 | 1063 12172 | 63 | 0 1795.17/1795.68 c 1784s | 25 | 6601920 | 6495198 | 1063 12182 | 63 | 0 1797.27/1797.70 c 1786s | 25 | 6608659 | 6501898 | 1063 12193 | 63 | 0 1799.18/1799.70 c 1788s | 25 | 6615612 | 6508798 | 1063 12203 | 63 | 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-4103981-1466239832/watcher-4103981-1466239832 -o /tmp/evaluation-result-4103981-1466239832/solver-4103981-1466239832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103981-1466239832.opb pid=3776 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.09 2.10 3/180 3779 /proc/meminfo: memFree=21371100/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=667068 CPUtime=0 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 2475 0 0 0 0 0 0 0 20 0 4 0 26029711 683077632 2835 33554432000 4194304 16246674 140736926005760 140736926005184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 167279 2844 441 2943 0 164173 0 [pid=3779/tid=3780] ppid=3776 vsize=710212 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 727257088 3006 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=714308 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 731451392 3024 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=718404 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26029711 735645696 3041 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100125 s] /proc/loadavg: 2.08 2.09 2.10 3/180 3779 /proc/meminfo: memFree=21371100/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 25291 0 0 0 5 4 0 0 20 0 4 0 26029711 1247350784 25642 33554432000 4194304 16246674 140736926005760 140736926005184 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 304529 25646 606 2943 0 301423 0 [pid=3779/tid=3780] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 25650 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 25653 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 25657 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200562 s] /proc/loadavg: 2.08 2.09 2.10 3/180 3779 /proc/meminfo: memFree=21371100/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 46111 0 0 0 12 7 0 0 20 0 4 0 26029711 1247350784 46462 33554432000 4194304 16246674 140736926005760 140736926005184 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 304529 46470 606 2943 0 301423 0 [pid=3779/tid=3780] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 46476 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 46481 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 46487 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300515 s] /proc/loadavg: 2.08 2.09 2.10 3/180 3779 /proc/meminfo: memFree=21371100/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 71289 0 0 0 18 11 0 0 20 0 4 0 26029711 1247350784 71640 33554432000 4194304 16246674 140736926005760 140736926005184 12654121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 304529 71655 606 2943 0 301423 0 [pid=3779/tid=3780] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 71664 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 71673 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 71682 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700451 s] /proc/loadavg: 2.08 2.09 2.10 3/180 3779 /proc/meminfo: memFree=21371100/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 156081 0 0 0 47 22 0 0 20 0 4 0 26029711 1247350784 156432 33554432000 4194304 16246674 140736926005760 140736925987648 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 304529 156437 606 2943 0 301423 0 [pid=3779/tid=3780] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 156440 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 156444 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26029711 1247350784 156448 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.08 2.09 2.10 3/184 3783 /proc/meminfo: memFree=20204884/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1402436 CPUtime=1.49 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 291492 0 0 0 108 41 0 0 20 0 4 0 26029711 1436094464 291799 33554432000 4194304 16246674 140736926005760 140736926005072 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 350609 291799 823 2943 0 347503 0 [pid=3779/tid=3780] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 291799 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 291799 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 291799 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1402436 [startup+3.10041 s] /proc/loadavg: 2.08 2.09 2.10 3/184 3783 /proc/meminfo: memFree=20022800/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1402436 CPUtime=3.09 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 291719 0 0 0 268 41 0 0 20 0 4 0 26029711 1436094464 292026 33554432000 4194304 16246674 140736926005760 140736925987648 12429024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 350609 292026 835 2943 0 347503 0 [pid=3779/tid=3780] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 292026 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 292026 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 1436094464 292026 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1402436 [startup+6.30042 s] /proc/loadavg: 2.08 2.08 2.10 3/184 3783 /proc/meminfo: memFree=19977796/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=1447492 CPUtime=6.29 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 303040 0 0 0 586 43 0 0 20 0 4 0 26029711 1482231808 303347 33554432000 4194304 16246674 140736926005760 140736926005072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3779/statm: 361873 303347 890 2943 0 358767 0 [pid=3779/tid=3780] ppid=3776 vsize=1447492 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 1482231808 303347 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=1447492 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 1482231808 303347 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=1447492 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 1482231808 303347 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1447492 [startup+12.7003 s] /proc/loadavg: 2.07 2.08 2.09 3/184 3783 /proc/meminfo: memFree=19180524/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=12.69 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501973 0 0 0 1203 66 0 0 20 0 4 0 26029711 2296975360 502280 33554432000 4194304 16246674 140736926005760 140736926004856 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502280 909 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502280 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502280 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502280 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 2243140 [startup+25.5003 s] /proc/loadavg: 2.05 2.08 2.09 3/184 3784 /proc/meminfo: memFree=19181300/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=25.49 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501976 0 0 0 2478 71 0 0 20 0 4 0 26029711 2296975360 502283 33554432000 4194304 16246674 140736926005760 140736926004936 6010420 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502283 911 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502283 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502283 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502283 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2243140 [startup+51.1005 s] /proc/loadavg: 2.23 2.12 2.10 3/183 3784 /proc/meminfo: memFree=18784060/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=51.08 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501982 0 0 0 5034 74 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140736925987648 5711888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502289 916 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2243140 [startup+102.3 s] /proc/loadavg: 2.10 2.10 2.09 3/183 3785 /proc/meminfo: memFree=19595144/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=102.28 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501982 0 0 0 10154 74 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140736925987648 12874997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502289 916 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502289 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 2243140 ################ # More data... # ################ /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 2243140 [startup+1362.3 s] /proc/loadavg: 2.11 2.17 2.14 3/183 3839 /proc/meminfo: memFree=14546980/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1362.08 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501984 0 0 0 136122 86 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 2243140 [startup+1422.3 s] /proc/loadavg: 1.90 2.13 2.13 2/173 3871 /proc/meminfo: memFree=28539840/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1422.08 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 501986 0 0 0 142121 87 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 2243140 [startup+1482.3 s] /proc/loadavg: 1.45 1.95 2.06 2/173 3872 /proc/meminfo: memFree=28540000/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1482.02 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502030 0 0 0 148115 87 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 12477844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 2243140 [startup+1542.31 s] /proc/loadavg: 1.20 1.79 2.00 2/172 3873 /proc/meminfo: memFree=28540284/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1542 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502072 0 0 0 154112 88 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 6021328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 2243140 [startup+1602.3 s] /proc/loadavg: 1.12 1.66 1.94 3/173 3875 /proc/meminfo: memFree=28540196/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1601.97 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502115 0 0 0 160108 89 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 2243140 [startup+1662.3 s] /proc/loadavg: 1.10 1.55 1.88 2/173 3876 /proc/meminfo: memFree=28540224/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1661.94 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502155 0 0 0 166105 89 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 2243140 [startup+1722.3 s] /proc/loadavg: 1.03 1.45 1.83 2/173 3877 /proc/meminfo: memFree=28540252/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1721.9 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502197 0 0 0 172101 89 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 2243140 [startup+1782.3 s] /proc/loadavg: 1.09 1.39 1.78 2/174 3881 /proc/meminfo: memFree=28539676/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1781.88 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502230 0 0 0 178098 90 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925988760 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 2243140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.13 1.39 1.77 2/174 3881 /proc/meminfo: memFree=28540080/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1800.07 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502246 0 0 0 179917 90 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2243140 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 3779 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.13 1.39 1.77 2/174 3881 /proc/meminfo: memFree=28540080/32872528 swapFree=1200228/1314692 [pid=3779] ppid=3776 vsize=2243140 CPUtime=1800.07 cores=0,2,4,6 /proc/3779/stat : 3779 (toysat) R 3776 3779 31224 0 -1 4202496 502246 0 0 0 179917 90 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140736925987648 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3779/statm: 560785 502291 918 2943 0 557679 0 [pid=3779/tid=3780] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3780/stat : 3780 (toysat) S 3776 3779 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174384147696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3779/tid=3781] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3781/stat : 3781 (toysat) S 3776 3779 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174373657840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3779/tid=3782] ppid=3776 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/3779/task/3782/stat : 3782 (toysat) S 3776 3779 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26029711 2296975360 502291 33554432000 4194304 16246674 140736926005760 140174363184304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2243140 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.15 CPU user time (s): 1799.17 CPU system time (s): 0.973851 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 2243140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 0.973851 maximum resident set size= 2009164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 502246 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= 298 involuntary context switches= 1857 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.26135 second user time and 11.5862 second system time The end
Begin job on node131 at 2016-06-18 10:50:32 IDJOB=4103981 IDBENCH=2523 IDSOLVER=2542 FILE ID=node131/4103981-1466239832 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103981-1466239832/watcher-4103981-1466239832 -o /tmp/evaluation-result-4103981-1466239832/solver-4103981-1466239832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103981-1466239832.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed3cba978a5e277395c10305f700e2f4 RANDOM SEED=1428046993 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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 : 2666.752 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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: 21372264 kB Buffers: 121140 kB Cached: 161208 kB SwapCached: 1460 kB Active: 9244920 kB Inactive: 185584 kB Active(anon): 9146764 kB Inactive(anon): 3860 kB Active(file): 98156 kB Inactive(file): 181724 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099856 kB Dirty: 16332 kB Writeback: 4 kB AnonPages: 10462124 kB Mapped: 10748 kB Shmem: 0 kB Slab: 602668 kB SReclaimable: 46736 kB SUnreclaim: 555932 kB KernelStack: 1504 kB PageTables: 24732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 10605164 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 71692 MiB End job on node131 at 2016-06-18 11:20:33