| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb |
| MD5SUM | 97878ca4fcd9ab35d2b8b5c51c254217 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.011997 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 341 |
| Total number of constraints | 340 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 340 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-30T20:59:39+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-4121002-1467313178.opb"] 0.00/0.01 c use --random-gen="43402540 2780334119 3342893898 893600045 1158642387 2989463356 82812081 758816217 2559128963 4089348303 38809399 1580791141 3939994499 2087899693 4105788073 4201195663 2085989844 53149707 3448938973 982715799 1558200944 1628690452 361183748 75258607 2513381461 371610385 27293882 241835844 928170559 3327415522 237938826 2054607931 3222611695 870300835 813741361 1981871617 2718190056 714808383 2964158084 3052119406 3460996619 1368838129 3764870005 2395639449 3863912023 2587786923 2390874265 3210651837 1716252498 3675481444 1382719943 3841780960 3599175268 2296844884 3210780364 2677404112 339074412 3292806559 3496708152 1875124876 228339300 377702687 676135416 770595577 1415661492 2045318013 1476488612 3411395233 2185402090 604127072 3078402589 2389556016 61699843 1844132431 3784125981 4028773236 4230964166 2891655308 1317797099 2484987455 1982296679 4066870743 1117047145 1715428006 3979150739 1522424658 225847681 3627086600 2305741893 1219029546 2485128374 1193427190 3887485209 89209856 2843749873 4077378022 413987109 1789678655 543398655 352672423 2431370417 3151539146 2818381942 192504922 2523083731 3464178025 368668215 2339287630 3616465936 3425091203 1789120960 1457433188 3791029082 2272263429 4207839711 154203718 1348987776 3229950955 377236348 339260147 1579177162 4079883748 1108031180 2522884253 1368284128 1310372680 443381095 3869751693 1161937141 2043538975 4125280417 401763996 934985019 1027798107 2535494958 3678099973 3413777748 3560658936 2814915346 2615968710 1910509290 2273550936 3483092280 2730391591 734923993 1538739140 4009469365 2880554181 3098209241 2437954455 505692056 2926600443 4018576013 4254671302 466022971 2582214040 3373967462 2970037181 897277617 2171144989 866588609 1708736060 381127886 674748996 2654175257 3617846897 2039006966 1018113887 1951577137 98032843 4044336346 2602326633 2922161972 438971824 851687812 1931276468 2211044279 3519776375 1772339195 2290344278 302767738 811080734 340780303 1365513501 1926535687 2678283700 1644277733 4165461357 2484976647 3920612812 3030306623 374893732 336868769 2343491292 2759166628 2182406859 4228171824 2288287906 3308291469 3284676750 3929157193 1409388653 1279317364 2232311681 1263113039 2129532755 3338371400 2783662621 4255734418 3865519018 3411324087 484425294 3153182590 1197073788 3694491738 2849754799 3827515663 1043391669 374084647 3081097405 3356077905 3576122907 360317570 2271525229 3547886815 1789334877 286775964 432916276 1027521729 2762958698 1258318306 1139155819 3834488443 167157055 147297407 1166408929 2209696171 2269254980 2158193668 1427463793 1243186907 4025466868 324424306 586791172 1778643843 3107201402 1422741181 1433540598 3145807087 1910087154 1420949171 1794503689 698448665 2881693620 1169055754 919696730 255 362436" option to reproduce the execution 0.00/0.02 c #vars 341 0.00/0.02 c #constraints 340 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 | 227 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 233 | 100 | 227 0 | 0 | 0 0.00/0.05 c 0.0s | 2 | 545 | 250 | 250 0 | 0 | 0 0.00/0.08 c 0.1s | 3 | 1008 | 475 | 275 0 | 0 | 0 0.08/0.13 c 0.1s | 4 | 1934 | 813 | 303 3 | 0 | 0 0.08/0.20 c 0.2s | 5 | 2756 | 1320 | 334 4 | 0 | 0 0.18/0.29 c 0.3s | 6 | 4083 | 2081 | 405 7 | 0 | 0 0.37/0.44 c 0.4s | 7 | 5930 | 3223 | 446 11 | 0 | 0 0.58/0.67 c 0.6s | 8 | 9560 | 4936 | 491 17 | 0 | 0 0.98/1.01 c 1.0s | 9 | 14244 | 7506 | 541 25 | 0 | 0 1.28/1.37 c 1.4s | 10 | 20714 | 11361 | 596 38 | 0 | 0 1.88/1.93 c 1.9s | 11 | 29449 | 17144 | 656 53 | 0 | 0 2.68/2.77 c 2.7s | 12 | 41364 | 25819 | 722 73 | 0 | 0 3.98/4.00 c 4.0s | 13 | 57908 | 38832 | 795 100 | 0 | 0 5.88/5.95 c 5.9s | 14 | 85308 | 58352 | 875 140 | 0 | 0 7.88/7.95 c 7.9s | 14 | 112300 | 78252 | 875 177 | 0 | 0 8.88/8.99 c 9.0s | 15 | 124144 | 87632 | 963 194 | 0 | 0 10.87/11.00 c 11.0s | 15 | 153937 | 109232 | 963 238 | 0 | 0 12.97/13.00 c 13.0s | 15 | 179615 | 128732 | 963 272 | 0 | 0 13.18/13.29 c 13.3s | 16 | 183431 | 131552 | 1060 277 | 0 | 0 15.18/15.29 c 15.3s | 16 | 208880 | 150952 | 1060 307 | 0 | 0 17.28/17.30 c 17.3s | 16 | 235888 | 171152 | 1060 339 | 0 | 0 19.28/19.30 c 19.3s | 16 | 260335 | 190252 | 1060 370 | 0 | 0 19.98/20.06 c 20.0s | 17 | 269485 | 197432 | 1166 381 | 0 | 0 21.98/22.06 c 22.0s | 17 | 290157 | 213432 | 1166 405 | 0 | 0 23.97/24.07 c 24.0s | 17 | 314285 | 231332 | 1166 431 | 0 | 0 25.97/26.07 c 26.0s | 17 | 339970 | 250332 | 1166 459 | 0 | 0 27.97/28.07 c 28.0s | 17 | 364421 | 268432 | 1166 486 | 0 | 0 29.97/30.08 c 30.1s | 17 | 388650 | 286532 | 1166 513 | 0 | 0 31.08/31.14 c 31.1s | 18 | 401887 | 296252 | 1283 527 | 0 | 0 33.08/33.14 c 33.1s | 18 | 424413 | 313352 | 1283 550 | 0 | 0 35.07/35.15 c 35.1s | 18 | 449217 | 331252 | 1283 574 | 0 | 0 37.07/37.16 c 37.1s | 18 | 475423 | 350152 | 1283 600 | 0 | 0 39.07/39.17 c 39.1s | 18 | 499199 | 367852 | 1283 624 | 0 | 0 41.07/41.17 c 41.1s | 18 | 524289 | 386352 | 1283 649 | 0 | 0 43.07/43.18 c 43.2s | 18 | 549255 | 405152 | 1283 675 | 0 | 0 45.08/45.18 c 45.2s | 18 | 572111 | 422552 | 1283 698 | 0 | 0 47.07/47.19 c 47.2s | 18 | 597267 | 441252 | 1283 724 | 0 | 0 47.47/47.53 c 47.5s | 19 | 601533 | 444482 | 1412 728 | 0 | 0 49.47/49.54 c 49.5s | 19 | 621313 | 459782 | 1412 747 | 0 | 0 51.47/51.55 c 51.5s | 19 | 640822 | 474482 | 1412 765 | 0 | 0 53.47/53.55 c 53.5s | 19 | 661238 | 489682 | 1412 784 | 0 | 0 55.47/55.55 c 55.5s | 19 | 681858 | 505182 | 1412 803 | 0 | 0 57.47/57.56 c 57.5s | 19 | 704237 | 521682 | 1412 824 | 0 | 0 59.47/59.56 c 59.5s | 19 | 724583 | 537182 | 1412 843 | 0 | 0 61.46/61.57 c 61.5s | 19 | 746601 | 554182 | 1412 864 | 0 | 0 63.46/63.57 c 63.5s | 19 | 767923 | 570582 | 1412 884 | 0 | 0 65.46/65.58 c 65.6s | 19 | 787605 | 585682 | 1412 903 | 0 | 0 67.46/67.59 c 67.6s | 19 | 809663 | 602682 | 1412 924 | 0 | 0 69.46/69.59 c 69.6s | 19 | 829707 | 618482 | 1412 944 | 0 | 0 71.47/71.60 c 71.6s | 19 | 852623 | 635582 | 1412 965 | 0 | 0 73.56/73.61 c 73.6s | 19 | 875634 | 652982 | 1412 987 | 0 | 0 75.16/75.27 c 75.2s | 20 | 894159 | 666827 | 1554 1004 | 0 | 0 77.17/77.28 c 77.3s | 20 | 916477 | 683427 | 1554 1023 | 0 | 0 79.17/79.28 c 79.3s | 20 | 937549 | 699427 | 1554 1041 | 0 | 0 81.16/81.28 c 81.3s | 20 | 956681 | 714027 | 1554 1058 | 0 | 0 83.16/83.28 c 83.3s | 20 | 976545 | 729127 | 1554 1075 | 0 | 0 85.16/85.28 c 85.3s | 20 | 996259 | 744527 | 1554 1092 | 0 | 0 87.16/87.29 c 87.3s | 20 | 1018184 | 760727 | 1554 1110 | 0 | 0 89.26/89.30 c 89.3s | 20 | 1039388 | 776827 | 1554 1129 | 0 | 0 91.26/91.30 c 91.3s | 20 | 1060364 | 792527 | 1554 1147 | 0 | 0 93.25/93.31 c 93.3s | 20 | 1081840 | 808927 | 1554 1165 | 0 | 0 95.25/95.32 c 95.3s | 20 | 1104056 | 825127 | 1554 1184 | 0 | 0 97.25/97.32 c 97.3s | 20 | 1126601 | 841227 | 1554 1202 | 0 | 0 99.25/99.32 c 99.3s | 20 | 1147944 | 857227 | 1554 1220 | 0 | 0 101.25/101.33 c 101s | 20 | 1167825 | 872127 | 1554 1238 | 0 | 0 103.24/103.33 c 103s | 20 | 1185586 | 886627 | 1554 1254 | 0 | 0 105.25/105.34 c 105s | 20 | 1206292 | 902527 | 1554 1272 | 0 | 0 107.25/107.35 c 107s | 20 | 1225474 | 917927 | 1554 1290 | 0 | 0 109.25/109.35 c 109s | 20 | 1244824 | 932927 | 1554 1307 | 0 | 0 111.25/111.36 c 111s | 20 | 1266901 | 948927 | 1554 1326 | 0 | 0 113.25/113.36 c 113s | 20 | 1287853 | 964627 | 1554 1344 | 0 | 0 115.24/115.37 c 115s | 20 | 1307959 | 980427 | 1554 1362 | 0 | 0 117.24/117.38 c 117s | 20 | 1328329 | 995927 | 1710 1379 | 0 | 0 117.84/117.95 c 117s | 21 | 1333953 | 1000345 | 1710 1384 | 0 | 0 119.85/119.95 c 119s | 21 | 1353994 | 1016145 | 1710 1402 | 0 | 0 121.84/121.96 c 121s | 21 | 1374168 | 1031945 | 1710 1420 | 0 | 0 123.84/123.96 c 123s | 21 | 1396521 | 1049145 | 1710 1440 | 0 | 0 125.84/125.97 c 125s | 21 | 1418321 | 1065845 | 1710 1459 | 0 | 0 127.84/127.98 c 127s | 21 | 1439270 | 1082445 | 1710 1477 | 0 | 0 129.84/129.99 c 129s | 21 | 1459171 | 1098345 | 1710 1495 | 0 | 0 131.84/131.99 c 131s | 21 | 1479504 | 1113945 | 1710 1512 | 0 | 0 133.94/134.00 c 133s | 21 | 1501308 | 1130445 | 1710 1531 | 0 | 0 135.94/136.00 c 135s | 21 | 1521898 | 1146445 | 1710 1549 | 0 | 0 137.94/138.01 c 137s | 21 | 1542029 | 1162445 | 1710 1567 | 0 | 0 139.94/140.02 c 139s | 21 | 1561615 | 1178145 | 1710 1584 | 0 | 0 141.95/142.03 c 142s | 21 | 1582408 | 1194545 | 1710 1602 | 0 | 0 143.94/144.03 c 144s | 21 | 1602067 | 1210045 | 1710 1620 | 0 | 0 145.94/146.05 c 146s | 21 | 1621507 | 1225145 | 1710 1637 | 0 | 0 147.94/148.05 c 148s | 21 | 1641475 | 1240445 | 1710 1654 | 0 | 0 149.94/150.06 c 150s | 21 | 1662149 | 1256245 | 1710 1671 | 0 | 0 151.93/152.06 c 152s | 21 | 1682068 | 1271145 | 1710 1688 | 0 | 0 153.94/154.06 c 154s | 21 | 1702941 | 1286845 | 1710 1706 | 0 | 0 155.93/156.07 c 156s | 21 | 1720362 | 1300745 | 1710 1721 | 0 | 0 157.93/158.09 c 158s | 21 | 1738328 | 1314645 | 1710 1737 | 0 | 0 159.93/160.10 c 160s | 21 | 1757112 | 1329445 | 1710 1754 | 0 | 0 162.03/162.11 c 162s | 21 | 1775263 | 1343645 | 1710 1770 | 0 | 0 164.03/164.11 c 164s | 21 | 1795593 | 1359445 | 1710 1788 | 0 | 0 166.03/166.11 c 166s | 21 | 1816316 | 1375545 | 1710 1806 | 0 | 0 168.02/168.12 c 168s | 21 | 1835706 | 1390645 | 1710 1823 | 0 | 0 170.02/170.13 c 170s | 21 | 1856485 | 1406345 | 1710 1842 | 0 | 0 172.02/172.14 c 172s | 21 | 1877313 | 1422145 | 1710 1860 | 0 | 0 174.02/174.14 c 174s | 21 | 1897284 | 1437945 | 1710 1878 | 0 | 0 176.03/176.15 c 176s | 21 | 1916839 | 1453145 | 1710 1895 | 0 | 0 178.02/178.16 c 178s | 21 | 1937856 | 1469045 | 1710 1913 | 0 | 0 180.02/180.17 c 180s | 21 | 1958201 | 1484645 | 1710 1931 | 0 | 0 182.01/182.17 c 182s | 21 | 1978245 | 1500145 | 1882 1947 | 0 | 0 182.11/182.23 c 182s | 22 | 1978883 | 1500622 | 1882 1948 | 0 | 0 184.11/184.24 c 184s | 22 | 1999513 | 1515822 | 1882 1962 | 0 | 0 186.11/186.25 c 186s | 22 | 2017257 | 1529822 | 1882 1976 | 0 | 0 188.13/188.27 c 188s | 22 | 2034706 | 1543522 | 1882 1989 | 0 | 0 190.12/190.27 c 190s | 22 | 2053160 | 1558222 | 1882 2003 | 0 | 0 192.11/192.29 c 192s | 22 | 2070825 | 1572122 | 1882 2017 | 0 | 0 194.21/194.30 c 194s | 22 | 2087370 | 1585322 | 1882 2029 | 0 | 0 196.21/196.31 c 196s | 22 | 2104406 | 1598422 | 1882 2042 | 0 | 0 198.21/198.32 c 198s | 22 | 2122157 | 1612222 | 1882 2055 | 0 | 0 200.21/200.32 c 200s | 22 | 2140337 | 1626622 | 1882 2069 | 0 | 0 202.20/202.33 c 202s | 22 | 2158264 | 1640622 | 1882 2083 | 0 | 0 204.20/204.34 c 204s | 22 | 2178631 | 1655922 | 1882 2098 | 0 | 0 206.20/206.35 c 206s | 22 | 2197888 | 1670722 | 1882 2112 | 0 | 0 208.20/208.35 c 208s | 22 | 2214840 | 1684422 | 1882 2125 | 0 | 0 210.20/210.37 c 210s | 22 | 2231886 | 1698122 | 1882 2138 | 0 | 0 212.20/212.37 c 212s | 22 | 2249484 | 1711822 | 1882 2152 | 0 | 0 214.20/214.38 c 214s | 22 | 2265418 | 1724522 | 1882 2164 | 0 | 0 216.20/216.39 c 216s | 22 | 2281794 | 1737522 | 1882 2176 | 0 | 0 218.30/218.40 c 218s | 22 | 2298230 | 1750622 | 1882 2189 | 0 | 0 220.30/220.42 c 220s | 22 | 2315579 | 1764422 | 1882 2203 | 0 | 0 222.30/222.43 c 222s | 22 | 2331534 | 1777222 | 1882 2215 | 0 | 0 224.31/224.44 c 224s | 22 | 2347164 | 1790122 | 1882 2227 | 0 | 0 226.30/226.44 c 226s | 22 | 2363459 | 1803122 | 1882 2240 | 0 | 0 228.30/228.44 c 228s | 22 | 2382589 | 1817622 | 1882 2254 | 0 | 0 230.29/230.46 c 230s | 22 | 2399649 | 1831322 | 1882 2267 | 0 | 0 232.29/232.46 c 232s | 22 | 2416898 | 1844522 | 1882 2280 | 0 | 0 234.30/234.48 c 234s | 22 | 2433091 | 1857222 | 1882 2292 | 0 | 0 236.29/236.49 c 236s | 22 | 2450139 | 1870722 | 1882 2305 | 0 | 0 238.29/238.49 c 238s | 22 | 2466240 | 1883822 | 1882 2318 | 0 | 0 240.39/240.51 c 240s | 22 | 2481726 | 1896722 | 1882 2331 | 0 | 0 242.39/242.51 c 242s | 22 | 2498898 | 1910122 | 1882 2343 | 0 | 0 244.39/244.52 c 244s | 22 | 2516654 | 1924122 | 1882 2357 | 0 | 0 246.39/246.53 c 246s | 22 | 2535676 | 1938722 | 1882 2371 | 0 | 0 248.38/248.54 c 248s | 22 | 2553643 | 1952622 | 1882 2385 | 0 | 0 250.38/250.54 c 250s | 22 | 2571879 | 1966322 | 1882 2398 | 0 | 0 252.38/252.55 c 252s | 22 | 2589373 | 1979922 | 1882 2411 | 0 | 0 254.38/254.56 c 254s | 22 | 2609008 | 1994522 | 1882 2425 | 0 | 0 256.38/256.56 c 256s | 22 | 2624930 | 2007022 | 1882 2437 | 0 | 0 258.38/258.58 c 258s | 22 | 2642842 | 2021022 | 1882 2451 | 0 | 0 260.37/260.58 c 260s | 22 | 2660296 | 2034822 | 1882 2464 | 0 | 0 262.37/262.59 c 262s | 22 | 2679360 | 2049522 | 1882 2478 | 0 | 0 264.48/264.60 c 264s | 22 | 2698442 | 2064322 | 1882 2493 | 0 | 0 266.48/266.60 c 266s | 22 | 2717397 | 2078622 | 1882 2506 | 0 | 0 268.48/268.61 c 268s | 22 | 2735016 | 2092722 | 1882 2520 | 0 | 0 270.48/270.61 c 270s | 22 | 2752918 | 2106722 | 1882 2534 | 0 | 0 272.48/272.63 c 272s | 22 | 2769181 | 2120122 | 1882 2547 | 0 | 0 274.48/274.64 c 274s | 22 | 2786522 | 2134222 | 1882 2560 | 0 | 0 276.48/276.65 c 276s | 22 | 2804235 | 2148022 | 1882 2574 | 0 | 0 278.48/278.65 c 278s | 22 | 2822491 | 2162122 | 1882 2587 | 0 | 0 280.48/280.65 c 280s | 22 | 2841612 | 2176722 | 1882 2601 | 0 | 0 282.47/282.66 c 282s | 22 | 2858094 | 2189822 | 1882 2614 | 0 | 0 284.47/284.67 c 284s | 22 | 2877056 | 2204422 | 1882 2628 | 0 | 0 286.47/286.68 c 286s | 22 | 2895655 | 2219222 | 1882 2642 | 0 | 0 288.47/288.69 c 288s | 22 | 2915607 | 2234522 | 1882 2657 | 0 | 0 290.46/290.69 c 290s | 22 | 2933121 | 2247922 | 2071 2669 | 0 | 0 290.96/291.11 c 291s | 23 | 2937214 | 2251038 | 2071 2672 | 0 | 0 292.96/293.12 c 293s | 23 | 2955543 | 2265038 | 2071 2684 | 0 | 0 294.96/295.12 c 295s | 23 | 2973696 | 2279138 | 2071 2697 | 0 | 0 296.97/297.14 c 297s | 23 | 2991070 | 2292838 | 2071 2709 | 0 | 0 298.96/299.14 c 299s | 23 | 3005848 | 2304938 | 2071 2720 | 0 | 0 300.96/301.15 c 301s | 23 | 3023222 | 2318538 | 2071 2732 | 0 | 0 302.96/303.16 c 303s | 23 | 3040059 | 2331938 | 2071 2744 | 0 | 0 304.95/305.16 c 305s | 23 | 3055044 | 2344238 | 2071 2755 | 0 | 0 306.95/307.17 c 307s | 23 | 3071249 | 2357038 | 2071 2766 | 0 | 0 308.96/309.18 c 309s | 23 | 3088942 | 2370638 | 2071 2778 | 0 | 0 310.95/311.18 c 311s | 23 | 3105828 | 2383738 | 2071 2790 | 0 | 0 312.95/313.18 c 313s | 23 | 3123220 | 2397638 | 2071 2802 | 0 | 0 314.95/315.19 c 315s | 23 | 3138941 | 2410238 | 2071 2814 | 0 | 0 316.95/317.19 c 317s | 23 | 3155879 | 2423938 | 2071 2826 | 0 | 0 318.96/319.20 c 319s | 23 | 3172286 | 2437038 | 2071 2837 | 0 | 0 320.95/321.20 c 321s | 23 | 3188025 | 2449738 | 2071 2849 | 0 | 0 323.04/323.21 c 323s | 23 | 3205879 | 2464138 | 2071 2862 | 0 | 0 325.04/325.22 c 325s | 23 | 3223545 | 2477938 | 2071 2874 | 0 | 0 327.04/327.23 c 327s | 23 | 3241160 | 2491538 | 2071 2886 | 0 | 0 329.04/329.23 c 329s | 23 | 3259289 | 2505838 | 2071 2899 | 0 | 0 331.04/331.24 c 331s | 23 | 3278584 | 2520538 | 2071 2912 | 0 | 0 333.03/333.24 c 333s | 23 | 3296952 | 2534938 | 2071 2925 | 0 | 0 335.03/335.25 c 335s | 23 | 3315318 | 2549138 | 2071 2937 | 0 | 0 337.03/337.26 c 337s | 23 | 3332433 | 2562738 | 2071 2949 | 0 | 0 339.03/339.26 c 339s | 23 | 3351014 | 2576838 | 2071 2962 | 0 | 0 341.03/341.27 c 341s | 23 | 3369600 | 2591238 | 2071 2975 | 0 | 0 343.03/343.28 c 343s | 23 | 3388657 | 2605738 | 2071 2988 | 0 | 0 345.03/345.29 c 345s | 23 | 3407362 | 2620538 | 2071 3001 | 0 | 0 347.13/347.30 c 347s | 23 | 3425066 | 2634438 | 2071 3013 | 0 | 0 349.13/349.30 c 349s | 23 | 3441483 | 2647438 | 2071 3025 | 0 | 0 351.12/351.30 c 351s | 23 | 3459534 | 2661238 | 2071 3037 | 0 | 0 353.12/353.31 c 353s | 23 | 3477598 | 2675238 | 2071 3050 | 0 | 0 355.13/355.32 c 355s | 23 | 3496592 | 2689738 | 2071 3063 | 0 | 0 357.12/357.33 c 357s | 23 | 3516529 | 2704838 | 2071 3076 | 0 | 0 359.12/359.34 c 359s | 23 | 3537484 | 2720238 | 2071 3090 | 0 | 0 361.12/361.35 c 361s | 23 | 3555592 | 2734338 | 2071 3103 | 0 | 0 363.12/363.36 c 363s | 23 | 3576456 | 2749638 | 2071 3116 | 0 | 0 365.13/365.36 c 365s | 23 | 3598163 | 2765738 | 2071 3131 | 0 | 0 367.12/367.37 c 367s | 23 | 3616998 | 2780338 | 2071 3144 | 0 | 0 369.12/369.38 c 369s | 23 | 3636647 | 2795038 | 2071 3157 | 0 | 0 371.12/371.39 c 371s | 23 | 3654781 | 2809238 | 2071 3169 | 0 | 0 373.11/373.39 c 373s | 23 | 3677198 | 2825838 | 2071 3184 | 0 | 0 375.21/375.40 c 375s | 23 | 3695051 | 2840138 | 2071 3197 | 0 | 0 377.22/377.41 c 377s | 23 | 3714120 | 2854738 | 2071 3210 | 0 | 0 379.21/379.42 c 379s | 23 | 3732865 | 2869038 | 2071 3223 | 0 | 0 381.21/381.43 c 381s | 23 | 3751718 | 2883238 | 2071 3236 | 0 | 0 383.21/383.43 c 383s | 23 | 3771165 | 2897938 | 2071 3249 | 0 | 0 385.21/385.44 c 385s | 23 | 3790461 | 2912738 | 2071 3262 | 0 | 0 387.20/387.45 c 387s | 23 | 3810674 | 2927938 | 2071 3276 | 0 | 0 389.21/389.46 c 389s | 23 | 3830885 | 2943638 | 2071 3290 | 0 | 0 391.20/391.46 c 391s | 23 | 3850817 | 2958738 | 2071 3303 | 0 | 0 393.20/393.46 c 393s | 23 | 3871465 | 2974138 | 2071 3317 | 0 | 0 395.20/395.47 c 395s | 23 | 3890448 | 2988738 | 2071 3330 | 0 | 0 397.20/397.48 c 397s | 23 | 3910120 | 3003638 | 2071 3343 | 0 | 0 399.20/399.49 c 399s | 23 | 3929564 | 3018338 | 2071 3356 | 0 | 0 401.19/401.50 c 401s | 23 | 3947028 | 3032038 | 2071 3368 | 0 | 0 403.29/403.51 c 403s | 23 | 3965827 | 3046338 | 2071 3381 | 0 | 0 405.29/405.51 c 405s | 23 | 3984423 | 3060838 | 2071 3394 | 0 | 0 407.29/407.52 c 407s | 23 | 4004684 | 3076038 | 2071 3408 | 0 | 0 409.29/409.53 c 409s | 23 | 4025502 | 3091738 | 2071 3422 | 0 | 0 411.29/411.54 c 411s | 23 | 4045718 | 3106838 | 2071 3435 | 0 | 0 413.29/413.54 c 413s | 23 | 4066450 | 3122238 | 2071 3449 | 0 | 0 415.29/415.55 c 415s | 23 | 4086625 | 3137938 | 2071 3463 | 0 | 0 417.29/417.57 c 417s | 23 | 4104890 | 3152338 | 2071 3476 | 0 | 0 419.29/419.57 c 419s | 23 | 4124722 | 3167438 | 2071 3489 | 0 | 0 421.29/421.58 c 421s | 23 | 4143754 | 3182038 | 2071 3503 | 0 | 0 423.29/423.58 c 423s | 23 | 4165656 | 3197838 | 2071 3517 | 0 | 0 425.29/425.58 c 425s | 23 | 4185124 | 3212638 | 2071 3530 | 0 | 0 427.29/427.58 c 427s | 23 | 4206640 | 3228438 | 2071 3544 | 0 | 0 429.29/429.60 c 429s | 23 | 4226554 | 3243638 | 2071 3557 | 0 | 0 431.38/431.60 c 431s | 23 | 4247445 | 3259338 | 2071 3571 | 0 | 0 433.38/433.61 c 433s | 23 | 4268518 | 3275238 | 2071 3586 | 0 | 0 435.39/435.62 c 435s | 23 | 4288716 | 3290838 | 2071 3600 | 0 | 0 437.38/437.63 c 437s | 23 | 4306394 | 3304638 | 2071 3612 | 0 | 0 439.38/439.64 c 439s | 23 | 4325154 | 3319238 | 2071 3625 | 0 | 0 441.37/441.65 c 441s | 23 | 4344501 | 3333838 | 2071 3638 | 0 | 0 443.37/443.66 c 443s | 23 | 4362159 | 3347738 | 2071 3650 | 0 | 0 445.38/445.67 c 445s | 23 | 4380482 | 3361838 | 2279 3662 | 0 | 0 447.37/447.63 c 447s | 24 | 4400652 | 3376662 | 2279 3674 | 0 | 0 449.37/449.64 c 449s | 24 | 4417755 | 3390162 | 2279 3685 | 0 | 0 451.36/451.66 c 451s | 24 | 4433280 | 3402562 | 2279 3695 | 0 | 0 453.36/453.66 c 453s | 24 | 4449955 | 3415562 | 2279 3706 | 0 | 0 455.36/455.66 c 455s | 24 | 4466998 | 3428762 | 2279 3716 | 0 | 0 457.37/457.66 c 457s | 24 | 4484139 | 3441962 | 2279 3727 | 0 | 0 459.36/459.68 c 459s | 24 | 4501908 | 3455862 | 2279 3738 | 0 | 0 461.36/461.68 c 461s | 24 | 4519237 | 3469662 | 2279 3749 | 0 | 0 463.36/463.68 c 463s | 24 | 4536169 | 3482762 | 2279 3760 | 0 | 0 465.36/465.69 c 465s | 24 | 4553562 | 3496362 | 2279 3771 | 0 | 0 467.46/467.70 c 467s | 24 | 4570866 | 3509962 | 2279 3782 | 0 | 0 469.47/469.71 c 469s | 24 | 4588658 | 3523962 | 2279 3793 | 0 | 0 471.45/471.71 c 471s | 24 | 4606912 | 3537962 | 2279 3805 | 0 | 0 473.45/473.72 c 473s | 24 | 4624021 | 3551762 | 2279 3816 | 0 | 0 475.45/475.73 c 475s | 24 | 4642724 | 3565962 | 2279 3827 | 0 | 0 477.45/477.74 c 477s | 24 | 4658719 | 3578662 | 2279 3838 | 0 | 0 479.46/479.74 c 479s | 24 | 4676747 | 3592362 | 2279 3849 | 0 | 0 481.45/481.76 c 481s | 24 | 4694514 | 3606162 | 2279 3860 | 0 | 0 483.45/483.76 c 483s | 24 | 4711916 | 3619462 | 2279 3871 | 0 | 0 485.44/485.76 c 485s | 24 | 4728226 | 3632762 | 2279 3881 | 0 | 0 487.44/487.77 c 487s | 24 | 4745085 | 3645962 | 2279 3892 | 0 | 0 489.44/489.78 c 489s | 24 | 4762713 | 3659462 | 2279 3903 | 0 | 0 491.44/491.79 c 491s | 24 | 4778763 | 3672062 | 2279 3913 | 0 | 0 493.44/493.80 c 493s | 24 | 4796803 | 3686062 | 2279 3925 | 0 | 0 495.53/495.81 c 495s | 24 | 4814047 | 3699762 | 2279 3936 | 0 | 0 497.53/497.83 c 497s | 24 | 4832488 | 3714262 | 2279 3948 | 0 | 0 499.53/499.83 c 499s | 24 | 4852280 | 3729562 | 2279 3960 | 0 | 0 501.53/501.83 c 501s | 24 | 4868408 | 3742062 | 2279 3970 | 0 | 0 503.53/503.84 c 503s | 24 | 4885667 | 3755162 | 2279 3981 | 0 | 0 505.53/505.84 c 505s | 24 | 4902749 | 3768362 | 2279 3991 | 0 | 0 507.53/507.85 c 507s | 24 | 4922802 | 3783162 | 2279 4003 | 0 | 0 509.53/509.86 c 509s | 24 | 4940533 | 3797062 | 2279 4015 | 0 | 0 511.52/511.86 c 511s | 24 | 4959084 | 3810962 | 2279 4026 | 0 | 0 513.54/513.86 c 513s | 24 | 4976968 | 3824762 | 2279 4037 | 0 | 0 515.53/515.87 c 515s | 24 | 4994689 | 3838262 | 2279 4048 | 0 | 0 517.53/517.88 c 517s | 24 | 5012846 | 3851762 | 2279 4059 | 0 | 0 519.53/519.88 c 519s | 24 | 5030594 | 3865262 | 2279 4070 | 0 | 0 521.52/521.88 c 521s | 24 | 5047898 | 3878762 | 2279 4081 | 0 | 0 523.52/523.89 c 523s | 24 | 5066171 | 3892862 | 2279 4093 | 0 | 0 525.63/525.91 c 525s | 24 | 5084949 | 3907362 | 2279 4104 | 0 | 0 527.62/527.91 c 527s | 24 | 5104107 | 3922162 | 2279 4117 | 0 | 0 529.62/529.92 c 529s | 24 | 5121722 | 3935762 | 2279 4128 | 0 | 0 531.61/531.93 c 531s | 24 | 5140733 | 3950162 | 2279 4139 | 0 | 0 533.61/533.95 c 533s | 24 | 5158526 | 3963862 | 2279 4150 | 0 | 0 535.61/535.96 c 535s | 24 | 5177221 | 3978262 | 2279 4162 | 0 | 0 537.62/537.96 c 537s | 24 | 5195426 | 3992262 | 2279 4173 | 0 | 0 539.61/539.97 c 539s | 24 | 5212048 | 4005662 | 2279 4184 | 0 | 0 541.61/541.97 c 541s | 24 | 5229641 | 4019262 | 2279 4195 | 0 | 0 543.61/543.98 c 543s | 24 | 5248899 | 4033762 | 2279 4207 | 0 | 0 545.61/545.99 c 545s | 24 | 5265119 | 4046562 | 2279 4218 | 0 | 0 547.61/548.00 c 547s | 24 | 5282419 | 4059762 | 2279 4228 | 0 | 0 549.71/550.01 c 549s | 24 | 5300270 | 4073862 | 2279 4240 | 0 | 0 551.70/552.02 c 551s | 24 | 5318768 | 4088062 | 2279 4251 | 0 | 0 553.70/554.03 c 554s | 24 | 5337383 | 4101562 | 2279 4262 | 0 | 0 555.70/556.04 c 556s | 24 | 5356140 | 4115662 | 2279 4274 | 0 | 0 557.70/558.05 c 558s | 24 | 5372122 | 4128262 | 2279 4284 | 0 | 0 559.70/560.07 c 560s | 24 | 5388945 | 4141462 | 2279 4295 | 0 | 0 561.69/562.08 c 562s | 24 | 5406450 | 4155062 | 2279 4306 | 0 | 0 563.69/564.09 c 564s | 24 | 5423303 | 4168362 | 2279 4316 | 0 | 0 565.79/566.10 c 566s | 24 | 5440533 | 4181862 | 2279 4327 | 0 | 0 567.79/568.11 c 568s | 24 | 5459144 | 4195962 | 2279 4339 | 0 | 0 569.79/570.13 c 570s | 24 | 5476930 | 4209762 | 2279 4350 | 0 | 0 571.79/572.13 c 572s | 24 | 5494850 | 4223362 | 2279 4361 | 0 | 0 573.78/574.14 c 574s | 24 | 5514205 | 4237962 | 2279 4373 | 0 | 0 575.78/576.14 c 576s | 24 | 5532371 | 4251662 | 2279 4384 | 0 | 0 577.78/578.14 c 578s | 24 | 5552342 | 4266662 | 2279 4396 | 0 | 0 579.78/580.15 c 580s | 24 | 5569587 | 4280262 | 2279 4407 | 0 | 0 581.78/582.15 c 582s | 24 | 5588472 | 4294562 | 2279 4419 | 0 | 0 583.79/584.17 c 584s | 24 | 5606328 | 4308662 | 2279 4431 | 0 | 0 585.78/586.17 c 586s | 24 | 5624446 | 4322762 | 2279 4442 | 0 | 0 587.78/588.17 c 588s | 24 | 5643813 | 4337562 | 2279 4454 | 0 | 0 589.78/590.19 c 590s | 24 | 5661665 | 4351562 | 2279 4466 | 0 | 0 591.87/592.20 c 592s | 24 | 5680024 | 4365762 | 2279 4477 | 0 | 0 593.88/594.21 c 594s | 24 | 5696483 | 4378862 | 2279 4488 | 0 | 0 595.89/596.22 c 596s | 24 | 5714426 | 4392362 | 2279 4499 | 0 | 0 597.88/598.23 c 598s | 24 | 5732140 | 4405662 | 2279 4510 | 0 | 0 599.88/600.23 c 600s | 24 | 5750167 | 4419362 | 2279 4521 | 0 | 0 601.87/602.24 c 602s | 24 | 5767768 | 4432362 | 2279 4531 | 0 | 0 603.87/604.25 c 604s | 24 | 5785066 | 4445262 | 2279 4542 | 0 | 0 605.88/606.27 c 606s | 24 | 5802399 | 4458462 | 2279 4553 | 0 | 0 607.87/608.28 c 608s | 24 | 5822322 | 4473262 | 2279 4565 | 0 | 0 609.87/610.29 c 610s | 24 | 5839132 | 4486862 | 2279 4576 | 0 | 0 611.97/612.30 c 612s | 24 | 5856200 | 4500062 | 2279 4586 | 0 | 0 613.96/614.30 c 614s | 24 | 5871944 | 4512362 | 2279 4596 | 0 | 0 615.96/616.32 c 616s | 24 | 5890196 | 4526062 | 2279 4607 | 0 | 0 617.97/618.32 c 618s | 24 | 5905883 | 4537862 | 2279 4617 | 0 | 0 619.96/620.34 c 620s | 24 | 5921786 | 4550062 | 2279 4627 | 0 | 0 621.96/622.34 c 622s | 24 | 5937524 | 4561762 | 2279 4637 | 0 | 0 623.96/624.35 c 624s | 24 | 5952177 | 4572962 | 2279 4646 | 0 | 0 625.96/626.37 c 626s | 24 | 5966574 | 4584262 | 2279 4655 | 0 | 0 627.96/628.38 c 628s | 24 | 5982730 | 4596562 | 2279 4665 | 0 | 0 629.96/630.39 c 630s | 24 | 6000111 | 4609662 | 2279 4676 | 0 | 0 632.05/632.40 c 632s | 24 | 6017481 | 4622862 | 2279 4686 | 0 | 0 634.05/634.40 c 634s | 24 | 6033946 | 4635262 | 2279 4696 | 0 | 0 636.05/636.41 c 636s | 24 | 6050418 | 4648062 | 2279 4707 | 0 | 0 638.05/638.41 c 638s | 24 | 6067151 | 4660762 | 2279 4717 | 0 | 0 640.05/640.42 c 640s | 24 | 6084287 | 4673762 | 2279 4728 | 0 | 0 642.05/642.42 c 642s | 24 | 6101338 | 4686362 | 2279 4738 | 0 | 0 644.04/644.44 c 644s | 24 | 6117411 | 4699562 | 2279 4749 | 0 | 0 646.04/646.45 c 646s | 24 | 6134547 | 4712362 | 2279 4759 | 0 | 0 648.04/648.45 c 648s | 24 | 6151996 | 4725162 | 2279 4769 | 0 | 0 650.04/650.47 c 650s | 24 | 6169021 | 4738062 | 2279 4780 | 0 | 0 652.04/652.48 c 652s | 24 | 6186796 | 4751362 | 2279 4791 | 0 | 0 654.03/654.49 c 654s | 24 | 6203715 | 4764562 | 2279 4801 | 0 | 0 656.14/656.50 c 656s | 24 | 6220983 | 4778162 | 2279 4812 | 0 | 0 658.14/658.51 c 658s | 24 | 6237397 | 4790962 | 2279 4823 | 0 | 0 660.14/660.52 c 660s | 24 | 6253214 | 4803262 | 2279 4833 | 0 | 0 662.13/662.52 c 662s | 24 | 6268833 | 4815562 | 2279 4843 | 0 | 0 664.14/664.53 c 664s | 24 | 6285442 | 4827962 | 2279 4853 | 0 | 0 666.13/666.55 c 666s | 24 | 6301298 | 4840262 | 2279 4863 | 0 | 0 668.13/668.56 c 668s | 24 | 6316486 | 4851862 | 2279 4872 | 0 | 0 670.13/670.57 c 670s | 24 | 6330129 | 4862962 | 2279 4881 | 0 | 0 672.13/672.58 c 672s | 24 | 6345392 | 4874862 | 2279 4891 | 0 | 0 674.13/674.59 c 674s | 24 | 6361147 | 4886762 | 2279 4901 | 0 | 0 676.14/676.59 c 676s | 24 | 6376219 | 4898362 | 2279 4910 | 0 | 0 678.13/678.59 c 678s | 24 | 6392598 | 4910662 | 2279 4920 | 0 | 0 680.23/680.61 c 680s | 24 | 6408487 | 4922662 | 2279 4930 | 0 | 0 682.23/682.61 c 682s | 24 | 6424231 | 4934462 | 2279 4939 | 0 | 0 684.23/684.61 c 684s | 24 | 6439400 | 4946262 | 2279 4949 | 0 | 0 686.23/686.63 c 686s | 24 | 6454566 | 4957962 | 2279 4959 | 0 | 0 688.23/688.64 c 688s | 24 | 6471071 | 4970662 | 2279 4969 | 0 | 0 690.23/690.65 c 690s | 24 | 6486489 | 4982562 | 2279 4979 | 0 | 0 692.22/692.66 c 692s | 24 | 6501691 | 4994462 | 2279 4988 | 0 | 0 694.22/694.67 c 694s | 24 | 6517390 | 5006762 | 2279 4998 | 0 | 0 696.22/696.67 c 696s | 24 | 6532699 | 5018362 | 2279 5008 | 0 | 0 698.23/698.68 c 698s | 24 | 6548720 | 5030562 | 2507 5017 | 0 | 0 700.22/700.69 c 700s | 24 | 6565013 | 5042962 | 2507 5026 | 0 | 0 702.32/702.70 c 702s | 24 | 6579992 | 5054662 | 2507 5035 | 0 | 0 703.92/704.35 c 704s | 25 | 6593217 | 5065098 | 2507 5043 | 0 | 0 705.93/706.35 c 706s | 25 | 6609576 | 5077798 | 2507 5053 | 0 | 0 707.92/708.36 c 708s | 25 | 6627890 | 5091298 | 2507 5064 | 0 | 0 709.92/710.36 c 710s | 25 | 6644725 | 5103898 | 2507 5074 | 0 | 0 711.92/712.37 c 712s | 25 | 6662780 | 5117198 | 2507 5084 | 0 | 0 713.92/714.38 c 714s | 25 | 6680656 | 5130698 | 2507 5095 | 0 | 0 715.92/716.39 c 716s | 25 | 6696753 | 5142798 | 2507 5104 | 0 | 0 717.93/718.40 c 718s | 25 | 6713603 | 5155498 | 2507 5114 | 0 | 0 720.02/720.40 c 720s | 25 | 6731165 | 5168298 | 2507 5124 | 0 | 0 722.02/722.40 c 722s | 25 | 6748242 | 5181098 | 2507 5134 | 0 | 0 724.02/724.42 c 724s | 25 | 6765051 | 5193998 | 2507 5144 | 0 | 0 726.02/726.42 c 726s | 25 | 6782089 | 5206998 | 2507 5155 | 0 | 0 728.02/728.42 c 728s | 25 | 6800724 | 5220598 | 2507 5165 | 0 | 0 730.02/730.44 c 730s | 25 | 6819012 | 5233998 | 2507 5175 | 0 | 0 732.02/732.45 c 732s | 25 | 6834522 | 5246498 | 2507 5185 | 0 | 0 734.02/734.46 c 734s | 25 | 6851447 | 5259898 | 2507 5194 | 0 | 0 736.02/736.47 c 736s | 25 | 6868917 | 5272998 | 2507 5204 | 0 | 0 738.01/738.49 c 738s | 25 | 6886910 | 5286498 | 2507 5214 | 0 | 0 740.11/740.50 c 740s | 25 | 6903668 | 5299598 | 2507 5224 | 0 | 0 742.12/742.51 c 742s | 25 | 6922023 | 5313498 | 2507 5234 | 0 | 0 744.11/744.51 c 744s | 25 | 6940588 | 5327598 | 2507 5245 | 0 | 0 746.11/746.53 c 746s | 25 | 6957421 | 5340598 | 2507 5255 | 0 | 0 748.11/748.54 c 748s | 25 | 6973522 | 5353398 | 2507 5264 | 0 | 0 750.11/750.54 c 750s | 25 | 6989752 | 5365998 | 2507 5273 | 0 | 0 752.12/752.55 c 752s | 25 | 7009692 | 5380298 | 2507 5284 | 0 | 0 754.11/754.56 c 754s | 25 | 7028888 | 5394898 | 2507 5295 | 0 | 0 756.11/756.57 c 756s | 25 | 7047673 | 5408898 | 2507 5305 | 0 | 0 758.12/758.57 c 758s | 25 | 7066721 | 5423398 | 2507 5316 | 0 | 0 760.12/760.57 c 760s | 25 | 7086140 | 5437998 | 2507 5327 | 0 | 0 762.12/762.58 c 762s | 25 | 7104294 | 5451798 | 2507 5337 | 0 | 0 764.12/764.58 c 764s | 25 | 7122608 | 5465598 | 2507 5348 | 0 | 0 766.22/766.60 c 766s | 25 | 7139345 | 5479098 | 2507 5358 | 0 | 0 768.22/768.60 c 768s | 25 | 7156359 | 5491998 | 2507 5367 | 0 | 0 770.21/770.61 c 770s | 25 | 7175036 | 5506098 | 2507 5378 | 0 | 0 772.21/772.61 c 772s | 25 | 7193569 | 5520598 | 2507 5388 | 0 | 0 774.21/774.61 c 774s | 25 | 7209499 | 5533498 | 2507 5398 | 0 | 0 776.22/776.62 c 776s | 25 | 7228367 | 5547798 | 2507 5409 | 0 | 0 778.21/778.64 c 778s | 25 | 7247446 | 5561798 | 2507 5419 | 0 | 0 780.21/780.64 c 780s | 25 | 7261850 | 5573498 | 2507 5428 | 0 | 0 782.21/782.64 c 782s | 25 | 7279503 | 5587198 | 2507 5438 | 0 | 0 784.21/784.65 c 784s | 25 | 7298098 | 5601198 | 2507 5448 | 0 | 0 786.22/786.66 c 786s | 25 | 7315849 | 5614698 | 2507 5459 | 0 | 0 788.21/788.66 c 788s | 25 | 7335423 | 5629398 | 2507 5469 | 0 | 0 790.21/790.68 c 790s | 25 | 7353291 | 5643398 | 2507 5480 | 0 | 0 792.21/792.68 c 792s | 25 | 7370738 | 5656798 | 2507 5490 | 0 | 0 794.21/794.69 c 794s | 25 | 7387766 | 5669998 | 2507 5500 | 0 | 0 796.21/796.69 c 796s | 25 | 7406999 | 5683998 | 2507 5510 | 0 | 0 798.21/798.70 c 798s | 25 | 7426869 | 5698298 | 2507 5521 | 0 | 0 800.31/800.70 c 800s | 25 | 7444328 | 5711598 | 2507 5531 | 0 | 0 802.31/802.71 c 802s | 25 | 7464224 | 5725998 | 2507 5541 | 0 | 0 804.30/804.72 c 804s | 25 | 7483875 | 5740098 | 2507 5552 | 0 | 0 806.30/806.73 c 806s | 25 | 7503626 | 5754398 | 2507 5563 | 0 | 0 808.30/808.73 c 808s | 25 | 7520079 | 5767498 | 2507 5572 | 0 | 0 810.31/810.73 c 810s | 25 | 7535949 | 5780198 | 2507 5582 | 0 | 0 812.30/812.74 c 812s | 25 | 7555376 | 5794798 | 2507 5593 | 0 | 0 814.30/814.75 c 814s | 25 | 7572334 | 5807798 | 2507 5602 | 0 | 0 816.30/816.75 c 816s | 25 | 7588494 | 5820698 | 2507 5612 | 0 | 0 818.30/818.75 c 818s | 25 | 7604662 | 5833298 | 2507 5621 | 0 | 0 820.31/820.77 c 820s | 25 | 7622080 | 5847298 | 2507 5631 | 0 | 0 822.30/822.78 c 822s | 25 | 7641381 | 5861698 | 2507 5642 | 0 | 0 824.30/824.78 c 824s | 25 | 7660214 | 5875998 | 2507 5653 | 0 | 0 826.30/826.79 c 826s | 25 | 7677284 | 5889298 | 2507 5663 | 0 | 0 828.30/828.79 c 828s | 25 | 7694702 | 5902698 | 2507 5673 | 0 | 0 830.40/830.80 c 830s | 25 | 7711754 | 5915698 | 2507 5682 | 0 | 0 832.41/832.81 c 832s | 25 | 7731139 | 5929898 | 2507 5693 | 0 | 0 834.41/834.81 c 834s | 25 | 7747035 | 5942698 | 2507 5702 | 0 | 0 836.41/836.82 c 836s | 25 | 7763070 | 5955098 | 2507 5712 | 0 | 0 838.41/838.84 c 838s | 25 | 7778895 | 5967598 | 2507 5721 | 0 | 0 840.41/840.84 c 840s | 25 | 7795370 | 5980198 | 2507 5730 | 0 | 0 842.41/842.85 c 842s | 25 | 7811716 | 5992598 | 2507 5739 | 0 | 0 844.41/844.87 c 844s | 25 | 7827436 | 6004798 | 2507 5749 | 0 | 0 846.41/846.87 c 846s | 25 | 7842609 | 6016898 | 2507 5758 | 0 | 0 848.41/848.89 c 848s | 25 | 7860141 | 6029798 | 2507 5767 | 0 | 0 850.40/850.89 c 850s | 25 | 7877318 | 6042998 | 2507 5777 | 0 | 0 852.40/852.89 c 852s | 25 | 7896327 | 6057598 | 2507 5788 | 0 | 0 854.41/854.89 c 854s | 25 | 7916272 | 6072498 | 2507 5799 | 0 | 0 856.51/856.91 c 856s | 25 | 7935025 | 6086398 | 2507 5809 | 0 | 0 858.50/858.92 c 858s | 25 | 7951379 | 6099198 | 2507 5819 | 0 | 0 860.50/860.92 c 860s | 25 | 7968742 | 6112398 | 2507 5829 | 0 | 0 862.50/862.93 c 862s | 25 | 7985677 | 6125498 | 2507 5838 | 0 | 0 864.50/864.93 c 864s | 25 | 8004559 | 6140098 | 2507 5849 | 0 | 0 866.51/866.93 c 866s | 25 | 8022581 | 6154098 | 2507 5860 | 0 | 0 868.50/868.94 c 868s | 25 | 8040657 | 6168098 | 2507 5870 | 0 | 0 870.50/870.95 c 870s | 25 | 8059029 | 6182198 | 2507 5881 | 0 | 0 872.50/872.96 c 872s | 25 | 8078960 | 6197198 | 2507 5892 | 0 | 0 874.50/874.97 c 874s | 25 | 8098947 | 6211898 | 2507 5903 | 0 | 0 876.50/876.99 c 876s | 25 | 8120022 | 6227098 | 2507 5914 | 0 | 0 878.51/879.00 c 878s | 25 | 8136525 | 6239498 | 2507 5923 | 0 | 0 880.60/881.00 c 880s | 25 | 8153580 | 6252198 | 2507 5933 | 0 | 0 882.60/883.01 c 882s | 25 | 8172206 | 6266098 | 2507 5943 | 0 | 0 884.60/885.03 c 885s | 25 | 8190314 | 6279798 | 2507 5953 | 0 | 0 886.60/887.04 c 887s | 25 | 8208401 | 6293998 | 2507 5964 | 0 | 0 888.59/889.04 c 889s | 25 | 8223723 | 6306098 | 2507 5973 | 0 | 0 890.60/891.06 c 891s | 25 | 8240079 | 6318498 | 2507 5982 | 0 | 0 892.59/893.07 c 893s | 25 | 8256552 | 6331298 | 2507 5991 | 0 | 0 894.59/895.09 c 895s | 25 | 8272841 | 6343598 | 2507 6001 | 0 | 0 896.59/897.09 c 897s | 25 | 8290782 | 6356898 | 2507 6010 | 0 | 0 898.69/899.10 c 899s | 25 | 8307790 | 6369598 | 2507 6020 | 0 | 0 900.69/901.11 c 901s | 25 | 8324736 | 6382498 | 2507 6029 | 0 | 0 902.70/903.11 c 903s | 25 | 8340657 | 6394798 | 2507 6038 | 0 | 0 904.69/905.12 c 905s | 25 | 8355348 | 6406498 | 2507 6047 | 0 | 0 906.69/907.14 c 907s | 25 | 8371372 | 6418698 | 2507 6056 | 0 | 0 908.69/909.15 c 909s | 25 | 8387771 | 6430998 | 2507 6065 | 0 | 0 910.69/911.16 c 911s | 25 | 8404285 | 6443498 | 2507 6075 | 0 | 0 912.70/913.18 c 913s | 25 | 8421690 | 6456498 | 2507 6084 | 0 | 0 914.69/915.18 c 915s | 25 | 8438719 | 6469498 | 2507 6094 | 0 | 0 916.69/917.19 c 917s | 25 | 8455266 | 6481898 | 2507 6103 | 0 | 0 918.69/919.19 c 919s | 25 | 8471894 | 6494398 | 2507 6113 | 0 | 0 920.79/921.20 c 921s | 25 | 8488442 | 6506998 | 2507 6122 | 0 | 0 922.79/923.20 c 923s | 25 | 8503285 | 6518798 | 2507 6131 | 0 | 0 924.79/925.22 c 925s | 25 | 8518961 | 6530998 | 2507 6140 | 0 | 0 926.79/927.22 c 927s | 25 | 8534967 | 6543298 | 2507 6149 | 0 | 0 928.79/929.23 c 929s | 25 | 8553620 | 6557098 | 2507 6159 | 0 | 0 930.79/931.25 c 931s | 25 | 8571693 | 6570698 | 2507 6169 | 0 | 0 932.79/933.25 c 933s | 25 | 8589435 | 6583998 | 2507 6179 | 0 | 0 934.79/935.25 c 935s | 25 | 8608476 | 6598598 | 2507 6190 | 0 | 0 936.80/937.25 c 937s | 25 | 8623989 | 6611298 | 2507 6200 | 0 | 0 938.79/939.26 c 939s | 25 | 8640180 | 6623798 | 2507 6209 | 0 | 0 940.79/941.27 c 941s | 25 | 8656116 | 6636198 | 2507 6218 | 0 | 0 942.79/943.27 c 943s | 25 | 8673052 | 6649098 | 2507 6228 | 0 | 0 944.79/945.28 c 945s | 25 | 8688646 | 6661498 | 2507 6237 | 0 | 0 946.80/947.28 c 947s | 25 | 8702919 | 6673098 | 2507 6246 | 0 | 0 948.79/949.30 c 949s | 25 | 8720258 | 6686498 | 2507 6256 | 0 | 0 950.89/951.30 c 951s | 25 | 8737578 | 6699698 | 2507 6265 | 0 | 0 952.89/953.31 c 953s | 25 | 8755436 | 6713698 | 2507 6276 | 0 | 0 954.89/955.31 c 955s | 25 | 8773057 | 6727598 | 2507 6286 | 0 | 0 956.89/957.32 c 957s | 25 | 8788953 | 6740198 | 2507 6296 | 0 | 0 958.90/959.34 c 959s | 25 | 8806423 | 6753798 | 2507 6306 | 0 | 0 960.89/961.34 c 961s | 25 | 8823774 | 6767198 | 2507 6316 | 0 | 0 962.89/963.34 c 963s | 25 | 8842882 | 6781698 | 2507 6326 | 0 | 0 964.89/965.35 c 965s | 25 | 8862157 | 6796398 | 2507 6337 | 0 | 0 966.89/967.36 c 967s | 25 | 8881929 | 6811698 | 2507 6349 | 0 | 0 968.88/969.37 c 969s | 25 | 8899675 | 6824898 | 2507 6359 | 0 | 0 970.89/971.38 c 971s | 25 | 8917122 | 6838398 | 2507 6369 | 0 | 0 972.88/973.39 c 973s | 25 | 8934198 | 6851098 | 2507 6378 | 0 | 0 974.98/975.41 c 975s | 25 | 8951661 | 6864098 | 2507 6388 | 0 | 0 976.98/977.42 c 977s | 25 | 8968191 | 6876498 | 2507 6397 | 0 | 0 978.98/979.44 c 979s | 25 | 8986845 | 6889898 | 2507 6407 | 0 | 0 980.98/981.45 c 981s | 25 | 9001787 | 6902498 | 2507 6416 | 0 | 0 982.99/983.46 c 983s | 25 | 9019342 | 6916198 | 2507 6426 | 0 | 0 984.98/985.47 c 985s | 25 | 9035649 | 6929198 | 2507 6436 | 0 | 0 986.98/987.48 c 987s | 25 | 9053542 | 6942698 | 2507 6446 | 0 | 0 988.98/989.49 c 989s | 25 | 9069844 | 6955498 | 2507 6456 | 0 | 0 990.98/991.49 c 991s | 25 | 9087463 | 6968898 | 2507 6466 | 0 | 0 993.08/993.50 c 993s | 25 | 9106015 | 6982698 | 2507 6476 | 0 | 0 995.08/995.51 c 995s | 25 | 9123506 | 6996298 | 2507 6486 | 0 | 0 997.07/997.52 c 997s | 25 | 9142492 | 7010598 | 2507 6497 | 0 | 0 999.07/999.52 c 999s | 25 | 9159959 | 7024098 | 2507 6507 | 0 | 0 1001.07/1001.53 c 1001s | 25 | 9176114 | 7036898 | 2507 6516 | 0 | 0 1003.07/1003.54 c 1003s | 25 | 9192786 | 7049698 | 2507 6526 | 0 | 0 1005.09/1005.55 c 1005s | 25 | 9209815 | 7062798 | 2507 6535 | 0 | 0 1007.08/1007.55 c 1007s | 25 | 9226372 | 7075898 | 2507 6545 | 0 | 0 1009.08/1009.55 c 1009s | 25 | 9245263 | 7089898 | 2507 6555 | 0 | 0 1011.08/1011.55 c 1011s | 25 | 9263100 | 7103698 | 2507 6566 | 0 | 0 1013.08/1013.56 c 1013s | 25 | 9281933 | 7117698 | 2507 6576 | 0 | 0 1015.08/1015.57 c 1015s | 25 | 9298962 | 7131298 | 2507 6586 | 0 | 0 1017.09/1017.58 c 1017s | 25 | 9316532 | 7144998 | 2507 6596 | 0 | 0 1019.08/1019.58 c 1019s | 25 | 9331876 | 7156498 | 2507 6605 | 0 | 0 1021.18/1021.60 c 1021s | 25 | 9348688 | 7169298 | 2507 6615 | 0 | 0 1023.18/1023.62 c 1023s | 25 | 9362931 | 7180498 | 2507 6624 | 0 | 0 1025.18/1025.63 c 1025s | 25 | 9379016 | 7193298 | 2507 6633 | 0 | 0 1027.17/1027.63 c 1027s | 25 | 9393867 | 7204898 | 2507 6642 | 0 | 0 1029.18/1029.64 c 1029s | 25 | 9409164 | 7216798 | 2507 6651 | 0 | 0 1031.17/1031.64 c 1031s | 25 | 9424565 | 7228898 | 2507 6660 | 0 | 0 1033.17/1033.66 c 1033s | 25 | 9439463 | 7241098 | 2507 6669 | 0 | 0 1035.17/1035.66 c 1035s | 25 | 9456903 | 7254398 | 2507 6679 | 0 | 0 1037.17/1037.66 c 1037s | 25 | 9474425 | 7267998 | 2507 6689 | 0 | 0 1039.18/1039.66 c 1039s | 25 | 9491065 | 7280798 | 2507 6698 | 0 | 0 1041.17/1041.67 c 1041s | 25 | 9508143 | 7294098 | 2507 6708 | 0 | 0 1043.17/1043.67 c 1043s | 25 | 9524961 | 7306498 | 2507 6718 | 0 | 0 1045.17/1045.68 c 1045s | 25 | 9542443 | 7319798 | 2507 6727 | 0 | 0 1047.17/1047.68 c 1047s | 25 | 9558393 | 7332198 | 2507 6737 | 0 | 0 1049.17/1049.69 c 1049s | 25 | 9574681 | 7344598 | 2507 6746 | 0 | 0 1051.17/1051.70 c 1051s | 25 | 9591932 | 7357498 | 2507 6756 | 0 | 0 1053.27/1053.71 c 1053s | 25 | 9607420 | 7369498 | 2507 6765 | 0 | 0 1055.27/1055.72 c 1055s | 25 | 9623027 | 7381698 | 2507 6774 | 0 | 0 1057.27/1057.73 c 1057s | 25 | 9641187 | 7395298 | 2507 6784 | 0 | 0 1059.27/1059.74 c 1059s | 25 | 9657991 | 7408198 | 2507 6793 | 0 | 0 1061.27/1061.75 c 1061s | 25 | 9674888 | 7420998 | 2507 6803 | 0 | 0 1063.28/1063.76 c 1063s | 25 | 9693010 | 7434398 | 2507 6813 | 0 | 0 1065.27/1065.77 c 1065s | 25 | 9709935 | 7447298 | 2507 6823 | 0 | 0 1067.27/1067.78 c 1067s | 25 | 9727279 | 7460598 | 2507 6833 | 0 | 0 1069.27/1069.79 c 1069s | 25 | 9744676 | 7473598 | 2507 6842 | 0 | 0 1071.27/1071.79 c 1071s | 25 | 9762828 | 7486898 | 2507 6852 | 0 | 0 1073.37/1073.80 c 1073s | 25 | 9780732 | 7500598 | 2507 6862 | 0 | 0 1075.38/1075.81 c 1075s | 25 | 9800359 | 7515298 | 2507 6873 | 0 | 0 1077.37/1077.83 c 1077s | 25 | 9818292 | 7528598 | 2507 6883 | 0 | 0 1079.37/1079.83 c 1079s | 25 | 9837488 | 7542698 | 2507 6894 | 0 | 0 1081.37/1081.85 c 1081s | 25 | 9856551 | 7556498 | 2758 6903 | 0 | 0 1083.37/1083.85 c 1083s | 25 | 9874968 | 7569998 | 2758 6912 | 0 | 0 1085.37/1085.86 c 1085s | 25 | 9893384 | 7583998 | 2758 6922 | 0 | 0 1087.37/1087.87 c 1087s | 25 | 9910792 | 7597098 | 2758 6931 | 0 | 0 1087.47/1087.97 c 1087s | 26 | 9911590 | 7597752 | 2758 6931 | 0 | 0 1089.47/1089.99 c 1089s | 26 | 9926092 | 7609152 | 2758 6939 | 0 | 0 1091.57/1092.00 c 1091s | 26 | 9940082 | 7620552 | 2758 6947 | 0 | 0 1093.56/1094.01 c 1093s | 26 | 9955269 | 7632052 | 2758 6955 | 0 | 0 1095.56/1096.03 c 1096s | 26 | 9968969 | 7642752 | 2758 6962 | 0 | 0 1097.56/1098.04 c 1098s | 26 | 9982074 | 7653452 | 2758 6969 | 0 | 0 1099.57/1100.05 c 1100s | 26 | 9996768 | 7664452 | 2758 6977 | 0 | 0 1101.56/1102.05 c 1102s | 26 | 10010766 | 7675352 | 2758 6984 | 0 | 0 1103.56/1104.06 c 1104s | 26 | 10025494 | 7686452 | 2758 6992 | 0 | 0 1105.56/1106.08 c 1106s | 26 | 10040576 | 7697652 | 2758 7000 | 0 | 0 1107.56/1108.09 c 1108s | 26 | 10057377 | 7709752 | 2758 7008 | 0 | 0 1109.66/1110.10 c 1110s | 26 | 10073535 | 7722052 | 2758 7016 | 0 | 0 1111.67/1112.10 c 1112s | 26 | 10089378 | 7734152 | 2758 7024 | 0 | 0 1113.66/1114.12 c 1114s | 26 | 10105233 | 7746352 | 2758 7033 | 0 | 0 1115.66/1116.12 c 1116s | 26 | 10120756 | 7758152 | 2758 7040 | 0 | 0 1117.66/1118.14 c 1118s | 26 | 10136527 | 7769952 | 2758 7048 | 0 | 0 1119.66/1120.14 c 1120s | 26 | 10152774 | 7782152 | 2758 7057 | 0 | 0 1121.66/1122.15 c 1122s | 26 | 10168596 | 7794352 | 2758 7065 | 0 | 0 1123.66/1124.17 c 1124s | 26 | 10184348 | 7806352 | 2758 7073 | 0 | 0 1125.65/1126.17 c 1126s | 26 | 10200155 | 7818352 | 2758 7082 | 0 | 0 1127.65/1128.18 c 1128s | 26 | 10216085 | 7830452 | 2758 7090 | 0 | 0 1129.66/1130.19 c 1130s | 26 | 10231813 | 7842452 | 2758 7098 | 0 | 0 1131.76/1132.20 c 1132s | 26 | 10247337 | 7854252 | 2758 7106 | 0 | 0 1133.77/1134.21 c 1134s | 26 | 10262194 | 7865552 | 2758 7114 | 0 | 0 1135.76/1136.21 c 1136s | 26 | 10277716 | 7877352 | 2758 7122 | 0 | 0 1137.76/1138.24 c 1138s | 26 | 10293210 | 7888852 | 2758 7130 | 0 | 0 1139.76/1140.25 c 1140s | 26 | 10309219 | 7900752 | 2758 7138 | 0 | 0 1141.76/1142.26 c 1142s | 26 | 10326136 | 7913352 | 2758 7146 | 0 | 0 1143.76/1144.27 c 1144s | 26 | 10340708 | 7924652 | 2758 7154 | 0 | 0 1145.76/1146.27 c 1146s | 26 | 10356551 | 7936752 | 2758 7162 | 0 | 0 1147.76/1148.28 c 1148s | 26 | 10371581 | 7948252 | 2758 7170 | 0 | 0 1149.76/1150.28 c 1150s | 26 | 10386135 | 7959852 | 2758 7178 | 0 | 0 1151.86/1152.30 c 1152s | 26 | 10401664 | 7971652 | 2758 7186 | 0 | 0 1153.86/1154.30 c 1154s | 26 | 10415961 | 7983352 | 2758 7194 | 0 | 0 1155.85/1156.31 c 1156s | 26 | 10430729 | 7994752 | 2758 7202 | 0 | 0 1157.86/1158.32 c 1158s | 26 | 10445983 | 8006352 | 2758 7210 | 0 | 0 1159.85/1160.34 c 1160s | 26 | 10463411 | 8018852 | 2758 7218 | 0 | 0 1161.85/1162.34 c 1162s | 26 | 10480070 | 8031352 | 2758 7227 | 0 | 0 1163.85/1164.35 c 1164s | 26 | 10498128 | 8044352 | 2758 7236 | 0 | 0 1165.85/1166.36 c 1166s | 26 | 10515996 | 8057352 | 2758 7245 | 0 | 0 1167.86/1168.37 c 1168s | 26 | 10532290 | 8069352 | 2758 7253 | 0 | 0 1169.85/1170.38 c 1170s | 26 | 10548592 | 8082052 | 2758 7262 | 0 | 0 1171.85/1172.39 c 1172s | 26 | 10564088 | 8094152 | 2758 7270 | 0 | 0 1173.95/1174.40 c 1174s | 26 | 10581558 | 8106852 | 2758 7278 | 0 | 0 1175.95/1176.41 c 1176s | 26 | 10597205 | 8118852 | 2758 7287 | 0 | 0 1177.95/1178.43 c 1178s | 26 | 10614020 | 8131152 | 2758 7295 | 0 | 0 1179.96/1180.44 c 1180s | 26 | 10629994 | 8143652 | 2758 7304 | 0 | 0 1181.95/1182.45 c 1182s | 26 | 10646174 | 8155852 | 2758 7312 | 0 | 0 1183.95/1184.46 c 1184s | 26 | 10663713 | 8169152 | 2758 7321 | 0 | 0 1185.95/1186.47 c 1186s | 26 | 10681166 | 8182352 | 2758 7330 | 0 | 0 1187.95/1188.48 c 1188s | 26 | 10696815 | 8194552 | 2758 7338 | 0 | 0 1189.95/1190.48 c 1190s | 26 | 10714633 | 8208152 | 2758 7348 | 0 | 0 1191.95/1192.50 c 1192s | 26 | 10731948 | 8221652 | 2758 7357 | 0 | 0 1194.05/1194.51 c 1194s | 26 | 10750781 | 8235552 | 2758 7366 | 0 | 0 1196.05/1196.52 c 1196s | 26 | 10765874 | 8247052 | 2758 7374 | 0 | 0 1198.05/1198.53 c 1198s | 26 | 10782654 | 8259752 | 2758 7383 | 0 | 0 1200.05/1200.55 c 1200s | 26 | 10799831 | 8272652 | 2758 7392 | 0 | 0 1202.05/1202.57 c 1202s | 26 | 10817872 | 8285952 | 2758 7401 | 0 | 0 1204.05/1204.58 c 1204s | 26 | 10835292 | 8298952 | 2758 7409 | 0 | 0 1206.05/1206.58 c 1206s | 26 | 10850882 | 8310752 | 2758 7417 | 0 | 0 1208.05/1208.59 c 1208s | 26 | 10867810 | 8323152 | 2758 7426 | 0 | 0 1210.14/1210.60 c 1210s | 26 | 10886123 | 8336552 | 2758 7435 | 0 | 0 1212.14/1212.61 c 1212s | 26 | 10904454 | 8349652 | 2758 7444 | 0 | 0 1214.14/1214.64 c 1214s | 26 | 10920688 | 8362152 | 2758 7453 | 0 | 0 1216.15/1216.64 c 1216s | 26 | 10935878 | 8373452 | 2758 7460 | 0 | 0 1218.14/1218.65 c 1218s | 26 | 10952390 | 8386152 | 2758 7469 | 0 | 0 1220.14/1220.66 c 1220s | 26 | 10970135 | 8398952 | 2758 7478 | 0 | 0 1222.14/1222.66 c 1222s | 26 | 10988077 | 8412152 | 2758 7487 | 0 | 0 1224.14/1224.67 c 1224s | 26 | 11005627 | 8425052 | 2758 7495 | 0 | 0 1226.15/1226.68 c 1226s | 26 | 11022754 | 8437952 | 2758 7504 | 0 | 0 1228.14/1228.69 c 1228s | 26 | 11039666 | 8450452 | 2758 7513 | 0 | 0 1230.14/1230.69 c 1230s | 26 | 11056136 | 8463052 | 2758 7521 | 0 | 0 1232.25/1232.70 c 1232s | 26 | 11074090 | 8476452 | 2758 7531 | 0 | 0 1234.25/1234.72 c 1234s | 26 | 11092327 | 8489852 | 2758 7540 | 0 | 0 1236.25/1236.73 c 1236s | 26 | 11107565 | 8501552 | 2758 7548 | 0 | 0 1238.25/1238.74 c 1238s | 26 | 11122364 | 8513252 | 2758 7556 | 0 | 0 1240.25/1240.75 c 1240s | 26 | 11138205 | 8525352 | 2758 7564 | 0 | 0 1242.25/1242.77 c 1242s | 26 | 11153466 | 8537252 | 2758 7572 | 0 | 0 1244.24/1244.77 c 1244s | 26 | 11170419 | 8549652 | 2758 7580 | 0 | 0 1246.24/1246.79 c 1246s | 26 | 11189150 | 8563152 | 2758 7589 | 0 | 0 1248.24/1248.79 c 1248s | 26 | 11206986 | 8576852 | 2758 7599 | 0 | 0 1250.25/1250.79 c 1250s | 26 | 11224474 | 8589752 | 2758 7608 | 0 | 0 1252.34/1252.80 c 1252s | 26 | 11242822 | 8603152 | 2758 7617 | 0 | 0 1254.34/1254.80 c 1254s | 26 | 11261128 | 8616852 | 2758 7626 | 0 | 0 1256.34/1256.82 c 1256s | 26 | 11277833 | 8629652 | 2758 7635 | 0 | 0 1258.34/1258.83 c 1258s | 26 | 11293538 | 8642052 | 2758 7643 | 0 | 0 1260.34/1260.83 c 1260s | 26 | 11310237 | 8654852 | 2758 7652 | 0 | 0 1262.34/1262.85 c 1262s | 26 | 11329420 | 8669152 | 2758 7662 | 0 | 0 1264.34/1264.85 c 1264s | 26 | 11347243 | 8682652 | 2758 7671 | 0 | 0 1266.34/1266.87 c 1266s | 26 | 11364531 | 8695652 | 2758 7680 | 0 | 0 1268.34/1268.88 c 1268s | 26 | 11380274 | 8707952 | 2758 7689 | 0 | 0 1270.34/1270.89 c 1270s | 26 | 11395765 | 8719952 | 2758 7697 | 0 | 0 1272.44/1272.90 c 1272s | 26 | 11410843 | 8731652 | 2758 7705 | 0 | 0 1274.44/1274.91 c 1274s | 26 | 11426714 | 8743552 | 2758 7713 | 0 | 0 1276.43/1276.92 c 1276s | 26 | 11442646 | 8755352 | 2758 7721 | 0 | 0 1278.43/1278.92 c 1278s | 26 | 11459957 | 8768452 | 2758 7730 | 0 | 0 1280.43/1280.93 c 1280s | 26 | 11476929 | 8781352 | 2758 7739 | 0 | 0 1282.43/1282.94 c 1282s | 26 | 11494691 | 8794152 | 2758 7747 | 0 | 0 1284.44/1284.95 c 1284s | 26 | 11511578 | 8807452 | 2758 7756 | 0 | 0 1286.43/1286.96 c 1286s | 26 | 11527537 | 8819752 | 2758 7765 | 0 | 0 1288.43/1288.97 c 1288s | 26 | 11543789 | 8832352 | 2758 7773 | 0 | 0 1290.43/1290.97 c 1290s | 26 | 11558685 | 8844352 | 2758 7781 | 0 | 0 1292.44/1292.98 c 1292s | 26 | 11576553 | 8857352 | 2758 7790 | 0 | 0 1294.44/1294.99 c 1294s | 26 | 11591243 | 8869152 | 2758 7798 | 0 | 0 1296.44/1297.00 c 1296s | 26 | 11607996 | 8882052 | 2758 7807 | 0 | 0 1298.54/1299.01 c 1298s | 26 | 11625502 | 8894952 | 2758 7816 | 0 | 0 1300.54/1301.02 c 1300s | 26 | 11642643 | 8907752 | 2758 7825 | 0 | 0 1302.54/1303.03 c 1303s | 26 | 11660044 | 8920352 | 2758 7833 | 0 | 0 1304.54/1305.04 c 1305s | 26 | 11678304 | 8933552 | 2758 7842 | 0 | 0 1306.54/1307.06 c 1307s | 26 | 11694687 | 8945852 | 2758 7851 | 0 | 0 1308.54/1309.07 c 1309s | 26 | 11712647 | 8959352 | 2758 7860 | 0 | 0 1310.53/1311.08 c 1311s | 26 | 11727607 | 8971452 | 2758 7868 | 0 | 0 1312.63/1313.12 c 1313s | 26 | 11743204 | 8983752 | 2758 7876 | 0 | 0 1314.63/1315.12 c 1315s | 26 | 11759331 | 8995652 | 2758 7884 | 0 | 0 1316.63/1317.13 c 1317s | 26 | 11775662 | 9007952 | 2758 7893 | 0 | 0 1318.63/1319.14 c 1319s | 26 | 11792614 | 9020552 | 2758 7901 | 0 | 0 1320.64/1321.15 c 1321s | 26 | 11812201 | 9034252 | 2758 7911 | 0 | 0 1322.63/1323.15 c 1323s | 26 | 11829076 | 9046852 | 2758 7919 | 0 | 0 1324.63/1325.17 c 1325s | 26 | 11846374 | 9059952 | 2758 7928 | 0 | 0 1326.63/1327.17 c 1327s | 26 | 11865046 | 9073452 | 2758 7937 | 0 | 0 1328.63/1329.17 c 1329s | 26 | 11882470 | 9086352 | 2758 7946 | 0 | 0 1330.63/1331.18 c 1331s | 26 | 11899803 | 9099352 | 2758 7955 | 0 | 0 1332.62/1333.19 c 1333s | 26 | 11917662 | 9111952 | 2758 7964 | 0 | 0 1334.72/1335.20 c 1335s | 26 | 11933513 | 9123952 | 2758 7972 | 0 | 0 1336.72/1337.21 c 1337s | 26 | 11949654 | 9136052 | 2758 7980 | 0 | 0 1338.72/1339.22 c 1339s | 26 | 11965899 | 9148052 | 2758 7988 | 0 | 0 1340.72/1341.23 c 1341s | 26 | 11982136 | 9160252 | 2758 7996 | 0 | 0 1342.73/1343.24 c 1343s | 26 | 11999067 | 9172952 | 2758 8005 | 0 | 0 1344.72/1345.26 c 1345s | 26 | 12015089 | 9185152 | 2758 8013 | 0 | 0 1346.73/1347.27 c 1347s | 26 | 12029761 | 9197052 | 2758 8022 | 0 | 0 1348.73/1349.27 c 1349s | 26 | 12044225 | 9208152 | 2758 8029 | 0 | 0 1350.73/1351.27 c 1351s | 26 | 12059477 | 9219052 | 2758 8037 | 0 | 0 1352.73/1353.28 c 1353s | 26 | 12075273 | 9230752 | 2758 8045 | 0 | 0 1354.74/1355.29 c 1355s | 26 | 12091514 | 9243052 | 2758 8053 | 0 | 0 1356.73/1357.29 c 1357s | 26 | 12108704 | 9255952 | 2758 8062 | 0 | 0 1358.83/1359.30 c 1359s | 26 | 12124633 | 9267752 | 2758 8070 | 0 | 0 1360.83/1361.30 c 1361s | 26 | 12142106 | 9280152 | 2758 8078 | 0 | 0 1362.83/1363.31 c 1363s | 26 | 12159768 | 9292852 | 2758 8087 | 0 | 0 1364.83/1365.32 c 1365s | 26 | 12177782 | 9305952 | 2758 8096 | 0 | 0 1366.83/1367.34 c 1367s | 26 | 12193656 | 9318252 | 2758 8104 | 0 | 0 1368.82/1369.35 c 1369s | 26 | 12208678 | 9329952 | 2758 8112 | 0 | 0 1370.82/1371.35 c 1371s | 26 | 12226308 | 9343152 | 2758 8121 | 0 | 0 1372.82/1373.36 c 1373s | 26 | 12242817 | 9355552 | 2758 8130 | 0 | 0 1374.82/1375.37 c 1375s | 26 | 12259143 | 9367652 | 2758 8138 | 0 | 0 1376.83/1377.38 c 1377s | 26 | 12274898 | 9379752 | 2758 8146 | 0 | 0 1378.82/1379.39 c 1379s | 26 | 12291503 | 9392652 | 2758 8155 | 0 | 0 1380.92/1381.40 c 1381s | 26 | 12308042 | 9404852 | 2758 8163 | 0 | 0 1382.92/1383.41 c 1383s | 26 | 12325692 | 9417752 | 2758 8172 | 0 | 0 1384.92/1385.43 c 1385s | 26 | 12342893 | 9430552 | 2758 8181 | 0 | 0 1386.92/1387.43 c 1387s | 26 | 12360405 | 9443252 | 2758 8189 | 0 | 0 1388.93/1389.44 c 1389s | 26 | 12379187 | 9456552 | 2758 8198 | 0 | 0 1390.92/1391.45 c 1391s | 26 | 12392644 | 9467752 | 2758 8206 | 0 | 0 1392.92/1393.45 c 1393s | 26 | 12407910 | 9479552 | 2758 8214 | 0 | 0 1394.92/1395.46 c 1395s | 26 | 12424714 | 9491952 | 2758 8222 | 0 | 0 1396.92/1397.46 c 1397s | 26 | 12439415 | 9503252 | 2758 8230 | 0 | 0 1398.92/1399.47 c 1399s | 26 | 12455457 | 9515852 | 2758 8239 | 0 | 0 1400.92/1401.49 c 1401s | 26 | 12470915 | 9527752 | 2758 8247 | 0 | 0 1402.91/1403.49 c 1403s | 26 | 12488496 | 9540652 | 2758 8255 | 0 | 0 1405.01/1405.50 c 1405s | 26 | 12504253 | 9553052 | 2758 8264 | 0 | 0 1407.01/1407.51 c 1407s | 26 | 12523384 | 9566452 | 2758 8273 | 0 | 0 1409.01/1409.51 c 1409s | 26 | 12540510 | 9579252 | 2758 8282 | 0 | 0 1411.02/1411.52 c 1411s | 26 | 12557373 | 9591752 | 2758 8290 | 0 | 0 1413.03/1413.53 c 1413s | 26 | 12573527 | 9603752 | 2758 8298 | 0 | 0 1415.02/1415.54 c 1415s | 26 | 12589853 | 9616152 | 2758 8307 | 0 | 0 1417.02/1417.55 c 1417s | 26 | 12606094 | 9628452 | 2758 8315 | 0 | 0 1419.02/1419.55 c 1419s | 26 | 12622197 | 9640652 | 2758 8323 | 0 | 0 1421.02/1421.56 c 1421s | 26 | 12639525 | 9653452 | 2758 8332 | 0 | 0 1423.03/1423.56 c 1423s | 26 | 12654481 | 9665152 | 2758 8340 | 0 | 0 1425.02/1425.57 c 1425s | 26 | 12670083 | 9677252 | 2758 8348 | 0 | 0 1427.01/1427.59 c 1427s | 26 | 12686613 | 9689452 | 2758 8357 | 0 | 0 1429.01/1429.59 c 1429s | 26 | 12701666 | 9700952 | 2758 8364 | 0 | 0 1431.11/1431.60 c 1431s | 26 | 12718324 | 9713252 | 2758 8373 | 0 | 0 1433.11/1433.61 c 1433s | 26 | 12735798 | 9726652 | 2758 8382 | 0 | 0 1435.12/1435.63 c 1435s | 26 | 12750771 | 9738352 | 2758 8390 | 0 | 0 1437.11/1437.63 c 1437s | 26 | 12768072 | 9751252 | 2758 8399 | 0 | 0 1439.11/1439.64 c 1439s | 26 | 12785912 | 9764052 | 2758 8408 | 0 | 0 1441.11/1441.65 c 1441s | 26 | 12803418 | 9776952 | 2758 8416 | 0 | 0 1443.11/1443.65 c 1443s | 26 | 12820348 | 9790052 | 2758 8425 | 0 | 0 1445.11/1445.66 c 1445s | 26 | 12837443 | 9802452 | 2758 8434 | 0 | 0 1447.12/1447.68 c 1447s | 26 | 12854087 | 9814952 | 2758 8442 | 0 | 0 1449.21/1449.70 c 1449s | 26 | 12869818 | 9826852 | 2758 8451 | 0 | 0 1451.21/1451.71 c 1451s | 26 | 12886677 | 9839252 | 2758 8459 | 0 | 0 1453.21/1453.72 c 1453s | 26 | 12902074 | 9851752 | 2758 8467 | 0 | 0 1455.21/1455.74 c 1455s | 26 | 12917130 | 9863452 | 2758 8476 | 0 | 0 1457.21/1457.76 c 1457s | 26 | 12934247 | 9876152 | 2758 8484 | 0 | 0 1459.22/1459.77 c 1459s | 26 | 12949998 | 9888152 | 2758 8492 | 0 | 0 1461.21/1461.77 c 1461s | 26 | 12965695 | 9900052 | 2758 8501 | 0 | 0 1463.21/1463.78 c 1463s | 26 | 12981055 | 9912252 | 2758 8509 | 0 | 0 1465.31/1465.80 c 1465s | 26 | 12994608 | 9922852 | 2758 8516 | 0 | 0 1467.31/1467.80 c 1467s | 26 | 13010168 | 9934652 | 2758 8524 | 0 | 0 1469.31/1469.81 c 1469s | 26 | 13027188 | 9946952 | 2758 8533 | 0 | 0 1471.31/1471.82 c 1471s | 26 | 13043273 | 9959852 | 2758 8541 | 0 | 0 1473.31/1473.82 c 1473s | 26 | 13059205 | 9971752 | 2758 8549 | 0 | 0 1475.30/1475.82 c 1475s | 26 | 13077452 | 9984752 | 2758 8558 | 0 | 0 1477.30/1477.84 c 1477s | 26 | 13094694 | 9997952 | 2758 8567 | 0 | 0 1479.30/1479.84 c 1479s | 26 | 13112440 | 10011152 | 2758 8576 | 0 | 0 1481.31/1481.85 c 1481s | 26 | 13129293 | 10023852 | 2758 8585 | 0 | 0 1483.30/1483.87 c 1483s | 26 | 13148128 | 10037452 | 2758 8594 | 0 | 0 1485.30/1485.88 c 1485s | 26 | 13164767 | 10049752 | 2758 8603 | 0 | 0 1487.30/1487.89 c 1487s | 26 | 13181846 | 10062752 | 2758 8612 | 0 | 0 1489.40/1489.90 c 1489s | 26 | 13197611 | 10074952 | 2758 8620 | 0 | 0 1491.40/1491.92 c 1491s | 26 | 13215174 | 10088452 | 2758 8629 | 0 | 0 1493.41/1493.92 c 1493s | 26 | 13232436 | 10101452 | 2758 8638 | 0 | 0 1495.40/1495.92 c 1495s | 26 | 13250267 | 10114852 | 2758 8647 | 0 | 0 1497.40/1497.93 c 1497s | 26 | 13266744 | 10127252 | 2758 8656 | 0 | 0 1499.40/1499.94 c 1499s | 26 | 13283783 | 10140252 | 2758 8665 | 0 | 0 1501.41/1501.96 c 1501s | 26 | 13298718 | 10151852 | 2758 8673 | 0 | 0 1503.40/1503.97 c 1503s | 26 | 13315668 | 10164352 | 2758 8681 | 0 | 0 1505.41/1505.98 c 1505s | 26 | 13332225 | 10176552 | 2758 8690 | 0 | 0 1507.40/1507.99 c 1507s | 26 | 13347647 | 10188452 | 2758 8698 | 0 | 0 1509.50/1510.01 c 1509s | 26 | 13364233 | 10200952 | 2758 8706 | 0 | 0 1511.50/1512.01 c 1511s | 26 | 13381872 | 10214052 | 2758 8715 | 0 | 0 1513.50/1514.02 c 1513s | 26 | 13399647 | 10227252 | 2758 8724 | 0 | 0 1515.50/1516.02 c 1515s | 26 | 13417285 | 10240652 | 2758 8733 | 0 | 0 1517.51/1518.03 c 1518s | 26 | 13432915 | 10252952 | 2758 8742 | 0 | 0 1519.50/1520.04 c 1520s | 26 | 13449314 | 10265652 | 2758 8750 | 0 | 0 1521.50/1522.05 c 1522s | 26 | 13465750 | 10278052 | 2758 8759 | 0 | 0 1523.50/1524.06 c 1524s | 26 | 13483768 | 10291152 | 2758 8768 | 0 | 0 1525.50/1526.07 c 1526s | 26 | 13503261 | 10304752 | 2758 8777 | 0 | 0 1527.51/1528.07 c 1528s | 26 | 13519124 | 10316952 | 2758 8785 | 0 | 0 1529.50/1530.08 c 1530s | 26 | 13536479 | 10329352 | 2758 8794 | 0 | 0 1531.50/1532.09 c 1532s | 26 | 13552788 | 10341852 | 2758 8802 | 0 | 0 1533.50/1534.09 c 1534s | 26 | 13570028 | 10354552 | 2758 8811 | 0 | 0 1535.60/1536.11 c 1536s | 26 | 13585808 | 10366652 | 2758 8819 | 0 | 0 1537.60/1538.12 c 1538s | 26 | 13601639 | 10378552 | 2758 8827 | 0 | 0 1539.61/1540.13 c 1540s | 26 | 13619060 | 10391252 | 2758 8836 | 0 | 0 1541.60/1542.14 c 1542s | 26 | 13635921 | 10403452 | 2758 8844 | 0 | 0 1543.60/1544.15 c 1544s | 26 | 13652259 | 10415552 | 2758 8852 | 0 | 0 1545.60/1546.15 c 1546s | 26 | 13666256 | 10426652 | 2758 8860 | 0 | 0 1547.60/1548.16 c 1548s | 26 | 13681338 | 10438352 | 2758 8868 | 0 | 0 1549.60/1550.16 c 1550s | 26 | 13696522 | 10449952 | 2758 8876 | 0 | 0 1551.60/1552.16 c 1552s | 26 | 13712636 | 10461852 | 2758 8884 | 0 | 0 1553.59/1554.17 c 1554s | 26 | 13730699 | 10474752 | 2758 8893 | 0 | 0 1555.59/1556.18 c 1556s | 26 | 13746977 | 10487252 | 2758 8901 | 0 | 0 1557.59/1558.19 c 1558s | 26 | 13764319 | 10500052 | 2758 8910 | 0 | 0 1559.69/1560.20 c 1560s | 26 | 13780962 | 10512552 | 2758 8919 | 0 | 0 1561.69/1562.22 c 1562s | 26 | 13793731 | 10523052 | 2758 8926 | 0 | 0 1563.70/1564.23 c 1564s | 26 | 13807311 | 10533452 | 2758 8933 | 0 | 0 1565.69/1566.25 c 1566s | 26 | 13820780 | 10543552 | 2758 8940 | 0 | 0 1567.69/1568.25 c 1568s | 26 | 13836218 | 10555052 | 2758 8948 | 0 | 0 1569.69/1570.27 c 1570s | 26 | 13849637 | 10565552 | 2758 8955 | 0 | 0 1571.69/1572.28 c 1572s | 26 | 13863123 | 10575852 | 2758 8962 | 0 | 0 1573.70/1574.28 c 1574s | 26 | 13878264 | 10587352 | 2758 8970 | 0 | 0 1575.69/1576.29 c 1576s | 26 | 13892511 | 10598752 | 2758 8977 | 0 | 0 1577.69/1578.29 c 1578s | 26 | 13906545 | 10609752 | 2758 8985 | 0 | 0 1579.79/1580.30 c 1580s | 26 | 13920222 | 10620152 | 2758 8992 | 0 | 0 1581.79/1582.30 c 1582s | 26 | 13934541 | 10631352 | 2758 9000 | 0 | 0 1583.79/1584.30 c 1584s | 26 | 13948204 | 10642252 | 2758 9007 | 0 | 0 1585.80/1586.31 c 1586s | 26 | 13961357 | 10652752 | 2758 9014 | 0 | 0 1587.79/1588.32 c 1588s | 26 | 13976816 | 10664452 | 2758 9022 | 0 | 0 1589.79/1590.32 c 1590s | 26 | 13992113 | 10676552 | 2758 9031 | 0 | 0 1591.79/1592.32 c 1592s | 26 | 14008048 | 10688352 | 2758 9039 | 0 | 0 1593.78/1594.33 c 1594s | 26 | 14024484 | 10700752 | 2758 9047 | 0 | 0 1595.78/1596.34 c 1596s | 26 | 14039911 | 10712752 | 2758 9055 | 0 | 0 1597.79/1598.36 c 1598s | 26 | 14054610 | 10724452 | 2758 9063 | 0 | 0 1599.78/1600.37 c 1600s | 26 | 14069697 | 10736152 | 2758 9071 | 0 | 0 1601.78/1602.37 c 1602s | 26 | 14082562 | 10746452 | 2758 9078 | 0 | 0 1603.78/1604.39 c 1604s | 26 | 14097948 | 10758552 | 2758 9087 | 0 | 0 1605.88/1606.40 c 1606s | 26 | 14114856 | 10771152 | 2758 9095 | 0 | 0 1607.88/1608.41 c 1608s | 26 | 14131648 | 10783252 | 2758 9104 | 0 | 0 1609.89/1610.41 c 1610s | 26 | 14148963 | 10795752 | 2758 9112 | 0 | 0 1611.88/1612.43 c 1612s | 26 | 14164282 | 10808052 | 2758 9120 | 0 | 0 1613.89/1614.43 c 1614s | 26 | 14177108 | 10818352 | 2758 9127 | 0 | 0 1615.89/1616.43 c 1616s | 26 | 14190862 | 10829052 | 2758 9135 | 0 | 0 1617.89/1618.43 c 1618s | 26 | 14206324 | 10840352 | 2758 9142 | 0 | 0 1619.89/1620.44 c 1620s | 26 | 14221079 | 10851852 | 2758 9150 | 0 | 0 1621.89/1622.45 c 1622s | 26 | 14235555 | 10863252 | 2758 9158 | 0 | 0 1623.89/1624.45 c 1624s | 26 | 14250723 | 10874452 | 2758 9166 | 0 | 0 1625.89/1626.46 c 1626s | 26 | 14263732 | 10884752 | 2758 9173 | 0 | 0 1627.89/1628.47 c 1628s | 26 | 14280694 | 10897552 | 2758 9181 | 0 | 0 1629.89/1630.47 c 1630s | 26 | 14298235 | 10910552 | 2758 9190 | 0 | 0 1631.89/1632.49 c 1632s | 26 | 14314552 | 10922552 | 2758 9198 | 0 | 0 1633.88/1634.50 c 1634s | 26 | 14328736 | 10933452 | 2758 9206 | 0 | 0 1635.98/1636.51 c 1636s | 26 | 14346104 | 10946352 | 2758 9215 | 0 | 0 1637.98/1638.52 c 1638s | 26 | 14362509 | 10958652 | 2758 9223 | 0 | 0 1639.98/1640.52 c 1640s | 26 | 14378636 | 10970652 | 2758 9231 | 0 | 0 1641.98/1642.53 c 1642s | 26 | 14394428 | 10982352 | 2758 9239 | 0 | 0 1643.99/1644.54 c 1644s | 26 | 14411076 | 10995152 | 2758 9248 | 0 | 0 1645.98/1646.56 c 1646s | 26 | 14427836 | 11007752 | 2758 9256 | 0 | 0 1647.98/1648.57 c 1648s | 26 | 14445163 | 11020352 | 2758 9265 | 0 | 0 1649.98/1650.59 c 1650s | 26 | 14462344 | 11033252 | 2758 9274 | 0 | 0 1652.08/1652.60 c 1652s | 26 | 14477629 | 11045052 | 2758 9282 | 0 | 0 1654.08/1654.61 c 1654s | 26 | 14493400 | 11057152 | 2758 9290 | 0 | 0 1656.08/1656.61 c 1656s | 26 | 14509926 | 11069752 | 2758 9298 | 0 | 0 1658.08/1658.63 c 1658s | 26 | 14526491 | 11082552 | 2758 9307 | 0 | 0 1660.07/1660.64 c 1660s | 26 | 14542512 | 11094652 | 2758 9315 | 0 | 0 1662.07/1662.64 c 1662s | 26 | 14556067 | 11105652 | 2758 9323 | 0 | 0 1664.07/1664.65 c 1664s | 26 | 14573384 | 11118852 | 2758 9332 | 0 | 0 1666.08/1666.66 c 1666s | 26 | 14590464 | 11131352 | 2758 9340 | 0 | 0 1668.07/1668.67 c 1668s | 26 | 14608520 | 11144752 | 2758 9350 | 0 | 0 1670.07/1670.67 c 1670s | 26 | 14624685 | 11156852 | 2758 9358 | 0 | 0 1672.07/1672.67 c 1672s | 26 | 14644349 | 11170452 | 2758 9367 | 0 | 0 1674.08/1674.68 c 1674s | 26 | 14661459 | 11183352 | 2758 9376 | 0 | 0 1676.18/1676.70 c 1676s | 26 | 14675906 | 11194852 | 2758 9384 | 0 | 0 1678.18/1678.72 c 1678s | 26 | 14694048 | 11207752 | 2758 9393 | 0 | 0 1680.18/1680.72 c 1680s | 26 | 14712366 | 11221152 | 2758 9402 | 0 | 0 1682.18/1682.72 c 1682s | 26 | 14729922 | 11234452 | 2758 9411 | 0 | 0 1684.18/1684.72 c 1684s | 26 | 14746809 | 11247352 | 2758 9420 | 0 | 0 1686.18/1686.73 c 1686s | 26 | 14764332 | 11260752 | 2758 9429 | 0 | 0 1688.18/1688.73 c 1688s | 26 | 14780478 | 11272952 | 2758 9437 | 0 | 0 1690.18/1690.73 c 1690s | 26 | 14796965 | 11285752 | 2758 9446 | 0 | 0 1692.17/1692.74 c 1692s | 26 | 14814784 | 11298952 | 2758 9455 | 0 | 0 1694.17/1694.75 c 1694s | 26 | 14828946 | 11310352 | 2758 9463 | 0 | 0 1696.17/1696.76 c 1696s | 26 | 14845977 | 11322852 | 3034 9471 | 0 | 0 1698.17/1698.78 c 1698s | 26 | 14862679 | 11335452 | 3034 9478 | 0 | 0 1700.18/1700.78 c 1700s | 26 | 14879239 | 11347452 | 3034 9486 | 0 | 0 1702.17/1702.79 c 1702s | 26 | 14894145 | 11358952 | 3034 9493 | 0 | 0 1704.27/1704.80 c 1704s | 26 | 14907827 | 11369052 | 3034 9499 | 0 | 0 1706.27/1706.80 c 1706s | 26 | 14922205 | 11379552 | 3034 9506 | 0 | 0 1708.27/1708.80 c 1708s | 26 | 14935019 | 11389952 | 3034 9512 | 0 | 0 1709.57/1710.11 c 1710s | 27 | 14943672 | 11396733 | 3034 9517 | 0 | 0 1711.57/1712.12 c 1712s | 27 | 14958923 | 11408433 | 3034 9524 | 0 | 0 1713.57/1714.13 c 1714s | 27 | 14974294 | 11420433 | 3034 9531 | 0 | 0 1715.57/1716.14 c 1716s | 27 | 14989595 | 11432633 | 3034 9539 | 0 | 0 1717.57/1718.14 c 1718s | 27 | 15006064 | 11445233 | 3034 9547 | 0 | 0 1719.57/1720.16 c 1720s | 27 | 15022245 | 11457733 | 3034 9555 | 0 | 0 1721.57/1722.17 c 1722s | 27 | 15038792 | 11470333 | 3034 9562 | 0 | 0 1723.57/1724.19 c 1724s | 27 | 15053890 | 11481933 | 3034 9570 | 0 | 0 1725.67/1726.21 c 1726s | 27 | 15069499 | 11494433 | 3034 9577 | 0 | 0 1727.68/1728.21 c 1728s | 27 | 15086287 | 11507633 | 3034 9585 | 0 | 0 1729.67/1730.21 c 1730s | 27 | 15102275 | 11520033 | 3034 9593 | 0 | 0 1731.67/1732.22 c 1732s | 27 | 15118080 | 11532333 | 3034 9601 | 0 | 0 1733.67/1734.24 c 1734s | 27 | 15134299 | 11544733 | 3034 9609 | 0 | 0 1735.67/1736.26 c 1736s | 27 | 15150618 | 11557133 | 3034 9616 | 0 | 0 1737.67/1738.27 c 1738s | 27 | 15168196 | 11570233 | 3034 9624 | 0 | 0 1739.68/1740.27 c 1740s | 27 | 15184062 | 11582533 | 3034 9632 | 0 | 0 1741.67/1742.28 c 1742s | 27 | 15201611 | 11595533 | 3034 9640 | 0 | 0 1743.67/1744.28 c 1744s | 27 | 15219074 | 11609033 | 3034 9648 | 0 | 0 1745.67/1746.30 c 1746s | 27 | 15235192 | 11621333 | 3034 9656 | 0 | 0 1747.77/1748.30 c 1748s | 27 | 15252323 | 11634033 | 3034 9664 | 0 | 0 1749.77/1750.32 c 1750s | 27 | 15267876 | 11646333 | 3034 9672 | 0 | 0 1751.77/1752.33 c 1752s | 27 | 15282423 | 11657733 | 3034 9679 | 0 | 0 1753.77/1754.35 c 1754s | 27 | 15297619 | 11669033 | 3034 9686 | 0 | 0 1755.77/1756.35 c 1756s | 27 | 15314193 | 11681433 | 3034 9693 | 0 | 0 1757.76/1758.36 c 1758s | 27 | 15331497 | 11694133 | 3034 9701 | 0 | 0 1759.76/1760.36 c 1760s | 27 | 15348163 | 11706233 | 3034 9709 | 0 | 0 1761.77/1762.37 c 1762s | 27 | 15362259 | 11717333 | 3034 9716 | 0 | 0 1763.76/1764.38 c 1764s | 27 | 15377606 | 11729133 | 3034 9723 | 0 | 0 1765.76/1766.39 c 1766s | 27 | 15392978 | 11741233 | 3034 9731 | 0 | 0 1767.76/1768.39 c 1768s | 27 | 15409332 | 11753633 | 3034 9738 | 0 | 0 1769.76/1770.40 c 1770s | 27 | 15423483 | 11764833 | 3034 9745 | 0 | 0 1771.86/1772.41 c 1772s | 27 | 15440138 | 11777333 | 3034 9753 | 0 | 0 1773.87/1774.41 c 1774s | 27 | 15455615 | 11788933 | 3034 9760 | 0 | 0 1775.86/1776.43 c 1776s | 27 | 15470213 | 11800033 | 3034 9767 | 0 | 0 1777.86/1778.43 c 1778s | 27 | 15485966 | 11811533 | 3034 9774 | 0 | 0 1779.86/1780.44 c 1780s | 27 | 15500709 | 11823333 | 3034 9782 | 0 | 0 1781.86/1782.45 c 1782s | 27 | 15514333 | 11834033 | 3034 9788 | 0 | 0 1783.86/1784.45 c 1784s | 27 | 15529501 | 11845533 | 3034 9795 | 0 | 0 1785.87/1786.46 c 1786s | 27 | 15543096 | 11856533 | 3034 9802 | 0 | 0 1787.86/1788.47 c 1788s | 27 | 15558084 | 11868433 | 3034 9810 | 0 | 0 1789.86/1790.50 c 1790s | 27 | 15571894 | 11879533 | 3034 9816 | 0 | 0 1791.96/1792.52 c 1792s | 27 | 15587653 | 11891433 | 3034 9824 | 0 | 0 1793.96/1794.52 c 1794s | 27 | 15604449 | 11904033 | 3034 9832 | 0 | 0 1795.96/1796.52 c 1796s | 27 | 15620373 | 11916333 | 3034 9839 | 0 | 0 1797.96/1798.52 c 1798s | 27 | 15636322 | 11928433 | 3034 9847 | 0 | 0 1799.95/1800.54 c 1800s | 27 | 15651940 | 11940833 | 3034 9855 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4121002-1467313178/watcher-4121002-1467313178 -o /tmp/evaluation-result-4121002-1467313178/solver-4121002-1467313178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121002-1467313178.opb pid=17193 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 [startup+0 s] /proc/loadavg: 2.21 2.19 2.17 3/179 17196 /proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/17196/stat : 17196 (runsolver) R 17193 16091 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 1 0 12278682 24911872 51 33554432000 4194304 4338465 140736900754800 140736900752336 272889830983 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0 /proc/17196/statm: 6082 51 5 36 0 2655 0 Current StackSize limit: 10240 KiB [startup+0.100178 s] /proc/loadavg: 2.21 2.19 2.17 3/179 17196 /proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 23685 0 0 0 6 2 0 0 20 0 4 0 12278682 1247350784 23525 33554432000 4194304 16246674 140735496247440 140735496246864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/17196/statm: 304529 23533 708 2943 0 301423 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200384 s] /proc/loadavg: 2.21 2.19 2.17 3/179 17196 /proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 46471 0 0 0 12 6 0 0 20 0 4 0 12278682 1247350784 46310 33554432000 4194304 16246674 140735496247440 140735496230440 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 304529 46324 708 2943 0 301423 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300334 s] /proc/loadavg: 2.21 2.19 2.17 3/179 17196 /proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 69891 0 0 0 20 8 0 0 20 0 4 0 12278682 1247350784 69730 33554432000 4194304 16246674 140735496247440 140735496230440 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 304529 69747 708 2943 0 301423 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700308 s] /proc/loadavg: 2.21 2.19 2.17 3/179 17196 /proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 162886 0 0 0 49 19 0 0 20 0 4 0 12278682 1247350784 162725 33554432000 4194304 16246674 140735496247440 140735496230440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 304529 162733 708 2943 0 301423 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.21 2.19 2.17 3/183 17200 /proc/meminfo: memFree=27020900/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1219140 CPUtime=1.48 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 245630 0 0 0 116 32 0 0 20 0 4 0 12278682 1248399360 245449 33554432000 4194304 16246674 140735496247440 140735496246752 6021388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 304785 245449 784 2943 0 301679 0 [pid=17196/tid=17198] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10042 s] /proc/loadavg: 2.21 2.19 2.17 3/183 17200 /proc/meminfo: memFree=26933976/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267469 0 0 0 272 36 0 0 20 0 4 0 12278682 1337528320 267288 33554432000 4194304 16246674 140735496247440 140735496229312 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 326545 267288 786 2943 0 323439 0 [pid=17196/tid=17198] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.20 2.18 2.17 4/183 17200 /proc/meminfo: memFree=26932104/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267716 0 0 0 592 36 0 0 20 0 4 0 12278682 1338576896 267535 33554432000 4194304 16246674 140735496247440 140735496229312 13820120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 326801 267535 786 2943 0 323695 0 [pid=17196/tid=17198] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7005 s] /proc/loadavg: 2.18 2.18 2.16 3/183 17200 /proc/meminfo: memFree=26931028/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1308228 CPUtime=12.67 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267971 0 0 0 1231 36 0 0 20 0 4 0 12278682 1339625472 267790 33554432000 4194304 16246674 140735496247440 140735496229312 6842957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327057 267790 786 2943 0 323951 0 [pid=17196/tid=17198] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.14 2.17 2.16 3/184 17203 /proc/meminfo: memFree=26932232/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1309252 CPUtime=25.47 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268121 0 0 0 2510 37 0 0 20 0 4 0 12278682 1340674048 267940 33554432000 4194304 16246674 140735496247440 140735496230440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327313 267940 786 2943 0 324207 0 [pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.09 2.16 2.16 4/184 17203 /proc/meminfo: memFree=26931108/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1309252 CPUtime=51.07 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268349 0 0 0 5069 38 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496229312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327313 268159 787 2943 0 324207 0 [pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.04 2.13 2.15 3/184 17228 /proc/meminfo: memFree=26931616/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1309252 CPUtime=102.25 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268368 0 0 0 10186 39 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496230440 5823723 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327313 268159 787 2943 0 324207 0 [pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1309252 [startup+162.3 s] /proc/loadavg: 2.06 2.12 2.14 3/183 17229 /proc/meminfo: memFree=26931288/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1309252 CPUtime=162.23 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268395 0 0 0 16182 41 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496230440 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327313 268159 787 2943 0 324207 0 [pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1309252 [startup+222.308 s] /proc/loadavg: 2.12 2.12 2.14 3/183 17230 /proc/meminfo: memFree=26931752/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1309252 CPUtime=222.21 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268421 0 0 0 22178 43 0 0 20 0 4 0 12278682 1340674048 268160 33554432000 4194304 16246674 140735496247440 140735496229312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 327313 268160 788 2943 0 324207 0 [pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1314372 [startup+1302.3 s] /proc/loadavg: 2.15 2.19 2.18 3/183 17501 /proc/meminfo: memFree=26931768/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1301.84 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 130126 58 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496230440 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.35 2.23 2.19 3/183 17551 /proc/meminfo: memFree=26930040/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1361.83 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 136124 59 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5823765 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.27 2.22 2.18 3/183 17552 /proc/meminfo: memFree=26927160/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1421.83 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 142123 60 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5754712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.13 2.19 2.18 3/183 17553 /proc/meminfo: memFree=26927060/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1481.8 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 148120 60 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496230432 5672988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 2.21 2.20 2.18 3/183 17554 /proc/meminfo: memFree=26926096/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1541.8 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 154119 61 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.30 2.22 2.19 3/183 17555 /proc/meminfo: memFree=26926116/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1601.78 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 160117 61 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.16 2.19 2.18 4/183 17557 /proc/meminfo: memFree=26925028/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1314372 CPUtime=1661.77 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 166115 62 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5722972 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 328593 269441 789 2943 0 325487 0 [pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.24 2.20 2.18 3/183 17558 /proc/meminfo: memFree=26922084/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1317444 CPUtime=1721.77 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270557 0 0 0 172114 63 0 0 20 0 4 0 12278682 1349062656 269985 33554432000 4194304 16246674 140735496247440 140735496229312 5823863 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 329361 269985 789 2943 0 326255 0 [pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1317444 [startup+1782.3 s] /proc/loadavg: 2.20 2.19 2.18 4/183 17559 /proc/meminfo: memFree=26920744/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1317444 CPUtime=1781.76 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270781 0 0 0 178112 64 0 0 20 0 4 0 12278682 1349062656 270209 33554432000 4194304 16246674 140735496247440 140735496229312 5672209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 329361 270209 789 2943 0 326255 0 [pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1317444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.15 2.18 2.18 3/183 17560 /proc/meminfo: memFree=26920844/32872528 swapFree=1254912/1391860 [pid=17196] ppid=17193 vsize=1317444 CPUtime=1800.05 cores=1,3,5,7 /proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270781 0 0 0 179941 64 0 0 20 0 4 0 12278682 1349062656 270209 33554432000 4194304 16246674 140735496247440 140735496229312 12466597 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17196/statm: 329361 270209 789 2943 0 326255 0 [pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1317444 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 17196 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.42 CPU system time (s): 0.648901 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1317444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.648901 maximum resident set size= 1080836 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270781 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= 404 involuntary context switches= 1844 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.43602 second user time and 9.94349 second system time The end
Begin job on node119 at 2016-06-30 20:59:38 IDJOB=4121002 IDBENCH=110220 IDSOLVER=2542 FILE ID=node119/4121002-1467313178 RUNJOBID= node119-1467308805-16108 PBS_JOBID= 20005280 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121002-1467313178/watcher-4121002-1467313178 -o /tmp/evaluation-result-4121002-1467313178/solver-4121002-1467313178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121002-1467313178.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97878ca4fcd9ab35d2b8b5c51c254217 RANDOM SEED=944717666 node119.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.444 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 : 5332.88 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.444 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.444 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.56 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.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.55 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.444 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: 28001812 kB Buffers: 201204 kB Cached: 1431636 kB SwapCached: 0 kB Active: 1354292 kB Inactive: 1375760 kB Active(anon): 1093724 kB Inactive(anon): 5936 kB Active(file): 260568 kB Inactive(file): 1369824 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16372 kB Writeback: 0 kB AnonPages: 2488620 kB Mapped: 17088 kB Shmem: 204 kB Slab: 612312 kB SReclaimable: 56208 kB SUnreclaim: 556104 kB KernelStack: 1464 kB PageTables: 8524 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2621724 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1210368 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= 71700 MiB End job on node119 at 2016-06-30 21:29:39