| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo |
| MD5SUM | 3fb8f81d652630b13b866ff5b3a4bf01 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 408.45 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 188 |
| Total number of constraints | 991 |
| Number of soft constraints | 944 |
| Number of constraints which are clauses | 944 |
| Number of constraints which are cardinality constraints (but not clauses) | 47 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Top cost | 237 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 944 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-16T23:08:48+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","--wbo","--search=bcd2","HOME/instance-4093510-1466111328.wbo"] 0.00/0.01 c use --random-gen="2035183686 2763627422 99352691 2713273725 4243674756 970675909 1161170734 840998634 1182713778 1737785530 609560189 66586328 2918875549 2073725350 2260539536 2608373687 3927792336 2061047345 3527400940 4198122062 1596297106 2736353697 1067006159 3284794949 4024831238 3590771294 1263768845 1038540659 1460157776 1671540702 2621410656 1845586698 1609351036 2565998612 2303247071 799297533 3556591038 3736038972 843090005 3282378784 3590553846 2398877066 3195706706 745063433 667580317 3407770956 1057308553 1803084086 4261338189 3826476603 3424884261 2091010718 2278474497 4056349486 2552736780 326949555 1325214278 1013672988 1917314910 2159720764 4178607806 2131802001 2946972217 2615688321 700795198 4237557632 1420892508 686532634 4185823539 3792671820 1101906692 4145692828 2103189822 607748576 2718507199 3395779111 4209400229 180039271 3969201623 2908049694 72106977 3463467944 2313017751 883672916 3792008643 3181590387 152545450 772187603 989799478 2744830119 287203140 904325926 3085114470 2001239084 2327581441 2384235108 3651461899 1560711860 1060727447 640439586 2187769488 3436744420 3461549284 2706890778 3056946999 1335582937 1955198496 1873310689 1224153646 1667231500 2572824879 4141463139 2766911765 2946053416 114393945 1437465213 921463674 820265123 165737895 1781733139 561578991 1505886962 2209767159 202275899 1081735987 2028704013 3097178684 1753760291 224524365 2020149043 1883921782 3813023904 627401787 2881792100 856285275 671726405 3479474382 596301805 4049231177 1257078882 1777604742 1269768484 661574530 2697733698 3725969547 341494299 1624421039 2937896313 3027486757 3878643570 3837629710 2470553271 2789369264 2889362045 2307619677 2433703301 1484896131 3719747556 812436114 1197801122 39581768 2953914384 2587425230 4205578422 285553300 3904484095 2796050550 2799944775 3397694805 1581161296 203629697 2004001321 3295804799 1947125466 4023136234 1882773376 3111492405 3729121426 488528340 340576712 3025845801 3831617049 573063057 3023172916 1316749003 4028689287 252085569 4163786594 2533141098 3006129380 2319356186 3492789002 2425601743 2258025545 1932061726 3957023043 3411466823 4106859414 2222444450 4245254553 1117092454 794651990 4283588851 454870645 1954852323 2067001306 742959531 2109292749 3922522522 2384399083 967130920 420369050 2132176705 2027210961 4266675970 3404122240 1489356672 201284859 846141691 3862823955 1228518933 1008885672 640017184 1369303359 807439531 1220998616 1168978906 436534028 2710352390 1830371190 1288175672 4130313618 1358074867 3140504742 2294980051 2945481409 1991674896 649246378 2439021010 2671222786 1232544570 1648188546 3257582338 3090998288 1910724343 1958451078 3839918102 3018770250 531105289 798200467 627985646 1856002494 3858578759 1894989673 3224728341 272596625 255 362436" option to reproduce the execution 62.78/62.87 c #vars 188 62.78/62.87 c #constraints 991 62.78/62.89 c BCD2: Hardening is enabled. 62.78/62.89 c BCD2: BiasedSearch is enabled. 62.78/62.89 c Solving starts ... 62.78/62.89 c ============================[ Search Statistics ]============================ 62.78/62.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 62.78/62.89 c | | | | Limit GC | Var | Constra 62.78/62.89 c ============================================================================= 62.78/62.89 c 0.0s | 0 | 0 | 0 | 723 0 | 0 | 0 62.88/62.91 c 0.0s | 1 | 1068 | 100 | 723 0 | 0 | 0 62.88/62.91 c 0.0s | 1 | 2083 | 100 | 723 0 | 0 | 0 62.88/62.91 c #cpu_time = 0.021s 62.88/62.91 c #wall_clock_time = 0.021s 62.88/62.91 c #decision = 2083 62.88/62.91 c #random_decision = 11 62.88/62.91 c #conflict = 100 62.88/62.91 c #restart = 1 62.88/62.91 o 15 62.88/62.91 c BCD2: updating upper bound: 944 -> 14 62.88/62.91 c BCD2: 0 <= obj <= 14 62.88/62.91 c BCD2: #cores=0, #unrelaxed=944, #relaxed=0, #hardened=0 62.88/62.91 c BCD2: #sat=1 #unsat=1 bias=1/2 62.88/62.91 c Solving starts ... 62.88/62.91 c ============================[ Search Statistics ]============================ 62.88/62.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 62.88/62.91 c | | | | Limit GC | Var | Constra 62.88/62.91 c ============================================================================= 62.88/62.91 c 0.0s | 0 | 0 | 0 | 723 0 | 0 | 1 62.88/62.94 c 0.0s | 1 | 1079 | 100 | 796 0 | 0 | 1 62.98/63.03 c 0.1s | 2 | 2210 | 250 | 876 0 | 0 | 1 63.08/63.11 c 0.2s | 3 | 3425 | 475 | 964 0 | 0 | 1 63.18/63.27 c 0.4s | 4 | 4785 | 813 | 1061 0 | 0 | 1 63.58/63.60 c 0.7s | 5 | 6328 | 1320 | 1168 0 | 0 | 1 64.17/64.20 c 1.3s | 6 | 8208 | 2081 | 1285 1 | 0 | 1 64.47/64.54 c 1.6s | 6 | 9771 | 2584 | 1285 2 | 0 | 1 64.47/64.54 c #cpu_time = 1.625s 64.47/64.54 c #wall_clock_time = 1.624s 64.47/64.54 c #decision = 9771 64.47/64.54 c #random_decision = 7 64.47/64.54 c #conflict = 2584 64.47/64.54 c #restart = 6 64.47/64.54 c BCD2: found a new core of size 944: cost of the new core is >=1 64.47/64.54 c lower bound updated to 1 64.47/64.54 c BCD2: 1 <= obj <= 14 64.47/64.54 c BCD2: #cores=1, #unrelaxed=0, #relaxed=944, #hardened=0 64.47/64.54 c BCD2: #sat=1 #unsat=2 bias=2/3 64.47/64.54 c Solving starts ... 64.47/64.54 c ============================[ Search Statistics ]============================ 64.47/64.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 64.47/64.54 c | | | | Limit GC | Var | Constra 64.47/64.54 c ============================================================================= 64.47/64.54 c 0.0s | 0 | 0 | 0 | 1285 0 | 0 | 1 64.58/64.60 c 0.1s | 1 | 1074 | 100 | 1285 0 | 0 | 1 64.68/64.72 c 0.2s | 2 | 1782 | 250 | 1285 1 | 0 | 1 64.89/64.90 c 0.4s | 3 | 2679 | 475 | 1285 1 | 0 | 1 65.08/65.12 c 0.6s | 4 | 4072 | 813 | 1414 1 | 0 | 1 65.48/65.54 c 1.0s | 5 | 6007 | 1320 | 1414 2 | 0 | 1 66.28/66.34 c 1.8s | 6 | 8946 | 2081 | 1414 3 | 0 | 1 67.38/67.47 c 2.9s | 7 | 13879 | 3223 | 1556 4 | 0 | 1 69.48/69.51 c 5.0s | 7 | 18756 | 4923 | 1712 6 | 0 | 1 69.48/69.52 c 5.0s | 8 | 18763 | 4936 | 1712 6 | 0 | 1 71.59/71.61 c 7.1s | 8 | 24474 | 6836 | 1712 8 | 0 | 1 72.28/72.38 c 7.8s | 9 | 26100 | 7506 | 1712 9 | 0 | 1 72.98/73.04 c 8.5s | 9 | 27514 | 8119 | 1712 10 | 0 | 1 72.98/73.04 c #cpu_time = 8.499s 72.98/73.04 c #wall_clock_time = 8.498s 72.98/73.04 c #decision = 27514 72.98/73.04 c #random_decision = 118 72.98/73.04 c #conflict = 8119 72.98/73.04 c #restart = 9 72.98/73.04 o 11 72.98/73.04 c BCD2: updating upper bound: 14 -> 10 72.98/73.04 c BCD2: 1 <= obj <= 10 72.98/73.04 c BCD2: #cores=1, #unrelaxed=0, #relaxed=944, #hardened=0 72.98/73.04 c BCD2: #sat=2 #unsat=2 bias=2/4 72.98/73.04 c Solving starts ... 72.98/73.04 c ============================[ Search Statistics ]============================ 72.98/73.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 72.98/73.04 c | | | | Limit GC | Var | Constra 72.98/73.04 c ============================================================================= 72.98/73.04 c 0.0s | 0 | 0 | 0 | 1712 0 | 0 | 3 73.08/73.15 c 0.1s | 1 | 132 | 100 | 1712 0 | 0 | 3 73.18/73.22 c 0.2s | 2 | 810 | 250 | 1712 0 | 0 | 3 73.28/73.35 c 0.3s | 3 | 1934 | 475 | 1712 0 | 0 | 3 73.48/73.57 c 0.5s | 4 | 3602 | 813 | 1884 1 | 0 | 3 73.79/73.90 c 0.9s | 5 | 5350 | 1320 | 1884 1 | 0 | 3 74.38/74.44 c 1.4s | 6 | 8225 | 2081 | 1884 2 | 0 | 3 75.48/75.58 c 2.5s | 7 | 11945 | 3223 | 1884 3 | 0 | 3 76.99/77.06 c 4.0s | 8 | 17687 | 4936 | 1884 5 | 0 | 3 79.08/79.10 c 6.1s | 8 | 23102 | 6936 | 2073 7 | 0 | 3 79.68/79.75 c 6.7s | 9 | 24615 | 7506 | 2073 7 | 0 | 3 81.78/81.83 c 8.8s | 9 | 30662 | 9606 | 2073 9 | 0 | 3 83.78/83.88 c 10.8s | 9 | 35576 | 11206 | 2073 11 | 0 | 3 83.98/84.01 c 11.0s | 10 | 36124 | 11361 | 2073 11 | 0 | 3 85.98/86.07 c 13.0s | 10 | 41167 | 12661 | 2073 12 | 0 | 3 88.08/88.12 c 15.1s | 10 | 46378 | 14261 | 2073 14 | 0 | 3 90.18/90.24 c 17.2s | 10 | 50785 | 15761 | 2281 15 | 0 | 3 91.78/91.89 c 18.8s | 11 | 55771 | 17144 | 2281 16 | 0 | 3 93.98/94.05 c 21.0s | 11 | 60913 | 18444 | 2281 17 | 0 | 3 96.18/96.20 c 23.2s | 11 | 64351 | 19444 | 2281 18 | 0 | 3 98.38/98.41 c 25.4s | 11 | 67944 | 20344 | 2281 19 | 0 | 3 100.58/100.60 c 27.6s | 11 | 70404 | 21444 | 2281 20 | 0 | 3 102.68/102.73 c 29.7s | 11 | 75637 | 22444 | 2281 21 | 0 | 3 104.68/104.74 c 31.7s | 11 | 79670 | 23444 | 2281 21 | 0 | 3 106.88/106.91 c 33.9s | 11 | 83549 | 24344 | 2281 22 | 0 | 3 108.98/109.01 c 36.0s | 11 | 86925 | 25544 | 2281 23 | 0 | 3 109.67/109.73 c 36.7s | 12 | 88377 | 25819 | 2281 23 | 0 | 3 111.77/111.81 c 38.8s | 12 | 89640 | 26919 | 2281 24 | 0 | 3 113.77/113.86 c 40.8s | 12 | 92499 | 28119 | 2510 25 | 0 | 3 115.87/115.94 c 42.9s | 12 | 96541 | 28819 | 2510 25 | 0 | 3 117.87/117.98 c 44.9s | 12 | 100807 | 29819 | 2510 26 | 0 | 3 119.98/120.06 c 47.0s | 12 | 105613 | 31019 | 2510 27 | 0 | 3 121.97/122.07 c 49.0s | 12 | 109959 | 32219 | 2510 28 | 0 | 3 124.17/124.27 c 51.2s | 12 | 115445 | 33219 | 2510 29 | 0 | 3 126.27/126.33 c 53.3s | 12 | 119612 | 34319 | 2510 30 | 0 | 3 128.37/128.45 c 55.4s | 12 | 123050 | 35319 | 2510 30 | 0 | 3 130.47/130.58 c 57.5s | 12 | 126184 | 36219 | 2510 31 | 0 | 3 132.67/132.75 c 59.7s | 12 | 129572 | 37519 | 2510 32 | 0 | 3 134.77/134.83 c 61.8s | 12 | 132903 | 38819 | 2510 33 | 0 | 3 134.77/134.84 c 61.8s | 13 | 132922 | 38832 | 2510 33 | 0 | 3 136.77/136.89 c 63.8s | 13 | 143468 | 41432 | 2510 35 | 0 | 3 138.87/138.93 c 65.9s | 13 | 149626 | 43532 | 2510 37 | 0 | 3 140.97/141.00 c 68.0s | 13 | 153781 | 44832 | 2510 38 | 0 | 3 142.97/143.10 c 70.1s | 13 | 158067 | 46232 | 2510 39 | 0 | 3 145.07/145.10 c 72.1s | 13 | 160594 | 47232 | 2761 40 | 0 | 3 147.07/147.18 c 74.1s | 13 | 163979 | 48632 | 2761 40 | 0 | 3 149.17/149.22 c 76.2s | 13 | 168906 | 49932 | 2761 41 | 0 | 3 151.27/151.32 c 78.3s | 13 | 171973 | 51032 | 2761 42 | 0 | 3 153.37/153.46 c 80.4s | 13 | 175710 | 52232 | 2761 43 | 0 | 3 155.37/155.48 c 82.4s | 13 | 178387 | 53232 | 2761 44 | 0 | 3 157.57/157.61 c 84.6s | 13 | 182375 | 54532 | 2761 45 | 0 | 3 159.57/159.62 c 86.6s | 13 | 186806 | 55932 | 2761 46 | 0 | 3 161.56/161.63 c 88.6s | 13 | 193046 | 57632 | 2761 47 | 0 | 3 162.46/162.58 c 89.5s | 14 | 195452 | 58352 | 2761 47 | 0 | 3 164.46/164.59 c 91.5s | 14 | 201438 | 60052 | 2761 49 | 0 | 3 166.56/166.60 c 93.6s | 14 | 208893 | 62452 | 2761 50 | 0 | 3 168.56/168.63 c 95.6s | 14 | 215837 | 64652 | 2761 52 | 0 | 3 170.66/170.70 c 97.7s | 14 | 222760 | 67052 | 2761 53 | 0 | 3 172.67/172.72 c 99.7s | 14 | 230692 | 69452 | 2761 55 | 0 | 3 174.66/174.73 c 101s | 14 | 236116 | 71352 | 2761 57 | 0 | 3 176.66/176.75 c 103s | 14 | 242264 | 73252 | 2761 58 | 0 | 3 178.76/178.87 c 105s | 14 | 248527 | 75052 | 2761 59 | 0 | 3 180.86/180.91 c 107s | 14 | 255681 | 77152 | 3038 60 | 0 | 3 182.86/182.94 c 109s | 14 | 261789 | 79152 | 3038 62 | 0 | 3 184.96/185.02 c 111s | 14 | 268845 | 81052 | 3038 63 | 0 | 3 186.97/187.03 c 113s | 14 | 275103 | 82752 | 3038 64 | 0 | 3 189.06/189.10 c 116s | 14 | 281654 | 84852 | 3038 65 | 0 | 3 191.06/191.18 c 118s | 14 | 288981 | 86952 | 3038 67 | 0 | 3 191.96/192.05 c 119s | 15 | 290367 | 87632 | 3038 67 | 0 | 3 193.96/194.09 c 121s | 15 | 298760 | 90032 | 3038 69 | 0 | 3 196.16/196.20 c 123s | 15 | 306552 | 92332 | 3038 70 | 0 | 3 198.16/198.21 c 125s | 15 | 312274 | 94232 | 3038 71 | 0 | 3 200.27/200.31 c 127s | 15 | 317622 | 96032 | 3038 73 | 0 | 3 202.26/202.36 c 129s | 15 | 323581 | 97532 | 3038 74 | 0 | 3 204.46/204.56 c 131s | 15 | 328853 | 99232 | 3038 75 | 0 | 3 206.56/206.63 c 133s | 15 | 333678 | 100532 | 3038 75 | 0 | 3 208.56/208.65 c 135s | 15 | 339894 | 102232 | 3038 77 | 0 | 3 210.66/210.76 c 137s | 15 | 345691 | 103932 | 3038 78 | 0 | 3 212.76/212.84 c 139s | 15 | 351101 | 105732 | 3038 79 | 0 | 3 214.76/214.87 c 141s | 15 | 356969 | 107532 | 3038 80 | 0 | 3 216.76/216.89 c 143s | 15 | 358381 | 108732 | 3038 80 | 0 | 3 218.86/218.93 c 145s | 15 | 360626 | 109932 | 3038 81 | 0 | 3 220.96/221.03 c 147s | 15 | 363712 | 110932 | 3038 82 | 0 | 3 223.06/223.17 c 150s | 15 | 366803 | 112132 | 3038 83 | 0 | 3 225.25/225.31 c 152s | 15 | 372072 | 113732 | 3038 84 | 0 | 3 227.25/227.32 c 154s | 15 | 378375 | 115332 | 3038 85 | 0 | 3 229.25/229.33 c 156s | 15 | 384730 | 117132 | 3038 86 | 0 | 3 231.25/231.35 c 158s | 15 | 389465 | 118532 | 3038 87 | 0 | 3 233.35/233.41 c 160s | 15 | 395714 | 120632 | 3342 88 | 0 | 3 235.36/235.44 c 162s | 15 | 401731 | 122532 | 3342 89 | 0 | 3 237.45/237.52 c 164s | 15 | 407310 | 124532 | 3342 90 | 0 | 3 239.45/239.57 c 166s | 15 | 413160 | 126332 | 3342 91 | 0 | 3 241.55/241.65 c 168s | 15 | 418395 | 127932 | 3342 92 | 0 | 3 243.65/243.76 c 170s | 15 | 422356 | 129232 | 3342 93 | 0 | 3 245.75/245.81 c 172s | 15 | 426745 | 130732 | 3342 94 | 0 | 3 247.15/247.21 c 174s | 16 | 429457 | 131552 | 3342 94 | 0 | 3 249.25/249.30 c 176s | 16 | 433789 | 132952 | 3342 95 | 0 | 3 251.25/251.31 c 178s | 16 | 439647 | 134652 | 3342 96 | 0 | 3 253.45/253.51 c 180s | 16 | 443743 | 136052 | 3342 97 | 0 | 3 255.45/255.59 c 182s | 16 | 448199 | 137352 | 3342 98 | 0 | 3 257.46/257.59 c 184s | 16 | 452146 | 138852 | 3342 99 | 0 | 3 259.56/259.69 c 186s | 16 | 455960 | 139952 | 3342 99 | 0 | 3 261.76/261.81 c 188s | 16 | 458892 | 141052 | 3342 100 | 0 | 3 263.75/263.82 c 190s | 16 | 463935 | 142552 | 3342 101 | 0 | 3 265.75/265.83 c 192s | 16 | 469427 | 144152 | 3342 102 | 0 | 3 267.85/267.99 c 194s | 16 | 473028 | 145552 | 3342 102 | 0 | 3 269.95/270.04 c 196s | 16 | 477777 | 146652 | 3342 103 | 0 | 3 271.95/272.09 c 199s | 16 | 481863 | 147752 | 3342 104 | 0 | 3 274.05/274.15 c 201s | 16 | 485855 | 149052 | 3342 105 | 0 | 3 276.15/276.29 c 203s | 16 | 489626 | 150152 | 3342 105 | 0 | 3 278.25/278.34 c 205s | 16 | 493848 | 151452 | 3342 106 | 0 | 3 280.65/280.74 c 207s | 16 | 494847 | 152252 | 3342 106 | 0 | 3 282.65/282.77 c 209s | 16 | 501817 | 154252 | 3342 108 | 0 | 3 284.64/284.79 c 211s | 16 | 509482 | 156352 | 3342 109 | 0 | 3 286.74/286.86 c 213s | 16 | 516181 | 158352 | 3342 110 | 0 | 3 288.84/288.91 c 215s | 16 | 520992 | 159952 | 3342 111 | 0 | 3 290.94/291.03 c 217s | 16 | 527901 | 161652 | 3342 112 | 0 | 3 293.04/293.17 c 220s | 16 | 533120 | 163252 | 3342 113 | 0 | 3 295.14/295.24 c 222s | 16 | 539167 | 164952 | 3342 114 | 0 | 3 297.24/297.35 c 224s | 16 | 546711 | 166552 | 3342 115 | 0 | 3 299.34/299.40 c 226s | 16 | 556718 | 168852 | 3342 116 | 0 | 3 301.35/301.47 c 228s | 16 | 565521 | 171252 | 3342 117 | 0 | 3 303.34/303.49 c 230s | 16 | 571658 | 173052 | 3342 119 | 0 | 3 305.44/305.56 c 232s | 16 | 577690 | 174952 | 3342 120 | 0 | 3 307.54/307.69 c 234s | 16 | 582392 | 176452 | 3342 121 | 0 | 3 309.64/309.72 c 236s | 16 | 584155 | 177552 | 3342 121 | 0 | 3 311.84/311.96 c 238s | 16 | 584757 | 178052 | 3342 121 | 0 | 3 314.24/314.39 c 241s | 16 | 585259 | 178452 | 3342 121 | 0 | 3 316.34/316.46 c 243s | 16 | 591964 | 180452 | 3342 123 | 0 | 3 318.54/318.61 c 245s | 16 | 597307 | 181952 | 3342 124 | 0 | 3 320.54/320.63 c 247s | 16 | 604204 | 183852 | 3342 125 | 0 | 3 322.64/322.74 c 249s | 16 | 608882 | 185552 | 3677 126 | 0 | 3 324.94/325.08 c 252s | 16 | 612741 | 186952 | 3677 126 | 0 | 3 327.14/327.26 c 254s | 16 | 618268 | 188252 | 3677 127 | 0 | 3 329.14/329.27 c 256s | 16 | 623456 | 189552 | 3677 128 | 0 | 3 331.24/331.35 c 258s | 16 | 629143 | 191152 | 3677 129 | 0 | 3 333.34/333.45 c 260s | 16 | 634441 | 192552 | 3677 129 | 0 | 3 335.34/335.46 c 262s | 16 | 639891 | 194052 | 3677 130 | 0 | 3 337.54/337.60 c 264s | 16 | 645094 | 195452 | 3677 131 | 0 | 3 339.64/339.75 c 266s | 16 | 649254 | 196852 | 3677 132 | 0 | 3 340.54/340.60 c 267s | 17 | 651376 | 197432 | 3677 132 | 0 | 3 342.53/342.63 c 269s | 17 | 659143 | 199432 | 3677 133 | 0 | 3 344.63/344.74 c 271s | 17 | 665809 | 201432 | 3677 134 | 0 | 3 346.93/347.07 c 274s | 17 | 669083 | 202832 | 3677 135 | 0 | 3 349.03/349.19 c 276s | 17 | 673210 | 204232 | 3677 136 | 0 | 3 351.13/351.24 c 278s | 17 | 678739 | 205732 | 3677 136 | 0 | 3 353.14/353.26 c 280s | 17 | 680198 | 206432 | 3677 137 | 0 | 3 355.24/355.32 c 282s | 17 | 685088 | 207832 | 3677 137 | 0 | 3 357.23/357.33 c 284s | 17 | 689908 | 209332 | 3677 138 | 0 | 3 359.33/359.43 c 286s | 17 | 696175 | 210932 | 3677 139 | 0 | 3 361.43/361.52 c 288s | 17 | 700690 | 212532 | 3677 140 | 0 | 3 363.53/363.64 c 290s | 17 | 703512 | 213632 | 3677 141 | 0 | 3 365.53/365.66 c 292s | 17 | 708808 | 215132 | 3677 141 | 0 | 3 367.63/367.70 c 294s | 17 | 715855 | 217132 | 3677 142 | 0 | 3 369.64/369.74 c 296s | 17 | 722512 | 218832 | 3677 143 | 0 | 3 371.63/371.75 c 298s | 17 | 728345 | 220332 | 3677 144 | 0 | 3 373.63/373.78 c 300s | 17 | 736305 | 222132 | 3677 145 | 0 | 3 375.73/375.81 c 302s | 17 | 742810 | 224032 | 3677 146 | 0 | 3 377.73/377.83 c 304s | 17 | 746486 | 225432 | 3677 147 | 0 | 3 379.83/379.97 c 306s | 17 | 751688 | 227032 | 3677 148 | 0 | 3 382.03/382.10 c 309s | 17 | 756787 | 228432 | 3677 148 | 0 | 3 384.13/384.22 c 311s | 17 | 760728 | 229632 | 3677 149 | 0 | 3 386.13/386.25 c 313s | 17 | 766620 | 231132 | 3677 150 | 0 | 3 388.23/388.32 c 315s | 17 | 772001 | 232732 | 3677 151 | 0 | 3 390.33/390.42 c 317s | 17 | 779546 | 234432 | 3677 152 | 0 | 3 392.43/392.54 c 319s | 17 | 785090 | 236132 | 3677 153 | 0 | 3 394.43/394.59 c 321s | 17 | 791725 | 237532 | 3677 153 | 0 | 3 396.53/396.63 c 323s | 17 | 797078 | 239132 | 3677 154 | 0 | 3 398.63/398.71 c 325s | 17 | 801182 | 240732 | 3677 155 | 0 | 3 400.63/400.74 c 327s | 17 | 807191 | 242332 | 3677 156 | 0 | 3 402.72/402.81 c 329s | 17 | 812940 | 244032 | 3677 157 | 0 | 3 404.73/404.81 c 331s | 17 | 817321 | 245532 | 3677 158 | 0 | 3 406.72/406.88 c 333s | 17 | 821810 | 246932 | 3677 158 | 0 | 3 408.82/408.91 c 335s | 17 | 826964 | 248632 | 3677 159 | 0 | 3 410.82/410.98 c 337s | 17 | 831735 | 250132 | 3677 160 | 0 | 3 412.92/413.04 c 339s | 17 | 836931 | 251832 | 3677 161 | 0 | 3 415.02/415.12 c 342s | 17 | 843774 | 253932 | 3677 162 | 0 | 3 417.22/417.31 c 344s | 17 | 845494 | 255232 | 3677 163 | 0 | 3 419.22/419.39 c 346s | 17 | 852924 | 257432 | 3677 164 | 0 | 3 421.33/421.43 c 348s | 17 | 857592 | 258932 | 3677 165 | 0 | 3 423.43/423.60 c 350s | 17 | 860561 | 260132 | 3677 165 | 0 | 3 425.52/425.69 c 352s | 17 | 864963 | 261532 | 3677 166 | 0 | 3 427.62/427.71 c 354s | 17 | 872188 | 263532 | 3677 167 | 0 | 3 429.62/429.72 c 356s | 17 | 878483 | 265132 | 3677 168 | 0 | 3 431.62/431.73 c 358s | 17 | 887902 | 267632 | 3677 169 | 0 | 3 433.62/433.73 c 360s | 17 | 895916 | 269632 | 3677 170 | 0 | 3 435.72/435.84 c 362s | 17 | 902861 | 271332 | 3677 171 | 0 | 3 437.83/437.93 c 364s | 17 | 908305 | 272832 | 3677 172 | 0 | 3 439.82/439.95 c 366s | 17 | 914764 | 274732 | 3677 173 | 0 | 3 441.92/442.05 c 369s | 17 | 920101 | 276332 | 3677 174 | 0 | 3 444.02/444.13 c 371s | 17 | 924719 | 277932 | 3677 175 | 0 | 3 446.03/446.17 c 373s | 17 | 926472 | 278932 | 3677 175 | 0 | 3 448.22/448.39 c 375s | 17 | 931675 | 280132 | 3677 176 | 0 | 3 450.42/450.54 c 377s | 17 | 935469 | 281232 | 3677 177 | 0 | 3 452.42/452.59 c 379s | 17 | 939269 | 282232 | 3677 177 | 0 | 3 454.42/454.59 c 381s | 17 | 943261 | 283532 | 4045 178 | 0 | 3 456.72/456.81 c 383s | 17 | 946258 | 284632 | 4045 178 | 0 | 3 458.73/458.89 c 385s | 17 | 948485 | 285632 | 4045 179 | 0 | 3 460.83/460.97 c 387s | 17 | 956606 | 287532 | 4045 180 | 0 | 3 462.92/463.01 c 389s | 17 | 962044 | 289132 | 4045 180 | 0 | 3 464.92/465.06 c 392s | 17 | 966788 | 290832 | 4045 181 | 0 | 3 467.02/467.14 c 394s | 17 | 971660 | 292332 | 4045 182 | 0 | 3 469.12/469.22 c 396s | 17 | 974617 | 293532 | 4045 182 | 0 | 3 471.22/471.37 c 398s | 17 | 979631 | 294832 | 4045 183 | 0 | 3 473.42/473.56 c 400s | 17 | 983162 | 295832 | 4045 184 | 0 | 3 474.03/474.11 c 401s | 18 | 984858 | 296252 | 4045 184 | 0 | 3 476.12/476.26 c 403s | 18 | 988783 | 297652 | 4045 184 | 0 | 3 478.22/478.33 c 405s | 18 | 992814 | 298752 | 4045 185 | 0 | 3 480.32/480.48 c 407s | 18 | 996562 | 299852 | 4045 186 | 0 | 3 482.42/482.51 c 409s | 18 | 998865 | 300752 | 4045 186 | 0 | 3 484.52/484.66 c 411s | 18 | 1004377 | 302052 | 4045 187 | 0 | 3 486.62/486.70 c 413s | 18 | 1011439 | 303752 | 4045 187 | 0 | 3 488.62/488.73 c 415s | 18 | 1015799 | 305052 | 4045 188 | 0 | 3 490.62/490.76 c 417s | 18 | 1020392 | 306352 | 4045 189 | 0 | 3 492.72/492.85 c 419s | 18 | 1025770 | 308152 | 4045 190 | 0 | 3 494.82/494.94 c 421s | 18 | 1027956 | 309552 | 4045 190 | 0 | 3 497.02/497.14 c 424s | 18 | 1034275 | 311052 | 4045 191 | 0 | 3 499.12/499.28 c 426s | 18 | 1037527 | 312152 | 4045 191 | 0 | 3 501.22/501.30 c 428s | 18 | 1040131 | 313152 | 4045 192 | 0 | 3 503.22/503.36 c 430s | 18 | 1043375 | 314352 | 4045 193 | 0 | 3 505.42/505.51 c 432s | 18 | 1046405 | 315452 | 4045 193 | 0 | 3 507.41/507.57 c 434s | 18 | 1051222 | 316952 | 4045 194 | 0 | 3 509.51/509.63 c 436s | 18 | 1055616 | 318052 | 4045 194 | 0 | 3 511.71/511.84 c 438s | 18 | 1060216 | 319152 | 4045 195 | 0 | 3 514.11/514.20 c 441s | 18 | 1063430 | 320152 | 4045 195 | 0 | 3 516.21/516.34 c 443s | 18 | 1067957 | 321352 | 4045 196 | 0 | 3 518.31/518.46 c 445s | 18 | 1070161 | 322252 | 4045 196 | 0 | 3 520.41/520.59 c 447s | 18 | 1073917 | 323452 | 4045 197 | 0 | 3 522.71/522.81 c 449s | 18 | 1077453 | 324552 | 4045 197 | 0 | 3 524.81/524.96 c 451s | 18 | 1083801 | 326052 | 4045 198 | 0 | 3 526.82/526.99 c 453s | 18 | 1089197 | 327752 | 4045 199 | 0 | 3 528.91/529.02 c 455s | 18 | 1094371 | 329452 | 4045 200 | 0 | 3 531.01/531.12 c 458s | 18 | 1099161 | 331052 | 4045 201 | 0 | 3 533.21/533.37 c 460s | 18 | 1105274 | 332952 | 4045 202 | 0 | 3 535.41/535.55 c 462s | 18 | 1111879 | 334852 | 4045 203 | 0 | 3 537.41/537.55 c 464s | 18 | 1116955 | 336352 | 4045 203 | 0 | 3 539.41/539.55 c 466s | 18 | 1123256 | 337952 | 4045 204 | 0 | 3 541.41/541.57 c 468s | 18 | 1128803 | 339552 | 4045 205 | 0 | 3 543.42/543.59 c 470s | 18 | 1134378 | 341252 | 4045 206 | 0 | 3 545.52/545.61 c 472s | 18 | 1140976 | 343352 | 4045 207 | 0 | 3 547.51/547.67 c 474s | 18 | 1147294 | 345252 | 4045 208 | 0 | 3 549.61/549.72 c 476s | 18 | 1150930 | 346852 | 4045 208 | 0 | 3 551.61/551.74 c 478s | 18 | 1151906 | 347652 | 4045 208 | 0 | 3 553.61/553.75 c 480s | 18 | 1153115 | 348652 | 4045 209 | 0 | 3 555.71/555.82 c 482s | 18 | 1157886 | 350652 | 4045 210 | 0 | 3 557.71/557.86 c 484s | 18 | 1165856 | 353252 | 4045 211 | 0 | 3 559.81/559.94 c 486s | 18 | 1173437 | 355752 | 4045 212 | 0 | 3 561.81/561.98 c 488s | 18 | 1184330 | 358452 | 4045 214 | 0 | 3 563.91/564.03 c 490s | 18 | 1194496 | 360952 | 4045 215 | 0 | 3 565.91/566.03 c 492s | 18 | 1205020 | 363352 | 4045 216 | 0 | 3 568.01/568.12 c 495s | 18 | 1214720 | 365652 | 4045 217 | 0 | 3 570.00/570.12 c 497s | 18 | 1225751 | 368552 | 4045 219 | 0 | 3 572.01/572.14 c 499s | 18 | 1239292 | 371952 | 4045 220 | 0 | 3 574.00/574.14 c 501s | 18 | 1251893 | 375652 | 4045 222 | 0 | 3 576.00/576.18 c 503s | 18 | 1263957 | 378952 | 4045 224 | 0 | 3 578.10/578.23 c 505s | 18 | 1272299 | 381452 | 4045 225 | 0 | 3 580.10/580.28 c 507s | 18 | 1279077 | 383752 | 4045 226 | 0 | 3 582.20/582.36 c 509s | 18 | 1285178 | 385952 | 4045 227 | 0 | 3 584.20/584.38 c 511s | 18 | 1291315 | 387852 | 4045 228 | 0 | 3 586.40/586.52 c 513s | 18 | 1298300 | 389752 | 4045 229 | 0 | 3 588.41/588.57 c 515s | 18 | 1303310 | 391352 | 4045 230 | 0 | 3 590.40/590.58 c 517s | 18 | 1309065 | 393152 | 4045 231 | 0 | 3 592.50/592.68 c 519s | 18 | 1315335 | 395052 | 4045 232 | 0 | 3 594.60/594.70 c 521s | 18 | 1319935 | 396752 | 4045 232 | 0 | 3 596.60/596.75 c 523s | 18 | 1325576 | 398652 | 4045 233 | 0 | 3 598.70/598.86 c 525s | 18 | 1331256 | 400652 | 4045 234 | 0 | 3 600.70/600.88 c 527s | 18 | 1334816 | 401952 | 4045 235 | 0 | 3 602.81/602.95 c 529s | 18 | 1340869 | 403852 | 4045 236 | 0 | 3 604.90/605.03 c 531s | 18 | 1345099 | 405452 | 4045 237 | 0 | 3 606.90/607.08 c 534s | 18 | 1349941 | 407152 | 4045 238 | 0 | 3 609.00/609.14 c 536s | 18 | 1354256 | 408652 | 4045 238 | 0 | 3 611.00/611.16 c 538s | 18 | 1360347 | 410752 | 4045 239 | 0 | 3 613.00/613.19 c 540s | 18 | 1364758 | 412452 | 4045 240 | 0 | 3 615.10/615.24 c 542s | 18 | 1369119 | 414052 | 4045 241 | 0 | 3 617.10/617.29 c 544s | 18 | 1375231 | 415952 | 4045 242 | 0 | 3 619.20/619.38 c 546s | 18 | 1382043 | 418052 | 4045 243 | 0 | 3 621.40/621.59 c 548s | 18 | 1386513 | 419652 | 4045 244 | 0 | 3 623.49/623.60 c 550s | 18 | 1389886 | 421052 | 4045 244 | 0 | 3 625.49/625.61 c 552s | 18 | 1394622 | 422752 | 4045 245 | 0 | 3 627.59/627.73 c 554s | 18 | 1400336 | 424652 | 4045 246 | 0 | 3 629.59/629.73 c 556s | 18 | 1404892 | 426352 | 4045 247 | 0 | 3 631.59/631.74 c 558s | 18 | 1409478 | 428152 | 4045 248 | 0 | 3 633.69/633.84 c 560s | 18 | 1414591 | 429952 | 4045 249 | 0 | 3 635.70/635.89 c 562s | 18 | 1418972 | 431752 | 4450 249 | 0 | 3 637.79/637.97 c 564s | 18 | 1423250 | 433452 | 4450 250 | 0 | 3 639.89/640.03 c 566s | 18 | 1427967 | 435252 | 4450 251 | 0 | 3 641.99/642.10 c 569s | 18 | 1432141 | 436852 | 4450 252 | 0 | 3 643.99/644.18 c 571s | 18 | 1436714 | 438352 | 4450 252 | 0 | 3 646.09/646.27 c 573s | 18 | 1440442 | 439952 | 4450 253 | 0 | 3 648.19/648.30 c 575s | 18 | 1444336 | 441452 | 4450 254 | 0 | 3 650.19/650.37 c 577s | 18 | 1448296 | 443052 | 4450 254 | 0 | 3 652.19/652.32 c 579s | 19 | 1451208 | 444482 | 4450 255 | 0 | 3 654.29/654.42 c 581s | 19 | 1456952 | 446382 | 4450 256 | 0 | 3 656.39/656.56 c 583s | 19 | 1461767 | 447982 | 4450 256 | 0 | 3 658.58/658.70 c 585s | 19 | 1466381 | 449682 | 4450 257 | 0 | 3 660.68/660.81 c 587s | 19 | 1472696 | 451582 | 4450 258 | 0 | 3 662.68/662.89 c 589s | 19 | 1479152 | 453582 | 4450 259 | 0 | 3 664.78/664.92 c 591s | 19 | 1484541 | 455482 | 4450 260 | 0 | 3 666.78/666.98 c 593s | 19 | 1490300 | 457382 | 4450 261 | 0 | 3 668.88/669.00 c 595s | 19 | 1497233 | 459582 | 4450 262 | 0 | 3 670.89/671.01 c 597s | 19 | 1503732 | 461782 | 4450 263 | 0 | 3 672.88/673.05 c 600s | 19 | 1510378 | 464082 | 4450 264 | 0 | 3 674.88/675.06 c 602s | 19 | 1516886 | 466282 | 4450 265 | 0 | 3 676.88/677.08 c 604s | 19 | 1523547 | 468282 | 4450 265 | 0 | 3 678.98/679.18 c 606s | 19 | 1526775 | 469882 | 4450 266 | 0 | 3 681.08/681.23 c 608s | 19 | 1528778 | 471082 | 4450 267 | 0 | 3 683.09/683.28 c 610s | 19 | 1534858 | 472582 | 4450 267 | 0 | 3 685.08/685.28 c 612s | 19 | 1539433 | 474282 | 4450 268 | 0 | 3 687.18/687.39 c 614s | 19 | 1544500 | 475882 | 4450 269 | 0 | 3 689.48/689.65 c 616s | 19 | 1549073 | 477282 | 4450 269 | 0 | 3 691.48/691.65 c 618s | 19 | 1551123 | 478182 | 4450 270 | 0 | 3 693.58/693.71 c 620s | 19 | 1556908 | 479382 | 4450 270 | 0 | 3 695.68/695.81 c 622s | 19 | 1561397 | 480382 | 4450 271 | 0 | 3 697.68/697.89 c 624s | 19 | 1565125 | 481382 | 4450 271 | 0 | 3 699.98/700.11 c 627s | 19 | 1569798 | 482382 | 4450 272 | 0 | 3 701.98/702.16 c 629s | 19 | 1576839 | 484182 | 4450 272 | 0 | 3 704.18/704.36 c 631s | 19 | 1580788 | 485382 | 4450 273 | 0 | 3 706.28/706.49 c 633s | 19 | 1586143 | 486982 | 4450 274 | 0 | 3 708.68/708.84 c 635s | 19 | 1590973 | 488682 | 4450 274 | 0 | 3 710.78/710.99 c 637s | 19 | 1597614 | 490182 | 4450 275 | 0 | 3 712.88/713.02 c 639s | 19 | 1602575 | 491682 | 4450 276 | 0 | 3 714.98/715.13 c 642s | 19 | 1607427 | 492782 | 4450 276 | 0 | 3 717.18/717.31 c 644s | 19 | 1611759 | 494082 | 4450 277 | 0 | 3 719.28/719.42 c 646s | 19 | 1615414 | 495282 | 4450 277 | 0 | 3 721.27/721.43 c 648s | 19 | 1623666 | 497382 | 4450 278 | 0 | 3 723.27/723.46 c 650s | 19 | 1630408 | 499182 | 4450 279 | 0 | 3 725.37/725.54 c 652s | 19 | 1636269 | 500982 | 4450 280 | 0 | 3 727.47/727.64 c 654s | 19 | 1640387 | 502782 | 4450 281 | 0 | 3 729.57/729.75 c 656s | 19 | 1645478 | 504382 | 4450 281 | 0 | 3 731.57/731.78 c 658s | 19 | 1651023 | 506082 | 4450 282 | 0 | 3 733.68/733.80 c 660s | 19 | 1655133 | 507482 | 4450 283 | 0 | 3 735.67/735.84 c 662s | 19 | 1657662 | 508682 | 4450 283 | 0 | 3 737.68/737.88 c 664s | 19 | 1664015 | 510782 | 4450 284 | 0 | 3 739.78/739.91 c 666s | 19 | 1669536 | 512682 | 4450 285 | 0 | 3 741.78/741.96 c 668s | 19 | 1677368 | 514582 | 4450 286 | 0 | 3 743.78/743.96 c 670s | 19 | 1682607 | 515882 | 4450 286 | 0 | 3 745.79/745.97 c 672s | 19 | 1690580 | 517782 | 4450 287 | 0 | 3 747.89/748.07 c 675s | 19 | 1697976 | 519582 | 4450 288 | 0 | 3 749.98/750.17 c 677s | 19 | 1702210 | 520982 | 4450 289 | 0 | 3 752.08/752.22 c 679s | 19 | 1706569 | 522582 | 4450 289 | 0 | 3 754.18/754.32 c 681s | 19 | 1711095 | 524282 | 4450 290 | 0 | 3 756.18/756.32 c 683s | 19 | 1713278 | 525282 | 4450 291 | 0 | 3 758.28/758.41 c 685s | 19 | 1719591 | 527282 | 4450 291 | 0 | 3 760.28/760.46 c 687s | 19 | 1724827 | 529182 | 4450 292 | 0 | 3 762.28/762.48 c 689s | 19 | 1731089 | 531082 | 4450 293 | 0 | 3 764.38/764.51 c 691s | 19 | 1736396 | 532482 | 4450 294 | 0 | 3 766.38/766.53 c 693s | 19 | 1740562 | 533682 | 4450 294 | 0 | 3 768.48/768.62 c 695s | 19 | 1744640 | 534882 | 4450 295 | 0 | 3 770.48/770.64 c 697s | 19 | 1748875 | 536282 | 4450 295 | 0 | 3 772.47/772.67 c 699s | 19 | 1752789 | 537882 | 4450 296 | 0 | 3 774.57/774.71 c 701s | 19 | 1756264 | 539282 | 4450 297 | 0 | 3 776.58/776.73 c 703s | 19 | 1760680 | 540782 | 4450 297 | 0 | 3 778.68/778.83 c 705s | 19 | 1764693 | 542182 | 4450 298 | 0 | 3 780.67/780.84 c 707s | 19 | 1768971 | 543682 | 4450 299 | 0 | 3 782.67/782.85 c 709s | 19 | 1770297 | 544682 | 4450 299 | 0 | 3 784.67/784.87 c 711s | 19 | 1771457 | 545682 | 4450 299 | 0 | 3 786.77/786.96 c 713s | 19 | 1772427 | 546482 | 4450 299 | 0 | 3 789.17/789.36 c 716s | 19 | 1772915 | 546882 | 4450 300 | 0 | 3 791.77/791.98 c 718s | 19 | 1773331 | 547182 | 4450 300 | 0 | 3 793.87/794.00 c 720s | 19 | 1773698 | 547482 | 4450 300 | 0 | 3 795.87/796.04 c 722s | 19 | 1774051 | 547782 | 4450 300 | 0 | 3 798.17/798.33 c 725s | 19 | 1774429 | 548082 | 4450 300 | 0 | 3 800.27/800.47 c 727s | 19 | 1774806 | 548382 | 4450 300 | 0 | 3 802.57/802.73 c 729s | 19 | 1775167 | 548682 | 4450 300 | 0 | 3 804.87/805.03 c 731s | 19 | 1775508 | 548982 | 4450 300 | 0 | 3 807.28/807.48 c 734s | 19 | 1776020 | 549382 | 4450 301 | 0 | 3 809.58/809.74 c 736s | 19 | 1777074 | 549682 | 4450 301 | 0 | 3 811.68/811.82 c 738s | 19 | 1783513 | 551482 | 4450 302 | 0 | 3 813.67/813.83 c 740s | 19 | 1789778 | 553182 | 4450 302 | 0 | 3 815.77/815.92 c 742s | 19 | 1794993 | 554782 | 4450 303 | 0 | 3 817.77/817.94 c 744s | 19 | 1801251 | 556682 | 4450 304 | 0 | 3 819.77/819.98 c 746s | 19 | 1807714 | 558582 | 4450 305 | 0 | 3 821.87/822.00 c 748s | 19 | 1817220 | 560882 | 4450 306 | 0 | 3 823.87/824.02 c 750s | 19 | 1825611 | 563282 | 4450 307 | 0 | 3 825.87/826.09 c 753s | 19 | 1832949 | 565382 | 4450 308 | 0 | 3 827.97/828.12 c 755s | 19 | 1837172 | 567182 | 4450 309 | 0 | 3 830.07/830.22 c 757s | 19 | 1839246 | 568582 | 4450 309 | 0 | 3 832.17/832.36 c 759s | 19 | 1841017 | 569982 | 4450 310 | 0 | 3 834.26/834.42 c 761s | 19 | 1845011 | 571482 | 4450 310 | 0 | 3 836.26/836.48 c 763s | 19 | 1849116 | 572782 | 4450 311 | 0 | 3 838.26/838.48 c 765s | 19 | 1854086 | 574482 | 4450 312 | 0 | 3 840.46/840.64 c 767s | 19 | 1859306 | 575982 | 4450 312 | 0 | 3 842.47/842.67 c 769s | 19 | 1862893 | 577182 | 4450 313 | 0 | 3 844.56/844.70 c 771s | 19 | 1867173 | 578582 | 4450 314 | 0 | 3 846.66/846.80 c 773s | 19 | 1871632 | 580182 | 4450 314 | 0 | 3 848.66/848.84 c 775s | 19 | 1877213 | 581982 | 4450 315 | 0 | 3 850.76/850.95 c 777s | 19 | 1880329 | 583282 | 4450 316 | 0 | 3 852.76/852.99 c 779s | 19 | 1884633 | 584382 | 4450 316 | 0 | 3 855.06/855.25 c 782s | 19 | 1888112 | 585582 | 4450 317 | 0 | 3 857.06/857.26 c 784s | 19 | 1893939 | 587382 | 4450 317 | 0 | 3 859.16/859.35 c 786s | 19 | 1898922 | 588682 | 4450 318 | 0 | 3 861.27/861.42 c 788s | 19 | 1903800 | 590382 | 4450 319 | 0 | 3 863.37/863.50 c 790s | 19 | 1907787 | 591782 | 4450 319 | 0 | 3 865.36/865.51 c 792s | 19 | 1913487 | 593782 | 4450 320 | 0 | 3 867.56/867.71 c 794s | 19 | 1919549 | 595882 | 4450 321 | 0 | 3 869.66/869.89 c 796s | 19 | 1923216 | 597182 | 4450 322 | 0 | 3 871.76/871.98 c 798s | 19 | 1926206 | 598282 | 4450 322 | 0 | 3 873.86/874.02 c 800s | 19 | 1931873 | 600082 | 4450 323 | 0 | 3 875.86/876.06 c 803s | 19 | 1937028 | 601782 | 4450 324 | 0 | 3 877.86/878.09 c 805s | 19 | 1940902 | 603382 | 4450 325 | 0 | 3 879.96/880.17 c 807s | 19 | 1946490 | 605182 | 4450 325 | 0 | 3 882.06/882.23 c 809s | 19 | 1950518 | 606782 | 4450 326 | 0 | 3 884.06/884.25 c 811s | 19 | 1954959 | 608282 | 4450 327 | 0 | 3 886.16/886.39 c 813s | 19 | 1961561 | 610082 | 4450 328 | 0 | 3 888.26/888.45 c 815s | 19 | 1967022 | 611782 | 4450 328 | 0 | 3 890.25/890.49 c 817s | 19 | 1970759 | 613082 | 4450 329 | 0 | 3 892.35/892.53 c 819s | 19 | 1976071 | 614582 | 4450 329 | 0 | 3 894.36/894.55 c 821s | 19 | 1980813 | 616182 | 4450 330 | 0 | 3 896.36/896.55 c 823s | 19 | 1984619 | 617482 | 4450 331 | 0 | 3 898.45/898.65 c 825s | 19 | 1988205 | 618882 | 4450 331 | 0 | 3 900.55/900.75 c 827s | 19 | 1991068 | 620082 | 4450 332 | 0 | 3 902.65/902.81 c 829s | 19 | 1995234 | 621882 | 4450 333 | 0 | 3 904.75/904.99 c 831s | 19 | 1998578 | 623482 | 4450 333 | 0 | 3 906.85/907.01 c 833s | 19 | 2002830 | 625082 | 4450 334 | 0 | 3 908.85/909.06 c 836s | 19 | 2007867 | 626582 | 4450 335 | 0 | 3 910.95/911.17 c 838s | 19 | 2014105 | 628382 | 4450 336 | 0 | 3 913.05/913.21 c 840s | 19 | 2017663 | 629482 | 4450 336 | 0 | 3 915.06/915.26 c 842s | 19 | 2020021 | 630582 | 4450 337 | 0 | 3 917.15/917.38 c 844s | 19 | 2022192 | 631682 | 4450 337 | 0 | 3 919.25/919.40 c 846s | 19 | 2027324 | 632882 | 4450 338 | 0 | 3 921.35/921.59 c 848s | 19 | 2033880 | 634282 | 4450 338 | 0 | 3 923.45/923.60 c 850s | 19 | 2038804 | 635782 | 4450 339 | 0 | 3 925.45/925.61 c 852s | 19 | 2040703 | 637082 | 4450 339 | 0 | 3 927.55/927.77 c 854s | 19 | 2045114 | 638482 | 4450 340 | 0 | 3 929.65/929.89 c 856s | 19 | 2049476 | 639482 | 4450 340 | 0 | 3 931.75/931.90 c 858s | 19 | 2052294 | 640182 | 4450 341 | 0 | 3 933.86/934.08 c 861s | 19 | 2056754 | 641482 | 4450 341 | 0 | 3 936.15/936.32 c 863s | 19 | 2060174 | 642482 | 4450 342 | 0 | 3 938.15/938.36 c 865s | 19 | 2062779 | 643482 | 4450 342 | 0 | 3 940.25/940.47 c 867s | 19 | 2067073 | 644682 | 4450 343 | 0 | 3 942.45/942.67 c 869s | 19 | 2073406 | 645482 | 4450 343 | 0 | 3 944.55/944.76 c 871s | 19 | 2076690 | 646482 | 4450 344 | 0 | 3 946.55/946.79 c 873s | 19 | 2080506 | 647582 | 4450 344 | 0 | 3 948.85/949.04 c 875s | 19 | 2082936 | 648382 | 4450 344 | 0 | 3 950.95/951.11 c 878s | 19 | 2085831 | 649282 | 4450 345 | 0 | 3 952.95/953.16 c 880s | 19 | 2088959 | 650382 | 4450 345 | 0 | 3 955.04/955.26 c 882s | 19 | 2091408 | 651282 | 4450 346 | 0 | 3 957.04/957.27 c 884s | 19 | 2095775 | 652582 | 4895 346 | 0 | 3 959.15/959.38 c 886s | 19 | 2100676 | 654082 | 4895 347 | 0 | 3 961.25/961.44 c 888s | 19 | 2104290 | 655482 | 4895 347 | 0 | 3 963.24/963.45 c 890s | 19 | 2108611 | 656782 | 4895 348 | 0 | 3 965.34/965.50 c 892s | 19 | 2113867 | 658582 | 4895 349 | 0 | 3 967.34/967.51 c 894s | 19 | 2120491 | 660582 | 4895 349 | 0 | 3 969.34/969.54 c 896s | 19 | 2126118 | 662382 | 4895 350 | 0 | 3 971.34/971.55 c 898s | 19 | 2133738 | 664182 | 4895 351 | 0 | 3 973.45/973.64 c 900s | 19 | 2140822 | 665982 | 4895 352 | 0 | 3 974.45/974.70 c 901s | 20 | 2143988 | 666827 | 4895 352 | 0 | 3 976.54/976.73 c 903s | 20 | 2151104 | 668827 | 4895 353 | 0 | 3 978.64/978.81 c 905s | 20 | 2154346 | 670227 | 4895 353 | 0 | 3 980.64/980.86 c 907s | 20 | 2159261 | 671927 | 4895 354 | 0 | 3 982.84/983.01 c 909s | 20 | 2163230 | 673227 | 4895 354 | 0 | 3 984.94/985.19 c 912s | 20 | 2166867 | 674427 | 4895 355 | 0 | 3 987.04/987.20 c 914s | 20 | 2170690 | 675727 | 4895 355 | 0 | 3 989.24/989.40 c 916s | 20 | 2175376 | 676927 | 4895 356 | 0 | 3 991.34/991.51 c 918s | 20 | 2180149 | 678427 | 4895 357 | 0 | 3 993.44/993.64 c 920s | 20 | 2184127 | 680127 | 4895 357 | 0 | 3 995.54/995.70 c 922s | 20 | 2186945 | 681427 | 4895 358 | 0 | 3 997.64/997.81 c 924s | 20 | 2190630 | 682527 | 4895 358 | 0 | 3 999.84/1000.02 c 926s | 20 | 2196858 | 684127 | 4895 359 | 0 | 3 1001.94/1002.12 c 929s | 20 | 2200557 | 685427 | 4895 359 | 0 | 3 1004.03/1004.27 c 931s | 20 | 2204341 | 686627 | 4895 360 | 0 | 3 1006.03/1006.28 c 933s | 20 | 2209585 | 687827 | 4895 360 | 0 | 3 1008.13/1008.33 c 935s | 20 | 2213805 | 689127 | 4895 361 | 0 | 3 1010.13/1010.37 c 937s | 20 | 2220689 | 690727 | 4895 361 | 0 | 3 1012.33/1012.57 c 939s | 20 | 2225449 | 692327 | 4895 362 | 0 | 3 1014.42/1014.62 c 941s | 20 | 2229356 | 693727 | 4895 363 | 0 | 3 1016.52/1016.73 c 943s | 20 | 2235033 | 695627 | 4895 363 | 0 | 3 1018.53/1018.75 c 945s | 20 | 2240842 | 697427 | 4895 364 | 0 | 3 1020.63/1020.82 c 947s | 20 | 2248110 | 699527 | 4895 365 | 0 | 3 1022.62/1022.82 c 949s | 20 | 2251383 | 700627 | 4895 365 | 0 | 3 1024.62/1024.89 c 951s | 20 | 2254694 | 701727 | 4895 366 | 0 | 3 1026.72/1026.98 c 953s | 20 | 2258210 | 703027 | 4895 366 | 0 | 3 1028.92/1029.17 c 956s | 20 | 2260711 | 704127 | 4895 367 | 0 | 3 1031.22/1031.45 c 958s | 20 | 2264900 | 705327 | 4895 367 | 0 | 3 1033.32/1033.53 c 960s | 20 | 2269796 | 706727 | 4895 368 | 0 | 3 1035.42/1035.68 c 962s | 20 | 2274239 | 708127 | 4895 368 | 0 | 3 1037.52/1037.76 c 964s | 20 | 2278833 | 709727 | 4895 369 | 0 | 3 1039.52/1039.77 c 966s | 20 | 2282970 | 711127 | 4895 370 | 0 | 3 1041.52/1041.79 c 968s | 20 | 2288708 | 713127 | 4895 371 | 0 | 3 1043.61/1043.82 c 970s | 20 | 2294786 | 715227 | 4895 371 | 0 | 3 1045.61/1045.87 c 972s | 20 | 2299461 | 716927 | 4895 372 | 0 | 3 1047.71/1047.98 c 974s | 20 | 2304598 | 718627 | 4895 373 | 0 | 3 1049.71/1049.98 c 976s | 20 | 2308018 | 720127 | 4895 373 | 0 | 3 1051.81/1052.00 c 978s | 20 | 2312241 | 721627 | 4895 374 | 0 | 3 1053.81/1054.03 c 980s | 20 | 2316991 | 723127 | 4895 375 | 0 | 3 1055.82/1056.09 c 983s | 20 | 2321617 | 724627 | 4895 375 | 0 | 3 1057.91/1058.20 c 985s | 20 | 2326314 | 726227 | 4895 376 | 0 | 3 1060.11/1060.31 c 987s | 20 | 2332141 | 727927 | 4895 376 | 0 | 3 1062.11/1062.34 c 989s | 20 | 2335974 | 729927 | 4895 377 | 0 | 3 1064.11/1064.38 c 991s | 20 | 2343244 | 732127 | 4895 378 | 0 | 3 1066.21/1066.40 c 993s | 20 | 2347978 | 733727 | 4895 379 | 0 | 3 1068.21/1068.43 c 995s | 20 | 2353664 | 735527 | 4895 380 | 0 | 3 1070.21/1070.43 c 997s | 20 | 2359916 | 737327 | 4895 380 | 0 | 3 1072.20/1072.47 c 999s | 20 | 2364825 | 738927 | 4895 381 | 0 | 3 1074.40/1074.69 c 1001s | 20 | 2369411 | 740427 | 4895 382 | 0 | 3 1076.40/1076.70 c 1003s | 20 | 2376947 | 742427 | 4895 382 | 0 | 3 1078.50/1078.79 c 1005s | 20 | 2382020 | 744127 | 4895 383 | 0 | 3 1080.60/1080.85 c 1007s | 20 | 2388284 | 746127 | 4895 384 | 0 | 3 1082.60/1082.89 c 1009s | 20 | 2393520 | 748027 | 4895 385 | 0 | 3 1084.70/1084.90 c 1011s | 20 | 2401678 | 750327 | 4895 386 | 0 | 3 1086.71/1086.95 c 1013s | 20 | 2408183 | 752527 | 4895 386 | 0 | 3 1088.81/1089.04 c 1015s | 20 | 2414294 | 754627 | 4895 387 | 0 | 3 1090.80/1091.09 c 1018s | 20 | 2419793 | 756527 | 4895 388 | 0 | 3 1092.90/1093.14 c 1020s | 20 | 2424254 | 758127 | 4895 389 | 0 | 3 1095.10/1095.36 c 1022s | 20 | 2427940 | 759727 | 4895 389 | 0 | 3 1097.20/1097.40 c 1024s | 20 | 2434032 | 761827 | 4895 390 | 0 | 3 1099.29/1099.52 c 1026s | 20 | 2438710 | 763627 | 4895 391 | 0 | 3 1101.39/1101.63 c 1028s | 20 | 2445385 | 765627 | 4895 392 | 0 | 3 1103.39/1103.67 c 1030s | 20 | 2451561 | 767227 | 4895 392 | 0 | 3 1105.59/1105.80 c 1032s | 20 | 2459012 | 769027 | 4895 393 | 0 | 3 1107.60/1107.80 c 1034s | 20 | 2463819 | 770827 | 4895 394 | 0 | 3 1109.59/1109.83 c 1036s | 20 | 2469271 | 772627 | 4895 395 | 0 | 3 1111.69/1111.90 c 1038s | 20 | 2474863 | 774327 | 4895 395 | 0 | 3 1113.69/1113.95 c 1040s | 20 | 2479137 | 775927 | 4895 396 | 0 | 3 1115.79/1116.00 c 1042s | 20 | 2482910 | 777427 | 4895 396 | 0 | 3 1117.79/1118.03 c 1044s | 20 | 2489902 | 779827 | 4895 397 | 0 | 3 1119.88/1120.11 c 1047s | 20 | 2495493 | 781627 | 4895 398 | 0 | 3 1121.89/1122.16 c 1049s | 20 | 2499030 | 783227 | 4895 399 | 0 | 3 1123.99/1124.23 c 1051s | 20 | 2505174 | 785127 | 4895 399 | 0 | 3 1126.08/1126.32 c 1053s | 20 | 2510869 | 786827 | 4895 400 | 0 | 3 1128.28/1128.53 c 1055s | 20 | 2517324 | 788827 | 4895 401 | 0 | 3 1130.38/1130.62 c 1057s | 20 | 2520206 | 789927 | 4895 401 | 0 | 3 1132.38/1132.68 c 1059s | 20 | 2525085 | 791727 | 4895 402 | 0 | 3 1134.38/1134.69 c 1061s | 20 | 2531094 | 793627 | 4895 403 | 0 | 3 1136.48/1136.74 c 1063s | 20 | 2536300 | 795427 | 4895 404 | 0 | 3 1138.57/1138.87 c 1065s | 20 | 2540306 | 797127 | 4895 404 | 0 | 3 1140.68/1140.92 c 1067s | 20 | 2544000 | 798627 | 4895 405 | 0 | 3 1142.78/1143.03 c 1069s | 20 | 2547614 | 800027 | 4895 405 | 0 | 3 1144.77/1145.08 c 1072s | 20 | 2551847 | 801527 | 4895 406 | 0 | 3 1146.97/1147.23 c 1074s | 20 | 2555223 | 802727 | 4895 407 | 0 | 3 1149.07/1149.36 c 1076s | 20 | 2557781 | 803827 | 4895 407 | 0 | 3 1151.17/1151.42 c 1078s | 20 | 2562140 | 805327 | 4895 408 | 0 | 3 1153.17/1153.47 c 1080s | 20 | 2567754 | 807227 | 4895 408 | 0 | 3 1155.17/1155.48 c 1082s | 20 | 2573517 | 808627 | 4895 409 | 0 | 3 1157.27/1157.55 c 1084s | 20 | 2580597 | 810727 | 4895 410 | 0 | 3 1159.36/1159.64 c 1086s | 20 | 2586820 | 812627 | 4895 411 | 0 | 3 1161.37/1161.65 c 1088s | 20 | 2592153 | 814427 | 4895 411 | 0 | 3 1163.46/1163.79 c 1090s | 20 | 2597579 | 816227 | 4895 412 | 0 | 3 1165.56/1165.80 c 1092s | 20 | 2600713 | 817727 | 4895 413 | 0 | 3 1167.66/1167.91 c 1094s | 20 | 2605023 | 819227 | 4895 413 | 0 | 3 1169.66/1169.93 c 1096s | 20 | 2608137 | 820627 | 4895 414 | 0 | 3 1171.66/1171.93 c 1098s | 20 | 2611682 | 822027 | 4895 414 | 0 | 3 1173.86/1174.10 c 1101s | 20 | 2614915 | 823327 | 4895 415 | 0 | 3 1175.86/1176.13 c 1103s | 20 | 2619844 | 825327 | 4895 416 | 0 | 3 1177.86/1178.17 c 1105s | 20 | 2624717 | 827227 | 4895 416 | 0 | 3 1179.85/1180.17 c 1107s | 20 | 2629024 | 829127 | 4895 417 | 0 | 3 1181.95/1182.25 c 1109s | 20 | 2633589 | 830927 | 4895 418 | 0 | 3 1184.05/1184.30 c 1111s | 20 | 2638553 | 832827 | 4895 419 | 0 | 3 1186.05/1186.32 c 1113s | 20 | 2644362 | 835127 | 4895 420 | 0 | 3 1188.05/1188.36 c 1115s | 20 | 2650025 | 837227 | 4895 420 | 0 | 3 1190.06/1190.39 c 1117s | 20 | 2655799 | 839327 | 4895 421 | 0 | 3 1192.16/1192.50 c 1119s | 20 | 2662752 | 841627 | 4895 422 | 0 | 3 1194.25/1194.56 c 1121s | 20 | 2669601 | 843627 | 4895 423 | 0 | 3 1196.35/1196.62 c 1123s | 20 | 2673747 | 845127 | 4895 424 | 0 | 3 1198.45/1198.72 c 1125s | 20 | 2679260 | 846827 | 4895 424 | 0 | 3 1200.45/1200.79 c 1127s | 20 | 2684134 | 848327 | 4895 425 | 0 | 3 1202.55/1202.82 c 1129s | 20 | 2687568 | 849527 | 4895 425 | 0 | 3 1204.55/1204.83 c 1131s | 20 | 2693765 | 851527 | 4895 426 | 0 | 3 1206.65/1206.94 c 1133s | 20 | 2699978 | 853627 | 4895 427 | 0 | 3 1208.65/1208.96 c 1135s | 20 | 2705126 | 855327 | 4895 428 | 0 | 3 1210.74/1211.00 c 1137s | 20 | 2710537 | 857027 | 4895 428 | 0 | 3 1212.84/1213.10 c 1140s | 20 | 2716307 | 859127 | 4895 429 | 0 | 3 1214.84/1215.12 c 1142s | 20 | 2723274 | 861327 | 4895 430 | 0 | 3 1216.84/1217.17 c 1144s | 20 | 2728102 | 862927 | 4895 431 | 0 | 3 1219.04/1219.33 c 1146s | 20 | 2732251 | 864427 | 4895 431 | 0 | 3 1221.04/1221.35 c 1148s | 20 | 2737086 | 866127 | 4895 432 | 0 | 3 1223.05/1223.36 c 1150s | 20 | 2741963 | 867827 | 4895 433 | 0 | 3 1225.04/1225.40 c 1152s | 20 | 2746127 | 869527 | 4895 434 | 0 | 3 1227.14/1227.42 c 1154s | 20 | 2751800 | 871227 | 4895 434 | 0 | 3 1229.14/1229.46 c 1156s | 20 | 2756974 | 873027 | 4895 435 | 0 | 3 1231.24/1231.54 c 1158s | 20 | 2763615 | 875127 | 4895 436 | 0 | 3 1233.44/1233.74 c 1160s | 20 | 2769412 | 876827 | 4895 437 | 0 | 3 1235.54/1235.83 c 1162s | 20 | 2774088 | 878627 | 4895 437 | 0 | 3 1237.54/1237.87 c 1164s | 20 | 2779225 | 880227 | 4895 438 | 0 | 3 1239.63/1239.92 c 1166s | 20 | 2786654 | 882427 | 4895 439 | 0 | 3 1241.83/1242.11 c 1169s | 20 | 2794362 | 884827 | 4895 440 | 0 | 3 1243.94/1244.20 c 1171s | 20 | 2799070 | 886327 | 4895 440 | 0 | 3 1245.93/1246.22 c 1173s | 20 | 2803146 | 887727 | 4895 441 | 0 | 3 1247.94/1248.29 c 1175s | 20 | 2807535 | 889227 | 4895 441 | 0 | 3 1250.14/1250.40 c 1177s | 20 | 2811142 | 890627 | 4895 442 | 0 | 3 1252.14/1252.47 c 1179s | 20 | 2814836 | 891827 | 4895 443 | 0 | 3 1254.24/1254.50 c 1181s | 20 | 2819541 | 893127 | 4895 443 | 0 | 3 1256.24/1256.55 c 1183s | 20 | 2823776 | 894527 | 4895 444 | 0 | 3 1258.24/1258.55 c 1185s | 20 | 2828435 | 896027 | 4895 444 | 0 | 3 1260.23/1260.56 c 1187s | 20 | 2834825 | 898027 | 4895 445 | 0 | 3 1262.23/1262.59 c 1189s | 20 | 2841762 | 899827 | 4895 446 | 0 | 3 1264.33/1264.68 c 1191s | 20 | 2847503 | 901427 | 4895 446 | 0 | 3 1266.33/1266.69 c 1193s | 20 | 2854269 | 903327 | 4895 447 | 0 | 3 1268.43/1268.71 c 1195s | 20 | 2861073 | 905227 | 4895 448 | 0 | 3 1270.43/1270.74 c 1197s | 20 | 2865695 | 906927 | 4895 449 | 0 | 3 1272.43/1272.80 c 1199s | 20 | 2870918 | 908627 | 4895 449 | 0 | 3 1274.73/1275.02 c 1201s | 20 | 2874618 | 909827 | 4895 450 | 0 | 3 1276.72/1277.06 c 1204s | 20 | 2878058 | 911127 | 4895 450 | 0 | 3 1278.92/1279.21 c 1206s | 20 | 2882077 | 912427 | 4895 451 | 0 | 3 1281.02/1281.33 c 1208s | 20 | 2886849 | 913927 | 4895 451 | 0 | 3 1283.02/1283.37 c 1210s | 20 | 2889595 | 915127 | 4895 452 | 0 | 3 1285.22/1285.55 c 1212s | 20 | 2892012 | 916327 | 4895 452 | 0 | 3 1287.32/1287.68 c 1214s | 20 | 2896905 | 917427 | 4895 453 | 0 | 3 1289.41/1289.71 c 1216s | 20 | 2900240 | 918627 | 4895 453 | 0 | 3 1291.41/1291.73 c 1218s | 20 | 2902971 | 919627 | 4895 454 | 0 | 3 1293.51/1293.86 c 1220s | 20 | 2906826 | 920927 | 4895 454 | 0 | 3 1295.81/1296.10 c 1223s | 20 | 2908202 | 921827 | 4895 454 | 0 | 3 1297.82/1298.15 c 1225s | 20 | 2915189 | 923927 | 4895 455 | 0 | 3 1299.81/1300.17 c 1227s | 20 | 2921971 | 925727 | 4895 456 | 0 | 3 1301.81/1302.19 c 1229s | 20 | 2929310 | 927827 | 4895 457 | 0 | 3 1303.91/1304.26 c 1231s | 20 | 2935865 | 929727 | 4895 458 | 0 | 3 1305.91/1306.28 c 1233s | 20 | 2941628 | 931427 | 4895 458 | 0 | 3 1308.11/1308.46 c 1235s | 20 | 2944937 | 932627 | 4895 459 | 0 | 3 1310.21/1310.56 c 1237s | 20 | 2947902 | 933827 | 4895 459 | 0 | 3 1312.21/1312.58 c 1239s | 20 | 2950876 | 935027 | 4895 460 | 0 | 3 1314.31/1314.68 c 1241s | 20 | 2957082 | 936827 | 4895 461 | 0 | 3 1316.51/1316.81 c 1243s | 20 | 2961723 | 938427 | 4895 461 | 0 | 3 1318.50/1318.82 c 1245s | 20 | 2966108 | 940027 | 4895 462 | 0 | 3 1320.50/1320.89 c 1247s | 20 | 2971065 | 941727 | 4895 463 | 0 | 3 1322.60/1322.90 c 1249s | 20 | 2974701 | 943027 | 4895 463 | 0 | 3 1324.70/1325.00 c 1251s | 20 | 2978960 | 944527 | 4895 464 | 0 | 3 1326.70/1327.02 c 1253s | 20 | 2983955 | 946327 | 4895 464 | 0 | 3 1328.70/1329.07 c 1256s | 20 | 2991758 | 948627 | 4895 465 | 0 | 3 1330.70/1331.08 c 1258s | 20 | 2996152 | 950027 | 4895 466 | 0 | 3 1332.90/1333.22 c 1260s | 20 | 3001132 | 951427 | 4895 467 | 0 | 3 1335.00/1335.30 c 1262s | 20 | 3005386 | 952727 | 4895 467 | 0 | 3 1336.99/1337.34 c 1264s | 20 | 3008800 | 953927 | 4895 468 | 0 | 3 1339.09/1339.42 c 1266s | 20 | 3011979 | 955227 | 4895 468 | 0 | 3 1341.19/1341.59 c 1268s | 20 | 3015505 | 956627 | 4895 469 | 0 | 3 1343.29/1343.65 c 1270s | 20 | 3021338 | 958527 | 4895 469 | 0 | 3 1345.39/1345.78 c 1272s | 20 | 3025056 | 960027 | 4895 470 | 0 | 3 1347.59/1347.95 c 1274s | 20 | 3032271 | 962227 | 4895 471 | 0 | 3 1349.59/1349.97 c 1276s | 20 | 3035620 | 963527 | 4895 471 | 0 | 3 1351.69/1352.03 c 1278s | 20 | 3038563 | 964827 | 4895 472 | 0 | 3 1353.79/1354.13 c 1281s | 20 | 3043401 | 966427 | 4895 473 | 0 | 3 1355.78/1356.16 c 1283s | 20 | 3048802 | 968227 | 4895 473 | 0 | 3 1357.78/1358.16 c 1285s | 20 | 3054762 | 970027 | 4895 474 | 0 | 3 1359.88/1360.21 c 1287s | 20 | 3061796 | 972127 | 4895 475 | 0 | 3 1361.88/1362.28 c 1289s | 20 | 3067417 | 973927 | 4895 476 | 0 | 3 1363.98/1364.39 c 1291s | 20 | 3072692 | 975727 | 4895 476 | 0 | 3 1366.08/1366.47 c 1293s | 20 | 3077142 | 977127 | 4895 477 | 0 | 3 1368.19/1368.52 c 1295s | 20 | 3082320 | 978727 | 4895 478 | 0 | 3 1370.17/1370.60 c 1297s | 20 | 3086797 | 980227 | 4895 478 | 0 | 3 1372.58/1372.92 c 1299s | 20 | 3090206 | 981627 | 4895 479 | 0 | 3 1374.57/1374.96 c 1301s | 20 | 3096220 | 983327 | 5385 479 | 0 | 3 1376.57/1376.97 c 1303s | 20 | 3100697 | 984827 | 5385 480 | 0 | 3 1378.67/1379.02 c 1305s | 20 | 3105427 | 986327 | 5385 480 | 0 | 3 1380.67/1381.03 c 1307s | 20 | 3109139 | 987727 | 5385 481 | 0 | 3 1382.67/1383.06 c 1310s | 20 | 3112179 | 988927 | 5385 481 | 0 | 3 1384.77/1385.11 c 1312s | 20 | 3116070 | 990327 | 5385 482 | 0 | 3 1386.78/1387.18 c 1314s | 20 | 3121256 | 991927 | 5385 482 | 0 | 3 1388.77/1389.19 c 1316s | 20 | 3125857 | 993427 | 5385 483 | 0 | 3 1390.87/1391.29 c 1318s | 20 | 3131089 | 995227 | 5385 484 | 0 | 3 1392.97/1393.39 c 1320s | 20 | 3135218 | 996327 | 5385 484 | 0 | 3 1395.07/1395.47 c 1322s | 20 | 3138064 | 997327 | 5385 484 | 0 | 3 1397.17/1397.58 c 1324s | 20 | 3141081 | 998427 | 5385 485 | 0 | 3 1399.26/1399.60 c 1326s | 20 | 3144803 | 999727 | 5385 485 | 0 | 3 1400.07/1400.47 c 1327s | 21 | 3146264 | 1000345 | 5385 485 | 0 | 3 1402.17/1402.53 c 1329s | 21 | 3151040 | 1001945 | 5385 486 | 0 | 3 1404.26/1404.67 c 1331s | 21 | 3155610 | 1003545 | 5385 487 | 0 | 3 1406.36/1406.78 c 1333s | 21 | 3160247 | 1004945 | 5385 487 | 0 | 3 1408.45/1408.83 c 1335s | 21 | 3164863 | 1006745 | 5385 488 | 0 | 3 1410.45/1410.88 c 1337s | 21 | 3169853 | 1008545 | 5385 488 | 0 | 3 1412.45/1412.88 c 1339s | 21 | 3175755 | 1010445 | 5385 489 | 0 | 3 1414.65/1415.03 c 1341s | 21 | 3179607 | 1011945 | 5385 490 | 0 | 3 1416.65/1417.05 c 1344s | 21 | 3185432 | 1013545 | 5385 490 | 0 | 3 1418.66/1419.05 c 1346s | 21 | 3189288 | 1014645 | 5385 491 | 0 | 3 1420.75/1421.17 c 1348s | 21 | 3195184 | 1016245 | 5385 491 | 0 | 3 1422.85/1423.25 c 1350s | 21 | 3199124 | 1017745 | 5385 492 | 0 | 3 1424.85/1425.26 c 1352s | 21 | 3203013 | 1019245 | 5385 492 | 0 | 3 1426.95/1427.34 c 1354s | 21 | 3207815 | 1020745 | 5385 493 | 0 | 3 1428.95/1429.36 c 1356s | 21 | 3212808 | 1022145 | 5385 493 | 0 | 3 1431.05/1431.41 c 1358s | 21 | 3218723 | 1023845 | 5385 494 | 0 | 3 1433.15/1433.54 c 1360s | 21 | 3223718 | 1025245 | 5385 495 | 0 | 3 1435.25/1435.63 c 1362s | 21 | 3229337 | 1026845 | 5385 495 | 0 | 3 1437.35/1437.72 c 1364s | 21 | 3234578 | 1028345 | 5385 496 | 0 | 3 1439.34/1439.78 c 1366s | 21 | 3238850 | 1029845 | 5385 496 | 0 | 3 1441.44/1441.81 c 1368s | 21 | 3246704 | 1031545 | 5385 497 | 0 | 3 1443.44/1443.87 c 1370s | 21 | 3254113 | 1033545 | 5385 498 | 0 | 3 1445.54/1445.91 c 1372s | 21 | 3262564 | 1035445 | 5385 498 | 0 | 3 1447.54/1447.97 c 1374s | 21 | 3268976 | 1037145 | 5385 499 | 0 | 3 1449.54/1449.99 c 1376s | 21 | 3275590 | 1038845 | 5385 500 | 0 | 3 1451.54/1451.99 c 1378s | 21 | 3280204 | 1039845 | 5385 500 | 0 | 3 1453.64/1454.03 c 1380s | 21 | 3283901 | 1041145 | 5385 500 | 0 | 3 1455.63/1456.10 c 1383s | 21 | 3288896 | 1042545 | 5385 501 | 0 | 3 1457.73/1458.17 c 1385s | 21 | 3294431 | 1044145 | 5385 501 | 0 | 3 1459.83/1460.24 c 1387s | 21 | 3299921 | 1045745 | 5385 502 | 0 | 3 1461.93/1462.33 c 1389s | 21 | 3306434 | 1047545 | 5385 503 | 0 | 3 1464.03/1464.48 c 1391s | 21 | 3310750 | 1048945 | 5385 503 | 0 | 3 1466.13/1466.50 c 1393s | 21 | 3315488 | 1050145 | 5385 504 | 0 | 3 1468.14/1468.56 c 1395s | 21 | 3320676 | 1051445 | 5385 504 | 0 | 3 1470.23/1470.64 c 1397s | 21 | 3324967 | 1052845 | 5385 504 | 0 | 3 1472.33/1472.72 c 1399s | 21 | 3329695 | 1054445 | 5385 505 | 0 | 3 1474.53/1474.97 c 1401s | 21 | 3334267 | 1055845 | 5385 506 | 0 | 3 1476.63/1477.08 c 1404s | 21 | 3338623 | 1057245 | 5385 506 | 0 | 3 1478.82/1479.22 c 1406s | 21 | 3343972 | 1058545 | 5385 507 | 0 | 3 1480.82/1481.24 c 1408s | 21 | 3348275 | 1059845 | 5385 507 | 0 | 3 1482.82/1483.26 c 1410s | 21 | 3353137 | 1061145 | 5385 508 | 0 | 3 1485.02/1485.41 c 1412s | 21 | 3357095 | 1062445 | 5385 508 | 0 | 3 1487.02/1487.47 c 1414s | 21 | 3362030 | 1064145 | 5385 509 | 0 | 3 1489.12/1489.51 c 1416s | 21 | 3367922 | 1065745 | 5385 509 | 0 | 3 1491.12/1491.56 c 1418s | 21 | 3373369 | 1066645 | 5385 510 | 0 | 3 1493.12/1493.58 c 1420s | 21 | 3378309 | 1068045 | 5385 510 | 0 | 3 1495.22/1495.64 c 1422s | 21 | 3383833 | 1069445 | 5385 511 | 0 | 3 1497.31/1497.73 c 1424s | 21 | 3389261 | 1071045 | 5385 511 | 0 | 3 1499.31/1499.78 c 1426s | 21 | 3393591 | 1072445 | 5385 512 | 0 | 3 1501.31/1501.78 c 1428s | 21 | 3398369 | 1073945 | 5385 512 | 0 | 3 1503.51/1503.91 c 1430s | 21 | 3402952 | 1075445 | 5385 513 | 0 | 3 1505.62/1506.04 c 1432s | 21 | 3407771 | 1076645 | 5385 513 | 0 | 3 1507.82/1508.22 c 1435s | 21 | 3410981 | 1077645 | 5385 514 | 0 | 3 1509.81/1510.28 c 1437s | 21 | 3413888 | 1078745 | 5385 514 | 0 | 3 1511.91/1512.34 c 1439s | 21 | 3419178 | 1080645 | 5385 515 | 0 | 3 1514.21/1514.67 c 1441s | 21 | 3425515 | 1082745 | 5385 515 | 0 | 3 1516.31/1516.74 c 1443s | 21 | 3430009 | 1084245 | 5385 516 | 0 | 3 1518.40/1518.82 c 1445s | 21 | 3435078 | 1085845 | 5385 517 | 0 | 3 1520.40/1520.89 c 1447s | 21 | 3439527 | 1087445 | 5385 517 | 0 | 3 1522.50/1522.92 c 1449s | 21 | 3444611 | 1088945 | 5385 518 | 0 | 3 1524.70/1525.13 c 1452s | 21 | 3450521 | 1090345 | 5385 518 | 0 | 3 1526.70/1527.19 c 1454s | 21 | 3455513 | 1091845 | 5385 519 | 0 | 3 1528.81/1529.26 c 1456s | 21 | 3459549 | 1093245 | 5385 519 | 0 | 3 1530.92/1531.35 c 1458s | 21 | 3462905 | 1094245 | 5385 520 | 0 | 3 1532.91/1533.35 c 1460s | 21 | 3467017 | 1095645 | 5385 520 | 0 | 3 1535.01/1535.47 c 1462s | 21 | 3471092 | 1096945 | 5385 521 | 0 | 3 1537.01/1537.47 c 1464s | 21 | 3476031 | 1098245 | 5385 521 | 0 | 3 1539.11/1539.54 c 1466s | 21 | 3480246 | 1099645 | 5385 522 | 0 | 3 1541.11/1541.59 c 1468s | 21 | 3486517 | 1101345 | 5385 522 | 0 | 3 1543.21/1543.62 c 1470s | 21 | 3488649 | 1102245 | 5385 523 | 0 | 3 1545.31/1545.77 c 1472s | 21 | 3490196 | 1103545 | 5385 523 | 0 | 3 1547.60/1548.00 c 1474s | 21 | 3490806 | 1104045 | 5385 523 | 0 | 3 1549.61/1550.08 c 1477s | 21 | 3491195 | 1104345 | 5385 523 | 0 | 3 1552.10/1552.50 c 1479s | 21 | 3491697 | 1104745 | 5385 523 | 0 | 3 1554.20/1554.65 c 1481s | 21 | 3494062 | 1105045 | 5385 524 | 0 | 3 1556.21/1556.65 c 1483s | 21 | 3501566 | 1107345 | 5385 524 | 0 | 3 1558.31/1558.78 c 1485s | 21 | 3509587 | 1109445 | 5385 525 | 0 | 3 1560.40/1560.84 c 1487s | 21 | 3516238 | 1111445 | 5385 526 | 0 | 3 1562.50/1562.91 c 1489s | 21 | 3521285 | 1113145 | 5385 527 | 0 | 3 1564.50/1564.97 c 1491s | 21 | 3529705 | 1115345 | 5385 527 | 0 | 3 1566.50/1566.98 c 1493s | 21 | 3535759 | 1117345 | 5385 528 | 0 | 3 1568.60/1569.03 c 1495s | 21 | 3543467 | 1119445 | 5385 529 | 0 | 3 1570.59/1571.04 c 1497s | 21 | 3549096 | 1121445 | 5385 530 | 0 | 3 1572.60/1573.06 c 1500s | 21 | 3552982 | 1122945 | 5385 530 | 0 | 3 1574.80/1575.21 c 1502s | 21 | 3560459 | 1124745 | 5385 531 | 0 | 3 1576.79/1577.28 c 1504s | 21 | 3565119 | 1126445 | 5385 531 | 0 | 3 1578.89/1579.36 c 1506s | 21 | 3569538 | 1127945 | 5385 532 | 0 | 3 1580.99/1581.41 c 1508s | 21 | 3574569 | 1129645 | 5385 533 | 0 | 3 1582.99/1583.44 c 1510s | 21 | 3579582 | 1131345 | 5385 533 | 0 | 3 1585.19/1585.60 c 1512s | 21 | 3584004 | 1133045 | 5385 534 | 0 | 3 1587.19/1587.61 c 1514s | 21 | 3588768 | 1134645 | 5385 534 | 0 | 3 1589.19/1589.64 c 1516s | 21 | 3591800 | 1136345 | 5385 535 | 0 | 3 1591.18/1591.70 c 1518s | 21 | 3596287 | 1137745 | 5385 536 | 0 | 3 1593.38/1593.87 c 1520s | 21 | 3601215 | 1139245 | 5385 536 | 0 | 3 1595.48/1595.98 c 1522s | 21 | 3606932 | 1140645 | 5385 537 | 0 | 3 1597.58/1598.00 c 1524s | 21 | 3611998 | 1142145 | 5385 537 | 0 | 3 1599.58/1600.00 c 1526s | 21 | 3618252 | 1144045 | 5385 538 | 0 | 3 1601.68/1602.12 c 1529s | 21 | 3624112 | 1145745 | 5385 538 | 0 | 3 1603.68/1604.14 c 1531s | 21 | 3628407 | 1147445 | 5385 539 | 0 | 3 1605.78/1606.21 c 1533s | 21 | 3632045 | 1148945 | 5385 540 | 0 | 3 1607.78/1608.21 c 1535s | 21 | 3636737 | 1150245 | 5385 540 | 0 | 3 1609.98/1610.41 c 1537s | 21 | 3641760 | 1151745 | 5385 541 | 0 | 3 1612.18/1612.66 c 1539s | 21 | 3645189 | 1153045 | 5385 541 | 0 | 3 1614.27/1614.75 c 1541s | 21 | 3649465 | 1154545 | 5385 542 | 0 | 3 1616.37/1616.82 c 1543s | 21 | 3653329 | 1155745 | 5385 542 | 0 | 3 1618.47/1618.97 c 1545s | 21 | 3657090 | 1157145 | 5385 543 | 0 | 3 1620.67/1621.13 c 1548s | 21 | 3660473 | 1158245 | 5385 543 | 0 | 3 1622.77/1623.24 c 1550s | 21 | 3661863 | 1158945 | 5385 543 | 0 | 3 1624.77/1625.27 c 1552s | 21 | 3665884 | 1160045 | 5385 544 | 0 | 3 1626.87/1627.35 c 1554s | 21 | 3669295 | 1161345 | 5385 544 | 0 | 3 1628.97/1629.43 c 1556s | 21 | 3672037 | 1162345 | 5385 545 | 0 | 3 1630.97/1631.47 c 1558s | 21 | 3676166 | 1163845 | 5385 545 | 0 | 3 1633.17/1633.65 c 1560s | 21 | 3679561 | 1165045 | 5385 546 | 0 | 3 1635.16/1635.67 c 1562s | 21 | 3682827 | 1166545 | 5385 546 | 0 | 3 1637.26/1637.73 c 1564s | 21 | 3686304 | 1167845 | 5385 547 | 0 | 3 1639.36/1639.84 c 1566s | 21 | 3690609 | 1169245 | 5385 547 | 0 | 3 1641.46/1641.94 c 1568s | 21 | 3695924 | 1170945 | 5385 548 | 0 | 3 1643.56/1644.04 c 1570s | 21 | 3699589 | 1172445 | 5385 548 | 0 | 3 1645.66/1646.14 c 1573s | 21 | 3703879 | 1174045 | 5385 549 | 0 | 3 1647.76/1648.21 c 1575s | 21 | 3710332 | 1175345 | 5385 549 | 0 | 3 1649.76/1650.23 c 1577s | 21 | 3714749 | 1176945 | 5385 550 | 0 | 3 1651.96/1652.43 c 1579s | 21 | 3719835 | 1178745 | 5385 551 | 0 | 3 1653.97/1654.45 c 1581s | 21 | 3725436 | 1180445 | 5385 551 | 0 | 3 1656.06/1656.51 c 1583s | 21 | 3730296 | 1182245 | 5385 552 | 0 | 3 1658.26/1658.72 c 1585s | 21 | 3734762 | 1183845 | 5385 552 | 0 | 3 1660.26/1660.76 c 1587s | 21 | 3740438 | 1185445 | 5385 553 | 0 | 3 1662.36/1662.86 c 1589s | 21 | 3744868 | 1187145 | 5385 554 | 0 | 3 1664.36/1664.87 c 1591s | 21 | 3750222 | 1188745 | 5385 554 | 0 | 3 1666.46/1666.99 c 1593s | 21 | 3756976 | 1190545 | 5385 555 | 0 | 3 1668.56/1669.04 c 1595s | 21 | 3762038 | 1192145 | 5385 555 | 0 | 3 1670.57/1671.04 c 1597s | 21 | 3765043 | 1193645 | 5385 556 | 0 | 3 1672.77/1673.21 c 1600s | 21 | 3766215 | 1194645 | 5385 556 | 0 | 3 1675.06/1675.59 c 1602s | 21 | 3766978 | 1195245 | 5385 556 | 0 | 3 1677.66/1678.10 c 1605s | 21 | 3767567 | 1195745 | 5385 556 | 0 | 3 1679.66/1680.16 c 1607s | 21 | 3768070 | 1196145 | 5385 557 | 0 | 3 1681.96/1682.44 c 1609s | 21 | 3768764 | 1196745 | 5385 557 | 0 | 3 1683.96/1684.49 c 1611s | 21 | 3770121 | 1197145 | 5385 557 | 0 | 3 1686.06/1686.52 c 1613s | 21 | 3773915 | 1198545 | 5385 558 | 0 | 3 1688.06/1688.56 c 1615s | 21 | 3776931 | 1199745 | 5385 558 | 0 | 3 1690.26/1690.71 c 1617s | 21 | 3780295 | 1200845 | 5385 559 | 0 | 3 1692.26/1692.75 c 1619s | 21 | 3784911 | 1202345 | 5385 559 | 0 | 3 1694.46/1694.99 c 1621s | 21 | 3787289 | 1203245 | 5385 559 | 0 | 3 1696.76/1697.24 c 1624s | 21 | 3792411 | 1204745 | 5385 560 | 0 | 3 1698.95/1699.43 c 1626s | 21 | 3794587 | 1205645 | 5385 560 | 0 | 3 1701.05/1701.52 c 1628s | 21 | 3796535 | 1206545 | 5385 561 | 0 | 3 1703.05/1703.54 c 1630s | 21 | 3799380 | 1207545 | 5385 561 | 0 | 3 1705.15/1705.60 c 1632s | 21 | 3802625 | 1208645 | 5385 561 | 0 | 3 1707.45/1707.94 c 1634s | 21 | 3804843 | 1209645 | 5385 562 | 0 | 3 1709.45/1709.99 c 1636s | 21 | 3810202 | 1211345 | 5385 562 | 0 | 3 1711.55/1712.04 c 1638s | 21 | 3815987 | 1213145 | 5385 563 | 0 | 3 1713.95/1714.42 c 1641s | 21 | 3818554 | 1214145 | 5385 563 | 0 | 3 1715.95/1716.44 c 1643s | 21 | 3819712 | 1215145 | 5385 563 | 0 | 3 1717.95/1718.44 c 1645s | 21 | 3821941 | 1216245 | 5385 564 | 0 | 3 1720.15/1720.64 c 1647s | 21 | 3826782 | 1217645 | 5385 565 | 0 | 3 1722.16/1722.66 c 1649s | 21 | 3832121 | 1219345 | 5385 565 | 0 | 3 1724.15/1724.67 c 1651s | 21 | 3837064 | 1220945 | 5385 566 | 0 | 3 1726.25/1726.79 c 1653s | 21 | 3842848 | 1222945 | 5385 566 | 0 | 3 1728.35/1728.86 c 1655s | 21 | 3844078 | 1223645 | 5385 567 | 0 | 3 1730.45/1730.91 c 1657s | 21 | 3851045 | 1225345 | 5385 567 | 0 | 3 1732.45/1732.94 c 1659s | 21 | 3856663 | 1226945 | 5385 568 | 0 | 3 1734.45/1734.95 c 1661s | 21 | 3860282 | 1228245 | 5385 568 | 0 | 3 1736.45/1737.00 c 1663s | 21 | 3863816 | 1229545 | 5385 569 | 0 | 3 1738.65/1739.14 c 1666s | 21 | 3865541 | 1230345 | 5385 569 | 0 | 3 1740.65/1741.17 c 1668s | 21 | 3868961 | 1231445 | 5385 570 | 0 | 3 1742.85/1743.33 c 1670s | 21 | 3872788 | 1232545 | 5385 570 | 0 | 3 1744.85/1745.38 c 1672s | 21 | 3874630 | 1233345 | 5385 570 | 0 | 3 1746.95/1747.48 c 1674s | 21 | 3877011 | 1234445 | 5385 571 | 0 | 3 1749.05/1749.52 c 1676s | 21 | 3879114 | 1235345 | 5385 571 | 0 | 3 1751.04/1751.58 c 1678s | 21 | 3882039 | 1236345 | 5385 571 | 0 | 3 1753.14/1753.69 c 1680s | 21 | 3883738 | 1237145 | 5385 572 | 0 | 3 1755.44/1755.94 c 1682s | 21 | 3884783 | 1237845 | 5385 572 | 0 | 3 1757.45/1757.99 c 1684s | 21 | 3891780 | 1239845 | 5385 573 | 0 | 3 1759.55/1760.03 c 1686s | 21 | 3898569 | 1241845 | 5385 573 | 0 | 3 1761.64/1762.11 c 1689s | 21 | 3902572 | 1243545 | 5385 574 | 0 | 3 1763.74/1764.22 c 1691s | 21 | 3908059 | 1245445 | 5385 575 | 0 | 3 1765.84/1766.34 c 1693s | 21 | 3912821 | 1247245 | 5385 575 | 0 | 3 1767.94/1768.40 c 1695s | 21 | 3918777 | 1249145 | 5385 576 | 0 | 3 1769.94/1770.42 c 1697s | 21 | 3923444 | 1250545 | 5385 577 | 0 | 3 1771.94/1772.48 c 1699s | 21 | 3930178 | 1252645 | 5385 577 | 0 | 3 1774.14/1774.66 c 1701s | 21 | 3936261 | 1254545 | 5385 578 | 0 | 3 1776.24/1776.73 c 1703s | 21 | 3941216 | 1256245 | 5385 579 | 0 | 3 1778.35/1778.89 c 1705s | 21 | 3944009 | 1257545 | 5385 579 | 0 | 3 1780.64/1781.11 c 1708s | 21 | 3948434 | 1259145 | 5385 580 | 0 | 3 1782.65/1783.15 c 1710s | 21 | 3952493 | 1260545 | 5385 580 | 0 | 3 1784.64/1785.16 c 1712s | 21 | 3956418 | 1261945 | 5385 581 | 0 | 3 1786.74/1787.26 c 1714s | 21 | 3959375 | 1263045 | 5385 581 | 0 | 3 1788.74/1789.29 c 1716s | 21 | 3963474 | 1264445 | 5385 582 | 0 | 3 1790.84/1791.32 c 1718s | 21 | 3969773 | 1266245 | 5385 582 | 0 | 3 1792.84/1793.39 c 1720s | 21 | 3974890 | 1268045 | 5385 583 | 0 | 3 1794.94/1795.49 c 1722s | 21 | 3979400 | 1269545 | 5385 584 | 0 | 3 1797.04/1797.58 c 1724s | 21 | 3983678 | 1271145 | 5385 584 | 0 | 3 1799.14/1799.62 c 1726s | 21 | 3987495 | 1272445 | 5385 585 | 0 | 3
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-4093510-1466111328/watcher-4093510-1466111328 -o /tmp/evaluation-result-4093510-1466111328/solver-4093510-1466111328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466104016-18188 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093510-1466111328.wbo pid=20795 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.07 2.02 3/179 20798 /proc/meminfo: memFree=31258180/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 2736 0 0 0 0 0 0 0 20 0 4 0 13178429 750186496 2586 33554432000 4194304 16246674 140737271842992 140737271842416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 183663 2594 441 2943 0 180557 0 [pid=20798/tid=20799] ppid=20795 vsize=750012 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 768012288 2651 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=754108 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 772206592 2667 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 775352320 2683 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.09 2.07 2.02 3/179 20798 /proc/meminfo: memFree=31258180/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 18458 0 0 0 6 2 0 0 20 0 4 0 13178429 1247350784 18300 33554432000 4194304 16246674 140737271842992 140737271842416 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 18304 612 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 18305 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 18307 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 18310 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200502 s] /proc/loadavg: 2.09 2.07 2.02 3/179 20798 /proc/meminfo: memFree=31258180/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 25835 0 0 0 15 4 0 0 20 0 4 0 13178429 1247350784 25677 33554432000 4194304 16246674 140737271842992 140737271842416 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 25677 612 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 25677 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 25677 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 25677 33554432000 4194304 16246674 140737271842992 139919849671856 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.300467 s] /proc/loadavg: 2.09 2.07 2.02 3/179 20798 /proc/meminfo: memFree=31258180/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 31527 0 0 0 24 5 0 0 20 0 4 0 13178429 1247350784 31369 33554432000 4194304 16246674 140737271842992 140737271842416 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 31369 612 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 31372 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 31372 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 31375 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700394 s] /proc/loadavg: 2.09 2.07 2.02 3/179 20798 /proc/meminfo: memFree=31258180/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 52367 0 0 0 61 8 0 0 20 0 4 0 13178429 1247350784 52209 33554432000 4194304 16246674 140737271842992 140737271824896 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 52211 612 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 52212 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 52213 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 52213 33554432000 4194304 16246674 140737271842992 139919849671856 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.50039 s] /proc/loadavg: 2.09 2.07 2.02 3/183 20802 /proc/meminfo: memFree=30769732/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 87026 0 0 0 136 13 0 0 20 0 4 0 13178429 1247350784 86868 33554432000 4194304 16246674 140737271842992 140737271824896 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 86871 614 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 86871 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 86871 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 86871 33554432000 4194304 16246674 140737271842992 139919849671856 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) 1218116 [startup+3.10039 s] /proc/loadavg: 2.08 2.06 2.02 3/183 20802 /proc/meminfo: memFree=30436784/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=3.09 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 143661 0 0 0 288 21 0 0 20 0 4 0 13178429 1247350784 143503 33554432000 4194304 16246674 140737271842992 140737271824896 12501877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 143503 614 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 143504 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 143504 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 143504 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1218116 [startup+6.30038 s] /proc/loadavg: 2.08 2.06 2.02 3/183 20802 /proc/meminfo: memFree=29652964/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1218116 CPUtime=6.29 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 233262 0 0 0 595 34 0 0 20 0 4 0 13178429 1247350784 233104 33554432000 4194304 16246674 140737271842992 140737271824896 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 304529 233104 614 2943 0 301423 0 [pid=20798/tid=20799] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 233104 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 233104 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13178429 1247350784 233104 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1218116 [startup+12.7004 s] /proc/loadavg: 2.07 2.06 2.02 3/183 20802 /proc/meminfo: memFree=29352684/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1252932 CPUtime=12.69 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 254204 0 0 0 1232 37 0 0 20 0 4 0 13178429 1283002368 254000 33554432000 4194304 16246674 140737271842992 140737271824896 6132704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 313233 254000 836 2943 0 310127 0 [pid=20798/tid=20799] ppid=20795 vsize=1252932 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1283002368 254000 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1252932 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1283002368 254000 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1252932 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1283002368 254000 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1252932 [startup+25.5004 s] /proc/loadavg: 2.06 2.06 2.01 3/183 20802 /proc/meminfo: memFree=29351976/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1253956 CPUtime=25.49 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 254399 0 0 0 2512 37 0 0 20 0 4 0 13178429 1284050944 254195 33554432000 4194304 16246674 140737271842992 140737271824896 13817016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 313489 254195 836 2943 0 310383 0 [pid=20798/tid=20799] ppid=20795 vsize=1253956 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1284050944 254195 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1253956 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1284050944 254195 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1253956 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1284050944 254195 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1253956 [startup+51.1004 s] /proc/loadavg: 2.04 2.05 2.01 3/183 20802 /proc/meminfo: memFree=29313292/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1272388 CPUtime=51.08 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 259216 0 0 0 5071 37 0 0 20 0 4 0 13178429 1302925312 259012 33554432000 4194304 16246674 140737271842992 140737271824896 13774216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 318097 259012 836 2943 0 314991 0 [pid=20798/tid=20799] ppid=20795 vsize=1272388 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1302925312 259012 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1272388 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1302925312 259012 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1272388 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1302925312 259012 33554432000 4194304 16246674 140737271842992 139919849671856 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) 1272388 [startup+102.3 s] /proc/loadavg: 2.01 2.04 2.01 3/184 20806 /proc/meminfo: memFree=29243152/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 268009 0 0 0 10189 39 0 0 20 0 4 0 13178429 1338576896 267805 33554432000 4194304 16246674 140737271842992 140737271824896 5712690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 326801 267805 935 2943 0 323695 0 [pid=20798/tid=20799] ppid=20795 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1338576896 267805 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1338576896 267805 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1338576896 267805 33554432000 4194304 16246674 140737271842992 139919849671856 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) 1307204 ################ # More data... # ################ /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1348014080 270376 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1316420 [startup+1362.3 s] /proc/loadavg: 2.11 2.10 2.03 3/183 20838 /proc/meminfo: memFree=29212144/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1316420 CPUtime=1361.98 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 270514 0 0 0 136156 42 0 0 20 0 4 0 13178429 1348014080 270376 33554432000 4194304 16246674 140737271842992 140737271824896 5677043 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329105 270376 936 2943 0 325999 0 [pid=20798/tid=20799] ppid=20795 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1348014080 270376 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1348014080 270376 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1348014080 270376 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1316420 [startup+1422.3 s] /proc/loadavg: 2.12 2.11 2.04 3/183 20839 /proc/meminfo: memFree=29211288/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1421.96 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 270870 0 0 0 142154 42 0 0 20 0 4 0 13178429 1350111232 270698 33554432000 4194304 16246674 140737271842992 140737271824896 5599159 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270698 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270698 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270698 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270698 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.15 2.12 2.04 3/183 20840 /proc/meminfo: memFree=29210320/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1481.92 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271094 0 0 0 148150 42 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 5599631 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.12 2.11 2.04 3/183 20841 /proc/meminfo: memFree=29210464/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1541.91 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271121 0 0 0 154148 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271825992 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.09 2.10 2.04 3/183 20842 /proc/meminfo: memFree=29210244/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1601.88 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271146 0 0 0 160145 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 5599200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.27 2.15 2.06 4/182 20843 /proc/meminfo: memFree=29210808/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1661.86 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271160 0 0 0 166143 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.35 2.18 2.07 3/183 20845 /proc/meminfo: memFree=29210668/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1721.85 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271160 0 0 0 172142 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 2.30 2.20 2.09 3/184 20847 /proc/meminfo: memFree=29209788/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1781.84 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271160 0 0 0 178141 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 5711888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.21 2.09 3/184 20847 /proc/meminfo: memFree=29210160/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1800.04 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271160 0 0 0 179961 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 6022624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1318468 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 20798 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.21 2.09 3/184 20847 /proc/meminfo: memFree=29210160/32872528 swapFree=532956/565660 [pid=20798] ppid=20795 vsize=1318468 CPUtime=1800.04 cores=0,2,4,6 /proc/20798/stat : 20798 (toysat) R 20795 20798 17565 0 -1 4202496 271160 0 0 0 179961 43 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 140737271824896 6022624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20798/statm: 329617 270888 936 2943 0 326511 0 [pid=20798/tid=20799] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20799/stat : 20799 (toysat) S 20795 20798 17565 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919870635248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=20798/tid=20800] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20800/stat : 20800 (toysat) S 20795 20798 17565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919860145392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=20798/tid=20801] ppid=20795 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/20798/task/20801/stat : 20801 (toysat) S 20795 20798 17565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13178429 1350111232 270888 33554432000 4194304 16246674 140737271842992 139919849671856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1318468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.62 CPU system time (s): 0.435933 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.435933 maximum resident set size= 1083552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271160 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= 340 involuntary context switches= 1861 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.73052 second user time and 16.3665 second system time The end
Begin job on node138 at 2016-06-16 23:08:48 IDJOB=4093510 IDBENCH=79655 IDSOLVER=2553 FILE ID=node138/4093510-1466111328 RUNJOBID= node138-1466104016-18188 PBS_JOBID= 19904048 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-myciel5g-4_wcsp.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093510-1466111328/watcher-4093510-1466111328 -o /tmp/evaluation-result-4093510-1466111328/solver-4093510-1466111328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466104016-18188 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093510-1466111328.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3fb8f81d652630b13b866ff5b3a4bf01 RANDOM SEED=1090321228 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31263652 kB Buffers: 63592 kB Cached: 149032 kB SwapCached: 1380 kB Active: 230268 kB Inactive: 108100 kB Active(anon): 126448 kB Inactive(anon): 1664 kB Active(file): 103820 kB Inactive(file): 106436 kB Unevictable: 565660 kB Mlocked: 532956 kB SwapTotal: 67108856 kB SwapFree: 67099636 kB Dirty: 33400 kB Writeback: 0 kB AnonPages: 690576 kB Mapped: 9544 kB Shmem: 0 kB Slab: 572032 kB SReclaimable: 14800 kB SUnreclaim: 557232 kB KernelStack: 1512 kB PageTables: 6576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1694276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71716 MiB End job on node138 at 2016-06-16 23:38:49