| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo |
| MD5SUM | c77cfb1ee053e7c4147458beb2d99117 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1200 |
| Total number of constraints | 100 |
| Number of soft constraints | 35 |
| Number of constraints which are clauses | 60 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 30 |
| Top cost | 1842 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 1841 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 31 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-16T14:56:41+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-4093314-1466081801.wbo"] 0.00/0.01 c use --random-gen="1959677438 750566670 1447206844 1944303605 926494039 2815388605 4106289232 3833250836 1182928020 1581698533 1212153137 3293053350 1562182784 1540715412 55083776 2675032892 2998708322 2804054043 3301639099 230773172 3408517311 5473816 2272418737 853051917 2598629590 188513575 1298155783 137319157 498757125 1091280496 3965104340 953727225 2094371850 2121757444 2598330877 1311525009 1242350396 882423841 1855513817 176990310 3091899806 3384693066 1986372075 2039343289 2750896294 2690058785 1646583135 1823015990 2623215473 1049971054 861961164 2732717599 1620959251 39330206 1249512653 1842100184 2102411873 2910702597 2728205800 3089638740 2342507846 2217223815 791794636 3114208067 2385433944 858561762 1492517271 823677050 3827161508 102663185 3902910566 2544834909 2766752453 3390784637 1645552032 2928003322 205275623 2639812907 2416974478 638952126 3970678590 1654107825 4178468020 1872302992 4167216419 1770917451 2053843616 1699118276 97811125 705752726 2651065254 3154568110 2269647407 2781209913 1521271810 4128189193 2456952566 4000744470 1637276746 1944655611 3447648734 1195772960 2807000225 3437279633 4028361483 230820252 2676050173 3886955137 3359923944 1532433273 522125673 2114168679 2317544912 1696895860 1917605430 1380150897 2011314496 3858468440 3870310078 4111100065 2335687464 188391867 603970892 2538690907 2748796154 2805799618 3156943339 1417016696 2958240208 3673629338 399369670 2817383378 102320561 711392667 1076152774 1693823559 745096507 2084151832 1595880858 2290871486 4029541017 1471520028 3515078597 1690053877 2640904441 2861677428 3971852505 3135897444 3692460462 2831808474 4199780314 4137988514 1077007377 2357985328 1560418892 4203558589 1905927397 565242722 3465465959 3558784683 3151428459 4091573697 3649568237 110419257 1707624736 2959788928 3020524794 2458153798 4008121562 1689986454 934260736 2860166675 602598072 1629121388 2042000829 1999696087 3566144120 2928571737 3487980789 3250214171 1664275952 1658918973 1352345248 784297186 573827035 50332311 2755828933 3436660731 1865221239 3567549820 2343537572 3907440747 3813375539 929135202 209268758 3050563821 2708004320 2569509127 1410675643 4170719398 2724888392 2956824226 3572803096 912642064 3224822120 1576070348 1944417574 2738088320 2095463091 854413816 2295154837 4183411037 1206603507 409431522 3947646312 1610360006 165433894 1855321214 2407476432 2249622944 2263175239 703301865 362749008 2426144923 2332805681 1449380134 3904256136 3357546013 2244847008 2977207293 857811770 1689514186 3390719639 3346281806 807739690 2357538166 3783346926 3645300089 537789286 551113430 772415772 2387849218 515002592 1009296586 1672863891 1360554471 408387974 2331068589 1326231927 2677054000 1401087094 2413022697 3696286360 2555504506 287651472 769235106 255 362436" option to reproduce the execution 0.00/0.06 c #vars 1200 0.00/0.06 c #constraints 100 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 445 0 | 0 | 0 0.00/0.09 c 0.0s | 1 | 179 | 100 | 445 0 | 0 | 0 0.09/0.10 c 0.0s | 1 | 791 | 113 | 490 0 | 0 | 0 0.09/0.10 c #cpu_time = 0.031s 0.09/0.10 c #wall_clock_time = 0.031s 0.09/0.10 c #decision = 791 0.09/0.10 c #random_decision = 1 0.09/0.10 c #conflict = 113 0.09/0.10 c #restart = 1 0.09/0.10 o 849 0.09/0.10 c BCD2: updating upper bound: 1841 -> 848 0.09/0.10 c BCD2: 0 <= obj <= 848 0.09/0.10 c BCD2: #cores=0, #unrelaxed=35, #relaxed=0, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 490 0 | 0 | 0 0.09/0.13 c 0.0s | 1 | 322 | 100 | 490 0 | 0 | 0 0.09/0.19 c 0.1s | 2 | 902 | 250 | 539 0 | 0 | 0 0.19/0.28 c 0.2s | 3 | 1740 | 475 | 593 0 | 0 | 0 0.39/0.44 c 0.3s | 4 | 2415 | 813 | 653 0 | 0 | 0 0.78/0.80 c 0.7s | 5 | 3330 | 1320 | 719 1 | 0 | 0 1.10/1.17 c 1.1s | 6 | 4494 | 2081 | 791 2 | 0 | 0 1.69/1.77 c 1.7s | 7 | 6209 | 3223 | 871 4 | 0 | 0 2.59/2.60 c 2.5s | 8 | 8581 | 4936 | 959 7 | 0 | 0 4.40/4.42 c 4.3s | 9 | 11802 | 7506 | 1055 10 | 0 | 0 5.69/5.76 c 5.7s | 10 | 16417 | 11361 | 1161 16 | 0 | 0 7.79/7.81 c 7.7s | 10 | 20869 | 15061 | 1161 21 | 0 | 0 9.49/9.53 c 9.4s | 11 | 23607 | 17144 | 1278 23 | 0 | 0 11.49/11.55 c 11.4s | 11 | 29440 | 21544 | 1278 28 | 0 | 0 13.49/13.58 c 13.5s | 11 | 33411 | 25144 | 1278 32 | 0 | 0 13.88/13.92 c 13.8s | 12 | 34264 | 25819 | 1406 32 | 0 | 0 15.88/15.98 c 15.9s | 12 | 38222 | 29019 | 1406 36 | 0 | 0 17.98/18.01 c 17.9s | 12 | 41306 | 31719 | 1406 39 | 0 | 0 19.98/20.08 c 20.0s | 12 | 44222 | 34319 | 1406 41 | 0 | 0 21.99/22.10 c 22.0s | 12 | 46687 | 36519 | 1406 43 | 0 | 0 23.98/24.05 c 24.0s | 13 | 49189 | 38832 | 1547 46 | 0 | 0 26.08/26.10 c 26.0s | 13 | 53017 | 41732 | 1547 48 | 0 | 0 28.08/28.12 c 28.0s | 13 | 55994 | 44332 | 1547 51 | 0 | 0 30.08/30.16 c 30.1s | 13 | 58930 | 46932 | 1547 53 | 0 | 0 32.08/32.19 c 32.1s | 13 | 61884 | 49532 | 1547 56 | 0 | 0 34.19/34.25 c 34.2s | 13 | 64622 | 52032 | 1547 58 | 0 | 0 36.29/36.30 c 36.2s | 13 | 67403 | 54532 | 1547 61 | 0 | 0 38.28/38.33 c 38.2s | 13 | 70125 | 57032 | 1547 63 | 0 | 0 39.38/39.45 c 39.4s | 14 | 71608 | 58352 | 1702 64 | 0 | 0 41.38/41.48 c 41.4s | 14 | 75641 | 61252 | 1702 67 | 0 | 0 43.48/43.58 c 43.5s | 14 | 78364 | 63652 | 1702 69 | 0 | 0 45.58/45.66 c 45.6s | 14 | 80996 | 65952 | 1702 71 | 0 | 0 47.58/47.67 c 47.6s | 14 | 83951 | 68452 | 1702 73 | 0 | 0 49.68/49.76 c 49.7s | 14 | 86856 | 71052 | 1702 76 | 0 | 0 51.68/51.80 c 51.7s | 14 | 88951 | 72952 | 1702 78 | 0 | 0 53.79/53.88 c 53.8s | 14 | 91052 | 74852 | 1702 79 | 0 | 0 55.88/55.95 c 55.8s | 14 | 93273 | 76852 | 1702 81 | 0 | 0 57.98/58.01 c 57.9s | 14 | 95381 | 78752 | 1702 83 | 0 | 0 60.08/60.11 c 60.0s | 14 | 97381 | 80552 | 1702 84 | 0 | 0 62.08/62.17 c 62.1s | 14 | 99380 | 82352 | 1702 86 | 0 | 0 64.08/64.18 c 64.1s | 14 | 101258 | 84052 | 1702 88 | 0 | 0 66.28/66.30 c 66.2s | 14 | 103203 | 85852 | 1702 89 | 0 | 0 67.48/67.54 c 67.4s | 15 | 105138 | 87632 | 1873 91 | 0 | 0 69.48/69.57 c 69.5s | 15 | 109386 | 91032 | 1873 93 | 0 | 0 71.59/71.63 c 71.5s | 15 | 112889 | 94132 | 1873 96 | 0 | 0 73.58/73.68 c 73.6s | 15 | 115959 | 96832 | 1873 98 | 0 | 0 75.68/75.73 c 75.6s | 15 | 118768 | 99332 | 1873 100 | 0 | 0 77.68/77.73 c 77.6s | 15 | 121331 | 101632 | 1873 102 | 0 | 0 79.78/79.80 c 79.7s | 15 | 123781 | 103832 | 1873 104 | 0 | 0 81.77/81.80 c 81.7s | 15 | 126302 | 106132 | 1873 106 | 0 | 0 83.77/83.86 c 83.8s | 15 | 128705 | 108332 | 1873 108 | 0 | 0 85.78/85.88 c 85.8s | 15 | 131401 | 110732 | 1873 110 | 0 | 0 87.87/87.96 c 87.9s | 15 | 134199 | 113232 | 1873 112 | 0 | 0 89.97/90.00 c 89.9s | 15 | 137628 | 116132 | 1873 114 | 0 | 0 91.97/92.05 c 92.0s | 15 | 140337 | 118532 | 1873 116 | 0 | 0 93.97/94.09 c 94.0s | 15 | 143262 | 121132 | 1873 119 | 0 | 0 96.07/96.11 c 96.0s | 15 | 145856 | 123432 | 1873 120 | 0 | 0 98.07/98.17 c 98.1s | 15 | 148506 | 125832 | 1873 122 | 0 | 0 100.17/100.22 c 100s | 15 | 151193 | 128232 | 1873 124 | 0 | 0 102.16/102.26 c 102s | 15 | 153740 | 130532 | 2061 126 | 0 | 0 103.06/103.12 c 103s | 16 | 154871 | 131552 | 2061 127 | 0 | 0 105.06/105.15 c 105s | 16 | 158902 | 134652 | 2061 129 | 0 | 0 107.06/107.18 c 107s | 16 | 161986 | 137352 | 2061 131 | 0 | 0 109.16/109.23 c 109s | 16 | 164841 | 139952 | 2061 133 | 0 | 0 111.16/111.25 c 111s | 16 | 167684 | 142552 | 2061 136 | 0 | 0 113.26/113.32 c 113s | 16 | 170550 | 145152 | 2061 138 | 0 | 0 115.26/115.34 c 115s | 16 | 173274 | 147652 | 2061 139 | 0 | 0 117.36/117.40 c 117s | 16 | 176030 | 150152 | 2061 141 | 0 | 0 119.35/119.49 c 119s | 16 | 178777 | 152652 | 2061 143 | 0 | 0 121.45/121.50 c 121s | 16 | 181147 | 154752 | 2061 145 | 0 | 0 123.45/123.54 c 123s | 16 | 184286 | 157352 | 2061 147 | 0 | 0 125.55/125.62 c 125s | 16 | 187072 | 159652 | 2061 149 | 0 | 0 127.56/127.66 c 127s | 16 | 190118 | 162352 | 2061 151 | 0 | 0 129.65/129.73 c 129s | 16 | 192849 | 164652 | 2061 153 | 0 | 0 131.65/131.75 c 131s | 16 | 195179 | 166752 | 2061 154 | 0 | 0 133.65/133.77 c 133s | 16 | 197663 | 168952 | 2061 156 | 0 | 0 135.75/135.82 c 135s | 16 | 200334 | 171252 | 2061 158 | 0 | 0 137.85/137.90 c 137s | 16 | 202955 | 173552 | 2061 160 | 0 | 0 139.85/139.95 c 139s | 16 | 205305 | 175652 | 2061 161 | 0 | 0 141.85/141.96 c 141s | 16 | 207549 | 177652 | 2061 163 | 0 | 0 143.94/144.05 c 143s | 16 | 209803 | 179652 | 2061 164 | 0 | 0 146.04/146.14 c 146s | 16 | 212274 | 181752 | 2061 166 | 0 | 0 148.04/148.17 c 148s | 16 | 214388 | 183652 | 2061 167 | 0 | 0 150.14/150.25 c 150s | 16 | 216489 | 185552 | 2061 169 | 0 | 0 152.24/152.37 c 152s | 16 | 218369 | 187252 | 2061 170 | 0 | 0 154.34/154.43 c 154s | 16 | 220144 | 188852 | 2061 171 | 0 | 0 156.34/156.45 c 156s | 16 | 222202 | 190652 | 2061 173 | 0 | 0 158.34/158.50 c 158s | 16 | 224645 | 192752 | 2061 174 | 0 | 0 160.43/160.55 c 160s | 16 | 227047 | 194852 | 2061 176 | 0 | 0 162.43/162.58 c 162s | 16 | 229436 | 196952 | 2268 178 | 0 | 0 162.93/163.03 c 162s | 17 | 230004 | 197432 | 2268 178 | 0 | 0 164.94/165.04 c 164s | 17 | 234623 | 201032 | 2268 180 | 0 | 0 166.93/167.06 c 166s | 17 | 238032 | 204032 | 2268 183 | 0 | 0 168.93/169.07 c 168s | 17 | 241514 | 207132 | 2268 185 | 0 | 0 171.03/171.11 c 171s | 17 | 244795 | 210132 | 2268 187 | 0 | 0 173.03/173.14 c 173s | 17 | 248065 | 213132 | 2268 189 | 0 | 0 175.03/175.16 c 175s | 17 | 251390 | 216132 | 2268 191 | 0 | 0 177.13/177.22 c 177s | 17 | 254463 | 218932 | 2268 193 | 0 | 0 179.13/179.28 c 179s | 17 | 257859 | 221832 | 2268 195 | 0 | 0 181.22/181.34 c 181s | 17 | 260951 | 224632 | 2268 197 | 0 | 0 183.22/183.39 c 183s | 17 | 264360 | 227632 | 2268 199 | 0 | 0 185.32/185.40 c 185s | 17 | 267547 | 230532 | 2268 202 | 0 | 0 187.32/187.43 c 187s | 17 | 270783 | 233432 | 2268 204 | 0 | 0 189.32/189.46 c 189s | 17 | 273886 | 236232 | 2268 206 | 0 | 0 191.32/191.46 c 191s | 17 | 276704 | 238732 | 2268 207 | 0 | 0 193.42/193.52 c 193s | 17 | 279363 | 241132 | 2268 209 | 0 | 0 195.52/195.60 c 195s | 17 | 281980 | 243532 | 2268 211 | 0 | 0 197.52/197.67 c 197s | 17 | 284514 | 245832 | 2268 213 | 0 | 0 199.61/199.72 c 199s | 17 | 286614 | 247732 | 2268 214 | 0 | 0 201.61/201.73 c 201s | 17 | 289299 | 250132 | 2268 216 | 0 | 0 203.61/203.78 c 203s | 17 | 292347 | 252832 | 2268 218 | 0 | 0 205.72/205.84 c 205s | 17 | 295298 | 255532 | 2268 219 | 0 | 0 207.71/207.89 c 207s | 17 | 297925 | 257932 | 2268 221 | 0 | 0 209.81/209.94 c 209s | 17 | 300616 | 260332 | 2268 223 | 0 | 0 211.80/211.97 c 211s | 17 | 303409 | 262832 | 2268 225 | 0 | 0 213.90/214.08 c 213s | 17 | 306067 | 265232 | 2268 226 | 0 | 0 216.00/216.11 c 216s | 17 | 308890 | 267732 | 2268 228 | 0 | 0 218.00/218.19 c 218s | 17 | 311664 | 270232 | 2268 230 | 0 | 0 220.10/220.24 c 220s | 17 | 313970 | 272332 | 2268 232 | 0 | 0 222.11/222.27 c 222s | 17 | 316269 | 274432 | 2268 233 | 0 | 0 224.20/224.37 c 224s | 17 | 318635 | 276532 | 2268 235 | 0 | 0 226.30/226.40 c 226s | 17 | 320722 | 278432 | 2268 236 | 0 | 0 228.30/228.49 c 228s | 17 | 322984 | 280432 | 2268 237 | 0 | 0 230.40/230.52 c 230s | 17 | 325141 | 282332 | 2268 239 | 0 | 0 232.40/232.54 c 232s | 17 | 327828 | 284732 | 2268 240 | 0 | 0 234.50/234.62 c 234s | 17 | 330486 | 287132 | 2268 242 | 0 | 0 236.50/236.65 c 236s | 17 | 333052 | 289432 | 2268 244 | 0 | 0 238.60/238.74 c 238s | 17 | 335612 | 291732 | 2268 245 | 0 | 0 240.69/240.80 c 240s | 17 | 337982 | 293832 | 2268 247 | 0 | 0 242.69/242.83 c 242s | 17 | 340201 | 295832 | 2495 248 | 0 | 0 243.10/243.25 c 243s | 18 | 340646 | 296252 | 2495 248 | 0 | 0 245.09/245.30 c 245s | 18 | 345107 | 299752 | 2495 251 | 0 | 0 247.19/247.33 c 247s | 18 | 348288 | 302552 | 2495 253 | 0 | 0 249.20/249.39 c 249s | 18 | 351367 | 305352 | 2495 254 | 0 | 0 251.30/251.41 c 251s | 18 | 354703 | 308252 | 2495 256 | 0 | 0 253.30/253.47 c 253s | 18 | 358098 | 311252 | 2495 258 | 0 | 0 255.30/255.49 c 255s | 18 | 360726 | 313652 | 2495 260 | 0 | 0 257.40/257.56 c 257s | 18 | 363903 | 316452 | 2495 262 | 0 | 0 259.40/259.56 c 259s | 18 | 366750 | 319052 | 2495 264 | 0 | 0 261.39/261.56 c 261s | 18 | 369552 | 321552 | 2495 265 | 0 | 0 263.39/263.57 c 263s | 18 | 372298 | 324052 | 2495 267 | 0 | 0 265.39/265.58 c 265s | 18 | 375783 | 327152 | 2495 269 | 0 | 0 267.39/267.58 c 267s | 18 | 379465 | 330452 | 2495 271 | 0 | 0 269.50/269.65 c 269s | 18 | 383179 | 333752 | 2495 273 | 0 | 0 271.49/271.66 c 271s | 18 | 386363 | 336652 | 2495 275 | 0 | 0 273.59/273.70 c 273s | 18 | 389622 | 339552 | 2495 277 | 0 | 0 275.59/275.75 c 275s | 18 | 392254 | 341952 | 2495 279 | 0 | 0 277.58/277.78 c 277s | 18 | 395133 | 344552 | 2495 280 | 0 | 0 279.58/279.79 c 279s | 18 | 397576 | 346752 | 2495 282 | 0 | 0 281.59/281.79 c 281s | 18 | 399986 | 348952 | 2495 283 | 0 | 0 283.69/283.83 c 283s | 18 | 403189 | 351752 | 2495 285 | 0 | 0 285.68/285.83 c 285s | 18 | 406068 | 354352 | 2495 287 | 0 | 0 287.78/287.90 c 287s | 18 | 408802 | 356852 | 2495 289 | 0 | 0 289.78/289.94 c 289s | 18 | 411744 | 359452 | 2495 290 | 0 | 0 291.77/291.96 c 291s | 18 | 414763 | 362152 | 2495 292 | 0 | 0 293.87/294.03 c 293s | 18 | 417474 | 364652 | 2495 294 | 0 | 0 295.88/296.06 c 295s | 18 | 420192 | 367152 | 2495 295 | 0 | 0 297.98/298.14 c 298s | 18 | 423192 | 369852 | 2495 297 | 0 | 0 299.97/300.16 c 300s | 18 | 425903 | 372252 | 2495 299 | 0 | 0 302.07/302.20 c 302s | 18 | 428447 | 374552 | 2495 300 | 0 | 0 304.07/304.21 c 304s | 18 | 431158 | 376952 | 2495 302 | 0 | 0 306.07/306.28 c 306s | 18 | 433691 | 379252 | 2495 303 | 0 | 0 308.17/308.31 c 308s | 18 | 436101 | 381452 | 2495 305 | 0 | 0 310.17/310.33 c 310s | 18 | 438323 | 383452 | 2495 306 | 0 | 0 312.16/312.36 c 312s | 18 | 440642 | 385552 | 2495 308 | 0 | 0 314.26/314.43 c 314s | 18 | 443340 | 387952 | 2495 309 | 0 | 0 316.26/316.45 c 316s | 18 | 445660 | 390052 | 2495 311 | 0 | 0 318.36/318.51 c 318s | 18 | 447937 | 392152 | 2495 312 | 0 | 0 320.36/320.57 c 320s | 18 | 450453 | 394452 | 2495 313 | 0 | 0 322.36/322.60 c 322s | 18 | 452753 | 396552 | 2495 315 | 0 | 0 324.46/324.68 c 324s | 18 | 455174 | 398752 | 2495 316 | 0 | 0 326.56/326.75 c 326s | 18 | 457612 | 400952 | 2495 318 | 0 | 0 328.66/328.84 c 328s | 18 | 459712 | 402852 | 2495 319 | 0 | 0 330.65/330.85 c 330s | 18 | 462328 | 405152 | 2495 321 | 0 | 0 332.65/332.85 c 332s | 18 | 465133 | 407652 | 2495 322 | 0 | 0 334.65/334.87 c 334s | 18 | 467781 | 410052 | 2495 324 | 0 | 0 336.75/336.92 c 336s | 18 | 470380 | 412452 | 2495 325 | 0 | 0 338.76/338.97 c 338s | 18 | 472916 | 414752 | 2495 327 | 0 | 0 340.85/341.04 c 340s | 18 | 475394 | 417052 | 2495 328 | 0 | 0 342.84/343.05 c 342s | 18 | 477480 | 418952 | 2495 330 | 0 | 0 344.94/345.12 c 345s | 18 | 479874 | 421152 | 2495 331 | 0 | 0 346.94/347.15 c 347s | 18 | 482360 | 423252 | 2495 333 | 0 | 0 348.94/349.19 c 349s | 18 | 485742 | 426052 | 2495 334 | 0 | 0 351.04/351.24 c 351s | 18 | 488769 | 428652 | 2495 336 | 0 | 0 353.14/353.33 c 353s | 18 | 491881 | 431352 | 2495 338 | 0 | 0 355.15/355.36 c 355s | 18 | 494537 | 433652 | 2495 340 | 0 | 0 357.14/357.38 c 357s | 18 | 497309 | 436152 | 2495 341 | 0 | 0 359.14/359.39 c 359s | 18 | 499769 | 438352 | 2495 343 | 0 | 0 361.23/361.44 c 361s | 18 | 502697 | 440952 | 2495 344 | 0 | 0 363.33/363.53 c 363s | 18 | 505424 | 443352 | 2745 346 | 0 | 0 364.33/364.57 c 364s | 19 | 506715 | 444482 | 2745 346 | 0 | 0 366.43/366.61 c 366s | 19 | 510696 | 447582 | 2745 348 | 0 | 0 368.44/368.64 c 368s | 19 | 513911 | 450482 | 2745 350 | 0 | 0 370.53/370.71 c 370s | 19 | 516669 | 452982 | 2745 352 | 0 | 0 372.53/372.74 c 372s | 19 | 519289 | 455382 | 2745 353 | 0 | 0 374.53/374.75 c 374s | 19 | 521806 | 457682 | 2745 354 | 0 | 0 376.52/376.75 c 376s | 19 | 524408 | 460082 | 2745 356 | 0 | 0 378.62/378.80 c 378s | 19 | 527167 | 462582 | 2745 357 | 0 | 0 380.62/380.82 c 380s | 19 | 529613 | 464782 | 2745 359 | 0 | 0 382.62/382.90 c 382s | 19 | 532831 | 467582 | 2745 361 | 0 | 0 384.72/384.92 c 384s | 19 | 535661 | 470182 | 2745 362 | 0 | 0 386.72/386.95 c 386s | 19 | 538303 | 472582 | 2745 364 | 0 | 0 388.72/388.97 c 388s | 19 | 540947 | 474982 | 2745 365 | 0 | 0 390.81/391.06 c 390s | 19 | 543624 | 477382 | 2745 367 | 0 | 0 392.91/393.12 c 393s | 19 | 546319 | 479782 | 2745 368 | 0 | 0 394.91/395.16 c 395s | 19 | 548836 | 482082 | 2745 369 | 0 | 0 397.02/397.23 c 397s | 19 | 551471 | 484482 | 2745 371 | 0 | 0 399.01/399.27 c 399s | 19 | 554033 | 486782 | 2745 372 | 0 | 0 401.01/401.29 c 401s | 19 | 556981 | 489282 | 2745 374 | 0 | 0 403.11/403.36 c 403s | 19 | 559686 | 491682 | 2745 375 | 0 | 0 405.12/405.38 c 405s | 19 | 562315 | 494082 | 2745 377 | 0 | 0 407.22/407.41 c 407s | 19 | 565330 | 496782 | 2745 378 | 0 | 0 409.22/409.48 c 409s | 19 | 567932 | 499182 | 2745 380 | 0 | 0 411.22/411.50 c 411s | 19 | 570168 | 501282 | 2745 381 | 0 | 0 413.31/413.51 c 413s | 19 | 572721 | 503582 | 2745 383 | 0 | 0 415.31/415.55 c 415s | 19 | 575388 | 505982 | 2745 384 | 0 | 0 417.31/417.58 c 417s | 19 | 577721 | 508082 | 2745 385 | 0 | 0 419.31/419.59 c 419s | 19 | 579935 | 510082 | 2745 386 | 0 | 0 421.41/421.60 c 421s | 19 | 582214 | 512082 | 2745 388 | 0 | 0 423.42/423.65 c 423s | 19 | 584916 | 514482 | 2745 389 | 0 | 0 425.41/425.68 c 425s | 19 | 587463 | 516782 | 2745 391 | 0 | 0 427.51/427.75 c 427s | 19 | 589987 | 519082 | 2745 392 | 0 | 0 429.61/429.86 c 429s | 19 | 592387 | 521282 | 2745 393 | 0 | 0 431.60/431.89 c 431s | 19 | 594961 | 523582 | 2745 395 | 0 | 0 433.70/433.97 c 433s | 19 | 597583 | 525982 | 2745 396 | 0 | 0 435.80/436.05 c 435s | 19 | 600071 | 528282 | 2745 398 | 0 | 0 437.80/438.09 c 437s | 19 | 602200 | 530182 | 2745 399 | 0 | 0 439.91/440.13 c 440s | 19 | 604694 | 532382 | 2745 400 | 0 | 0 441.89/442.19 c 442s | 19 | 606883 | 534382 | 2745 401 | 0 | 0 443.99/444.26 c 444s | 19 | 609044 | 536282 | 2745 403 | 0 | 0 445.99/446.29 c 446s | 19 | 611223 | 538182 | 2745 404 | 0 | 0 448.09/448.34 c 448s | 19 | 614008 | 540582 | 2745 405 | 0 | 0 450.09/450.37 c 450s | 19 | 616354 | 542682 | 2745 406 | 0 | 0 452.19/452.45 c 452s | 19 | 618857 | 544882 | 2745 408 | 0 | 0 454.29/454.50 c 454s | 19 | 621164 | 546882 | 2745 409 | 0 | 0 456.29/456.54 c 456s | 19 | 623582 | 548982 | 2745 410 | 0 | 0 458.29/458.59 c 458s | 19 | 625930 | 551082 | 2745 412 | 0 | 0 460.38/460.60 c 460s | 19 | 628696 | 553482 | 2745 413 | 0 | 0 462.38/462.70 c 462s | 19 | 631101 | 555582 | 2745 414 | 0 | 0 464.48/464.77 c 464s | 19 | 633347 | 557582 | 2745 416 | 0 | 0 466.58/466.84 c 466s | 19 | 635695 | 559682 | 2745 417 | 0 | 0 468.58/468.84 c 468s | 19 | 638091 | 561782 | 2745 418 | 0 | 0 470.58/470.88 c 470s | 19 | 640286 | 563682 | 2745 419 | 0 | 0 472.67/472.96 c 472s | 19 | 642938 | 565982 | 2745 421 | 0 | 0 474.77/475.01 c 474s | 19 | 645375 | 568182 | 2745 422 | 0 | 0 476.77/477.04 c 476s | 19 | 647590 | 570182 | 2745 423 | 0 | 0 478.87/479.13 c 479s | 19 | 649925 | 572282 | 2745 425 | 0 | 0 480.97/481.22 c 481s | 19 | 652127 | 574282 | 2745 426 | 0 | 0 483.07/483.31 c 483s | 19 | 654355 | 576282 | 2745 427 | 0 | 0 485.07/485.35 c 485s | 19 | 656599 | 578282 | 2745 428 | 0 | 0 487.18/487.48 c 487s | 19 | 658776 | 580282 | 2745 429 | 0 | 0 489.38/489.62 c 489s | 19 | 660618 | 581982 | 2745 430 | 0 | 0 491.36/491.65 c 491s | 19 | 663107 | 584182 | 2745 432 | 0 | 0 493.36/493.69 c 493s | 19 | 665670 | 586382 | 2745 433 | 0 | 0 495.46/495.73 c 495s | 19 | 667553 | 588082 | 2745 434 | 0 | 0 497.46/497.73 c 497s | 19 | 669601 | 589882 | 2745 435 | 0 | 0 499.56/499.82 c 499s | 19 | 671557 | 591582 | 2745 436 | 0 | 0 501.66/501.90 c 501s | 19 | 673790 | 593482 | 2745 438 | 0 | 0 503.66/503.95 c 503s | 19 | 675921 | 595382 | 2745 439 | 0 | 0 505.76/506.03 c 505s | 19 | 677906 | 597082 | 2745 440 | 0 | 0 507.85/508.12 c 508s | 19 | 680081 | 598982 | 2745 441 | 0 | 0 509.85/510.19 c 510s | 19 | 682418 | 600982 | 2745 442 | 0 | 0 511.95/512.28 c 512s | 19 | 684519 | 602882 | 2745 443 | 0 | 0 514.05/514.37 c 514s | 19 | 686756 | 604882 | 2745 445 | 0 | 0 516.15/516.42 c 516s | 19 | 689004 | 606882 | 2745 446 | 0 | 0 518.16/518.43 c 518s | 19 | 691592 | 609182 | 2745 447 | 0 | 0 520.25/520.52 c 520s | 19 | 694335 | 611682 | 2745 449 | 0 | 0 522.26/522.55 c 522s | 19 | 696752 | 613882 | 2745 450 | 0 | 0 524.25/524.58 c 524s | 19 | 698773 | 615682 | 2745 451 | 0 | 0 526.35/526.65 c 526s | 19 | 700807 | 617482 | 2745 452 | 0 | 0 528.35/528.68 c 528s | 19 | 702725 | 619182 | 2745 453 | 0 | 0 530.45/530.74 c 530s | 19 | 704614 | 620882 | 2745 454 | 0 | 0 532.55/532.87 c 532s | 19 | 706618 | 622682 | 2745 455 | 0 | 0 534.65/534.92 c 534s | 19 | 708386 | 624282 | 2745 456 | 0 | 0 536.65/536.95 c 536s | 19 | 710151 | 625882 | 2745 457 | 0 | 0 538.65/538.97 c 538s | 19 | 711793 | 627382 | 2745 458 | 0 | 0 540.64/540.98 c 540s | 19 | 713411 | 628882 | 2745 459 | 0 | 0 542.74/543.00 c 542s | 19 | 716179 | 631382 | 2745 461 | 0 | 0 544.74/545.03 c 544s | 19 | 718594 | 633582 | 2745 462 | 0 | 0 546.74/547.09 c 546s | 19 | 720886 | 635682 | 2745 463 | 0 | 0 548.84/549.13 c 549s | 19 | 723219 | 637682 | 2745 465 | 0 | 0 550.85/551.16 c 551s | 19 | 725787 | 639982 | 2745 466 | 0 | 0 552.84/553.19 c 553s | 19 | 728383 | 642282 | 2745 467 | 0 | 0 554.94/555.27 c 555s | 19 | 730902 | 644582 | 2745 469 | 0 | 0 557.04/557.34 c 557s | 19 | 733455 | 646882 | 2745 470 | 0 | 0 559.04/559.37 c 559s | 19 | 735846 | 648982 | 2745 472 | 0 | 0 561.13/561.45 c 561s | 19 | 738427 | 651282 | 2745 473 | 0 | 0 563.23/563.55 c 563s | 19 | 740747 | 653382 | 2745 474 | 0 | 0 565.24/565.56 c 565s | 19 | 743045 | 655482 | 2745 476 | 0 | 0 567.44/567.71 c 567s | 19 | 745087 | 657382 | 2745 477 | 0 | 0 569.43/569.71 c 569s | 19 | 746975 | 659082 | 2745 478 | 0 | 0 571.52/571.80 c 571s | 19 | 748851 | 660782 | 2745 479 | 0 | 0 573.52/573.82 c 573s | 19 | 750855 | 662582 | 3020 480 | 0 | 0 575.52/575.83 c 575s | 19 | 753532 | 664982 | 3020 481 | 0 | 0 577.42/577.70 c 577s | 20 | 755536 | 666827 | 3020 482 | 0 | 0 579.43/579.74 c 579s | 20 | 759657 | 669927 | 3020 484 | 0 | 0 581.51/581.82 c 581s | 20 | 762670 | 672627 | 3020 485 | 0 | 0 583.51/583.83 c 583s | 20 | 765400 | 675027 | 3020 487 | 0 | 0 585.51/585.87 c 585s | 20 | 768208 | 677527 | 3020 488 | 0 | 0 587.61/587.93 c 587s | 20 | 771053 | 680027 | 3020 489 | 0 | 0 589.61/589.98 c 589s | 20 | 773525 | 682227 | 3020 491 | 0 | 0 591.71/592.01 c 591s | 20 | 775984 | 684427 | 3020 492 | 0 | 0 593.81/594.12 c 594s | 20 | 778287 | 686527 | 3020 493 | 0 | 0 595.81/596.15 c 596s | 20 | 781032 | 688927 | 3020 494 | 0 | 0 597.91/598.20 c 598s | 20 | 784078 | 691427 | 3020 496 | 0 | 0 599.91/600.21 c 600s | 20 | 787081 | 694027 | 3020 497 | 0 | 0 601.90/602.25 c 602s | 20 | 789996 | 696627 | 3020 499 | 0 | 0 603.90/604.29 c 604s | 20 | 792525 | 698927 | 3020 500 | 0 | 0 605.91/606.29 c 606s | 20 | 794882 | 701027 | 3020 501 | 0 | 0 608.01/608.33 c 608s | 20 | 797273 | 703227 | 3020 503 | 0 | 0 610.00/610.39 c 610s | 20 | 799600 | 705327 | 3020 504 | 0 | 0 612.10/612.43 c 612s | 20 | 802233 | 707727 | 3020 505 | 0 | 0 614.10/614.48 c 614s | 20 | 804572 | 709827 | 3020 506 | 0 | 0 616.20/616.55 c 616s | 20 | 806530 | 711627 | 3020 507 | 0 | 0 618.30/618.65 c 618s | 20 | 808954 | 713827 | 3020 509 | 0 | 0 620.39/620.70 c 620s | 20 | 811365 | 716027 | 3020 510 | 0 | 0 622.40/622.74 c 622s | 20 | 813733 | 718127 | 3020 511 | 0 | 0 624.39/624.79 c 624s | 20 | 816103 | 720327 | 3020 512 | 0 | 0 626.49/626.87 c 626s | 20 | 818553 | 722527 | 3020 513 | 0 | 0 628.59/628.94 c 628s | 20 | 821244 | 724927 | 3020 515 | 0 | 0 630.68/631.00 c 630s | 20 | 823650 | 727127 | 3020 516 | 0 | 0 632.68/633.03 c 632s | 20 | 825736 | 729027 | 3020 517 | 0 | 0 634.68/635.06 c 634s | 20 | 828210 | 731227 | 3020 518 | 0 | 0 636.78/637.18 c 637s | 20 | 830480 | 733327 | 3020 520 | 0 | 0 638.89/639.23 c 639s | 20 | 832772 | 735427 | 3020 521 | 0 | 0 640.88/641.26 c 641s | 20 | 834854 | 737327 | 3020 522 | 0 | 0 642.98/643.31 c 643s | 20 | 837702 | 739827 | 3020 523 | 0 | 0 644.98/645.37 c 645s | 20 | 840128 | 742027 | 3020 524 | 0 | 0 647.08/647.44 c 647s | 20 | 842285 | 744027 | 3020 526 | 0 | 0 649.18/649.53 c 649s | 20 | 844717 | 746227 | 3020 527 | 0 | 0 651.17/651.58 c 651s | 20 | 846988 | 748327 | 3020 528 | 0 | 0 653.27/653.65 c 653s | 20 | 849137 | 750327 | 3020 529 | 0 | 0 655.38/655.72 c 655s | 20 | 851622 | 752527 | 3020 530 | 0 | 0 657.37/657.77 c 657s | 20 | 854400 | 755027 | 3020 532 | 0 | 0 659.37/659.79 c 659s | 20 | 857171 | 757527 | 3020 533 | 0 | 0 661.46/661.86 c 661s | 20 | 860031 | 760127 | 3020 535 | 0 | 0 663.56/663.93 c 663s | 20 | 862777 | 762627 | 3020 536 | 0 | 0 665.56/665.93 c 665s | 20 | 865554 | 765127 | 3020 537 | 0 | 0 667.66/668.01 c 667s | 20 | 868583 | 767827 | 3020 539 | 0 | 0 669.67/670.06 c 669s | 20 | 871450 | 770427 | 3020 540 | 0 | 0 671.66/672.07 c 671s | 20 | 874182 | 772827 | 3020 542 | 0 | 0 673.66/674.07 c 673s | 20 | 876949 | 775227 | 3020 543 | 0 | 0 675.76/676.15 c 676s | 20 | 879623 | 777627 | 3020 545 | 0 | 0 677.86/678.21 c 678s | 20 | 882529 | 780227 | 3020 546 | 0 | 0 679.86/680.24 c 680s | 20 | 885270 | 782727 | 3020 547 | 0 | 0 681.85/682.25 c 682s | 20 | 887788 | 785027 | 3020 549 | 0 | 0 683.86/684.28 c 684s | 20 | 890055 | 787127 | 3020 550 | 0 | 0 685.95/686.31 c 686s | 20 | 892328 | 789227 | 3020 551 | 0 | 0 687.95/688.37 c 688s | 20 | 895161 | 791727 | 3020 553 | 0 | 0 690.05/690.45 c 690s | 20 | 898288 | 794527 | 3020 554 | 0 | 0 692.05/692.46 c 692s | 20 | 901024 | 797027 | 3020 555 | 0 | 0 694.15/694.51 c 694s | 20 | 903946 | 799727 | 3020 557 | 0 | 0 696.15/696.52 c 696s | 20 | 906666 | 802227 | 3020 558 | 0 | 0 698.15/698.59 c 698s | 20 | 909576 | 804827 | 3020 560 | 0 | 0 700.25/700.65 c 700s | 20 | 912183 | 807227 | 3020 561 | 0 | 0 702.25/702.67 c 702s | 20 | 914685 | 809527 | 3020 563 | 0 | 0 704.34/704.74 c 704s | 20 | 917469 | 812027 | 3020 564 | 0 | 0 706.34/706.77 c 706s | 20 | 920802 | 814827 | 3020 566 | 0 | 0 708.34/708.79 c 708s | 20 | 923541 | 817227 | 3020 567 | 0 | 0 710.44/710.85 c 710s | 20 | 926244 | 819327 | 3020 568 | 0 | 0 712.45/712.88 c 712s | 20 | 928352 | 821127 | 3020 569 | 0 | 0 714.54/714.96 c 714s | 20 | 930585 | 823027 | 3020 570 | 0 | 0 716.54/716.96 c 716s | 20 | 932517 | 824727 | 3020 571 | 0 | 0 718.64/719.03 c 718s | 20 | 934971 | 826827 | 3020 572 | 0 | 0 720.64/721.04 c 720s | 20 | 937058 | 828727 | 3020 573 | 0 | 0 722.74/723.11 c 723s | 20 | 939040 | 830527 | 3020 574 | 0 | 0 724.74/725.17 c 725s | 20 | 941058 | 832327 | 3020 575 | 0 | 0 726.85/727.21 c 727s | 20 | 943410 | 834427 | 3020 577 | 0 | 0 728.84/729.22 c 729s | 20 | 946356 | 837027 | 3020 578 | 0 | 0 730.94/731.35 c 731s | 20 | 949205 | 839527 | 3020 580 | 0 | 0 732.94/733.36 c 733s | 20 | 952120 | 842127 | 3020 581 | 0 | 0 735.04/735.41 c 735s | 20 | 954907 | 844627 | 3020 582 | 0 | 0 737.04/737.42 c 737s | 20 | 957537 | 847027 | 3020 584 | 0 | 0 739.04/739.43 c 739s | 20 | 959851 | 849127 | 3020 585 | 0 | 0 741.15/741.53 c 741s | 20 | 963033 | 851927 | 3020 587 | 0 | 0 743.14/743.58 c 743s | 20 | 966075 | 854627 | 3020 588 | 0 | 0 745.24/745.66 c 745s | 20 | 968951 | 857227 | 3020 590 | 0 | 0 747.24/747.69 c 747s | 20 | 971692 | 859727 | 3020 591 | 0 | 0 749.34/749.71 c 749s | 20 | 974484 | 862227 | 3020 592 | 0 | 0 751.34/751.76 c 751s | 20 | 977147 | 864627 | 3020 594 | 0 | 0 753.44/753.83 c 753s | 20 | 979913 | 867127 | 3020 595 | 0 | 0 755.44/755.87 c 755s | 20 | 982297 | 869327 | 3020 596 | 0 | 0 757.43/757.89 c 757s | 20 | 984865 | 871627 | 3020 598 | 0 | 0 759.53/759.97 c 759s | 20 | 987382 | 873927 | 3020 599 | 0 | 0 761.63/762.05 c 761s | 20 | 989858 | 876227 | 3020 600 | 0 | 0 763.73/764.14 c 764s | 20 | 992424 | 878527 | 3020 602 | 0 | 0 765.83/766.20 c 766s | 20 | 994881 | 880727 | 3020 603 | 0 | 0 767.83/768.24 c 768s | 20 | 997897 | 883427 | 3020 604 | 0 | 0 769.83/770.26 c 770s | 20 | 1000821 | 886027 | 3020 606 | 0 | 0 771.84/772.27 c 772s | 20 | 1003487 | 888427 | 3020 607 | 0 | 0 773.93/774.31 c 774s | 20 | 1006203 | 890927 | 3020 609 | 0 | 0 775.93/776.34 c 776s | 20 | 1009212 | 893627 | 3020 610 | 0 | 0 778.03/778.43 c 778s | 20 | 1012060 | 896127 | 3020 612 | 0 | 0 780.03/780.48 c 780s | 20 | 1014820 | 898627 | 3020 613 | 0 | 0 782.13/782.51 c 782s | 20 | 1017447 | 901027 | 3020 614 | 0 | 0 784.23/784.61 c 784s | 20 | 1019768 | 903127 | 3020 615 | 0 | 0 786.24/786.65 c 786s | 20 | 1022711 | 905727 | 3020 617 | 0 | 0 788.23/788.67 c 788s | 20 | 1025579 | 908327 | 3020 618 | 0 | 0 790.33/790.73 c 790s | 20 | 1028611 | 911027 | 3020 620 | 0 | 0 792.33/792.77 c 792s | 20 | 1031274 | 913427 | 3020 621 | 0 | 0 794.33/794.78 c 794s | 20 | 1033598 | 915527 | 3020 623 | 0 | 0 796.33/796.78 c 796s | 20 | 1036158 | 917827 | 3020 624 | 0 | 0 798.43/798.83 c 798s | 20 | 1038698 | 920127 | 3020 625 | 0 | 0 800.43/800.84 c 800s | 20 | 1041089 | 922327 | 3020 626 | 0 | 0 802.53/802.94 c 802s | 20 | 1043278 | 924327 | 3020 627 | 0 | 0 804.53/804.98 c 804s | 20 | 1046781 | 927327 | 3020 629 | 0 | 0 806.63/807.01 c 806s | 20 | 1049739 | 930027 | 3020 631 | 0 | 0 808.63/809.03 c 808s | 20 | 1052983 | 932927 | 3020 632 | 0 | 0 810.63/811.06 c 810s | 20 | 1055682 | 935427 | 3020 634 | 0 | 0 812.63/813.07 c 812s | 20 | 1058391 | 937927 | 3020 635 | 0 | 0 814.63/815.09 c 814s | 20 | 1061130 | 940427 | 3020 637 | 0 | 0 816.72/817.17 c 817s | 20 | 1064129 | 943127 | 3020 638 | 0 | 0 818.82/819.21 c 819s | 20 | 1066859 | 945627 | 3020 640 | 0 | 0 820.82/821.27 c 821s | 20 | 1069798 | 948327 | 3020 641 | 0 | 0 822.92/823.39 c 823s | 20 | 1072504 | 950827 | 3020 643 | 0 | 0 825.02/825.41 c 825s | 20 | 1075468 | 953527 | 3020 644 | 0 | 0 827.02/827.47 c 827s | 20 | 1078189 | 956027 | 3020 645 | 0 | 0 829.13/829.55 c 829s | 20 | 1081213 | 958727 | 3020 647 | 0 | 0 831.12/831.55 c 831s | 20 | 1083738 | 961027 | 3020 648 | 0 | 0 833.12/833.58 c 833s | 20 | 1086473 | 963527 | 3020 650 | 0 | 0 835.12/835.59 c 835s | 20 | 1088795 | 965627 | 3020 651 | 0 | 0 837.12/837.59 c 837s | 20 | 1091443 | 967927 | 3020 652 | 0 | 0 839.22/839.68 c 839s | 20 | 1093756 | 970027 | 3020 653 | 0 | 0 841.32/841.74 c 841s | 20 | 1095977 | 972027 | 3020 655 | 0 | 0 843.33/843.80 c 843s | 20 | 1098835 | 974527 | 3020 656 | 0 | 0 845.42/845.80 c 845s | 20 | 1101243 | 976727 | 3020 657 | 0 | 0 847.42/847.84 c 847s | 20 | 1103704 | 978927 | 3020 658 | 0 | 0 849.42/849.90 c 849s | 20 | 1106367 | 981327 | 3020 660 | 0 | 0 851.52/851.97 c 851s | 20 | 1108795 | 983527 | 3020 661 | 0 | 0 853.62/854.00 c 853s | 20 | 1111240 | 985727 | 3020 662 | 0 | 0 855.72/856.10 c 856s | 20 | 1113678 | 987927 | 3020 663 | 0 | 0 857.72/858.17 c 858s | 20 | 1116131 | 990127 | 3020 665 | 0 | 0 859.82/860.28 c 860s | 20 | 1118402 | 992227 | 3020 666 | 0 | 0 861.92/862.35 c 862s | 20 | 1120864 | 994427 | 3323 667 | 0 | 0 863.91/864.36 c 864s | 20 | 1123145 | 996527 | 3323 668 | 0 | 0 865.91/866.37 c 866s | 20 | 1125127 | 998327 | 3323 669 | 0 | 0 868.01/868.40 c 868s | 20 | 1127175 | 1000127 | 3323 670 | 0 | 0 868.11/868.54 c 868s | 21 | 1127422 | 1000345 | 3323 670 | 0 | 0 870.11/870.57 c 870s | 21 | 1131247 | 1003345 | 3323 672 | 0 | 0 872.11/872.59 c 872s | 21 | 1134214 | 1006045 | 3323 673 | 0 | 0 874.22/874.67 c 874s | 21 | 1137117 | 1008645 | 3323 674 | 0 | 0 876.32/876.78 c 876s | 21 | 1139684 | 1010945 | 3323 676 | 0 | 0 878.31/878.79 c 878s | 21 | 1142359 | 1013345 | 3323 677 | 0 | 0 880.41/880.87 c 880s | 21 | 1144931 | 1015645 | 3323 678 | 0 | 0 882.51/882.93 c 882s | 21 | 1147603 | 1018045 | 3323 679 | 0 | 0 884.61/885.03 c 884s | 21 | 1150492 | 1020545 | 3323 681 | 0 | 0 886.61/887.06 c 886s | 21 | 1153179 | 1022845 | 3323 682 | 0 | 0 888.61/889.07 c 888s | 21 | 1155890 | 1025245 | 3323 683 | 0 | 0 890.81/891.20 c 891s | 21 | 1158642 | 1027645 | 3323 684 | 0 | 0 892.82/893.26 c 893s | 21 | 1161376 | 1030045 | 3323 685 | 0 | 0 894.91/895.30 c 895s | 21 | 1164173 | 1032545 | 3323 687 | 0 | 0 896.91/897.31 c 897s | 21 | 1167171 | 1035145 | 3323 688 | 0 | 0 898.91/899.33 c 899s | 21 | 1169915 | 1037645 | 3323 689 | 0 | 0 900.91/901.36 c 901s | 21 | 1173128 | 1040245 | 3323 691 | 0 | 0 903.01/903.40 c 903s | 21 | 1176112 | 1042845 | 3323 692 | 0 | 0 905.01/905.45 c 905s | 21 | 1178772 | 1045145 | 3323 693 | 0 | 0 907.01/907.46 c 907s | 21 | 1181511 | 1047445 | 3323 695 | 0 | 0 909.01/909.50 c 909s | 21 | 1184321 | 1049945 | 3323 696 | 0 | 0 911.11/911.52 c 911s | 21 | 1187161 | 1052545 | 3323 697 | 0 | 0 913.11/913.53 c 913s | 21 | 1189794 | 1054945 | 3323 698 | 0 | 0 915.10/915.56 c 915s | 21 | 1191960 | 1056945 | 3323 699 | 0 | 0 917.20/917.63 c 917s | 21 | 1194313 | 1059045 | 3323 701 | 0 | 0 919.21/919.69 c 919s | 21 | 1197165 | 1061645 | 3323 702 | 0 | 0 921.30/921.72 c 921s | 21 | 1199548 | 1063845 | 3323 703 | 0 | 0 923.30/923.77 c 923s | 21 | 1202823 | 1066745 | 3323 705 | 0 | 0 925.40/925.85 c 925s | 21 | 1206024 | 1069645 | 3323 706 | 0 | 0 927.40/927.86 c 927s | 21 | 1209147 | 1072445 | 3323 707 | 0 | 0 929.50/929.92 c 929s | 21 | 1212130 | 1075145 | 3323 709 | 0 | 0 931.50/931.96 c 931s | 21 | 1215227 | 1077945 | 3323 710 | 0 | 0 933.61/934.02 c 933s | 21 | 1218031 | 1080445 | 3323 712 | 0 | 0 935.60/936.04 c 935s | 21 | 1220625 | 1082845 | 3323 713 | 0 | 0 937.70/938.10 c 938s | 21 | 1223704 | 1085645 | 3323 714 | 0 | 0 939.71/940.17 c 940s | 21 | 1226768 | 1088445 | 3323 716 | 0 | 0 941.71/942.19 c 942s | 21 | 1229796 | 1091145 | 3323 717 | 0 | 0 943.81/944.20 c 944s | 21 | 1232929 | 1093945 | 3323 719 | 0 | 0 945.81/946.23 c 946s | 21 | 1235625 | 1096445 | 3323 720 | 0 | 0 947.81/948.29 c 948s | 21 | 1238847 | 1099345 | 3323 722 | 0 | 0 949.91/950.33 c 950s | 21 | 1241804 | 1102045 | 3323 723 | 0 | 0 951.91/952.34 c 952s | 21 | 1244795 | 1104745 | 3323 724 | 0 | 0 953.91/954.39 c 954s | 21 | 1247985 | 1107545 | 3323 726 | 0 | 0 956.01/956.44 c 956s | 21 | 1251302 | 1110445 | 3323 727 | 0 | 0 958.01/958.47 c 958s | 21 | 1254442 | 1113245 | 3323 729 | 0 | 0 960.01/960.49 c 960s | 21 | 1256988 | 1115545 | 3323 730 | 0 | 0 962.11/962.52 c 962s | 21 | 1260019 | 1118245 | 3323 731 | 0 | 0 964.10/964.58 c 964s | 21 | 1262453 | 1120445 | 3323 733 | 0 | 0 966.20/966.64 c 966s | 21 | 1264983 | 1122745 | 3323 734 | 0 | 0 968.20/968.65 c 968s | 21 | 1267581 | 1125045 | 3323 735 | 0 | 0 970.20/970.68 c 970s | 21 | 1270351 | 1127545 | 3323 736 | 0 | 0 972.20/972.69 c 972s | 21 | 1273415 | 1130245 | 3323 738 | 0 | 0 974.31/974.75 c 974s | 21 | 1276703 | 1133245 | 3323 739 | 0 | 0 976.30/976.80 c 976s | 21 | 1279778 | 1136045 | 3323 741 | 0 | 0 978.40/978.81 c 978s | 21 | 1283007 | 1138945 | 3323 742 | 0 | 0 980.40/980.85 c 980s | 21 | 1286033 | 1141745 | 3323 744 | 0 | 0 982.50/982.90 c 982s | 21 | 1289378 | 1144745 | 3323 745 | 0 | 0 984.50/984.95 c 984s | 21 | 1292511 | 1147645 | 3323 747 | 0 | 0 986.60/987.00 c 986s | 21 | 1295719 | 1150445 | 3323 748 | 0 | 0 988.61/989.05 c 988s | 21 | 1298510 | 1152945 | 3323 749 | 0 | 0 990.71/991.13 c 991s | 21 | 1300966 | 1155145 | 3323 751 | 0 | 0 992.80/993.22 c 993s | 21 | 1303985 | 1157845 | 3323 752 | 0 | 0 994.80/995.22 c 995s | 21 | 1306697 | 1160245 | 3323 753 | 0 | 0 996.80/997.25 c 997s | 21 | 1309715 | 1162945 | 3323 755 | 0 | 0 998.90/999.30 c 999s | 21 | 1312788 | 1165745 | 3323 756 | 0 | 0 1000.90/1001.37 c 1001s | 21 | 1315600 | 1168245 | 3323 757 | 0 | 0 1003.00/1003.40 c 1003s | 21 | 1318612 | 1170945 | 3323 759 | 0 | 0 1005.00/1005.43 c 1005s | 21 | 1321861 | 1173845 | 3323 760 | 0 | 0 1007.00/1007.44 c 1007s | 21 | 1325234 | 1176845 | 3323 762 | 0 | 0 1009.00/1009.49 c 1009s | 21 | 1328382 | 1179645 | 3323 763 | 0 | 0 1011.10/1011.50 c 1011s | 21 | 1331379 | 1182345 | 3323 765 | 0 | 0 1013.10/1013.53 c 1013s | 21 | 1334527 | 1185145 | 3323 766 | 0 | 0 1015.19/1015.63 c 1015s | 21 | 1337338 | 1187645 | 3323 768 | 0 | 0 1017.20/1017.67 c 1017s | 21 | 1340234 | 1190145 | 3323 769 | 0 | 0 1019.30/1019.74 c 1019s | 21 | 1343058 | 1192645 | 3323 770 | 0 | 0 1021.39/1021.80 c 1021s | 21 | 1345773 | 1195045 | 3323 771 | 0 | 0 1023.39/1023.87 c 1023s | 21 | 1348493 | 1197445 | 3323 773 | 0 | 0 1025.39/1025.88 c 1025s | 21 | 1351530 | 1200145 | 3323 774 | 0 | 0 1027.49/1027.91 c 1027s | 21 | 1354313 | 1202645 | 3323 775 | 0 | 0 1029.59/1030.03 c 1029s | 21 | 1356852 | 1204945 | 3323 777 | 0 | 0 1031.59/1032.04 c 1031s | 21 | 1359635 | 1207445 | 3323 778 | 0 | 0 1033.60/1034.06 c 1033s | 21 | 1361986 | 1209545 | 3323 779 | 0 | 0 1035.69/1036.15 c 1036s | 21 | 1364249 | 1211545 | 3323 780 | 0 | 0 1037.79/1038.25 c 1038s | 21 | 1366516 | 1213545 | 3323 781 | 0 | 0 1039.79/1040.29 c 1040s | 21 | 1368337 | 1215145 | 3323 782 | 0 | 0 1041.89/1042.34 c 1042s | 21 | 1370505 | 1217045 | 3323 783 | 0 | 0 1043.99/1044.43 c 1044s | 21 | 1372907 | 1219145 | 3323 784 | 0 | 0 1045.99/1046.45 c 1046s | 21 | 1374923 | 1220945 | 3323 785 | 0 | 0 1048.09/1048.50 c 1048s | 21 | 1376978 | 1222745 | 3323 786 | 0 | 0 1050.09/1050.53 c 1050s | 21 | 1379024 | 1224545 | 3323 787 | 0 | 0 1052.09/1052.58 c 1052s | 21 | 1380975 | 1226245 | 3323 788 | 0 | 0 1054.19/1054.66 c 1054s | 21 | 1382840 | 1227945 | 3323 789 | 0 | 0 1056.29/1056.75 c 1056s | 21 | 1384700 | 1229645 | 3323 789 | 0 | 0 1058.29/1058.78 c 1058s | 21 | 1388009 | 1232445 | 3323 791 | 0 | 0 1060.28/1060.79 c 1060s | 21 | 1390979 | 1235045 | 3323 792 | 0 | 0 1062.48/1062.92 c 1062s | 21 | 1393749 | 1237545 | 3323 794 | 0 | 0 1064.49/1064.97 c 1064s | 21 | 1396662 | 1240145 | 3323 795 | 0 | 0 1066.48/1066.98 c 1066s | 21 | 1399652 | 1242745 | 3323 796 | 0 | 0 1068.58/1069.03 c 1068s | 21 | 1402865 | 1245545 | 3323 798 | 0 | 0 1070.58/1071.03 c 1070s | 21 | 1405559 | 1247945 | 3323 799 | 0 | 0 1072.58/1073.06 c 1072s | 21 | 1408251 | 1250345 | 3323 800 | 0 | 0 1074.58/1075.08 c 1074s | 21 | 1411239 | 1253045 | 3323 802 | 0 | 0 1076.68/1077.14 c 1077s | 21 | 1414315 | 1255845 | 3323 803 | 0 | 0 1078.79/1079.21 c 1079s | 21 | 1417320 | 1258545 | 3323 804 | 0 | 0 1080.78/1081.26 c 1081s | 21 | 1420461 | 1261345 | 3323 806 | 0 | 0 1082.88/1083.31 c 1083s | 21 | 1423590 | 1264145 | 3323 807 | 0 | 0 1084.88/1085.37 c 1085s | 21 | 1426551 | 1266845 | 3323 809 | 0 | 0 1086.98/1087.42 c 1087s | 21 | 1429196 | 1269245 | 3323 810 | 0 | 0 1088.98/1089.43 c 1089s | 21 | 1432212 | 1271945 | 3323 811 | 0 | 0 1090.98/1091.45 c 1091s | 21 | 1434983 | 1274445 | 3323 813 | 0 | 0 1092.99/1093.49 c 1093s | 21 | 1437618 | 1276845 | 3323 814 | 0 | 0 1095.08/1095.55 c 1095s | 21 | 1440754 | 1279645 | 3323 815 | 0 | 0 1097.08/1097.57 c 1097s | 21 | 1443248 | 1281945 | 3323 817 | 0 | 0 1099.18/1099.62 c 1099s | 21 | 1445535 | 1284045 | 3323 818 | 0 | 0 1101.18/1101.62 c 1101s | 21 | 1448761 | 1286845 | 3323 819 | 0 | 0 1103.18/1103.67 c 1103s | 21 | 1451525 | 1289345 | 3323 821 | 0 | 0 1105.18/1105.67 c 1105s | 21 | 1454897 | 1292145 | 3323 822 | 0 | 0 1107.28/1107.72 c 1107s | 21 | 1458029 | 1294945 | 3323 823 | 0 | 0 1109.28/1109.74 c 1109s | 21 | 1461126 | 1297745 | 3323 825 | 0 | 0 1111.28/1111.75 c 1111s | 21 | 1464156 | 1300445 | 3323 826 | 0 | 0 1113.27/1113.77 c 1113s | 21 | 1467195 | 1303145 | 3323 828 | 0 | 0 1115.37/1115.80 c 1115s | 21 | 1470289 | 1305945 | 3323 829 | 0 | 0 1117.37/1117.80 c 1117s | 21 | 1473398 | 1308645 | 3323 831 | 0 | 0 1119.38/1119.88 c 1119s | 21 | 1476927 | 1311745 | 3323 832 | 0 | 0 1121.47/1121.95 c 1121s | 21 | 1480029 | 1314545 | 3323 834 | 0 | 0 1123.57/1124.01 c 1123s | 21 | 1483286 | 1317445 | 3323 835 | 0 | 0 1125.57/1126.09 c 1125s | 21 | 1486053 | 1319945 | 3323 836 | 0 | 0 1127.67/1128.11 c 1128s | 21 | 1489002 | 1322545 | 3323 838 | 0 | 0 1129.67/1130.13 c 1130s | 21 | 1492130 | 1325245 | 3323 839 | 0 | 0 1131.67/1132.14 c 1132s | 21 | 1494675 | 1327545 | 3323 840 | 0 | 0 1133.68/1134.19 c 1134s | 21 | 1497108 | 1329645 | 3323 842 | 0 | 0 1135.77/1136.27 c 1136s | 21 | 1499774 | 1331945 | 3323 843 | 0 | 0 1137.77/1138.28 c 1138s | 21 | 1502194 | 1334045 | 3323 844 | 0 | 0 1139.77/1140.28 c 1140s | 21 | 1505307 | 1336845 | 3323 845 | 0 | 0 1141.88/1142.38 c 1142s | 21 | 1508110 | 1339345 | 3323 847 | 0 | 0 1143.98/1144.45 c 1144s | 21 | 1511187 | 1342145 | 3323 848 | 0 | 0 1146.08/1146.52 c 1146s | 21 | 1513961 | 1344645 | 3323 849 | 0 | 0 1148.09/1148.57 c 1148s | 21 | 1516616 | 1347045 | 3323 851 | 0 | 0 1150.19/1150.65 c 1150s | 21 | 1519391 | 1349545 | 3323 852 | 0 | 0 1152.28/1152.70 c 1152s | 21 | 1522062 | 1351945 | 3323 853 | 0 | 0 1154.28/1154.74 c 1154s | 21 | 1524441 | 1354145 | 3323 854 | 0 | 0 1156.38/1156.83 c 1156s | 21 | 1527099 | 1356445 | 3323 856 | 0 | 0 1158.38/1158.85 c 1158s | 21 | 1529618 | 1358645 | 3323 857 | 0 | 0 1160.38/1160.85 c 1160s | 21 | 1532028 | 1360745 | 3323 858 | 0 | 0 1162.38/1162.87 c 1162s | 21 | 1534257 | 1362745 | 3323 859 | 0 | 0 1164.48/1164.96 c 1164s | 21 | 1536357 | 1364645 | 3323 860 | 0 | 0 1166.48/1166.99 c 1166s | 21 | 1538958 | 1366845 | 3323 861 | 0 | 0 1168.58/1169.08 c 1168s | 21 | 1541342 | 1368945 | 3323 862 | 0 | 0 1170.77/1171.21 c 1171s | 21 | 1543356 | 1370745 | 3323 863 | 0 | 0 1172.77/1173.28 c 1173s | 21 | 1545744 | 1372845 | 3323 864 | 0 | 0 1174.77/1175.28 c 1175s | 21 | 1548100 | 1374845 | 3323 865 | 0 | 0 1176.77/1177.29 c 1177s | 21 | 1550300 | 1376745 | 3323 866 | 0 | 0 1178.88/1179.31 c 1179s | 21 | 1552325 | 1378545 | 3323 867 | 0 | 0 1180.87/1181.31 c 1181s | 21 | 1554484 | 1380445 | 3323 868 | 0 | 0 1182.97/1183.40 c 1183s | 21 | 1557353 | 1382945 | 3323 869 | 0 | 0 1184.97/1185.45 c 1185s | 21 | 1559875 | 1385245 | 3323 871 | 0 | 0 1186.97/1187.45 c 1187s | 21 | 1562395 | 1387545 | 3323 872 | 0 | 0 1189.07/1189.50 c 1189s | 21 | 1565032 | 1389845 | 3323 873 | 0 | 0 1191.07/1191.54 c 1191s | 21 | 1567880 | 1392345 | 3323 874 | 0 | 0 1193.07/1193.57 c 1193s | 21 | 1570407 | 1394645 | 3323 876 | 0 | 0 1195.17/1195.63 c 1195s | 21 | 1573118 | 1397145 | 3323 877 | 0 | 0 1197.17/1197.68 c 1197s | 21 | 1575911 | 1399645 | 3323 878 | 0 | 0 1199.17/1199.69 c 1199s | 21 | 1578216 | 1401745 | 3323 879 | 0 | 0 1201.27/1201.72 c 1201s | 21 | 1581280 | 1404445 | 3323 881 | 0 | 0 1203.27/1203.72 c 1203s | 21 | 1583859 | 1406745 | 3323 882 | 0 | 0 1205.27/1205.76 c 1205s | 21 | 1586448 | 1409045 | 3323 883 | 0 | 0 1207.27/1207.78 c 1207s | 21 | 1588889 | 1411245 | 3323 884 | 0 | 0 1209.37/1209.83 c 1209s | 21 | 1591114 | 1413245 | 3323 885 | 0 | 0 1211.36/1211.86 c 1211s | 21 | 1593885 | 1415645 | 3323 886 | 0 | 0 1213.36/1213.87 c 1213s | 21 | 1596519 | 1418045 | 3323 888 | 0 | 0 1215.46/1215.90 c 1215s | 21 | 1599203 | 1420445 | 3323 889 | 0 | 0 1217.46/1217.91 c 1217s | 21 | 1601942 | 1422845 | 3323 890 | 0 | 0 1219.47/1219.97 c 1219s | 21 | 1604695 | 1425245 | 3323 891 | 0 | 0 1221.56/1222.06 c 1221s | 21 | 1607211 | 1427445 | 3323 893 | 0 | 0 1223.66/1224.13 c 1224s | 21 | 1609746 | 1429645 | 3323 894 | 0 | 0 1225.66/1226.17 c 1226s | 21 | 1612210 | 1431845 | 3323 895 | 0 | 0 1227.76/1228.20 c 1228s | 21 | 1614437 | 1433845 | 3323 896 | 0 | 0 1229.76/1230.25 c 1230s | 21 | 1617157 | 1436245 | 3323 897 | 0 | 0 1231.86/1232.33 c 1232s | 21 | 1619718 | 1438545 | 3323 898 | 0 | 0 1233.87/1234.35 c 1234s | 21 | 1622133 | 1440745 | 3323 900 | 0 | 0 1235.86/1236.35 c 1236s | 21 | 1624853 | 1443145 | 3323 901 | 0 | 0 1237.96/1238.41 c 1238s | 21 | 1627730 | 1445745 | 3323 902 | 0 | 0 1239.96/1240.49 c 1240s | 21 | 1630514 | 1448245 | 3323 903 | 0 | 0 1242.06/1242.54 c 1242s | 21 | 1633209 | 1450645 | 3323 905 | 0 | 0 1244.06/1244.54 c 1244s | 21 | 1635587 | 1452845 | 3323 906 | 0 | 0 1246.06/1246.55 c 1246s | 21 | 1638561 | 1455545 | 3323 907 | 0 | 0 1248.07/1248.56 c 1248s | 21 | 1641066 | 1457845 | 3323 908 | 0 | 0 1250.06/1250.60 c 1250s | 21 | 1644172 | 1460545 | 3323 910 | 0 | 0 1252.16/1252.67 c 1252s | 21 | 1647022 | 1463045 | 3323 911 | 0 | 0 1254.16/1254.69 c 1254s | 21 | 1649564 | 1465345 | 3323 912 | 0 | 0 1256.26/1256.74 c 1256s | 21 | 1652215 | 1467745 | 3323 914 | 0 | 0 1258.26/1258.79 c 1258s | 21 | 1655004 | 1470245 | 3323 915 | 0 | 0 1260.26/1260.79 c 1260s | 21 | 1657684 | 1472645 | 3323 916 | 0 | 0 1262.36/1262.82 c 1262s | 21 | 1660423 | 1475145 | 3323 918 | 0 | 0 1264.46/1264.90 c 1264s | 21 | 1663085 | 1477545 | 3323 919 | 0 | 0 1266.46/1266.93 c 1266s | 21 | 1665878 | 1480045 | 3323 920 | 0 | 0 1268.56/1269.03 c 1268s | 21 | 1668556 | 1482445 | 3323 921 | 0 | 0 1270.55/1271.06 c 1270s | 21 | 1671380 | 1484945 | 3323 923 | 0 | 0 1272.65/1273.11 c 1273s | 21 | 1674788 | 1488045 | 3323 924 | 0 | 0 1274.75/1275.22 c 1275s | 21 | 1677848 | 1490845 | 3656 926 | 0 | 0 1276.76/1277.27 c 1277s | 21 | 1680765 | 1493445 | 3656 927 | 0 | 0 1278.86/1279.32 c 1279s | 21 | 1684172 | 1496445 | 3656 928 | 0 | 0 1280.85/1281.38 c 1281s | 21 | 1687226 | 1499145 | 3656 929 | 0 | 0 1282.16/1282.63 c 1282s | 22 | 1688858 | 1500622 | 3656 930 | 0 | 0 1284.15/1284.63 c 1284s | 22 | 1692360 | 1503222 | 3656 931 | 0 | 0 1286.15/1286.67 c 1286s | 22 | 1694690 | 1505322 | 3656 932 | 0 | 0 1288.25/1288.75 c 1288s | 22 | 1696859 | 1507322 | 3656 933 | 0 | 0 1290.35/1290.80 c 1290s | 22 | 1699180 | 1509422 | 3656 934 | 0 | 0 1292.35/1292.81 c 1292s | 22 | 1701286 | 1511322 | 3656 935 | 0 | 0 1294.45/1294.93 c 1294s | 22 | 1703572 | 1513322 | 3656 936 | 0 | 0 1296.46/1296.99 c 1296s | 22 | 1705713 | 1515222 | 3656 937 | 0 | 0 1298.45/1298.99 c 1298s | 22 | 1707840 | 1517122 | 3656 938 | 0 | 0 1300.55/1301.04 c 1300s | 22 | 1709834 | 1518922 | 3656 939 | 0 | 0 1302.55/1303.05 c 1302s | 22 | 1711815 | 1520722 | 3656 940 | 0 | 0 1304.55/1305.05 c 1304s | 22 | 1713778 | 1522522 | 3656 941 | 0 | 0 1306.55/1307.09 c 1306s | 22 | 1715898 | 1524422 | 3656 942 | 0 | 0 1308.66/1309.13 c 1309s | 22 | 1717982 | 1526322 | 3656 942 | 0 | 0 1310.65/1311.15 c 1311s | 22 | 1719964 | 1528122 | 3656 943 | 0 | 0 1312.65/1313.15 c 1313s | 22 | 1721827 | 1529822 | 3656 944 | 0 | 0 1314.75/1315.26 c 1315s | 22 | 1723887 | 1531722 | 3656 945 | 0 | 0 1316.85/1317.31 c 1317s | 22 | 1725492 | 1533222 | 3656 946 | 0 | 0 1318.85/1319.39 c 1319s | 22 | 1727475 | 1535022 | 3656 947 | 0 | 0 1320.95/1321.46 c 1321s | 22 | 1729673 | 1536922 | 3656 948 | 0 | 0 1322.95/1323.49 c 1323s | 22 | 1732145 | 1539122 | 3656 949 | 0 | 0 1325.05/1325.59 c 1325s | 22 | 1734415 | 1541122 | 3656 950 | 0 | 0 1327.14/1327.61 c 1327s | 22 | 1736614 | 1543122 | 3656 950 | 0 | 0 1329.14/1329.69 c 1329s | 22 | 1738857 | 1545122 | 3656 951 | 0 | 0 1331.24/1331.76 c 1331s | 22 | 1741057 | 1547022 | 3656 952 | 0 | 0 1333.34/1333.86 c 1333s | 22 | 1742969 | 1548722 | 3656 953 | 0 | 0 1335.44/1335.95 c 1335s | 22 | 1745426 | 1550922 | 3656 954 | 0 | 0 1337.54/1338.02 c 1337s | 22 | 1747399 | 1552722 | 3656 955 | 0 | 0 1339.54/1340.05 c 1339s | 22 | 1749362 | 1554522 | 3656 956 | 0 | 0 1341.56/1342.09 c 1341s | 22 | 1751228 | 1556222 | 3656 957 | 0 | 0 1343.65/1344.16 c 1344s | 22 | 1753564 | 1558322 | 3656 958 | 0 | 0 1345.75/1346.20 c 1346s | 22 | 1755419 | 1560022 | 3656 959 | 0 | 0 1347.75/1348.29 c 1348s | 22 | 1757170 | 1561622 | 3656 959 | 0 | 0 1349.85/1350.31 c 1350s | 22 | 1759297 | 1563522 | 3656 960 | 0 | 0 1351.95/1352.42 c 1352s | 22 | 1761631 | 1565622 | 3656 961 | 0 | 0 1353.95/1354.43 c 1354s | 22 | 1763491 | 1567322 | 3656 962 | 0 | 0 1355.95/1356.49 c 1356s | 22 | 1765137 | 1568822 | 3656 963 | 0 | 0 1358.05/1358.58 c 1358s | 22 | 1766880 | 1570422 | 3656 964 | 0 | 0 1360.25/1360.74 c 1360s | 22 | 1768513 | 1571922 | 3656 964 | 0 | 0 1362.25/1362.78 c 1362s | 22 | 1770163 | 1573422 | 3656 965 | 0 | 0 1364.35/1364.87 c 1364s | 22 | 1772761 | 1575722 | 3656 966 | 0 | 0 1366.34/1366.87 c 1366s | 22 | 1774788 | 1577522 | 3656 967 | 0 | 0 1368.44/1368.92 c 1368s | 22 | 1776969 | 1579422 | 3656 968 | 0 | 0 1370.54/1371.00 c 1370s | 22 | 1778950 | 1581222 | 3656 969 | 0 | 0 1372.54/1373.07 c 1372s | 22 | 1781187 | 1583222 | 3656 970 | 0 | 0 1374.65/1375.11 c 1375s | 22 | 1783081 | 1584922 | 3656 971 | 0 | 0 1376.75/1377.21 c 1377s | 22 | 1785286 | 1586922 | 3656 971 | 0 | 0 1378.74/1379.26 c 1379s | 22 | 1787132 | 1588622 | 3656 972 | 0 | 0 1380.84/1381.30 c 1381s | 22 | 1788785 | 1590122 | 3656 973 | 0 | 0 1382.84/1383.39 c 1383s | 22 | 1790897 | 1592022 | 3656 974 | 0 | 0 1384.94/1385.41 c 1385s | 22 | 1792743 | 1593722 | 3656 975 | 0 | 0 1386.94/1387.48 c 1387s | 22 | 1794574 | 1595422 | 3656 976 | 0 | 0 1389.04/1389.52 c 1389s | 22 | 1796833 | 1597422 | 3656 977 | 0 | 0 1391.05/1391.60 c 1391s | 22 | 1798681 | 1599122 | 3656 977 | 0 | 0 1393.14/1393.68 c 1393s | 22 | 1800399 | 1600722 | 3656 978 | 0 | 0 1395.24/1395.75 c 1395s | 22 | 1802040 | 1602222 | 3656 979 | 0 | 0 1397.34/1397.82 c 1397s | 22 | 1804395 | 1604322 | 3656 980 | 0 | 0 1399.34/1399.89 c 1399s | 22 | 1806733 | 1606422 | 3656 981 | 0 | 0 1401.44/1401.98 c 1401s | 22 | 1808954 | 1608422 | 3656 982 | 0 | 0 1403.54/1404.01 c 1403s | 22 | 1810852 | 1610122 | 3656 983 | 0 | 0 1405.64/1406.17 c 1406s | 22 | 1813048 | 1612122 | 3656 984 | 0 | 0 1407.74/1408.25 c 1408s | 22 | 1815014 | 1613922 | 3656 984 | 0 | 0 1409.84/1410.37 c 1410s | 22 | 1816979 | 1615722 | 3656 985 | 0 | 0 1411.94/1412.43 c 1412s | 22 | 1818720 | 1617322 | 3656 986 | 0 | 0 1414.04/1414.51 c 1414s | 22 | 1820850 | 1619222 | 3656 987 | 0 | 0 1416.04/1416.52 c 1416s | 22 | 1822491 | 1620722 | 3656 988 | 0 | 0 1418.04/1418.56 c 1418s | 22 | 1824954 | 1622922 | 3656 989 | 0 | 0 1420.04/1420.56 c 1420s | 22 | 1827147 | 1624922 | 3656 990 | 0 | 0 1422.13/1422.65 c 1422s | 22 | 1829122 | 1626722 | 3656 991 | 0 | 0 1424.23/1424.79 c 1424s | 22 | 1831167 | 1628622 | 3656 991 | 0 | 0 1426.43/1426.91 c 1426s | 22 | 1833048 | 1630322 | 3656 992 | 0 | 0 1428.44/1428.97 c 1428s | 22 | 1834898 | 1632022 | 3656 993 | 0 | 0 1430.53/1431.00 c 1430s | 22 | 1837020 | 1633922 | 3656 994 | 0 | 0 1432.53/1433.05 c 1432s | 22 | 1839559 | 1636122 | 3656 995 | 0 | 0 1434.63/1435.12 c 1435s | 22 | 1841736 | 1638122 | 3656 996 | 0 | 0 1436.63/1437.15 c 1437s | 22 | 1844046 | 1640222 | 3656 997 | 0 | 0 1438.73/1439.22 c 1439s | 22 | 1846345 | 1642322 | 3656 998 | 0 | 0 1440.73/1441.28 c 1441s | 22 | 1848526 | 1644322 | 3656 999 | 0 | 0 1442.84/1443.35 c 1443s | 22 | 1850826 | 1646422 | 3656 1000 | 0 | 0 1444.94/1445.45 c 1445s | 22 | 1852827 | 1648222 | 3656 1001 | 0 | 0 1446.93/1447.46 c 1447s | 22 | 1855427 | 1650522 | 3656 1002 | 0 | 0 1449.03/1449.50 c 1449s | 22 | 1857742 | 1652622 | 3656 1003 | 0 | 0 1451.03/1451.54 c 1451s | 22 | 1859836 | 1654522 | 3656 1004 | 0 | 0 1453.13/1453.62 c 1453s | 22 | 1862042 | 1656522 | 3656 1005 | 0 | 0 1455.13/1455.68 c 1455s | 22 | 1863862 | 1658222 | 3656 1006 | 0 | 0 1457.23/1457.70 c 1457s | 22 | 1865933 | 1660122 | 3656 1007 | 0 | 0 1459.24/1459.80 c 1459s | 22 | 1868110 | 1662122 | 3656 1007 | 0 | 0 1461.33/1461.82 c 1461s | 22 | 1870308 | 1664122 | 3656 1008 | 0 | 0 1463.33/1463.86 c 1463s | 22 | 1872171 | 1665822 | 3656 1009 | 0 | 0 1465.43/1465.92 c 1465s | 22 | 1874074 | 1667522 | 3656 1010 | 0 | 0 1467.53/1468.00 c 1467s | 22 | 1876040 | 1669322 | 3656 1011 | 0 | 0 1469.53/1470.07 c 1469s | 22 | 1878111 | 1671222 | 3656 1012 | 0 | 0 1471.63/1472.12 c 1472s | 22 | 1880106 | 1673022 | 3656 1013 | 0 | 0 1473.73/1474.25 c 1474s | 22 | 1882076 | 1674822 | 3656 1014 | 0 | 0 1475.73/1476.28 c 1476s | 22 | 1884141 | 1676722 | 3656 1014 | 0 | 0 1477.83/1478.36 c 1478s | 22 | 1886085 | 1678522 | 3656 1015 | 0 | 0 1479.93/1480.42 c 1480s | 22 | 1888150 | 1680422 | 3656 1016 | 0 | 0 1481.92/1482.43 c 1482s | 22 | 1890250 | 1682322 | 3656 1017 | 0 | 0 1483.92/1484.43 c 1484s | 22 | 1892114 | 1684022 | 3656 1018 | 0 | 0 1485.92/1486.47 c 1486s | 22 | 1894084 | 1685822 | 3656 1019 | 0 | 0 1488.02/1488.54 c 1488s | 22 | 1895840 | 1687422 | 3656 1020 | 0 | 0 1490.03/1490.57 c 1490s | 22 | 1897953 | 1689322 | 3656 1020 | 0 | 0 1492.12/1492.67 c 1492s | 22 | 1900331 | 1691522 | 3656 1022 | 0 | 0 1494.22/1494.70 c 1494s | 22 | 1902604 | 1693522 | 3656 1022 | 0 | 0 1496.22/1496.75 c 1496s | 22 | 1904676 | 1695422 | 3656 1023 | 0 | 0 1498.22/1498.78 c 1498s | 22 | 1906850 | 1697422 | 3656 1024 | 0 | 0 1500.32/1500.83 c 1500s | 22 | 1908919 | 1699322 | 3656 1025 | 0 | 0 1502.32/1502.88 c 1502s | 22 | 1910967 | 1701222 | 3656 1026 | 0 | 0 1504.43/1504.97 c 1504s | 22 | 1913045 | 1703122 | 3656 1027 | 0 | 0 1506.42/1506.98 c 1506s | 22 | 1914912 | 1704822 | 3656 1028 | 0 | 0 1508.52/1509.06 c 1508s | 22 | 1916893 | 1706622 | 3656 1029 | 0 | 0 1510.52/1511.07 c 1510s | 22 | 1918966 | 1708422 | 3656 1030 | 0 | 0 1512.52/1513.07 c 1512s | 22 | 1921635 | 1710722 | 3656 1031 | 0 | 0 1514.62/1515.10 c 1514s | 22 | 1924214 | 1713022 | 3656 1032 | 0 | 0 1516.62/1517.15 c 1517s | 22 | 1926823 | 1715322 | 3656 1033 | 0 | 0 1518.63/1519.17 c 1519s | 22 | 1929057 | 1717322 | 3656 1034 | 0 | 0 1520.62/1521.17 c 1521s | 22 | 1931488 | 1719522 | 3656 1035 | 0 | 0 1522.72/1523.23 c 1523s | 22 | 1933671 | 1721522 | 3656 1036 | 0 | 0 1524.72/1525.27 c 1525s | 22 | 1935884 | 1723522 | 3656 1037 | 0 | 0 1526.82/1527.35 c 1527s | 22 | 1937724 | 1725222 | 3656 1038 | 0 | 0 1528.92/1529.47 c 1529s | 22 | 1939590 | 1726922 | 3656 1038 | 0 | 0 1530.92/1531.48 c 1531s | 22 | 1941656 | 1728822 | 3656 1039 | 0 | 0 1533.02/1533.51 c 1533s | 22 | 1943877 | 1730822 | 3656 1040 | 0 | 0 1535.02/1535.56 c 1535s | 22 | 1946345 | 1732922 | 3656 1041 | 0 | 0 1537.12/1537.64 c 1537s | 22 | 1948612 | 1734922 | 3656 1042 | 0 | 0 1539.11/1539.67 c 1539s | 22 | 1950824 | 1736922 | 3656 1043 | 0 | 0 1541.11/1541.69 c 1541s | 22 | 1953006 | 1738922 | 3656 1044 | 0 | 0 1543.21/1543.73 c 1543s | 22 | 1954947 | 1740722 | 3656 1045 | 0 | 0 1545.21/1545.73 c 1545s | 22 | 1957001 | 1742622 | 3656 1046 | 0 | 0 1547.22/1547.77 c 1547s | 22 | 1959095 | 1744522 | 3656 1047 | 0 | 0 1549.31/1549.86 c 1549s | 22 | 1960869 | 1746122 | 3656 1048 | 0 | 0 1551.41/1551.94 c 1551s | 22 | 1962932 | 1748022 | 3656 1049 | 0 | 0 1553.41/1553.99 c 1553s | 22 | 1964776 | 1749722 | 3656 1049 | 0 | 0 1555.51/1556.05 c 1555s | 22 | 1967524 | 1752022 | 3656 1050 | 0 | 0 1557.61/1558.11 c 1558s | 22 | 1970124 | 1754322 | 3656 1052 | 0 | 0 1559.61/1560.11 c 1560s | 22 | 1972594 | 1756522 | 3656 1053 | 0 | 0 1561.62/1562.12 c 1562s | 22 | 1974867 | 1758522 | 3656 1054 | 0 | 0 1563.61/1564.19 c 1564s | 22 | 1977556 | 1760822 | 3656 1055 | 0 | 0 1565.71/1566.25 c 1566s | 22 | 1979831 | 1762822 | 3656 1056 | 0 | 0 1567.81/1568.32 c 1568s | 22 | 1982241 | 1764922 | 3656 1057 | 0 | 0 1569.81/1570.33 c 1570s | 22 | 1984538 | 1766922 | 3656 1058 | 0 | 0 1571.81/1572.36 c 1572s | 22 | 1987257 | 1769322 | 3656 1059 | 0 | 0 1573.81/1574.39 c 1574s | 22 | 1989562 | 1771422 | 3656 1060 | 0 | 0 1575.82/1576.39 c 1576s | 22 | 1991859 | 1773422 | 3656 1061 | 0 | 0 1577.91/1578.50 c 1578s | 22 | 1994279 | 1775622 | 3656 1062 | 0 | 0 1580.01/1580.51 c 1580s | 22 | 1996334 | 1777522 | 3656 1063 | 0 | 0 1582.01/1582.52 c 1582s | 22 | 1998319 | 1779322 | 3656 1064 | 0 | 0 1584.11/1584.64 c 1584s | 22 | 2000271 | 1781122 | 3656 1064 | 0 | 0 1586.21/1586.71 c 1586s | 22 | 2002462 | 1783122 | 3656 1065 | 0 | 0 1588.21/1588.78 c 1588s | 22 | 2004792 | 1785222 | 3656 1066 | 0 | 0 1590.31/1590.85 c 1590s | 22 | 2007002 | 1787222 | 3656 1067 | 0 | 0 1592.31/1592.89 c 1592s | 22 | 2009073 | 1789122 | 3656 1068 | 0 | 0 1594.40/1594.93 c 1594s | 22 | 2011228 | 1791122 | 3656 1069 | 0 | 0 1596.40/1596.98 c 1596s | 22 | 2013303 | 1793022 | 3656 1070 | 0 | 0 1598.40/1598.99 c 1598s | 22 | 2015380 | 1794922 | 3656 1071 | 0 | 0 1600.50/1601.07 c 1600s | 22 | 2017572 | 1796922 | 3656 1072 | 0 | 0 1602.50/1603.09 c 1602s | 22 | 2019536 | 1798722 | 3656 1073 | 0 | 0 1604.60/1605.11 c 1605s | 22 | 2021557 | 1800522 | 3656 1074 | 0 | 0 1606.61/1607.20 c 1607s | 22 | 2024145 | 1802822 | 3656 1075 | 0 | 0 1608.70/1609.24 c 1609s | 22 | 2026454 | 1804922 | 3656 1076 | 0 | 0 1610.80/1611.30 c 1611s | 22 | 2028675 | 1806922 | 3656 1077 | 0 | 0 1612.80/1613.31 c 1613s | 22 | 2030965 | 1809022 | 3656 1078 | 0 | 0 1614.80/1615.35 c 1615s | 22 | 2033189 | 1811022 | 3656 1079 | 0 | 0 1616.90/1617.42 c 1617s | 22 | 2035385 | 1813022 | 3656 1080 | 0 | 0 1618.90/1619.49 c 1619s | 22 | 2037129 | 1814622 | 3656 1081 | 0 | 0 1621.01/1621.54 c 1621s | 22 | 2039179 | 1816522 | 3656 1081 | 0 | 0 1623.00/1623.60 c 1623s | 22 | 2041117 | 1818222 | 3656 1082 | 0 | 0 1625.10/1625.65 c 1625s | 22 | 2043087 | 1819922 | 3656 1083 | 0 | 0 1627.20/1627.73 c 1627s | 22 | 2045528 | 1822122 | 3656 1084 | 0 | 0 1629.30/1629.83 c 1629s | 22 | 2047929 | 1824222 | 3656 1085 | 0 | 0 1631.30/1631.89 c 1631s | 22 | 2050079 | 1826122 | 3656 1086 | 0 | 0 1633.40/1633.99 c 1633s | 22 | 2052078 | 1827922 | 3656 1087 | 0 | 0 1635.40/1635.99 c 1635s | 22 | 2053712 | 1829422 | 3656 1088 | 0 | 0 1637.50/1638.05 c 1637s | 22 | 2056072 | 1831422 | 3656 1089 | 0 | 0 1639.60/1640.15 c 1640s | 22 | 2058284 | 1833322 | 3656 1090 | 0 | 0 1641.60/1642.19 c 1642s | 22 | 2059866 | 1834722 | 3656 1090 | 0 | 0 1643.70/1644.20 c 1644s | 22 | 2061291 | 1836022 | 3656 1091 | 0 | 0 1645.80/1646.34 c 1646s | 22 | 2062799 | 1837422 | 3656 1091 | 0 | 0 1647.80/1648.38 c 1648s | 22 | 2064483 | 1838922 | 3656 1092 | 0 | 0 1649.90/1650.41 c 1650s | 22 | 2066275 | 1840522 | 3656 1093 | 0 | 0 1651.89/1652.42 c 1652s | 22 | 2068003 | 1842022 | 3656 1094 | 0 | 0 1653.90/1654.48 c 1654s | 22 | 2070144 | 1843822 | 3656 1095 | 0 | 0 1655.99/1656.52 c 1656s | 22 | 2072760 | 1846022 | 3656 1096 | 0 | 0 1658.09/1658.60 c 1658s | 22 | 2074833 | 1847922 | 3656 1097 | 0 | 0 1660.09/1660.62 c 1660s | 22 | 2076737 | 1849622 | 3656 1097 | 0 | 0 1662.09/1662.65 c 1662s | 22 | 2078605 | 1851322 | 3656 1098 | 0 | 0 1664.09/1664.67 c 1664s | 22 | 2080806 | 1853322 | 3656 1099 | 0 | 0 1666.19/1666.74 c 1666s | 22 | 2082868 | 1855122 | 3656 1100 | 0 | 0 1668.20/1668.75 c 1668s | 22 | 2085004 | 1856922 | 3656 1101 | 0 | 0 1670.19/1670.77 c 1670s | 22 | 2087002 | 1858722 | 3656 1102 | 0 | 0 1672.19/1672.78 c 1672s | 22 | 2089043 | 1860522 | 3656 1103 | 0 | 0 1674.19/1674.79 c 1674s | 22 | 2091132 | 1862422 | 3656 1104 | 0 | 0 1676.29/1676.83 c 1676s | 22 | 2093140 | 1864222 | 3656 1104 | 0 | 0 1678.39/1678.92 c 1678s | 22 | 2095261 | 1866122 | 3656 1105 | 0 | 0 1680.49/1681.03 c 1680s | 22 | 2097279 | 1867922 | 3656 1106 | 0 | 0 1682.60/1683.11 c 1683s | 22 | 2099185 | 1869622 | 3656 1107 | 0 | 0 1684.59/1685.14 c 1685s | 22 | 2100929 | 1871122 | 3656 1108 | 0 | 0 1686.59/1687.19 c 1687s | 22 | 2103109 | 1873022 | 3656 1109 | 0 | 0 1688.69/1689.26 c 1689s | 22 | 2105085 | 1874722 | 3656 1109 | 0 | 0 1690.69/1691.28 c 1691s | 22 | 2107746 | 1877022 | 3656 1111 | 0 | 0 1692.79/1693.31 c 1693s | 22 | 2110456 | 1879322 | 3656 1112 | 0 | 0 1694.79/1695.35 c 1695s | 22 | 2113034 | 1881522 | 3656 1113 | 0 | 0 1696.89/1697.41 c 1697s | 22 | 2115597 | 1883722 | 3656 1114 | 0 | 0 1698.89/1699.45 c 1699s | 22 | 2117976 | 1885822 | 3656 1115 | 0 | 0 1700.89/1701.49 c 1701s | 22 | 2120245 | 1887822 | 3656 1116 | 0 | 0 1702.99/1703.58 c 1703s | 22 | 2122477 | 1889822 | 3656 1117 | 0 | 0 1705.09/1705.63 c 1705s | 22 | 2124856 | 1891922 | 3656 1118 | 0 | 0 1707.08/1707.66 c 1707s | 22 | 2127088 | 1893922 | 3656 1119 | 0 | 0 1709.08/1709.66 c 1709s | 22 | 2129065 | 1895722 | 3656 1119 | 0 | 0 1711.19/1711.79 c 1711s | 22 | 2130912 | 1897422 | 3656 1120 | 0 | 0 1713.39/1713.92 c 1713s | 22 | 2132796 | 1899122 | 3656 1121 | 0 | 0 1715.38/1716.00 c 1715s | 22 | 2134860 | 1900922 | 3656 1122 | 0 | 0 1717.58/1718.12 c 1718s | 22 | 2136780 | 1902622 | 3656 1123 | 0 | 0 1719.68/1720.29 c 1720s | 22 | 2138342 | 1904022 | 3656 1123 | 0 | 0 1721.78/1722.32 c 1722s | 22 | 2140123 | 1905622 | 3656 1124 | 0 | 0 1723.79/1724.37 c 1724s | 22 | 2142030 | 1907322 | 3656 1125 | 0 | 0 1725.89/1726.44 c 1726s | 22 | 2143897 | 1908922 | 3656 1126 | 0 | 0 1727.89/1728.48 c 1728s | 22 | 2145613 | 1910422 | 3656 1127 | 0 | 0 1729.99/1730.53 c 1730s | 22 | 2147246 | 1911922 | 3656 1127 | 0 | 0 1732.00/1732.60 c 1732s | 22 | 2148796 | 1913322 | 3656 1128 | 0 | 0 1734.09/1734.66 c 1734s | 22 | 2150461 | 1914822 | 3656 1129 | 0 | 0 1736.09/1736.67 c 1736s | 22 | 2152093 | 1916222 | 3656 1129 | 0 | 0 1738.19/1738.72 c 1738s | 22 | 2154551 | 1918322 | 3656 1130 | 0 | 0 1740.19/1740.76 c 1740s | 22 | 2156591 | 1920122 | 3656 1131 | 0 | 0 1742.29/1742.80 c 1742s | 22 | 2158682 | 1921922 | 3656 1132 | 0 | 0 1744.29/1744.87 c 1744s | 22 | 2160931 | 1923822 | 3656 1133 | 0 | 0 1746.39/1746.91 c 1746s | 22 | 2162976 | 1925622 | 3656 1134 | 0 | 0 1748.39/1748.98 c 1748s | 22 | 2164935 | 1927322 | 3656 1135 | 0 | 0 1750.48/1751.03 c 1750s | 22 | 2166752 | 1928922 | 3656 1135 | 0 | 0 1752.48/1753.08 c 1752s | 22 | 2168659 | 1930622 | 3656 1136 | 0 | 0 1754.68/1755.22 c 1755s | 22 | 2170446 | 1932222 | 3656 1137 | 0 | 0 1756.68/1757.26 c 1757s | 22 | 2171962 | 1933622 | 3656 1138 | 0 | 0 1758.68/1759.29 c 1759s | 22 | 2174138 | 1935522 | 3656 1139 | 0 | 0 1760.69/1761.29 c 1761s | 22 | 2176041 | 1937222 | 3656 1139 | 0 | 0 1762.89/1763.41 c 1763s | 22 | 2177794 | 1938822 | 3656 1140 | 0 | 0 1764.88/1765.49 c 1765s | 22 | 2179991 | 1940722 | 3656 1141 | 0 | 0 1766.98/1767.57 c 1767s | 22 | 2181840 | 1942422 | 3656 1142 | 0 | 0 1769.18/1769.76 c 1769s | 22 | 2183390 | 1943822 | 3656 1143 | 0 | 0 1771.28/1771.81 c 1771s | 22 | 2184917 | 1945222 | 3656 1143 | 0 | 0 1773.38/1773.90 c 1773s | 22 | 2186431 | 1946622 | 3656 1144 | 0 | 0 1775.38/1775.94 c 1775s | 22 | 2189256 | 1949022 | 3656 1145 | 0 | 0 1777.38/1777.98 c 1777s | 22 | 2191725 | 1951222 | 3656 1146 | 0 | 0 1779.39/1779.99 c 1779s | 22 | 2194126 | 1953422 | 3656 1147 | 0 | 0 1781.49/1782.08 c 1781s | 22 | 2196538 | 1955622 | 3656 1148 | 0 | 0 1783.48/1784.09 c 1783s | 22 | 2199034 | 1957822 | 3656 1149 | 0 | 0 1785.58/1786.11 c 1786s | 22 | 2201259 | 1959822 | 3656 1150 | 0 | 0 1787.58/1788.19 c 1788s | 22 | 2203354 | 1961722 | 3656 1151 | 0 | 0 1789.68/1790.25 c 1790s | 22 | 2206151 | 1964222 | 3656 1152 | 0 | 0 1791.68/1792.26 c 1792s | 22 | 2207992 | 1965922 | 3656 1153 | 0 | 0 1793.68/1794.28 c 1794s | 22 | 2210099 | 1967822 | 3656 1154 | 0 | 0 1795.78/1796.37 c 1796s | 22 | 2212404 | 1969822 | 3656 1155 | 0 | 0 1797.88/1798.41 c 1798s | 22 | 2214263 | 1971522 | 3656 1156 | 0 | 0 1799.88/1800.44 c 1800s | 22 | 2216012 | 1973122 | 3656 1157 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093314-1466081801/watcher-4093314-1466081801 -o /tmp/evaluation-result-4093314-1466081801/solver-4093314-1466081801 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093314-1466081801.wbo pid=18070 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.25 2.20 2.18 4/179 18073 /proc/meminfo: memFree=29375804/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=729532 CPUtime=0 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 10225849 747040768 3084 33554432000 4194304 16246674 140735092983440 140735092982864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 182895 3092 441 2943 0 179789 0 [pid=18073/tid=18074] ppid=18070 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 763817984 3149 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=751036 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 769060864 3167 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10225849 773255168 3182 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100151 s] /proc/loadavg: 2.25 2.20 2.18 4/179 18073 /proc/meminfo: memFree=29375804/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 25167 0 0 0 6 3 0 0 20 0 4 0 10225849 1247350784 25516 33554432000 4194304 16246674 140735092983440 140735092982864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 304529 25522 773 2943 0 301423 0 [pid=18073/tid=18074] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 25527 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 25534 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 25539 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200453 s] /proc/loadavg: 2.25 2.20 2.18 4/179 18073 /proc/meminfo: memFree=29375804/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 50980 0 0 0 12 7 0 0 20 0 4 0 10225849 1247350784 51328 33554432000 4194304 16246674 140735092983440 140735092982864 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 304529 51353 805 2943 0 301423 0 [pid=18073/tid=18074] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 51363 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 51374 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 51384 33554432000 4194304 16246674 140735092983440 140680435326128 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.300443 s] /proc/loadavg: 2.25 2.20 2.18 4/179 18073 /proc/meminfo: memFree=29375804/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 78953 0 0 0 17 12 0 0 20 0 4 0 10225849 1247350784 79301 33554432000 4194304 16246674 140735092983440 140735092965312 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 304529 79317 805 2943 0 301423 0 [pid=18073/tid=18074] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 79325 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 79333 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 79338 33554432000 4194304 16246674 140735092983440 140680435326128 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.700362 s] /proc/loadavg: 2.25 2.20 2.18 4/179 18073 /proc/meminfo: memFree=29375804/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 199836 0 0 0 41 28 0 0 20 0 4 0 10225849 1247350784 200184 33554432000 4194304 16246674 140735092983440 140735092965312 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 304529 200202 811 2943 0 301423 0 [pid=18073/tid=18074] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 200213 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 200225 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10225849 1247350784 200239 33554432000 4194304 16246674 140735092983440 140680435326128 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.50036 s] /proc/loadavg: 2.25 2.20 2.18 4/183 18077 /proc/meminfo: memFree=28391636/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1303108 CPUtime=1.49 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 266791 0 0 0 113 36 0 0 20 0 4 0 10225849 1334382592 267116 33554432000 4194304 16246674 140735092983440 140735092965312 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 325777 267116 871 2943 0 322671 0 [pid=18073/tid=18074] ppid=18070 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1334382592 267116 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1334382592 267116 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1334382592 267116 33554432000 4194304 16246674 140735092983440 140680435326128 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) 1303108 [startup+3.10041 s] /proc/loadavg: 2.31 2.21 2.19 4/183 18077 /proc/meminfo: memFree=28304960/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 267818 0 0 0 273 36 0 0 20 0 4 0 10225849 1338576896 268143 33554432000 4194304 16246674 140735092983440 140735092965312 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 326801 268143 871 2943 0 323695 0 [pid=18073/tid=18074] ppid=18070 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1338576896 268143 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1338576896 268143 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1338576896 268143 33554432000 4194304 16246674 140735092983440 140680435326128 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) 1307204 [startup+6.3004 s] /proc/loadavg: 2.31 2.21 2.19 4/183 18077 /proc/meminfo: memFree=28303204/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 268157 0 0 0 593 36 0 0 20 0 4 0 10225849 1339625472 268482 33554432000 4194304 16246674 140735092983440 140735092965312 5589718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 327057 268482 872 2943 0 323951 0 [pid=18073/tid=18074] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268482 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268482 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268482 33554432000 4194304 16246674 140735092983440 140680435326128 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) 1308228 [startup+12.7004 s] /proc/loadavg: 2.26 2.21 2.18 3/183 18077 /proc/meminfo: memFree=28301912/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 268176 0 0 0 1233 36 0 0 20 0 4 0 10225849 1339625472 268501 33554432000 4194304 16246674 140735092983440 140735092965312 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 327057 268501 872 2943 0 323951 0 [pid=18073/tid=18074] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268501 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268501 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1339625472 268501 33554432000 4194304 16246674 140735092983440 140680435326128 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) 1308228 [startup+25.5005 s] /proc/loadavg: 2.22 2.20 2.18 3/183 18077 /proc/meminfo: memFree=28301808/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 268432 0 0 0 2512 36 0 0 20 0 4 0 10225849 1340674048 268757 33554432000 4194304 16246674 140735092983440 140735092965312 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 327313 268757 872 2943 0 324207 0 [pid=18073/tid=18074] ppid=18070 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1340674048 268757 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1340674048 268757 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1340674048 268757 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.35 2.23 2.19 3/183 18077 /proc/meminfo: memFree=28301320/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 268555 0 0 0 5072 36 0 0 20 0 4 0 10225849 1341722624 268880 33554432000 4194304 16246674 140735092983440 140735092965312 13191272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 327569 268880 872 2943 0 324463 0 [pid=18073/tid=18074] ppid=18070 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1341722624 268880 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1341722624 268880 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1341722624 268880 33554432000 4194304 16246674 140735092983440 140680435326128 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) 1310276 [startup+102.3 s] /proc/loadavg: 2.34 2.24 2.19 3/183 18078 /proc/meminfo: memFree=28295396/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1314372 CPUtime=102.27 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 269730 0 0 0 10190 37 0 0 20 0 4 0 10225849 1345916928 270293 33554432000 4194304 16246674 140735092983440 140735092965312 5546190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 328593 270293 872 2943 0 325487 0 [pid=18073/tid=18074] ppid=18070 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1345916928 270293 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1345916928 270293 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1345916928 270293 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1319492 [startup+1302.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 18180 /proc/meminfo: memFree=28282436/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1301.85 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 130142 43 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1319492 [startup+1362.3 s] /proc/loadavg: 2.38 2.25 2.19 4/183 18181 /proc/meminfo: memFree=28282436/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1361.85 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 136141 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1319492 [startup+1422.3 s] /proc/loadavg: 2.34 2.26 2.20 3/184 18185 /proc/meminfo: memFree=28281980/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1421.84 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 142140 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 6011738 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1319492 [startup+1482.3 s] /proc/loadavg: 2.47 2.30 2.21 3/183 18187 /proc/meminfo: memFree=28280132/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1481.82 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 148138 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1319492 [startup+1542.31 s] /proc/loadavg: 2.34 2.31 2.22 3/183 18188 /proc/meminfo: memFree=28271708/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1541.82 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 154138 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 5546111 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.24 2.28 2.21 3/183 18189 /proc/meminfo: memFree=28269604/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1601.8 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 160136 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1319492 [startup+1662.3 s] /proc/loadavg: 2.22 2.27 2.21 3/183 18190 /proc/meminfo: memFree=28269352/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1661.79 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 166135 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 6012147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.43 2.32 2.23 3/183 18191 /proc/meminfo: memFree=28269228/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1721.78 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 172134 44 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.33 2.31 2.23 3/183 18193 /proc/meminfo: memFree=28269352/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1781.78 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 178133 45 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092965312 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.30 2.30 2.23 3/183 18193 /proc/meminfo: memFree=28269480/32872528 swapFree=1402008/1579836 [pid=18073] ppid=18070 vsize=1319492 CPUtime=1800.08 cores=0,2,4,6 /proc/18073/stat : 18073 (toysat) R 18070 18073 13870 0 -1 4202496 271420 0 0 0 179963 45 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140735092966440 6026371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18073/statm: 329873 271577 876 2943 0 326767 0 [pid=18073/tid=18074] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18074/stat : 18074 (toysat) S 18070 18073 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680526540016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18073/tid=18075] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18075/stat : 18075 (toysat) S 18070 18073 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680445799664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18073/tid=18076] ppid=18070 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/18073/task/18076/stat : 18076 (toysat) S 18070 18073 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10225849 1351159808 271577 33554432000 4194304 16246674 140735092983440 140680435326128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1319492 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 18073 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.64 CPU system time (s): 0.45493 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.45493 maximum resident set size= 1086308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271420 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= 437 involuntary context switches= 1990 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42933 second user time and 7.10392 second system time The end
Begin job on node139 at 2016-06-16 14:56:41 IDJOB=4093314 IDBENCH=78703 IDSOLVER=2553 FILE ID=node139/4093314-1466081801 RUNJOBID= node139-1466075487-16983 PBS_JOBID= 19904001 Free space on /tmp= 71612 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093314-1466081801/watcher-4093314-1466081801 -o /tmp/evaluation-result-4093314-1466081801/solver-4093314-1466081801 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093314-1466081801.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c77cfb1ee053e7c4147458beb2d99117 RANDOM SEED=298809897 node139.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29376976 kB Buffers: 28204 kB Cached: 106656 kB SwapCached: 960 kB Active: 1154832 kB Inactive: 59344 kB Active(anon): 1080312 kB Inactive(anon): 1240 kB Active(file): 74520 kB Inactive(file): 58104 kB Unevictable: 1579836 kB Mlocked: 1402008 kB SwapTotal: 67108856 kB SwapFree: 67100120 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2733920 kB Mapped: 10628 kB Shmem: 0 kB Slab: 567136 kB SReclaimable: 11476 kB SUnreclaim: 555660 kB KernelStack: 1520 kB PageTables: 9252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2799136 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1239040 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= 71596 MiB End job on node139 at 2016-06-16 15:26:42