| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.52 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb |
| MD5SUM | dc0116cc9dd2d87e5a6934d46be3ef43 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 61 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 60 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4594 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-06T22:34:55+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-4079740-1465245295.opb"] 0.00/0.01 c use --random-gen="2340634903 1185700228 2534336634 2098972028 4251682686 143700008 3285886856 2394528353 2627071527 1642623007 1113886837 3808140041 2193391297 3748011394 2009394237 661396946 1698392177 3116095275 2186507179 3619030510 996081609 178535630 748626708 723140269 1749431236 46101137 2314086616 2380050445 3973021793 3143769371 2637677512 1663305507 2509399953 3455158551 2231713257 2661785865 3113350891 1881911558 3073273788 3829191394 3965679378 1408122602 2930830698 187596208 98067718 3947626358 2510806531 3279318745 4103260063 2219066373 3147799356 747520398 4267191601 946298642 2006170093 4012731529 1147141130 1473847437 7903272 377472280 945379246 1221376415 670056852 1058925690 3703867337 1045609000 1041190712 4049253127 901880710 4112759794 2852787927 373497342 2979223374 1010638303 3055300868 2298337188 178660119 3886786596 1218738927 1749146185 3812491969 853046892 2895660693 1330507258 1552133742 4254632772 3234876219 2952619702 153074055 3888123810 3825459187 381687726 758279655 771035845 2935352507 2825401826 2514022970 1284204804 1241573896 1395440673 1308088619 235089288 1441674181 4107216729 3398323886 1586623664 2269568003 1284676097 3792616968 3181691075 1669849724 3339883118 71619212 4033530526 788671165 1169088678 791166354 647466040 705252787 804361808 3963299956 543443525 3700876258 4244892869 3046424180 4039056959 695478365 4162407831 3583746364 1867890669 3492089694 2156843694 1057355283 4228241804 2596751996 4265661917 4202683693 4008548289 841990111 37013815 2052214146 1255427508 1951789659 3739113492 3746088484 857411715 435245740 2709338335 334138921 3181804653 2129634053 3790437379 3326269138 1891627152 4184389271 2177671006 4245875897 3148782344 4068473717 2878564589 593455381 1220949626 2051502373 67265698 1298143041 1750388083 3284900 608466606 2269290425 4201929194 427391716 3623629994 1882014193 2074757292 2672134115 4238326626 1679759331 2665284650 1675571549 717863668 3632120239 459353160 3117361716 3674666798 1226049652 1208645850 2550999837 2340345064 1912830153 2772733949 444447616 2108941532 1478291696 3246074161 1422516415 3083369594 2299084302 2603433777 4264175219 2188990377 2330289184 2674554907 1771457248 1035734289 2425509768 1733394876 2399969070 4259718371 1580311150 662432930 2892315385 1853108188 3377554737 4090655687 1808743483 2007305305 322952874 1851786984 1822793270 820112457 304019459 790799464 2281306387 4138523888 1747538513 3144103962 4036408629 343220621 2287496572 2678823806 633078325 2347897077 2661898701 1474914613 860399615 4036836890 1796177411 1992798334 2769631965 766106869 2397742485 3622921855 168196818 2227717135 2383049238 257243202 2511191660 1013255023 1622829783 3510070043 865157766 2229219466 1338218910 549145617 3309170600 420239047 255 362436" option to reproduce the execution 0.00/0.01 c #vars 61 0.00/0.01 c #constraints 15 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 25 0 | 1 | 0 0.00/0.04 c 0.0s | 1 | 131 | 100 | 25 1 | 1 | 0 0.00/0.07 c 0.1s | 2 | 310 | 250 | 28 7 | 1 | 0 0.08/0.12 c 0.1s | 3 | 579 | 475 | 31 14 | 1 | 0 0.08/0.19 c 0.2s | 4 | 946 | 813 | 35 23 | 1 | 0 0.29/0.31 c 0.3s | 5 | 1494 | 1320 | 39 37 | 1 | 0 0.39/0.46 c 0.5s | 6 | 2308 | 2081 | 48 58 | 1 | 0 0.69/0.70 c 0.7s | 7 | 3520 | 3223 | 53 86 | 1 | 0 0.99/1.07 c 1.1s | 8 | 5297 | 4936 | 59 127 | 1 | 0 1.49/1.54 c 1.5s | 9 | 7969 | 7506 | 65 185 | 1 | 0 1.99/2.06 c 2.0s | 10 | 11969 | 11361 | 72 270 | 1 | 0 2.79/2.82 c 2.8s | 11 | 17962 | 17144 | 80 390 | 1 | 0 3.89/3.91 c 3.9s | 12 | 26845 | 25819 | 88 556 | 1 | 0 5.50/5.54 c 5.5s | 13 | 40190 | 38832 | 97 788 | 1 | 0 7.49/7.54 c 7.5s | 13 | 56601 | 54832 | 97 1057 | 1 | 0 7.89/7.98 c 8.0s | 14 | 60200 | 58352 | 107 1117 | 1 | 0 9.89/9.98 c 10.0s | 14 | 76415 | 74252 | 107 1365 | 1 | 0 11.59/11.69 c 11.7s | 15 | 90070 | 87632 | 118 1574 | 1 | 0 13.59/13.69 c 13.7s | 15 | 106242 | 103432 | 118 1805 | 1 | 0 15.69/15.70 c 15.7s | 15 | 122732 | 119532 | 118 2041 | 1 | 0 17.19/17.23 c 17.2s | 16 | 134912 | 131552 | 130 2217 | 1 | 0 19.19/19.24 c 19.2s | 16 | 151144 | 147452 | 130 2432 | 1 | 0 21.18/21.24 c 21.2s | 16 | 167536 | 163552 | 130 2653 | 1 | 0 23.19/23.26 c 23.2s | 16 | 183982 | 179652 | 130 2876 | 1 | 0 25.18/25.27 c 25.3s | 16 | 199573 | 194852 | 130 3075 | 1 | 0 25.58/25.61 c 25.6s | 17 | 202213 | 197432 | 143 3108 | 1 | 0 27.59/27.62 c 27.6s | 17 | 217846 | 212732 | 143 3294 | 1 | 0 29.58/29.62 c 29.6s | 17 | 234027 | 228532 | 143 3490 | 1 | 0 31.58/31.63 c 31.6s | 17 | 250486 | 244532 | 143 3685 | 1 | 0 33.58/33.63 c 33.6s | 17 | 266567 | 260132 | 143 3879 | 1 | 0 35.58/35.64 c 35.6s | 17 | 282542 | 275732 | 143 4072 | 1 | 0 37.58/37.65 c 37.6s | 17 | 298411 | 291232 | 143 4264 | 1 | 0 38.18/38.29 c 38.3s | 18 | 303551 | 296252 | 158 4323 | 1 | 0 40.29/40.30 c 40.3s | 18 | 319134 | 311452 | 158 4489 | 1 | 0 42.29/42.30 c 42.3s | 18 | 335473 | 327452 | 158 4663 | 1 | 0 44.29/44.31 c 44.3s | 18 | 351966 | 343552 | 158 4837 | 1 | 0 46.29/46.32 c 46.3s | 18 | 368868 | 360052 | 158 5020 | 1 | 0 48.28/48.32 c 48.3s | 18 | 385205 | 375952 | 158 5196 | 1 | 0 50.28/50.33 c 50.3s | 18 | 400799 | 391252 | 158 5366 | 1 | 0 52.28/52.34 c 52.3s | 18 | 415998 | 406152 | 158 5530 | 1 | 0 54.28/54.34 c 54.3s | 18 | 431645 | 421452 | 158 5702 | 1 | 0 56.28/56.35 c 56.3s | 18 | 447978 | 437452 | 158 5878 | 1 | 0 57.19/57.28 c 57.3s | 19 | 455132 | 444482 | 174 5954 | 1 | 0 59.18/59.29 c 59.3s | 19 | 471775 | 460582 | 174 6122 | 1 | 0 61.18/61.29 c 61.3s | 19 | 487845 | 476282 | 174 6283 | 1 | 0 63.28/63.30 c 63.3s | 19 | 504452 | 492482 | 174 6450 | 1 | 0 65.27/65.30 c 65.3s | 19 | 520698 | 508382 | 174 6613 | 1 | 0 67.28/67.30 c 67.3s | 19 | 537242 | 524582 | 174 6782 | 1 | 0 69.29/69.31 c 69.3s | 19 | 553848 | 540782 | 174 6953 | 1 | 0 71.28/71.32 c 71.3s | 19 | 569469 | 556082 | 174 7113 | 1 | 0 73.28/73.33 c 73.3s | 19 | 585570 | 571882 | 174 7281 | 1 | 0 75.28/75.33 c 75.3s | 19 | 601830 | 587782 | 174 7450 | 1 | 0 77.28/77.33 c 77.3s | 19 | 617691 | 603382 | 174 7612 | 1 | 0 79.28/79.34 c 79.3s | 19 | 633762 | 619182 | 174 7777 | 1 | 0 81.28/81.35 c 81.3s | 19 | 649959 | 635082 | 174 7945 | 1 | 0 83.27/83.36 c 83.3s | 19 | 666520 | 651282 | 174 8117 | 1 | 0 85.17/85.26 c 85.2s | 20 | 682505 | 666827 | 192 8276 | 1 | 0 87.17/87.27 c 87.3s | 20 | 698437 | 682427 | 192 8425 | 1 | 0 89.19/89.28 c 89.3s | 20 | 714464 | 698127 | 192 8571 | 1 | 0 91.18/91.28 c 91.3s | 20 | 730663 | 713827 | 192 8720 | 1 | 0 93.18/93.28 c 93.3s | 20 | 746657 | 729527 | 192 8870 | 1 | 0 95.17/95.29 c 95.3s | 20 | 762732 | 745227 | 192 9020 | 1 | 0 97.17/97.29 c 97.3s | 20 | 778946 | 761027 | 192 9172 | 1 | 0 99.17/99.29 c 99.3s | 20 | 795119 | 776827 | 192 9326 | 1 | 0 101.18/101.30 c 101s | 20 | 810931 | 792227 | 192 9473 | 1 | 0 103.27/103.31 c 103s | 20 | 826683 | 807627 | 192 9620 | 1 | 0 105.27/105.31 c 105s | 20 | 841770 | 822527 | 192 9760 | 1 | 0 107.27/107.32 c 107s | 20 | 857299 | 837827 | 192 9904 | 1 | 0 109.27/109.33 c 109s | 20 | 873164 | 853427 | 192 10052 | 1 | 0 111.28/111.34 c 111s | 20 | 889247 | 869127 | 192 10201 | 1 | 0 113.28/113.35 c 113s | 20 | 905447 | 885027 | 192 10357 | 1 | 0 115.27/115.35 c 115s | 20 | 920753 | 900127 | 192 10498 | 1 | 0 117.27/117.36 c 117s | 20 | 936379 | 915527 | 192 10644 | 1 | 0 119.27/119.36 c 119s | 20 | 951574 | 930527 | 192 10787 | 1 | 0 121.27/121.37 c 121s | 20 | 967096 | 945827 | 192 10934 | 1 | 0 123.28/123.38 c 123s | 20 | 982792 | 961327 | 192 11084 | 1 | 0 125.27/125.38 c 125s | 20 | 998241 | 976527 | 192 11229 | 1 | 0 127.27/127.38 c 127s | 20 | 1014047 | 992027 | 192 11378 | 1 | 0 128.37/128.48 c 128s | 21 | 1022437 | 1000345 | 212 11452 | 1 | 0 130.37/130.48 c 130s | 21 | 1038405 | 1015945 | 212 11589 | 1 | 0 132.37/132.49 c 132s | 21 | 1053812 | 1030945 | 212 11718 | 1 | 0 134.37/134.49 c 134s | 21 | 1069303 | 1046145 | 212 11850 | 1 | 0 136.47/136.50 c 136s | 21 | 1085354 | 1061745 | 212 11986 | 1 | 0 138.46/138.51 c 138s | 21 | 1101353 | 1077445 | 212 12122 | 1 | 0 140.46/140.52 c 140s | 21 | 1117386 | 1093145 | 212 12258 | 1 | 0 142.46/142.52 c 142s | 21 | 1132525 | 1108145 | 212 12388 | 1 | 0 144.46/144.54 c 144s | 21 | 1147796 | 1123145 | 212 12519 | 1 | 0 146.46/146.54 c 146s | 21 | 1162653 | 1137745 | 212 12645 | 1 | 0 148.47/148.55 c 148s | 21 | 1177752 | 1152645 | 212 12777 | 1 | 0 150.47/150.56 c 150s | 21 | 1193222 | 1167845 | 212 12911 | 1 | 0 152.47/152.57 c 152s | 21 | 1208774 | 1183145 | 212 13046 | 1 | 0 154.47/154.58 c 154s | 21 | 1224178 | 1198345 | 212 13179 | 1 | 0 156.47/156.58 c 156s | 21 | 1239711 | 1213645 | 212 13316 | 1 | 0 158.47/158.59 c 158s | 21 | 1255477 | 1229145 | 212 13452 | 1 | 0 160.46/160.59 c 160s | 21 | 1271653 | 1244945 | 212 13591 | 1 | 0 162.46/162.59 c 162s | 21 | 1287015 | 1260045 | 212 13725 | 1 | 0 164.46/164.60 c 164s | 21 | 1302579 | 1275345 | 212 13860 | 1 | 0 166.56/166.60 c 166s | 21 | 1317908 | 1290445 | 212 13994 | 1 | 0 168.56/168.60 c 168s | 21 | 1334217 | 1306445 | 212 14135 | 1 | 0 170.47/170.60 c 170s | 21 | 1349932 | 1321945 | 212 14273 | 1 | 0 172.56/172.61 c 172s | 21 | 1366412 | 1338045 | 212 14418 | 1 | 0 174.56/174.61 c 174s | 21 | 1382614 | 1353945 | 212 14561 | 1 | 0 176.56/176.62 c 176s | 21 | 1398216 | 1369345 | 212 14700 | 1 | 0 178.56/178.63 c 178s | 21 | 1413722 | 1384545 | 212 14829 | 1 | 0 180.56/180.63 c 180s | 21 | 1428746 | 1399345 | 212 14956 | 1 | 0 182.57/182.64 c 182s | 21 | 1443683 | 1414045 | 212 15081 | 1 | 0 184.56/184.64 c 184s | 21 | 1458730 | 1428845 | 212 15208 | 1 | 0 186.56/186.64 c 186s | 21 | 1474411 | 1444145 | 212 15338 | 1 | 0 188.56/188.65 c 188s | 21 | 1490032 | 1459445 | 212 15469 | 1 | 0 190.56/190.66 c 190s | 21 | 1505584 | 1474645 | 212 15599 | 1 | 0 192.56/192.67 c 192s | 21 | 1520774 | 1489545 | 212 15726 | 1 | 0 194.06/194.17 c 194s | 22 | 1532017 | 1500622 | 234 15814 | 1 | 0 196.05/196.17 c 196s | 22 | 1547037 | 1515222 | 234 15928 | 1 | 0 198.06/198.18 c 198s | 22 | 1561634 | 1529522 | 234 16039 | 1 | 0 200.06/200.18 c 200s | 22 | 1576372 | 1544022 | 234 16152 | 1 | 0 202.06/202.18 c 202s | 22 | 1591432 | 1558822 | 234 16270 | 1 | 0 204.06/204.19 c 204s | 22 | 1606452 | 1573522 | 234 16384 | 1 | 0 206.06/206.19 c 206s | 22 | 1621977 | 1588622 | 234 16503 | 1 | 0 208.16/208.20 c 208s | 22 | 1637306 | 1603622 | 234 16623 | 1 | 0 210.17/210.21 c 210s | 22 | 1652386 | 1618422 | 234 16741 | 1 | 0 212.16/212.21 c 212s | 22 | 1667068 | 1632822 | 234 16854 | 1 | 0 214.16/214.23 c 214s | 22 | 1682114 | 1647522 | 234 16970 | 1 | 0 216.16/216.24 c 216s | 22 | 1696813 | 1662022 | 234 17085 | 1 | 0 218.16/218.24 c 218s | 22 | 1711636 | 1676522 | 234 17201 | 1 | 0 220.16/220.25 c 220s | 22 | 1726494 | 1691022 | 234 17315 | 1 | 0 222.16/222.25 c 222s | 22 | 1741986 | 1706122 | 234 17436 | 1 | 0 224.16/224.25 c 224s | 22 | 1757148 | 1720922 | 234 17553 | 1 | 0 226.16/226.26 c 226s | 22 | 1772411 | 1735822 | 234 17672 | 1 | 0 228.15/228.27 c 228s | 22 | 1787815 | 1750922 | 234 17791 | 1 | 0 230.15/230.27 c 230s | 22 | 1803891 | 1766622 | 234 17918 | 1 | 0 232.16/232.28 c 232s | 22 | 1819311 | 1781722 | 234 18039 | 1 | 0 234.15/234.28 c 234s | 22 | 1835192 | 1797322 | 234 18166 | 1 | 0 236.16/236.30 c 236s | 22 | 1850285 | 1812122 | 234 18285 | 1 | 0 238.25/238.30 c 238s | 22 | 1865657 | 1827222 | 234 18408 | 1 | 0 240.25/240.32 c 240s | 22 | 1880404 | 1841722 | 234 18525 | 1 | 0 242.25/242.32 c 242s | 22 | 1895091 | 1856122 | 234 18637 | 1 | 0 244.26/244.33 c 244s | 22 | 1910280 | 1870922 | 234 18755 | 1 | 0 246.25/246.34 c 246s | 22 | 1924892 | 1885222 | 234 18868 | 1 | 0 248.25/248.34 c 248s | 22 | 1939895 | 1899922 | 234 18984 | 1 | 0 250.25/250.35 c 250s | 22 | 1955206 | 1914922 | 234 19104 | 1 | 0 252.25/252.37 c 252s | 22 | 1970164 | 1929522 | 234 19220 | 1 | 0 254.25/254.37 c 254s | 22 | 1985725 | 1944622 | 234 19340 | 1 | 0 256.26/256.38 c 256s | 22 | 2001571 | 1960122 | 234 19464 | 1 | 0 258.25/258.38 c 258s | 22 | 2017197 | 1975422 | 234 19588 | 1 | 0 260.25/260.38 c 260s | 22 | 2032295 | 1990222 | 234 19706 | 1 | 0 262.25/262.39 c 262s | 22 | 2047004 | 2004622 | 234 19819 | 1 | 0 264.35/264.40 c 264s | 22 | 2061903 | 2019222 | 234 19935 | 1 | 0 266.35/266.40 c 266s | 22 | 2077271 | 2034222 | 234 20054 | 1 | 0 268.25/268.40 c 268s | 22 | 2093022 | 2049622 | 234 20179 | 1 | 0 270.34/270.41 c 270s | 22 | 2108456 | 2064722 | 234 20300 | 1 | 0 272.34/272.42 c 272s | 22 | 2124086 | 2080022 | 234 20424 | 1 | 0 274.34/274.43 c 274s | 22 | 2139479 | 2095122 | 234 20547 | 1 | 0 276.34/276.44 c 276s | 22 | 2154399 | 2109822 | 234 20663 | 1 | 0 278.35/278.45 c 278s | 22 | 2169791 | 2124922 | 234 20784 | 1 | 0 280.34/280.45 c 280s | 22 | 2184638 | 2139622 | 234 20901 | 1 | 0 282.35/282.46 c 282s | 22 | 2199882 | 2154622 | 234 21023 | 1 | 0 284.35/284.46 c 284s | 22 | 2215598 | 2170022 | 234 21145 | 1 | 0 286.35/286.46 c 286s | 22 | 2231149 | 2185222 | 234 21267 | 1 | 0 288.35/288.48 c 288s | 22 | 2245973 | 2199822 | 234 21384 | 1 | 0 290.35/290.49 c 290s | 22 | 2261365 | 2214922 | 234 21506 | 1 | 0 292.35/292.49 c 292s | 22 | 2276792 | 2230022 | 234 21626 | 1 | 0 294.35/294.49 c 294s | 22 | 2291892 | 2244822 | 258 21739 | 1 | 0 295.25/295.33 c 295s | 23 | 2298230 | 2251038 | 258 21785 | 1 | 0 297.25/297.34 c 297s | 23 | 2312231 | 2264838 | 258 21883 | 1 | 0 299.25/299.36 c 299s | 23 | 2325969 | 2278338 | 258 21979 | 1 | 0 301.25/301.37 c 301s | 23 | 2339824 | 2292038 | 258 22079 | 1 | 0 303.24/303.37 c 303s | 23 | 2353689 | 2305738 | 258 22177 | 1 | 0 305.24/305.37 c 305s | 23 | 2367679 | 2319538 | 258 22276 | 1 | 0 307.24/307.37 c 307s | 23 | 2381965 | 2333638 | 258 22377 | 1 | 0 309.24/309.37 c 309s | 23 | 2395326 | 2346738 | 258 22468 | 1 | 0 311.25/311.38 c 311s | 23 | 2409074 | 2360338 | 258 22565 | 1 | 0 313.24/313.39 c 313s | 23 | 2423366 | 2374338 | 258 22665 | 1 | 0 315.24/315.39 c 315s | 23 | 2437569 | 2388338 | 258 22766 | 1 | 0 317.34/317.40 c 317s | 23 | 2452160 | 2402638 | 258 22869 | 1 | 0 319.34/319.41 c 319s | 23 | 2466929 | 2417138 | 258 22975 | 1 | 0 321.34/321.42 c 321s | 23 | 2480858 | 2430838 | 258 23074 | 1 | 0 323.35/323.42 c 323s | 23 | 2495093 | 2444738 | 258 23175 | 1 | 0 325.34/325.44 c 325s | 23 | 2509092 | 2458538 | 258 23274 | 1 | 0 327.34/327.45 c 327s | 23 | 2523137 | 2472438 | 258 23376 | 1 | 0 329.34/329.45 c 329s | 23 | 2537473 | 2486538 | 258 23479 | 1 | 0 331.34/331.46 c 331s | 23 | 2552263 | 2501038 | 258 23583 | 1 | 0 333.35/333.46 c 333s | 23 | 2566983 | 2515438 | 258 23688 | 1 | 0 335.34/335.47 c 335s | 23 | 2581941 | 2530138 | 258 23797 | 1 | 0 337.34/337.47 c 337s | 23 | 2596584 | 2544538 | 258 23901 | 1 | 0 339.34/339.48 c 339s | 23 | 2610393 | 2558138 | 258 23999 | 1 | 0 341.33/341.49 c 341s | 23 | 2624493 | 2572038 | 258 24098 | 1 | 0 343.43/343.50 c 343s | 23 | 2638772 | 2586138 | 258 24199 | 1 | 0 345.44/345.50 c 345s | 23 | 2653134 | 2600238 | 258 24298 | 1 | 0 347.43/347.51 c 347s | 23 | 2667461 | 2614338 | 258 24398 | 1 | 0 349.43/349.51 c 349s | 23 | 2682275 | 2628938 | 258 24503 | 1 | 0 351.44/351.52 c 351s | 23 | 2696896 | 2643338 | 258 24607 | 1 | 0 353.44/353.53 c 353s | 23 | 2711105 | 2657338 | 258 24706 | 1 | 0 355.44/355.53 c 355s | 23 | 2725323 | 2671338 | 258 24806 | 1 | 0 357.44/357.53 c 357s | 23 | 2739635 | 2685438 | 258 24907 | 1 | 0 359.44/359.54 c 359s | 23 | 2754321 | 2699838 | 258 25010 | 1 | 0 361.44/361.55 c 361s | 23 | 2769447 | 2714738 | 258 25118 | 1 | 0 363.44/363.55 c 363s | 23 | 2784056 | 2729138 | 258 25222 | 1 | 0 365.44/365.56 c 365s | 23 | 2798665 | 2743538 | 258 25327 | 1 | 0 367.44/367.57 c 367s | 23 | 2812537 | 2757238 | 258 25426 | 1 | 0 369.43/369.57 c 369s | 23 | 2826334 | 2770838 | 258 25523 | 1 | 0 371.43/371.58 c 371s | 23 | 2840508 | 2784738 | 258 25624 | 1 | 0 373.43/373.59 c 373s | 23 | 2855393 | 2799338 | 258 25729 | 1 | 0 375.53/375.60 c 375s | 23 | 2868947 | 2812738 | 258 25825 | 1 | 0 377.53/377.60 c 377s | 23 | 2882677 | 2826338 | 258 25924 | 1 | 0 379.54/379.61 c 379s | 23 | 2896993 | 2840438 | 258 26026 | 1 | 0 381.53/381.62 c 381s | 23 | 2911139 | 2854338 | 258 26127 | 1 | 0 383.53/383.62 c 383s | 23 | 2925061 | 2868038 | 258 26226 | 1 | 0 385.53/385.62 c 385s | 23 | 2939119 | 2881938 | 258 26325 | 1 | 0 387.53/387.63 c 387s | 23 | 2952768 | 2895438 | 258 26424 | 1 | 0 389.53/389.64 c 389s | 23 | 2966500 | 2909038 | 258 26521 | 1 | 0 391.53/391.65 c 391s | 23 | 2980021 | 2922338 | 258 26617 | 1 | 0 393.53/393.67 c 393s | 23 | 2994337 | 2936538 | 258 26720 | 1 | 0 395.53/395.68 c 395s | 23 | 3008129 | 2950238 | 258 26819 | 1 | 0 397.53/397.68 c 397s | 23 | 3021968 | 2963938 | 258 26917 | 1 | 0 399.53/399.68 c 399s | 23 | 3035811 | 2977638 | 258 27016 | 1 | 0 401.63/401.70 c 401s | 23 | 3049509 | 2991238 | 258 27115 | 1 | 0 403.52/403.70 c 403s | 23 | 3063235 | 3004838 | 258 27214 | 1 | 0 405.62/405.72 c 405s | 23 | 3077561 | 3019038 | 258 27317 | 1 | 0 407.62/407.73 c 407s | 23 | 3091618 | 3032938 | 258 27418 | 1 | 0 409.62/409.73 c 409s | 23 | 3105705 | 3046938 | 258 27521 | 1 | 0 411.62/411.74 c 411s | 23 | 3120227 | 3061338 | 258 27628 | 1 | 0 413.63/413.74 c 413s | 23 | 3135326 | 3076238 | 258 27734 | 1 | 0 415.63/415.75 c 415s | 23 | 3150308 | 3091038 | 258 27839 | 1 | 0 417.63/417.75 c 417s | 23 | 3164843 | 3105438 | 258 27942 | 1 | 0 419.63/419.76 c 419s | 23 | 3179621 | 3120038 | 258 28046 | 1 | 0 421.63/421.77 c 421s | 23 | 3194586 | 3134838 | 258 28152 | 1 | 0 423.63/423.78 c 423s | 23 | 3209292 | 3149338 | 258 28256 | 1 | 0 425.63/425.79 c 425s | 23 | 3224006 | 3163838 | 258 28361 | 1 | 0 427.63/427.79 c 427s | 23 | 3238234 | 3177938 | 258 28462 | 1 | 0 429.62/429.79 c 429s | 23 | 3252540 | 3192038 | 258 28563 | 1 | 0 431.72/431.81 c 431s | 23 | 3266892 | 3206238 | 258 28665 | 1 | 0 433.72/433.81 c 433s | 23 | 3281476 | 3220638 | 258 28770 | 1 | 0 435.72/435.82 c 435s | 23 | 3296184 | 3235138 | 258 28872 | 1 | 0 437.73/437.82 c 437s | 23 | 3310253 | 3249038 | 258 28971 | 1 | 0 439.72/439.82 c 439s | 23 | 3324338 | 3262938 | 258 29072 | 1 | 0 441.72/441.83 c 441s | 23 | 3338628 | 3277038 | 258 29173 | 1 | 0 443.72/443.84 c 443s | 23 | 3352935 | 3291138 | 258 29276 | 1 | 0 445.72/445.85 c 445s | 23 | 3366929 | 3304938 | 258 29376 | 1 | 0 447.73/447.86 c 447s | 23 | 3381617 | 3319338 | 258 29481 | 1 | 0 449.72/449.87 c 449s | 23 | 3395864 | 3333438 | 258 29582 | 1 | 0 451.72/451.87 c 451s | 23 | 3409665 | 3347038 | 258 29682 | 1 | 0 453.72/453.88 c 453s | 23 | 3423560 | 3360738 | 284 29777 | 1 | 0 455.72/455.89 c 455s | 23 | 3437291 | 3374338 | 284 29866 | 1 | 0 456.12/456.22 c 456s | 24 | 3439639 | 3376662 | 284 29882 | 1 | 0 458.12/458.23 c 458s | 24 | 3454617 | 3391362 | 284 29975 | 1 | 0 460.12/460.23 c 460s | 24 | 3468597 | 3405162 | 284 30063 | 1 | 0 462.12/462.23 c 462s | 24 | 3482677 | 3419062 | 284 30152 | 1 | 0 464.13/464.24 c 464s | 24 | 3497072 | 3433262 | 284 30243 | 1 | 0 466.12/466.24 c 466s | 24 | 3511770 | 3447762 | 284 30336 | 1 | 0 468.12/468.24 c 468s | 24 | 3526141 | 3461962 | 284 30427 | 1 | 0 470.12/470.26 c 470s | 24 | 3540455 | 3476062 | 284 30518 | 1 | 0 472.12/472.26 c 472s | 24 | 3554673 | 3490062 | 284 30608 | 1 | 0 474.12/474.27 c 474s | 24 | 3568757 | 3503962 | 284 30698 | 1 | 0 476.12/476.28 c 476s | 24 | 3582820 | 3517862 | 284 30788 | 1 | 0 478.12/478.29 c 478s | 24 | 3596784 | 3531662 | 284 30877 | 1 | 0 480.12/480.29 c 480s | 24 | 3611157 | 3545862 | 284 30967 | 1 | 0 482.21/482.30 c 482s | 24 | 3625418 | 3559962 | 284 31057 | 1 | 0 484.21/484.30 c 484s | 24 | 3639819 | 3574162 | 284 31147 | 1 | 0 486.22/486.31 c 486s | 24 | 3654213 | 3588362 | 284 31237 | 1 | 0 488.21/488.32 c 488s | 24 | 3668688 | 3602662 | 284 31329 | 1 | 0 490.21/490.33 c 490s | 24 | 3682859 | 3616662 | 284 31418 | 1 | 0 492.21/492.34 c 492s | 24 | 3696920 | 3630562 | 284 31508 | 1 | 0 494.21/494.35 c 494s | 24 | 3711182 | 3644662 | 284 31599 | 1 | 0 496.21/496.35 c 496s | 24 | 3725264 | 3658562 | 284 31688 | 1 | 0 498.22/498.35 c 498s | 24 | 3739005 | 3672162 | 284 31776 | 1 | 0 500.21/500.36 c 500s | 24 | 3752756 | 3685762 | 284 31863 | 1 | 0 502.21/502.36 c 502s | 24 | 3766604 | 3699462 | 284 31951 | 1 | 0 504.21/504.36 c 504s | 24 | 3780527 | 3713262 | 284 32040 | 1 | 0 506.21/506.37 c 506s | 24 | 3794860 | 3727362 | 284 32130 | 1 | 0 508.21/508.37 c 508s | 24 | 3809523 | 3741762 | 284 32223 | 1 | 0 510.21/510.37 c 510s | 24 | 3823920 | 3755962 | 284 32314 | 1 | 0 512.21/512.38 c 512s | 24 | 3837983 | 3769862 | 284 32404 | 1 | 0 514.21/514.39 c 514s | 24 | 3852167 | 3783862 | 284 32494 | 1 | 0 516.31/516.40 c 516s | 24 | 3866248 | 3797762 | 284 32585 | 1 | 0 518.31/518.41 c 518s | 24 | 3880686 | 3811962 | 284 32677 | 1 | 0 520.32/520.42 c 520s | 24 | 3894999 | 3826162 | 284 32769 | 1 | 0 522.31/522.43 c 522s | 24 | 3909181 | 3840162 | 284 32860 | 1 | 0 524.31/524.43 c 524s | 24 | 3923653 | 3854462 | 284 32952 | 1 | 0 526.31/526.44 c 526s | 24 | 3937817 | 3868462 | 284 33043 | 1 | 0 528.31/528.44 c 528s | 24 | 3952075 | 3882562 | 284 33135 | 1 | 0 530.31/530.45 c 530s | 24 | 3966225 | 3896562 | 284 33226 | 1 | 0 532.32/532.45 c 532s | 24 | 3980199 | 3910362 | 284 33316 | 1 | 0 534.31/534.46 c 534s | 24 | 3994285 | 3924262 | 284 33407 | 1 | 0 536.31/536.47 c 536s | 24 | 4008598 | 3938362 | 284 33499 | 1 | 0 538.31/538.47 c 538s | 24 | 4023017 | 3952562 | 284 33591 | 1 | 0 540.31/540.47 c 540s | 24 | 4037085 | 3966462 | 284 33683 | 1 | 0 542.32/542.48 c 542s | 24 | 4051391 | 3980562 | 284 33777 | 1 | 0 544.31/544.48 c 544s | 24 | 4066573 | 3995462 | 284 33871 | 1 | 0 546.31/546.49 c 546s | 24 | 4081323 | 4010062 | 284 33964 | 1 | 0 548.41/548.51 c 548s | 24 | 4095887 | 4024462 | 284 34056 | 1 | 0 550.41/550.51 c 550s | 24 | 4110169 | 4038562 | 284 34145 | 1 | 0 552.41/552.51 c 552s | 24 | 4124561 | 4052762 | 284 34237 | 1 | 0 554.41/554.51 c 554s | 24 | 4139032 | 4067062 | 284 34328 | 1 | 0 556.41/556.52 c 556s | 24 | 4153075 | 4080962 | 284 34417 | 1 | 0 558.41/558.53 c 558s | 24 | 4167355 | 4095062 | 284 34507 | 1 | 0 560.40/560.53 c 560s | 24 | 4181353 | 4108862 | 284 34596 | 1 | 0 562.40/562.54 c 562s | 24 | 4195455 | 4122762 | 284 34685 | 1 | 0 564.40/564.54 c 564s | 24 | 4209602 | 4136662 | 284 34774 | 1 | 0 566.41/566.55 c 566s | 24 | 4223986 | 4150762 | 284 34865 | 1 | 0 568.40/568.57 c 568s | 24 | 4238166 | 4164762 | 284 34955 | 1 | 0 570.40/570.57 c 570s | 24 | 4252459 | 4178862 | 284 35045 | 1 | 0 572.40/572.58 c 572s | 24 | 4266781 | 4192962 | 284 35135 | 1 | 0 574.40/574.59 c 574s | 24 | 4281173 | 4207162 | 284 35226 | 1 | 0 576.41/576.59 c 576s | 24 | 4295460 | 4221262 | 284 35317 | 1 | 0 578.40/578.60 c 578s | 24 | 4309978 | 4235562 | 284 35409 | 1 | 0 580.50/580.60 c 580s | 24 | 4324233 | 4249662 | 284 35500 | 1 | 0 582.50/582.61 c 582s | 24 | 4338636 | 4263862 | 284 35591 | 1 | 0 584.50/584.61 c 584s | 24 | 4352695 | 4277762 | 284 35680 | 1 | 0 586.49/586.61 c 586s | 24 | 4366917 | 4291762 | 284 35770 | 1 | 0 588.50/588.62 c 588s | 24 | 4381317 | 4305962 | 284 35862 | 1 | 0 590.49/590.64 c 590s | 24 | 4395086 | 4319562 | 284 35949 | 1 | 0 592.49/592.64 c 592s | 24 | 4408897 | 4333262 | 284 36038 | 1 | 0 594.49/594.64 c 594s | 24 | 4422687 | 4346862 | 284 36126 | 1 | 0 596.50/596.65 c 596s | 24 | 4436407 | 4360462 | 284 36214 | 1 | 0 598.50/598.66 c 598s | 24 | 4450651 | 4374562 | 284 36306 | 1 | 0 600.51/600.67 c 600s | 24 | 4465071 | 4388762 | 284 36397 | 1 | 0 602.50/602.69 c 602s | 24 | 4479544 | 4402962 | 284 36488 | 1 | 0 604.50/604.69 c 604s | 24 | 4493400 | 4416562 | 284 36575 | 1 | 0 606.50/606.69 c 606s | 24 | 4507004 | 4429962 | 284 36662 | 1 | 0 608.60/608.70 c 608s | 24 | 4520287 | 4443062 | 284 36746 | 1 | 0 610.60/610.71 c 610s | 24 | 4534379 | 4456962 | 284 36836 | 1 | 0 612.60/612.72 c 612s | 24 | 4548091 | 4470462 | 284 36923 | 1 | 0 614.60/614.73 c 614s | 24 | 4561809 | 4483962 | 284 37011 | 1 | 0 616.60/616.73 c 616s | 24 | 4575698 | 4497662 | 284 37100 | 1 | 0 618.59/618.74 c 618s | 24 | 4590106 | 4511862 | 284 37192 | 1 | 0 620.59/620.75 c 620s | 24 | 4604305 | 4525862 | 284 37283 | 1 | 0 622.60/622.76 c 622s | 24 | 4618608 | 4539962 | 284 37375 | 1 | 0 624.59/624.77 c 624s | 24 | 4632814 | 4553962 | 284 37466 | 1 | 0 626.59/626.78 c 626s | 24 | 4646701 | 4567662 | 284 37556 | 1 | 0 628.59/628.79 c 628s | 24 | 4660551 | 4581362 | 284 37646 | 1 | 0 630.69/630.80 c 630s | 24 | 4674230 | 4594862 | 284 37734 | 1 | 0 632.69/632.81 c 632s | 24 | 4689008 | 4609462 | 284 37827 | 1 | 0 634.70/634.81 c 634s | 24 | 4703725 | 4623962 | 284 37919 | 1 | 0 636.69/636.82 c 636s | 24 | 4718329 | 4638362 | 284 38011 | 1 | 0 638.69/638.83 c 638s | 24 | 4732938 | 4652762 | 284 38103 | 1 | 0 640.69/640.83 c 640s | 24 | 4747620 | 4667262 | 284 38196 | 1 | 0 642.69/642.84 c 642s | 24 | 4762334 | 4681762 | 284 38289 | 1 | 0 644.69/644.85 c 644s | 24 | 4777109 | 4696262 | 284 38382 | 1 | 0 646.70/646.86 c 646s | 24 | 4791819 | 4710762 | 284 38475 | 1 | 0 648.69/648.86 c 648s | 24 | 4806411 | 4725162 | 284 38568 | 1 | 0 650.69/650.87 c 650s | 24 | 4821021 | 4739562 | 284 38661 | 1 | 0 652.69/652.88 c 652s | 24 | 4835959 | 4754262 | 284 38755 | 1 | 0 654.69/654.88 c 654s | 24 | 4851015 | 4769062 | 284 38850 | 1 | 0 656.69/656.89 c 656s | 24 | 4866395 | 4784162 | 284 38948 | 1 | 0 658.68/658.90 c 658s | 24 | 4881702 | 4799262 | 284 39045 | 1 | 0 660.79/660.91 c 660s | 24 | 4896587 | 4813962 | 284 39140 | 1 | 0 662.79/662.91 c 662s | 24 | 4911419 | 4828562 | 284 39234 | 1 | 0 664.79/664.92 c 664s | 24 | 4926075 | 4843062 | 284 39328 | 1 | 0 666.79/666.92 c 666s | 24 | 4940544 | 4857362 | 284 39421 | 1 | 0 668.79/668.92 c 668s | 24 | 4955378 | 4871962 | 284 39516 | 1 | 0 670.79/670.93 c 670s | 24 | 4970071 | 4886462 | 284 39610 | 1 | 0 672.78/672.94 c 672s | 24 | 4984464 | 4900662 | 284 39702 | 1 | 0 674.78/674.95 c 674s | 24 | 4998566 | 4914562 | 284 39792 | 1 | 0 676.78/676.96 c 676s | 24 | 5012907 | 4928662 | 284 39883 | 1 | 0 678.78/678.97 c 678s | 24 | 5027309 | 4942862 | 284 39976 | 1 | 0 680.79/680.97 c 680s | 24 | 5041816 | 4957162 | 284 40068 | 1 | 0 682.78/682.98 c 682s | 24 | 5055984 | 4971162 | 284 40159 | 1 | 0 684.78/684.99 c 684s | 24 | 5070261 | 4985262 | 284 40250 | 1 | 0 686.88/687.00 c 686s | 24 | 5084545 | 4999362 | 284 40341 | 1 | 0 688.88/689.01 c 688s | 24 | 5098636 | 5013262 | 284 40431 | 1 | 0 690.88/691.02 c 691s | 24 | 5112873 | 5027262 | 284 40522 | 1 | 0 692.89/693.02 c 693s | 24 | 5127117 | 5041262 | 313 40606 | 1 | 0 694.88/695.03 c 695s | 24 | 5141349 | 5055262 | 313 40689 | 1 | 0 696.29/696.43 c 696s | 25 | 5151325 | 5065098 | 313 40747 | 1 | 0 698.29/698.44 c 698s | 25 | 5165056 | 5078498 | 313 40825 | 1 | 0 700.29/700.45 c 700s | 25 | 5177994 | 5091198 | 313 40900 | 1 | 0 702.29/702.46 c 702s | 25 | 5190815 | 5103798 | 313 40974 | 1 | 0 704.28/704.46 c 704s | 25 | 5204012 | 5116698 | 313 41050 | 1 | 0 706.28/706.46 c 706s | 25 | 5216896 | 5129398 | 313 41126 | 1 | 0 708.29/708.46 c 708s | 25 | 5230561 | 5142798 | 313 41205 | 1 | 0 710.28/710.47 c 710s | 25 | 5244037 | 5155998 | 313 41283 | 1 | 0 712.28/712.48 c 712s | 25 | 5257443 | 5169198 | 313 41361 | 1 | 0 714.28/714.48 c 714s | 25 | 5270888 | 5182398 | 313 41439 | 1 | 0 716.28/716.49 c 716s | 25 | 5284036 | 5195298 | 313 41515 | 1 | 0 718.38/718.50 c 718s | 25 | 5297172 | 5208198 | 313 41593 | 1 | 0 720.38/720.52 c 720s | 25 | 5310006 | 5220798 | 313 41668 | 1 | 0 722.37/722.53 c 722s | 25 | 5323099 | 5233598 | 313 41744 | 1 | 0 724.38/724.53 c 724s | 25 | 5336228 | 5246498 | 313 41822 | 1 | 0 726.38/726.54 c 726s | 25 | 5349531 | 5259598 | 313 41902 | 1 | 0 728.38/728.55 c 728s | 25 | 5362104 | 5271998 | 313 41975 | 1 | 0 730.39/730.55 c 730s | 25 | 5375107 | 5284798 | 313 42052 | 1 | 0 732.38/732.55 c 732s | 25 | 5387985 | 5297398 | 313 42126 | 1 | 0 734.38/734.56 c 734s | 25 | 5401243 | 5310398 | 313 42204 | 1 | 0 736.38/736.56 c 736s | 25 | 5414953 | 5323798 | 313 42283 | 1 | 0 738.38/738.56 c 738s | 25 | 5427964 | 5336598 | 313 42359 | 1 | 0 740.38/740.57 c 740s | 25 | 5441433 | 5349798 | 313 42439 | 1 | 0 742.38/742.58 c 742s | 25 | 5454871 | 5362998 | 313 42519 | 1 | 0 744.38/744.58 c 744s | 25 | 5468626 | 5376498 | 313 42601 | 1 | 0 746.38/746.59 c 746s | 25 | 5481842 | 5389498 | 313 42679 | 1 | 0 748.48/748.60 c 748s | 25 | 5495126 | 5402598 | 313 42757 | 1 | 0 750.47/750.61 c 750s | 25 | 5508543 | 5415798 | 313 42836 | 1 | 0 752.47/752.62 c 752s | 25 | 5522363 | 5429398 | 313 42918 | 1 | 0 754.48/754.63 c 754s | 25 | 5535428 | 5442298 | 313 42994 | 1 | 0 756.47/756.64 c 756s | 25 | 5548722 | 5455398 | 313 43073 | 1 | 0 758.47/758.64 c 758s | 25 | 5561915 | 5468298 | 313 43150 | 1 | 0 760.47/760.65 c 760s | 25 | 5575428 | 5481598 | 313 43230 | 1 | 0 762.47/762.65 c 762s | 25 | 5588903 | 5494898 | 313 43310 | 1 | 0 764.48/764.66 c 764s | 25 | 5602270 | 5508098 | 313 43390 | 1 | 0 766.47/766.67 c 766s | 25 | 5616117 | 5521698 | 313 43472 | 1 | 0 768.47/768.67 c 768s | 25 | 5629588 | 5534998 | 313 43553 | 1 | 0 770.47/770.68 c 770s | 25 | 5643333 | 5548598 | 313 43636 | 1 | 0 772.47/772.69 c 772s | 25 | 5657158 | 5562298 | 313 43720 | 1 | 0 774.57/774.70 c 774s | 25 | 5671054 | 5575998 | 313 43803 | 1 | 0 776.57/776.70 c 776s | 25 | 5685075 | 5589798 | 313 43888 | 1 | 0 778.57/778.71 c 778s | 25 | 5698572 | 5603098 | 313 43969 | 1 | 0 780.57/780.71 c 780s | 25 | 5711621 | 5615898 | 313 44045 | 1 | 0 782.57/782.72 c 782s | 25 | 5725197 | 5629198 | 313 44125 | 1 | 0 784.57/784.72 c 784s | 25 | 5738428 | 5642098 | 313 44202 | 1 | 0 786.57/786.73 c 786s | 25 | 5751786 | 5655198 | 313 44282 | 1 | 0 788.58/788.75 c 788s | 25 | 5765459 | 5668598 | 313 44363 | 1 | 0 790.57/790.75 c 790s | 25 | 5778663 | 5681598 | 313 44442 | 1 | 0 792.57/792.76 c 792s | 25 | 5791570 | 5694298 | 313 44518 | 1 | 0 794.57/794.77 c 794s | 25 | 5804769 | 5707298 | 313 44598 | 1 | 0 796.57/796.78 c 796s | 25 | 5817993 | 5720298 | 313 44677 | 1 | 0 798.58/798.79 c 798s | 25 | 5831597 | 5733698 | 313 44759 | 1 | 0 800.57/800.80 c 800s | 25 | 5844966 | 5746898 | 313 44839 | 1 | 0 802.67/802.82 c 802s | 25 | 5858643 | 5760398 | 313 44922 | 1 | 0 804.67/804.82 c 804s | 25 | 5872437 | 5773998 | 313 45006 | 1 | 0 806.67/806.83 c 806s | 25 | 5886061 | 5787298 | 313 45085 | 1 | 0 808.67/808.83 c 808s | 25 | 5899664 | 5800698 | 313 45165 | 1 | 0 810.67/810.83 c 810s | 25 | 5913393 | 5814298 | 313 45246 | 1 | 0 812.67/812.84 c 812s | 25 | 5926989 | 5827698 | 313 45327 | 1 | 0 814.67/814.84 c 814s | 25 | 5940372 | 5840898 | 313 45405 | 1 | 0 816.67/816.85 c 816s | 25 | 5953514 | 5853798 | 313 45482 | 1 | 0 818.67/818.85 c 818s | 25 | 5966779 | 5866898 | 313 45561 | 1 | 0 820.67/820.86 c 820s | 25 | 5980332 | 5880198 | 313 45641 | 1 | 0 822.67/822.87 c 822s | 25 | 5993880 | 5893498 | 313 45720 | 1 | 0 824.66/824.87 c 824s | 25 | 6007716 | 5906998 | 313 45802 | 1 | 0 826.66/826.88 c 826s | 25 | 6021186 | 5920298 | 313 45882 | 1 | 0 828.66/828.89 c 828s | 25 | 6034966 | 5933798 | 313 45964 | 1 | 0 830.76/830.90 c 830s | 25 | 6048633 | 5947198 | 313 46045 | 1 | 0 832.76/832.90 c 832s | 25 | 6062335 | 5960598 | 313 46126 | 1 | 0 834.77/834.90 c 834s | 25 | 6076091 | 5974098 | 313 46207 | 1 | 0 836.76/836.91 c 836s | 25 | 6089660 | 5987498 | 313 46289 | 1 | 0 838.76/838.92 c 838s | 25 | 6102822 | 6000398 | 313 46366 | 1 | 0 840.76/840.93 c 840s | 25 | 6116214 | 6013498 | 313 46444 | 1 | 0 842.76/842.93 c 842s | 25 | 6129815 | 6026898 | 313 46524 | 1 | 0 844.76/844.94 c 844s | 25 | 6143323 | 6040098 | 313 46604 | 1 | 0 846.76/846.94 c 846s | 25 | 6156734 | 6053298 | 313 46682 | 1 | 0 848.76/848.95 c 848s | 25 | 6169810 | 6066198 | 313 46760 | 1 | 0 850.75/850.95 c 850s | 25 | 6183123 | 6079298 | 313 46838 | 1 | 0 852.76/852.95 c 852s | 25 | 6196202 | 6092198 | 313 46916 | 1 | 0 854.76/854.96 c 854s | 25 | 6209532 | 6105298 | 313 46995 | 1 | 0 856.77/856.97 c 856s | 25 | 6222896 | 6118498 | 313 47074 | 1 | 0 858.76/858.98 c 858s | 25 | 6236295 | 6131698 | 313 47154 | 1 | 0 860.76/860.99 c 860s | 25 | 6249638 | 6144898 | 313 47235 | 1 | 0 862.86/863.00 c 862s | 25 | 6262647 | 6157798 | 313 47312 | 1 | 0 864.86/865.00 c 864s | 25 | 6276214 | 6171198 | 313 47392 | 1 | 0 866.86/867.00 c 866s | 25 | 6289337 | 6184198 | 313 47471 | 1 | 0 868.87/869.01 c 868s | 25 | 6302395 | 6197098 | 313 47548 | 1 | 0 870.86/871.02 c 871s | 25 | 6315641 | 6210198 | 313 47627 | 1 | 0 872.86/873.03 c 873s | 25 | 6329405 | 6223798 | 313 47708 | 1 | 0 874.86/875.04 c 875s | 25 | 6342513 | 6236698 | 313 47784 | 1 | 0 876.86/877.04 c 877s | 25 | 6355402 | 6249398 | 313 47861 | 1 | 0 878.86/879.05 c 879s | 25 | 6368794 | 6262498 | 313 47940 | 1 | 0 880.86/881.05 c 881s | 25 | 6382290 | 6275798 | 313 48020 | 1 | 0 882.86/883.05 c 883s | 25 | 6395732 | 6288998 | 313 48099 | 1 | 0 884.86/885.06 c 885s | 25 | 6409336 | 6302398 | 313 48181 | 1 | 0 886.85/887.07 c 887s | 25 | 6423216 | 6316098 | 313 48264 | 1 | 0 888.85/889.08 c 889s | 25 | 6436872 | 6329498 | 313 48346 | 1 | 0 890.86/891.09 c 891s | 25 | 6450273 | 6342698 | 313 48425 | 1 | 0 892.85/893.10 c 893s | 25 | 6463830 | 6356098 | 313 48506 | 1 | 0 894.95/895.10 c 895s | 25 | 6477152 | 6369198 | 313 48585 | 1 | 0 896.95/897.10 c 897s | 25 | 6490929 | 6382698 | 313 48667 | 1 | 0 898.95/899.11 c 899s | 25 | 6505006 | 6396498 | 313 48751 | 1 | 0 900.95/901.12 c 901s | 25 | 6519050 | 6410298 | 313 48835 | 1 | 0 902.95/903.12 c 903s | 25 | 6532940 | 6423898 | 313 48918 | 1 | 0 904.95/905.13 c 905s | 25 | 6546937 | 6437598 | 313 49002 | 1 | 0 906.95/907.14 c 907s | 25 | 6560631 | 6450998 | 313 49084 | 1 | 0 908.95/909.14 c 909s | 25 | 6574251 | 6464398 | 313 49166 | 1 | 0 910.95/911.14 c 911s | 25 | 6588071 | 6477998 | 313 49250 | 1 | 0 912.96/913.15 c 913s | 25 | 6601391 | 6491098 | 313 49328 | 1 | 0 914.95/915.16 c 915s | 25 | 6614820 | 6504298 | 313 49407 | 1 | 0 916.95/917.17 c 917s | 25 | 6628728 | 6517998 | 313 49490 | 1 | 0 918.95/919.18 c 919s | 25 | 6642145 | 6531198 | 313 49570 | 1 | 0 920.95/921.18 c 921s | 25 | 6655227 | 6543998 | 313 49646 | 1 | 0 922.95/923.19 c 923s | 25 | 6668385 | 6556898 | 313 49724 | 1 | 0 924.96/925.20 c 925s | 25 | 6681678 | 6569998 | 313 49803 | 1 | 0 927.05/927.20 c 927s | 25 | 6695385 | 6583398 | 313 49884 | 1 | 0 929.05/929.21 c 929s | 25 | 6709248 | 6596998 | 313 49967 | 1 | 0 931.05/931.22 c 931s | 25 | 6723221 | 6610698 | 313 50050 | 1 | 0 933.05/933.23 c 933s | 25 | 6737060 | 6624298 | 313 50132 | 1 | 0 935.04/935.24 c 935s | 25 | 6750444 | 6637498 | 313 50212 | 1 | 0 937.05/937.24 c 937s | 25 | 6763942 | 6650798 | 313 50292 | 1 | 0 939.04/939.25 c 939s | 25 | 6777626 | 6664298 | 313 50373 | 1 | 0 941.04/941.26 c 941s | 25 | 6791421 | 6677898 | 313 50456 | 1 | 0 943.04/943.26 c 943s | 25 | 6805075 | 6691398 | 313 50538 | 1 | 0 945.04/945.28 c 945s | 25 | 6819055 | 6705198 | 313 50622 | 1 | 0 947.05/947.28 c 947s | 25 | 6832706 | 6718598 | 313 50703 | 1 | 0 949.04/949.28 c 949s | 25 | 6846417 | 6732098 | 313 50785 | 1 | 0 951.04/951.29 c 951s | 25 | 6860055 | 6745498 | 313 50867 | 1 | 0 953.04/953.29 c 953s | 25 | 6874163 | 6759298 | 313 50952 | 1 | 0 955.04/955.29 c 955s | 25 | 6888124 | 6772998 | 313 51036 | 1 | 0 957.14/957.30 c 957s | 25 | 6902115 | 6786798 | 313 51119 | 1 | 0 959.15/959.30 c 959s | 25 | 6916227 | 6800598 | 313 51201 | 1 | 0 961.15/961.31 c 961s | 25 | 6930153 | 6814298 | 313 51283 | 1 | 0 963.15/963.31 c 963s | 25 | 6944623 | 6828498 | 313 51369 | 1 | 0 965.14/965.33 c 965s | 25 | 6958690 | 6842298 | 313 51452 | 1 | 0 967.14/967.34 c 967s | 25 | 6972892 | 6856298 | 313 51536 | 1 | 0 969.14/969.35 c 969s | 25 | 6987054 | 6870198 | 313 51620 | 1 | 0 971.15/971.35 c 971s | 25 | 7000906 | 6883798 | 313 51703 | 1 | 0 973.14/973.36 c 973s | 25 | 7015191 | 6897798 | 313 51787 | 1 | 0 975.14/975.36 c 975s | 25 | 7029384 | 6911598 | 313 51871 | 1 | 0 977.14/977.36 c 977s | 25 | 7043332 | 6925198 | 313 51954 | 1 | 0 979.14/979.37 c 979s | 25 | 7056817 | 6938398 | 313 52033 | 1 | 0 981.14/981.37 c 981s | 25 | 7070386 | 6951698 | 313 52114 | 1 | 0 983.14/983.38 c 983s | 25 | 7084020 | 6965098 | 313 52196 | 1 | 0 985.14/985.39 c 985s | 25 | 7097970 | 6978798 | 313 52280 | 1 | 0 987.14/987.39 c 987s | 25 | 7111876 | 6992498 | 313 52364 | 1 | 0 989.14/989.39 c 989s | 25 | 7125792 | 7006098 | 313 52447 | 1 | 0 991.24/991.41 c 991s | 25 | 7139538 | 7019498 | 313 52528 | 1 | 0 993.25/993.41 c 993s | 25 | 7153436 | 7032998 | 313 52611 | 1 | 0 995.24/995.42 c 995s | 25 | 7167084 | 7046298 | 313 52691 | 1 | 0 997.24/997.42 c 997s | 25 | 7179910 | 7058898 | 313 52766 | 1 | 0 999.24/999.43 c 999s | 25 | 7192749 | 7071598 | 313 52842 | 1 | 0 1001.24/1001.44 c 1001s | 25 | 7205733 | 7084298 | 313 52917 | 1 | 0 1003.24/1003.45 c 1003s | 25 | 7218908 | 7097098 | 313 52994 | 1 | 0 1005.24/1005.46 c 1005s | 25 | 7232144 | 7110098 | 313 53072 | 1 | 0 1007.24/1007.47 c 1007s | 25 | 7245565 | 7123298 | 313 53150 | 1 | 0 1009.23/1009.47 c 1009s | 25 | 7259044 | 7136598 | 313 53231 | 1 | 0 1011.23/1011.49 c 1011s | 25 | 7272066 | 7149398 | 313 53307 | 1 | 0 1013.23/1013.49 c 1013s | 25 | 7285268 | 7162398 | 313 53385 | 1 | 0 1015.24/1015.50 c 1015s | 25 | 7298201 | 7175198 | 313 53462 | 1 | 0 1017.23/1017.50 c 1017s | 25 | 7311186 | 7188098 | 313 53541 | 1 | 0 1019.33/1019.50 c 1019s | 25 | 7324784 | 7201398 | 313 53620 | 1 | 0 1021.33/1021.50 c 1021s | 25 | 7338347 | 7214698 | 313 53699 | 1 | 0 1023.33/1023.51 c 1023s | 25 | 7352243 | 7228398 | 313 53782 | 1 | 0 1025.33/1025.52 c 1025s | 25 | 7365828 | 7241798 | 313 53861 | 1 | 0 1027.34/1027.53 c 1027s | 25 | 7379762 | 7255498 | 313 53943 | 1 | 0 1029.34/1029.53 c 1029s | 25 | 7393336 | 7268898 | 313 54023 | 1 | 0 1031.34/1031.54 c 1031s | 25 | 7407512 | 7282798 | 313 54106 | 1 | 0 1033.34/1033.55 c 1033s | 25 | 7421289 | 7296398 | 313 54188 | 1 | 0 1035.33/1035.56 c 1035s | 25 | 7434937 | 7309898 | 313 54269 | 1 | 0 1037.33/1037.57 c 1037s | 25 | 7448788 | 7323598 | 313 54352 | 1 | 0 1039.34/1039.57 c 1039s | 25 | 7462255 | 7336898 | 313 54433 | 1 | 0 1041.33/1041.58 c 1041s | 25 | 7475721 | 7349998 | 313 54511 | 1 | 0 1043.33/1043.58 c 1043s | 25 | 7489031 | 7363098 | 313 54590 | 1 | 0 1045.33/1045.58 c 1045s | 25 | 7501882 | 7375798 | 313 54666 | 1 | 0 1047.33/1047.59 c 1047s | 25 | 7515356 | 7389098 | 313 54746 | 1 | 0 1049.43/1049.61 c 1049s | 25 | 7528866 | 7402498 | 313 54828 | 1 | 0 1051.44/1051.62 c 1051s | 25 | 7542299 | 7415698 | 313 54906 | 1 | 0 1053.43/1053.63 c 1053s | 25 | 7555231 | 7428398 | 313 54981 | 1 | 0 1055.43/1055.64 c 1055s | 25 | 7568252 | 7441198 | 313 55058 | 1 | 0 1057.43/1057.64 c 1057s | 25 | 7581334 | 7453998 | 313 55134 | 1 | 0 1059.43/1059.65 c 1059s | 25 | 7594655 | 7467098 | 313 55213 | 1 | 0 1061.43/1061.66 c 1061s | 25 | 7608313 | 7480498 | 313 55293 | 1 | 0 1063.42/1063.67 c 1063s | 25 | 7621979 | 7493898 | 313 55374 | 1 | 0 1065.42/1065.67 c 1065s | 25 | 7635829 | 7507398 | 313 55455 | 1 | 0 1067.42/1067.69 c 1067s | 25 | 7649514 | 7520798 | 313 55535 | 1 | 0 1069.43/1069.69 c 1069s | 25 | 7662916 | 7533998 | 313 55614 | 1 | 0 1071.53/1071.70 c 1071s | 25 | 7676314 | 7547198 | 345 55691 | 1 | 0 1073.54/1073.71 c 1073s | 25 | 7689730 | 7560398 | 345 55764 | 1 | 0 1075.53/1075.72 c 1075s | 25 | 7703327 | 7573798 | 345 55838 | 1 | 0 1077.53/1077.72 c 1077s | 25 | 7716847 | 7587098 | 345 55912 | 1 | 0 1079.13/1079.39 c 1079s | 26 | 7727699 | 7597752 | 345 55970 | 1 | 0 1081.13/1081.40 c 1081s | 26 | 7741040 | 7610652 | 345 56039 | 1 | 0 1083.23/1083.40 c 1083s | 26 | 7754259 | 7623652 | 345 56110 | 1 | 0 1085.23/1085.41 c 1085s | 26 | 7767596 | 7636752 | 345 56181 | 1 | 0 1087.22/1087.41 c 1087s | 26 | 7780295 | 7649252 | 345 56249 | 1 | 0 1089.22/1089.42 c 1089s | 26 | 7793741 | 7662352 | 345 56321 | 1 | 0 1091.22/1091.43 c 1091s | 26 | 7807294 | 7675752 | 345 56393 | 1 | 0 1093.23/1093.44 c 1093s | 26 | 7820266 | 7688552 | 345 56462 | 1 | 0 1095.22/1095.45 c 1095s | 26 | 7833385 | 7701552 | 345 56533 | 1 | 0 1097.22/1097.47 c 1097s | 26 | 7846882 | 7714852 | 345 56606 | 1 | 0 1099.22/1099.47 c 1099s | 26 | 7860545 | 7728352 | 345 56681 | 1 | 0 1101.22/1101.47 c 1101s | 26 | 7873925 | 7741552 | 345 56753 | 1 | 0 1103.23/1103.49 c 1103s | 26 | 7887173 | 7754652 | 345 56824 | 1 | 0 1105.22/1105.49 c 1105s | 26 | 7900551 | 7767852 | 345 56896 | 1 | 0 1107.32/1107.50 c 1107s | 26 | 7914398 | 7781552 | 345 56972 | 1 | 0 1109.32/1109.51 c 1109s | 26 | 7928108 | 7795052 | 345 57044 | 1 | 0 1111.32/1111.51 c 1111s | 26 | 7941408 | 7808152 | 345 57114 | 1 | 0 1113.32/1113.52 c 1113s | 26 | 7954312 | 7820852 | 345 57183 | 1 | 0 1115.33/1115.52 c 1115s | 26 | 7967545 | 7833952 | 345 57254 | 1 | 0 1117.32/1117.52 c 1117s | 26 | 7980690 | 7846852 | 345 57324 | 1 | 0 1119.32/1119.54 c 1119s | 26 | 7994126 | 7860052 | 345 57396 | 1 | 0 1121.32/1121.55 c 1121s | 26 | 8007646 | 7873452 | 345 57469 | 1 | 0 1123.32/1123.56 c 1123s | 26 | 8020748 | 7886352 | 345 57539 | 1 | 0 1125.32/1125.56 c 1125s | 26 | 8034044 | 7899552 | 345 57611 | 1 | 0 1127.33/1127.56 c 1127s | 26 | 8047517 | 7912852 | 345 57684 | 1 | 0 1129.32/1129.58 c 1129s | 26 | 8060739 | 7925952 | 345 57755 | 1 | 0 1131.32/1131.58 c 1131s | 26 | 8074249 | 7939252 | 345 57829 | 1 | 0 1133.32/1133.59 c 1133s | 26 | 8087958 | 7952752 | 345 57903 | 1 | 0 1135.32/1135.59 c 1135s | 26 | 8101647 | 7966252 | 345 57978 | 1 | 0 1137.42/1137.60 c 1137s | 26 | 8114704 | 7979152 | 345 58048 | 1 | 0 1139.32/1139.60 c 1139s | 26 | 8127630 | 7991952 | 345 58118 | 1 | 0 1141.42/1141.60 c 1141s | 26 | 8141199 | 8005352 | 345 58192 | 1 | 0 1143.42/1143.62 c 1143s | 26 | 8154460 | 8018452 | 345 58264 | 1 | 0 1145.41/1145.63 c 1145s | 26 | 8168087 | 8031852 | 345 58337 | 1 | 0 1147.41/1147.64 c 1147s | 26 | 8181977 | 8045552 | 345 58411 | 1 | 0 1149.42/1149.65 c 1149s | 26 | 8195029 | 8058452 | 345 58481 | 1 | 0 1151.41/1151.67 c 1151s | 26 | 8208114 | 8071452 | 345 58553 | 1 | 0 1153.41/1153.67 c 1153s | 26 | 8221359 | 8084552 | 345 58624 | 1 | 0 1155.41/1155.69 c 1155s | 26 | 8234599 | 8097552 | 345 58696 | 1 | 0 1157.41/1157.69 c 1157s | 26 | 8248080 | 8110852 | 345 58769 | 1 | 0 1159.51/1159.70 c 1159s | 26 | 8261512 | 8124052 | 345 58842 | 1 | 0 1161.52/1161.71 c 1161s | 26 | 8275192 | 8137552 | 345 58917 | 1 | 0 1163.52/1163.73 c 1163s | 26 | 8288500 | 8150652 | 345 58989 | 1 | 0 1165.52/1165.73 c 1165s | 26 | 8301847 | 8163852 | 345 59061 | 1 | 0 1167.52/1167.73 c 1167s | 26 | 8315077 | 8176852 | 345 59132 | 1 | 0 1169.52/1169.74 c 1169s | 26 | 8328229 | 8189852 | 345 59204 | 1 | 0 1171.51/1171.76 c 1171s | 26 | 8341958 | 8203352 | 345 59280 | 1 | 0 1173.52/1173.77 c 1173s | 26 | 8355998 | 8217252 | 345 59358 | 1 | 0 1175.51/1175.77 c 1175s | 26 | 8368801 | 8229952 | 345 59427 | 1 | 0 1177.51/1177.77 c 1177s | 26 | 8381602 | 8242652 | 345 59497 | 1 | 0 1179.51/1179.78 c 1179s | 26 | 8394391 | 8255352 | 345 59566 | 1 | 0 1181.61/1181.80 c 1181s | 26 | 8407671 | 8268552 | 345 59638 | 1 | 0 1183.61/1183.81 c 1183s | 26 | 8420441 | 8281252 | 345 59707 | 1 | 0 1185.62/1185.82 c 1185s | 26 | 8433821 | 8294552 | 345 59780 | 1 | 0 1187.61/1187.82 c 1187s | 26 | 8447039 | 8307652 | 345 59852 | 1 | 0 1189.61/1189.82 c 1189s | 26 | 8460299 | 8320852 | 345 59924 | 1 | 0 1191.61/1191.82 c 1191s | 26 | 8473858 | 8334352 | 345 59998 | 1 | 0 1193.61/1193.83 c 1193s | 26 | 8486917 | 8347352 | 345 60070 | 1 | 0 1195.62/1195.84 c 1195s | 26 | 8499647 | 8359952 | 345 60139 | 1 | 0 1197.61/1197.85 c 1197s | 26 | 8512622 | 8372852 | 345 60209 | 1 | 0 1199.61/1199.85 c 1199s | 26 | 8525518 | 8385652 | 345 60280 | 1 | 0 1201.61/1201.85 c 1201s | 26 | 8538497 | 8398552 | 345 60350 | 1 | 0 1203.61/1203.86 c 1203s | 26 | 8551754 | 8411652 | 345 60423 | 1 | 0 1205.61/1205.87 c 1205s | 26 | 8565148 | 8424952 | 345 60496 | 1 | 0 1207.61/1207.88 c 1207s | 26 | 8578347 | 8438052 | 345 60568 | 1 | 0 1209.61/1209.89 c 1209s | 26 | 8591314 | 8450952 | 345 60639 | 1 | 0 1211.70/1211.90 c 1211s | 26 | 8604596 | 8464152 | 345 60712 | 1 | 0 1213.70/1213.91 c 1213s | 26 | 8618030 | 8477452 | 345 60786 | 1 | 0 1215.70/1215.93 c 1215s | 26 | 8631426 | 8490752 | 345 60860 | 1 | 0 1217.70/1217.93 c 1217s | 26 | 8644860 | 8504052 | 345 60934 | 1 | 0 1219.71/1219.94 c 1219s | 26 | 8658241 | 8517352 | 345 61008 | 1 | 0 1221.70/1221.96 c 1221s | 26 | 8671775 | 8530752 | 345 61083 | 1 | 0 1223.70/1223.96 c 1223s | 26 | 8685063 | 8543952 | 345 61157 | 1 | 0 1225.70/1225.96 c 1225s | 26 | 8698371 | 8557152 | 345 61231 | 1 | 0 1227.70/1227.97 c 1227s | 26 | 8712068 | 8570752 | 345 61308 | 1 | 0 1229.71/1229.97 c 1229s | 26 | 8725123 | 8583652 | 345 61377 | 1 | 0 1231.70/1231.98 c 1231s | 26 | 8738281 | 8596652 | 345 61448 | 1 | 0 1233.70/1233.98 c 1233s | 26 | 8751562 | 8609752 | 345 61519 | 1 | 0 1235.70/1235.99 c 1235s | 26 | 8764569 | 8622552 | 345 61589 | 1 | 0 1237.70/1237.99 c 1237s | 26 | 8777740 | 8635552 | 345 61661 | 1 | 0 1239.79/1240.00 c 1239s | 26 | 8791345 | 8648952 | 345 61734 | 1 | 0 1241.80/1242.00 c 1241s | 26 | 8804949 | 8662352 | 345 61807 | 1 | 0 1243.79/1244.01 c 1243s | 26 | 8818630 | 8675752 | 345 61881 | 1 | 0 1245.79/1246.01 c 1245s | 26 | 8831820 | 8688752 | 345 61952 | 1 | 0 1247.79/1248.01 c 1248s | 26 | 8845245 | 8702052 | 345 62025 | 1 | 0 1249.80/1250.02 c 1250s | 26 | 8858922 | 8715552 | 345 62099 | 1 | 0 1251.80/1252.04 c 1252s | 26 | 8871929 | 8728452 | 345 62170 | 1 | 0 1253.80/1254.04 c 1254s | 26 | 8884948 | 8741352 | 345 62241 | 1 | 0 1255.80/1256.04 c 1256s | 26 | 8898355 | 8754652 | 345 62315 | 1 | 0 1257.80/1258.05 c 1258s | 26 | 8911625 | 8767852 | 345 62388 | 1 | 0 1259.79/1260.06 c 1260s | 26 | 8925205 | 8781252 | 345 62462 | 1 | 0 1261.79/1262.08 c 1262s | 26 | 8938817 | 8794752 | 345 62538 | 1 | 0 1263.80/1264.08 c 1264s | 26 | 8951604 | 8807252 | 345 62606 | 1 | 0 1265.79/1266.08 c 1266s | 26 | 8964161 | 8819652 | 345 62674 | 1 | 0 1267.89/1268.10 c 1268s | 26 | 8977342 | 8832652 | 345 62746 | 1 | 0 1269.89/1270.10 c 1270s | 26 | 8989766 | 8844852 | 345 62813 | 1 | 0 1271.89/1272.11 c 1272s | 26 | 9002687 | 8857552 | 345 62883 | 1 | 0 1273.89/1274.11 c 1274s | 26 | 9015635 | 8870352 | 345 62954 | 1 | 0 1275.89/1276.12 c 1276s | 26 | 9028713 | 8883252 | 345 63025 | 1 | 0 1277.88/1278.12 c 1278s | 26 | 9041819 | 8896152 | 345 63097 | 1 | 0 1279.88/1280.13 c 1280s | 26 | 9055427 | 8909552 | 345 63171 | 1 | 0 1281.88/1282.14 c 1282s | 26 | 9068926 | 8922852 | 345 63244 | 1 | 0 1283.88/1284.15 c 1284s | 26 | 9082110 | 8935852 | 345 63316 | 1 | 0 1285.88/1286.15 c 1286s | 26 | 9095554 | 8949052 | 345 63389 | 1 | 0 1287.89/1288.16 c 1288s | 26 | 9108497 | 8961852 | 345 63461 | 1 | 0 1289.87/1290.18 c 1290s | 26 | 9121518 | 8974752 | 345 63532 | 1 | 0 1291.87/1292.19 c 1292s | 26 | 9134637 | 8987752 | 345 63603 | 1 | 0 1293.97/1294.20 c 1294s | 26 | 9147514 | 9000452 | 345 63673 | 1 | 0 1295.97/1296.20 c 1296s | 26 | 9161007 | 9013752 | 345 63747 | 1 | 0 1297.97/1298.21 c 1298s | 26 | 9174228 | 9026852 | 345 63819 | 1 | 0 1299.97/1300.21 c 1300s | 26 | 9187525 | 9040052 | 345 63891 | 1 | 0 1301.96/1302.22 c 1302s | 26 | 9200896 | 9053252 | 345 63964 | 1 | 0 1303.96/1304.23 c 1304s | 26 | 9214007 | 9066252 | 345 64035 | 1 | 0 1305.96/1306.24 c 1306s | 26 | 9227200 | 9079352 | 345 64107 | 1 | 0 1307.96/1308.25 c 1308s | 26 | 9240523 | 9092552 | 345 64180 | 1 | 0 1309.96/1310.26 c 1310s | 26 | 9253324 | 9105252 | 345 64250 | 1 | 0 1311.96/1312.27 c 1312s | 26 | 9266412 | 9118252 | 345 64322 | 1 | 0 1313.96/1314.28 c 1314s | 26 | 9278951 | 9130652 | 345 64390 | 1 | 0 1315.96/1316.28 c 1316s | 26 | 9291810 | 9143352 | 345 64460 | 1 | 0 1317.96/1318.28 c 1318s | 26 | 9304929 | 9156352 | 345 64531 | 1 | 0 1319.96/1320.29 c 1320s | 26 | 9317966 | 9169252 | 345 64603 | 1 | 0 1321.96/1322.29 c 1322s | 26 | 9331309 | 9182452 | 345 64677 | 1 | 0 1324.05/1324.31 c 1324s | 26 | 9345254 | 9196252 | 345 64752 | 1 | 0 1326.05/1326.32 c 1326s | 26 | 9358815 | 9209652 | 345 64825 | 1 | 0 1328.05/1328.33 c 1328s | 26 | 9372048 | 9222752 | 345 64897 | 1 | 0 1330.05/1330.33 c 1330s | 26 | 9385061 | 9235652 | 345 64968 | 1 | 0 1332.05/1332.34 c 1332s | 26 | 9398375 | 9248852 | 345 65041 | 1 | 0 1334.05/1334.35 c 1334s | 26 | 9411603 | 9261952 | 345 65113 | 1 | 0 1336.05/1336.36 c 1336s | 26 | 9424880 | 9275052 | 345 65186 | 1 | 0 1338.05/1338.37 c 1338s | 26 | 9438234 | 9288252 | 345 65259 | 1 | 0 1340.04/1340.37 c 1340s | 26 | 9451567 | 9301452 | 345 65333 | 1 | 0 1342.04/1342.38 c 1342s | 26 | 9464494 | 9314252 | 345 65403 | 1 | 0 1344.05/1344.39 c 1344s | 26 | 9477589 | 9327252 | 345 65476 | 1 | 0 1346.04/1346.39 c 1346s | 26 | 9491205 | 9340752 | 345 65550 | 1 | 0 1348.14/1348.41 c 1348s | 26 | 9504611 | 9354052 | 345 65624 | 1 | 0 1350.13/1350.42 c 1350s | 26 | 9517877 | 9367252 | 345 65698 | 1 | 0 1352.13/1352.43 c 1352s | 26 | 9531390 | 9380652 | 345 65772 | 1 | 0 1354.13/1354.44 c 1354s | 26 | 9544663 | 9393852 | 345 65846 | 1 | 0 1356.14/1356.45 c 1356s | 26 | 9557972 | 9407052 | 345 65920 | 1 | 0 1358.13/1358.45 c 1358s | 26 | 9571315 | 9420252 | 345 65993 | 1 | 0 1360.13/1360.45 c 1360s | 26 | 9584629 | 9433452 | 345 66067 | 1 | 0 1362.13/1362.45 c 1362s | 26 | 9597945 | 9446652 | 345 66140 | 1 | 0 1364.13/1364.46 c 1364s | 26 | 9611377 | 9459952 | 345 66214 | 1 | 0 1366.13/1366.46 c 1366s | 26 | 9624999 | 9473452 | 345 66291 | 1 | 0 1368.14/1368.48 c 1368s | 26 | 9638211 | 9486552 | 345 66363 | 1 | 0 1370.12/1370.48 c 1370s | 26 | 9651843 | 9500052 | 345 66438 | 1 | 0 1372.12/1372.49 c 1372s | 26 | 9665049 | 9513152 | 345 66510 | 1 | 0 1374.22/1374.50 c 1374s | 26 | 9678062 | 9526052 | 345 66582 | 1 | 0 1376.22/1376.51 c 1376s | 26 | 9691379 | 9539252 | 345 66655 | 1 | 0 1378.22/1378.51 c 1378s | 26 | 9704505 | 9552252 | 345 66728 | 1 | 0 1380.23/1380.52 c 1380s | 26 | 9717938 | 9565552 | 345 66802 | 1 | 0 1382.22/1382.53 c 1382s | 26 | 9731019 | 9578552 | 345 66875 | 1 | 0 1384.22/1384.53 c 1384s | 26 | 9744047 | 9591452 | 345 66947 | 1 | 0 1386.22/1386.55 c 1386s | 26 | 9757040 | 9604352 | 345 67020 | 1 | 0 1388.22/1388.56 c 1388s | 26 | 9770336 | 9617552 | 345 67093 | 1 | 0 1390.23/1390.57 c 1390s | 26 | 9783394 | 9630552 | 345 67165 | 1 | 0 1392.22/1392.58 c 1392s | 26 | 9796989 | 9644052 | 345 67240 | 1 | 0 1394.22/1394.58 c 1394s | 26 | 9810657 | 9657652 | 345 67316 | 1 | 0 1396.21/1396.59 c 1396s | 26 | 9824211 | 9671052 | 345 67391 | 1 | 0 1398.31/1398.60 c 1398s | 26 | 9837613 | 9684352 | 345 67465 | 1 | 0 1400.31/1400.60 c 1400s | 26 | 9851145 | 9697752 | 345 67540 | 1 | 0 1402.32/1402.61 c 1402s | 26 | 9864847 | 9711352 | 345 67617 | 1 | 0 1404.31/1404.61 c 1404s | 26 | 9877699 | 9724152 | 345 67688 | 1 | 0 1406.31/1406.61 c 1406s | 26 | 9890668 | 9737052 | 345 67760 | 1 | 0 1408.31/1408.61 c 1408s | 26 | 9903549 | 9749852 | 345 67832 | 1 | 0 1410.30/1410.61 c 1410s | 26 | 9916778 | 9762952 | 345 67905 | 1 | 0 1412.30/1412.62 c 1412s | 26 | 9930133 | 9776152 | 345 67979 | 1 | 0 1414.31/1414.62 c 1414s | 26 | 9943110 | 9789052 | 345 68052 | 1 | 0 1416.30/1416.63 c 1416s | 26 | 9956441 | 9802252 | 345 68127 | 1 | 0 1418.30/1418.65 c 1418s | 26 | 9969472 | 9815152 | 345 68199 | 1 | 0 1420.30/1420.65 c 1420s | 26 | 9982877 | 9828452 | 345 68273 | 1 | 0 1422.29/1422.65 c 1422s | 26 | 9996151 | 9841652 | 345 68347 | 1 | 0 1424.30/1424.66 c 1424s | 26 | 10009551 | 9854952 | 345 68422 | 1 | 0 1426.29/1426.66 c 1426s | 26 | 10022726 | 9868052 | 345 68496 | 1 | 0 1428.29/1428.67 c 1428s | 26 | 10035831 | 9881052 | 345 68567 | 1 | 0 1430.30/1430.68 c 1430s | 26 | 10049294 | 9894352 | 345 68640 | 1 | 0 1432.30/1432.69 c 1432s | 26 | 10062324 | 9907252 | 345 68711 | 1 | 0 1434.40/1434.70 c 1434s | 26 | 10075267 | 9920052 | 345 68781 | 1 | 0 1436.30/1436.70 c 1436s | 26 | 10088279 | 9932952 | 345 68851 | 1 | 0 1438.40/1438.71 c 1438s | 26 | 10101117 | 9945652 | 345 68921 | 1 | 0 1440.39/1440.72 c 1440s | 26 | 10114249 | 9958652 | 345 68992 | 1 | 0 1442.39/1442.73 c 1442s | 26 | 10127558 | 9971852 | 345 69065 | 1 | 0 1444.39/1444.74 c 1444s | 26 | 10140679 | 9984852 | 345 69137 | 1 | 0 1446.39/1446.75 c 1446s | 26 | 10153673 | 9997752 | 345 69208 | 1 | 0 1448.40/1448.75 c 1448s | 26 | 10166565 | 10010552 | 345 69278 | 1 | 0 1450.39/1450.76 c 1450s | 26 | 10179598 | 10023452 | 345 69350 | 1 | 0 1452.39/1452.76 c 1452s | 26 | 10193145 | 10036852 | 345 69424 | 1 | 0 1454.38/1454.78 c 1454s | 26 | 10206284 | 10049852 | 345 69497 | 1 | 0 1456.38/1456.78 c 1456s | 26 | 10219613 | 10062952 | 345 69569 | 1 | 0 1458.39/1458.78 c 1458s | 26 | 10233033 | 10076252 | 345 69642 | 1 | 0 1460.38/1460.79 c 1460s | 26 | 10246554 | 10089652 | 345 69716 | 1 | 0 1462.38/1462.79 c 1462s | 26 | 10259944 | 10102952 | 345 69789 | 1 | 0 1464.48/1464.80 c 1464s | 26 | 10273555 | 10116352 | 345 69862 | 1 | 0 1466.48/1466.81 c 1466s | 26 | 10287185 | 10129752 | 345 69936 | 1 | 0 1468.48/1468.81 c 1468s | 26 | 10300636 | 10143052 | 345 70010 | 1 | 0 1470.48/1470.82 c 1470s | 26 | 10313958 | 10156252 | 345 70083 | 1 | 0 1472.47/1472.82 c 1472s | 26 | 10327025 | 10169152 | 345 70154 | 1 | 0 1474.47/1474.82 c 1474s | 26 | 10340235 | 10182252 | 345 70226 | 1 | 0 1476.47/1476.83 c 1476s | 26 | 10353428 | 10195352 | 345 70298 | 1 | 0 1478.47/1478.83 c 1478s | 26 | 10366112 | 10207952 | 345 70367 | 1 | 0 1480.47/1480.84 c 1480s | 26 | 10378853 | 10220552 | 345 70436 | 1 | 0 1482.47/1482.84 c 1482s | 26 | 10391773 | 10233352 | 345 70507 | 1 | 0 1484.47/1484.84 c 1484s | 26 | 10404886 | 10246352 | 345 70579 | 1 | 0 1486.47/1486.85 c 1486s | 26 | 10418087 | 10259452 | 345 70652 | 1 | 0 1488.47/1488.86 c 1488s | 26 | 10431426 | 10272652 | 345 70725 | 1 | 0 1490.46/1490.86 c 1490s | 26 | 10444764 | 10285852 | 345 70800 | 1 | 0 1492.47/1492.88 c 1492s | 26 | 10458481 | 10299352 | 345 70875 | 1 | 0 1494.46/1494.89 c 1494s | 26 | 10471823 | 10312552 | 345 70949 | 1 | 0 1496.46/1496.89 c 1496s | 26 | 10484740 | 10325352 | 345 71021 | 1 | 0 1498.46/1498.89 c 1498s | 26 | 10497142 | 10337652 | 345 71088 | 1 | 0 1500.56/1500.90 c 1500s | 26 | 10509498 | 10349952 | 345 71156 | 1 | 0 1502.55/1502.91 c 1502s | 26 | 10521894 | 10362252 | 345 71223 | 1 | 0 1504.56/1504.92 c 1504s | 26 | 10534508 | 10374752 | 345 71292 | 1 | 0 1506.55/1506.93 c 1506s | 26 | 10546812 | 10386952 | 345 71359 | 1 | 0 1508.55/1508.94 c 1508s | 26 | 10559777 | 10399752 | 345 71429 | 1 | 0 1510.55/1510.95 c 1510s | 26 | 10572904 | 10412752 | 345 71502 | 1 | 0 1512.55/1512.97 c 1512s | 26 | 10585871 | 10425652 | 345 71574 | 1 | 0 1514.55/1514.98 c 1514s | 26 | 10599294 | 10438952 | 345 71646 | 1 | 0 1516.55/1516.99 c 1516s | 26 | 10612581 | 10452052 | 345 71717 | 1 | 0 1518.65/1519.00 c 1518s | 26 | 10625576 | 10464852 | 345 71787 | 1 | 0 1520.64/1521.00 c 1520s | 26 | 10638095 | 10477252 | 345 71854 | 1 | 0 1522.64/1523.01 c 1522s | 26 | 10650768 | 10489752 | 345 71923 | 1 | 0 1524.64/1525.01 c 1524s | 26 | 10663100 | 10501952 | 345 71990 | 1 | 0 1526.65/1527.02 c 1527s | 26 | 10675637 | 10514352 | 345 72057 | 1 | 0 1528.66/1529.03 c 1529s | 26 | 10688188 | 10526752 | 345 72126 | 1 | 0 1530.64/1531.04 c 1531s | 26 | 10701002 | 10539352 | 345 72194 | 1 | 0 1532.64/1533.05 c 1533s | 26 | 10713590 | 10551852 | 345 72263 | 1 | 0 1534.64/1535.06 c 1535s | 26 | 10726415 | 10564552 | 345 72333 | 1 | 0 1536.64/1537.06 c 1537s | 26 | 10739026 | 10577052 | 345 72402 | 1 | 0 1538.65/1539.08 c 1539s | 26 | 10751999 | 10589852 | 345 72473 | 1 | 0 1540.64/1541.08 c 1541s | 26 | 10764752 | 10602452 | 345 72543 | 1 | 0 1542.64/1543.08 c 1543s | 26 | 10777763 | 10615252 | 345 72614 | 1 | 0 1544.74/1545.10 c 1545s | 26 | 10790674 | 10628052 | 345 72685 | 1 | 0 1546.74/1547.10 c 1547s | 26 | 10803733 | 10640952 | 345 72757 | 1 | 0 1548.74/1549.12 c 1549s | 26 | 10816964 | 10654052 | 345 72830 | 1 | 0 1550.74/1551.12 c 1551s | 26 | 10829588 | 10666552 | 345 72899 | 1 | 0 1552.73/1553.13 c 1553s | 26 | 10842651 | 10679452 | 345 72970 | 1 | 0 1554.73/1555.14 c 1555s | 26 | 10855611 | 10692252 | 345 73040 | 1 | 0 1556.73/1557.14 c 1557s | 26 | 10868769 | 10705252 | 345 73112 | 1 | 0 1558.73/1559.16 c 1559s | 26 | 10881260 | 10717652 | 345 73181 | 1 | 0 1560.72/1561.17 c 1561s | 26 | 10894334 | 10730652 | 345 73252 | 1 | 0 1562.73/1563.17 c 1563s | 26 | 10906976 | 10743152 | 345 73321 | 1 | 0 1564.72/1565.18 c 1565s | 26 | 10919919 | 10755952 | 345 73392 | 1 | 0 1566.72/1567.18 c 1567s | 26 | 10932837 | 10768752 | 345 73463 | 1 | 0 1568.72/1569.18 c 1569s | 26 | 10945540 | 10781352 | 345 73533 | 1 | 0 1570.72/1571.18 c 1571s | 26 | 10958269 | 10793952 | 345 73602 | 1 | 0 1572.73/1573.19 c 1573s | 26 | 10970969 | 10806452 | 345 73671 | 1 | 0 1574.72/1575.20 c 1575s | 26 | 10984701 | 10819852 | 345 73746 | 1 | 0 1576.82/1577.21 c 1577s | 26 | 10998237 | 10833152 | 345 73820 | 1 | 0 1578.82/1579.22 c 1579s | 26 | 11012115 | 10846852 | 345 73897 | 1 | 0 1580.81/1581.23 c 1581s | 26 | 11025684 | 10860252 | 345 73972 | 1 | 0 1582.81/1583.23 c 1583s | 26 | 11039218 | 10873652 | 345 74046 | 1 | 0 1584.82/1585.24 c 1585s | 26 | 11053201 | 10887452 | 345 74122 | 1 | 0 1586.81/1587.25 c 1587s | 26 | 11066583 | 10900652 | 345 74195 | 1 | 0 1588.81/1589.25 c 1589s | 26 | 11080028 | 10913852 | 345 74269 | 1 | 0 1590.82/1591.25 c 1591s | 26 | 11093766 | 10927452 | 345 74344 | 1 | 0 1592.81/1593.26 c 1593s | 26 | 11107291 | 10940852 | 345 74418 | 1 | 0 1594.81/1595.27 c 1595s | 26 | 11120554 | 10953952 | 345 74491 | 1 | 0 1596.82/1597.28 c 1597s | 26 | 11134216 | 10967452 | 345 74566 | 1 | 0 1598.81/1599.28 c 1599s | 26 | 11147318 | 10980452 | 345 74638 | 1 | 0 1600.81/1601.29 c 1601s | 26 | 11161009 | 10993952 | 345 74714 | 1 | 0 1602.81/1603.29 c 1603s | 26 | 11174128 | 11006952 | 345 74786 | 1 | 0 1604.91/1605.30 c 1605s | 26 | 11187835 | 11020452 | 345 74862 | 1 | 0 1606.91/1607.30 c 1607s | 26 | 11200853 | 11033352 | 345 74934 | 1 | 0 1608.92/1609.31 c 1609s | 26 | 11214146 | 11046552 | 345 75008 | 1 | 0 1610.90/1611.31 c 1611s | 26 | 11227531 | 11059752 | 345 75081 | 1 | 0 1612.90/1613.32 c 1613s | 26 | 11240969 | 11073052 | 345 75156 | 1 | 0 1614.90/1615.32 c 1615s | 26 | 11254108 | 11086052 | 345 75229 | 1 | 0 1616.90/1617.33 c 1617s | 26 | 11267415 | 11099252 | 345 75303 | 1 | 0 1618.91/1619.34 c 1619s | 26 | 11280434 | 11112152 | 345 75376 | 1 | 0 1620.89/1621.35 c 1621s | 26 | 11294120 | 11125652 | 345 75451 | 1 | 0 1622.89/1623.35 c 1623s | 26 | 11307259 | 11138652 | 345 75523 | 1 | 0 1624.89/1625.36 c 1625s | 26 | 11321151 | 11152352 | 345 75600 | 1 | 0 1626.89/1627.37 c 1627s | 26 | 11334377 | 11165452 | 345 75674 | 1 | 0 1628.89/1629.37 c 1629s | 26 | 11347605 | 11178552 | 345 75748 | 1 | 0 1630.89/1631.38 c 1631s | 26 | 11361207 | 11191952 | 345 75823 | 1 | 0 1632.89/1633.38 c 1633s | 26 | 11374555 | 11205152 | 345 75898 | 1 | 0 1634.89/1635.38 c 1635s | 26 | 11388466 | 11218852 | 345 75975 | 1 | 0 1636.89/1637.39 c 1637s | 26 | 11401974 | 11232152 | 345 76050 | 1 | 0 1638.88/1639.39 c 1639s | 26 | 11415893 | 11245852 | 345 76127 | 1 | 0 1640.90/1641.40 c 1641s | 26 | 11429133 | 11258952 | 345 76201 | 1 | 0 1642.89/1643.40 c 1643s | 26 | 11442641 | 11272252 | 345 76276 | 1 | 0 1644.99/1645.40 c 1645s | 26 | 11456447 | 11285852 | 345 76353 | 1 | 0 1646.99/1647.41 c 1647s | 26 | 11469686 | 11298952 | 345 76426 | 1 | 0 1648.99/1649.42 c 1649s | 26 | 11483287 | 11312352 | 345 76502 | 1 | 0 1650.98/1651.44 c 1651s | 26 | 11496321 | 11325252 | 380 76569 | 1 | 0 1652.99/1653.44 c 1653s | 26 | 11509163 | 11337952 | 380 76634 | 1 | 0 1654.98/1655.44 c 1655s | 26 | 11521955 | 11350652 | 380 76698 | 1 | 0 1656.98/1657.45 c 1657s | 26 | 11534633 | 11363252 | 380 76760 | 1 | 0 1658.98/1659.46 c 1659s | 26 | 11546915 | 11375452 | 380 76821 | 1 | 0 1660.98/1661.47 c 1661s | 26 | 11559211 | 11387652 | 380 76882 | 1 | 0 1662.48/1662.95 c 1662s | 27 | 11568358 | 11396733 | 380 76928 | 1 | 0 1664.48/1664.96 c 1664s | 27 | 11580823 | 11409133 | 380 76989 | 1 | 0 1666.47/1666.97 c 1666s | 27 | 11593456 | 11421733 | 380 77051 | 1 | 0 1668.47/1668.99 c 1668s | 27 | 11605817 | 11434033 | 380 77113 | 1 | 0 1670.48/1670.99 c 1670s | 27 | 11618573 | 11446733 | 380 77176 | 1 | 0 1672.47/1672.99 c 1672s | 27 | 11631533 | 11459633 | 380 77241 | 1 | 0 1674.57/1675.00 c 1674s | 27 | 11644536 | 11472533 | 380 77305 | 1 | 0 1676.57/1677.01 c 1676s | 27 | 11656856 | 11484733 | 380 77366 | 1 | 0 1678.57/1679.02 c 1679s | 27 | 11669184 | 11496933 | 380 77426 | 1 | 0 1680.57/1681.02 c 1681s | 27 | 11681638 | 11509233 | 380 77488 | 1 | 0 1682.58/1683.03 c 1683s | 27 | 11694486 | 11521933 | 380 77552 | 1 | 0 1684.57/1685.04 c 1685s | 27 | 11707680 | 11535033 | 380 77618 | 1 | 0 1686.57/1687.05 c 1687s | 27 | 11720479 | 11547733 | 380 77681 | 1 | 0 1688.57/1689.06 c 1689s | 27 | 11733166 | 11560333 | 380 77745 | 1 | 0 1690.56/1691.07 c 1691s | 27 | 11746036 | 11573133 | 380 77810 | 1 | 0 1692.57/1693.08 c 1693s | 27 | 11758930 | 11585933 | 380 77875 | 1 | 0 1694.56/1695.10 c 1695s | 27 | 11771539 | 11598433 | 380 77937 | 1 | 0 1696.66/1697.10 c 1697s | 27 | 11784387 | 11611133 | 380 78001 | 1 | 0 1698.66/1699.11 c 1699s | 27 | 11797894 | 11624533 | 380 78068 | 1 | 0 1700.66/1701.12 c 1701s | 27 | 11810964 | 11637533 | 380 78133 | 1 | 0 1702.66/1703.13 c 1703s | 27 | 11823968 | 11650433 | 380 78198 | 1 | 0 1704.66/1705.14 c 1705s | 27 | 11836754 | 11663133 | 380 78262 | 1 | 0 1706.65/1707.15 c 1707s | 27 | 11850219 | 11676433 | 380 78329 | 1 | 0 1708.66/1709.16 c 1709s | 27 | 11863522 | 11689633 | 380 78395 | 1 | 0 1710.66/1711.16 c 1711s | 27 | 11876561 | 11702533 | 380 78460 | 1 | 0 1712.66/1713.17 c 1713s | 27 | 11888862 | 11714733 | 380 78522 | 1 | 0 1714.66/1715.17 c 1715s | 27 | 11901572 | 11727333 | 380 78586 | 1 | 0 1716.66/1717.18 c 1717s | 27 | 11914131 | 11739733 | 380 78649 | 1 | 0 1718.65/1719.18 c 1719s | 27 | 11927304 | 11752733 | 380 78715 | 1 | 0 1720.65/1721.19 c 1721s | 27 | 11940656 | 11765933 | 380 78782 | 1 | 0 1722.65/1723.19 c 1723s | 27 | 11953482 | 11778633 | 380 78847 | 1 | 0 1724.65/1725.19 c 1725s | 27 | 11966426 | 11791433 | 380 78912 | 1 | 0 1726.75/1727.20 c 1727s | 27 | 11979755 | 11804633 | 380 78980 | 1 | 0 1728.75/1729.21 c 1729s | 27 | 11992778 | 11817533 | 380 79046 | 1 | 0 1730.74/1731.21 c 1731s | 27 | 12005077 | 11829733 | 380 79108 | 1 | 0 1732.74/1733.23 c 1733s | 27 | 12017623 | 11842133 | 380 79171 | 1 | 0 1734.74/1735.23 c 1735s | 27 | 12029986 | 11854233 | 380 79231 | 1 | 0 1736.74/1737.24 c 1737s | 27 | 12042383 | 11866533 | 380 79292 | 1 | 0 1738.75/1739.24 c 1739s | 27 | 12054608 | 11878633 | 380 79352 | 1 | 0 1740.74/1741.25 c 1741s | 27 | 12066904 | 11890833 | 380 79413 | 1 | 0 1742.74/1743.25 c 1743s | 27 | 12079312 | 11903133 | 380 79474 | 1 | 0 1744.74/1745.26 c 1745s | 27 | 12091923 | 11915633 | 380 79537 | 1 | 0 1746.74/1747.27 c 1747s | 27 | 12104760 | 11928333 | 380 79602 | 1 | 0 1748.74/1749.27 c 1749s | 27 | 12117883 | 11941333 | 380 79667 | 1 | 0 1750.74/1751.28 c 1751s | 27 | 12130722 | 11954033 | 380 79731 | 1 | 0 1752.73/1753.29 c 1753s | 27 | 12143563 | 11966733 | 380 79795 | 1 | 0 1754.83/1755.30 c 1755s | 27 | 12156252 | 11979333 | 380 79859 | 1 | 0 1756.83/1757.31 c 1757s | 27 | 12169039 | 11992033 | 380 79923 | 1 | 0 1758.83/1759.31 c 1759s | 27 | 12182060 | 12004933 | 380 79989 | 1 | 0 1760.82/1761.32 c 1761s | 27 | 12194969 | 12017733 | 380 80054 | 1 | 0 1762.83/1763.33 c 1763s | 27 | 12207429 | 12030133 | 380 80116 | 1 | 0 1764.82/1765.33 c 1765s | 27 | 12220033 | 12042633 | 380 80178 | 1 | 0 1766.82/1767.35 c 1767s | 27 | 12233037 | 12055533 | 380 80243 | 1 | 0 1768.82/1769.36 c 1769s | 27 | 12246115 | 12068533 | 380 80308 | 1 | 0 1770.81/1771.36 c 1771s | 27 | 12259088 | 12081433 | 380 80374 | 1 | 0 1772.82/1773.36 c 1773s | 27 | 12271345 | 12093633 | 380 80435 | 1 | 0 1774.81/1775.37 c 1775s | 27 | 12283611 | 12105833 | 380 80496 | 1 | 0 1776.81/1777.38 c 1777s | 27 | 12295864 | 12118033 | 380 80557 | 1 | 0 1778.81/1779.39 c 1779s | 27 | 12308629 | 12130733 | 380 80621 | 1 | 0 1780.91/1781.40 c 1781s | 27 | 12321598 | 12143633 | 380 80687 | 1 | 0 1782.91/1783.40 c 1783s | 27 | 12334774 | 12156733 | 380 80753 | 1 | 0 1784.91/1785.41 c 1785s | 27 | 12348084 | 12169933 | 380 80820 | 1 | 0 1786.91/1787.42 c 1787s | 27 | 12361731 | 12183433 | 380 80889 | 1 | 0 1788.91/1789.43 c 1789s | 27 | 12374130 | 12195733 | 380 80950 | 1 | 0 1790.91/1791.44 c 1791s | 27 | 12386497 | 12208033 | 380 81012 | 1 | 0 1792.91/1793.44 c 1793s | 27 | 12399078 | 12220533 | 380 81076 | 1 | 0 1794.91/1795.45 c 1795s | 27 | 12411574 | 12232933 | 380 81138 | 1 | 0 1796.92/1797.46 c 1797s | 27 | 12424165 | 12245433 | 380 81202 | 1 | 0 1798.91/1799.47 c 1799s | 27 | 12437041 | 12258233 | 380 81267 | 1 | 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-4079740-1465245295/watcher-4079740-1465245295 -o /tmp/evaluation-result-4079740-1465245295/solver-4079740-1465245295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079740-1465245295.opb pid=10398 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.20 2.18 3/179 10401 /proc/meminfo: memFree=29689692/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=696764 CPUtime=0 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 2591 0 0 0 0 0 0 0 20 0 4 0 106464062 713486336 3463 33554432000 4194304 16246674 140734803704096 140734803703520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 174703 3474 441 2943 0 171597 0 [pid=10401/tid=10402] ppid=10398 vsize=714172 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 731312128 3533 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 735506432 3550 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=722364 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 739700736 3566 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.20 2.20 2.18 3/179 10401 /proc/meminfo: memFree=29689692/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 19881 0 0 0 6 2 0 0 20 0 4 0 106464062 1247350784 20741 33554432000 4194304 16246674 140734803704096 140734803686016 5600539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 304529 20743 751 2943 0 301423 0 [pid=10401/tid=10402] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 20746 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 20751 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 20753 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200554 s] /proc/loadavg: 2.20 2.20 2.18 3/179 10401 /proc/meminfo: memFree=29689692/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 36539 0 0 0 14 4 0 0 20 0 4 0 106464062 1247350784 37399 33554432000 4194304 16246674 140734803704096 140734803686016 6836566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 304529 37407 751 2943 0 301423 0 [pid=10401/tid=10402] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 37411 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 37418 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 37423 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300429 s] /proc/loadavg: 2.20 2.20 2.18 3/179 10401 /proc/meminfo: memFree=29689692/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 52518 0 0 0 22 7 0 0 20 0 4 0 106464062 1247350784 53378 33554432000 4194304 16246674 140734803704096 140734803686016 5711820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 304529 53387 751 2943 0 301423 0 [pid=10401/tid=10402] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 53395 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 53401 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 53403 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700432 s] /proc/loadavg: 2.20 2.20 2.18 3/179 10401 /proc/meminfo: memFree=29689692/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 119608 0 0 0 52 17 0 0 20 0 4 0 106464062 1247350784 120468 33554432000 4194304 16246674 140734803704096 140734803686016 5602147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 304529 120471 752 2943 0 301423 0 [pid=10401/tid=10402] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 120475 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 120482 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 120486 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.20 2.20 2.18 3/183 10405 /proc/meminfo: memFree=28943540/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 245556 0 0 0 115 34 0 0 20 0 4 0 106464062 1247350784 246393 33554432000 4194304 16246674 140734803704096 140734803703408 5824593 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 304529 246393 825 2943 0 301423 0 [pid=10401/tid=10402] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 246393 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 246393 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1247350784 246393 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.20 2.20 2.18 3/183 10405 /proc/meminfo: memFree=28704716/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267365 0 0 0 272 37 0 0 20 0 4 0 106464062 1337528320 268202 33554432000 4194304 16246674 140734803704096 140734803686016 13193344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268202 825 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268202 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268202 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268202 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30048 s] /proc/loadavg: 2.18 2.20 2.18 3/183 10405 /proc/meminfo: memFree=28617064/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267442 0 0 0 592 37 0 0 20 0 4 0 106464062 1337528320 268279 33554432000 4194304 16246674 140734803704096 140734803686016 6021251 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268279 825 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268279 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268279 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268279 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7005 s] /proc/loadavg: 2.17 2.19 2.18 3/183 10405 /proc/meminfo: memFree=28616720/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267468 0 0 0 1232 37 0 0 20 0 4 0 106464062 1337528320 268305 33554432000 4194304 16246674 140734803704096 140734803686016 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268305 825 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268305 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268305 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268305 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.21 2.20 2.18 3/183 10405 /proc/meminfo: memFree=28616480/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267484 0 0 0 2511 37 0 0 20 0 4 0 106464062 1337528320 268321 33554432000 4194304 16246674 140734803704096 140734803686016 5659584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268321 827 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268321 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268321 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268321 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.14 2.18 2.17 3/183 10405 /proc/meminfo: memFree=28616484/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267493 0 0 0 5070 38 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140734803686016 5974287 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268330 827 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.10 2.16 2.17 3/183 10407 /proc/meminfo: memFree=28615864/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267493 0 0 0 10188 40 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140734803686016 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326545 268330 827 2943 0 323439 0 [pid=10401/tid=10402] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1337528320 268330 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 10438 /proc/meminfo: memFree=28610452/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1362.03 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267758 0 0 0 136139 64 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.24 2.18 2.18 3/183 10439 /proc/meminfo: memFree=28610100/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1422 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267788 0 0 0 142135 65 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 13191844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.21 2.18 2.18 3/183 10440 /proc/meminfo: memFree=28610000/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1481.97 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267822 0 0 0 148131 66 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 2.18 2.17 2.18 3/184 10444 /proc/meminfo: memFree=28609240/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1541.95 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267854 0 0 0 154128 67 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.18 2.17 2.17 3/184 10468 /proc/meminfo: memFree=28609904/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1601.91 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267885 0 0 0 160123 68 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.13 2.15 2.17 3/183 10518 /proc/meminfo: memFree=28570808/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1661.88 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267925 0 0 0 166119 69 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 12415676 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.13 2.15 2.17 3/183 10519 /proc/meminfo: memFree=28570948/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1721.85 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 267960 0 0 0 172114 71 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.28 2.19 2.18 3/183 10520 /proc/meminfo: memFree=28570488/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1781.81 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 268000 0 0 0 178110 71 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 5600376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.18 2.18 3/183 10520 /proc/meminfo: memFree=28571356/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 268014 0 0 0 179929 72 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 5712270 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1307204 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 10401 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.18 2.18 3/183 10520 /proc/meminfo: memFree=28571356/32872528 swapFree=12208/1156848 [pid=10401] ppid=10398 vsize=1307204 CPUtime=1800.01 cores=1,3,5,7 /proc/10401/stat : 10401 (toysat) R 10398 10401 9895 0 -1 4202496 268014 0 0 0 179929 72 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140734803686016 5712270 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10401/statm: 326801 268525 828 2943 0 323695 0 [pid=10401/tid=10402] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10402/stat : 10402 (toysat) S 10398 10401 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494275325168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10401/tid=10403] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10403/stat : 10403 (toysat) S 10398 10401 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494264835312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10401/tid=10404] ppid=10398 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10401/task/10404/stat : 10404 (toysat) S 10398 10401 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106464062 1338576896 268525 33554432000 4194304 16246674 140734803704096 140494151609520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1307204 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1799.29 CPU system time (s): 0.730888 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 0.730888 maximum resident set size= 1074100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268014 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= 347 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4224 second user time and 8.24775 second system time The end
Begin job on node114 at 2016-06-06 22:34:55 IDJOB=4079740 IDBENCH=2917 IDSOLVER=2542 FILE ID=node114/4079740-1465245295 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079740-1465245295/watcher-4079740-1465245295 -o /tmp/evaluation-result-4079740-1465245295/solver-4079740-1465245295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079740-1465245295.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43 RANDOM SEED=1350512646 node114.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.852 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.70 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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: 29690212 kB Buffers: 43188 kB Cached: 208056 kB SwapCached: 1724 kB Active: 1189816 kB Inactive: 134572 kB Active(anon): 1074292 kB Inactive(anon): 1200 kB Active(file): 115524 kB Inactive(file): 133372 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 2233196 kB Mapped: 10320 kB Shmem: 0 kB Slab: 569028 kB SReclaimable: 13216 kB SUnreclaim: 555812 kB KernelStack: 1520 kB PageTables: 8768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2373716 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1153024 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= 71704 MiB End job on node114 at 2016-06-06 23:04:56