| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb |
| MD5SUM | 9a8d1e3e59dfd2cd811494ddb4a3c92a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 230 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 43691 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 524412 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261310 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524412 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T07:02:08+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-4101721-1466226128.opb"] 0.00/0.01 c use --random-gen="2863025339 3255044270 1596917971 380838073 213169823 1572473405 3347685392 3821760055 558860439 3760187394 3754279542 895706864 1738453452 930538336 750401066 2190540183 2184008600 2202197298 4251441449 3314874291 2939767125 3999417908 3166734886 696619821 3386576139 365197238 643368558 1118374810 350880785 319875577 175811892 77051135 1186231892 1504732309 3229874066 4054145122 3634783836 2008622017 2076743236 415022771 1057271746 2523914744 1532742741 3305120581 2550342045 3315799235 160351346 1465729617 1704423142 1745091808 2535978220 970507183 4131750274 3174989441 4130683375 1378731756 652065239 1036043100 4113876184 3393479505 4146918596 917173996 1076658266 3394609491 635119142 261567478 3595880116 3950477812 1432581179 1608480908 3940165708 1841747262 188027917 1111382367 4200337679 88667398 1345866435 1385440717 2482130524 3267697984 137768027 3184128373 297533130 2797512067 1791703377 884060173 3888162498 1675820013 3993385832 3079604159 1470191847 227464088 3017884221 1228315185 4046796519 1086596281 2566842089 3963369089 1532691389 1997018712 2836182147 2517716879 121465060 450442933 3011259170 1009347862 655717242 438829465 367191978 4161315073 3483061739 345072681 3828248235 2982063169 1644704714 1942608229 1769346936 1212502540 800189385 950905266 4034846869 1548707834 1444268796 300339076 2018581440 2082393718 2441731406 2991826441 3721506591 2639436697 2006255033 21440586 1368008067 2418063652 4210747553 3276176464 864508236 913285349 2079765187 1341808394 1327445711 1881188770 3299692640 217704146 828636140 260057265 2142172802 775456474 3730686162 1860460087 1268520546 1650191390 2436538013 3106362178 3874260718 1461554130 3971564071 2497550509 2830523521 4113298918 938312770 1196636199 1510396936 3671343134 3523273045 3842394302 1528295088 3550138356 3955146970 3217514918 3868478556 454730812 4189395453 431773971 3562082396 3792928977 3196797612 3645501855 752100617 1686560181 2800031980 2154074590 267923161 2064392167 3009677573 3721369473 3703116167 725686828 4093141539 2134792889 1070354705 3563174410 2177453285 3677499753 2207403365 4285717205 782548343 2289783152 1412369147 2544040514 3899276566 1501744308 3373461176 4184787105 4098623739 905708487 3573279814 3942732775 3157226168 812265356 733775915 2032633377 1109655141 2927969967 1832348917 4081148631 2147706278 1975588654 2387222940 719351270 1903121693 1634840634 556919583 2917785430 1606234318 2900620139 2304313092 1458737813 1052458314 1425026681 232102618 1103560225 935629669 3586665325 1567745114 3246520620 586431663 4151585115 645278791 4189294793 653731859 2958911856 2900241717 672087873 2606400574 3865681264 3564911187 4057932598 4249781969 3446439100 3365569085 1736249191 3627200203 4060260379 2808721004 1302697305 255 362436" option to reproduce the execution 0.00/0.02 c #vars 230 0.00/0.02 c #constraints 6 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 80 0 | 54 | 0 0.00/0.02 c 0.0s | 0 | 18 | 0 | 80 0 | 54 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 18 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 622 0.00/0.02 c BCD2: hardening fixes 42 literals 0.00/0.02 c BCD2: updating upper bound: 524412 -> 621 0.00/0.02 c BCD2: 0 <= obj <= 621 0.00/0.02 c BCD2: #cores=0, #unrelaxed=138, #relaxed=0, #hardened=42 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 80 0 | 54 | 0 0.00/0.05 c 0.0s | 1 | 242 | 100 | 80 0 | 54 | 0 0.00/0.09 c 0.1s | 2 | 535 | 250 | 88 0 | 54 | 0 0.08/0.15 c 0.1s | 3 | 899 | 475 | 97 2 | 54 | 0 0.18/0.23 c 0.2s | 4 | 1387 | 813 | 107 4 | 54 | 0 0.28/0.44 c 0.4s | 5 | 2045 | 1320 | 118 8 | 54 | 0 0.58/0.60 c 0.6s | 6 | 2961 | 2081 | 143 12 | 54 | 0 0.88/0.96 c 0.9s | 7 | 4275 | 3223 | 158 19 | 54 | 0 1.49/1.50 c 1.5s | 8 | 6186 | 4936 | 174 29 | 54 | 0 1.99/2.08 c 2.1s | 9 | 8988 | 7506 | 192 42 | 54 | 0 2.88/2.93 c 2.9s | 10 | 13056 | 11361 | 212 62 | 54 | 0 4.09/4.17 c 4.1s | 11 | 19035 | 17144 | 234 90 | 54 | 0 5.99/6.06 c 6.0s | 12 | 27929 | 25819 | 258 130 | 54 | 0 7.98/8.07 c 8.0s | 12 | 37372 | 35019 | 258 170 | 54 | 0 8.78/8.85 c 8.8s | 13 | 41213 | 38832 | 284 187 | 54 | 0 10.78/10.87 c 10.8s | 13 | 50600 | 48032 | 284 225 | 54 | 0 12.78/12.88 c 12.9s | 13 | 60463 | 57832 | 284 266 | 54 | 0 12.88/12.98 c 13.0s | 14 | 60988 | 58352 | 313 268 | 54 | 0 14.88/14.99 c 15.0s | 14 | 70292 | 67352 | 313 303 | 54 | 0 16.88/16.99 c 17.0s | 14 | 79839 | 76852 | 313 341 | 54 | 0 18.98/19.01 c 19.0s | 14 | 89284 | 86252 | 313 377 | 54 | 0 19.28/19.33 c 19.3s | 15 | 90685 | 87632 | 345 383 | 54 | 0 21.28/21.35 c 21.3s | 15 | 99729 | 96432 | 345 415 | 54 | 0 23.29/23.36 c 23.3s | 15 | 109001 | 105632 | 345 449 | 54 | 0 25.28/25.36 c 25.3s | 15 | 117763 | 114232 | 345 481 | 54 | 0 27.28/27.37 c 27.3s | 15 | 127162 | 123532 | 345 515 | 54 | 0 29.18/29.27 c 29.2s | 16 | 135322 | 131552 | 380 544 | 54 | 0 31.18/31.28 c 31.3s | 16 | 144036 | 139952 | 380 574 | 54 | 0 33.19/33.28 c 33.3s | 16 | 153243 | 149052 | 380 605 | 54 | 0 35.18/35.30 c 35.3s | 16 | 162374 | 158052 | 380 636 | 54 | 0 37.28/37.32 c 37.3s | 16 | 171273 | 166852 | 380 667 | 54 | 0 39.28/39.32 c 39.3s | 16 | 179800 | 175252 | 380 696 | 54 | 0 41.28/41.33 c 41.3s | 16 | 188797 | 184152 | 380 727 | 54 | 0 43.28/43.34 c 43.3s | 16 | 198191 | 193452 | 380 759 | 54 | 0 44.18/44.26 c 44.2s | 17 | 202223 | 197432 | 419 772 | 54 | 0 46.18/46.28 c 46.3s | 17 | 210504 | 205432 | 419 798 | 54 | 0 48.27/48.30 c 48.3s | 17 | 218872 | 213632 | 419 825 | 54 | 0 50.27/50.30 c 50.3s | 17 | 227240 | 221832 | 419 852 | 54 | 0 52.27/52.31 c 52.3s | 17 | 236136 | 230532 | 419 880 | 54 | 0 54.27/54.31 c 54.3s | 17 | 245090 | 239232 | 419 908 | 54 | 0 56.28/56.33 c 56.3s | 17 | 254050 | 248132 | 419 937 | 54 | 0 58.27/58.33 c 58.3s | 17 | 262292 | 256232 | 419 964 | 54 | 0 60.27/60.35 c 60.3s | 17 | 271167 | 265032 | 419 992 | 54 | 0 62.27/62.36 c 62.3s | 17 | 279684 | 273432 | 419 1020 | 54 | 0 64.27/64.37 c 64.4s | 17 | 288248 | 281832 | 419 1047 | 54 | 0 66.27/66.38 c 66.4s | 17 | 296488 | 289932 | 419 1073 | 54 | 0 67.77/67.89 c 67.9s | 18 | 302869 | 296252 | 461 1093 | 54 | 0 69.77/69.89 c 69.9s | 18 | 312071 | 305052 | 461 1120 | 54 | 0 71.87/71.90 c 71.9s | 18 | 321401 | 314252 | 461 1148 | 54 | 0 73.87/73.91 c 73.9s | 18 | 330214 | 322952 | 461 1174 | 54 | 0 75.87/75.92 c 75.9s | 18 | 338549 | 331152 | 461 1199 | 54 | 0 77.88/77.92 c 77.9s | 18 | 347171 | 339652 | 461 1225 | 54 | 0 79.87/79.94 c 79.9s | 18 | 356324 | 348652 | 461 1253 | 54 | 0 81.87/81.95 c 81.9s | 18 | 365051 | 357252 | 461 1279 | 54 | 0 83.87/83.96 c 83.9s | 18 | 373815 | 365852 | 461 1305 | 54 | 0 85.88/85.96 c 85.9s | 18 | 382403 | 374352 | 461 1331 | 54 | 0 87.87/87.96 c 87.9s | 18 | 391089 | 382952 | 461 1357 | 54 | 0 89.87/89.97 c 89.9s | 18 | 399918 | 391652 | 461 1383 | 54 | 0 91.87/91.98 c 92.0s | 18 | 408174 | 399852 | 461 1408 | 54 | 0 93.87/93.99 c 94.0s | 18 | 416440 | 407852 | 461 1433 | 54 | 0 95.97/96.00 c 96.0s | 18 | 424505 | 415752 | 461 1457 | 54 | 0 97.98/98.01 c 98.0s | 18 | 432738 | 423852 | 461 1482 | 54 | 0 99.97/100.02 c 100.0s | 18 | 440714 | 431752 | 461 1506 | 54 | 0 101.97/102.03 c 102s | 18 | 449051 | 439952 | 461 1531 | 54 | 0 103.07/103.17 c 103s | 19 | 453673 | 444482 | 508 1544 | 54 | 0 105.07/105.18 c 105s | 19 | 462090 | 452682 | 508 1567 | 54 | 0 107.17/107.20 c 107s | 19 | 470964 | 461482 | 508 1592 | 54 | 0 109.17/109.21 c 109s | 19 | 479292 | 469682 | 508 1615 | 54 | 0 111.18/111.21 c 111s | 19 | 487498 | 477782 | 508 1638 | 54 | 0 113.17/113.24 c 113s | 19 | 495354 | 485582 | 508 1661 | 54 | 0 115.17/115.24 c 115s | 19 | 503292 | 493382 | 508 1683 | 54 | 0 117.17/117.25 c 117s | 19 | 511195 | 501082 | 508 1705 | 54 | 0 119.17/119.26 c 119s | 19 | 518979 | 508682 | 508 1726 | 54 | 0 121.17/121.28 c 121s | 19 | 527113 | 516682 | 508 1749 | 54 | 0 123.17/123.30 c 123s | 19 | 535206 | 524682 | 508 1772 | 54 | 0 125.27/125.31 c 125s | 19 | 543018 | 532382 | 508 1794 | 54 | 0 127.27/127.32 c 127s | 19 | 550732 | 539982 | 508 1815 | 54 | 0 129.27/129.35 c 129s | 19 | 559022 | 548182 | 508 1838 | 54 | 0 131.27/131.37 c 131s | 19 | 566831 | 555882 | 508 1860 | 54 | 0 133.27/133.38 c 133s | 19 | 574566 | 563482 | 508 1882 | 54 | 0 135.26/135.39 c 135s | 19 | 582579 | 571382 | 508 1904 | 54 | 0 137.36/137.41 c 137s | 19 | 590479 | 579182 | 508 1927 | 54 | 0 139.36/139.44 c 139s | 19 | 598267 | 586882 | 508 1949 | 54 | 0 141.36/141.47 c 141s | 19 | 606145 | 594682 | 508 1971 | 54 | 0 143.36/143.48 c 143s | 19 | 614744 | 603182 | 508 1995 | 54 | 0 145.46/145.50 c 145s | 19 | 622937 | 611282 | 508 2018 | 54 | 0 147.47/147.51 c 147s | 19 | 630513 | 618782 | 508 2040 | 54 | 0 149.46/149.52 c 149s | 19 | 637777 | 625982 | 508 2060 | 54 | 0 151.46/151.53 c 151s | 19 | 645362 | 633482 | 508 2081 | 54 | 0 153.46/153.53 c 153s | 19 | 652938 | 640982 | 508 2103 | 54 | 0 155.46/155.54 c 155s | 19 | 660503 | 648482 | 508 2124 | 54 | 0 157.47/157.56 c 157s | 19 | 668361 | 656282 | 508 2146 | 54 | 0 159.46/159.58 c 159s | 19 | 676658 | 664482 | 559 2169 | 54 | 0 160.06/160.19 c 160s | 20 | 679025 | 666827 | 559 2175 | 54 | 0 162.06/162.19 c 162s | 20 | 686494 | 674027 | 559 2194 | 54 | 0 164.16/164.20 c 164s | 20 | 694079 | 681527 | 559 2214 | 54 | 0 166.16/166.21 c 166s | 20 | 702445 | 689727 | 559 2236 | 54 | 0 168.16/168.23 c 168s | 20 | 710373 | 697527 | 559 2256 | 54 | 0 170.16/170.24 c 170s | 20 | 718116 | 705127 | 559 2276 | 54 | 0 172.15/172.25 c 172s | 20 | 725694 | 712627 | 559 2296 | 54 | 0 174.15/174.25 c 174s | 20 | 732962 | 719827 | 559 2315 | 54 | 0 176.16/176.25 c 176s | 20 | 740448 | 727227 | 559 2335 | 54 | 0 178.15/178.27 c 178s | 20 | 748016 | 734627 | 559 2354 | 54 | 0 180.15/180.29 c 180s | 20 | 755577 | 742127 | 559 2374 | 54 | 0 182.25/182.30 c 182s | 20 | 763648 | 750127 | 559 2396 | 54 | 0 184.25/184.31 c 184s | 20 | 771824 | 758227 | 559 2417 | 54 | 0 186.25/186.32 c 186s | 20 | 779877 | 766227 | 559 2438 | 54 | 0 188.26/188.33 c 188s | 20 | 787828 | 774127 | 559 2459 | 54 | 0 190.25/190.34 c 190s | 20 | 795594 | 781827 | 559 2479 | 54 | 0 192.25/192.36 c 192s | 20 | 803273 | 789427 | 559 2499 | 54 | 0 194.25/194.38 c 194s | 20 | 810603 | 796627 | 559 2518 | 54 | 0 196.25/196.38 c 196s | 20 | 817839 | 803727 | 559 2537 | 54 | 0 198.25/198.38 c 198s | 20 | 825160 | 810927 | 559 2556 | 54 | 0 200.25/200.39 c 200s | 20 | 832516 | 818227 | 559 2576 | 54 | 0 202.36/202.40 c 202s | 20 | 840028 | 825627 | 559 2596 | 54 | 0 204.36/204.41 c 204s | 20 | 848078 | 833527 | 559 2616 | 54 | 0 206.36/206.42 c 206s | 20 | 855460 | 840827 | 559 2636 | 54 | 0 208.36/208.43 c 208s | 20 | 862634 | 847927 | 559 2655 | 54 | 0 210.36/210.43 c 210s | 20 | 869817 | 855027 | 559 2674 | 54 | 0 212.36/212.45 c 212s | 20 | 877480 | 862527 | 559 2693 | 54 | 0 214.35/214.45 c 214s | 20 | 885191 | 870027 | 559 2713 | 54 | 0 216.35/216.47 c 216s | 20 | 893033 | 877627 | 559 2733 | 54 | 0 218.35/218.49 c 218s | 20 | 900427 | 884827 | 559 2752 | 54 | 0 220.35/220.49 c 220s | 20 | 907753 | 891927 | 559 2771 | 54 | 0 222.45/222.51 c 222s | 20 | 915654 | 899627 | 559 2792 | 54 | 0 224.46/224.54 c 224s | 20 | 923416 | 907127 | 559 2812 | 54 | 0 226.45/226.54 c 226s | 20 | 931181 | 914727 | 559 2832 | 54 | 0 228.45/228.55 c 228s | 20 | 938686 | 921927 | 559 2851 | 54 | 0 230.45/230.56 c 230s | 20 | 946049 | 929127 | 559 2870 | 54 | 0 232.45/232.56 c 232s | 20 | 953644 | 936527 | 559 2889 | 54 | 0 234.46/234.57 c 234s | 20 | 961199 | 943927 | 559 2909 | 54 | 0 236.45/236.59 c 236s | 20 | 968722 | 951327 | 559 2929 | 54 | 0 238.55/238.60 c 238s | 20 | 976224 | 958727 | 559 2949 | 54 | 0 240.55/240.61 c 240s | 20 | 983832 | 966127 | 559 2968 | 54 | 0 242.55/242.62 c 242s | 20 | 991078 | 973227 | 559 2987 | 54 | 0 244.55/244.63 c 244s | 20 | 998536 | 980527 | 559 3007 | 54 | 0 246.55/246.64 c 246s | 20 | 1006175 | 988027 | 559 3027 | 54 | 0 248.55/248.66 c 248s | 20 | 1014992 | 996727 | 615 3049 | 54 | 0 249.45/249.53 c 249s | 21 | 1018659 | 1000345 | 615 3058 | 54 | 0 251.45/251.54 c 251s | 21 | 1025821 | 1007245 | 615 3075 | 54 | 0 253.45/253.54 c 253s | 21 | 1033352 | 1014545 | 615 3093 | 54 | 0 255.45/255.56 c 255s | 21 | 1040502 | 1021545 | 615 3110 | 54 | 0 257.45/257.57 c 257s | 21 | 1047709 | 1028645 | 615 3128 | 54 | 0 259.44/259.59 c 259s | 21 | 1054940 | 1035745 | 615 3145 | 54 | 0 261.54/261.61 c 261s | 21 | 1062385 | 1043045 | 615 3163 | 54 | 0 263.54/263.62 c 263s | 21 | 1069432 | 1049945 | 615 3180 | 54 | 0 265.54/265.63 c 265s | 21 | 1076714 | 1057045 | 615 3197 | 54 | 0 267.54/267.65 c 267s | 21 | 1083976 | 1064145 | 615 3215 | 54 | 0 269.55/269.67 c 269s | 21 | 1091221 | 1071245 | 615 3233 | 54 | 0 271.54/271.67 c 271s | 21 | 1098483 | 1078345 | 615 3250 | 54 | 0 273.54/273.69 c 273s | 21 | 1106110 | 1085845 | 615 3269 | 54 | 0 275.64/275.72 c 275s | 21 | 1113640 | 1093145 | 615 3287 | 54 | 0 277.64/277.72 c 277s | 21 | 1120876 | 1100245 | 615 3304 | 54 | 0 279.64/279.74 c 279s | 21 | 1128298 | 1107445 | 615 3322 | 54 | 0 281.64/281.76 c 281s | 21 | 1135697 | 1114745 | 615 3340 | 54 | 0 283.63/283.77 c 283s | 21 | 1142893 | 1121745 | 615 3357 | 54 | 0 285.63/285.79 c 285s | 21 | 1150249 | 1128945 | 615 3375 | 54 | 0 287.73/287.81 c 287s | 21 | 1157695 | 1136245 | 615 3393 | 54 | 0 289.74/289.81 c 289s | 21 | 1165148 | 1143545 | 615 3411 | 54 | 0 291.74/291.81 c 291s | 21 | 1172580 | 1150845 | 615 3429 | 54 | 0 293.75/293.84 c 293s | 21 | 1180047 | 1158145 | 615 3447 | 54 | 0 295.74/295.87 c 295s | 21 | 1187393 | 1165345 | 615 3465 | 54 | 0 297.74/297.87 c 297s | 21 | 1194481 | 1172345 | 615 3482 | 54 | 0 299.74/299.88 c 299s | 21 | 1201786 | 1179545 | 615 3500 | 54 | 0 301.84/301.90 c 301s | 21 | 1209453 | 1187045 | 615 3519 | 54 | 0 303.84/303.91 c 303s | 21 | 1216581 | 1194045 | 615 3536 | 54 | 0 305.84/305.93 c 305s | 21 | 1223867 | 1201145 | 615 3553 | 54 | 0 307.84/307.94 c 307s | 21 | 1232019 | 1209045 | 615 3573 | 54 | 0 309.83/309.96 c 309s | 21 | 1239967 | 1216745 | 615 3592 | 54 | 0 311.83/311.97 c 311s | 21 | 1247497 | 1224045 | 615 3610 | 54 | 0 313.83/313.98 c 313s | 21 | 1254852 | 1231145 | 615 3628 | 54 | 0 315.93/316.01 c 315s | 21 | 1262376 | 1238445 | 615 3646 | 54 | 0 317.94/318.02 c 317s | 21 | 1269658 | 1245545 | 615 3663 | 54 | 0 319.93/320.02 c 320s | 21 | 1277101 | 1252845 | 615 3681 | 54 | 0 321.93/322.05 c 322s | 21 | 1284523 | 1260145 | 615 3699 | 54 | 0 323.93/324.07 c 324s | 21 | 1291821 | 1267345 | 615 3717 | 54 | 0 325.93/326.09 c 326s | 21 | 1299071 | 1274545 | 615 3735 | 54 | 0 328.03/328.11 c 328s | 21 | 1306290 | 1281645 | 615 3753 | 54 | 0 330.04/330.12 c 330s | 21 | 1313694 | 1288945 | 615 3771 | 54 | 0 332.03/332.14 c 332s | 21 | 1320818 | 1295945 | 615 3788 | 54 | 0 334.03/334.15 c 334s | 21 | 1328177 | 1303245 | 615 3806 | 54 | 0 336.03/336.16 c 336s | 21 | 1335557 | 1310545 | 615 3825 | 54 | 0 338.03/338.16 c 338s | 21 | 1343260 | 1318045 | 615 3843 | 54 | 0 340.04/340.17 c 340s | 21 | 1350587 | 1325145 | 615 3860 | 54 | 0 342.03/342.17 c 342s | 21 | 1357860 | 1332245 | 615 3878 | 54 | 0 344.13/344.20 c 344s | 21 | 1365277 | 1339545 | 615 3896 | 54 | 0 346.13/346.22 c 346s | 21 | 1372605 | 1346745 | 615 3914 | 54 | 0 348.13/348.24 c 348s | 21 | 1380147 | 1354145 | 615 3932 | 54 | 0 350.13/350.25 c 350s | 21 | 1387376 | 1361245 | 615 3949 | 54 | 0 352.13/352.26 c 352s | 21 | 1395180 | 1368845 | 615 3968 | 54 | 0 354.13/354.27 c 354s | 21 | 1403031 | 1376445 | 615 3987 | 54 | 0 356.12/356.28 c 356s | 21 | 1411034 | 1384245 | 615 4006 | 54 | 0 358.12/358.28 c 358s | 21 | 1418668 | 1391645 | 615 4024 | 54 | 0 360.12/360.28 c 360s | 21 | 1426156 | 1398945 | 615 4042 | 54 | 0 362.12/362.29 c 362s | 21 | 1433733 | 1406245 | 615 4061 | 54 | 0 364.23/364.30 c 364s | 21 | 1441306 | 1413645 | 615 4079 | 54 | 0 366.23/366.33 c 366s | 21 | 1449045 | 1421145 | 615 4097 | 54 | 0 368.22/368.34 c 368s | 21 | 1456629 | 1428545 | 615 4116 | 54 | 0 370.22/370.34 c 370s | 21 | 1464286 | 1436045 | 615 4134 | 54 | 0 372.22/372.36 c 372s | 21 | 1472367 | 1443945 | 615 4154 | 54 | 0 374.22/374.39 c 374s | 21 | 1480209 | 1451645 | 615 4173 | 54 | 0 376.33/376.41 c 376s | 21 | 1487642 | 1458945 | 615 4191 | 54 | 0 378.32/378.43 c 378s | 21 | 1495025 | 1466145 | 615 4209 | 54 | 0 380.32/380.46 c 380s | 21 | 1502388 | 1473345 | 615 4227 | 54 | 0 382.32/382.46 c 382s | 21 | 1509645 | 1480445 | 615 4244 | 54 | 0 384.32/384.47 c 384s | 21 | 1517067 | 1487745 | 615 4262 | 54 | 0 386.32/386.49 c 386s | 21 | 1524036 | 1494645 | 677 4278 | 54 | 0 388.02/388.17 c 388s | 22 | 1530112 | 1500622 | 677 4292 | 54 | 0 390.12/390.20 c 390s | 22 | 1538065 | 1508322 | 677 4310 | 54 | 0 392.12/392.20 c 392s | 22 | 1545907 | 1516022 | 677 4327 | 54 | 0 394.12/394.23 c 394s | 22 | 1553481 | 1523422 | 677 4344 | 54 | 0 396.12/396.23 c 396s | 22 | 1560775 | 1530522 | 677 4360 | 54 | 0 398.11/398.26 c 398s | 22 | 1567988 | 1537622 | 677 4377 | 54 | 0 400.11/400.27 c 400s | 22 | 1575189 | 1544722 | 677 4393 | 54 | 0 402.11/402.29 c 402s | 22 | 1582599 | 1552022 | 677 4410 | 54 | 0 404.21/404.31 c 404s | 22 | 1590210 | 1559522 | 677 4427 | 54 | 0 406.21/406.32 c 406s | 22 | 1597483 | 1566722 | 677 4443 | 54 | 0 408.21/408.33 c 408s | 22 | 1605005 | 1574122 | 677 4460 | 54 | 0 410.21/410.36 c 410s | 22 | 1612922 | 1581922 | 677 4478 | 54 | 0 412.20/412.36 c 412s | 22 | 1620427 | 1589322 | 677 4495 | 54 | 0 414.20/414.39 c 414s | 22 | 1628014 | 1596822 | 677 4512 | 54 | 0 416.30/416.41 c 416s | 22 | 1635332 | 1604022 | 677 4529 | 54 | 0 418.30/418.42 c 418s | 22 | 1642771 | 1611322 | 677 4545 | 54 | 0 420.30/420.43 c 420s | 22 | 1650192 | 1618622 | 677 4562 | 54 | 0 422.30/422.46 c 422s | 22 | 1657925 | 1626222 | 677 4580 | 54 | 0 424.30/424.46 c 424s | 22 | 1665243 | 1633422 | 677 4596 | 54 | 0 426.29/426.48 c 426s | 22 | 1673137 | 1641122 | 677 4614 | 54 | 0 428.29/428.49 c 428s | 22 | 1680333 | 1648222 | 677 4630 | 54 | 0 430.39/430.51 c 430s | 22 | 1687966 | 1655722 | 677 4648 | 54 | 0 432.40/432.53 c 432s | 22 | 1695305 | 1662922 | 677 4664 | 54 | 0 434.39/434.54 c 434s | 22 | 1702876 | 1670322 | 677 4681 | 54 | 0 436.39/436.57 c 436s | 22 | 1710450 | 1677722 | 677 4698 | 54 | 0 438.39/438.58 c 438s | 22 | 1718854 | 1686022 | 677 4717 | 54 | 0 440.39/440.59 c 440s | 22 | 1727218 | 1694322 | 677 4736 | 54 | 0 442.49/442.60 c 442s | 22 | 1735520 | 1702522 | 677 4755 | 54 | 0 444.49/444.63 c 444s | 22 | 1743538 | 1710422 | 677 4773 | 54 | 0 446.48/446.63 c 446s | 22 | 1751188 | 1718022 | 677 4790 | 54 | 0 448.48/448.64 c 448s | 22 | 1759128 | 1725922 | 677 4809 | 54 | 0 450.48/450.66 c 450s | 22 | 1767074 | 1733722 | 677 4826 | 54 | 0 452.48/452.67 c 452s | 22 | 1774947 | 1741522 | 677 4844 | 54 | 0 454.48/454.69 c 454s | 22 | 1782826 | 1749322 | 677 4862 | 54 | 0 456.49/456.69 c 456s | 22 | 1790586 | 1757022 | 677 4880 | 54 | 0 458.58/458.70 c 458s | 22 | 1798159 | 1764522 | 677 4897 | 54 | 0 460.58/460.71 c 460s | 22 | 1805529 | 1771822 | 677 4914 | 54 | 0 462.58/462.71 c 462s | 22 | 1813272 | 1779422 | 677 4931 | 54 | 0 464.58/464.72 c 464s | 22 | 1820893 | 1786922 | 677 4948 | 54 | 0 466.57/466.74 c 466s | 22 | 1828761 | 1794722 | 677 4966 | 54 | 0 468.59/468.75 c 468s | 22 | 1836733 | 1802622 | 677 4984 | 54 | 0 470.58/470.77 c 470s | 22 | 1844382 | 1810222 | 677 5002 | 54 | 0 472.58/472.78 c 472s | 22 | 1851818 | 1817622 | 677 5019 | 54 | 0 474.58/474.78 c 474s | 22 | 1859279 | 1825022 | 677 5036 | 54 | 0 476.58/476.79 c 476s | 22 | 1866623 | 1832222 | 677 5052 | 54 | 0 478.68/478.82 c 478s | 22 | 1874192 | 1839722 | 677 5069 | 54 | 0 480.68/480.83 c 480s | 22 | 1881911 | 1847322 | 677 5087 | 54 | 0 482.67/482.85 c 482s | 22 | 1889716 | 1855022 | 677 5105 | 54 | 0 484.67/484.85 c 484s | 22 | 1897195 | 1862422 | 677 5122 | 54 | 0 486.67/486.88 c 486s | 22 | 1904917 | 1870022 | 677 5139 | 54 | 0 488.67/488.88 c 488s | 22 | 1912451 | 1877422 | 677 5156 | 54 | 0 490.77/490.90 c 490s | 22 | 1920229 | 1885022 | 677 5174 | 54 | 0 492.78/492.92 c 492s | 22 | 1927525 | 1892222 | 677 5190 | 54 | 0 494.77/494.92 c 494s | 22 | 1934711 | 1899322 | 677 5207 | 54 | 0 496.77/496.94 c 496s | 22 | 1942343 | 1906922 | 677 5224 | 54 | 0 498.77/498.96 c 498s | 22 | 1949730 | 1914222 | 677 5241 | 54 | 0 500.77/500.96 c 500s | 22 | 1957022 | 1921422 | 677 5257 | 54 | 0 502.77/502.99 c 502s | 22 | 1964653 | 1929022 | 677 5275 | 54 | 0 504.87/505.01 c 504s | 22 | 1972295 | 1936622 | 677 5292 | 54 | 0 506.86/507.02 c 506s | 22 | 1979757 | 1944022 | 677 5309 | 54 | 0 508.86/509.03 c 509s | 22 | 1988369 | 1952522 | 677 5329 | 54 | 0 510.86/511.05 c 511s | 22 | 1996784 | 1960822 | 677 5348 | 54 | 0 512.86/513.07 c 513s | 22 | 2005441 | 1969322 | 677 5367 | 54 | 0 514.86/515.07 c 515s | 22 | 2013545 | 1977222 | 677 5385 | 54 | 0 516.85/517.08 c 517s | 22 | 2021918 | 1985322 | 677 5404 | 54 | 0 518.85/519.09 c 519s | 22 | 2029948 | 1993222 | 677 5422 | 54 | 0 520.85/521.09 c 521s | 22 | 2037989 | 2001122 | 677 5440 | 54 | 0 522.96/523.11 c 523s | 22 | 2046291 | 2009322 | 677 5459 | 54 | 0 524.96/525.14 c 525s | 22 | 2054752 | 2017622 | 677 5478 | 54 | 0 526.96/527.15 c 527s | 22 | 2063021 | 2025722 | 677 5496 | 54 | 0 528.95/529.16 c 529s | 22 | 2070810 | 2033422 | 677 5514 | 54 | 0 530.95/531.16 c 531s | 22 | 2078663 | 2041122 | 677 5531 | 54 | 0 532.95/533.19 c 533s | 22 | 2086782 | 2049122 | 677 5550 | 54 | 0 534.95/535.19 c 535s | 22 | 2094692 | 2056922 | 677 5568 | 54 | 0 537.05/537.21 c 537s | 22 | 2102595 | 2064722 | 677 5585 | 54 | 0 539.05/539.24 c 539s | 22 | 2110154 | 2072222 | 677 5603 | 54 | 0 541.05/541.26 c 541s | 22 | 2117728 | 2079722 | 677 5620 | 54 | 0 543.05/543.28 c 543s | 22 | 2125533 | 2087422 | 677 5638 | 54 | 0 545.05/545.30 c 545s | 22 | 2133170 | 2094922 | 677 5655 | 54 | 0 547.14/547.31 c 547s | 22 | 2140362 | 2102022 | 677 5671 | 54 | 0 549.14/549.33 c 549s | 22 | 2147762 | 2109322 | 677 5688 | 54 | 0 551.15/551.35 c 551s | 22 | 2155565 | 2117022 | 677 5706 | 54 | 0 553.14/553.38 c 553s | 22 | 2163756 | 2125122 | 677 5724 | 54 | 0 555.24/555.40 c 555s | 22 | 2171415 | 2132722 | 677 5742 | 54 | 0 557.23/557.43 c 557s | 22 | 2179058 | 2140322 | 677 5759 | 54 | 0 559.23/559.44 c 559s | 22 | 2186537 | 2147722 | 677 5776 | 54 | 0 561.23/561.45 c 561s | 22 | 2194292 | 2155422 | 677 5794 | 54 | 0 563.24/563.47 c 563s | 22 | 2201438 | 2162422 | 677 5810 | 54 | 0 565.23/565.48 c 565s | 22 | 2210218 | 2171122 | 677 5830 | 54 | 0 567.23/567.49 c 567s | 22 | 2218179 | 2179022 | 677 5848 | 54 | 0 569.23/569.49 c 569s | 22 | 2226049 | 2186822 | 677 5866 | 54 | 0 571.33/571.50 c 571s | 22 | 2234260 | 2194922 | 677 5884 | 54 | 0 573.32/573.52 c 573s | 22 | 2242206 | 2202722 | 677 5902 | 54 | 0 575.33/575.55 c 575s | 22 | 2249989 | 2210422 | 677 5920 | 54 | 0 577.32/577.56 c 577s | 22 | 2257748 | 2218122 | 677 5937 | 54 | 0 579.32/579.58 c 579s | 22 | 2265406 | 2225722 | 677 5955 | 54 | 0 581.32/581.59 c 581s | 22 | 2273111 | 2233322 | 677 5972 | 54 | 0 583.42/583.61 c 583s | 22 | 2280685 | 2240822 | 745 5988 | 54 | 0 585.42/585.62 c 585s | 22 | 2288087 | 2248122 | 745 6004 | 54 | 0 586.23/586.43 c 586s | 23 | 2291064 | 2251038 | 745 6010 | 54 | 0 588.22/588.45 c 588s | 23 | 2298802 | 2258438 | 745 6026 | 54 | 0 590.22/590.46 c 590s | 23 | 2306705 | 2266238 | 745 6042 | 54 | 0 592.22/592.47 c 592s | 23 | 2314600 | 2274038 | 745 6059 | 54 | 0 594.22/594.48 c 594s | 23 | 2322088 | 2281438 | 745 6075 | 54 | 0 596.32/596.51 c 596s | 23 | 2329678 | 2288938 | 745 6091 | 54 | 0 598.32/598.51 c 598s | 23 | 2337173 | 2296338 | 745 6106 | 54 | 0 600.31/600.54 c 600s | 23 | 2345296 | 2304238 | 745 6123 | 54 | 0 602.31/602.56 c 602s | 23 | 2353182 | 2311938 | 745 6140 | 54 | 0 604.31/604.58 c 604s | 23 | 2361199 | 2319838 | 745 6156 | 54 | 0 606.41/606.60 c 606s | 23 | 2369238 | 2327738 | 745 6173 | 54 | 0 608.41/608.61 c 608s | 23 | 2377175 | 2335538 | 745 6190 | 54 | 0 610.42/610.62 c 610s | 23 | 2385273 | 2343438 | 745 6207 | 54 | 0 612.41/612.64 c 612s | 23 | 2393621 | 2351538 | 745 6224 | 54 | 0 614.41/614.64 c 614s | 23 | 2401149 | 2358938 | 745 6240 | 54 | 0 616.40/616.65 c 616s | 23 | 2408784 | 2366338 | 745 6256 | 54 | 0 618.40/618.65 c 618s | 23 | 2416393 | 2373738 | 745 6271 | 54 | 0 620.41/620.68 c 620s | 23 | 2424396 | 2381538 | 745 6288 | 54 | 0 622.40/622.70 c 622s | 23 | 2432153 | 2389138 | 745 6304 | 54 | 0 624.50/624.71 c 624s | 23 | 2440246 | 2397138 | 745 6321 | 54 | 0 626.50/626.72 c 626s | 23 | 2447741 | 2404538 | 745 6337 | 54 | 0 628.50/628.73 c 628s | 23 | 2455283 | 2411938 | 745 6353 | 54 | 0 630.50/630.76 c 630s | 23 | 2463000 | 2419538 | 745 6369 | 54 | 0 632.50/632.77 c 632s | 23 | 2470502 | 2426938 | 745 6385 | 54 | 0 634.49/634.78 c 634s | 23 | 2478312 | 2434638 | 745 6401 | 54 | 0 636.49/636.78 c 636s | 23 | 2485842 | 2442038 | 745 6417 | 54 | 0 638.59/638.80 c 638s | 23 | 2493210 | 2449338 | 745 6433 | 54 | 0 640.59/640.81 c 640s | 23 | 2500375 | 2456438 | 745 6448 | 54 | 0 642.59/642.83 c 642s | 23 | 2508058 | 2464038 | 745 6464 | 54 | 0 644.59/644.85 c 644s | 23 | 2515647 | 2471538 | 745 6480 | 54 | 0 646.58/646.85 c 646s | 23 | 2523006 | 2478838 | 745 6496 | 54 | 0 648.58/648.86 c 648s | 23 | 2531844 | 2487638 | 745 6514 | 54 | 0 650.58/650.89 c 650s | 23 | 2540647 | 2496338 | 745 6533 | 54 | 0 652.68/652.91 c 652s | 23 | 2549611 | 2505138 | 745 6551 | 54 | 0 654.68/654.92 c 654s | 23 | 2558247 | 2513638 | 745 6569 | 54 | 0 656.69/656.93 c 656s | 23 | 2566903 | 2522138 | 745 6587 | 54 | 0 658.68/658.95 c 658s | 23 | 2575902 | 2530938 | 745 6606 | 54 | 0 660.68/660.95 c 660s | 23 | 2584525 | 2539438 | 745 6624 | 54 | 0 662.68/662.98 c 662s | 23 | 2592986 | 2547738 | 745 6642 | 54 | 0 664.68/664.99 c 664s | 23 | 2601120 | 2555738 | 745 6659 | 54 | 0 666.67/666.99 c 666s | 23 | 2609602 | 2564038 | 745 6676 | 54 | 0 668.78/669.02 c 668s | 23 | 2618198 | 2572538 | 745 6694 | 54 | 0 670.77/671.02 c 670s | 23 | 2626587 | 2580738 | 745 6712 | 54 | 0 672.77/673.04 c 673s | 23 | 2635620 | 2589538 | 745 6730 | 54 | 0 674.77/675.06 c 675s | 23 | 2644381 | 2598138 | 745 6749 | 54 | 0 676.78/677.07 c 677s | 23 | 2653175 | 2606738 | 745 6767 | 54 | 0 678.78/679.08 c 679s | 23 | 2661611 | 2615038 | 745 6785 | 54 | 0 680.78/681.09 c 681s | 23 | 2669971 | 2623238 | 745 6802 | 54 | 0 682.88/683.10 c 683s | 23 | 2678530 | 2631638 | 745 6820 | 54 | 0 684.87/685.11 c 685s | 23 | 2687007 | 2639938 | 745 6838 | 54 | 0 686.87/687.14 c 687s | 23 | 2695754 | 2648438 | 745 6856 | 54 | 0 688.87/689.15 c 689s | 23 | 2704387 | 2656838 | 745 6873 | 54 | 0 690.87/691.16 c 691s | 23 | 2712710 | 2665038 | 745 6891 | 54 | 0 692.87/693.17 c 693s | 23 | 2721011 | 2673238 | 745 6908 | 54 | 0 694.87/695.18 c 695s | 23 | 2729864 | 2681938 | 745 6927 | 54 | 0 696.86/697.19 c 697s | 23 | 2738135 | 2690038 | 745 6944 | 54 | 0 698.96/699.20 c 699s | 23 | 2746287 | 2698038 | 745 6961 | 54 | 0 700.96/701.22 c 701s | 23 | 2755171 | 2706738 | 745 6980 | 54 | 0 702.96/703.24 c 703s | 23 | 2763438 | 2714838 | 745 6997 | 54 | 0 704.97/705.25 c 705s | 23 | 2771398 | 2722738 | 745 7014 | 54 | 0 706.95/707.26 c 707s | 23 | 2779205 | 2730438 | 745 7030 | 54 | 0 708.95/709.28 c 709s | 23 | 2787149 | 2738238 | 745 7047 | 54 | 0 710.95/711.29 c 711s | 23 | 2795006 | 2745938 | 745 7063 | 54 | 0 713.05/713.31 c 713s | 23 | 2802697 | 2753538 | 745 7079 | 54 | 0 715.05/715.32 c 715s | 23 | 2810753 | 2761438 | 745 7096 | 54 | 0 717.05/717.32 c 717s | 23 | 2818036 | 2768638 | 745 7111 | 54 | 0 719.05/719.33 c 719s | 23 | 2825467 | 2775938 | 745 7127 | 54 | 0 721.05/721.35 c 721s | 23 | 2833287 | 2783638 | 745 7143 | 54 | 0 723.05/723.36 c 723s | 23 | 2841081 | 2791238 | 745 7159 | 54 | 0 725.05/725.37 c 725s | 23 | 2849384 | 2799338 | 745 7177 | 54 | 0 727.05/727.38 c 727s | 23 | 2857200 | 2807038 | 745 7193 | 54 | 0 729.04/729.40 c 729s | 23 | 2865251 | 2814938 | 745 7210 | 54 | 0 731.14/731.41 c 731s | 23 | 2873407 | 2822938 | 745 7227 | 54 | 0 733.14/733.41 c 733s | 23 | 2881497 | 2830938 | 745 7244 | 54 | 0 735.14/735.43 c 735s | 23 | 2889666 | 2838938 | 745 7261 | 54 | 0 737.14/737.43 c 737s | 23 | 2897581 | 2846738 | 745 7278 | 54 | 0 739.14/739.43 c 739s | 23 | 2905304 | 2854338 | 745 7294 | 54 | 0 741.14/741.44 c 741s | 23 | 2913916 | 2862738 | 745 7312 | 54 | 0 743.14/743.45 c 743s | 23 | 2922089 | 2870738 | 745 7329 | 54 | 0 745.14/745.46 c 745s | 23 | 2930862 | 2879138 | 745 7347 | 54 | 0 747.13/747.48 c 747s | 23 | 2938540 | 2886638 | 745 7363 | 54 | 0 749.23/749.50 c 749s | 23 | 2946345 | 2894238 | 745 7379 | 54 | 0 751.24/751.52 c 751s | 23 | 2954353 | 2902138 | 745 7396 | 54 | 0 753.23/753.54 c 753s | 23 | 2962290 | 2910038 | 745 7413 | 54 | 0 755.23/755.55 c 755s | 23 | 2970227 | 2917838 | 745 7430 | 54 | 0 757.23/757.57 c 757s | 23 | 2978253 | 2925738 | 745 7446 | 54 | 0 759.23/759.58 c 759s | 23 | 2985845 | 2933238 | 745 7462 | 54 | 0 761.23/761.59 c 761s | 23 | 2994277 | 2941538 | 745 7480 | 54 | 0 763.33/763.61 c 763s | 23 | 3002000 | 2949138 | 745 7497 | 54 | 0 765.33/765.61 c 765s | 23 | 3009702 | 2956638 | 745 7513 | 54 | 0 767.32/767.62 c 767s | 23 | 3017744 | 2964538 | 745 7529 | 54 | 0 769.32/769.63 c 769s | 23 | 3025069 | 2971738 | 745 7545 | 54 | 0 771.32/771.65 c 771s | 23 | 3032474 | 2979038 | 745 7560 | 54 | 0 773.32/773.66 c 773s | 23 | 3040361 | 2986838 | 745 7577 | 54 | 0 775.33/775.66 c 775s | 23 | 3047849 | 2994238 | 745 7593 | 54 | 0 777.32/777.66 c 777s | 23 | 3055509 | 3001838 | 745 7609 | 54 | 0 779.32/779.67 c 779s | 23 | 3063169 | 3009438 | 745 7625 | 54 | 0 781.32/781.68 c 781s | 23 | 3070699 | 3016738 | 745 7641 | 54 | 0 783.32/783.68 c 783s | 23 | 3078052 | 3024038 | 745 7656 | 54 | 0 785.32/785.69 c 785s | 23 | 3086586 | 3032438 | 745 7674 | 54 | 0 787.31/787.70 c 787s | 23 | 3094660 | 3040338 | 745 7691 | 54 | 0 789.41/789.71 c 789s | 23 | 3102411 | 3047938 | 745 7707 | 54 | 0 791.41/791.71 c 791s | 23 | 3109758 | 3055138 | 745 7723 | 54 | 0 793.41/793.72 c 793s | 23 | 3117456 | 3062738 | 745 7739 | 54 | 0 795.41/795.74 c 795s | 23 | 3124739 | 3069938 | 745 7754 | 54 | 0 797.41/797.76 c 797s | 23 | 3131932 | 3077038 | 745 7769 | 54 | 0 799.40/799.78 c 799s | 23 | 3139051 | 3084038 | 745 7784 | 54 | 0 801.40/801.78 c 801s | 23 | 3146547 | 3091438 | 745 7800 | 54 | 0 803.51/803.80 c 803s | 23 | 3154437 | 3099138 | 745 7816 | 54 | 0 805.51/805.83 c 805s | 23 | 3162058 | 3106638 | 745 7832 | 54 | 0 807.51/807.84 c 807s | 23 | 3169836 | 3114338 | 745 7849 | 54 | 0 809.52/809.86 c 809s | 23 | 3177544 | 3121938 | 745 7865 | 54 | 0 811.51/811.87 c 811s | 23 | 3185478 | 3129738 | 745 7882 | 54 | 0 813.51/813.89 c 813s | 23 | 3193069 | 3137238 | 745 7898 | 54 | 0 815.61/815.90 c 815s | 23 | 3200604 | 3144638 | 745 7914 | 54 | 0 817.60/817.92 c 817s | 23 | 3208429 | 3152338 | 745 7930 | 54 | 0 819.60/819.92 c 819s | 23 | 3216081 | 3159938 | 745 7946 | 54 | 0 821.61/821.92 c 821s | 23 | 3223339 | 3167138 | 745 7962 | 54 | 0 823.60/823.94 c 823s | 23 | 3230902 | 3174638 | 745 7978 | 54 | 0 825.60/825.96 c 825s | 23 | 3238657 | 3182338 | 745 7994 | 54 | 0 827.60/827.97 c 827s | 23 | 3246440 | 3190038 | 745 8011 | 54 | 0 829.60/829.98 c 829s | 23 | 3254229 | 3197738 | 745 8027 | 54 | 0 831.60/831.99 c 831s | 23 | 3261907 | 3205338 | 745 8044 | 54 | 0 833.61/833.99 c 833s | 23 | 3269462 | 3212738 | 745 8059 | 54 | 0 835.70/836.01 c 835s | 23 | 3276498 | 3219638 | 745 8074 | 54 | 0 837.69/838.02 c 837s | 23 | 3284065 | 3227138 | 745 8090 | 54 | 0 839.69/840.03 c 840s | 23 | 3291903 | 3234838 | 745 8107 | 54 | 0 841.69/842.05 c 842s | 23 | 3299990 | 3242638 | 745 8123 | 54 | 0 843.69/844.07 c 844s | 23 | 3307835 | 3250238 | 745 8139 | 54 | 0 845.69/846.10 c 846s | 23 | 3315539 | 3257838 | 745 8156 | 54 | 0 847.78/848.10 c 848s | 23 | 3322978 | 3265138 | 745 8171 | 54 | 0 849.78/850.11 c 850s | 23 | 3330410 | 3272438 | 745 8187 | 54 | 0 851.78/852.12 c 852s | 23 | 3337826 | 3279638 | 745 8202 | 54 | 0 853.78/854.13 c 854s | 23 | 3345379 | 3287038 | 745 8218 | 54 | 0 855.78/856.15 c 856s | 23 | 3352648 | 3294138 | 745 8233 | 54 | 0 857.79/858.15 c 858s | 23 | 3360043 | 3301438 | 745 8248 | 54 | 0 859.78/860.17 c 860s | 23 | 3367013 | 3308238 | 745 8263 | 54 | 0 861.78/862.17 c 862s | 23 | 3374367 | 3315438 | 745 8278 | 54 | 0 863.78/864.18 c 864s | 23 | 3381690 | 3322638 | 745 8294 | 54 | 0 865.78/866.18 c 866s | 23 | 3388792 | 3329638 | 745 8308 | 54 | 0 867.87/868.20 c 868s | 23 | 3396578 | 3337238 | 745 8325 | 54 | 0 869.88/870.21 c 870s | 23 | 3404070 | 3344638 | 745 8341 | 54 | 0 871.87/872.23 c 872s | 23 | 3411664 | 3352038 | 745 8356 | 54 | 0 873.87/874.24 c 874s | 23 | 3418951 | 3359238 | 820 8371 | 54 | 0 875.87/876.25 c 876s | 23 | 3426442 | 3366638 | 820 8385 | 54 | 0 877.87/878.25 c 878s | 23 | 3435487 | 3375538 | 820 8403 | 54 | 0 878.17/878.52 c 878s | 24 | 3436622 | 3376662 | 820 8405 | 54 | 0 880.17/880.53 c 880s | 24 | 3444285 | 3383862 | 820 8419 | 54 | 0 882.17/882.54 c 882s | 24 | 3451360 | 3390762 | 820 8433 | 54 | 0 884.18/884.54 c 884s | 24 | 3458669 | 3397862 | 820 8447 | 54 | 0 886.17/886.56 c 886s | 24 | 3466016 | 3405062 | 820 8461 | 54 | 0 888.17/888.56 c 888s | 24 | 3473121 | 3412062 | 820 8475 | 54 | 0 890.17/890.57 c 890s | 24 | 3480408 | 3419262 | 820 8489 | 54 | 0 892.17/892.57 c 892s | 24 | 3487793 | 3426562 | 820 8503 | 54 | 0 894.27/894.60 c 894s | 24 | 3494800 | 3433362 | 820 8517 | 54 | 0 896.27/896.62 c 896s | 24 | 3501885 | 3440262 | 820 8530 | 54 | 0 898.26/898.62 c 898s | 24 | 3508956 | 3447162 | 820 8544 | 54 | 0 900.26/900.64 c 900s | 24 | 3516718 | 3454662 | 820 8559 | 54 | 0 902.26/902.66 c 902s | 24 | 3524099 | 3461862 | 820 8573 | 54 | 0 904.26/904.67 c 904s | 24 | 3531602 | 3469262 | 820 8587 | 54 | 0 906.26/906.69 c 906s | 24 | 3538639 | 3476162 | 820 8601 | 54 | 0 908.36/908.71 c 908s | 24 | 3545896 | 3483262 | 820 8615 | 54 | 0 910.35/910.72 c 910s | 24 | 3553412 | 3490662 | 820 8629 | 54 | 0 912.35/912.74 c 912s | 24 | 3561009 | 3498062 | 820 8644 | 54 | 0 914.35/914.77 c 914s | 24 | 3568168 | 3505062 | 820 8658 | 54 | 0 916.35/916.79 c 916s | 24 | 3575788 | 3512462 | 820 8672 | 54 | 0 918.45/918.80 c 918s | 24 | 3583517 | 3519962 | 820 8687 | 54 | 0 920.35/920.80 c 920s | 24 | 3590743 | 3527062 | 820 8701 | 54 | 0 922.45/922.82 c 922s | 24 | 3597781 | 3533962 | 820 8715 | 54 | 0 924.45/924.83 c 924s | 24 | 3604710 | 3540762 | 820 8728 | 54 | 0 926.45/926.84 c 926s | 24 | 3611827 | 3547762 | 820 8742 | 54 | 0 928.44/928.86 c 928s | 24 | 3619221 | 3555062 | 820 8756 | 54 | 0 930.45/930.86 c 930s | 24 | 3626633 | 3562362 | 820 8771 | 54 | 0 932.44/932.87 c 932s | 24 | 3633943 | 3569562 | 820 8785 | 54 | 0 934.44/934.88 c 934s | 24 | 3642099 | 3577662 | 820 8801 | 54 | 0 936.54/936.90 c 936s | 24 | 3650276 | 3585762 | 820 8817 | 54 | 0 938.54/938.91 c 938s | 24 | 3658135 | 3593562 | 820 8832 | 54 | 0 940.54/940.92 c 940s | 24 | 3665999 | 3601362 | 820 8847 | 54 | 0 942.54/942.93 c 942s | 24 | 3673710 | 3608962 | 820 8862 | 54 | 0 944.54/944.94 c 944s | 24 | 3681015 | 3616162 | 820 8876 | 54 | 0 946.53/946.95 c 946s | 24 | 3688503 | 3623562 | 820 8891 | 54 | 0 948.53/948.96 c 948s | 24 | 3695884 | 3630862 | 820 8905 | 54 | 0 950.53/950.98 c 950s | 24 | 3703489 | 3638362 | 820 8920 | 54 | 0 952.54/952.99 c 952s | 24 | 3710833 | 3645562 | 820 8934 | 54 | 0 954.65/955.01 c 954s | 24 | 3718261 | 3652862 | 820 8949 | 54 | 0 956.64/957.02 c 956s | 24 | 3725788 | 3660262 | 820 8963 | 54 | 0 958.64/959.03 c 959s | 24 | 3732960 | 3667362 | 820 8977 | 54 | 0 960.64/961.04 c 961s | 24 | 3740275 | 3674562 | 820 8991 | 54 | 0 962.63/963.07 c 963s | 24 | 3747360 | 3681562 | 820 9005 | 54 | 0 964.63/965.08 c 965s | 24 | 3754719 | 3688862 | 820 9020 | 54 | 0 966.64/967.10 c 967s | 24 | 3761884 | 3695962 | 820 9034 | 54 | 0 968.73/969.12 c 969s | 24 | 3769278 | 3703262 | 820 9048 | 54 | 0 970.73/971.12 c 971s | 24 | 3776253 | 3710062 | 820 9061 | 54 | 0 972.73/973.13 c 973s | 24 | 3783281 | 3716962 | 820 9075 | 54 | 0 974.73/975.15 c 975s | 24 | 3790474 | 3724062 | 820 9089 | 54 | 0 976.72/977.18 c 977s | 24 | 3797479 | 3730962 | 820 9103 | 54 | 0 978.73/979.19 c 979s | 24 | 3804630 | 3737962 | 820 9116 | 54 | 0 980.82/981.22 c 981s | 24 | 3811758 | 3744962 | 820 9130 | 54 | 0 982.82/983.24 c 983s | 24 | 3818991 | 3752062 | 820 9144 | 54 | 0 984.82/985.24 c 985s | 24 | 3826018 | 3758962 | 820 9158 | 54 | 0 986.82/987.24 c 987s | 24 | 3833201 | 3766062 | 820 9172 | 54 | 0 988.82/989.26 c 989s | 24 | 3840405 | 3773162 | 820 9186 | 54 | 0 990.83/991.26 c 991s | 24 | 3847472 | 3780062 | 820 9200 | 54 | 0 992.82/993.28 c 993s | 24 | 3854637 | 3787062 | 820 9213 | 54 | 0 994.82/995.29 c 995s | 24 | 3861653 | 3793962 | 820 9227 | 54 | 0 996.92/997.31 c 997s | 24 | 3869043 | 3801162 | 820 9241 | 54 | 0 998.92/999.32 c 999s | 24 | 3876252 | 3808262 | 820 9255 | 54 | 0 1000.92/1001.34 c 1001s | 24 | 3883672 | 3815462 | 820 9269 | 54 | 0 1002.92/1003.36 c 1003s | 24 | 3890848 | 3822462 | 820 9283 | 54 | 0 1004.92/1005.39 c 1005s | 24 | 3898108 | 3829562 | 820 9297 | 54 | 0 1007.02/1007.41 c 1007s | 24 | 3905341 | 3836562 | 820 9311 | 54 | 0 1009.02/1009.43 c 1009s | 24 | 3912494 | 3843562 | 820 9325 | 54 | 0 1011.02/1011.43 c 1011s | 24 | 3919408 | 3850362 | 820 9338 | 54 | 0 1013.02/1013.45 c 1013s | 24 | 3926721 | 3857562 | 820 9352 | 54 | 0 1015.02/1015.45 c 1015s | 24 | 3934169 | 3864862 | 820 9367 | 54 | 0 1017.01/1017.47 c 1017s | 24 | 3941817 | 3872262 | 820 9382 | 54 | 0 1019.01/1019.48 c 1019s | 24 | 3949219 | 3879462 | 820 9396 | 54 | 0 1021.01/1021.48 c 1021s | 24 | 3956457 | 3886562 | 820 9410 | 54 | 0 1023.11/1023.51 c 1023s | 24 | 3963993 | 3893862 | 820 9424 | 54 | 0 1025.11/1025.52 c 1025s | 24 | 3971775 | 3901462 | 820 9439 | 54 | 0 1027.12/1027.53 c 1027s | 24 | 3978904 | 3908462 | 820 9453 | 54 | 0 1029.11/1029.54 c 1029s | 24 | 3986068 | 3915462 | 820 9467 | 54 | 0 1031.11/1031.56 c 1031s | 24 | 3993459 | 3922662 | 820 9481 | 54 | 0 1033.11/1033.58 c 1033s | 24 | 4000863 | 3929962 | 820 9495 | 54 | 0 1035.21/1035.61 c 1035s | 24 | 4008246 | 3937162 | 820 9510 | 54 | 0 1037.21/1037.63 c 1037s | 24 | 4015875 | 3944562 | 820 9524 | 54 | 0 1039.22/1039.65 c 1039s | 24 | 4023989 | 3952362 | 820 9539 | 54 | 0 1041.21/1041.67 c 1041s | 24 | 4031356 | 3959562 | 820 9554 | 54 | 0 1043.21/1043.67 c 1043s | 24 | 4038998 | 3967062 | 820 9568 | 54 | 0 1045.21/1045.69 c 1045s | 24 | 4046235 | 3974162 | 820 9582 | 54 | 0 1047.31/1047.71 c 1047s | 24 | 4053712 | 3981462 | 820 9597 | 54 | 0 1049.31/1049.72 c 1049s | 24 | 4061071 | 3988662 | 820 9611 | 54 | 0 1051.31/1051.74 c 1051s | 24 | 4068728 | 3996162 | 820 9626 | 54 | 0 1053.31/1053.74 c 1053s | 24 | 4076696 | 4003862 | 820 9641 | 54 | 0 1055.31/1055.75 c 1055s | 24 | 4084224 | 4011262 | 820 9656 | 54 | 0 1057.31/1057.77 c 1057s | 24 | 4091674 | 4018562 | 820 9670 | 54 | 0 1059.32/1059.79 c 1059s | 24 | 4099028 | 4025762 | 820 9684 | 54 | 0 1061.32/1061.79 c 1061s | 24 | 4106350 | 4032962 | 820 9698 | 54 | 0 1063.42/1063.81 c 1063s | 24 | 4113758 | 4040262 | 820 9713 | 54 | 0 1065.41/1065.82 c 1065s | 24 | 4120605 | 4046962 | 820 9726 | 54 | 0 1067.41/1067.84 c 1067s | 24 | 4127622 | 4053862 | 820 9740 | 54 | 0 1069.41/1069.86 c 1069s | 24 | 4134656 | 4060762 | 820 9753 | 54 | 0 1071.41/1071.87 c 1071s | 24 | 4142045 | 4068062 | 820 9768 | 54 | 0 1073.51/1073.90 c 1073s | 24 | 4149433 | 4075362 | 820 9782 | 54 | 0 1075.52/1075.90 c 1075s | 24 | 4156812 | 4082662 | 820 9797 | 54 | 0 1077.51/1077.92 c 1077s | 24 | 4163890 | 4089662 | 820 9810 | 54 | 0 1079.51/1079.95 c 1079s | 24 | 4171098 | 4096762 | 820 9824 | 54 | 0 1081.51/1081.96 c 1081s | 24 | 4178618 | 4104162 | 820 9839 | 54 | 0 1083.51/1083.99 c 1083s | 24 | 4186299 | 4111762 | 820 9854 | 54 | 0 1085.51/1085.99 c 1085s | 24 | 4193704 | 4119062 | 820 9869 | 54 | 0 1087.61/1088.02 c 1087s | 24 | 4201312 | 4126562 | 820 9883 | 54 | 0 1089.60/1090.05 c 1090s | 24 | 4208628 | 4133762 | 820 9898 | 54 | 0 1091.60/1092.06 c 1092s | 24 | 4215638 | 4140662 | 820 9911 | 54 | 0 1093.60/1094.06 c 1094s | 24 | 4222970 | 4147862 | 820 9926 | 54 | 0 1095.60/1096.07 c 1096s | 24 | 4230896 | 4155462 | 820 9940 | 54 | 0 1097.70/1098.10 c 1098s | 24 | 4238799 | 4163162 | 820 9956 | 54 | 0 1099.60/1100.10 c 1100s | 24 | 4246929 | 4171162 | 820 9971 | 54 | 0 1101.70/1102.11 c 1102s | 24 | 4254843 | 4178862 | 820 9986 | 54 | 0 1103.70/1104.13 c 1104s | 24 | 4262621 | 4186562 | 820 10002 | 54 | 0 1105.70/1106.16 c 1106s | 24 | 4270273 | 4194062 | 820 10016 | 54 | 0 1107.70/1108.16 c 1108s | 24 | 4277603 | 4201262 | 820 10031 | 54 | 0 1109.71/1110.19 c 1110s | 24 | 4285326 | 4208862 | 820 10046 | 54 | 0 1111.81/1112.21 c 1112s | 24 | 4292769 | 4216162 | 820 10060 | 54 | 0 1113.80/1114.23 c 1114s | 24 | 4300157 | 4223362 | 820 10074 | 54 | 0 1115.80/1116.25 c 1116s | 24 | 4307814 | 4230762 | 820 10089 | 54 | 0 1117.80/1118.26 c 1118s | 24 | 4315064 | 4237862 | 820 10103 | 54 | 0 1119.80/1120.28 c 1120s | 24 | 4322456 | 4245162 | 820 10117 | 54 | 0 1121.90/1122.30 c 1122s | 24 | 4329771 | 4252262 | 820 10131 | 54 | 0 1123.90/1124.31 c 1124s | 24 | 4337341 | 4259662 | 820 10146 | 54 | 0 1125.90/1126.32 c 1126s | 24 | 4344704 | 4266862 | 820 10160 | 54 | 0 1127.90/1128.33 c 1128s | 24 | 4352703 | 4274662 | 820 10176 | 54 | 0 1129.90/1130.34 c 1130s | 24 | 4360825 | 4282562 | 820 10191 | 54 | 0 1131.90/1132.36 c 1132s | 24 | 4368668 | 4290262 | 820 10206 | 54 | 0 1133.91/1134.37 c 1134s | 24 | 4376489 | 4297862 | 820 10221 | 54 | 0 1135.90/1136.39 c 1136s | 24 | 4383934 | 4305162 | 820 10236 | 54 | 0 1138.00/1138.40 c 1138s | 24 | 4391456 | 4312562 | 820 10250 | 54 | 0 1140.00/1140.40 c 1140s | 24 | 4398661 | 4319662 | 820 10264 | 54 | 0 1142.00/1142.41 c 1142s | 24 | 4405994 | 4326862 | 820 10278 | 54 | 0 1144.00/1144.43 c 1144s | 24 | 4413300 | 4333962 | 820 10292 | 54 | 0 1146.01/1146.43 c 1146s | 24 | 4420580 | 4341062 | 820 10306 | 54 | 0 1148.00/1148.44 c 1148s | 24 | 4427876 | 4348162 | 820 10321 | 54 | 0 1150.00/1150.45 c 1150s | 24 | 4434863 | 4354962 | 820 10334 | 54 | 0 1152.00/1152.48 c 1152s | 24 | 4442468 | 4362362 | 820 10349 | 54 | 0 1154.10/1154.50 c 1154s | 24 | 4449751 | 4369462 | 820 10363 | 54 | 0 1156.10/1156.52 c 1156s | 24 | 4456916 | 4376462 | 820 10376 | 54 | 0 1158.11/1158.54 c 1158s | 24 | 4464580 | 4383862 | 820 10391 | 54 | 0 1160.10/1160.55 c 1160s | 24 | 4472232 | 4391262 | 820 10406 | 54 | 0 1162.10/1162.57 c 1162s | 24 | 4479853 | 4398662 | 820 10420 | 54 | 0 1164.10/1164.57 c 1164s | 24 | 4487232 | 4405962 | 820 10435 | 54 | 0 1166.09/1166.59 c 1166s | 24 | 4495104 | 4413662 | 820 10450 | 54 | 0 1168.09/1168.59 c 1168s | 24 | 4502840 | 4421262 | 820 10465 | 54 | 0 1170.20/1170.61 c 1170s | 24 | 4510453 | 4428762 | 820 10480 | 54 | 0 1172.19/1172.61 c 1172s | 24 | 4518107 | 4436262 | 820 10494 | 54 | 0 1174.19/1174.63 c 1174s | 24 | 4525641 | 4443662 | 820 10509 | 54 | 0 1176.19/1176.64 c 1176s | 24 | 4533051 | 4450962 | 820 10523 | 54 | 0 1178.19/1178.65 c 1178s | 24 | 4540386 | 4458162 | 820 10538 | 54 | 0 1180.19/1180.66 c 1180s | 24 | 4547939 | 4465562 | 820 10552 | 54 | 0 1182.20/1182.68 c 1182s | 24 | 4555271 | 4472762 | 820 10567 | 54 | 0 1184.29/1184.71 c 1184s | 24 | 4563019 | 4480362 | 820 10582 | 54 | 0 1186.29/1186.73 c 1186s | 24 | 4570805 | 4487962 | 820 10597 | 54 | 0 1188.29/1188.75 c 1188s | 24 | 4578231 | 4495262 | 820 10611 | 54 | 0 1190.29/1190.76 c 1190s | 24 | 4585493 | 4502362 | 820 10625 | 54 | 0 1192.29/1192.78 c 1192s | 24 | 4593171 | 4509862 | 820 10640 | 54 | 0 1194.30/1194.80 c 1194s | 24 | 4601084 | 4517562 | 820 10655 | 54 | 0 1196.39/1196.83 c 1196s | 24 | 4608748 | 4525062 | 820 10670 | 54 | 0 1198.39/1198.84 c 1198s | 24 | 4616560 | 4532562 | 820 10685 | 54 | 0 1200.39/1200.85 c 1200s | 24 | 4624366 | 4540262 | 820 10700 | 54 | 0 1202.39/1202.86 c 1202s | 24 | 4632173 | 4547962 | 820 10715 | 54 | 0 1204.39/1204.86 c 1204s | 24 | 4639777 | 4555462 | 820 10730 | 54 | 0 1206.40/1206.86 c 1206s | 24 | 4647218 | 4562762 | 820 10745 | 54 | 0 1208.39/1208.88 c 1208s | 24 | 4654794 | 4570062 | 820 10759 | 54 | 0 1210.39/1210.88 c 1210s | 24 | 4661991 | 4577162 | 820 10773 | 54 | 0 1212.49/1212.90 c 1212s | 24 | 4669397 | 4584462 | 820 10788 | 54 | 0 1214.49/1214.92 c 1214s | 24 | 4676699 | 4591562 | 820 10802 | 54 | 0 1216.49/1216.92 c 1216s | 24 | 4684111 | 4598762 | 820 10816 | 54 | 0 1218.49/1218.94 c 1218s | 24 | 4691594 | 4606062 | 820 10830 | 54 | 0 1220.49/1220.94 c 1220s | 24 | 4698929 | 4613262 | 820 10845 | 54 | 0 1222.48/1222.97 c 1222s | 24 | 4706467 | 4620662 | 820 10859 | 54 | 0 1224.48/1224.98 c 1224s | 24 | 4714152 | 4628262 | 820 10874 | 54 | 0 1226.58/1227.00 c 1226s | 24 | 4721745 | 4635762 | 820 10889 | 54 | 0 1228.58/1229.02 c 1228s | 24 | 4729270 | 4643162 | 820 10904 | 54 | 0 1230.59/1231.02 c 1230s | 24 | 4736712 | 4650462 | 820 10918 | 54 | 0 1232.58/1233.04 c 1233s | 24 | 4744220 | 4657862 | 820 10933 | 54 | 0 1234.58/1235.04 c 1235s | 24 | 4751730 | 4665262 | 820 10947 | 54 | 0 1236.59/1237.05 c 1237s | 24 | 4759135 | 4672562 | 820 10962 | 54 | 0 1238.59/1239.08 c 1239s | 24 | 4766874 | 4680162 | 820 10977 | 54 | 0 1240.69/1241.10 c 1241s | 24 | 4774331 | 4687462 | 820 10991 | 54 | 0 1242.59/1243.10 c 1243s | 24 | 4781645 | 4694662 | 820 11006 | 54 | 0 1244.68/1245.12 c 1245s | 24 | 4788758 | 4701662 | 820 11020 | 54 | 0 1246.68/1247.14 c 1247s | 24 | 4796170 | 4708962 | 820 11034 | 54 | 0 1248.68/1249.15 c 1249s | 24 | 4803369 | 4716062 | 820 11048 | 54 | 0 1250.68/1251.16 c 1251s | 24 | 4810643 | 4723262 | 820 11062 | 54 | 0 1252.69/1253.18 c 1253s | 24 | 4818055 | 4730462 | 820 11077 | 54 | 0 1254.68/1255.18 c 1255s | 24 | 4825270 | 4737562 | 820 11091 | 54 | 0 1256.68/1257.19 c 1257s | 24 | 4832467 | 4744662 | 820 11105 | 54 | 0 1258.78/1259.20 c 1259s | 24 | 4839861 | 4751962 | 820 11119 | 54 | 0 1260.78/1261.21 c 1261s | 24 | 4847062 | 4759062 | 820 11133 | 54 | 0 1262.78/1263.21 c 1263s | 24 | 4855398 | 4767062 | 820 11149 | 54 | 0 1264.79/1265.21 c 1265s | 24 | 4863365 | 4774862 | 820 11165 | 54 | 0 1266.78/1267.23 c 1267s | 24 | 4871735 | 4783062 | 820 11181 | 54 | 0 1268.78/1269.25 c 1269s | 24 | 4880393 | 4791562 | 820 11197 | 54 | 0 1270.78/1271.25 c 1271s | 24 | 4888300 | 4799362 | 820 11213 | 54 | 0 1272.78/1273.26 c 1273s | 24 | 4896747 | 4807562 | 820 11229 | 54 | 0 1274.78/1275.28 c 1275s | 24 | 4905469 | 4816062 | 820 11245 | 54 | 0 1276.78/1277.30 c 1277s | 24 | 4913678 | 4824062 | 820 11261 | 54 | 0 1278.88/1279.30 c 1279s | 24 | 4921298 | 4831562 | 820 11276 | 54 | 0 1280.88/1281.33 c 1281s | 24 | 4928891 | 4839062 | 820 11291 | 54 | 0 1282.88/1283.33 c 1283s | 24 | 4936647 | 4846662 | 820 11306 | 54 | 0 1284.87/1285.34 c 1285s | 24 | 4944132 | 4854062 | 820 11320 | 54 | 0 1286.87/1287.37 c 1287s | 24 | 4952030 | 4861862 | 820 11336 | 54 | 0 1288.88/1289.38 c 1289s | 24 | 4959526 | 4869262 | 820 11350 | 54 | 0 1290.87/1291.39 c 1291s | 24 | 4967254 | 4876762 | 820 11365 | 54 | 0 1292.97/1293.40 c 1293s | 24 | 4975166 | 4884462 | 820 11380 | 54 | 0 1294.97/1295.41 c 1295s | 24 | 4982789 | 4891962 | 820 11395 | 54 | 0 1296.97/1297.44 c 1297s | 24 | 4990499 | 4899462 | 820 11410 | 54 | 0 1298.97/1299.46 c 1299s | 24 | 4998018 | 4906862 | 820 11424 | 54 | 0 1300.98/1301.47 c 1301s | 24 | 5005305 | 4913962 | 820 11438 | 54 | 0 1302.97/1303.48 c 1303s | 24 | 5012836 | 4921262 | 820 11453 | 54 | 0 1305.07/1305.51 c 1305s | 24 | 5020387 | 4928662 | 820 11467 | 54 | 0 1307.07/1307.53 c 1307s | 24 | 5027797 | 4935962 | 820 11482 | 54 | 0 1309.07/1309.54 c 1309s | 24 | 5034904 | 4942962 | 820 11496 | 54 | 0 1311.07/1311.56 c 1311s | 24 | 5041802 | 4949762 | 820 11509 | 54 | 0 1313.08/1313.59 c 1313s | 24 | 5048816 | 4956662 | 820 11523 | 54 | 0 1315.07/1315.59 c 1315s | 24 | 5056056 | 4963762 | 820 11537 | 54 | 0 1317.17/1317.62 c 1317s | 24 | 5063668 | 4971262 | 820 11551 | 54 | 0 1319.17/1319.64 c 1319s | 24 | 5070853 | 4978362 | 820 11565 | 54 | 0 1321.17/1321.64 c 1321s | 24 | 5078193 | 4985562 | 820 11580 | 54 | 0 1323.17/1323.65 c 1323s | 24 | 5085351 | 4992562 | 820 11593 | 54 | 0 1325.17/1325.66 c 1325s | 24 | 5092461 | 4999562 | 820 11607 | 54 | 0 1327.17/1327.67 c 1327s | 24 | 5099860 | 5006862 | 820 11622 | 54 | 0 1329.17/1329.68 c 1329s | 24 | 5107699 | 5014562 | 820 11637 | 54 | 0 1331.27/1331.71 c 1331s | 24 | 5115525 | 5022262 | 820 11652 | 54 | 0 1333.27/1333.72 c 1333s | 24 | 5123059 | 5029662 | 903 11666 | 54 | 0 1335.27/1335.73 c 1335s | 24 | 5129972 | 5036462 | 903 11679 | 54 | 0 1337.28/1337.74 c 1337s | 24 | 5137319 | 5043662 | 903 11692 | 54 | 0 1339.27/1339.75 c 1339s | 24 | 5144429 | 5050662 | 903 11705 | 54 | 0 1341.27/1341.77 c 1341s | 24 | 5152170 | 5058262 | 903 11718 | 54 | 0 1343.17/1343.68 c 1343s | 25 | 5159112 | 5065098 | 903 11731 | 54 | 0 1345.17/1345.69 c 1345s | 25 | 5166291 | 5071998 | 903 11743 | 54 | 0 1347.18/1347.70 c 1347s | 25 | 5173664 | 5079198 | 903 11756 | 54 | 0 1349.27/1349.71 c 1349s | 25 | 5181091 | 5086498 | 903 11770 | 54 | 0 1351.27/1351.71 c 1351s | 25 | 5188125 | 5093398 | 903 11782 | 54 | 0 1353.27/1353.73 c 1353s | 25 | 5195074 | 5100198 | 903 11795 | 54 | 0 1355.27/1355.75 c 1355s | 25 | 5201945 | 5106898 | 903 11807 | 54 | 0 1357.27/1357.75 c 1357s | 25 | 5208948 | 5113798 | 903 11819 | 54 | 0 1359.28/1359.76 c 1359s | 25 | 5215784 | 5120498 | 903 11832 | 54 | 0 1361.27/1361.79 c 1361s | 25 | 5222504 | 5127098 | 903 11844 | 54 | 0 1363.27/1363.79 c 1363s | 25 | 5229236 | 5133698 | 903 11856 | 54 | 0 1365.37/1365.80 c 1365s | 25 | 5236405 | 5140698 | 903 11868 | 54 | 0 1367.37/1367.83 c 1367s | 25 | 5243555 | 5147698 | 903 11881 | 54 | 0 1369.37/1369.84 c 1369s | 25 | 5250492 | 5154498 | 903 11894 | 54 | 0 1371.37/1371.85 c 1371s | 25 | 5257510 | 5161398 | 903 11906 | 54 | 0 1373.36/1373.88 c 1373s | 25 | 5264556 | 5168298 | 903 11919 | 54 | 0 1375.36/1375.88 c 1375s | 25 | 5271493 | 5175098 | 903 11931 | 54 | 0 1377.46/1377.90 c 1377s | 25 | 5278398 | 5181898 | 903 11944 | 54 | 0 1379.46/1379.91 c 1379s | 25 | 5285298 | 5188698 | 903 11956 | 54 | 0 1381.46/1381.94 c 1381s | 25 | 5292580 | 5195798 | 903 11969 | 54 | 0 1383.47/1383.95 c 1383s | 25 | 5299712 | 5202798 | 903 11982 | 54 | 0 1385.46/1385.97 c 1385s | 25 | 5307745 | 5210598 | 903 11996 | 54 | 0 1387.46/1387.97 c 1387s | 25 | 5315528 | 5218198 | 903 12010 | 54 | 0 1389.46/1389.98 c 1389s | 25 | 5322922 | 5225398 | 903 12023 | 54 | 0 1391.56/1392.00 c 1391s | 25 | 5330346 | 5232598 | 903 12036 | 54 | 0 1393.56/1394.02 c 1393s | 25 | 5337309 | 5239398 | 903 12048 | 54 | 0 1395.56/1396.03 c 1396s | 25 | 5344328 | 5246298 | 903 12061 | 54 | 0 1397.56/1398.04 c 1398s | 25 | 5351247 | 5253098 | 903 12073 | 54 | 0 1399.56/1400.05 c 1400s | 25 | 5358369 | 5260098 | 903 12086 | 54 | 0 1401.56/1402.05 c 1402s | 25 | 5365301 | 5266898 | 903 12098 | 54 | 0 1403.55/1404.08 c 1404s | 25 | 5372564 | 5273998 | 903 12111 | 54 | 0 1405.56/1406.09 c 1406s | 25 | 5379774 | 5281098 | 903 12124 | 54 | 0 1407.66/1408.11 c 1408s | 25 | 5387336 | 5288498 | 903 12138 | 54 | 0 1409.65/1410.12 c 1410s | 25 | 5394754 | 5295798 | 903 12151 | 54 | 0 1411.65/1412.13 c 1412s | 25 | 5401948 | 5302898 | 903 12164 | 54 | 0 1413.65/1414.14 c 1414s | 25 | 5409379 | 5310198 | 903 12177 | 54 | 0 1415.65/1416.15 c 1416s | 25 | 5416811 | 5317398 | 903 12190 | 54 | 0 1417.67/1418.17 c 1418s | 25 | 5423754 | 5324198 | 903 12203 | 54 | 0 1419.66/1420.18 c 1420s | 25 | 5430626 | 5330998 | 903 12215 | 54 | 0 1421.66/1422.19 c 1422s | 25 | 5437704 | 5337998 | 903 12228 | 54 | 0 1423.76/1424.21 c 1424s | 25 | 5444833 | 5344998 | 903 12241 | 54 | 0 1425.76/1426.21 c 1426s | 25 | 5452558 | 5352498 | 903 12254 | 54 | 0 1427.76/1428.21 c 1428s | 25 | 5460934 | 5360698 | 903 12269 | 54 | 0 1429.76/1430.23 c 1430s | 25 | 5469027 | 5368598 | 903 12284 | 54 | 0 1431.76/1432.24 c 1432s | 25 | 5476848 | 5376298 | 903 12298 | 54 | 0 1433.76/1434.26 c 1434s | 25 | 5484671 | 5383998 | 903 12312 | 54 | 0 1435.76/1436.29 c 1436s | 25 | 5492288 | 5391498 | 903 12325 | 54 | 0 1437.76/1438.30 c 1438s | 25 | 5499876 | 5398998 | 903 12339 | 54 | 0 1439.86/1440.31 c 1440s | 25 | 5507736 | 5406698 | 903 12353 | 54 | 0 1441.86/1442.34 c 1442s | 25 | 5515343 | 5414198 | 903 12366 | 54 | 0 1443.85/1444.36 c 1444s | 25 | 5523180 | 5421898 | 903 12380 | 54 | 0 1445.85/1446.37 c 1446s | 25 | 5530767 | 5429398 | 903 12394 | 54 | 0 1447.85/1448.39 c 1448s | 25 | 5538385 | 5436898 | 903 12408 | 54 | 0 1449.95/1450.40 c 1450s | 25 | 5546100 | 5444498 | 903 12421 | 54 | 0 1451.95/1452.42 c 1452s | 25 | 5554047 | 5452298 | 903 12436 | 54 | 0 1453.96/1454.43 c 1454s | 25 | 5562542 | 5460498 | 903 12450 | 54 | 0 1455.95/1456.44 c 1456s | 25 | 5571034 | 5468798 | 903 12466 | 54 | 0 1457.95/1458.45 c 1458s | 25 | 5578982 | 5476598 | 903 12480 | 54 | 0 1459.95/1460.46 c 1460s | 25 | 5586565 | 5483998 | 903 12493 | 54 | 0 1461.95/1462.47 c 1462s | 25 | 5594061 | 5491298 | 903 12506 | 54 | 0 1463.95/1464.49 c 1464s | 25 | 5601524 | 5498598 | 903 12520 | 54 | 0 1466.06/1466.51 c 1466s | 25 | 5609074 | 5505998 | 903 12533 | 54 | 0 1468.05/1468.51 c 1468s | 25 | 5616990 | 5513698 | 903 12547 | 54 | 0 1470.05/1470.51 c 1470s | 25 | 5624078 | 5520598 | 903 12560 | 54 | 0 1472.05/1472.52 c 1472s | 25 | 5630834 | 5527198 | 903 12572 | 54 | 0 1474.05/1474.53 c 1474s | 25 | 5637885 | 5534098 | 903 12584 | 54 | 0 1476.05/1476.55 c 1476s | 25 | 5644724 | 5540798 | 903 12596 | 54 | 0 1478.05/1478.55 c 1478s | 25 | 5651770 | 5547698 | 903 12609 | 54 | 0 1480.05/1480.58 c 1480s | 25 | 5658764 | 5554598 | 903 12622 | 54 | 0 1482.04/1482.59 c 1482s | 25 | 5665670 | 5561398 | 903 12634 | 54 | 0 1484.14/1484.62 c 1484s | 25 | 5672767 | 5568398 | 903 12647 | 54 | 0 1486.14/1486.63 c 1486s | 25 | 5680194 | 5575698 | 903 12660 | 54 | 0 1488.14/1488.65 c 1488s | 25 | 5687850 | 5583198 | 903 12674 | 54 | 0 1490.15/1490.65 c 1490s | 25 | 5695265 | 5590398 | 903 12687 | 54 | 0 1492.14/1492.66 c 1492s | 25 | 5702511 | 5597498 | 903 12700 | 54 | 0 1494.14/1494.67 c 1494s | 25 | 5710204 | 5605098 | 903 12714 | 54 | 0 1496.24/1496.70 c 1496s | 25 | 5717387 | 5612198 | 903 12727 | 54 | 0 1498.24/1498.73 c 1498s | 25 | 5724832 | 5619498 | 903 12740 | 54 | 0 1500.24/1500.75 c 1500s | 25 | 5732007 | 5626598 | 903 12753 | 54 | 0 1502.25/1502.76 c 1502s | 25 | 5739343 | 5633798 | 903 12766 | 54 | 0 1504.25/1504.79 c 1504s | 25 | 5746733 | 5640998 | 903 12779 | 54 | 0 1506.25/1506.80 c 1506s | 25 | 5754052 | 5648198 | 903 12792 | 54 | 0 1508.35/1508.80 c 1508s | 25 | 5761439 | 5655498 | 903 12806 | 54 | 0 1510.35/1510.81 c 1510s | 25 | 5768762 | 5662698 | 903 12819 | 54 | 0 1512.35/1512.83 c 1512s | 25 | 5775859 | 5669698 | 903 12831 | 54 | 0 1514.35/1514.85 c 1514s | 25 | 5782953 | 5676698 | 903 12844 | 54 | 0 1516.34/1516.86 c 1516s | 25 | 5789929 | 5683498 | 903 12857 | 54 | 0 1518.34/1518.89 c 1518s | 25 | 5796992 | 5690398 | 903 12869 | 54 | 0 1520.34/1520.89 c 1520s | 25 | 5804655 | 5697798 | 903 12883 | 54 | 0 1522.44/1522.90 c 1522s | 25 | 5812356 | 5705298 | 903 12896 | 54 | 0 1524.44/1524.93 c 1524s | 25 | 5819558 | 5712298 | 903 12909 | 54 | 0 1526.45/1526.94 c 1526s | 25 | 5826535 | 5719098 | 903 12921 | 54 | 0 1528.44/1528.95 c 1528s | 25 | 5833468 | 5725898 | 903 12934 | 54 | 0 1530.44/1530.97 c 1530s | 25 | 5840825 | 5733098 | 903 12947 | 54 | 0 1532.44/1532.98 c 1532s | 25 | 5847710 | 5739798 | 903 12959 | 54 | 0 1534.44/1534.98 c 1534s | 25 | 5855068 | 5746898 | 903 12972 | 54 | 0 1536.44/1536.99 c 1536s | 25 | 5862233 | 5753898 | 903 12985 | 54 | 0 1538.54/1539.01 c 1538s | 25 | 5869190 | 5760698 | 903 12997 | 54 | 0 1540.53/1541.03 c 1541s | 25 | 5876047 | 5767398 | 903 13010 | 54 | 0 1542.53/1543.04 c 1543s | 25 | 5882856 | 5774098 | 903 13022 | 54 | 0 1544.53/1545.04 c 1545s | 25 | 5889691 | 5780798 | 903 13034 | 54 | 0 1546.53/1547.07 c 1547s | 25 | 5896693 | 5787598 | 903 13047 | 54 | 0 1548.54/1549.08 c 1549s | 25 | 5903926 | 5794598 | 903 13059 | 54 | 0 1550.53/1551.09 c 1551s | 25 | 5910774 | 5801298 | 903 13072 | 54 | 0 1552.53/1553.09 c 1553s | 25 | 5917807 | 5808098 | 903 13084 | 54 | 0 1554.63/1555.12 c 1555s | 25 | 5924886 | 5814998 | 903 13097 | 54 | 0 1556.63/1557.14 c 1557s | 25 | 5932125 | 5822098 | 903 13110 | 54 | 0 1558.63/1559.16 c 1559s | 25 | 5939460 | 5829298 | 903 13123 | 54 | 0 1560.64/1561.17 c 1561s | 25 | 5946489 | 5836198 | 903 13135 | 54 | 0 1562.63/1563.18 c 1563s | 25 | 5954018 | 5843498 | 903 13149 | 54 | 0 1564.63/1565.18 c 1565s | 25 | 5961314 | 5850698 | 903 13162 | 54 | 0 1566.73/1567.20 c 1567s | 25 | 5968576 | 5857798 | 903 13175 | 54 | 0 1568.73/1569.21 c 1569s | 25 | 5976180 | 5865198 | 903 13188 | 54 | 0 1570.74/1571.23 c 1571s | 25 | 5983806 | 5872698 | 903 13202 | 54 | 0 1572.74/1573.24 c 1573s | 25 | 5990959 | 5879798 | 903 13215 | 54 | 0 1574.74/1575.25 c 1575s | 25 | 5997971 | 5886698 | 903 13227 | 54 | 0 1576.74/1577.25 c 1577s | 25 | 6005095 | 5893698 | 903 13240 | 54 | 0 1578.73/1579.26 c 1579s | 25 | 6012182 | 5900698 | 903 13253 | 54 | 0 1580.73/1581.28 c 1581s | 25 | 6019286 | 5907698 | 903 13265 | 54 | 0 1582.73/1583.28 c 1583s | 25 | 6026069 | 5914398 | 903 13278 | 54 | 0 1584.74/1585.29 c 1585s | 25 | 6033050 | 5921298 | 903 13290 | 54 | 0 1586.83/1587.31 c 1587s | 25 | 6039957 | 5928098 | 903 13303 | 54 | 0 1588.83/1589.33 c 1589s | 25 | 6047293 | 5935298 | 903 13316 | 54 | 0 1590.83/1591.34 c 1591s | 25 | 6055027 | 5942898 | 903 13330 | 54 | 0 1592.83/1593.34 c 1593s | 25 | 6062343 | 5950098 | 903 13343 | 54 | 0 1594.83/1595.34 c 1595s | 25 | 6069351 | 5956998 | 903 13355 | 54 | 0 1596.84/1597.37 c 1597s | 25 | 6076134 | 5963698 | 903 13368 | 54 | 0 1598.83/1599.39 c 1599s | 25 | 6082984 | 5970398 | 903 13380 | 54 | 0 1600.83/1601.39 c 1601s | 25 | 6090021 | 5977298 | 903 13393 | 54 | 0 1602.93/1603.40 c 1603s | 25 | 6097853 | 5984898 | 903 13406 | 54 | 0 1604.92/1605.41 c 1605s | 25 | 6104984 | 5991798 | 903 13419 | 54 | 0 1606.92/1607.44 c 1607s | 25 | 6112127 | 5998698 | 903 13432 | 54 | 0 1608.93/1609.46 c 1609s | 25 | 6118976 | 6005398 | 903 13444 | 54 | 0 1610.92/1611.48 c 1611s | 25 | 6126086 | 6012398 | 903 13457 | 54 | 0 1612.92/1613.49 c 1613s | 25 | 6133368 | 6019498 | 903 13470 | 54 | 0 1615.03/1615.50 c 1615s | 25 | 6140712 | 6026698 | 903 13483 | 54 | 0 1617.03/1617.52 c 1617s | 25 | 6148436 | 6034198 | 903 13496 | 54 | 0 1619.03/1619.55 c 1619s | 25 | 6156105 | 6041698 | 903 13510 | 54 | 0 1621.04/1621.57 c 1621s | 25 | 6163483 | 6048898 | 903 13523 | 54 | 0 1623.03/1623.58 c 1623s | 25 | 6171044 | 6056298 | 903 13537 | 54 | 0 1625.03/1625.58 c 1625s | 25 | 6178301 | 6063398 | 903 13550 | 54 | 0 1627.03/1627.59 c 1627s | 25 | 6185556 | 6070498 | 903 13563 | 54 | 0 1629.13/1629.60 c 1629s | 25 | 6193010 | 6077798 | 903 13576 | 54 | 0 1631.13/1631.61 c 1631s | 25 | 6200089 | 6084698 | 903 13588 | 54 | 0 1633.13/1633.63 c 1633s | 25 | 6207274 | 6091698 | 903 13601 | 54 | 0 1635.13/1635.63 c 1635s | 25 | 6214610 | 6098898 | 903 13614 | 54 | 0 1637.13/1637.64 c 1637s | 25 | 6221858 | 6105998 | 903 13627 | 54 | 0 1639.12/1639.64 c 1639s | 25 | 6229728 | 6113598 | 903 13641 | 54 | 0 1641.12/1641.66 c 1641s | 25 | 6237380 | 6120998 | 903 13655 | 54 | 0 1643.13/1643.66 c 1643s | 25 | 6244702 | 6128198 | 903 13668 | 54 | 0 1645.12/1645.67 c 1645s | 25 | 6252425 | 6135698 | 903 13682 | 54 | 0 1647.12/1647.69 c 1647s | 25 | 6259972 | 6142998 | 903 13695 | 54 | 0 1649.22/1649.70 c 1649s | 25 | 6267433 | 6150298 | 903 13708 | 54 | 0 1651.22/1651.71 c 1651s | 25 | 6274780 | 6157498 | 903 13722 | 54 | 0 1653.22/1653.73 c 1653s | 25 | 6282438 | 6164998 | 903 13735 | 54 | 0 1655.23/1655.75 c 1655s | 25 | 6289539 | 6171998 | 903 13748 | 54 | 0 1657.22/1657.78 c 1657s | 25 | 6296535 | 6178898 | 903 13761 | 54 | 0 1659.22/1659.80 c 1659s | 25 | 6303537 | 6185798 | 903 13773 | 54 | 0 1661.32/1661.83 c 1661s | 25 | 6310860 | 6192998 | 903 13787 | 54 | 0 1663.32/1663.85 c 1663s | 25 | 6317935 | 6199898 | 903 13799 | 54 | 0 1665.32/1665.87 c 1665s | 25 | 6324991 | 6206798 | 903 13812 | 54 | 0 1667.33/1667.89 c 1667s | 25 | 6332190 | 6213898 | 903 13825 | 54 | 0 1669.43/1669.92 c 1669s | 25 | 6339081 | 6220698 | 903 13837 | 54 | 0 1671.42/1671.93 c 1671s | 25 | 6345810 | 6227298 | 903 13849 | 54 | 0 1673.42/1673.96 c 1673s | 25 | 6353048 | 6234398 | 903 13862 | 54 | 0 1675.42/1675.99 c 1675s | 25 | 6360033 | 6241298 | 903 13875 | 54 | 0 1677.42/1677.99 c 1677s | 25 | 6366999 | 6248198 | 903 13887 | 54 | 0 1679.52/1680.01 c 1679s | 25 | 6374391 | 6255498 | 903 13901 | 54 | 0 1681.52/1682.04 c 1682s | 25 | 6381741 | 6262798 | 903 13914 | 54 | 0 1683.51/1684.04 c 1684s | 25 | 6389217 | 6270198 | 903 13927 | 54 | 0 1685.51/1686.06 c 1686s | 25 | 6396665 | 6277498 | 903 13941 | 54 | 0 1687.51/1688.07 c 1688s | 25 | 6404104 | 6284798 | 903 13954 | 54 | 0 1689.61/1690.10 c 1690s | 25 | 6411400 | 6291998 | 903 13967 | 54 | 0 1691.61/1692.11 c 1692s | 25 | 6418502 | 6298998 | 903 13980 | 54 | 0 1693.62/1694.12 c 1694s | 25 | 6425591 | 6305998 | 903 13993 | 54 | 0 1695.61/1696.13 c 1696s | 25 | 6432284 | 6312598 | 903 14005 | 54 | 0 1697.61/1698.13 c 1698s | 25 | 6439175 | 6319398 | 903 14017 | 54 | 0 1699.61/1700.14 c 1700s | 25 | 6446068 | 6326198 | 903 14029 | 54 | 0 1701.61/1702.17 c 1702s | 25 | 6453168 | 6333198 | 903 14042 | 54 | 0 1703.62/1704.17 c 1704s | 25 | 6460131 | 6340098 | 903 14055 | 54 | 0 1705.61/1706.19 c 1706s | 25 | 6467085 | 6346998 | 903 14067 | 54 | 0 1707.71/1708.20 c 1708s | 25 | 6474095 | 6353898 | 903 14080 | 54 | 0 1709.71/1710.22 c 1710s | 25 | 6481074 | 6360798 | 903 14093 | 54 | 0 1711.71/1712.24 c 1712s | 25 | 6488138 | 6367798 | 903 14105 | 54 | 0 1713.71/1714.25 c 1714s | 25 | 6495099 | 6374698 | 903 14118 | 54 | 0 1715.71/1716.28 c 1716s | 25 | 6502267 | 6381798 | 903 14131 | 54 | 0 1717.71/1718.30 c 1718s | 25 | 6509386 | 6388798 | 903 14144 | 54 | 0 1719.81/1720.33 c 1720s | 25 | 6516401 | 6395698 | 903 14156 | 54 | 0 1721.81/1722.35 c 1722s | 25 | 6523896 | 6403098 | 903 14170 | 54 | 0 1723.81/1724.37 c 1724s | 25 | 6531203 | 6410298 | 903 14183 | 54 | 0 1725.80/1726.38 c 1726s | 25 | 6538408 | 6417398 | 903 14196 | 54 | 0 1727.90/1728.40 c 1728s | 25 | 6545531 | 6424398 | 903 14209 | 54 | 0 1729.91/1730.43 c 1730s | 25 | 6552626 | 6431398 | 903 14221 | 54 | 0 1731.90/1732.44 c 1732s | 25 | 6559672 | 6438298 | 903 14234 | 54 | 0 1733.90/1734.46 c 1734s | 25 | 6567251 | 6445598 | 903 14247 | 54 | 0 1735.90/1736.47 c 1736s | 25 | 6574380 | 6452598 | 903 14260 | 54 | 0 1737.91/1738.48 c 1738s | 25 | 6581375 | 6459498 | 903 14272 | 54 | 0 1739.92/1740.49 c 1740s | 25 | 6588381 | 6466398 | 903 14285 | 54 | 0 1741.91/1742.50 c 1742s | 25 | 6595501 | 6473398 | 903 14298 | 54 | 0 1744.01/1744.51 c 1744s | 25 | 6602725 | 6480498 | 903 14311 | 54 | 0 1746.01/1746.52 c 1746s | 25 | 6609837 | 6487498 | 903 14324 | 54 | 0 1748.01/1748.55 c 1748s | 25 | 6616939 | 6494498 | 903 14336 | 54 | 0 1750.01/1750.56 c 1750s | 25 | 6624011 | 6501498 | 903 14349 | 54 | 0 1752.02/1752.59 c 1752s | 25 | 6631096 | 6508498 | 903 14362 | 54 | 0 1754.12/1754.61 c 1754s | 25 | 6638259 | 6515498 | 903 14375 | 54 | 0 1756.11/1756.62 c 1756s | 25 | 6645676 | 6522698 | 903 14388 | 54 | 0 1758.11/1758.63 c 1758s | 25 | 6652393 | 6529298 | 903 14400 | 54 | 0 1760.11/1760.63 c 1760s | 25 | 6659468 | 6536198 | 903 14412 | 54 | 0 1762.11/1762.63 c 1762s | 25 | 6666369 | 6542998 | 903 14425 | 54 | 0 1764.11/1764.65 c 1764s | 25 | 6673470 | 6549998 | 903 14438 | 54 | 0 1766.10/1766.67 c 1766s | 25 | 6680435 | 6556898 | 903 14450 | 54 | 0 1768.10/1768.68 c 1768s | 25 | 6687188 | 6563598 | 903 14462 | 54 | 0 1770.20/1770.70 c 1770s | 25 | 6694129 | 6570398 | 903 14475 | 54 | 0 1772.20/1772.73 c 1772s | 25 | 6701103 | 6577198 | 903 14487 | 54 | 0 1774.20/1774.75 c 1774s | 25 | 6708182 | 6584098 | 903 14500 | 54 | 0 1776.21/1776.78 c 1776s | 25 | 6715109 | 6590898 | 903 14512 | 54 | 0 1778.20/1778.79 c 1778s | 25 | 6722030 | 6597698 | 903 14525 | 54 | 0 1780.30/1780.80 c 1780s | 25 | 6728826 | 6604298 | 903 14537 | 54 | 0 1782.30/1782.82 c 1782s | 25 | 6735818 | 6611198 | 903 14549 | 54 | 0 1784.30/1784.83 c 1784s | 25 | 6742960 | 6618198 | 903 14562 | 54 | 0 1786.30/1786.85 c 1786s | 25 | 6750169 | 6625198 | 903 14575 | 54 | 0 1788.31/1788.88 c 1788s | 25 | 6757483 | 6632298 | 903 14588 | 54 | 0 1790.30/1790.88 c 1790s | 25 | 6764451 | 6639098 | 903 14600 | 54 | 0 1792.40/1792.90 c 1792s | 25 | 6771157 | 6645698 | 903 14613 | 54 | 0 1794.40/1794.92 c 1794s | 25 | 6778845 | 6653198 | 903 14626 | 54 | 0 1796.40/1796.92 c 1796s | 25 | 6786094 | 6660298 | 903 14639 | 54 | 0 1798.40/1798.93 c 1798s | 25 | 6793148 | 6667198 | 903 14652 | 54 | 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-4101721-1466226128/watcher-4101721-1466226128 -o /tmp/evaluation-result-4101721-1466226128/solver-4101721-1466226128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101721-1466226128.opb pid=1956 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.22 2.18 2.18 4/179 1959 /proc/meminfo: memFree=29483440/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/1959/stat : 1959 (runsolver) D 1956 1959 31224 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 24659297 24911872 151 33554432000 4194304 4338465 140736498875312 140736498872952 252263091383 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0 /proc/1959/statm: 6082 151 105 36 0 2655 0 [startup+0.100148 s] /proc/loadavg: 2.22 2.18 2.18 4/179 1959 /proc/meminfo: memFree=29483440/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 18978 0 0 0 5 3 0 0 20 0 4 0 24659297 1247350784 19836 33554432000 4194304 16246674 140733395428480 140733395427904 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 304529 19842 780 2943 0 301423 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200389 s] /proc/loadavg: 2.22 2.18 2.18 4/179 1959 /proc/meminfo: memFree=29483440/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 35565 0 0 0 13 5 0 0 20 0 4 0 24659297 1247350784 36424 33554432000 4194304 16246674 140733395428480 140733395427904 6843278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 304529 36430 780 2943 0 301423 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.30038 s] /proc/loadavg: 2.22 2.18 2.18 4/179 1959 /proc/meminfo: memFree=29483440/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 52291 0 0 0 21 7 0 0 20 0 4 0 24659297 1247350784 53149 33554432000 4194304 16246674 140733395428480 140733395427904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 304529 53164 780 2943 0 301423 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700307 s] /proc/loadavg: 2.22 2.18 2.18 4/179 1959 /proc/meminfo: memFree=29483440/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 121574 0 0 0 50 18 0 0 20 0 4 0 24659297 1247350784 122432 33554432000 4194304 16246674 140733395428480 140733395427904 5721660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 304529 122444 780 2943 0 301423 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.22 2.18 2.18 3/183 1963 /proc/meminfo: memFree=28649968/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 245822 0 0 0 113 36 0 0 20 0 4 0 24659297 1248399360 246658 33554432000 4194304 16246674 140733395428480 140733395427792 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 304785 246658 843 2943 0 301679 0 [pid=1959/tid=1961] ppid=1956 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1248399360 246658 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1248399360 246658 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1248399360 246658 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10042 s] /proc/loadavg: 2.20 2.18 2.18 3/183 1963 /proc/meminfo: memFree=28412012/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267531 0 0 0 270 39 0 0 20 0 4 0 24659297 1337528320 268367 33554432000 4194304 16246674 140733395428480 140733395410368 5754966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326545 268367 843 2943 0 323439 0 [pid=1959/tid=1961] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268367 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268367 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268367 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.20 2.18 2.18 3/183 1963 /proc/meminfo: memFree=28410848/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267624 0 0 0 590 39 0 0 20 0 4 0 24659297 1337528320 268460 33554432000 4194304 16246674 140733395428480 140733395410368 5724527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326545 268460 843 2943 0 323439 0 [pid=1959/tid=1961] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268460 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268460 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268460 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.17 2.17 2.18 3/183 1963 /proc/meminfo: memFree=28410276/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267632 0 0 0 1229 39 0 0 20 0 4 0 24659297 1337528320 268468 33554432000 4194304 16246674 140733395428480 140733395411480 5600712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326545 268468 845 2943 0 323439 0 [pid=1959/tid=1961] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268468 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268468 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268468 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5074 s] /proc/loadavg: 2.22 2.18 2.18 4/183 1963 /proc/meminfo: memFree=28410888/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267633 0 0 0 2510 39 0 0 20 0 4 0 24659297 1337528320 268469 33554432000 4194304 16246674 140733395428480 140733395410368 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326545 268469 845 2943 0 323439 0 [pid=1959/tid=1961] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268469 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268469 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1337528320 268469 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 2.20 2.18 2.18 4/183 1963 /proc/meminfo: memFree=28410468/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1307204 CPUtime=51.07 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267675 0 0 0 5068 39 0 0 20 0 4 0 24659297 1338576896 268511 33554432000 4194304 16246674 140733395428480 140733395411480 6021016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326801 268511 845 2943 0 323695 0 [pid=1959/tid=1961] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268511 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268511 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268511 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.14 2.17 2.17 3/183 1964 /proc/meminfo: memFree=28409988/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1307204 CPUtime=102.27 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267677 0 0 0 10187 40 0 0 20 0 4 0 24659297 1338576896 268513 33554432000 4194304 16246674 140733395428480 140733395411480 12477787 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326801 268513 846 2943 0 323695 0 [pid=1959/tid=1961] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268513 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268513 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268513 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1307204 [startup+162.3 s] /proc/loadavg: 2.16 2.16 2.17 4/183 1965 /proc/meminfo: memFree=28409420/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1307204 CPUtime=162.26 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267761 0 0 0 16186 40 0 0 20 0 4 0 24659297 1338576896 268597 33554432000 4194304 16246674 140733395428480 140733395410368 13760120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326801 268597 846 2943 0 323695 0 [pid=1959/tid=1961] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268597 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268597 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268597 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1307204 [startup+222.3 s] /proc/loadavg: 2.16 2.16 2.17 3/183 1966 /proc/meminfo: memFree=28408964/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1307204 CPUtime=222.26 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 267776 0 0 0 22185 41 0 0 20 0 4 0 24659297 1338576896 268612 33554432000 4194304 16246674 140733395428480 140733395411480 6013104 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 326801 268612 846 2943 0 323695 0 [pid=1959/tid=1961] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268612 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268612 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1338576896 268612 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268881 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1308228 [startup+1302.3 s] /proc/loadavg: 2.26 2.19 2.17 3/183 2043 /proc/meminfo: memFree=26567696/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1301.87 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268458 0 0 0 130133 54 0 0 20 0 4 0 24659297 1339625472 268883 33554432000 4194304 16246674 140733395428480 140733395410368 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268883 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.24 2.20 2.17 3/183 2044 /proc/meminfo: memFree=26567596/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1361.87 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268458 0 0 0 136132 55 0 0 20 0 4 0 24659297 1339625472 268883 33554432000 4194304 16246674 140733395428480 140733395410368 5722912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268883 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268883 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.15 2.18 2.17 3/183 2045 /proc/meminfo: memFree=26567508/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1421.86 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 142130 56 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395410368 5823459 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.15 2.17 2.17 3/183 2046 /proc/meminfo: memFree=26567340/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1481.84 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 148128 56 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395411480 13006860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1308228 [startup+1542.3 s] /proc/loadavg: 2.11 2.15 2.16 3/183 2048 /proc/meminfo: memFree=26566872/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1541.84 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 154127 57 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395411480 5601264 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.12 2.15 2.16 3/183 2049 /proc/meminfo: memFree=26567044/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1601.83 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 160125 58 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395410368 5545788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1308228 [startup+1662.31 s] /proc/loadavg: 2.22 2.16 2.16 3/183 2050 /proc/meminfo: memFree=26567152/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1661.83 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 166124 59 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395427656 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.14 2.15 2.16 3/184 2054 /proc/meminfo: memFree=26567064/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1721.81 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 172122 59 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395410368 5861860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.24 2.16 2.16 3/183 2055 /proc/meminfo: memFree=26566744/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1308228 CPUtime=1781.8 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268555 0 0 0 178120 60 0 0 20 0 4 0 24659297 1339625472 268980 33554432000 4194304 16246674 140733395428480 140733395411480 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327057 268980 847 2943 0 323951 0 [pid=1959/tid=1961] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1339625472 268980 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.33 2.19 2.17 3/183 2055 /proc/meminfo: memFree=26566588/32872528 swapFree=1200228/1314692 [pid=1959] ppid=1956 vsize=1309252 CPUtime=1800 cores=1,3,5,7 /proc/1959/stat : 1959 (toysat) R 1956 1959 31224 0 -1 4202496 268602 0 0 0 179940 60 0 0 20 0 4 0 24659297 1340674048 269027 33554432000 4194304 16246674 140733395428480 140733395411480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1959/statm: 327313 269027 847 2943 0 324207 0 [pid=1959/tid=1961] ppid=1956 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1961/stat : 1961 (toysat) S 1956 1959 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24659298 1340674048 269027 33554432000 4194304 16246674 140733395428480 140658996129008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0 [pid=1959/tid=1962] ppid=1956 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1962/stat : 1962 (toysat) S 1956 1959 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24659298 1340674048 269027 33554432000 4194304 16246674 140733395428480 140658985639152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1959/tid=1963] ppid=1956 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1959/task/1963/stat : 1963 (toysat) S 1956 1959 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24659298 1340674048 269027 33554432000 4194304 16246674 140733395428480 140658903870640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1309252 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 1959 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.41 CPU system time (s): 0.605907 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.605907 maximum resident set size= 1076108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268602 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= 427 involuntary context switches= 1878 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53931 second user time and 7.06792 second system time The end
Begin job on node131 at 2016-06-18 07:02:08 IDJOB=4101721 IDBENCH=1786 IDSOLVER=2542 FILE ID=node131/4101721-1466226128 RUNJOBID= node131-1466206062-31241 PBS_JOBID= 19918146 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101721-1466226128/watcher-4101721-1466226128 -o /tmp/evaluation-result-4101721-1466226128/solver-4101721-1466226128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101721-1466226128.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a8d1e3e59dfd2cd811494ddb4a3c92a RANDOM SEED=333385101 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29483960 kB Buffers: 115532 kB Cached: 132388 kB SwapCached: 1508 kB Active: 1185468 kB Inactive: 152744 kB Active(anon): 1089968 kB Inactive(anon): 2684 kB Active(file): 95500 kB Inactive(file): 150060 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099856 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2404276 kB Mapped: 10808 kB Shmem: 0 kB Slab: 601096 kB SReclaimable: 45224 kB SUnreclaim: 555872 kB KernelStack: 1488 kB PageTables: 8912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2545052 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 686080 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= 71608 MiB End job on node131 at 2016-06-18 07:32:08