| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.61 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb |
| MD5SUM | e15fa473b46d7e2b0dca2d01a2541ab9 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14336 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20480 |
| Optimality of the best value was proved | NO |
| Number of variables | 230 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 6442450938 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 6442450938 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T11:23:08+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4104013-1466241787.opb"] 0.00/0.01 c use --random-gen="2224568806 275701860 3042285084 1526322204 2623137363 40644240 2951796978 1431592358 182535329 3026768777 145444156 4253831786 3333343000 683415124 3016714368 3069926180 3699175029 3497257030 1393977241 3906929851 1825367498 1754385708 4355171 2294199493 910012509 3453484599 1892821571 1589884537 1640882470 4051723186 4224478682 2673039199 3319325850 392919685 3157090771 1783027161 3500125701 2263874472 1904169109 956342956 1750589807 3233699773 3250795748 4065754718 2077990354 3932711698 1364649758 3167975690 1411918213 1483987406 46430812 1897299118 1491697296 1341870772 2048489649 1793122250 2747352683 4133432612 3771039577 3981621177 1710995312 823805946 1759009046 2801615491 3885587176 1635583378 1245293591 3522766923 189649107 1075526968 102188483 1938729828 3043597710 2758839483 474068448 3442081694 579849187 1972726609 2983654610 1027836491 1375316094 2626135747 3213263269 2349435613 2703354298 2209030180 133979527 4233518963 1869198152 1703981619 4087577248 3666582829 1146732341 134863466 2495338623 4181680305 2106479421 2193554118 4265533137 4282734037 3665303809 307652377 4269082316 1786583803 1143787189 4085887838 1406274088 2673541518 1791830623 3722356293 3747567733 3778895589 2246800839 1281325089 2793654840 2293096613 321207700 3994179544 1079666676 296757339 5143471 811649960 1839901804 4126849842 3116218784 3050579738 926288163 176219645 1448837856 1218197184 4045909143 694961229 2868376465 768178431 3749498659 2217342354 1323574194 2129209297 2670646589 831932668 2281830713 2672857933 1269736699 1704415166 883691305 1459829609 4066444597 3129307361 3233696887 2718476629 3745546873 3869572625 1977244751 3370581675 475499800 3438331726 1033898667 682277172 3340861227 4124377511 755345675 1597681142 4162924746 717064460 995751849 2277238126 1563682101 656545769 477545127 2574624649 892580973 559639218 1800208211 149068939 2912617012 3615640268 2488291378 503610173 176211249 3154503319 2359806422 650949502 2662920907 2721182627 1843576427 2818738065 1390235697 2331954893 4209008186 3078752308 1262689525 3272977517 3749701275 3205249384 2496579154 3328564823 636464357 1501988286 188320991 3310575597 652362575 1952399955 4276434712 1902250734 2861724993 1490230541 2172031042 2335876977 4174717152 1454596110 1415754526 3948481313 3495145444 1382298717 401617088 1288673689 2285858231 3004388610 252365557 1290521299 928403202 108668106 3272553494 3812038761 3427986838 3931185968 381934440 1474135846 2438384212 3787306002 1637499843 3287776430 2774377206 1780923747 3099604921 3445557601 2172010727 3813059099 3633080431 3976157991 4166184699 1665216774 3310853714 1498633972 136810763 723785480 2272336090 1469015999 3599886073 1725438109 3721987574 1550942355 3519850158 3029272884 13212716 1767852270 255 362436" option to reproduce the execution 0.00/0.01 c #vars 230 0.00/0.01 c #constraints 6 2.98/3.03 c BCD2: Hardening is enabled. 2.98/3.03 c BCD2: BiasedSearch is enabled. 2.98/3.03 c Solving starts ... 2.98/3.03 c ============================[ Search Statistics ]============================ 2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.98/3.03 c | | | | Limit GC | Var | Constra 2.98/3.03 c ============================================================================= 2.98/3.03 c 0.0s | 0 | 0 | 0 | 80 0 | 54 | 0 2.98/3.05 c 0.0s | 1 | 147 | 100 | 80 0 | 54 | 0 2.98/3.05 c 0.0s | 1 | 199 | 102 | 88 0 | 54 | 0 2.98/3.05 c #cpu_time = 0.020s 2.98/3.05 c #wall_clock_time = 0.020s 2.98/3.05 c #decision = 199 2.98/3.05 c #random_decision = 1 2.98/3.05 c #conflict = 102 2.98/3.05 c #restart = 1 2.98/3.05 o 5763072 5.28/5.33 c BCD2: hardening fixes 42 literals 5.28/5.33 c BCD2: updating upper bound: 6442450938 -> 5763071 5.38/5.47 c BCD2: 0 <= obj <= 5763071 5.38/5.47 c BCD2: #cores=0, #unrelaxed=138, #relaxed=0, #hardened=42 5.38/5.47 c BCD2: #sat=1 #unsat=1 bias=1/2 5.38/5.47 c Solving starts ... 5.38/5.47 c ============================[ Search Statistics ]============================ 5.38/5.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.38/5.47 c | | | | Limit GC | Var | Constra 5.38/5.47 c ============================================================================= 5.38/5.47 c 0.0s | 0 | 0 | 0 | 88 0 | 54 | 0 5.38/5.47 c 0.0s | 1 | 249 | 100 | 88 0 | 54 | 0 5.38/5.47 c 0.0s | 2 | 551 | 250 | 97 1 | 54 | 0 5.38/5.47 c 0.1s | 3 | 928 | 475 | 107 3 | 54 | 0 5.38/5.50 c 0.2s | 4 | 1418 | 813 | 118 5 | 54 | 0 5.59/5.61 c 0.3s | 5 | 2104 | 1320 | 130 8 | 54 | 0 5.68/5.78 c 0.4s | 6 | 3057 | 2081 | 143 13 | 54 | 0 5.98/6.01 c 0.7s | 7 | 4402 | 3223 | 158 20 | 54 | 0 6.28/6.36 c 1.0s | 8 | 6273 | 4936 | 174 29 | 54 | 0 6.78/6.87 c 1.5s | 9 | 9037 | 7506 | 192 43 | 54 | 0 7.58/7.69 c 2.4s | 10 | 13127 | 11361 | 212 62 | 54 | 0 8.89/8.91 c 3.6s | 11 | 19205 | 17144 | 234 90 | 54 | 0 10.68/10.76 c 5.4s | 12 | 28305 | 25819 | 258 130 | 54 | 0 12.68/12.77 c 7.4s | 12 | 38309 | 35419 | 258 172 | 54 | 0 13.38/13.47 c 8.1s | 13 | 41805 | 38832 | 284 187 | 54 | 0 15.39/15.49 c 10.2s | 13 | 51529 | 48132 | 284 226 | 54 | 0 17.48/17.51 c 12.2s | 13 | 60823 | 57232 | 284 263 | 54 | 0 17.69/17.76 c 12.4s | 14 | 61954 | 58352 | 313 268 | 54 | 0 19.68/19.77 c 14.4s | 14 | 71235 | 67252 | 313 303 | 54 | 0 21.68/21.77 c 16.4s | 14 | 80419 | 76252 | 313 338 | 54 | 0 23.68/23.78 c 18.5s | 14 | 89654 | 85352 | 313 374 | 54 | 0 24.19/24.27 c 18.9s | 15 | 91963 | 87632 | 345 382 | 54 | 0 26.18/26.28 c 21.0s | 15 | 101622 | 96832 | 345 416 | 54 | 0 28.28/28.30 c 23.0s | 15 | 111546 | 106632 | 345 452 | 54 | 0 30.29/30.31 c 25.0s | 15 | 121291 | 116032 | 345 487 | 54 | 0 32.29/32.32 c 27.0s | 15 | 131576 | 126032 | 345 523 | 54 | 0 33.49/33.51 c 28.2s | 16 | 137270 | 131552 | 380 543 | 54 | 0 35.49/35.51 c 30.2s | 16 | 146449 | 140252 | 380 573 | 54 | 0 37.49/37.53 c 32.2s | 16 | 156056 | 149552 | 380 605 | 54 | 0 39.49/39.55 c 34.2s | 16 | 165481 | 158652 | 380 637 | 54 | 0 41.49/41.55 c 36.2s | 16 | 174988 | 167852 | 380 669 | 54 | 0 43.49/43.56 c 38.2s | 16 | 184633 | 177152 | 380 701 | 54 | 0 45.49/45.56 c 40.2s | 16 | 194227 | 186352 | 380 733 | 54 | 0 47.48/47.59 c 42.3s | 16 | 203403 | 195252 | 380 764 | 54 | 0 47.98/48.07 c 42.7s | 17 | 205637 | 197432 | 419 771 | 54 | 0 49.98/50.08 c 44.8s | 17 | 214797 | 206132 | 419 799 | 54 | 0 51.98/52.08 c 46.8s | 17 | 224350 | 215332 | 419 829 | 54 | 0 53.99/54.09 c 48.8s | 17 | 233489 | 224232 | 419 858 | 54 | 0 56.09/56.11 c 50.8s | 17 | 242585 | 233032 | 419 887 | 54 | 0 58.08/58.11 c 52.8s | 17 | 251928 | 242132 | 419 916 | 54 | 0 60.08/60.12 c 54.8s | 17 | 261430 | 251332 | 419 946 | 54 | 0 62.08/62.13 c 56.8s | 17 | 270608 | 260232 | 419 975 | 54 | 0 64.08/64.15 c 58.8s | 17 | 280287 | 269632 | 419 1006 | 54 | 0 66.09/66.16 c 60.8s | 17 | 289851 | 278932 | 419 1036 | 54 | 0 68.08/68.17 c 62.8s | 17 | 299014 | 287832 | 419 1065 | 54 | 0 69.98/70.07 c 64.7s | 18 | 307690 | 296252 | 461 1092 | 54 | 0 71.98/72.07 c 66.7s | 18 | 316581 | 304752 | 461 1118 | 54 | 0 73.98/74.09 c 68.8s | 18 | 325726 | 313652 | 461 1145 | 54 | 0 76.08/76.11 c 70.8s | 18 | 334902 | 322452 | 461 1171 | 54 | 0 78.08/78.11 c 72.8s | 18 | 344115 | 331352 | 461 1198 | 54 | 0 80.07/80.13 c 74.8s | 18 | 353250 | 340152 | 461 1225 | 54 | 0 82.07/82.13 c 76.8s | 18 | 362449 | 348952 | 461 1252 | 54 | 0 84.07/84.15 c 78.8s | 18 | 371744 | 357952 | 461 1279 | 54 | 0 86.07/86.16 c 80.8s | 18 | 380633 | 366552 | 461 1306 | 54 | 0 88.08/88.18 c 82.9s | 18 | 389639 | 375352 | 461 1333 | 54 | 0 90.07/90.19 c 84.9s | 18 | 398894 | 384352 | 461 1360 | 54 | 0 92.17/92.21 c 86.9s | 18 | 408075 | 393252 | 461 1388 | 54 | 0 94.17/94.22 c 88.9s | 18 | 417090 | 402052 | 461 1414 | 54 | 0 96.17/96.22 c 90.9s | 18 | 425742 | 410552 | 461 1440 | 54 | 0 98.17/98.22 c 92.9s | 18 | 435064 | 419652 | 461 1468 | 54 | 0 100.18/100.24 c 94.9s | 18 | 444069 | 428452 | 461 1495 | 54 | 0 102.17/102.25 c 96.9s | 18 | 453010 | 437252 | 461 1521 | 54 | 0 103.87/103.92 c 98.6s | 19 | 460397 | 444482 | 508 1543 | 54 | 0 105.87/105.94 c 100s | 19 | 469568 | 453182 | 508 1567 | 54 | 0 107.88/107.95 c 102s | 19 | 479022 | 462282 | 508 1593 | 54 | 0 109.87/109.95 c 104s | 19 | 489017 | 471882 | 508 1621 | 54 | 0 111.87/111.95 c 106s | 19 | 498550 | 481082 | 508 1647 | 54 | 0 113.87/113.97 c 108s | 19 | 507872 | 490182 | 508 1673 | 54 | 0 115.87/115.98 c 110s | 19 | 517060 | 499082 | 508 1698 | 54 | 0 117.87/117.99 c 112s | 19 | 526050 | 507682 | 508 1722 | 54 | 0 119.88/119.99 c 114s | 19 | 534834 | 516182 | 508 1747 | 54 | 0 121.97/122.00 c 116s | 19 | 543878 | 524882 | 508 1771 | 54 | 0 123.97/124.02 c 118s | 19 | 552973 | 533782 | 508 1797 | 54 | 0 125.97/126.03 c 120s | 19 | 562110 | 542682 | 508 1822 | 54 | 0 127.97/128.05 c 122s | 19 | 571240 | 551582 | 508 1847 | 54 | 0 129.97/130.06 c 124s | 19 | 580781 | 560782 | 508 1873 | 54 | 0 131.98/132.07 c 126s | 19 | 590181 | 569882 | 508 1899 | 54 | 0 133.97/134.08 c 128s | 19 | 599544 | 578982 | 508 1925 | 54 | 0 135.97/136.09 c 130s | 19 | 609390 | 588482 | 508 1953 | 54 | 0 138.07/138.10 c 132s | 19 | 618316 | 597182 | 508 1977 | 54 | 0 140.07/140.10 c 134s | 19 | 627798 | 606382 | 508 2003 | 54 | 0 142.07/142.10 c 136s | 19 | 636789 | 615082 | 508 2028 | 54 | 0 144.08/144.12 c 138s | 19 | 645789 | 623882 | 508 2053 | 54 | 0 146.07/146.14 c 140s | 19 | 655279 | 633082 | 508 2080 | 54 | 0 148.07/148.15 c 142s | 19 | 665072 | 642682 | 508 2107 | 54 | 0 150.07/150.17 c 144s | 19 | 674721 | 652082 | 508 2134 | 54 | 0 152.07/152.18 c 146s | 19 | 684028 | 661182 | 508 2160 | 54 | 0 153.37/153.49 c 148s | 20 | 689797 | 666827 | 559 2175 | 54 | 0 155.47/155.51 c 150s | 20 | 698998 | 675627 | 559 2198 | 54 | 0 157.47/157.53 c 152s | 20 | 708132 | 684527 | 559 2221 | 54 | 0 159.47/159.55 c 154s | 20 | 717525 | 693727 | 559 2246 | 54 | 0 161.47/161.56 c 156s | 20 | 727527 | 703427 | 559 2272 | 54 | 0 163.47/163.58 c 158s | 20 | 737231 | 712827 | 559 2297 | 54 | 0 165.47/165.58 c 160s | 20 | 746812 | 722127 | 559 2321 | 54 | 0 167.56/167.60 c 162s | 20 | 756292 | 731327 | 559 2346 | 54 | 0 169.56/169.61 c 164s | 20 | 765543 | 740327 | 559 2370 | 54 | 0 171.57/171.62 c 166s | 20 | 774891 | 749427 | 559 2394 | 54 | 0 173.56/173.63 c 168s | 20 | 783988 | 758227 | 559 2417 | 54 | 0 175.56/175.63 c 170s | 20 | 793162 | 767127 | 559 2441 | 54 | 0 177.56/177.64 c 172s | 20 | 801987 | 775727 | 559 2464 | 54 | 0 179.56/179.65 c 174s | 20 | 810547 | 784127 | 559 2486 | 54 | 0 181.57/181.66 c 176s | 20 | 819121 | 792527 | 559 2508 | 54 | 0 183.56/183.68 c 178s | 20 | 828055 | 801327 | 559 2532 | 54 | 0 185.56/185.68 c 180s | 20 | 837215 | 810227 | 559 2555 | 54 | 0 187.66/187.70 c 182s | 20 | 845955 | 818727 | 559 2578 | 54 | 0 189.66/189.70 c 184s | 20 | 854688 | 827327 | 559 2601 | 54 | 0 191.66/191.71 c 186s | 20 | 863471 | 835827 | 559 2623 | 54 | 0 193.66/193.71 c 188s | 20 | 872283 | 844427 | 559 2646 | 54 | 0 195.66/195.73 c 190s | 20 | 881202 | 853127 | 559 2669 | 54 | 0 197.66/197.75 c 192s | 20 | 890349 | 862027 | 559 2693 | 54 | 0 199.65/199.76 c 194s | 20 | 899031 | 870527 | 559 2716 | 54 | 0 201.65/201.77 c 196s | 20 | 907522 | 878827 | 559 2738 | 54 | 0 203.65/203.79 c 198s | 20 | 915976 | 887127 | 559 2760 | 54 | 0 205.66/205.80 c 200s | 20 | 924578 | 895527 | 559 2782 | 54 | 0 207.75/207.81 c 202s | 20 | 933829 | 904527 | 559 2806 | 54 | 0 209.75/209.82 c 204s | 20 | 942394 | 912927 | 559 2828 | 54 | 0 211.75/211.83 c 206s | 20 | 951186 | 921527 | 559 2851 | 54 | 0 213.75/213.85 c 208s | 20 | 960171 | 930327 | 559 2875 | 54 | 0 215.75/215.86 c 210s | 20 | 969075 | 939027 | 559 2898 | 54 | 0 217.76/217.87 c 212s | 20 | 977545 | 947327 | 559 2920 | 54 | 0 219.75/219.87 c 214s | 20 | 986699 | 956227 | 559 2944 | 54 | 0 221.76/221.88 c 216s | 20 | 995545 | 964927 | 559 2967 | 54 | 0 223.76/223.88 c 218s | 20 | 1004486 | 973727 | 559 2990 | 54 | 0 225.76/225.88 c 220s | 20 | 1013387 | 982427 | 559 3013 | 54 | 0 227.77/227.89 c 222s | 20 | 1022381 | 991227 | 559 3037 | 54 | 0 229.76/229.90 c 224s | 20 | 1031044 | 999727 | 615 3058 | 54 | 0 229.97/230.04 c 224s | 21 | 1031683 | 1000345 | 615 3060 | 54 | 0 231.96/232.04 c 226s | 21 | 1040409 | 1008745 | 615 3081 | 54 | 0 233.96/234.05 c 228s | 21 | 1049146 | 1017245 | 615 3102 | 54 | 0 235.95/236.06 c 230s | 21 | 1058620 | 1026445 | 615 3124 | 54 | 0 237.95/238.08 c 232s | 21 | 1067872 | 1035545 | 615 3147 | 54 | 0 239.95/240.08 c 234s | 21 | 1077035 | 1044545 | 615 3169 | 54 | 0 241.96/242.09 c 236s | 21 | 1086001 | 1053345 | 615 3190 | 54 | 0 243.95/244.09 c 238s | 21 | 1094804 | 1061845 | 615 3212 | 54 | 0 246.05/246.11 c 240s | 21 | 1104332 | 1070945 | 615 3234 | 54 | 0 248.05/248.12 c 242s | 21 | 1113147 | 1079545 | 615 3255 | 54 | 0 250.05/250.12 c 244s | 21 | 1121508 | 1087745 | 615 3275 | 54 | 0 252.05/252.14 c 246s | 21 | 1130151 | 1096245 | 615 3296 | 54 | 0 254.06/254.14 c 248s | 21 | 1138498 | 1104345 | 615 3316 | 54 | 0 256.05/256.14 c 250s | 21 | 1146868 | 1112445 | 615 3336 | 54 | 0 258.05/258.15 c 252s | 21 | 1155560 | 1120945 | 615 3357 | 54 | 0 260.05/260.15 c 254s | 21 | 1164188 | 1129345 | 615 3378 | 54 | 0 262.05/262.17 c 256s | 21 | 1172772 | 1137745 | 615 3399 | 54 | 0 264.05/264.17 c 258s | 21 | 1181468 | 1146245 | 615 3420 | 54 | 0 266.05/266.19 c 260s | 21 | 1190180 | 1154745 | 615 3441 | 54 | 0 268.15/268.21 c 262s | 21 | 1198973 | 1163345 | 615 3462 | 54 | 0 270.15/270.22 c 264s | 21 | 1207556 | 1171745 | 615 3483 | 54 | 0 272.15/272.22 c 266s | 21 | 1216063 | 1180145 | 615 3504 | 54 | 0 274.14/274.23 c 268s | 21 | 1224707 | 1188645 | 615 3525 | 54 | 0 276.15/276.24 c 270s | 21 | 1233869 | 1197645 | 615 3547 | 54 | 0 278.14/278.24 c 272s | 21 | 1242646 | 1206245 | 615 3569 | 54 | 0 280.14/280.27 c 274s | 21 | 1251309 | 1214745 | 615 3590 | 54 | 0 282.14/282.28 c 276s | 21 | 1260169 | 1223345 | 615 3611 | 54 | 0 284.14/284.29 c 278s | 21 | 1268667 | 1231645 | 615 3632 | 54 | 0 286.24/286.30 c 280s | 21 | 1277225 | 1240045 | 615 3653 | 54 | 0 288.25/288.31 c 282s | 21 | 1287481 | 1250045 | 615 3677 | 54 | 0 290.24/290.32 c 284s | 21 | 1297693 | 1259945 | 615 3701 | 54 | 0 292.25/292.32 c 286s | 21 | 1307706 | 1269745 | 615 3725 | 54 | 0 294.25/294.34 c 289s | 21 | 1317830 | 1279645 | 615 3750 | 54 | 0 296.25/296.35 c 291s | 21 | 1327490 | 1289045 | 615 3773 | 54 | 0 298.25/298.36 c 293s | 21 | 1337005 | 1298345 | 615 3796 | 54 | 0 300.25/300.38 c 295s | 21 | 1346587 | 1307745 | 615 3819 | 54 | 0 302.34/302.40 c 297s | 21 | 1356092 | 1317045 | 615 3841 | 54 | 0 304.34/304.40 c 299s | 21 | 1365696 | 1326445 | 615 3865 | 54 | 0 306.34/306.41 c 301s | 21 | 1374934 | 1335545 | 615 3887 | 54 | 0 308.34/308.44 c 303s | 21 | 1384471 | 1344845 | 615 3910 | 54 | 0 310.34/310.45 c 305s | 21 | 1393753 | 1353945 | 615 3932 | 54 | 0 312.35/312.46 c 307s | 21 | 1403034 | 1363045 | 615 3955 | 54 | 0 314.34/314.48 c 309s | 21 | 1412729 | 1372445 | 615 3978 | 54 | 0 316.34/316.49 c 311s | 21 | 1422034 | 1381545 | 615 4000 | 54 | 0 318.44/318.50 c 313s | 21 | 1431354 | 1390645 | 615 4023 | 54 | 0 320.44/320.50 c 315s | 21 | 1440780 | 1399845 | 615 4045 | 54 | 0 322.44/322.51 c 317s | 21 | 1449995 | 1408845 | 615 4067 | 54 | 0 324.44/324.51 c 319s | 21 | 1459047 | 1417745 | 615 4089 | 54 | 0 326.44/326.52 c 321s | 21 | 1468081 | 1426545 | 615 4111 | 54 | 0 328.44/328.54 c 323s | 21 | 1477146 | 1435345 | 615 4133 | 54 | 0 330.43/330.55 c 325s | 21 | 1486103 | 1444145 | 615 4154 | 54 | 0 332.43/332.56 c 327s | 21 | 1495389 | 1453245 | 615 4177 | 54 | 0 334.44/334.57 c 329s | 21 | 1505284 | 1462945 | 615 4201 | 54 | 0 336.43/336.58 c 331s | 21 | 1514954 | 1472345 | 615 4224 | 54 | 0 338.43/338.58 c 333s | 21 | 1524526 | 1481645 | 615 4247 | 54 | 0 340.43/340.58 c 335s | 21 | 1534090 | 1490945 | 677 4269 | 54 | 0 342.53/342.60 c 337s | 21 | 1543156 | 1499745 | 677 4289 | 54 | 0 342.63/342.78 c 337s | 22 | 1544063 | 1500622 | 677 4291 | 54 | 0 344.74/344.81 c 339s | 22 | 1552694 | 1508922 | 677 4310 | 54 | 0 346.74/346.81 c 341s | 22 | 1560749 | 1516822 | 677 4328 | 54 | 0 348.75/348.81 c 343s | 22 | 1569228 | 1525122 | 677 4347 | 54 | 0 350.74/350.83 c 345s | 22 | 1577605 | 1533222 | 677 4366 | 54 | 0 352.74/352.84 c 347s | 22 | 1585616 | 1541022 | 677 4384 | 54 | 0 354.74/354.85 c 349s | 22 | 1593684 | 1548922 | 677 4402 | 54 | 0 356.74/356.86 c 351s | 22 | 1602114 | 1557122 | 677 4421 | 54 | 0 358.74/358.87 c 353s | 22 | 1610605 | 1565322 | 677 4439 | 54 | 0 360.74/360.89 c 355s | 22 | 1619085 | 1573522 | 677 4458 | 54 | 0 362.74/362.89 c 357s | 22 | 1627342 | 1581622 | 677 4477 | 54 | 0 364.73/364.89 c 359s | 22 | 1636136 | 1590222 | 677 4496 | 54 | 0 366.73/366.89 c 361s | 22 | 1644738 | 1598522 | 677 4515 | 54 | 0 368.83/368.90 c 363s | 22 | 1653008 | 1606622 | 677 4534 | 54 | 0 370.83/370.92 c 365s | 22 | 1661647 | 1615122 | 677 4554 | 54 | 0 372.84/372.92 c 367s | 22 | 1669932 | 1623222 | 677 4572 | 54 | 0 374.83/374.92 c 369s | 22 | 1677947 | 1631022 | 677 4590 | 54 | 0 376.83/376.93 c 371s | 22 | 1686234 | 1639122 | 677 4609 | 54 | 0 378.83/378.93 c 373s | 22 | 1694863 | 1647422 | 677 4628 | 54 | 0 380.83/380.93 c 375s | 22 | 1703265 | 1655622 | 677 4646 | 54 | 0 382.84/382.95 c 377s | 22 | 1711788 | 1663922 | 677 4665 | 54 | 0 384.83/384.97 c 379s | 22 | 1720135 | 1672022 | 677 4684 | 54 | 0 386.83/386.97 c 381s | 22 | 1728754 | 1680222 | 677 4703 | 54 | 0 388.83/388.97 c 383s | 22 | 1737429 | 1688622 | 677 4722 | 54 | 0 390.83/390.99 c 385s | 22 | 1745907 | 1696922 | 677 4741 | 54 | 0 392.83/392.99 c 387s | 22 | 1754053 | 1704922 | 677 4759 | 54 | 0 394.83/395.00 c 389s | 22 | 1762405 | 1713122 | 677 4778 | 54 | 0 396.92/397.01 c 391s | 22 | 1770998 | 1721522 | 677 4798 | 54 | 0 398.92/399.03 c 393s | 22 | 1779298 | 1729622 | 677 4816 | 54 | 0 400.92/401.03 c 395s | 22 | 1787620 | 1737722 | 677 4835 | 54 | 0 402.92/403.04 c 397s | 22 | 1796373 | 1746222 | 677 4854 | 54 | 0 404.92/405.04 c 399s | 22 | 1805054 | 1754622 | 677 4874 | 54 | 0 406.93/407.05 c 401s | 22 | 1813468 | 1762822 | 677 4892 | 54 | 0 408.92/409.07 c 403s | 22 | 1821893 | 1771022 | 677 4911 | 54 | 0 410.92/411.07 c 405s | 22 | 1829994 | 1778922 | 677 4929 | 54 | 0 412.92/413.08 c 407s | 22 | 1838506 | 1787222 | 677 4949 | 54 | 0 414.92/415.09 c 409s | 22 | 1847322 | 1795822 | 677 4968 | 54 | 0 417.03/417.11 c 411s | 22 | 1855888 | 1804122 | 677 4987 | 54 | 0 419.04/419.12 c 413s | 22 | 1864600 | 1812622 | 677 5007 | 54 | 0 421.03/421.14 c 415s | 22 | 1873223 | 1821022 | 677 5026 | 54 | 0 423.03/423.14 c 417s | 22 | 1882074 | 1829522 | 677 5046 | 54 | 0 425.03/425.17 c 419s | 22 | 1890538 | 1837822 | 677 5065 | 54 | 0 427.03/427.18 c 421s | 22 | 1899198 | 1846222 | 677 5084 | 54 | 0 429.03/429.19 c 423s | 22 | 1907324 | 1854122 | 677 5102 | 54 | 0 431.13/431.21 c 425s | 22 | 1915541 | 1862122 | 677 5121 | 54 | 0 433.12/433.22 c 427s | 22 | 1924034 | 1870422 | 677 5140 | 54 | 0 435.12/435.24 c 429s | 22 | 1932559 | 1878822 | 677 5159 | 54 | 0 437.12/437.24 c 431s | 22 | 1940947 | 1887022 | 677 5178 | 54 | 0 439.12/439.24 c 433s | 22 | 1949247 | 1895122 | 677 5197 | 54 | 0 441.13/441.26 c 435s | 22 | 1957435 | 1903122 | 677 5215 | 54 | 0 443.12/443.27 c 437s | 22 | 1965772 | 1911322 | 677 5234 | 54 | 0 445.12/445.28 c 439s | 22 | 1974495 | 1919822 | 677 5254 | 54 | 0 447.22/447.31 c 441s | 22 | 1982904 | 1928022 | 677 5273 | 54 | 0 449.22/449.31 c 443s | 22 | 1991168 | 1936122 | 677 5291 | 54 | 0 451.22/451.31 c 445s | 22 | 1999614 | 1944422 | 677 5310 | 54 | 0 453.23/453.32 c 447s | 22 | 2008238 | 1952722 | 677 5329 | 54 | 0 455.22/455.33 c 449s | 22 | 2016846 | 1961122 | 677 5349 | 54 | 0 457.22/457.34 c 452s | 22 | 2025458 | 1969522 | 677 5368 | 54 | 0 459.22/459.35 c 454s | 22 | 2034090 | 1977922 | 677 5388 | 54 | 0 461.22/461.36 c 456s | 22 | 2042389 | 1986022 | 677 5406 | 54 | 0 463.22/463.38 c 458s | 22 | 2050967 | 1994422 | 677 5426 | 54 | 0 465.22/465.38 c 460s | 22 | 2059532 | 2002822 | 677 5445 | 54 | 0 467.22/467.39 c 462s | 22 | 2068639 | 2011722 | 677 5466 | 54 | 0 469.32/469.41 c 464s | 22 | 2077363 | 2020222 | 677 5485 | 54 | 0 471.32/471.41 c 466s | 22 | 2085782 | 2028422 | 677 5504 | 54 | 0 473.32/473.42 c 468s | 22 | 2094312 | 2036722 | 677 5523 | 54 | 0 475.31/475.43 c 470s | 22 | 2102436 | 2044722 | 677 5541 | 54 | 0 477.32/477.45 c 472s | 22 | 2110707 | 2052822 | 677 5560 | 54 | 0 479.31/479.46 c 474s | 22 | 2119153 | 2061022 | 677 5578 | 54 | 0 481.31/481.47 c 476s | 22 | 2127253 | 2068922 | 677 5597 | 54 | 0 483.31/483.48 c 478s | 22 | 2135674 | 2077122 | 677 5615 | 54 | 0 485.41/485.50 c 480s | 22 | 2143827 | 2085022 | 677 5633 | 54 | 0 487.41/487.51 c 482s | 22 | 2152331 | 2093322 | 677 5653 | 54 | 0 489.43/489.52 c 484s | 22 | 2160453 | 2101222 | 677 5671 | 54 | 0 491.42/491.54 c 486s | 22 | 2168661 | 2109222 | 677 5689 | 54 | 0 493.42/493.55 c 488s | 22 | 2176754 | 2117122 | 677 5707 | 54 | 0 495.42/495.57 c 490s | 22 | 2185054 | 2125222 | 677 5726 | 54 | 0 497.42/497.59 c 492s | 22 | 2194039 | 2134022 | 677 5746 | 54 | 0 499.42/499.59 c 494s | 22 | 2202563 | 2142422 | 677 5765 | 54 | 0 501.52/501.61 c 496s | 22 | 2211072 | 2150822 | 677 5784 | 54 | 0 503.52/503.62 c 498s | 22 | 2219623 | 2159122 | 677 5803 | 54 | 0 505.52/505.63 c 500s | 22 | 2227993 | 2167322 | 677 5822 | 54 | 0 507.51/507.65 c 502s | 22 | 2236977 | 2176022 | 677 5842 | 54 | 0 509.51/509.67 c 504s | 22 | 2245013 | 2183922 | 677 5860 | 54 | 0 511.52/511.68 c 506s | 22 | 2253355 | 2192122 | 677 5879 | 54 | 0 513.51/513.69 c 508s | 22 | 2262209 | 2200822 | 677 5899 | 54 | 0 515.61/515.70 c 510s | 22 | 2270852 | 2209222 | 677 5918 | 54 | 0 517.61/517.71 c 512s | 22 | 2279110 | 2217322 | 677 5937 | 54 | 0 519.61/519.71 c 514s | 22 | 2287215 | 2225222 | 677 5955 | 54 | 0 521.61/521.72 c 516s | 22 | 2295382 | 2233222 | 677 5973 | 54 | 0 523.62/523.73 c 518s | 22 | 2303962 | 2241622 | 745 5991 | 54 | 0 525.61/525.74 c 520s | 22 | 2312388 | 2249822 | 745 6009 | 54 | 0 525.91/526.03 c 520s | 23 | 2313625 | 2251038 | 745 6011 | 54 | 0 527.92/528.03 c 522s | 23 | 2321953 | 2259038 | 745 6028 | 54 | 0 529.91/530.05 c 524s | 23 | 2330975 | 2267938 | 745 6047 | 54 | 0 531.91/532.06 c 526s | 23 | 2339266 | 2275938 | 745 6064 | 54 | 0 533.91/534.07 c 528s | 23 | 2347224 | 2283638 | 745 6081 | 54 | 0 535.91/536.07 c 530s | 23 | 2355163 | 2291438 | 745 6097 | 54 | 0 537.91/538.09 c 532s | 23 | 2363197 | 2299238 | 745 6114 | 54 | 0 539.91/540.10 c 534s | 23 | 2371158 | 2307038 | 745 6130 | 54 | 0 542.01/542.12 c 536s | 23 | 2379198 | 2314938 | 745 6147 | 54 | 0 544.01/544.14 c 538s | 23 | 2387413 | 2322938 | 745 6164 | 54 | 0 546.01/546.15 c 540s | 23 | 2395526 | 2330838 | 745 6181 | 54 | 0 548.00/548.16 c 542s | 23 | 2403815 | 2338938 | 745 6198 | 54 | 0 550.01/550.18 c 544s | 23 | 2412248 | 2347138 | 745 6215 | 54 | 0 552.00/552.20 c 546s | 23 | 2420641 | 2355238 | 745 6233 | 54 | 0 554.10/554.20 c 548s | 23 | 2429098 | 2363438 | 745 6250 | 54 | 0 556.10/556.23 c 550s | 23 | 2438005 | 2372138 | 745 6269 | 54 | 0 558.10/558.26 c 552s | 23 | 2446630 | 2380538 | 745 6287 | 54 | 0 560.10/560.28 c 554s | 23 | 2455052 | 2388638 | 745 6304 | 54 | 0 562.11/562.29 c 556s | 23 | 2463322 | 2396638 | 745 6321 | 54 | 0 564.10/564.29 c 558s | 23 | 2471429 | 2404538 | 745 6338 | 54 | 0 566.20/566.30 c 560s | 23 | 2479850 | 2412738 | 745 6355 | 54 | 0 568.20/568.32 c 562s | 23 | 2487960 | 2420638 | 745 6372 | 54 | 0 570.20/570.33 c 565s | 23 | 2495891 | 2428438 | 745 6388 | 54 | 0 572.20/572.33 c 567s | 23 | 2504370 | 2436638 | 745 6406 | 54 | 0 574.20/574.35 c 569s | 23 | 2512699 | 2444738 | 745 6423 | 54 | 0 576.20/576.35 c 571s | 23 | 2521479 | 2453338 | 745 6442 | 54 | 0 578.20/578.36 c 573s | 23 | 2530196 | 2461838 | 745 6460 | 54 | 0 580.20/580.36 c 575s | 23 | 2538532 | 2469938 | 745 6477 | 54 | 0 582.20/582.38 c 577s | 23 | 2546665 | 2477838 | 745 6494 | 54 | 0 584.30/584.40 c 579s | 23 | 2554735 | 2485738 | 745 6511 | 54 | 0 586.31/586.40 c 581s | 23 | 2563022 | 2493838 | 745 6528 | 54 | 0 588.30/588.41 c 583s | 23 | 2572222 | 2502838 | 745 6547 | 54 | 0 590.30/590.42 c 585s | 23 | 2580810 | 2511238 | 745 6565 | 54 | 0 592.30/592.45 c 587s | 23 | 2589354 | 2519638 | 745 6583 | 54 | 0 594.30/594.47 c 589s | 23 | 2597782 | 2527838 | 745 6600 | 54 | 0 596.30/596.48 c 591s | 23 | 2605966 | 2535838 | 745 6617 | 54 | 0 598.31/598.50 c 593s | 23 | 2614334 | 2544038 | 745 6634 | 54 | 0 600.40/600.51 c 595s | 23 | 2622646 | 2552138 | 745 6652 | 54 | 0 602.40/602.52 c 597s | 23 | 2631196 | 2560438 | 745 6669 | 54 | 0 604.40/604.53 c 599s | 23 | 2639671 | 2568738 | 745 6687 | 54 | 0 606.40/606.55 c 601s | 23 | 2648465 | 2577338 | 745 6705 | 54 | 0 608.40/608.56 c 603s | 23 | 2657068 | 2585738 | 745 6723 | 54 | 0 610.41/610.58 c 605s | 23 | 2666005 | 2594438 | 745 6742 | 54 | 0 612.40/612.58 c 607s | 23 | 2674706 | 2602938 | 745 6760 | 54 | 0 614.50/614.60 c 609s | 23 | 2683136 | 2611138 | 745 6777 | 54 | 0 616.50/616.60 c 611s | 23 | 2691671 | 2619438 | 745 6795 | 54 | 0 618.50/618.62 c 613s | 23 | 2700138 | 2627638 | 745 6812 | 54 | 0 620.50/620.64 c 615s | 23 | 2708388 | 2635738 | 745 6830 | 54 | 0 622.50/622.66 c 617s | 23 | 2716737 | 2643838 | 745 6847 | 54 | 0 624.50/624.68 c 619s | 23 | 2725148 | 2652038 | 745 6865 | 54 | 0 626.50/626.69 c 621s | 23 | 2733685 | 2660338 | 745 6882 | 54 | 0 628.59/628.71 c 623s | 23 | 2742172 | 2668538 | 745 6900 | 54 | 0 630.59/630.71 c 625s | 23 | 2750336 | 2676538 | 745 6917 | 54 | 0 632.59/632.72 c 627s | 23 | 2758439 | 2684338 | 745 6933 | 54 | 0 634.60/634.73 c 629s | 23 | 2766635 | 2692338 | 745 6950 | 54 | 0 636.59/636.74 c 631s | 23 | 2774768 | 2700238 | 745 6967 | 54 | 0 638.59/638.75 c 633s | 23 | 2783219 | 2708438 | 745 6985 | 54 | 0 640.59/640.77 c 635s | 23 | 2791762 | 2716738 | 745 7002 | 54 | 0 642.59/642.78 c 637s | 23 | 2800903 | 2725738 | 745 7021 | 54 | 0 644.69/644.80 c 639s | 23 | 2810013 | 2734638 | 745 7040 | 54 | 0 646.59/646.80 c 641s | 23 | 2818964 | 2743338 | 745 7059 | 54 | 0 648.69/648.82 c 643s | 23 | 2827465 | 2751538 | 745 7076 | 54 | 0 650.69/650.84 c 645s | 23 | 2835868 | 2759738 | 745 7094 | 54 | 0 652.69/652.85 c 647s | 23 | 2844208 | 2767738 | 745 7111 | 54 | 0 654.69/654.86 c 649s | 23 | 2852468 | 2775838 | 745 7128 | 54 | 0 656.70/656.87 c 651s | 23 | 2860585 | 2783738 | 745 7145 | 54 | 0 658.69/658.87 c 653s | 23 | 2868688 | 2791638 | 745 7161 | 54 | 0 660.69/660.89 c 655s | 23 | 2876851 | 2799538 | 745 7178 | 54 | 0 662.79/662.90 c 657s | 23 | 2885078 | 2807538 | 745 7195 | 54 | 0 664.79/664.91 c 659s | 23 | 2893916 | 2816138 | 745 7213 | 54 | 0 666.78/666.92 c 661s | 23 | 2902014 | 2824038 | 745 7230 | 54 | 0 668.79/668.95 c 663s | 23 | 2909918 | 2831738 | 745 7247 | 54 | 0 670.78/670.98 c 665s | 23 | 2918015 | 2839738 | 745 7264 | 54 | 0 672.78/672.99 c 667s | 23 | 2926087 | 2847638 | 745 7280 | 54 | 0 674.89/675.00 c 669s | 23 | 2934283 | 2855738 | 745 7298 | 54 | 0 676.89/677.01 c 671s | 23 | 2942940 | 2864238 | 745 7316 | 54 | 0 678.89/679.03 c 673s | 23 | 2952330 | 2873438 | 745 7335 | 54 | 0 680.90/681.05 c 675s | 23 | 2961412 | 2882338 | 745 7354 | 54 | 0 682.89/683.05 c 677s | 23 | 2970441 | 2891138 | 745 7373 | 54 | 0 684.89/685.06 c 679s | 23 | 2979199 | 2899638 | 745 7391 | 54 | 0 686.89/687.07 c 681s | 23 | 2987761 | 2908038 | 745 7409 | 54 | 0 688.89/689.08 c 683s | 23 | 2996352 | 2916438 | 745 7427 | 54 | 0 690.89/691.08 c 685s | 23 | 3005106 | 2925038 | 745 7445 | 54 | 0 692.89/693.09 c 687s | 23 | 3013777 | 2933538 | 745 7463 | 54 | 0 694.99/695.10 c 689s | 23 | 3022169 | 2941738 | 745 7480 | 54 | 0 696.99/697.11 c 691s | 23 | 3030749 | 2950138 | 745 7498 | 54 | 0 698.99/699.11 c 693s | 23 | 3039113 | 2958238 | 745 7515 | 54 | 0 700.99/701.13 c 695s | 23 | 3047213 | 2966138 | 745 7532 | 54 | 0 702.98/703.15 c 697s | 23 | 3055804 | 2974538 | 745 7550 | 54 | 0 704.99/705.16 c 699s | 23 | 3064253 | 2982738 | 745 7567 | 54 | 0 706.98/707.16 c 701s | 23 | 3073191 | 2991438 | 745 7586 | 54 | 0 708.98/709.17 c 703s | 23 | 3081611 | 2999738 | 745 7604 | 54 | 0 710.98/711.19 c 705s | 23 | 3089997 | 3007938 | 745 7621 | 54 | 0 713.08/713.21 c 707s | 23 | 3098170 | 3015938 | 745 7638 | 54 | 0 715.08/715.21 c 709s | 23 | 3106581 | 3024238 | 745 7656 | 54 | 0 717.09/717.22 c 711s | 23 | 3115026 | 3032538 | 745 7673 | 54 | 0 719.08/719.22 c 713s | 23 | 3123299 | 3040638 | 745 7691 | 54 | 0 721.08/721.22 c 715s | 23 | 3131416 | 3048538 | 745 7708 | 54 | 0 723.08/723.24 c 717s | 23 | 3139754 | 3056638 | 745 7725 | 54 | 0 725.08/725.25 c 719s | 23 | 3147907 | 3064638 | 745 7742 | 54 | 0 727.09/727.25 c 721s | 23 | 3156031 | 3072638 | 745 7759 | 54 | 0 729.08/729.27 c 723s | 23 | 3164233 | 3080538 | 745 7776 | 54 | 0 731.08/731.29 c 725s | 23 | 3172721 | 3088838 | 745 7793 | 54 | 0 733.18/733.30 c 727s | 23 | 3180629 | 3096638 | 745 7810 | 54 | 0 735.18/735.32 c 729s | 23 | 3188803 | 3104638 | 745 7827 | 54 | 0 737.18/737.33 c 732s | 23 | 3197188 | 3112838 | 745 7845 | 54 | 0 739.18/739.35 c 734s | 23 | 3205903 | 3121338 | 745 7863 | 54 | 0 741.18/741.37 c 736s | 23 | 3214278 | 3129538 | 745 7881 | 54 | 0 743.18/743.38 c 738s | 23 | 3223043 | 3138138 | 745 7899 | 54 | 0 745.17/745.39 c 740s | 23 | 3232625 | 3147538 | 745 7919 | 54 | 0 747.27/747.40 c 742s | 23 | 3241565 | 3156338 | 745 7937 | 54 | 0 749.27/749.40 c 744s | 23 | 3251005 | 3165638 | 745 7957 | 54 | 0 751.28/751.42 c 746s | 23 | 3260298 | 3174738 | 745 7976 | 54 | 0 753.27/753.44 c 748s | 23 | 3269705 | 3183938 | 745 7996 | 54 | 0 755.27/755.45 c 750s | 23 | 3278813 | 3192838 | 745 8015 | 54 | 0 757.27/757.46 c 752s | 23 | 3287783 | 3201538 | 745 8033 | 54 | 0 759.27/759.48 c 754s | 23 | 3296738 | 3210338 | 745 8052 | 54 | 0 761.27/761.49 c 756s | 23 | 3305354 | 3218838 | 745 8070 | 54 | 0 763.28/763.49 c 758s | 23 | 3314133 | 3227438 | 745 8088 | 54 | 0 765.37/765.50 c 760s | 23 | 3322925 | 3236038 | 745 8106 | 54 | 0 767.37/767.50 c 762s | 23 | 3331549 | 3244538 | 745 8124 | 54 | 0 769.37/769.50 c 764s | 23 | 3339892 | 3252738 | 745 8142 | 54 | 0 771.37/771.52 c 766s | 23 | 3348166 | 3260938 | 745 8159 | 54 | 0 773.37/773.53 c 768s | 23 | 3356481 | 3269138 | 745 8176 | 54 | 0 775.37/775.55 c 770s | 23 | 3365092 | 3277638 | 745 8195 | 54 | 0 777.37/777.56 c 772s | 23 | 3373845 | 3286238 | 745 8213 | 54 | 0 779.37/779.57 c 774s | 23 | 3382785 | 3295038 | 745 8231 | 54 | 0 781.37/781.58 c 776s | 23 | 3391976 | 3304038 | 745 8251 | 54 | 0 783.36/783.58 c 778s | 23 | 3401091 | 3312938 | 745 8269 | 54 | 0 785.46/785.60 c 780s | 23 | 3409947 | 3321538 | 745 8288 | 54 | 0 787.47/787.62 c 782s | 23 | 3418649 | 3330038 | 745 8306 | 54 | 0 789.46/789.63 c 784s | 23 | 3427326 | 3338538 | 745 8324 | 54 | 0 791.46/791.63 c 786s | 23 | 3435759 | 3346738 | 745 8341 | 54 | 0 793.47/793.66 c 788s | 23 | 3444274 | 3355038 | 820 8358 | 54 | 0 795.47/795.67 c 790s | 23 | 3452693 | 3363238 | 820 8374 | 54 | 0 797.48/797.67 c 792s | 23 | 3460834 | 3371238 | 820 8390 | 54 | 0 798.87/799.05 c 793s | 24 | 3466380 | 3376662 | 820 8401 | 54 | 0 800.87/801.06 c 795s | 24 | 3474351 | 3384262 | 820 8416 | 54 | 0 802.88/803.07 c 797s | 24 | 3482554 | 3392162 | 820 8431 | 54 | 0 804.97/805.10 c 799s | 24 | 3490603 | 3399962 | 820 8447 | 54 | 0 806.97/807.12 c 801s | 24 | 3498544 | 3407762 | 820 8462 | 54 | 0 808.97/809.14 c 803s | 24 | 3506800 | 3415862 | 820 8478 | 54 | 0 810.97/811.14 c 805s | 24 | 3514915 | 3423662 | 820 8493 | 54 | 0 812.97/813.15 c 807s | 24 | 3523284 | 3431762 | 820 8509 | 54 | 0 814.97/815.16 c 809s | 24 | 3531359 | 3439662 | 820 8525 | 54 | 0 816.97/817.18 c 811s | 24 | 3539446 | 3447562 | 820 8540 | 54 | 0 818.97/819.19 c 813s | 24 | 3547595 | 3455462 | 820 8556 | 54 | 0 821.07/821.20 c 815s | 24 | 3556090 | 3463762 | 820 8572 | 54 | 0 823.07/823.22 c 817s | 24 | 3564918 | 3472362 | 820 8589 | 54 | 0 825.06/825.23 c 819s | 24 | 3573856 | 3480962 | 820 8606 | 54 | 0 827.07/827.25 c 821s | 24 | 3582421 | 3489262 | 820 8622 | 54 | 0 829.06/829.28 c 823s | 24 | 3591079 | 3497562 | 820 8639 | 54 | 0 831.06/831.29 c 825s | 24 | 3599281 | 3505462 | 820 8654 | 54 | 0 833.06/833.29 c 827s | 24 | 3607122 | 3513062 | 820 8669 | 54 | 0 835.16/835.31 c 829s | 24 | 3614963 | 3520662 | 820 8684 | 54 | 0 837.16/837.33 c 831s | 24 | 3623173 | 3528562 | 820 8700 | 54 | 0 839.17/839.34 c 834s | 24 | 3631417 | 3536562 | 820 8715 | 54 | 0 841.16/841.36 c 836s | 24 | 3639667 | 3544562 | 820 8731 | 54 | 0 843.16/843.38 c 838s | 24 | 3647661 | 3552262 | 820 8746 | 54 | 0 845.16/845.39 c 840s | 24 | 3655988 | 3560262 | 820 8762 | 54 | 0 847.16/847.39 c 842s | 24 | 3663851 | 3567962 | 820 8777 | 54 | 0 849.26/849.41 c 844s | 24 | 3671992 | 3575962 | 820 8793 | 54 | 0 851.26/851.42 c 846s | 24 | 3680113 | 3583862 | 820 8809 | 54 | 0 853.26/853.43 c 848s | 24 | 3688306 | 3591762 | 820 8824 | 54 | 0 855.26/855.45 c 850s | 24 | 3696366 | 3599562 | 820 8840 | 54 | 0 857.25/857.46 c 852s | 24 | 3704545 | 3607462 | 820 8855 | 54 | 0 859.25/859.47 c 854s | 24 | 3713426 | 3616062 | 820 8872 | 54 | 0 861.26/861.49 c 856s | 24 | 3721800 | 3624262 | 820 8888 | 54 | 0 863.25/863.50 c 858s | 24 | 3729815 | 3632062 | 820 8904 | 54 | 0 865.35/865.51 c 860s | 24 | 3738159 | 3640162 | 820 8920 | 54 | 0 867.35/867.53 c 862s | 24 | 3746366 | 3648162 | 820 8935 | 54 | 0 869.35/869.54 c 864s | 24 | 3754504 | 3655962 | 820 8951 | 54 | 0 871.36/871.55 c 866s | 24 | 3762537 | 3663762 | 820 8966 | 54 | 0 873.37/873.55 c 868s | 24 | 3770446 | 3671462 | 820 8982 | 54 | 0 875.36/875.57 c 870s | 24 | 3778328 | 3679162 | 820 8997 | 54 | 0 877.36/877.58 c 872s | 24 | 3786086 | 3686762 | 820 9012 | 54 | 0 879.36/879.59 c 874s | 24 | 3794144 | 3694662 | 820 9027 | 54 | 0 881.46/881.61 c 876s | 24 | 3802296 | 3702662 | 820 9043 | 54 | 0 883.46/883.61 c 878s | 24 | 3810369 | 3710562 | 820 9059 | 54 | 0 885.46/885.61 c 880s | 24 | 3818169 | 3718162 | 820 9074 | 54 | 0 887.46/887.62 c 882s | 24 | 3826556 | 3726362 | 820 9090 | 54 | 0 889.46/889.65 c 884s | 24 | 3834534 | 3734162 | 820 9105 | 54 | 0 891.46/891.66 c 886s | 24 | 3842604 | 3742062 | 820 9121 | 54 | 0 893.46/893.67 c 888s | 24 | 3850563 | 3749862 | 820 9136 | 54 | 0 895.45/895.69 c 890s | 24 | 3858590 | 3757762 | 820 9152 | 54 | 0 897.46/897.70 c 892s | 24 | 3866789 | 3765862 | 820 9168 | 54 | 0 899.55/899.71 c 894s | 24 | 3874513 | 3773462 | 820 9183 | 54 | 0 901.55/901.72 c 896s | 24 | 3882367 | 3781162 | 820 9198 | 54 | 0 903.55/903.73 c 898s | 24 | 3890693 | 3789362 | 820 9214 | 54 | 0 905.55/905.74 c 900s | 24 | 3898723 | 3797262 | 820 9230 | 54 | 0 907.55/907.75 c 902s | 24 | 3906677 | 3805062 | 820 9245 | 54 | 0 909.56/909.76 c 904s | 24 | 3914902 | 3813062 | 820 9261 | 54 | 0 911.55/911.77 c 906s | 24 | 3922968 | 3820962 | 820 9276 | 54 | 0 913.65/913.80 c 908s | 24 | 3930580 | 3828362 | 820 9291 | 54 | 0 915.65/915.81 c 910s | 24 | 3938874 | 3836462 | 820 9307 | 54 | 0 917.65/917.83 c 912s | 24 | 3946759 | 3844162 | 820 9322 | 54 | 0 919.65/919.84 c 914s | 24 | 3954372 | 3851562 | 820 9336 | 54 | 0 921.65/921.86 c 916s | 24 | 3962236 | 3859262 | 820 9352 | 54 | 0 923.65/923.88 c 918s | 24 | 3970282 | 3867062 | 820 9367 | 54 | 0 925.65/925.88 c 920s | 24 | 3978311 | 3874862 | 820 9382 | 54 | 0 927.74/927.90 c 922s | 24 | 3986334 | 3882762 | 820 9398 | 54 | 0 929.74/929.91 c 924s | 24 | 3994427 | 3890662 | 820 9414 | 54 | 0 931.74/931.92 c 926s | 24 | 4002519 | 3898562 | 820 9429 | 54 | 0 933.75/933.93 c 928s | 24 | 4010353 | 3906262 | 820 9444 | 54 | 0 935.74/935.95 c 930s | 24 | 4018250 | 3913962 | 820 9459 | 54 | 0 937.74/937.98 c 932s | 24 | 4026613 | 3922162 | 820 9476 | 54 | 0 939.74/939.98 c 934s | 24 | 4034874 | 3930262 | 820 9492 | 54 | 0 941.74/941.99 c 936s | 24 | 4042729 | 3937962 | 820 9507 | 54 | 0 943.75/943.99 c 938s | 24 | 4050470 | 3945562 | 820 9522 | 54 | 0 945.85/946.00 c 940s | 24 | 4058413 | 3953362 | 820 9537 | 54 | 0 947.84/948.01 c 942s | 24 | 4066096 | 3960862 | 820 9552 | 54 | 0 949.85/950.03 c 944s | 24 | 4074145 | 3968662 | 820 9567 | 54 | 0 951.85/952.04 c 946s | 24 | 4081916 | 3976262 | 820 9582 | 54 | 0 953.85/954.04 c 948s | 24 | 4089658 | 3983862 | 820 9597 | 54 | 0 955.85/956.05 c 950s | 24 | 4097361 | 3991462 | 820 9613 | 54 | 0 957.85/958.05 c 952s | 24 | 4104975 | 3998962 | 820 9627 | 54 | 0 959.84/960.05 c 954s | 24 | 4112965 | 4006762 | 820 9643 | 54 | 0 961.84/962.05 c 956s | 24 | 4120925 | 4014562 | 820 9658 | 54 | 0 963.84/964.07 c 958s | 24 | 4128772 | 4022262 | 820 9673 | 54 | 0 965.84/966.07 c 960s | 24 | 4136755 | 4030062 | 820 9689 | 54 | 0 967.85/968.07 c 962s | 24 | 4144845 | 4037962 | 820 9705 | 54 | 0 969.84/970.08 c 964s | 24 | 4153312 | 4046162 | 820 9721 | 54 | 0 971.94/972.10 c 966s | 24 | 4162061 | 4054662 | 820 9738 | 54 | 0 973.94/974.12 c 968s | 24 | 4170514 | 4062962 | 820 9754 | 54 | 0 975.93/976.15 c 970s | 24 | 4178500 | 4070862 | 820 9770 | 54 | 0 977.93/978.15 c 972s | 24 | 4186438 | 4078662 | 820 9785 | 54 | 0 979.94/980.16 c 974s | 24 | 4194262 | 4086362 | 820 9800 | 54 | 0 981.93/982.19 c 976s | 24 | 4202089 | 4094062 | 820 9816 | 54 | 0 984.03/984.21 c 978s | 24 | 4210020 | 4101862 | 820 9831 | 54 | 0 986.03/986.23 c 980s | 24 | 4217881 | 4109562 | 820 9846 | 54 | 0 988.02/988.23 c 982s | 24 | 4225803 | 4117262 | 820 9862 | 54 | 0 990.03/990.25 c 984s | 24 | 4234042 | 4125162 | 820 9877 | 54 | 0 992.03/992.26 c 986s | 24 | 4242369 | 4133262 | 820 9893 | 54 | 0 994.02/994.27 c 988s | 24 | 4250879 | 4141462 | 820 9909 | 54 | 0 996.02/996.29 c 990s | 24 | 4259259 | 4149462 | 820 9925 | 54 | 0 998.12/998.31 c 992s | 24 | 4267140 | 4157162 | 820 9940 | 54 | 0 1000.11/1000.32 c 994s | 24 | 4275778 | 4165462 | 820 9956 | 54 | 0 1002.11/1002.32 c 996s | 24 | 4283894 | 4173362 | 820 9972 | 54 | 0 1004.11/1004.32 c 998s | 24 | 4291895 | 4181162 | 820 9987 | 54 | 0 1006.11/1006.33 c 1000s | 24 | 4299923 | 4188962 | 820 10003 | 54 | 0 1008.10/1008.33 c 1003s | 24 | 4307769 | 4196562 | 820 10018 | 54 | 0 1010.10/1010.35 c 1005s | 24 | 4315951 | 4204462 | 820 10033 | 54 | 0 1012.10/1012.36 c 1007s | 24 | 4323975 | 4212262 | 820 10049 | 54 | 0 1014.11/1014.39 c 1009s | 24 | 4332239 | 4220262 | 820 10065 | 54 | 0 1016.10/1016.39 c 1011s | 24 | 4340312 | 4228162 | 820 10080 | 54 | 0 1018.19/1018.41 c 1013s | 24 | 4348376 | 4236062 | 820 10096 | 54 | 0 1020.19/1020.43 c 1015s | 24 | 4356408 | 4243862 | 820 10111 | 54 | 0 1022.19/1022.44 c 1017s | 24 | 4364527 | 4251762 | 820 10127 | 54 | 0 1024.19/1024.45 c 1019s | 24 | 4372704 | 4259762 | 820 10143 | 54 | 0 1026.20/1026.46 c 1021s | 24 | 4380602 | 4267462 | 820 10158 | 54 | 0 1028.18/1028.48 c 1023s | 24 | 4388467 | 4275162 | 820 10173 | 54 | 0 1030.18/1030.49 c 1025s | 24 | 4396735 | 4283262 | 820 10189 | 54 | 0 1032.28/1032.51 c 1027s | 24 | 4404856 | 4291262 | 820 10205 | 54 | 0 1034.28/1034.52 c 1029s | 24 | 4412701 | 4298962 | 820 10220 | 54 | 0 1036.28/1036.53 c 1031s | 24 | 4420879 | 4306962 | 820 10236 | 54 | 0 1038.28/1038.55 c 1033s | 24 | 4428717 | 4314662 | 820 10251 | 54 | 0 1040.27/1040.55 c 1035s | 24 | 4436723 | 4322462 | 820 10267 | 54 | 0 1042.27/1042.57 c 1037s | 24 | 4444764 | 4330262 | 820 10282 | 54 | 0 1044.27/1044.58 c 1039s | 24 | 4452883 | 4338262 | 820 10298 | 54 | 0 1046.27/1046.58 c 1041s | 24 | 4460843 | 4346062 | 820 10313 | 54 | 0 1048.37/1048.61 c 1043s | 24 | 4468593 | 4353662 | 820 10329 | 54 | 0 1050.38/1050.62 c 1045s | 24 | 4476445 | 4361262 | 820 10344 | 54 | 0 1052.37/1052.63 c 1047s | 24 | 4484534 | 4369062 | 820 10359 | 54 | 0 1054.37/1054.64 c 1049s | 24 | 4493102 | 4377462 | 820 10375 | 54 | 0 1056.37/1056.65 c 1051s | 24 | 4501397 | 4385562 | 820 10391 | 54 | 0 1058.36/1058.67 c 1053s | 24 | 4509509 | 4393462 | 820 10407 | 54 | 0 1060.46/1060.70 c 1055s | 24 | 4517499 | 4401262 | 820 10422 | 54 | 0 1062.47/1062.72 c 1057s | 24 | 4525502 | 4409062 | 820 10438 | 54 | 0 1064.46/1064.72 c 1059s | 24 | 4533464 | 4416862 | 820 10453 | 54 | 0 1066.46/1066.73 c 1061s | 24 | 4541230 | 4424462 | 820 10468 | 54 | 0 1068.46/1068.73 c 1063s | 24 | 4549101 | 4432162 | 820 10483 | 54 | 0 1070.46/1070.74 c 1065s | 24 | 4556946 | 4439862 | 820 10499 | 54 | 0 1072.45/1072.74 c 1067s | 24 | 4564667 | 4447462 | 820 10514 | 54 | 0 1074.45/1074.77 c 1069s | 24 | 4572607 | 4455262 | 820 10529 | 54 | 0 1076.44/1076.79 c 1071s | 24 | 4580525 | 4463062 | 820 10545 | 54 | 0 1078.55/1078.81 c 1073s | 24 | 4588342 | 4470762 | 820 10560 | 54 | 0 1080.54/1080.82 c 1075s | 24 | 4596238 | 4478462 | 820 10575 | 54 | 0 1082.54/1082.83 c 1077s | 24 | 4604358 | 4486362 | 820 10591 | 54 | 0 1084.54/1084.84 c 1079s | 24 | 4612446 | 4494362 | 820 10607 | 54 | 0 1086.54/1086.85 c 1081s | 24 | 4620893 | 4502562 | 820 10623 | 54 | 0 1088.54/1088.85 c 1083s | 24 | 4628926 | 4510462 | 820 10639 | 54 | 0 1090.54/1090.87 c 1085s | 24 | 4636792 | 4518162 | 820 10654 | 54 | 0 1092.54/1092.88 c 1087s | 24 | 4644736 | 4525962 | 820 10669 | 54 | 0 1094.54/1094.90 c 1089s | 24 | 4652485 | 4533562 | 820 10684 | 54 | 0 1096.64/1096.90 c 1091s | 24 | 4660504 | 4541362 | 820 10700 | 54 | 0 1098.64/1098.91 c 1093s | 24 | 4668604 | 4549262 | 820 10715 | 54 | 0 1100.63/1100.92 c 1095s | 24 | 4676443 | 4556962 | 820 10731 | 54 | 0 1102.62/1102.92 c 1097s | 24 | 4684283 | 4564662 | 820 10746 | 54 | 0 1104.62/1104.94 c 1099s | 24 | 4692465 | 4572562 | 820 10761 | 54 | 0 1106.62/1106.96 c 1101s | 24 | 4700355 | 4580262 | 820 10777 | 54 | 0 1108.62/1108.97 c 1103s | 24 | 4708236 | 4587962 | 820 10792 | 54 | 0 1110.61/1110.99 c 1105s | 24 | 4716331 | 4595862 | 820 10808 | 54 | 0 1112.62/1113.00 c 1107s | 24 | 4724333 | 4603662 | 820 10823 | 54 | 0 1114.72/1115.00 c 1109s | 24 | 4731838 | 4611062 | 820 10838 | 54 | 0 1116.72/1117.02 c 1111s | 24 | 4739827 | 4618962 | 820 10853 | 54 | 0 1118.71/1119.02 c 1113s | 24 | 4747822 | 4626862 | 820 10869 | 54 | 0 1120.72/1121.04 c 1115s | 24 | 4756096 | 4634962 | 820 10885 | 54 | 0 1122.71/1123.05 c 1117s | 24 | 4764514 | 4643162 | 820 10901 | 54 | 0 1124.71/1125.07 c 1119s | 24 | 4772862 | 4651362 | 820 10917 | 54 | 0 1126.71/1127.08 c 1121s | 24 | 4781235 | 4659562 | 820 10934 | 54 | 0 1128.70/1129.08 c 1123s | 24 | 4789570 | 4667762 | 820 10950 | 54 | 0 1130.80/1131.11 c 1125s | 24 | 4797614 | 4675662 | 820 10966 | 54 | 0 1132.80/1133.12 c 1127s | 24 | 4805573 | 4683462 | 820 10981 | 54 | 0 1134.79/1135.14 c 1129s | 24 | 4813477 | 4691262 | 820 10996 | 54 | 0 1136.79/1137.16 c 1131s | 24 | 4821515 | 4699162 | 820 11012 | 54 | 0 1138.79/1139.17 c 1133s | 24 | 4829344 | 4706862 | 820 11027 | 54 | 0 1140.79/1141.18 c 1135s | 24 | 4837316 | 4714662 | 820 11043 | 54 | 0 1142.89/1143.20 c 1137s | 24 | 4845288 | 4722462 | 820 11058 | 54 | 0 1144.90/1145.21 c 1139s | 24 | 4853340 | 4730362 | 820 11074 | 54 | 0 1146.89/1147.23 c 1141s | 24 | 4861385 | 4738262 | 820 11090 | 54 | 0 1148.88/1149.24 c 1143s | 24 | 4869303 | 4746062 | 820 11105 | 54 | 0 1150.88/1151.24 c 1145s | 24 | 4877223 | 4753762 | 820 11120 | 54 | 0 1152.88/1153.25 c 1147s | 24 | 4885308 | 4761662 | 820 11136 | 54 | 0 1154.89/1155.25 c 1149s | 24 | 4893512 | 4769662 | 820 11152 | 54 | 0 1156.90/1157.27 c 1151s | 24 | 4901411 | 4777462 | 820 11167 | 54 | 0 1158.89/1159.27 c 1153s | 24 | 4909453 | 4785362 | 820 11183 | 54 | 0 1160.89/1161.29 c 1155s | 24 | 4917537 | 4793262 | 820 11198 | 54 | 0 1162.89/1163.29 c 1157s | 24 | 4925494 | 4801062 | 820 11214 | 54 | 0 1164.99/1165.31 c 1159s | 24 | 4933814 | 4809162 | 820 11230 | 54 | 0 1166.99/1167.32 c 1161s | 24 | 4941762 | 4816962 | 820 11245 | 54 | 0 1168.99/1169.33 c 1164s | 24 | 4949802 | 4824862 | 820 11261 | 54 | 0 1170.98/1171.34 c 1166s | 24 | 4958016 | 4832962 | 820 11277 | 54 | 0 1172.98/1173.35 c 1168s | 24 | 4966559 | 4841362 | 820 11294 | 54 | 0 1174.98/1175.36 c 1170s | 24 | 4975387 | 4849962 | 820 11311 | 54 | 0 1176.98/1177.38 c 1172s | 24 | 4983721 | 4858162 | 820 11327 | 54 | 0 1178.98/1179.39 c 1174s | 24 | 4992226 | 4866462 | 820 11343 | 54 | 0 1181.08/1181.42 c 1176s | 24 | 5000615 | 4874662 | 820 11360 | 54 | 0 1183.07/1183.44 c 1178s | 24 | 5008872 | 4882762 | 820 11376 | 54 | 0 1185.07/1185.45 c 1180s | 24 | 5016905 | 4890662 | 820 11391 | 54 | 0 1187.07/1187.47 c 1182s | 24 | 5025048 | 4898662 | 820 11407 | 54 | 0 1189.07/1189.47 c 1184s | 24 | 5033324 | 4906762 | 820 11423 | 54 | 0 1191.07/1191.49 c 1186s | 24 | 5041338 | 4914662 | 820 11439 | 54 | 0 1193.17/1193.52 c 1188s | 24 | 5049287 | 4922462 | 820 11454 | 54 | 0 1195.17/1195.54 c 1190s | 24 | 5057403 | 4930462 | 820 11470 | 54 | 0 1197.17/1197.57 c 1192s | 24 | 5065337 | 4938262 | 820 11486 | 54 | 0 1199.16/1199.59 c 1194s | 24 | 5073427 | 4946162 | 820 11501 | 54 | 0 1201.26/1201.61 c 1196s | 24 | 5081604 | 4954162 | 820 11517 | 54 | 0 1203.26/1203.62 c 1198s | 24 | 5089523 | 4961962 | 820 11533 | 54 | 0 1205.27/1205.64 c 1200s | 24 | 5097770 | 4970062 | 820 11549 | 54 | 0 1207.26/1207.66 c 1202s | 24 | 5105816 | 4977962 | 820 11564 | 54 | 0 1209.26/1209.67 c 1204s | 24 | 5113700 | 4985662 | 820 11580 | 54 | 0 1211.26/1211.68 c 1206s | 24 | 5121737 | 4993362 | 820 11595 | 54 | 0 1213.36/1213.70 c 1208s | 24 | 5129699 | 5001162 | 820 11610 | 54 | 0 1215.36/1215.70 c 1210s | 24 | 5137758 | 5009062 | 820 11626 | 54 | 0 1217.37/1217.71 c 1212s | 24 | 5145993 | 5017162 | 820 11642 | 54 | 0 1219.36/1219.73 c 1214s | 24 | 5154002 | 5025062 | 820 11658 | 54 | 0 1221.36/1221.75 c 1216s | 24 | 5162534 | 5033362 | 903 11673 | 54 | 0 1223.36/1223.77 c 1218s | 24 | 5170625 | 5041262 | 903 11688 | 54 | 0 1225.36/1225.78 c 1220s | 24 | 5178668 | 5049062 | 903 11702 | 54 | 0 1227.46/1227.80 c 1222s | 24 | 5186712 | 5056962 | 903 11717 | 54 | 0 1229.46/1229.81 c 1224s | 24 | 5194774 | 5064862 | 903 11731 | 54 | 0 1229.46/1229.87 c 1224s | 25 | 5195009 | 5065098 | 903 11732 | 54 | 0 1231.46/1231.89 c 1226s | 25 | 5203137 | 5072898 | 903 11746 | 54 | 0 1233.56/1233.90 c 1228s | 25 | 5210987 | 5080598 | 903 11760 | 54 | 0 1235.56/1235.91 c 1230s | 25 | 5219407 | 5088798 | 903 11775 | 54 | 0 1237.56/1237.94 c 1232s | 25 | 5227197 | 5096398 | 903 11789 | 54 | 0 1239.56/1239.95 c 1234s | 25 | 5234977 | 5103998 | 903 11802 | 54 | 0 1241.56/1241.96 c 1236s | 25 | 5242756 | 5111698 | 903 11816 | 54 | 0 1243.56/1243.97 c 1238s | 25 | 5250404 | 5119198 | 903 11830 | 54 | 0 1245.55/1245.99 c 1240s | 25 | 5257891 | 5126598 | 903 11844 | 54 | 0 1247.65/1248.00 c 1242s | 25 | 5265569 | 5134198 | 903 11857 | 54 | 0 1249.65/1250.02 c 1244s | 25 | 5273385 | 5141898 | 903 11871 | 54 | 0 1251.65/1252.03 c 1246s | 25 | 5281052 | 5149498 | 903 11885 | 54 | 0 1253.66/1254.03 c 1248s | 25 | 5289102 | 5157298 | 903 11899 | 54 | 0 1255.65/1256.04 c 1250s | 25 | 5296830 | 5164898 | 903 11913 | 54 | 0 1257.65/1258.07 c 1252s | 25 | 5304652 | 5172598 | 903 11927 | 54 | 0 1259.65/1260.07 c 1254s | 25 | 5312253 | 5180098 | 903 11941 | 54 | 0 1261.66/1262.08 c 1256s | 25 | 5319974 | 5187698 | 903 11955 | 54 | 0 1263.66/1264.08 c 1258s | 25 | 5327759 | 5195398 | 903 11969 | 54 | 0 1265.66/1266.09 c 1260s | 25 | 5335348 | 5202898 | 903 11983 | 54 | 0 1267.76/1268.12 c 1262s | 25 | 5343061 | 5210498 | 903 11997 | 54 | 0 1269.76/1270.13 c 1264s | 25 | 5350986 | 5218298 | 903 12011 | 54 | 0 1271.76/1272.15 c 1266s | 25 | 5358701 | 5225898 | 903 12025 | 54 | 0 1273.76/1274.15 c 1268s | 25 | 5366669 | 5233598 | 903 12039 | 54 | 0 1275.76/1276.16 c 1270s | 25 | 5374257 | 5241098 | 903 12052 | 54 | 0 1277.75/1278.17 c 1272s | 25 | 5382226 | 5248998 | 903 12067 | 54 | 0 1279.75/1280.18 c 1274s | 25 | 5390157 | 5256898 | 903 12081 | 54 | 0 1281.85/1282.20 c 1276s | 25 | 5398004 | 5264698 | 903 12095 | 54 | 0 1283.85/1284.22 c 1278s | 25 | 5405962 | 5272598 | 903 12110 | 54 | 0 1285.85/1286.22 c 1280s | 25 | 5413644 | 5280098 | 903 12124 | 54 | 0 1287.86/1288.24 c 1282s | 25 | 5421125 | 5287498 | 903 12137 | 54 | 0 1289.85/1290.24 c 1284s | 25 | 5428647 | 5294898 | 903 12150 | 54 | 0 1291.85/1292.26 c 1286s | 25 | 5436316 | 5302498 | 903 12164 | 54 | 0 1293.85/1294.26 c 1288s | 25 | 5443962 | 5309998 | 903 12178 | 54 | 0 1295.85/1296.29 c 1290s | 25 | 5451832 | 5317798 | 903 12192 | 54 | 0 1297.95/1298.31 c 1292s | 25 | 5459677 | 5325598 | 903 12206 | 54 | 0 1299.95/1300.32 c 1294s | 25 | 5467440 | 5333298 | 903 12221 | 54 | 0 1301.95/1302.33 c 1297s | 25 | 5475327 | 5341098 | 903 12235 | 54 | 0 1303.95/1304.34 c 1299s | 25 | 5483195 | 5348898 | 903 12249 | 54 | 0 1305.94/1306.35 c 1301s | 25 | 5490785 | 5356398 | 903 12263 | 54 | 0 1307.94/1308.37 c 1303s | 25 | 5498373 | 5363898 | 903 12276 | 54 | 0 1309.94/1310.38 c 1305s | 25 | 5506061 | 5371498 | 903 12290 | 54 | 0 1311.95/1312.39 c 1307s | 25 | 5513927 | 5379298 | 903 12304 | 54 | 0 1314.04/1314.40 c 1309s | 25 | 5521705 | 5386998 | 903 12318 | 54 | 0 1316.04/1316.40 c 1311s | 25 | 5529382 | 5394598 | 903 12332 | 54 | 0 1318.04/1318.42 c 1313s | 25 | 5536994 | 5402098 | 903 12346 | 54 | 0 1320.04/1320.44 c 1315s | 25 | 5544877 | 5409898 | 903 12360 | 54 | 0 1322.04/1322.46 c 1317s | 25 | 5552678 | 5417598 | 903 12374 | 54 | 0 1324.04/1324.49 c 1319s | 25 | 5560666 | 5425498 | 903 12389 | 54 | 0 1326.04/1326.49 c 1321s | 25 | 5568427 | 5433198 | 903 12403 | 54 | 0 1328.14/1328.50 c 1323s | 25 | 5576082 | 5440798 | 903 12417 | 54 | 0 1330.13/1330.51 c 1325s | 25 | 5583884 | 5448498 | 903 12431 | 54 | 0 1332.13/1332.52 c 1327s | 25 | 5591745 | 5456198 | 903 12445 | 54 | 0 1334.13/1334.53 c 1329s | 25 | 5599454 | 5463798 | 903 12459 | 54 | 0 1336.13/1336.54 c 1331s | 25 | 5607149 | 5471398 | 903 12473 | 54 | 0 1338.13/1338.55 c 1333s | 25 | 5615269 | 5479398 | 903 12487 | 54 | 0 1340.12/1340.56 c 1335s | 25 | 5623167 | 5487198 | 903 12502 | 54 | 0 1342.12/1342.59 c 1337s | 25 | 5630936 | 5494898 | 903 12516 | 54 | 0 1344.12/1344.59 c 1339s | 25 | 5638672 | 5502498 | 903 12530 | 54 | 0 1346.13/1346.59 c 1341s | 25 | 5646485 | 5510198 | 903 12544 | 54 | 0 1348.12/1348.60 c 1343s | 25 | 5654358 | 5517998 | 903 12558 | 54 | 0 1350.21/1350.61 c 1345s | 25 | 5662185 | 5525698 | 903 12572 | 54 | 0 1352.21/1352.64 c 1347s | 25 | 5670121 | 5533498 | 903 12586 | 54 | 0 1354.21/1354.64 c 1349s | 25 | 5677662 | 5540898 | 903 12600 | 54 | 0 1356.21/1356.64 c 1351s | 25 | 5685521 | 5548598 | 903 12614 | 54 | 0 1358.22/1358.66 c 1353s | 25 | 5693124 | 5556098 | 903 12627 | 54 | 0 1360.21/1360.66 c 1355s | 25 | 5700911 | 5563798 | 903 12641 | 54 | 0 1362.21/1362.67 c 1357s | 25 | 5709024 | 5571798 | 903 12656 | 54 | 0 1364.22/1364.68 c 1359s | 25 | 5716902 | 5579598 | 903 12670 | 54 | 0 1366.22/1366.69 c 1361s | 25 | 5725413 | 5587898 | 903 12685 | 54 | 0 1368.31/1368.72 c 1363s | 25 | 5733300 | 5595698 | 903 12700 | 54 | 0 1370.32/1370.73 c 1365s | 25 | 5741125 | 5603398 | 903 12714 | 54 | 0 1372.31/1372.75 c 1367s | 25 | 5749108 | 5611198 | 903 12728 | 54 | 0 1374.31/1374.77 c 1369s | 25 | 5756839 | 5618798 | 903 12742 | 54 | 0 1376.31/1376.80 c 1371s | 25 | 5764714 | 5626498 | 903 12756 | 54 | 0 1378.41/1378.82 c 1373s | 25 | 5772714 | 5634298 | 903 12770 | 54 | 0 1380.41/1380.82 c 1375s | 25 | 5780364 | 5641798 | 903 12783 | 54 | 0 1382.41/1382.85 c 1377s | 25 | 5788203 | 5649498 | 903 12797 | 54 | 0 1384.40/1384.86 c 1379s | 25 | 5795861 | 5656998 | 903 12811 | 54 | 0 1386.40/1386.87 c 1381s | 25 | 5803669 | 5664698 | 903 12825 | 54 | 0 1388.40/1388.88 c 1383s | 25 | 5811293 | 5672198 | 903 12839 | 54 | 0 1390.50/1390.91 c 1385s | 25 | 5818959 | 5679698 | 903 12853 | 54 | 0 1392.50/1392.92 c 1387s | 25 | 5826665 | 5687298 | 903 12866 | 54 | 0 1394.51/1394.93 c 1389s | 25 | 5834230 | 5694698 | 903 12880 | 54 | 0 1396.50/1396.94 c 1391s | 25 | 5842164 | 5702498 | 903 12894 | 54 | 0 1398.49/1398.94 c 1393s | 25 | 5849945 | 5710098 | 903 12908 | 54 | 0 1400.49/1400.95 c 1395s | 25 | 5857664 | 5717698 | 903 12922 | 54 | 0 1402.49/1402.97 c 1397s | 25 | 5865446 | 5725398 | 903 12936 | 54 | 0 1404.49/1404.99 c 1399s | 25 | 5873366 | 5733198 | 903 12950 | 54 | 0 1406.50/1406.99 c 1401s | 25 | 5880896 | 5740598 | 903 12964 | 54 | 0 1408.59/1409.02 c 1403s | 25 | 5888839 | 5748398 | 903 12978 | 54 | 0 1410.59/1411.04 c 1405s | 25 | 5896719 | 5756098 | 903 12992 | 54 | 0 1412.59/1413.04 c 1407s | 25 | 5904344 | 5763598 | 903 13006 | 54 | 0 1414.59/1415.06 c 1409s | 25 | 5912159 | 5771298 | 903 13020 | 54 | 0 1416.59/1417.09 c 1411s | 25 | 5919838 | 5778898 | 903 13034 | 54 | 0 1418.69/1419.11 c 1413s | 25 | 5927909 | 5786898 | 903 13048 | 54 | 0 1420.68/1421.11 c 1415s | 25 | 5936016 | 5794898 | 903 13063 | 54 | 0 1422.68/1423.13 c 1417s | 25 | 5943798 | 5802598 | 903 13077 | 54 | 0 1424.68/1425.16 c 1419s | 25 | 5951392 | 5810098 | 903 13091 | 54 | 0 1426.68/1427.17 c 1421s | 25 | 5959073 | 5817698 | 903 13104 | 54 | 0 1428.67/1429.17 c 1423s | 25 | 5966438 | 5824998 | 903 13118 | 54 | 0 1430.68/1431.18 c 1425s | 25 | 5974219 | 5832598 | 903 13132 | 54 | 0 1432.67/1433.19 c 1427s | 25 | 5981865 | 5840098 | 903 13145 | 54 | 0 1434.77/1435.20 c 1429s | 25 | 5989487 | 5847598 | 903 13159 | 54 | 0 1436.77/1437.22 c 1431s | 25 | 5997125 | 5855098 | 903 13173 | 54 | 0 1438.76/1439.24 c 1433s | 25 | 6005314 | 5863198 | 903 13188 | 54 | 0 1440.76/1441.25 c 1435s | 25 | 6013352 | 5871098 | 903 13202 | 54 | 0 1442.77/1443.27 c 1437s | 25 | 6021362 | 5878998 | 903 13216 | 54 | 0 1444.76/1445.28 c 1439s | 25 | 6028939 | 5886398 | 903 13230 | 54 | 0 1446.86/1447.30 c 1441s | 25 | 6036631 | 5893998 | 903 13244 | 54 | 0 1448.86/1449.31 c 1443s | 25 | 6044180 | 5901398 | 903 13257 | 54 | 0 1450.86/1451.31 c 1445s | 25 | 6051909 | 5908998 | 903 13271 | 54 | 0 1452.86/1453.32 c 1447s | 25 | 6059410 | 5916398 | 903 13285 | 54 | 0 1454.87/1455.32 c 1449s | 25 | 6067259 | 5924098 | 903 13299 | 54 | 0 1456.86/1457.33 c 1452s | 25 | 6074952 | 5931698 | 903 13313 | 54 | 0 1458.86/1459.33 c 1454s | 25 | 6082543 | 5939198 | 903 13327 | 54 | 0 1460.86/1461.34 c 1456s | 25 | 6090123 | 5946698 | 903 13340 | 54 | 0 1462.86/1463.35 c 1458s | 25 | 6097822 | 5954298 | 903 13354 | 54 | 0 1464.87/1465.35 c 1460s | 25 | 6105287 | 5961698 | 903 13368 | 54 | 0 1466.86/1467.37 c 1462s | 25 | 6112951 | 5969298 | 903 13382 | 54 | 0 1468.85/1469.37 c 1464s | 25 | 6120512 | 5976798 | 903 13395 | 54 | 0 1470.85/1471.39 c 1466s | 25 | 6128384 | 5984498 | 903 13409 | 54 | 0 1472.95/1473.41 c 1468s | 25 | 6136013 | 5991998 | 903 13423 | 54 | 0 1474.95/1475.41 c 1470s | 25 | 6143591 | 5999498 | 903 13437 | 54 | 0 1476.96/1477.42 c 1472s | 25 | 6151879 | 6007698 | 903 13452 | 54 | 0 1478.95/1479.43 c 1474s | 25 | 6159597 | 6015298 | 903 13466 | 54 | 0 1480.95/1481.46 c 1476s | 25 | 6167714 | 6023198 | 903 13480 | 54 | 0 1482.95/1483.48 c 1478s | 25 | 6175808 | 6031098 | 903 13494 | 54 | 0 1485.05/1485.50 c 1480s | 25 | 6183929 | 6039098 | 903 13509 | 54 | 0 1487.05/1487.50 c 1482s | 25 | 6191529 | 6046598 | 903 13523 | 54 | 0 1489.05/1489.52 c 1484s | 25 | 6199330 | 6054298 | 903 13537 | 54 | 0 1491.04/1491.54 c 1486s | 25 | 6207112 | 6061998 | 903 13551 | 54 | 0 1493.04/1493.56 c 1488s | 25 | 6214819 | 6069598 | 903 13565 | 54 | 0 1495.04/1495.58 c 1490s | 25 | 6222843 | 6077498 | 903 13579 | 54 | 0 1497.04/1497.59 c 1492s | 25 | 6230347 | 6084898 | 903 13592 | 54 | 0 1499.13/1499.61 c 1494s | 25 | 6238027 | 6092498 | 903 13606 | 54 | 0 1501.14/1501.63 c 1496s | 25 | 6245667 | 6099998 | 903 13620 | 54 | 0 1503.13/1503.64 c 1498s | 25 | 6253374 | 6107598 | 903 13634 | 54 | 0 1505.13/1505.66 c 1500s | 25 | 6261359 | 6115498 | 903 13648 | 54 | 0 1507.13/1507.68 c 1502s | 25 | 6269436 | 6123498 | 903 13663 | 54 | 0 1509.13/1509.69 c 1504s | 25 | 6277411 | 6131398 | 903 13677 | 54 | 0 1511.23/1511.71 c 1506s | 25 | 6285169 | 6139098 | 903 13691 | 54 | 0 1513.23/1513.72 c 1508s | 25 | 6292854 | 6146698 | 903 13705 | 54 | 0 1515.22/1515.75 c 1510s | 25 | 6300455 | 6154198 | 903 13719 | 54 | 0 1517.22/1517.77 c 1512s | 25 | 6308276 | 6161898 | 903 13733 | 54 | 0 1519.22/1519.79 c 1514s | 25 | 6315768 | 6169298 | 903 13747 | 54 | 0 1521.32/1521.80 c 1516s | 25 | 6323172 | 6176598 | 903 13760 | 54 | 0 1523.32/1523.82 c 1518s | 25 | 6330717 | 6184098 | 903 13774 | 54 | 0 1525.32/1525.84 c 1520s | 25 | 6338210 | 6191498 | 903 13787 | 54 | 0 1527.32/1527.87 c 1522s | 25 | 6345796 | 6198998 | 903 13801 | 54 | 0 1529.31/1529.88 c 1524s | 25 | 6353377 | 6206498 | 903 13815 | 54 | 0 1531.31/1531.89 c 1526s | 25 | 6361012 | 6213998 | 903 13828 | 54 | 0 1533.41/1533.91 c 1528s | 25 | 6368683 | 6221598 | 903 13842 | 54 | 0 1535.41/1535.92 c 1530s | 25 | 6376419 | 6229298 | 903 13856 | 54 | 0 1537.42/1537.92 c 1532s | 25 | 6383873 | 6236698 | 903 13870 | 54 | 0 1539.40/1539.93 c 1534s | 25 | 6391557 | 6244298 | 903 13884 | 54 | 0 1541.40/1541.93 c 1536s | 25 | 6399368 | 6251998 | 903 13898 | 54 | 0 1543.40/1543.93 c 1538s | 25 | 6406955 | 6259398 | 903 13911 | 54 | 0 1545.40/1545.95 c 1540s | 25 | 6414448 | 6266798 | 903 13925 | 54 | 0 1547.40/1547.96 c 1542s | 25 | 6422086 | 6274298 | 903 13938 | 54 | 0 1549.40/1549.97 c 1544s | 25 | 6429766 | 6281898 | 903 13952 | 54 | 0 1551.40/1551.98 c 1546s | 25 | 6437055 | 6289098 | 903 13965 | 54 | 0 1553.40/1553.99 c 1548s | 25 | 6444649 | 6296598 | 903 13979 | 54 | 0 1555.50/1556.00 c 1550s | 25 | 6452221 | 6304098 | 903 13993 | 54 | 0 1557.50/1558.01 c 1552s | 25 | 6459770 | 6311598 | 903 14007 | 54 | 0 1559.50/1560.01 c 1554s | 25 | 6467550 | 6319298 | 903 14021 | 54 | 0 1561.51/1562.02 c 1556s | 25 | 6475257 | 6326898 | 903 14035 | 54 | 0 1563.50/1564.04 c 1558s | 25 | 6482948 | 6334498 | 903 14049 | 54 | 0 1565.50/1566.05 c 1560s | 25 | 6490729 | 6342198 | 903 14063 | 54 | 0 1567.50/1568.08 c 1562s | 25 | 6498391 | 6349798 | 903 14077 | 54 | 0 1569.50/1570.08 c 1564s | 25 | 6505872 | 6357198 | 903 14090 | 54 | 0 1571.60/1572.10 c 1566s | 25 | 6513461 | 6364598 | 903 14104 | 54 | 0 1573.60/1574.12 c 1568s | 25 | 6521095 | 6372098 | 903 14117 | 54 | 0 1575.59/1576.15 c 1570s | 25 | 6528643 | 6379598 | 903 14131 | 54 | 0 1577.59/1578.16 c 1572s | 25 | 6536109 | 6386998 | 903 14145 | 54 | 0 1579.59/1580.17 c 1574s | 25 | 6544084 | 6394898 | 903 14159 | 54 | 0 1581.59/1582.19 c 1576s | 25 | 6551852 | 6402598 | 903 14173 | 54 | 0 1583.69/1584.21 c 1578s | 25 | 6559320 | 6409998 | 903 14187 | 54 | 0 1585.69/1586.22 c 1580s | 25 | 6566507 | 6417098 | 903 14200 | 54 | 0 1587.68/1588.24 c 1582s | 25 | 6573984 | 6424498 | 903 14213 | 54 | 0 1589.68/1590.26 c 1584s | 25 | 6581354 | 6431798 | 903 14227 | 54 | 0 1591.68/1592.26 c 1586s | 25 | 6588817 | 6439198 | 903 14240 | 54 | 0 1593.68/1594.28 c 1588s | 25 | 6596479 | 6446698 | 903 14254 | 54 | 0 1595.78/1596.30 c 1590s | 25 | 6604195 | 6454298 | 903 14268 | 54 | 0 1597.79/1598.31 c 1592s | 25 | 6611558 | 6461498 | 903 14281 | 54 | 0 1599.77/1600.31 c 1594s | 25 | 6618889 | 6468698 | 903 14294 | 54 | 0 1601.77/1602.32 c 1596s | 25 | 6626320 | 6475998 | 903 14307 | 54 | 0 1603.77/1604.35 c 1599s | 25 | 6633917 | 6483498 | 903 14321 | 54 | 0 1605.77/1606.37 c 1601s | 25 | 6641618 | 6491098 | 903 14335 | 54 | 0 1607.78/1608.38 c 1603s | 25 | 6649266 | 6498598 | 903 14349 | 54 | 0 1609.78/1610.39 c 1605s | 25 | 6656911 | 6506098 | 903 14363 | 54 | 0 1611.88/1612.41 c 1607s | 25 | 6664219 | 6513298 | 903 14376 | 54 | 0 1613.88/1614.43 c 1609s | 25 | 6671624 | 6520598 | 903 14389 | 54 | 0 1615.88/1616.44 c 1611s | 25 | 6678916 | 6527798 | 903 14402 | 54 | 0 1617.88/1618.45 c 1613s | 25 | 6686505 | 6535298 | 903 14416 | 54 | 0 1619.88/1620.48 c 1615s | 25 | 6693999 | 6542698 | 903 14430 | 54 | 0 1621.87/1622.48 c 1617s | 25 | 6701494 | 6550098 | 903 14443 | 54 | 0 1623.87/1624.49 c 1619s | 25 | 6709032 | 6557498 | 903 14457 | 54 | 0 1625.87/1626.49 c 1621s | 25 | 6716340 | 6564698 | 903 14470 | 54 | 0 1627.97/1628.51 c 1623s | 25 | 6723749 | 6571998 | 903 14483 | 54 | 0 1629.97/1630.52 c 1625s | 25 | 6731116 | 6579298 | 903 14497 | 54 | 0 1631.98/1632.53 c 1627s | 25 | 6738677 | 6586798 | 903 14510 | 54 | 0 1633.97/1634.54 c 1629s | 25 | 6745943 | 6593998 | 903 14524 | 54 | 0 1635.97/1636.55 c 1631s | 25 | 6753253 | 6601198 | 903 14537 | 54 | 0 1637.97/1638.57 c 1633s | 25 | 6760693 | 6608498 | 903 14550 | 54 | 0 1639.97/1640.57 c 1635s | 25 | 6767885 | 6615598 | 903 14563 | 54 | 0 1641.97/1642.58 c 1637s | 25 | 6775308 | 6622898 | 903 14577 | 54 | 0 1643.97/1644.58 c 1639s | 25 | 6782704 | 6630198 | 903 14590 | 54 | 0 1646.06/1646.60 c 1641s | 25 | 6790092 | 6637498 | 903 14603 | 54 | 0 1648.06/1648.61 c 1643s | 25 | 6797649 | 6644998 | 903 14617 | 54 | 0 1650.06/1650.64 c 1645s | 25 | 6805242 | 6652498 | 903 14631 | 54 | 0 1652.06/1652.64 c 1647s | 25 | 6812836 | 6659998 | 903 14645 | 54 | 0 1654.06/1654.65 c 1649s | 25 | 6820224 | 6667298 | 903 14658 | 54 | 0 1656.07/1656.66 c 1651s | 25 | 6827685 | 6674698 | 903 14672 | 54 | 0 1658.06/1658.69 c 1653s | 25 | 6834831 | 6681698 | 903 14685 | 54 | 0 1660.16/1660.71 c 1655s | 25 | 6842132 | 6688898 | 903 14698 | 54 | 0 1662.16/1662.71 c 1657s | 25 | 6849737 | 6696398 | 903 14711 | 54 | 0 1664.16/1664.74 c 1659s | 25 | 6856840 | 6703398 | 903 14724 | 54 | 0 1666.15/1666.76 c 1661s | 25 | 6863853 | 6710298 | 903 14737 | 54 | 0 1668.16/1668.77 c 1663s | 25 | 6870953 | 6717298 | 903 14749 | 54 | 0 1670.15/1670.77 c 1665s | 25 | 6878076 | 6724298 | 903 14762 | 54 | 0 1672.25/1672.80 c 1667s | 25 | 6885124 | 6731198 | 903 14775 | 54 | 0 1674.25/1674.80 c 1669s | 25 | 6892229 | 6738198 | 903 14787 | 54 | 0 1676.25/1676.82 c 1671s | 25 | 6899608 | 6745498 | 903 14801 | 54 | 0 1678.24/1678.82 c 1673s | 25 | 6906752 | 6752598 | 903 14814 | 54 | 0 1680.25/1680.84 c 1675s | 25 | 6914121 | 6759898 | 903 14827 | 54 | 0 1682.24/1682.86 c 1677s | 25 | 6921322 | 6766998 | 903 14840 | 54 | 0 1684.24/1684.87 c 1679s | 25 | 6928685 | 6774298 | 903 14853 | 54 | 0 1686.24/1686.89 c 1681s | 25 | 6935953 | 6781498 | 903 14866 | 54 | 0 1688.34/1688.90 c 1683s | 25 | 6943119 | 6788598 | 903 14879 | 54 | 0 1690.34/1690.92 c 1685s | 25 | 6950262 | 6795698 | 903 14892 | 54 | 0 1692.34/1692.93 c 1687s | 25 | 6957693 | 6803098 | 903 14906 | 54 | 0 1694.33/1694.94 c 1689s | 25 | 6965860 | 6811198 | 903 14921 | 54 | 0 1696.33/1696.96 c 1691s | 25 | 6973766 | 6818998 | 903 14935 | 54 | 0 1698.33/1698.98 c 1693s | 25 | 6981044 | 6826198 | 903 14948 | 54 | 0 1700.43/1701.00 c 1695s | 25 | 6988328 | 6833398 | 903 14961 | 54 | 0 1702.43/1703.01 c 1697s | 25 | 6995386 | 6840398 | 903 14974 | 54 | 0 1704.44/1705.01 c 1699s | 25 | 7002632 | 6847598 | 903 14987 | 54 | 0 1706.43/1707.04 c 1701s | 25 | 7009598 | 6854498 | 903 14999 | 54 | 0 1708.43/1709.04 c 1703s | 25 | 7016848 | 6861698 | 903 15013 | 54 | 0 1710.43/1711.07 c 1705s | 25 | 7024018 | 6868798 | 903 15026 | 54 | 0 1712.43/1713.08 c 1707s | 25 | 7031418 | 6876098 | 903 15039 | 54 | 0 1714.43/1715.09 c 1709s | 25 | 7039260 | 6883798 | 903 15053 | 54 | 0 1716.43/1717.09 c 1711s | 25 | 7046998 | 6891398 | 903 15067 | 54 | 0 1718.53/1719.10 c 1713s | 25 | 7054510 | 6898798 | 903 15080 | 54 | 0 1720.53/1721.10 c 1715s | 25 | 7061755 | 6905898 | 903 15093 | 54 | 0 1722.53/1723.12 c 1717s | 25 | 7069049 | 6913098 | 903 15106 | 54 | 0 1724.52/1725.13 c 1719s | 25 | 7076433 | 6920398 | 903 15119 | 54 | 0 1726.53/1727.14 c 1721s | 25 | 7083441 | 6927298 | 903 15132 | 54 | 0 1728.52/1729.15 c 1723s | 25 | 7090447 | 6934198 | 903 15145 | 54 | 0 1730.52/1731.16 c 1725s | 25 | 7097552 | 6941098 | 903 15157 | 54 | 0 1732.52/1733.18 c 1727s | 25 | 7104558 | 6947998 | 903 15170 | 54 | 0 1734.52/1735.19 c 1729s | 25 | 7111777 | 6954998 | 903 15182 | 54 | 0 1736.62/1737.21 c 1731s | 25 | 7118914 | 6961998 | 903 15195 | 54 | 0 1738.63/1739.21 c 1733s | 25 | 7126486 | 6969298 | 903 15209 | 54 | 0 1740.62/1741.23 c 1735s | 25 | 7133632 | 6976298 | 903 15221 | 54 | 0 1742.62/1743.25 c 1737s | 25 | 7140730 | 6983298 | 903 15234 | 54 | 0 1744.62/1745.27 c 1739s | 25 | 7147980 | 6990398 | 903 15247 | 54 | 0 1746.62/1747.30 c 1741s | 25 | 7155182 | 6997498 | 903 15260 | 54 | 0 1748.72/1749.30 c 1743s | 25 | 7162435 | 7004598 | 903 15273 | 54 | 0 1750.73/1751.31 c 1745s | 25 | 7169720 | 7011698 | 903 15286 | 54 | 0 1752.72/1753.32 c 1747s | 25 | 7177422 | 7019098 | 903 15300 | 54 | 0 1754.72/1755.32 c 1749s | 25 | 7184520 | 7026098 | 903 15312 | 54 | 0 1756.72/1757.34 c 1752s | 25 | 7191517 | 7032998 | 903 15325 | 54 | 0 1758.72/1759.35 c 1754s | 25 | 7198968 | 7040298 | 903 15338 | 54 | 0 1760.72/1761.36 c 1756s | 25 | 7205861 | 7047098 | 903 15351 | 54 | 0 1762.73/1763.38 c 1758s | 25 | 7212941 | 7054098 | 903 15364 | 54 | 0 1764.72/1765.38 c 1760s | 25 | 7220102 | 7061198 | 903 15376 | 54 | 0 1766.72/1767.38 c 1762s | 25 | 7227403 | 7068398 | 903 15390 | 54 | 0 1768.72/1769.38 c 1764s | 25 | 7234477 | 7075398 | 903 15402 | 54 | 0 1770.82/1771.40 c 1766s | 25 | 7241825 | 7082698 | 903 15416 | 54 | 0 1772.82/1773.41 c 1768s | 25 | 7249304 | 7090098 | 903 15429 | 54 | 0 1774.82/1775.42 c 1770s | 25 | 7256749 | 7097498 | 903 15443 | 54 | 0 1776.82/1777.43 c 1772s | 25 | 7264439 | 7105098 | 903 15457 | 54 | 0 1778.82/1779.44 c 1774s | 25 | 7271755 | 7112298 | 903 15470 | 54 | 0 1780.82/1781.45 c 1776s | 25 | 7279100 | 7119498 | 903 15483 | 54 | 0 1782.82/1783.45 c 1778s | 25 | 7286413 | 7126598 | 903 15496 | 54 | 0 1784.82/1785.45 c 1780s | 25 | 7293338 | 7133398 | 903 15508 | 54 | 0 1786.81/1787.46 c 1782s | 25 | 7300298 | 7140198 | 903 15521 | 54 | 0 1788.81/1789.49 c 1784s | 25 | 7307303 | 7147098 | 903 15533 | 54 | 0 1790.91/1791.50 c 1786s | 25 | 7314807 | 7154498 | 903 15547 | 54 | 0 1792.91/1793.52 c 1788s | 25 | 7322083 | 7161598 | 903 15560 | 54 | 0 1794.91/1795.55 c 1790s | 25 | 7329166 | 7168598 | 903 15573 | 54 | 0 1796.92/1797.56 c 1792s | 25 | 7336514 | 7175798 | 903 15586 | 54 | 0 1798.91/1799.58 c 1794s | 25 | 7343656 | 7182798 | 903 15599 | 54 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4104013-1466241787/watcher-4104013-1466241787 -o /tmp/evaluation-result-4104013-1466241787/solver-4104013-1466241787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104013-1466241787.opb pid=28940 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.32 1.67 4/178 28946 /proc/meminfo: memFree=31281772/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=634300 CPUtime=0 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 2348 0 0 0 0 0 0 0 20 0 4 0 26228896 649523200 2709 33554432000 4194304 16246674 140734444199872 140734444199296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 159343 2719 441 2943 0 156237 0 [pid=28946/tid=28947] ppid=28940 vsize=651708 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 667348992 2778 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=655804 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 671543296 2795 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=659900 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26228896 675737600 2811 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100145 s] /proc/loadavg: 1.11 1.32 1.67 4/178 28946 /proc/meminfo: memFree=31281772/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 25117 0 0 0 6 3 0 0 20 0 4 0 26228896 1247350784 25469 33554432000 4194304 16246674 140734444199872 140734444199296 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 304529 25474 605 2943 0 301423 0 [pid=28946/tid=28947] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 25477 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 25481 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 25485 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200488 s] /proc/loadavg: 1.11 1.32 1.67 4/178 28946 /proc/meminfo: memFree=31281772/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 45900 0 0 0 14 5 0 0 20 0 4 0 26228896 1247350784 46252 33554432000 4194304 16246674 140734444199872 140734444199296 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 304529 46260 605 2943 0 301423 0 [pid=28946/tid=28947] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 46265 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 46270 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 46275 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300454 s] /proc/loadavg: 1.11 1.32 1.67 4/178 28946 /proc/meminfo: memFree=31281772/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 71133 0 0 0 20 8 0 0 20 0 4 0 26228896 1247350784 71485 33554432000 4194304 16246674 140734444199872 140734444199296 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 304529 71498 605 2943 0 301423 0 [pid=28946/tid=28947] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 71508 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 71517 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 71526 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700387 s] /proc/loadavg: 1.11 1.32 1.67 4/178 28946 /proc/meminfo: memFree=31281772/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 156244 0 0 0 50 19 0 0 20 0 4 0 26228896 1247350784 156596 33554432000 4194304 16246674 140734444199872 140734444199296 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 304529 156602 605 2943 0 301423 0 [pid=28946/tid=28947] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 156605 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 156609 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26228896 1247350784 156613 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50035 s] /proc/loadavg: 1.11 1.32 1.67 4/183 28951 /proc/meminfo: memFree=29280012/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1402436 CPUtime=1.49 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 291473 0 0 0 110 39 0 0 20 0 4 0 26228896 1436094464 291781 33554432000 4194304 16246674 140734444199872 140734444199184 12653033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 350609 291781 822 2943 0 347503 0 [pid=28946/tid=28947] ppid=28940 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1436094464 291781 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1436094464 291781 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1436094464 291781 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1402436 [startup+3.10041 s] /proc/loadavg: 1.11 1.32 1.67 4/183 28951 /proc/meminfo: memFree=29006840/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=3.08 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312752 0 0 0 267 41 0 0 20 0 4 0 26228896 1522077696 313060 33554432000 4194304 16246674 140734444199872 140734444199184 12656008 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313060 886 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313060 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313060 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313060 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1486404 [startup+6.3004 s] /proc/loadavg: 1.18 1.33 1.67 4/183 28951 /proc/meminfo: memFree=28861700/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=6.28 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312786 0 0 0 587 41 0 0 20 0 4 0 26228896 1522077696 313094 33554432000 4194304 16246674 140734444199872 140734444181760 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313094 908 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313094 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313094 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313094 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1486404 [startup+12.7004 s] /proc/loadavg: 1.25 1.35 1.67 5/183 28951 /proc/meminfo: memFree=28861756/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=12.68 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312787 0 0 0 1227 41 0 0 20 0 4 0 26228896 1522077696 313095 33554432000 4194304 16246674 140734444199872 140734444181760 5723732 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313095 908 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313095 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313095 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313095 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1486404 [startup+25.5005 s] /proc/loadavg: 1.41 1.38 1.68 4/183 28951 /proc/meminfo: memFree=28863856/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=25.48 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312790 0 0 0 2507 41 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 140734444181760 13927454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313098 910 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1486404 [startup+51.1004 s] /proc/loadavg: 1.75 1.46 1.69 4/183 28951 /proc/meminfo: memFree=28863824/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=51.08 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312790 0 0 0 5066 42 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 140734444181760 13774452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313098 910 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313098 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1486404 [startup+102.3 s] /proc/loadavg: 1.89 1.54 1.71 4/183 28952 /proc/meminfo: memFree=28863224/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=102.28 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312791 0 0 0 10186 42 0 0 20 0 4 0 26228896 1522077696 313099 33554432000 4194304 16246674 140734444199872 140734444182872 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313099 910 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313099 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313099 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313099 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1486404 ################ # More data... # ################ /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1486404 [startup+1302.3 s] /proc/loadavg: 2.19 2.07 1.94 3/183 4564 /proc/meminfo: memFree=28924340/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1301.95 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 312974 0 0 0 130129 66 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444182872 5600728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1486404 [startup+1362.3 s] /proc/loadavg: 2.19 2.08 1.95 3/183 4565 /proc/meminfo: memFree=28924128/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1361.91 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313015 0 0 0 136125 66 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 13781192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1486404 [startup+1422.3 s] /proc/loadavg: 2.19 2.10 1.96 4/183 4567 /proc/meminfo: memFree=28914620/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1421.88 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313057 0 0 0 142121 67 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1486404 [startup+1482.3 s] /proc/loadavg: 2.11 2.09 1.96 3/183 4568 /proc/meminfo: memFree=28907836/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1481.85 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313098 0 0 0 148117 68 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 12483198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1486404 [startup+1542.31 s] /proc/loadavg: 2.04 2.07 1.96 3/183 4569 /proc/meminfo: memFree=28907968/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1541.81 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313140 0 0 0 154113 68 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 5602895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1486404 [startup+1602.3 s] /proc/loadavg: 2.15 2.10 1.98 3/183 4570 /proc/meminfo: memFree=28907636/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1601.77 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313180 0 0 0 160108 69 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 12415754 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1486404 [startup+1662.3 s] /proc/loadavg: 2.15 2.11 1.99 3/184 4574 /proc/meminfo: memFree=28907512/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1661.76 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313218 0 0 0 166106 70 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444182872 5808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1486404 [startup+1722.3 s] /proc/loadavg: 2.09 2.10 2.00 3/183 4576 /proc/meminfo: memFree=28907932/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1721.73 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313255 0 0 0 172102 71 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1486404 [startup+1782.3 s] /proc/loadavg: 2.03 2.08 2.00 3/182 4577 /proc/meminfo: memFree=28906528/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1781.72 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313255 0 0 0 178101 71 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 13954184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1486404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.02 2.07 2.00 3/183 4579 /proc/meminfo: memFree=28904884/32872528 swapFree=526336/559040 [pid=28946] ppid=28940 vsize=1486404 CPUtime=1800.01 cores=0,2,4,6 /proc/28946/stat : 28946 (toysat) R 28940 28946 28898 0 -1 4202496 313255 0 0 0 179930 71 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 140734444181760 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28946/statm: 371601 313106 917 2943 0 368495 0 [pid=28946/tid=28947] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28947/stat : 28947 (toysat) S 28940 28946 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833149205744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28946/tid=28948] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28948/stat : 28948 (toysat) S 28940 28946 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833062173936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28946/tid=28949] ppid=28940 vsize=1486404 CPUtime=0 cores=0,2,4,6 /proc/28946/task/28949/stat : 28949 (toysat) S 28940 28946 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26228896 1522077696 313106 33554432000 4194304 16246674 140734444199872 139833051700400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1486404 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 28946 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.03 CPU user time (s): 1799.32 CPU system time (s): 0.713891 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 1486404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 0.713891 maximum resident set size= 1252424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 313255 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= 483 involuntary context switches= 6002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.55831 second user time and 6.96194 second system time The end
Begin job on node106 at 2016-06-18 11:23:08 IDJOB=4104013 IDBENCH=2532 IDSOLVER=2542 FILE ID=node106/4104013-1466241787 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104013-1466241787/watcher-4104013-1466241787 -o /tmp/evaluation-result-4104013-1466241787/solver-4104013-1466241787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104013-1466241787.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9 RANDOM SEED=403245024 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31285536 kB Buffers: 76988 kB Cached: 204680 kB SwapCached: 1868 kB Active: 84000 kB Inactive: 200232 kB Active(anon): 2296 kB Inactive(anon): 3048 kB Active(file): 81704 kB Inactive(file): 197184 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 32764 kB Writeback: 0 kB AnonPages: 561384 kB Mapped: 6932 kB Shmem: 0 kB Slab: 609140 kB SReclaimable: 53024 kB SUnreclaim: 556116 kB KernelStack: 1392 kB PageTables: 5016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 656464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 11:53:08