| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb |
| MD5SUM | 98317fc891a56a06b9f6f284bcd4ad38 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.19097 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 648 |
| Sum of products size (including duplicates) | 1296 |
| Number of different products | 648 |
| Sum of products size | 1296 |
0.00/0.00 c 2016-06-18T17:11:50+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106025-1466262710.opb"] 0.00/0.01 c use --random-gen="4282848285 602365537 3495435191 629662667 3565713466 498825328 271168647 1582676192 2448849609 2845806635 341869256 716338523 239032027 2942001929 1289323944 2668286199 3550754337 4244804925 2805655494 418875812 1157739136 2970712216 262115318 2481075735 1580113997 1138842699 551944290 3076818906 2991369782 1277947005 4210299876 2775208920 1406190299 2538771220 762855200 4052191332 4054958524 750467887 347523375 3373946390 1699889207 3888008994 1702432377 2342959985 3831546036 1128471962 1605473357 3029113355 126847014 2889577593 1106288758 2079578270 2123006484 2584077121 3671841589 316537822 4082954873 2440285886 2103050552 3851286137 1679083502 804083096 2404883279 2658940603 1388250714 3578614269 147993621 3100346723 4030552536 3688823879 3097394713 2872779198 3909929269 1884842227 96765839 493331965 675616024 2105851955 4284795197 4046472844 2462247896 1135230517 1285180040 4031597109 234867144 1336811247 287809824 1265261499 3345700562 3280276046 2474761412 320208476 2919926305 1218338862 1029912604 1246112815 1000105059 3877099871 2479389594 2415775726 2983938200 3209408781 3465256215 2792112773 3825914834 4133212886 3084483353 2717810153 318939254 1654287174 2285874226 4262120909 3009307287 1728471414 332894187 893481777 1047188207 3604448293 3554419490 675791204 1519900226 2986006714 3354378488 1717807919 1152550634 2957333289 3376547707 1276487354 1946739733 1127379879 1730798879 641726757 2477323024 1354240870 1745015636 309615282 2917688261 4175918669 716243064 2805777915 3607574306 3811602530 1378940281 1830980024 1287887498 1892360118 38127152 1613394120 860226354 1358205354 2664653934 161510796 1913622087 2321117648 2018558321 397994541 48497465 2510081903 674836628 953821205 3223675901 3747698357 3815986518 552548756 1325174680 813456436 209919442 2191116249 4061364421 3911151042 629925420 2648363664 3113591243 3022623472 2850041136 1460948220 125056740 2816035734 447309997 3687392971 2855079185 388681721 94931296 2202589096 457410477 1036474413 1156810929 3264428034 836263817 3525055405 2437603361 3411064421 2035834484 3231246752 1763070204 2947507049 497538898 1346675223 3456167958 652524239 1611630147 612371692 472266635 1246838363 1869457802 1093134145 1119308858 1760911054 2580540906 1952075353 632007244 3187051269 2082210566 3141078465 1621571286 1046232007 1118706688 2412518728 650309087 610668046 1689606037 3630080728 2846833671 1443234164 2836914631 1457733909 391384451 1801386731 1598349814 88394236 4175270836 633697841 2588396629 871011808 544372506 2276212603 500470487 178999705 2561528477 2059276190 2211657482 887119197 1632547253 904210153 2099672422 2027089811 1062400999 32449838 3724708179 2771516039 3992407550 943921136 3831925255 1631356104 3651291000 3248502837 255 362436" option to reproduce the execution 0.00/0.01 c #vars 216 0.00/0.01 c #constraints 17 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 944 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 112 | 100 | 944 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 306 | 250 | 1039 0 | 0 | 0 0.09/0.18 c 0.1s | 3 | 590 | 475 | 1143 0 | 0 | 0 0.49/0.50 c 0.5s | 4 | 1050 | 813 | 1258 0 | 0 | 0 0.79/0.89 c 0.9s | 5 | 1646 | 1320 | 1384 0 | 0 | 0 1.09/1.15 c 1.1s | 6 | 2507 | 2081 | 1676 1 | 0 | 0 1.59/1.67 c 1.6s | 7 | 3787 | 3223 | 1844 1 | 0 | 0 2.39/2.41 c 2.4s | 8 | 5615 | 4936 | 2029 3 | 0 | 0 3.09/3.14 c 3.1s | 9 | 8389 | 7506 | 2232 5 | 0 | 0 4.49/4.53 c 4.5s | 10 | 12442 | 11361 | 2456 8 | 0 | 0 5.09/5.10 c 5.1s | 10 | 14971 | 13757 | 2456 9 | 0 | 0 5.09/5.10 c #cpu_time = 5.058s 5.09/5.10 c #wall_clock_time = 5.071s 5.09/5.10 c #decision = 14971 5.09/5.10 c #random_decision = 50 5.09/5.10 c #conflict = 13757 5.09/5.10 c #restart = 10 5.09/5.10 o 395 5.09/5.10 c BCD2: updating upper bound: 511 -> 394 5.09/5.10 c BCD2: 0 <= obj <= 394 5.09/5.10 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 5.09/5.10 c BCD2: #sat=1 #unsat=1 bias=1/2 5.09/5.10 c Solving starts ... 5.09/5.10 c ============================[ Search Statistics ]============================ 5.09/5.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.10 c | | | | Limit GC | Var | Constra 5.09/5.10 c ============================================================================= 5.09/5.10 c 0.0s | 0 | 0 | 0 | 2456 0 | 0 | 0 5.09/5.11 c 0.0s | 0 | 7 | 0 | 2456 0 | 0 | 0 5.09/5.11 c #cpu_time = 0.005s 5.09/5.11 c #wall_clock_time = 0.005s 5.09/5.11 c #decision = 7 5.09/5.11 c #random_decision = 0 5.09/5.11 c #conflict = 0 5.09/5.11 c #restart = 0 5.09/5.11 c BCD2: found a new core of size 8: cost of the new core is >=2 5.09/5.11 c lower bound updated to 2 5.09/5.11 c BCD2: 2 <= obj <= 394 5.09/5.11 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 5.09/5.11 c BCD2: #sat=1 #unsat=2 bias=2/3 5.09/5.11 c Solving starts ... 5.09/5.11 c ============================[ Search Statistics ]============================ 5.09/5.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.11 c | | | | Limit GC | Var | Constra 5.09/5.11 c ============================================================================= 5.09/5.11 c 0.0s | 0 | 0 | 0 | 2456 0 | 0 | 0 5.09/5.14 c 0.0s | 1 | 238 | 100 | 2456 0 | 0 | 0 5.19/5.25 c 0.1s | 2 | 499 | 250 | 2456 1 | 0 | 0 5.49/5.58 c 0.5s | 3 | 1055 | 475 | 2456 1 | 0 | 0 5.69/5.75 c 0.6s | 4 | 1552 | 813 | 2456 1 | 0 | 0 6.09/6.15 c 1.0s | 5 | 2143 | 1320 | 2456 1 | 0 | 0 6.29/6.37 c 1.3s | 6 | 3135 | 2081 | 2456 2 | 0 | 0 6.98/7.05 c 1.9s | 7 | 4362 | 3223 | 2456 3 | 0 | 0 7.48/7.52 c 2.4s | 8 | 6217 | 4936 | 2702 4 | 0 | 0 8.38/8.49 c 3.4s | 9 | 8953 | 7506 | 2702 5 | 0 | 0 9.58/9.66 c 4.5s | 10 | 13019 | 11361 | 2702 8 | 0 | 0 11.58/11.68 c 6.6s | 10 | 17959 | 15661 | 2973 10 | 0 | 0 12.19/12.21 c 7.1s | 11 | 19464 | 17144 | 2973 11 | 0 | 0 14.19/14.21 c 9.1s | 11 | 25058 | 22444 | 2973 14 | 0 | 0 15.29/15.39 c 10.3s | 12 | 28607 | 25819 | 3271 16 | 0 | 0 17.39/17.41 c 12.3s | 12 | 34257 | 31219 | 3271 19 | 0 | 0 19.39/19.43 c 14.3s | 12 | 40359 | 37119 | 3271 23 | 0 | 0 19.90/19.97 c 14.9s | 13 | 42147 | 38832 | 3271 23 | 0 | 0 21.89/21.98 c 16.9s | 13 | 48696 | 45032 | 3599 27 | 0 | 0 23.89/23.99 c 18.9s | 13 | 55061 | 51232 | 3599 30 | 0 | 0 25.99/26.01 c 20.9s | 13 | 62433 | 58332 | 3599 33 | 0 | 0 25.99/26.02 c 20.9s | 14 | 62451 | 58352 | 3599 33 | 0 | 0 27.99/28.05 c 22.9s | 14 | 63949 | 59752 | 3599 34 | 0 | 0 29.99/30.08 c 25.0s | 14 | 66187 | 61652 | 3599 35 | 0 | 0 32.00/32.09 c 27.0s | 14 | 69455 | 64552 | 3599 36 | 0 | 0 34.09/34.13 c 29.0s | 14 | 72431 | 67452 | 3599 38 | 0 | 0 36.19/36.21 c 31.1s | 14 | 76309 | 71052 | 3599 39 | 0 | 0 38.19/38.29 c 33.2s | 14 | 79454 | 73952 | 3959 41 | 0 | 0 40.29/40.33 c 35.2s | 14 | 82807 | 76952 | 3959 42 | 0 | 0 42.29/42.36 c 37.2s | 14 | 86336 | 80152 | 3959 43 | 0 | 0 44.39/44.42 c 39.3s | 14 | 88886 | 82352 | 3959 44 | 0 | 0 46.39/46.48 c 41.4s | 14 | 91524 | 84552 | 3959 45 | 0 | 0 47.89/47.94 c 42.8s | 15 | 94794 | 87632 | 3959 47 | 0 | 0 49.89/49.96 c 44.8s | 15 | 101295 | 93632 | 3959 49 | 0 | 0 51.89/51.97 c 46.9s | 15 | 107102 | 99332 | 3959 52 | 0 | 0 53.89/54.00 c 48.9s | 15 | 112501 | 104332 | 3959 54 | 0 | 0 55.98/56.04 c 50.9s | 15 | 116674 | 108332 | 3959 56 | 0 | 0 57.98/58.04 c 52.9s | 15 | 120736 | 112232 | 3959 58 | 0 | 0 59.98/60.07 c 55.0s | 15 | 125620 | 116932 | 4355 60 | 0 | 0 61.98/62.08 c 57.0s | 15 | 129942 | 121132 | 4355 61 | 0 | 0 64.08/64.11 c 59.0s | 15 | 134958 | 125932 | 4355 63 | 0 | 0 66.09/66.13 c 61.0s | 15 | 140572 | 131332 | 4355 65 | 0 | 0 66.18/66.26 c 61.2s | 16 | 140805 | 131552 | 4355 66 | 0 | 0 68.19/68.26 c 63.2s | 16 | 147647 | 137952 | 4355 69 | 0 | 0 70.18/70.29 c 65.2s | 16 | 155489 | 145452 | 4355 71 | 0 | 0 72.28/72.32 c 67.2s | 16 | 162140 | 151952 | 4355 74 | 0 | 0 74.28/74.34 c 69.2s | 16 | 169166 | 158852 | 4355 77 | 0 | 0 76.28/76.35 c 71.2s | 16 | 175965 | 165552 | 4355 80 | 0 | 0 78.28/78.37 c 73.3s | 16 | 182469 | 171952 | 4355 82 | 0 | 0 80.29/80.38 c 75.3s | 16 | 189223 | 178552 | 4355 85 | 0 | 0 82.38/82.40 c 77.3s | 16 | 195886 | 185152 | 4791 88 | 0 | 0 84.38/84.41 c 79.3s | 16 | 202526 | 191652 | 4791 90 | 0 | 0 86.18/86.21 c 81.1s | 17 | 208406 | 197432 | 4791 92 | 0 | 0 88.18/88.22 c 83.1s | 17 | 214987 | 203732 | 4791 95 | 0 | 0 90.18/90.23 c 85.1s | 17 | 220894 | 209532 | 4791 97 | 0 | 0 92.18/92.24 c 87.1s | 17 | 226447 | 215032 | 4791 99 | 0 | 0 94.18/94.25 c 89.1s | 17 | 231480 | 219732 | 4791 101 | 0 | 0 96.18/96.28 c 91.2s | 17 | 236120 | 223932 | 4791 102 | 0 | 0 98.28/98.33 c 93.2s | 17 | 241030 | 228732 | 4791 104 | 0 | 0 100.28/100.36 c 95.3s | 17 | 245664 | 233032 | 4791 106 | 0 | 0 102.38/102.40 c 97.3s | 17 | 250531 | 237732 | 4791 107 | 0 | 0 104.38/104.45 c 99.3s | 17 | 254292 | 241232 | 4791 109 | 0 | 0 106.47/106.50 c 101s | 17 | 258929 | 245532 | 4791 110 | 0 | 0 108.47/108.52 c 103s | 17 | 264025 | 250232 | 4791 112 | 0 | 0 110.47/110.54 c 105s | 17 | 267695 | 253132 | 4791 113 | 0 | 0 112.47/112.56 c 107s | 17 | 272327 | 257532 | 4791 115 | 0 | 0 114.48/114.57 c 109s | 17 | 278146 | 262932 | 4791 117 | 0 | 0 116.47/116.60 c 111s | 17 | 283682 | 268132 | 4791 118 | 0 | 0 118.57/118.64 c 113s | 17 | 289268 | 273532 | 4791 120 | 0 | 0 120.57/120.66 c 115s | 17 | 294687 | 278632 | 4791 122 | 0 | 0 122.57/122.68 c 117s | 17 | 299708 | 283232 | 5271 124 | 0 | 0 124.67/124.73 c 119s | 17 | 304317 | 287532 | 5271 125 | 0 | 0 126.67/126.74 c 121s | 17 | 308791 | 291832 | 5271 127 | 0 | 0 128.68/128.78 c 123s | 17 | 313070 | 296032 | 5271 128 | 0 | 0 128.78/128.88 c 123s | 18 | 313302 | 296252 | 5271 128 | 0 | 0 130.88/130.96 c 125s | 18 | 316018 | 298752 | 5271 129 | 0 | 0 132.87/133.00 c 127s | 18 | 319152 | 301752 | 5271 130 | 0 | 0 134.97/135.00 c 129s | 18 | 322552 | 305052 | 5271 131 | 0 | 0 136.97/137.03 c 131s | 18 | 326194 | 308552 | 5271 133 | 0 | 0 138.97/139.09 c 133s | 18 | 329822 | 312052 | 5271 134 | 0 | 0 141.07/141.13 c 136s | 18 | 333395 | 315552 | 5271 135 | 0 | 0 143.08/143.19 c 138s | 18 | 336752 | 318852 | 5271 136 | 0 | 0 145.07/145.20 c 140s | 18 | 340350 | 322352 | 5271 137 | 0 | 0 147.17/147.24 c 142s | 18 | 343819 | 325752 | 5271 138 | 0 | 0 149.17/149.26 c 144s | 18 | 346905 | 328752 | 5271 139 | 0 | 0 151.27/151.30 c 146s | 18 | 350278 | 332052 | 5271 141 | 0 | 0 153.27/153.35 c 148s | 18 | 353645 | 335352 | 5271 142 | 0 | 0 155.27/155.37 c 150s | 18 | 356980 | 338652 | 5271 143 | 0 | 0 157.27/157.38 c 152s | 18 | 360382 | 341952 | 5271 144 | 0 | 0 159.36/159.44 c 154s | 18 | 364489 | 345952 | 5271 145 | 0 | 0 161.36/161.44 c 156s | 18 | 368198 | 349552 | 5271 147 | 0 | 0 163.36/163.49 c 158s | 18 | 372253 | 353452 | 5271 148 | 0 | 0 165.46/165.51 c 160s | 18 | 375887 | 356952 | 5271 149 | 0 | 0 167.46/167.51 c 162s | 18 | 379914 | 360752 | 5271 150 | 0 | 0 169.47/169.55 c 164s | 18 | 383850 | 364552 | 5271 152 | 0 | 0 171.46/171.58 c 166s | 18 | 387377 | 367952 | 5271 153 | 0 | 0 173.56/173.60 c 168s | 18 | 390925 | 371352 | 5271 154 | 0 | 0 175.56/175.66 c 170s | 18 | 394474 | 374852 | 5271 155 | 0 | 0 177.66/177.70 c 172s | 18 | 398353 | 378652 | 5271 157 | 0 | 0 179.66/179.75 c 174s | 18 | 402009 | 382252 | 5271 158 | 0 | 0 181.66/181.76 c 176s | 18 | 405594 | 385752 | 5271 159 | 0 | 0 183.66/183.76 c 178s | 18 | 409246 | 389252 | 5271 160 | 0 | 0 185.66/185.79 c 180s | 18 | 412938 | 392852 | 5271 162 | 0 | 0 187.75/187.80 c 182s | 18 | 416569 | 396352 | 5271 163 | 0 | 0 189.75/189.83 c 184s | 18 | 420285 | 399952 | 5271 164 | 0 | 0 191.75/191.88 c 186s | 18 | 423884 | 403452 | 5271 165 | 0 | 0 193.85/193.90 c 188s | 18 | 427163 | 406652 | 5271 166 | 0 | 0 195.85/195.93 c 190s | 18 | 430634 | 410052 | 5271 168 | 0 | 0 197.85/197.96 c 192s | 18 | 435169 | 414452 | 5271 169 | 0 | 0 199.85/199.98 c 194s | 18 | 440360 | 419452 | 5271 171 | 0 | 0 201.95/202.02 c 196s | 18 | 445669 | 424652 | 5271 173 | 0 | 0 203.95/204.05 c 198s | 18 | 450485 | 429352 | 5799 174 | 0 | 0 205.94/206.08 c 200s | 18 | 454974 | 433752 | 5799 175 | 0 | 0 208.04/208.13 c 203s | 18 | 459602 | 438252 | 5799 177 | 0 | 0 210.05/210.15 c 205s | 18 | 463761 | 442352 | 5799 178 | 0 | 0 211.04/211.12 c 206s | 19 | 465940 | 444482 | 5799 179 | 0 | 0 213.04/213.15 c 208s | 19 | 472921 | 450982 | 5799 181 | 0 | 0 215.04/215.17 c 210s | 19 | 478772 | 456482 | 5799 183 | 0 | 0 217.04/217.17 c 212s | 19 | 484139 | 461682 | 5799 185 | 0 | 0 219.04/219.19 c 214s | 19 | 490347 | 467582 | 5799 187 | 0 | 0 221.15/221.21 c 216s | 19 | 496430 | 473482 | 5799 189 | 0 | 0 223.14/223.22 c 218s | 19 | 503640 | 480482 | 5799 191 | 0 | 0 225.14/225.23 c 220s | 19 | 510222 | 486582 | 5799 193 | 0 | 0 227.13/227.25 c 222s | 19 | 517705 | 493582 | 5799 195 | 0 | 0 229.13/229.28 c 224s | 19 | 523680 | 499282 | 5799 197 | 0 | 0 231.23/231.32 c 226s | 19 | 529174 | 504582 | 5799 198 | 0 | 0 233.24/233.35 c 228s | 19 | 534474 | 509682 | 5799 200 | 0 | 0 235.23/235.39 c 230s | 19 | 539537 | 514582 | 5799 201 | 0 | 0 237.23/237.39 c 232s | 19 | 545003 | 519782 | 5799 203 | 0 | 0 239.34/239.41 c 234s | 19 | 549494 | 524082 | 5799 204 | 0 | 0 241.34/241.42 c 236s | 19 | 553699 | 528182 | 5799 206 | 0 | 0 243.34/243.45 c 238s | 19 | 558373 | 532682 | 5799 207 | 0 | 0 245.34/245.46 c 240s | 19 | 562766 | 536882 | 5799 208 | 0 | 0 247.44/247.52 c 242s | 19 | 567011 | 541082 | 5799 209 | 0 | 0 249.43/249.52 c 244s | 19 | 571533 | 545582 | 5799 211 | 0 | 0 251.43/251.57 c 246s | 19 | 576075 | 550082 | 5799 212 | 0 | 0 253.43/253.58 c 248s | 19 | 580617 | 554582 | 5799 214 | 0 | 0 255.53/255.62 c 250s | 19 | 585596 | 559482 | 5799 215 | 0 | 0 257.53/257.64 c 252s | 19 | 589501 | 563082 | 5799 216 | 0 | 0 259.53/259.65 c 254s | 19 | 594644 | 568082 | 5799 218 | 0 | 0 261.63/261.70 c 256s | 19 | 599040 | 572282 | 5799 219 | 0 | 0 263.63/263.72 c 258s | 19 | 603482 | 576582 | 5799 220 | 0 | 0 265.63/265.73 c 260s | 19 | 608406 | 581282 | 5799 222 | 0 | 0 267.62/267.73 c 262s | 19 | 612273 | 584982 | 5799 223 | 0 | 0 269.62/269.77 c 264s | 19 | 616590 | 589082 | 5799 224 | 0 | 0 271.73/271.81 c 266s | 19 | 620690 | 592882 | 5799 225 | 0 | 0 273.72/273.82 c 268s | 19 | 624707 | 596782 | 5799 227 | 0 | 0 275.72/275.86 c 270s | 19 | 629265 | 601182 | 5799 228 | 0 | 0 277.72/277.88 c 272s | 19 | 633917 | 605682 | 5799 229 | 0 | 0 279.82/279.92 c 274s | 19 | 637744 | 609382 | 5799 230 | 0 | 0 281.82/281.97 c 276s | 19 | 642127 | 613482 | 5799 232 | 0 | 0 283.92/284.00 c 278s | 19 | 646835 | 617782 | 5799 233 | 0 | 0 285.92/286.02 c 280s | 19 | 651201 | 621882 | 5799 234 | 0 | 0 287.91/288.04 c 282s | 19 | 655693 | 626182 | 5799 236 | 0 | 0 289.91/290.06 c 284s | 19 | 660032 | 630182 | 5799 237 | 0 | 0 292.01/292.10 c 286s | 19 | 665328 | 635282 | 5799 238 | 0 | 0 294.01/294.13 c 289s | 19 | 669345 | 639082 | 5799 239 | 0 | 0 296.01/296.17 c 291s | 19 | 673585 | 643082 | 5799 241 | 0 | 0 298.01/298.19 c 293s | 19 | 678129 | 647282 | 5799 242 | 0 | 0 300.11/300.23 c 295s | 19 | 682590 | 651482 | 6379 243 | 0 | 0 302.11/302.28 c 297s | 19 | 687100 | 655582 | 6379 244 | 0 | 0 304.20/304.30 c 299s | 19 | 690712 | 659082 | 6379 245 | 0 | 0 306.20/306.36 c 301s | 19 | 695231 | 663282 | 6379 246 | 0 | 0 308.02/308.11 c 303s | 20 | 698990 | 666827 | 6379 247 | 0 | 0 310.01/310.14 c 305s | 20 | 703708 | 671227 | 6379 249 | 0 | 0 312.01/312.15 c 307s | 20 | 708344 | 675627 | 6379 250 | 0 | 0 314.11/314.20 c 309s | 20 | 712872 | 680027 | 6379 251 | 0 | 0 316.11/316.24 c 311s | 20 | 717267 | 684227 | 6379 252 | 0 | 0 318.11/318.25 c 313s | 20 | 721667 | 688527 | 6379 254 | 0 | 0 320.11/320.27 c 315s | 20 | 727370 | 694127 | 6379 255 | 0 | 0 322.11/322.30 c 317s | 20 | 732453 | 699027 | 6379 257 | 0 | 0 324.20/324.30 c 319s | 20 | 737312 | 703627 | 6379 258 | 0 | 0 326.20/326.31 c 321s | 20 | 742199 | 708327 | 6379 259 | 0 | 0 328.20/328.34 c 323s | 20 | 746730 | 712627 | 6379 261 | 0 | 0 330.20/330.38 c 325s | 20 | 751951 | 717627 | 6379 262 | 0 | 0 332.30/332.41 c 327s | 20 | 756422 | 721927 | 6379 263 | 0 | 0 334.31/334.43 c 329s | 20 | 760795 | 726127 | 6379 264 | 0 | 0 336.30/336.45 c 331s | 20 | 765697 | 730827 | 6379 266 | 0 | 0 338.30/338.48 c 333s | 20 | 770229 | 735227 | 6379 267 | 0 | 0 340.40/340.50 c 335s | 20 | 774522 | 739327 | 6379 268 | 0 | 0 342.40/342.52 c 337s | 20 | 779024 | 743627 | 6379 269 | 0 | 0 344.39/344.56 c 339s | 20 | 784071 | 748527 | 6379 271 | 0 | 0 346.40/346.58 c 341s | 20 | 788067 | 752427 | 6379 272 | 0 | 0 348.39/348.59 c 343s | 20 | 792805 | 757027 | 6379 273 | 0 | 0 350.49/350.62 c 345s | 20 | 797296 | 761427 | 6379 275 | 0 | 0 352.49/352.64 c 347s | 20 | 802511 | 766427 | 6379 276 | 0 | 0 354.49/354.67 c 349s | 20 | 807167 | 770927 | 6379 277 | 0 | 0 356.49/356.68 c 351s | 20 | 811908 | 775527 | 6379 279 | 0 | 0 358.49/358.70 c 353s | 20 | 816484 | 779927 | 6379 280 | 0 | 0 360.59/360.71 c 355s | 20 | 821196 | 784527 | 6379 281 | 0 | 0 362.58/362.74 c 357s | 20 | 825744 | 788927 | 6379 282 | 0 | 0 364.58/364.74 c 359s | 20 | 830072 | 793227 | 6379 284 | 0 | 0 366.58/366.75 c 361s | 20 | 834617 | 797627 | 6379 285 | 0 | 0 368.68/368.82 c 363s | 20 | 839481 | 802327 | 6379 286 | 0 | 0 370.69/370.84 c 365s | 20 | 843979 | 806727 | 6379 287 | 0 | 0 372.68/372.85 c 367s | 20 | 847856 | 810527 | 6379 289 | 0 | 0 374.68/374.85 c 369s | 20 | 851711 | 814327 | 6379 290 | 0 | 0 376.67/376.89 c 371s | 20 | 856322 | 818827 | 6379 291 | 0 | 0 378.77/378.93 c 373s | 20 | 860245 | 822727 | 6379 292 | 0 | 0 380.77/380.97 c 375s | 20 | 864957 | 827227 | 6379 293 | 0 | 0 382.78/382.97 c 377s | 20 | 869799 | 831927 | 6379 295 | 0 | 0 384.77/385.00 c 379s | 20 | 874634 | 836627 | 6379 296 | 0 | 0 386.87/387.03 c 381s | 20 | 879218 | 841027 | 6379 297 | 0 | 0 388.87/389.06 c 383s | 20 | 884039 | 845727 | 6379 299 | 0 | 0 390.87/391.06 c 385s | 20 | 888756 | 850327 | 6379 300 | 0 | 0 392.97/393.12 c 388s | 20 | 894008 | 855227 | 6379 301 | 0 | 0 394.97/395.12 c 390s | 20 | 898688 | 859727 | 6379 303 | 0 | 0 396.97/397.14 c 392s | 20 | 903576 | 864427 | 6379 304 | 0 | 0 398.96/399.15 c 394s | 20 | 908506 | 869127 | 6379 305 | 0 | 0 400.96/401.16 c 396s | 20 | 913155 | 873627 | 6379 307 | 0 | 0 402.96/403.18 c 398s | 20 | 917887 | 878127 | 6379 308 | 0 | 0 404.96/405.19 c 400s | 20 | 922607 | 882627 | 6379 309 | 0 | 0 407.06/407.26 c 402s | 20 | 927052 | 886827 | 6379 310 | 0 | 0 409.17/409.34 c 404s | 20 | 931335 | 890827 | 6379 312 | 0 | 0 411.16/411.38 c 406s | 20 | 936014 | 895427 | 6379 313 | 0 | 0 413.26/413.41 c 408s | 20 | 940578 | 899827 | 6379 314 | 0 | 0 415.27/415.42 c 410s | 20 | 945064 | 904027 | 6379 315 | 0 | 0 417.26/417.42 c 412s | 20 | 949761 | 908627 | 6379 317 | 0 | 0 419.26/419.45 c 414s | 20 | 954308 | 913027 | 6379 318 | 0 | 0 421.27/421.49 c 416s | 20 | 959049 | 917627 | 6379 319 | 0 | 0 423.26/423.50 c 418s | 20 | 963376 | 921827 | 6379 320 | 0 | 0 425.36/425.53 c 420s | 20 | 967863 | 926227 | 6379 322 | 0 | 0 427.36/427.56 c 422s | 20 | 972358 | 930627 | 6379 323 | 0 | 0 429.35/429.56 c 424s | 20 | 976650 | 934827 | 6379 324 | 0 | 0 431.35/431.58 c 426s | 20 | 981598 | 939627 | 6379 325 | 0 | 0 433.45/433.62 c 428s | 20 | 986197 | 944127 | 6379 327 | 0 | 0 435.46/435.67 c 430s | 20 | 990566 | 948427 | 6379 328 | 0 | 0 437.45/437.68 c 432s | 20 | 994849 | 952627 | 6379 329 | 0 | 0 439.55/439.71 c 434s | 20 | 998949 | 956627 | 6379 330 | 0 | 0 441.55/441.72 c 436s | 20 | 1003343 | 960827 | 6379 332 | 0 | 0 443.55/443.74 c 438s | 20 | 1009097 | 966327 | 6379 333 | 0 | 0 445.55/445.76 c 440s | 20 | 1013820 | 970927 | 6379 334 | 0 | 0 447.55/447.77 c 442s | 20 | 1018217 | 975227 | 6379 336 | 0 | 0 449.64/449.80 c 444s | 20 | 1023354 | 980227 | 7017 337 | 0 | 0 451.64/451.81 c 446s | 20 | 1027788 | 984527 | 7017 338 | 0 | 0 453.64/453.82 c 448s | 20 | 1033024 | 989627 | 7017 339 | 0 | 0 455.64/455.82 c 450s | 20 | 1037767 | 994127 | 7017 341 | 0 | 0 457.64/457.85 c 452s | 20 | 1042072 | 998227 | 7017 342 | 0 | 0 458.65/458.83 c 453s | 21 | 1044240 | 1000345 | 7017 342 | 0 | 0 460.64/460.83 c 455s | 21 | 1050119 | 1005445 | 7017 344 | 0 | 0 462.64/462.85 c 457s | 21 | 1054474 | 1009245 | 7017 345 | 0 | 0 464.74/464.92 c 459s | 21 | 1058875 | 1013145 | 7017 346 | 0 | 0 466.73/466.98 c 461s | 21 | 1062294 | 1016245 | 7017 346 | 0 | 0 468.83/469.00 c 463s | 21 | 1065548 | 1019145 | 7017 347 | 0 | 0 470.83/471.04 c 465s | 21 | 1068602 | 1021845 | 7017 348 | 0 | 0 472.94/473.13 c 468s | 21 | 1071796 | 1024745 | 7017 349 | 0 | 0 474.93/475.18 c 470s | 21 | 1075109 | 1027845 | 7017 349 | 0 | 0 477.03/477.25 c 472s | 21 | 1078219 | 1030745 | 7017 350 | 0 | 0 479.13/479.31 c 474s | 21 | 1081487 | 1033845 | 7017 351 | 0 | 0 481.13/481.31 c 476s | 21 | 1084792 | 1037045 | 7017 352 | 0 | 0 483.13/483.33 c 478s | 21 | 1089050 | 1041145 | 7017 353 | 0 | 0 485.13/485.34 c 480s | 21 | 1093278 | 1045145 | 7017 354 | 0 | 0 487.13/487.40 c 482s | 21 | 1096887 | 1048345 | 7017 355 | 0 | 0 489.22/489.41 c 484s | 21 | 1100694 | 1051845 | 7017 356 | 0 | 0 491.22/491.44 c 486s | 21 | 1105134 | 1055845 | 7017 357 | 0 | 0 493.22/493.45 c 488s | 21 | 1109041 | 1059345 | 7017 358 | 0 | 0 495.22/495.45 c 490s | 21 | 1112852 | 1062845 | 7017 358 | 0 | 0 497.22/497.47 c 492s | 21 | 1116900 | 1066245 | 7017 359 | 0 | 0 499.32/499.51 c 494s | 21 | 1121161 | 1070245 | 7017 360 | 0 | 0 501.32/501.52 c 496s | 21 | 1124838 | 1073645 | 7017 361 | 0 | 0 503.32/503.54 c 498s | 21 | 1127833 | 1076445 | 7017 362 | 0 | 0 505.32/505.55 c 500s | 21 | 1132282 | 1080645 | 7017 363 | 0 | 0 507.31/507.55 c 502s | 21 | 1136572 | 1084645 | 7017 364 | 0 | 0 509.31/509.59 c 504s | 21 | 1140218 | 1088045 | 7017 365 | 0 | 0 511.42/511.67 c 506s | 21 | 1144434 | 1091945 | 7017 366 | 0 | 0 513.52/513.70 c 508s | 21 | 1148287 | 1095545 | 7017 367 | 0 | 0 515.51/515.75 c 510s | 21 | 1152145 | 1099045 | 7017 368 | 0 | 0 517.51/517.78 c 512s | 21 | 1155798 | 1102545 | 7017 369 | 0 | 0 519.61/519.83 c 514s | 21 | 1159212 | 1105745 | 7017 370 | 0 | 0 521.61/521.83 c 516s | 21 | 1162528 | 1108845 | 7017 370 | 0 | 0 523.61/523.86 c 518s | 21 | 1166123 | 1112245 | 7017 371 | 0 | 0 525.61/525.89 c 520s | 21 | 1170041 | 1115945 | 7017 372 | 0 | 0 527.70/527.99 c 522s | 21 | 1173487 | 1119145 | 7017 373 | 0 | 0 529.70/529.99 c 524s | 21 | 1177058 | 1122545 | 7017 374 | 0 | 0 531.80/532.02 c 526s | 21 | 1180594 | 1125845 | 7017 375 | 0 | 0 533.80/534.05 c 528s | 21 | 1184282 | 1129145 | 7017 376 | 0 | 0 535.80/536.07 c 530s | 21 | 1187512 | 1132045 | 7017 376 | 0 | 0 537.90/538.11 c 533s | 21 | 1190969 | 1135245 | 7017 377 | 0 | 0 539.90/540.14 c 535s | 21 | 1194358 | 1138545 | 7017 378 | 0 | 0 541.90/542.17 c 537s | 21 | 1197216 | 1141145 | 7017 379 | 0 | 0 544.00/544.22 c 539s | 21 | 1200349 | 1143945 | 7017 379 | 0 | 0 545.99/546.23 c 541s | 21 | 1204014 | 1147245 | 7017 380 | 0 | 0 547.99/548.29 c 543s | 21 | 1208111 | 1150945 | 7017 381 | 0 | 0 550.09/550.31 c 545s | 21 | 1211074 | 1153845 | 7017 382 | 0 | 0 552.10/552.38 c 547s | 21 | 1214144 | 1156845 | 7017 383 | 0 | 0 554.09/554.38 c 549s | 21 | 1218014 | 1160545 | 7017 384 | 0 | 0 556.18/556.43 c 551s | 21 | 1222330 | 1164745 | 7017 385 | 0 | 0 558.18/558.46 c 553s | 21 | 1226094 | 1168445 | 7017 386 | 0 | 0 560.18/560.47 c 555s | 21 | 1229909 | 1172145 | 7017 387 | 0 | 0 562.28/562.50 c 557s | 21 | 1232979 | 1175145 | 7017 388 | 0 | 0 564.28/564.54 c 559s | 21 | 1236478 | 1178545 | 7017 388 | 0 | 0 566.39/566.63 c 561s | 21 | 1240773 | 1182545 | 7017 390 | 0 | 0 568.49/568.71 c 563s | 21 | 1244524 | 1186045 | 7017 390 | 0 | 0 570.49/570.72 c 565s | 21 | 1247237 | 1188445 | 7017 391 | 0 | 0 572.49/572.77 c 567s | 21 | 1251624 | 1192745 | 7017 392 | 0 | 0 574.58/574.81 c 569s | 21 | 1256094 | 1197145 | 7017 393 | 0 | 0 576.58/576.82 c 571s | 21 | 1260380 | 1201345 | 7017 394 | 0 | 0 578.58/578.82 c 573s | 21 | 1264669 | 1205445 | 7017 395 | 0 | 0 580.59/580.87 c 575s | 21 | 1268570 | 1209145 | 7017 396 | 0 | 0 582.58/582.88 c 577s | 21 | 1272900 | 1213245 | 7017 397 | 0 | 0 584.68/584.96 c 579s | 21 | 1276940 | 1217145 | 7017 399 | 0 | 0 586.77/587.01 c 581s | 21 | 1280571 | 1220645 | 7017 399 | 0 | 0 588.77/589.03 c 583s | 21 | 1284647 | 1224445 | 7017 400 | 0 | 0 590.77/591.03 c 585s | 21 | 1288298 | 1227845 | 7017 401 | 0 | 0 592.78/593.08 c 587s | 21 | 1292561 | 1231945 | 7017 402 | 0 | 0 594.88/595.10 c 589s | 21 | 1296275 | 1235445 | 7017 403 | 0 | 0 596.86/597.14 c 592s | 21 | 1300276 | 1239145 | 7017 404 | 0 | 0 598.86/599.15 c 594s | 21 | 1304763 | 1243345 | 7017 405 | 0 | 0 600.86/601.17 c 596s | 21 | 1308414 | 1246545 | 7017 406 | 0 | 0 602.96/603.20 c 598s | 21 | 1311742 | 1249645 | 7017 407 | 0 | 0 604.96/605.23 c 600s | 21 | 1315203 | 1252945 | 7017 408 | 0 | 0 606.97/607.24 c 602s | 21 | 1318816 | 1256445 | 7017 409 | 0 | 0 608.96/609.26 c 604s | 21 | 1322009 | 1259545 | 7017 410 | 0 | 0 610.96/611.28 c 606s | 21 | 1325580 | 1262945 | 7017 410 | 0 | 0 613.06/613.30 c 608s | 21 | 1329632 | 1266845 | 7017 411 | 0 | 0 615.06/615.36 c 610s | 21 | 1333737 | 1270745 | 7017 413 | 0 | 0 617.15/617.40 c 612s | 21 | 1338364 | 1275145 | 7017 414 | 0 | 0 619.16/619.45 c 614s | 21 | 1342240 | 1278845 | 7017 415 | 0 | 0 621.15/621.47 c 616s | 21 | 1345788 | 1282145 | 7017 415 | 0 | 0 623.25/623.50 c 618s | 21 | 1350153 | 1286345 | 7017 417 | 0 | 0 625.25/625.51 c 620s | 21 | 1353952 | 1289945 | 7017 418 | 0 | 0 627.24/627.59 c 622s | 21 | 1357925 | 1293745 | 7017 419 | 0 | 0 629.34/629.65 c 624s | 21 | 1361861 | 1297545 | 7017 420 | 0 | 0 631.34/631.68 c 626s | 21 | 1366282 | 1301845 | 7017 421 | 0 | 0 633.45/633.72 c 628s | 21 | 1370597 | 1305945 | 7017 422 | 0 | 0 635.44/635.74 c 630s | 21 | 1374635 | 1309845 | 7017 423 | 0 | 0 637.54/637.81 c 632s | 21 | 1378718 | 1313645 | 7017 424 | 0 | 0 639.54/639.82 c 634s | 21 | 1382323 | 1317145 | 7017 425 | 0 | 0 641.54/641.83 c 636s | 21 | 1386512 | 1321145 | 7017 426 | 0 | 0 643.54/643.84 c 638s | 21 | 1390390 | 1324845 | 7017 427 | 0 | 0 645.63/645.91 c 640s | 21 | 1394187 | 1328445 | 7017 428 | 0 | 0 647.64/648.00 c 642s | 21 | 1397300 | 1331345 | 7017 428 | 0 | 0 649.73/650.01 c 644s | 21 | 1400914 | 1334845 | 7017 429 | 0 | 0 651.73/652.06 c 646s | 21 | 1404825 | 1338545 | 7017 430 | 0 | 0 653.73/654.07 c 648s | 21 | 1409025 | 1342545 | 7017 431 | 0 | 0 655.83/656.15 c 651s | 21 | 1412675 | 1345945 | 7017 432 | 0 | 0 657.83/658.16 c 653s | 21 | 1416897 | 1349945 | 7017 433 | 0 | 0 659.83/660.16 c 655s | 21 | 1420467 | 1353345 | 7017 434 | 0 | 0 661.93/662.21 c 657s | 21 | 1424094 | 1356845 | 7017 435 | 0 | 0 663.92/664.28 c 659s | 21 | 1427610 | 1360245 | 7017 436 | 0 | 0 665.92/666.29 c 661s | 21 | 1430603 | 1363145 | 7017 437 | 0 | 0 668.02/668.31 c 663s | 21 | 1434122 | 1366545 | 7017 438 | 0 | 0 670.02/670.32 c 665s | 21 | 1438664 | 1370845 | 7017 439 | 0 | 0 672.03/672.35 c 667s | 21 | 1443329 | 1375245 | 7017 440 | 0 | 0 674.04/674.38 c 669s | 21 | 1447633 | 1379345 | 7017 441 | 0 | 0 676.13/676.42 c 671s | 21 | 1451516 | 1383045 | 7017 442 | 0 | 0 678.12/678.42 c 673s | 21 | 1455488 | 1386745 | 7017 443 | 0 | 0 680.12/680.44 c 675s | 21 | 1459364 | 1390345 | 7017 444 | 0 | 0 682.12/682.47 c 677s | 21 | 1462664 | 1393445 | 7017 445 | 0 | 0 684.22/684.53 c 679s | 21 | 1466057 | 1396545 | 7017 445 | 0 | 0 686.23/686.54 c 681s | 21 | 1469155 | 1399445 | 7017 446 | 0 | 0 688.22/688.58 c 683s | 21 | 1472103 | 1402145 | 7017 447 | 0 | 0 690.32/690.60 c 685s | 21 | 1476381 | 1406245 | 7017 448 | 0 | 0 692.32/692.62 c 687s | 21 | 1480242 | 1409945 | 7017 449 | 0 | 0 694.32/694.62 c 689s | 21 | 1483954 | 1413445 | 7017 450 | 0 | 0 696.31/696.66 c 691s | 21 | 1488308 | 1417645 | 7017 451 | 0 | 0 698.32/698.69 c 693s | 21 | 1492542 | 1421745 | 7017 452 | 0 | 0 700.42/700.70 c 695s | 21 | 1496524 | 1425445 | 7017 453 | 0 | 0 702.41/702.75 c 697s | 21 | 1500062 | 1428745 | 7017 454 | 0 | 0 704.41/704.78 c 699s | 21 | 1503785 | 1432345 | 7017 455 | 0 | 0 706.41/706.79 c 701s | 21 | 1508614 | 1436845 | 7017 456 | 0 | 0 708.51/708.80 c 703s | 21 | 1512575 | 1440545 | 7017 457 | 0 | 0 710.51/710.84 c 705s | 21 | 1516717 | 1444445 | 7017 458 | 0 | 0 712.51/712.87 c 707s | 21 | 1520313 | 1447945 | 7017 459 | 0 | 0 714.60/714.91 c 709s | 21 | 1524360 | 1451845 | 7017 460 | 0 | 0 716.60/716.92 c 711s | 21 | 1528520 | 1455845 | 7017 461 | 0 | 0 718.60/718.93 c 713s | 21 | 1532841 | 1459945 | 7017 462 | 0 | 0 720.60/720.96 c 715s | 21 | 1537124 | 1464045 | 7017 463 | 0 | 0 722.70/723.01 c 717s | 21 | 1540921 | 1467645 | 7017 464 | 0 | 0 724.70/725.03 c 719s | 21 | 1544505 | 1471045 | 7017 465 | 0 | 0 726.69/727.04 c 721s | 21 | 1547941 | 1474245 | 7017 466 | 0 | 0 728.69/729.07 c 723s | 21 | 1552180 | 1478245 | 7719 467 | 0 | 0 730.79/731.11 c 725s | 21 | 1556187 | 1482045 | 7719 467 | 0 | 0 732.79/733.12 c 728s | 21 | 1559603 | 1485345 | 7719 468 | 0 | 0 734.80/735.17 c 730s | 21 | 1563470 | 1489045 | 7719 469 | 0 | 0 736.81/737.19 c 732s | 21 | 1567110 | 1492545 | 7719 470 | 0 | 0 738.80/739.20 c 734s | 21 | 1570877 | 1496145 | 7719 471 | 0 | 0 740.90/741.20 c 736s | 21 | 1574874 | 1500045 | 7719 472 | 0 | 0 741.21/741.55 c 736s | 22 | 1575512 | 1500622 | 7719 472 | 0 | 0 743.20/743.58 c 738s | 22 | 1582350 | 1507022 | 7719 474 | 0 | 0 745.20/745.59 c 740s | 22 | 1587784 | 1512222 | 7719 475 | 0 | 0 747.29/747.62 c 742s | 22 | 1592748 | 1517022 | 7719 476 | 0 | 0 749.29/749.62 c 744s | 22 | 1598228 | 1522122 | 7719 477 | 0 | 0 751.29/751.64 c 746s | 22 | 1603378 | 1527122 | 7719 479 | 0 | 0 753.30/753.67 c 748s | 22 | 1609016 | 1532522 | 7719 480 | 0 | 0 755.29/755.70 c 750s | 22 | 1613872 | 1537222 | 7719 481 | 0 | 0 757.39/757.72 c 752s | 22 | 1618881 | 1542022 | 7719 482 | 0 | 0 759.39/759.73 c 754s | 22 | 1624329 | 1547122 | 7719 484 | 0 | 0 761.39/761.74 c 756s | 22 | 1629248 | 1551922 | 7719 485 | 0 | 0 763.39/763.77 c 758s | 22 | 1635414 | 1557622 | 7719 486 | 0 | 0 765.39/765.77 c 760s | 22 | 1641033 | 1562822 | 7719 488 | 0 | 0 767.49/767.81 c 762s | 22 | 1645830 | 1567022 | 7719 489 | 0 | 0 769.48/769.86 c 764s | 22 | 1650046 | 1570922 | 7719 489 | 0 | 0 771.58/771.94 c 766s | 22 | 1654665 | 1575222 | 7719 491 | 0 | 0 773.58/773.99 c 768s | 22 | 1659025 | 1579422 | 7719 492 | 0 | 0 775.68/776.01 c 770s | 22 | 1663499 | 1583722 | 7719 493 | 0 | 0 777.67/778.02 c 772s | 22 | 1667851 | 1587822 | 7719 494 | 0 | 0 779.68/780.03 c 774s | 22 | 1672393 | 1592122 | 7719 495 | 0 | 0 781.67/782.06 c 776s | 22 | 1676916 | 1596422 | 7719 496 | 0 | 0 783.67/784.07 c 778s | 22 | 1681230 | 1600622 | 7719 497 | 0 | 0 785.77/786.13 c 781s | 22 | 1685758 | 1604922 | 7719 498 | 0 | 0 787.77/788.15 c 783s | 22 | 1690346 | 1609222 | 7719 499 | 0 | 0 789.77/790.17 c 785s | 22 | 1694813 | 1613422 | 7719 500 | 0 | 0 791.77/792.18 c 787s | 22 | 1699150 | 1617522 | 7719 501 | 0 | 0 793.77/794.18 c 789s | 22 | 1703542 | 1621722 | 7719 502 | 0 | 0 795.77/796.18 c 791s | 22 | 1708297 | 1626122 | 7719 503 | 0 | 0 797.76/798.19 c 793s | 22 | 1712203 | 1629922 | 7719 504 | 0 | 0 799.86/800.20 c 795s | 22 | 1716556 | 1634022 | 7719 505 | 0 | 0 801.86/802.22 c 797s | 22 | 1721082 | 1638322 | 7719 506 | 0 | 0 803.87/804.24 c 799s | 22 | 1725271 | 1642422 | 7719 507 | 0 | 0 805.86/806.30 c 801s | 22 | 1728678 | 1645722 | 7719 508 | 0 | 0 807.95/808.34 c 803s | 22 | 1732591 | 1649422 | 7719 508 | 0 | 0 809.95/810.38 c 805s | 22 | 1737363 | 1653922 | 7719 509 | 0 | 0 812.05/812.45 c 807s | 22 | 1741615 | 1657922 | 7719 510 | 0 | 0 814.05/814.45 c 809s | 22 | 1744860 | 1660822 | 7719 511 | 0 | 0 816.05/816.50 c 811s | 22 | 1748251 | 1663822 | 7719 512 | 0 | 0 818.06/818.50 c 813s | 22 | 1752444 | 1667122 | 7719 513 | 0 | 0 820.15/820.50 c 815s | 22 | 1756169 | 1670122 | 7719 513 | 0 | 0 822.15/822.53 c 817s | 22 | 1759594 | 1672822 | 7719 514 | 0 | 0 824.15/824.58 c 819s | 22 | 1764035 | 1676822 | 7719 515 | 0 | 0 826.25/826.60 c 821s | 22 | 1768504 | 1681022 | 7719 516 | 0 | 0 828.25/828.64 c 823s | 22 | 1772252 | 1684722 | 7719 517 | 0 | 0 830.25/830.68 c 825s | 22 | 1776407 | 1688422 | 7719 518 | 0 | 0 832.35/832.72 c 827s | 22 | 1780766 | 1692322 | 7719 519 | 0 | 0 834.35/834.76 c 829s | 22 | 1785136 | 1696422 | 7719 520 | 0 | 0 836.35/836.80 c 831s | 22 | 1791134 | 1702122 | 7719 521 | 0 | 0 838.45/838.80 c 833s | 22 | 1795579 | 1706422 | 7719 522 | 0 | 0 840.45/840.80 c 835s | 22 | 1799858 | 1710522 | 7719 523 | 0 | 0 842.45/842.83 c 837s | 22 | 1804313 | 1714822 | 7719 524 | 0 | 0 844.45/844.90 c 839s | 22 | 1809560 | 1719922 | 7719 526 | 0 | 0 846.54/846.92 c 841s | 22 | 1813935 | 1724222 | 7719 527 | 0 | 0 848.54/848.95 c 843s | 22 | 1819267 | 1729422 | 7719 528 | 0 | 0 850.54/850.96 c 845s | 22 | 1824189 | 1734222 | 7719 529 | 0 | 0 852.64/853.00 c 847s | 22 | 1828818 | 1738622 | 7719 530 | 0 | 0 854.64/855.04 c 849s | 22 | 1833309 | 1743022 | 7719 531 | 0 | 0 856.65/857.08 c 851s | 22 | 1837605 | 1747222 | 7719 532 | 0 | 0 858.64/859.10 c 853s | 22 | 1841733 | 1751222 | 7719 533 | 0 | 0 860.74/861.13 c 856s | 22 | 1846564 | 1755822 | 7719 534 | 0 | 0 862.74/863.17 c 858s | 22 | 1851570 | 1760622 | 7719 536 | 0 | 0 864.84/865.23 c 860s | 22 | 1855609 | 1764522 | 7719 537 | 0 | 0 866.84/867.24 c 862s | 22 | 1860342 | 1769022 | 7719 538 | 0 | 0 868.84/869.28 c 864s | 22 | 1864054 | 1772622 | 7719 539 | 0 | 0 870.85/871.30 c 866s | 22 | 1869046 | 1777422 | 7719 540 | 0 | 0 872.94/873.34 c 868s | 22 | 1874893 | 1783022 | 7719 541 | 0 | 0 874.94/875.35 c 870s | 22 | 1879358 | 1787322 | 7719 542 | 0 | 0 876.94/877.36 c 872s | 22 | 1884159 | 1791922 | 7719 543 | 0 | 0 878.94/879.36 c 874s | 22 | 1889143 | 1796622 | 7719 544 | 0 | 0 881.04/881.41 c 876s | 22 | 1893399 | 1800722 | 7719 546 | 0 | 0 883.04/883.42 c 878s | 22 | 1898640 | 1805722 | 7719 547 | 0 | 0 885.04/885.44 c 880s | 22 | 1903361 | 1810222 | 7719 548 | 0 | 0 887.04/887.47 c 882s | 22 | 1908260 | 1814922 | 7719 549 | 0 | 0 889.03/889.48 c 884s | 22 | 1912791 | 1819322 | 7719 550 | 0 | 0 891.03/891.49 c 886s | 22 | 1916378 | 1822822 | 7719 551 | 0 | 0 893.13/893.50 c 888s | 22 | 1921973 | 1828222 | 7719 552 | 0 | 0 895.14/895.55 c 890s | 22 | 1926224 | 1832222 | 7719 553 | 0 | 0 897.13/897.57 c 892s | 22 | 1930500 | 1836322 | 7719 554 | 0 | 0 899.23/899.61 c 894s | 22 | 1934736 | 1840422 | 7719 555 | 0 | 0 901.23/901.63 c 896s | 22 | 1939170 | 1844622 | 7719 556 | 0 | 0 903.23/903.69 c 898s | 22 | 1943736 | 1849022 | 7719 557 | 0 | 0 905.33/905.73 c 900s | 22 | 1948227 | 1853322 | 7719 559 | 0 | 0 907.33/907.77 c 902s | 22 | 1953399 | 1858222 | 7719 560 | 0 | 0 909.34/909.80 c 904s | 22 | 1958702 | 1863422 | 7719 561 | 0 | 0 911.43/911.85 c 906s | 22 | 1963069 | 1867722 | 7719 562 | 0 | 0 913.43/913.89 c 908s | 22 | 1966860 | 1871422 | 7719 563 | 0 | 0 915.43/915.89 c 910s | 22 | 1971346 | 1875822 | 7719 564 | 0 | 0 917.53/917.94 c 912s | 22 | 1975794 | 1880222 | 7719 565 | 0 | 0 919.53/919.94 c 914s | 22 | 1980568 | 1884922 | 7719 566 | 0 | 0 921.54/921.96 c 916s | 22 | 1985349 | 1889622 | 7719 568 | 0 | 0 923.53/924.00 c 918s | 22 | 1990469 | 1894522 | 7719 569 | 0 | 0 925.63/926.01 c 920s | 22 | 1995666 | 1899622 | 7719 570 | 0 | 0 927.63/928.01 c 922s | 22 | 1999999 | 1903722 | 7719 571 | 0 | 0 929.63/930.04 c 924s | 22 | 2004390 | 1907922 | 7719 572 | 0 | 0 931.63/932.07 c 926s | 22 | 2009109 | 1912422 | 7719 573 | 0 | 0 933.73/934.12 c 929s | 22 | 2013063 | 1916222 | 7719 574 | 0 | 0 935.73/936.15 c 931s | 22 | 2017850 | 1920822 | 7719 575 | 0 | 0 937.73/938.19 c 933s | 22 | 2022255 | 1925022 | 7719 576 | 0 | 0 939.73/940.19 c 935s | 22 | 2026234 | 1928922 | 7719 577 | 0 | 0 941.82/942.22 c 937s | 22 | 2030703 | 1933222 | 7719 578 | 0 | 0 943.82/944.23 c 939s | 22 | 2035033 | 1937422 | 7719 579 | 0 | 0 945.82/946.27 c 941s | 22 | 2040100 | 1942222 | 7719 581 | 0 | 0 947.83/948.29 c 943s | 22 | 2044791 | 1946822 | 7719 582 | 0 | 0 949.92/950.30 c 945s | 22 | 2048904 | 1950822 | 7719 583 | 0 | 0 951.92/952.31 c 947s | 22 | 2053002 | 1954822 | 7719 584 | 0 | 0 953.92/954.36 c 949s | 22 | 2056861 | 1958622 | 7719 585 | 0 | 0 955.92/956.39 c 951s | 22 | 2061493 | 1963122 | 7719 586 | 0 | 0 958.02/958.42 c 953s | 22 | 2066190 | 1967522 | 7719 587 | 0 | 0 960.03/960.43 c 955s | 22 | 2071122 | 1972322 | 7719 588 | 0 | 0 962.02/962.46 c 957s | 22 | 2075847 | 1976922 | 7719 589 | 0 | 0 964.02/964.46 c 959s | 22 | 2080841 | 1981722 | 7719 590 | 0 | 0 966.12/966.53 c 961s | 22 | 2085466 | 1986222 | 7719 592 | 0 | 0 968.12/968.53 c 963s | 22 | 2089705 | 1990322 | 7719 593 | 0 | 0 970.12/970.55 c 965s | 22 | 2094723 | 1995122 | 7719 594 | 0 | 0 972.12/972.58 c 967s | 22 | 2099456 | 1999722 | 7719 595 | 0 | 0 974.22/974.62 c 969s | 22 | 2103923 | 2004022 | 7719 596 | 0 | 0 976.22/976.64 c 971s | 22 | 2108390 | 2008322 | 7719 597 | 0 | 0 978.22/978.66 c 973s | 22 | 2113338 | 2013122 | 7719 598 | 0 | 0 980.22/980.66 c 975s | 22 | 2118375 | 2017822 | 7719 599 | 0 | 0 982.32/982.75 c 977s | 22 | 2123365 | 2022622 | 7719 601 | 0 | 0 984.32/984.79 c 979s | 22 | 2128359 | 2027422 | 7719 602 | 0 | 0 986.43/986.81 c 981s | 22 | 2133114 | 2032022 | 7719 603 | 0 | 0 988.42/988.84 c 983s | 22 | 2137802 | 2036522 | 7719 604 | 0 | 0 990.42/990.86 c 985s | 22 | 2142973 | 2041522 | 7719 605 | 0 | 0 992.42/992.87 c 987s | 22 | 2148005 | 2046422 | 7719 606 | 0 | 0 994.52/994.91 c 989s | 22 | 2153060 | 2051322 | 7719 608 | 0 | 0 996.52/996.91 c 991s | 22 | 2158234 | 2056222 | 7719 609 | 0 | 0 998.53/998.93 c 993s | 22 | 2162844 | 2060622 | 7719 610 | 0 | 0 1000.52/1000.96 c 995s | 22 | 2167703 | 2065122 | 7719 611 | 0 | 0 1002.52/1002.97 c 997s | 22 | 2172310 | 2069322 | 7719 612 | 0 | 0 1004.52/1004.99 c 999s | 22 | 2177337 | 2074222 | 7719 613 | 0 | 0 1006.62/1007.05 c 1001s | 22 | 2182415 | 2079122 | 7719 615 | 0 | 0 1008.62/1009.06 c 1003s | 22 | 2187442 | 2083922 | 7719 616 | 0 | 0 1010.62/1011.09 c 1005s | 22 | 2191952 | 2088322 | 7719 617 | 0 | 0 1012.62/1013.10 c 1007s | 22 | 2196648 | 2092822 | 7719 618 | 0 | 0 1014.72/1015.13 c 1010s | 22 | 2201040 | 2096922 | 7719 619 | 0 | 0 1016.72/1017.17 c 1012s | 22 | 2205841 | 2101622 | 7719 620 | 0 | 0 1018.82/1019.21 c 1014s | 22 | 2210438 | 2106122 | 7719 621 | 0 | 0 1020.81/1021.23 c 1016s | 22 | 2215580 | 2111122 | 7719 622 | 0 | 0 1022.81/1023.25 c 1018s | 22 | 2220153 | 2115522 | 7719 624 | 0 | 0 1024.82/1025.29 c 1020s | 22 | 2225030 | 2120222 | 7719 625 | 0 | 0 1026.81/1027.29 c 1022s | 22 | 2229759 | 2124722 | 7719 626 | 0 | 0 1028.91/1029.31 c 1024s | 22 | 2234589 | 2129422 | 7719 627 | 0 | 0 1030.91/1031.36 c 1026s | 22 | 2239030 | 2133622 | 7719 628 | 0 | 0 1032.91/1033.36 c 1028s | 22 | 2243779 | 2138222 | 7719 629 | 0 | 0 1034.91/1035.37 c 1030s | 22 | 2248506 | 2142822 | 7719 630 | 0 | 0 1037.02/1037.41 c 1032s | 22 | 2253317 | 2147322 | 7719 631 | 0 | 0 1039.01/1039.41 c 1034s | 22 | 2258077 | 2151922 | 7719 633 | 0 | 0 1041.01/1041.43 c 1036s | 22 | 2262511 | 2156222 | 7719 634 | 0 | 0 1043.01/1043.46 c 1038s | 22 | 2267566 | 2161122 | 7719 635 | 0 | 0 1045.01/1045.49 c 1040s | 22 | 2271288 | 2164722 | 7719 636 | 0 | 0 1047.11/1047.52 c 1042s | 22 | 2275657 | 2168922 | 7719 637 | 0 | 0 1049.12/1049.54 c 1044s | 22 | 2280607 | 2173522 | 7719 638 | 0 | 0 1051.11/1051.57 c 1046s | 22 | 2284946 | 2177522 | 7719 639 | 0 | 0 1053.11/1053.58 c 1048s | 22 | 2290707 | 2183122 | 7719 640 | 0 | 0 1055.11/1055.59 c 1050s | 22 | 2295599 | 2187822 | 7719 641 | 0 | 0 1057.21/1057.62 c 1052s | 22 | 2300079 | 2192122 | 7719 643 | 0 | 0 1059.21/1059.68 c 1054s | 22 | 2305322 | 2197122 | 7719 644 | 0 | 0 1061.31/1061.70 c 1056s | 22 | 2309885 | 2201522 | 7719 645 | 0 | 0 1063.31/1063.72 c 1058s | 22 | 2314219 | 2205722 | 7719 646 | 0 | 0 1065.31/1065.72 c 1060s | 22 | 2319024 | 2210322 | 7719 647 | 0 | 0 1067.31/1067.74 c 1062s | 22 | 2323850 | 2214922 | 7719 648 | 0 | 0 1069.31/1069.75 c 1064s | 22 | 2328591 | 2219322 | 7719 649 | 0 | 0 1071.31/1071.75 c 1066s | 22 | 2333623 | 2224022 | 8491 650 | 0 | 0 1073.31/1073.78 c 1068s | 22 | 2338109 | 2228322 | 8491 651 | 0 | 0 1075.41/1075.82 c 1070s | 22 | 2342669 | 2232722 | 8491 652 | 0 | 0 1077.41/1077.83 c 1072s | 22 | 2347310 | 2237222 | 8491 653 | 0 | 0 1079.40/1079.85 c 1074s | 22 | 2351371 | 2241122 | 8491 654 | 0 | 0 1081.40/1081.85 c 1076s | 22 | 2355566 | 2245222 | 8491 655 | 0 | 0 1083.40/1083.85 c 1078s | 22 | 2359887 | 2249422 | 8491 656 | 0 | 0 1084.10/1084.59 c 1079s | 23 | 2361574 | 2251038 | 8491 656 | 0 | 0 1086.20/1086.62 c 1081s | 23 | 2366469 | 2255638 | 8491 657 | 0 | 0 1088.20/1088.65 c 1083s | 23 | 2371522 | 2260338 | 8491 658 | 0 | 0 1090.20/1090.66 c 1085s | 23 | 2376538 | 2264638 | 8491 659 | 0 | 0 1092.20/1092.69 c 1087s | 23 | 2380788 | 2268338 | 8491 660 | 0 | 0 1094.30/1094.73 c 1089s | 23 | 2385070 | 2272338 | 8491 661 | 0 | 0 1096.31/1096.77 c 1091s | 23 | 2389587 | 2276338 | 8491 662 | 0 | 0 1098.30/1098.78 c 1093s | 23 | 2393720 | 2280038 | 8491 663 | 0 | 0 1100.40/1100.81 c 1095s | 23 | 2397875 | 2283738 | 8491 664 | 0 | 0 1102.40/1102.83 c 1097s | 23 | 2402274 | 2287538 | 8491 664 | 0 | 0 1104.40/1104.84 c 1099s | 23 | 2406367 | 2291238 | 8491 665 | 0 | 0 1106.40/1106.84 c 1101s | 23 | 2410517 | 2294938 | 8491 666 | 0 | 0 1108.41/1108.86 c 1103s | 23 | 2414631 | 2298438 | 8491 667 | 0 | 0 1110.40/1110.88 c 1105s | 23 | 2419177 | 2302438 | 8491 668 | 0 | 0 1112.50/1112.92 c 1107s | 23 | 2423053 | 2306038 | 8491 669 | 0 | 0 1114.50/1114.95 c 1109s | 23 | 2426930 | 2309638 | 8491 669 | 0 | 0 1116.60/1117.01 c 1111s | 23 | 2431017 | 2313338 | 8491 670 | 0 | 0 1118.60/1119.01 c 1113s | 23 | 2435437 | 2316838 | 8491 671 | 0 | 0 1120.60/1121.04 c 1115s | 23 | 2439827 | 2320538 | 8491 672 | 0 | 0 1122.60/1123.08 c 1117s | 23 | 2444011 | 2324238 | 8491 673 | 0 | 0 1124.60/1125.09 c 1119s | 23 | 2447796 | 2327638 | 8491 673 | 0 | 0 1126.70/1127.10 c 1121s | 23 | 2451632 | 2330938 | 8491 674 | 0 | 0 1128.70/1129.14 c 1124s | 23 | 2456203 | 2335238 | 8491 675 | 0 | 0 1130.70/1131.15 c 1126s | 23 | 2460081 | 2338938 | 8491 676 | 0 | 0 1132.70/1133.18 c 1128s | 23 | 2465304 | 2344038 | 8491 677 | 0 | 0 1134.69/1135.19 c 1130s | 23 | 2470002 | 2348238 | 8491 678 | 0 | 0 1136.79/1137.21 c 1132s | 23 | 2473925 | 2351938 | 8491 679 | 0 | 0 1138.79/1139.22 c 1134s | 23 | 2478961 | 2356738 | 8491 680 | 0 | 0 1140.79/1141.23 c 1136s | 23 | 2482704 | 2360038 | 8491 680 | 0 | 0 1142.79/1143.26 c 1138s | 23 | 2486617 | 2363538 | 8491 681 | 0 | 0 1144.80/1145.28 c 1140s | 23 | 2490608 | 2367238 | 8491 682 | 0 | 0 1146.79/1147.30 c 1142s | 23 | 2494514 | 2370738 | 8491 683 | 0 | 0 1148.89/1149.33 c 1144s | 23 | 2498838 | 2374738 | 8491 684 | 0 | 0 1150.89/1151.37 c 1146s | 23 | 2502698 | 2378238 | 8491 685 | 0 | 0 1152.89/1153.38 c 1148s | 23 | 2506545 | 2381838 | 8491 685 | 0 | 0 1154.89/1155.40 c 1150s | 23 | 2511105 | 2385438 | 8491 686 | 0 | 0 1156.99/1157.42 c 1152s | 23 | 2515174 | 2389038 | 8491 687 | 0 | 0 1159.00/1159.45 c 1154s | 23 | 2518630 | 2392138 | 8491 688 | 0 | 0 1160.99/1161.47 c 1156s | 23 | 2523345 | 2396438 | 8491 689 | 0 | 0 1163.10/1163.54 c 1158s | 23 | 2527623 | 2400238 | 8491 689 | 0 | 0 1165.20/1165.60 c 1160s | 23 | 2532086 | 2404138 | 8491 690 | 0 | 0 1167.20/1167.65 c 1162s | 23 | 2535959 | 2407738 | 8491 691 | 0 | 0 1169.20/1169.66 c 1164s | 23 | 2539716 | 2411138 | 8491 692 | 0 | 0 1171.20/1171.67 c 1166s | 23 | 2543445 | 2414338 | 8491 693 | 0 | 0 1173.30/1173.72 c 1168s | 23 | 2547760 | 2418138 | 8491 693 | 0 | 0 1175.29/1175.72 c 1170s | 23 | 2552007 | 2421438 | 8491 694 | 0 | 0 1177.29/1177.72 c 1172s | 23 | 2555876 | 2424838 | 8491 695 | 0 | 0 1179.29/1179.75 c 1174s | 23 | 2559556 | 2428338 | 8491 696 | 0 | 0 1181.29/1181.75 c 1176s | 23 | 2563680 | 2432138 | 8491 696 | 0 | 0 1183.30/1183.76 c 1178s | 23 | 2567467 | 2435538 | 8491 697 | 0 | 0 1185.29/1185.79 c 1180s | 23 | 2572000 | 2439438 | 8491 698 | 0 | 0 1187.39/1187.80 c 1182s | 23 | 2575618 | 2442538 | 8491 699 | 0 | 0 1189.39/1189.81 c 1184s | 23 | 2579335 | 2445838 | 8491 700 | 0 | 0 1191.39/1191.82 c 1186s | 23 | 2583710 | 2449738 | 8491 700 | 0 | 0 1193.39/1193.84 c 1188s | 23 | 2587860 | 2453238 | 8491 701 | 0 | 0 1195.40/1195.87 c 1190s | 23 | 2592127 | 2456838 | 8491 702 | 0 | 0 1197.50/1197.91 c 1192s | 23 | 2596071 | 2460238 | 8491 703 | 0 | 0 1199.49/1199.94 c 1194s | 23 | 2600044 | 2463738 | 8491 703 | 0 | 0 1201.49/1201.96 c 1196s | 23 | 2603798 | 2467238 | 8491 704 | 0 | 0 1203.59/1204.00 c 1198s | 23 | 2607697 | 2470538 | 8491 705 | 0 | 0 1205.59/1206.03 c 1200s | 23 | 2611690 | 2474138 | 8491 706 | 0 | 0 1207.59/1208.04 c 1202s | 23 | 2616140 | 2477638 | 8491 707 | 0 | 0 1209.59/1210.07 c 1204s | 23 | 2620989 | 2482138 | 8491 708 | 0 | 0 1211.59/1212.07 c 1206s | 23 | 2625687 | 2486138 | 8491 708 | 0 | 0 1213.69/1214.12 c 1209s | 23 | 2629434 | 2489638 | 8491 709 | 0 | 0 1215.69/1216.16 c 1211s | 23 | 2633323 | 2493138 | 8491 710 | 0 | 0 1217.69/1218.16 c 1213s | 23 | 2637593 | 2496938 | 8491 711 | 0 | 0 1219.69/1220.17 c 1215s | 23 | 2641290 | 2500238 | 8491 712 | 0 | 0 1221.79/1222.22 c 1217s | 23 | 2644815 | 2503438 | 8491 712 | 0 | 0 1223.78/1224.25 c 1219s | 23 | 2648603 | 2506938 | 8491 713 | 0 | 0 1225.78/1226.29 c 1221s | 23 | 2653396 | 2511138 | 8491 714 | 0 | 0 1227.78/1228.29 c 1223s | 23 | 2657281 | 2514638 | 8491 715 | 0 | 0 1229.88/1230.33 c 1225s | 23 | 2661707 | 2518738 | 8491 716 | 0 | 0 1231.98/1232.41 c 1227s | 23 | 2665385 | 2522138 | 8491 716 | 0 | 0 1233.98/1234.42 c 1229s | 23 | 2669833 | 2526338 | 8491 717 | 0 | 0 1235.99/1236.44 c 1231s | 23 | 2674306 | 2530338 | 8491 718 | 0 | 0 1237.98/1238.46 c 1233s | 23 | 2678416 | 2534038 | 8491 719 | 0 | 0 1239.98/1240.46 c 1235s | 23 | 2682434 | 2537638 | 8491 720 | 0 | 0 1241.98/1242.48 c 1237s | 23 | 2686417 | 2541338 | 8491 721 | 0 | 0 1244.08/1244.50 c 1239s | 23 | 2690105 | 2544738 | 8491 721 | 0 | 0 1246.08/1246.55 c 1241s | 23 | 2694187 | 2548438 | 8491 722 | 0 | 0 1248.09/1248.58 c 1243s | 23 | 2698176 | 2552138 | 8491 723 | 0 | 0 1250.18/1250.60 c 1245s | 23 | 2701866 | 2555238 | 8491 724 | 0 | 0 1252.18/1252.64 c 1247s | 23 | 2705279 | 2558338 | 8491 724 | 0 | 0 1254.18/1254.68 c 1249s | 23 | 2709530 | 2562038 | 8491 725 | 0 | 0 1256.28/1256.71 c 1251s | 23 | 2713314 | 2565538 | 8491 726 | 0 | 0 1258.28/1258.73 c 1253s | 23 | 2717457 | 2569338 | 8491 727 | 0 | 0 1260.28/1260.77 c 1255s | 23 | 2721300 | 2572838 | 8491 728 | 0 | 0 1262.28/1262.80 c 1257s | 23 | 2726044 | 2577438 | 8491 729 | 0 | 0 1264.38/1264.81 c 1259s | 23 | 2729852 | 2581138 | 8491 730 | 0 | 0 1266.38/1266.84 c 1261s | 23 | 2733918 | 2584838 | 8491 730 | 0 | 0 1268.38/1268.86 c 1263s | 23 | 2738427 | 2588738 | 8491 731 | 0 | 0 1270.37/1270.87 c 1265s | 23 | 2742710 | 2592538 | 8491 732 | 0 | 0 1272.47/1272.92 c 1267s | 23 | 2746942 | 2596238 | 8491 733 | 0 | 0 1274.48/1274.92 c 1269s | 23 | 2750839 | 2599738 | 8491 734 | 0 | 0 1276.47/1276.94 c 1271s | 23 | 2754801 | 2603338 | 8491 734 | 0 | 0 1278.47/1278.98 c 1273s | 23 | 2759111 | 2607338 | 8491 735 | 0 | 0 1280.47/1280.99 c 1275s | 23 | 2763660 | 2611538 | 8491 736 | 0 | 0 1282.57/1283.03 c 1277s | 23 | 2767973 | 2615138 | 8491 737 | 0 | 0 1284.57/1285.04 c 1279s | 23 | 2772031 | 2618638 | 8491 738 | 0 | 0 1286.58/1287.06 c 1281s | 23 | 2775993 | 2622138 | 8491 739 | 0 | 0 1288.57/1289.09 c 1283s | 23 | 2780402 | 2626338 | 8491 740 | 0 | 0 1290.57/1291.09 c 1285s | 23 | 2784899 | 2630538 | 8491 740 | 0 | 0 1292.67/1293.15 c 1288s | 23 | 2789169 | 2634138 | 8491 741 | 0 | 0 1294.67/1295.15 c 1290s | 23 | 2793111 | 2637738 | 8491 742 | 0 | 0 1296.67/1297.19 c 1292s | 23 | 2796969 | 2640938 | 8491 743 | 0 | 0 1298.78/1299.21 c 1294s | 23 | 2800741 | 2644238 | 8491 743 | 0 | 0 1300.77/1301.22 c 1296s | 23 | 2804994 | 2648138 | 8491 744 | 0 | 0 1302.77/1303.23 c 1298s | 23 | 2809286 | 2651938 | 8491 745 | 0 | 0 1304.77/1305.24 c 1300s | 23 | 2813313 | 2655438 | 8491 746 | 0 | 0 1306.77/1307.24 c 1302s | 23 | 2817201 | 2658938 | 8491 747 | 0 | 0 1308.77/1309.27 c 1304s | 23 | 2821525 | 2662938 | 8491 748 | 0 | 0 1310.87/1311.34 c 1306s | 23 | 2826049 | 2666838 | 8491 749 | 0 | 0 1312.87/1313.36 c 1308s | 23 | 2830542 | 2670938 | 8491 749 | 0 | 0 1314.97/1315.43 c 1310s | 23 | 2834475 | 2674338 | 8491 750 | 0 | 0 1316.97/1317.47 c 1312s | 23 | 2838330 | 2677838 | 8491 751 | 0 | 0 1318.97/1319.49 c 1314s | 23 | 2841657 | 2680838 | 8491 752 | 0 | 0 1321.07/1321.53 c 1316s | 23 | 2845866 | 2684638 | 8491 752 | 0 | 0 1323.07/1323.53 c 1318s | 23 | 2850042 | 2688138 | 8491 753 | 0 | 0 1325.07/1325.55 c 1320s | 23 | 2854149 | 2691838 | 8491 754 | 0 | 0 1327.07/1327.59 c 1322s | 23 | 2858535 | 2695938 | 8491 755 | 0 | 0 1329.17/1329.64 c 1324s | 23 | 2862780 | 2699838 | 8491 756 | 0 | 0 1331.16/1331.65 c 1326s | 23 | 2866744 | 2703438 | 8491 757 | 0 | 0 1333.16/1333.66 c 1328s | 23 | 2870830 | 2707238 | 8491 757 | 0 | 0 1335.16/1335.69 c 1330s | 23 | 2874545 | 2710738 | 8491 758 | 0 | 0 1337.27/1337.73 c 1332s | 23 | 2878332 | 2714238 | 8491 759 | 0 | 0 1339.26/1339.75 c 1334s | 23 | 2882016 | 2717638 | 8491 760 | 0 | 0 1341.26/1341.76 c 1336s | 23 | 2885799 | 2720938 | 8491 761 | 0 | 0 1343.36/1343.81 c 1338s | 23 | 2890007 | 2724538 | 8491 761 | 0 | 0 1345.36/1345.85 c 1340s | 23 | 2893822 | 2727938 | 8491 762 | 0 | 0 1347.36/1347.87 c 1342s | 23 | 2897549 | 2731338 | 8491 763 | 0 | 0 1349.37/1349.88 c 1344s | 23 | 2900922 | 2734438 | 8491 764 | 0 | 0 1351.36/1351.90 c 1346s | 23 | 2904955 | 2738038 | 8491 764 | 0 | 0 1353.46/1353.94 c 1348s | 23 | 2909360 | 2741938 | 8491 765 | 0 | 0 1355.46/1355.95 c 1350s | 23 | 2913057 | 2745338 | 8491 766 | 0 | 0 1357.56/1358.05 c 1352s | 23 | 2915805 | 2747938 | 8491 767 | 0 | 0 1359.56/1360.05 c 1354s | 23 | 2919814 | 2751638 | 8491 767 | 0 | 0 1361.56/1362.06 c 1356s | 23 | 2923800 | 2755338 | 8491 768 | 0 | 0 1363.66/1364.14 c 1359s | 23 | 2928067 | 2759238 | 8491 769 | 0 | 0 1365.66/1366.15 c 1361s | 23 | 2931978 | 2762638 | 8491 770 | 0 | 0 1367.66/1368.18 c 1363s | 23 | 2936360 | 2766438 | 8491 771 | 0 | 0 1369.66/1370.18 c 1365s | 23 | 2940094 | 2769838 | 8491 771 | 0 | 0 1371.76/1372.23 c 1367s | 23 | 2944032 | 2773438 | 8491 772 | 0 | 0 1373.76/1374.26 c 1369s | 23 | 2947968 | 2777038 | 8491 773 | 0 | 0 1375.76/1376.28 c 1371s | 23 | 2952268 | 2781038 | 8491 774 | 0 | 0 1377.86/1378.31 c 1373s | 23 | 2956831 | 2785038 | 8491 775 | 0 | 0 1379.85/1380.32 c 1375s | 23 | 2960679 | 2788538 | 8491 776 | 0 | 0 1381.85/1382.36 c 1377s | 23 | 2965188 | 2792638 | 8491 776 | 0 | 0 1383.85/1384.36 c 1379s | 23 | 2969322 | 2796438 | 8491 777 | 0 | 0 1385.85/1386.39 c 1381s | 23 | 2973156 | 2799838 | 8491 778 | 0 | 0 1387.95/1388.40 c 1383s | 23 | 2977664 | 2803838 | 8491 779 | 0 | 0 1389.96/1390.44 c 1385s | 23 | 2981894 | 2807738 | 8491 780 | 0 | 0 1391.95/1392.46 c 1387s | 23 | 2986328 | 2811938 | 8491 781 | 0 | 0 1393.95/1394.49 c 1389s | 23 | 2991711 | 2817138 | 8491 782 | 0 | 0 1395.95/1396.50 c 1391s | 23 | 2996086 | 2821338 | 8491 783 | 0 | 0 1398.05/1398.51 c 1393s | 23 | 3000129 | 2824938 | 8491 784 | 0 | 0 1400.05/1400.56 c 1395s | 23 | 3004959 | 2829238 | 8491 785 | 0 | 0 1402.17/1402.61 c 1397s | 23 | 3009408 | 2832838 | 8491 785 | 0 | 0 1404.16/1404.64 c 1399s | 23 | 3013498 | 2836638 | 8491 786 | 0 | 0 1406.16/1406.68 c 1401s | 23 | 3017007 | 2839938 | 8491 787 | 0 | 0 1408.26/1408.72 c 1403s | 23 | 3021591 | 2843738 | 8491 788 | 0 | 0 1410.26/1410.75 c 1405s | 23 | 3025615 | 2847338 | 8491 789 | 0 | 0 1412.26/1412.76 c 1407s | 23 | 3029424 | 2850838 | 8491 789 | 0 | 0 1414.26/1414.78 c 1409s | 23 | 3033295 | 2854338 | 8491 790 | 0 | 0 1416.36/1416.84 c 1411s | 23 | 3037256 | 2857938 | 8491 791 | 0 | 0 1418.36/1418.85 c 1413s | 23 | 3041430 | 2861638 | 8491 792 | 0 | 0 1420.36/1420.89 c 1415s | 23 | 3045468 | 2865038 | 8491 793 | 0 | 0 1422.45/1422.91 c 1417s | 23 | 3049363 | 2868538 | 8491 793 | 0 | 0 1424.45/1424.94 c 1419s | 23 | 3053923 | 2872238 | 8491 794 | 0 | 0 1426.45/1426.94 c 1421s | 23 | 3057915 | 2875938 | 8491 795 | 0 | 0 1428.46/1428.96 c 1423s | 23 | 3062422 | 2880138 | 8491 796 | 0 | 0 1430.45/1430.97 c 1425s | 23 | 3067242 | 2884638 | 8491 797 | 0 | 0 1432.45/1432.98 c 1427s | 23 | 3069810 | 2886938 | 8491 797 | 0 | 0 1434.65/1435.12 c 1430s | 23 | 3074034 | 2890838 | 8491 798 | 0 | 0 1436.65/1437.15 c 1432s | 23 | 3077807 | 2894338 | 8491 799 | 0 | 0 1438.65/1439.16 c 1434s | 23 | 3082009 | 2898338 | 8491 800 | 0 | 0 1440.66/1441.18 c 1436s | 23 | 3086774 | 2902938 | 8491 801 | 0 | 0 1442.65/1443.19 c 1438s | 23 | 3091337 | 2907238 | 8491 802 | 0 | 0 1444.75/1445.21 c 1440s | 23 | 3095355 | 2911138 | 8491 803 | 0 | 0 1446.75/1447.24 c 1442s | 23 | 3099633 | 2915338 | 8491 803 | 0 | 0 1448.75/1449.24 c 1444s | 23 | 3103729 | 2919338 | 8491 804 | 0 | 0 1450.75/1451.26 c 1446s | 23 | 3107601 | 2923038 | 8491 805 | 0 | 0 1452.75/1453.27 c 1448s | 23 | 3111678 | 2927038 | 8491 806 | 0 | 0 1454.75/1455.29 c 1450s | 23 | 3115386 | 2930638 | 8491 807 | 0 | 0 1456.85/1457.30 c 1452s | 23 | 3119059 | 2934238 | 8491 808 | 0 | 0 1458.85/1459.35 c 1454s | 23 | 3122609 | 2937538 | 8491 808 | 0 | 0 1460.84/1461.37 c 1456s | 23 | 3126617 | 2941438 | 8491 809 | 0 | 0 1462.84/1463.39 c 1458s | 23 | 3131124 | 2945638 | 8491 810 | 0 | 0 1465.04/1465.50 c 1460s | 23 | 3134092 | 2948438 | 8491 811 | 0 | 0 1467.05/1467.52 c 1462s | 23 | 3138102 | 2952238 | 8491 811 | 0 | 0 1469.04/1469.52 c 1464s | 23 | 3142193 | 2956138 | 8491 812 | 0 | 0 1471.04/1471.56 c 1466s | 23 | 3146448 | 2960338 | 8491 813 | 0 | 0 1473.04/1473.58 c 1468s | 23 | 3150296 | 2964138 | 8491 814 | 0 | 0 1475.14/1475.61 c 1470s | 23 | 3154281 | 2968038 | 8491 815 | 0 | 0 1477.14/1477.64 c 1472s | 23 | 3158196 | 2971838 | 8491 816 | 0 | 0 1479.15/1479.64 c 1474s | 23 | 3162570 | 2976038 | 8491 817 | 0 | 0 1481.14/1481.66 c 1476s | 23 | 3166999 | 2980338 | 8491 818 | 0 | 0 1483.24/1483.70 c 1478s | 23 | 3171018 | 2984238 | 8491 818 | 0 | 0 1485.24/1485.72 c 1480s | 23 | 3175072 | 2988138 | 8491 819 | 0 | 0 1487.24/1487.73 c 1482s | 23 | 3179271 | 2992238 | 8491 820 | 0 | 0 1489.24/1489.78 c 1484s | 23 | 3183080 | 2995938 | 8491 821 | 0 | 0 1491.34/1491.80 c 1486s | 23 | 3187342 | 3000038 | 8491 822 | 0 | 0 1493.35/1493.83 c 1488s | 23 | 3191686 | 3004238 | 8491 823 | 0 | 0 1495.44/1495.91 c 1490s | 23 | 3195788 | 3008238 | 8491 824 | 0 | 0 1497.44/1497.97 c 1492s | 23 | 3199829 | 3012138 | 8491 825 | 0 | 0 1499.44/1499.97 c 1494s | 23 | 3204505 | 3016538 | 8491 825 | 0 | 0 1501.54/1502.00 c 1496s | 23 | 3208681 | 3020538 | 8491 826 | 0 | 0 1503.54/1504.02 c 1498s | 23 | 3212823 | 3024438 | 8491 827 | 0 | 0 1505.54/1506.07 c 1500s | 23 | 3216627 | 3028038 | 8491 828 | 0 | 0 1507.64/1508.12 c 1503s | 23 | 3220123 | 3031338 | 8491 829 | 0 | 0 1509.63/1510.14 c 1505s | 23 | 3224242 | 3035338 | 8491 830 | 0 | 0 1511.63/1512.15 c 1507s | 23 | 3228366 | 3039338 | 8491 830 | 0 | 0 1513.63/1514.16 c 1509s | 23 | 3232452 | 3043338 | 8491 831 | 0 | 0 1515.64/1516.18 c 1511s | 23 | 3236639 | 3047438 | 8491 832 | 0 | 0 1517.74/1518.21 c 1513s | 23 | 3240465 | 3051138 | 8491 833 | 0 | 0 1519.75/1520.22 c 1515s | 23 | 3244124 | 3054738 | 8491 834 | 0 | 0 1521.74/1522.25 c 1517s | 23 | 3247792 | 3058238 | 8491 835 | 0 | 0 1523.84/1524.31 c 1519s | 23 | 3251928 | 3062238 | 8491 835 | 0 | 0 1525.84/1526.33 c 1521s | 23 | 3256124 | 3066138 | 8491 836 | 0 | 0 1527.84/1528.34 c 1523s | 23 | 3260725 | 3070538 | 8491 837 | 0 | 0 1529.84/1530.35 c 1525s | 23 | 3265440 | 3074838 | 8491 838 | 0 | 0 1531.85/1532.40 c 1527s | 23 | 3269800 | 3079038 | 8491 839 | 0 | 0 1533.94/1534.41 c 1529s | 23 | 3273341 | 3082438 | 8491 840 | 0 | 0 1535.94/1536.42 c 1531s | 23 | 3277410 | 3086438 | 8491 841 | 0 | 0 1537.94/1538.44 c 1533s | 23 | 3281189 | 3090038 | 8491 841 | 0 | 0 1539.94/1540.49 c 1535s | 23 | 3285441 | 3094138 | 8491 842 | 0 | 0 1542.04/1542.50 c 1537s | 23 | 3288917 | 3097438 | 8491 843 | 0 | 0 1544.05/1544.57 c 1539s | 23 | 3293169 | 3101538 | 8491 844 | 0 | 0 1546.15/1546.62 c 1541s | 23 | 3296695 | 3104938 | 8491 845 | 0 | 0 1548.14/1548.65 c 1543s | 23 | 3300608 | 3108738 | 8491 846 | 0 | 0 1550.24/1550.72 c 1545s | 23 | 3305038 | 3113038 | 8491 847 | 0 | 0 1552.24/1552.75 c 1547s | 23 | 3309115 | 3116938 | 8491 847 | 0 | 0 1554.24/1554.77 c 1549s | 23 | 3313055 | 3120738 | 8491 848 | 0 | 0 1556.34/1556.81 c 1551s | 23 | 3317028 | 3124638 | 8491 849 | 0 | 0 1558.34/1558.82 c 1553s | 23 | 3320944 | 3128438 | 8491 850 | 0 | 0 1560.34/1560.82 c 1555s | 23 | 3324416 | 3131838 | 8491 851 | 0 | 0 1562.34/1562.86 c 1557s | 23 | 3328137 | 3135438 | 8491 851 | 0 | 0 1564.34/1564.87 c 1559s | 23 | 3332320 | 3139538 | 8491 852 | 0 | 0 1566.43/1566.92 c 1561s | 23 | 3336107 | 3143238 | 8491 853 | 0 | 0 1568.43/1568.94 c 1563s | 23 | 3339851 | 3146838 | 8491 854 | 0 | 0 1570.44/1570.95 c 1565s | 23 | 3343677 | 3150538 | 8491 855 | 0 | 0 1572.43/1572.97 c 1567s | 23 | 3347244 | 3154038 | 8491 855 | 0 | 0 1574.53/1575.00 c 1569s | 23 | 3351381 | 3158038 | 8491 856 | 0 | 0 1576.53/1577.00 c 1571s | 23 | 3355208 | 3161638 | 8491 857 | 0 | 0 1578.53/1579.05 c 1573s | 23 | 3358722 | 3165038 | 8491 858 | 0 | 0 1580.53/1581.09 c 1575s | 23 | 3362291 | 3168338 | 8491 859 | 0 | 0 1582.63/1583.12 c 1578s | 23 | 3366146 | 3172038 | 8491 859 | 0 | 0 1584.64/1585.13 c 1580s | 23 | 3370307 | 3176138 | 8491 860 | 0 | 0 1586.63/1587.17 c 1582s | 23 | 3374931 | 3180638 | 8491 861 | 0 | 0 1588.73/1589.22 c 1584s | 23 | 3379773 | 3185338 | 8491 862 | 0 | 0 1590.73/1591.23 c 1586s | 23 | 3384097 | 3189438 | 8491 863 | 0 | 0 1592.73/1593.23 c 1588s | 23 | 3387759 | 3192938 | 8491 864 | 0 | 0 1594.73/1595.24 c 1590s | 23 | 3391647 | 3196638 | 8491 865 | 0 | 0 1596.83/1597.30 c 1592s | 23 | 3395414 | 3200238 | 8491 866 | 0 | 0 1598.83/1599.31 c 1594s | 23 | 3399010 | 3203738 | 8491 866 | 0 | 0 1600.82/1601.32 c 1596s | 23 | 3402681 | 3207338 | 8491 867 | 0 | 0 1602.82/1603.34 c 1598s | 23 | 3406246 | 3210738 | 8491 868 | 0 | 0 1604.82/1605.37 c 1600s | 23 | 3409579 | 3213938 | 8491 868 | 0 | 0 1606.82/1607.37 c 1602s | 23 | 3413481 | 3217738 | 8491 869 | 0 | 0 1608.83/1609.39 c 1604s | 23 | 3417572 | 3221638 | 8491 870 | 0 | 0 1610.82/1611.39 c 1606s | 23 | 3421610 | 3225438 | 8491 871 | 0 | 0 1612.92/1613.43 c 1608s | 23 | 3425075 | 3228538 | 8491 872 | 0 | 0 1614.92/1615.43 c 1610s | 23 | 3428550 | 3231738 | 8491 872 | 0 | 0 1616.92/1617.47 c 1612s | 23 | 3432625 | 3235638 | 8491 873 | 0 | 0 1619.02/1619.50 c 1614s | 23 | 3436829 | 3239738 | 8491 874 | 0 | 0 1621.03/1621.53 c 1616s | 23 | 3440300 | 3243038 | 8491 875 | 0 | 0 1623.02/1623.58 c 1618s | 23 | 3444126 | 3246738 | 8491 876 | 0 | 0 1625.12/1625.62 c 1620s | 23 | 3448127 | 3250638 | 8491 876 | 0 | 0 1627.12/1627.64 c 1622s | 23 | 3451833 | 3254238 | 8491 877 | 0 | 0 1629.12/1629.65 c 1624s | 23 | 3455359 | 3257538 | 8491 878 | 0 | 0 1631.22/1631.70 c 1626s | 23 | 3458720 | 3260738 | 8491 879 | 0 | 0 1633.22/1633.71 c 1628s | 23 | 3462199 | 3264138 | 8491 879 | 0 | 0 1635.22/1635.76 c 1630s | 23 | 3466049 | 3267838 | 8491 880 | 0 | 0 1637.22/1637.78 c 1632s | 23 | 3469989 | 3271638 | 8491 881 | 0 | 0 1639.32/1639.80 c 1634s | 23 | 3474009 | 3275538 | 8491 882 | 0 | 0 1641.32/1641.81 c 1636s | 23 | 3477387 | 3278838 | 8491 883 | 0 | 0 1643.32/1643.81 c 1638s | 23 | 3481393 | 3282738 | 8491 883 | 0 | 0 1645.32/1645.83 c 1640s | 23 | 3485778 | 3286938 | 8491 884 | 0 | 0 1647.32/1647.89 c 1642s | 23 | 3489676 | 3290638 | 8491 885 | 0 | 0 1649.32/1649.89 c 1644s | 23 | 3493464 | 3294238 | 8491 886 | 0 | 0 1651.42/1651.92 c 1646s | 23 | 3497216 | 3297938 | 8491 887 | 0 | 0 1653.41/1653.95 c 1648s | 23 | 3501595 | 3302138 | 8491 888 | 0 | 0 1655.51/1656.00 c 1650s | 23 | 3505225 | 3305638 | 8491 888 | 0 | 0 1657.51/1658.03 c 1652s | 23 | 3508381 | 3308638 | 8491 889 | 0 | 0 1659.52/1660.07 c 1654s | 23 | 3512276 | 3312238 | 8491 890 | 0 | 0 1661.51/1662.09 c 1656s | 23 | 3515790 | 3315538 | 8491 891 | 0 | 0 1663.61/1664.13 c 1659s | 23 | 3519611 | 3319038 | 8491 891 | 0 | 0 1665.61/1666.14 c 1661s | 23 | 3524361 | 3323438 | 8491 892 | 0 | 0 1667.61/1668.17 c 1663s | 23 | 3528492 | 3327238 | 8491 893 | 0 | 0 1669.61/1670.19 c 1665s | 23 | 3532225 | 3330838 | 8491 894 | 0 | 0 1671.71/1672.21 c 1667s | 23 | 3535794 | 3334338 | 8491 895 | 0 | 0 1673.72/1674.22 c 1669s | 23 | 3539432 | 3337838 | 8491 895 | 0 | 0 1675.71/1676.27 c 1671s | 23 | 3542910 | 3341238 | 9341 896 | 0 | 0 1677.71/1678.29 c 1673s | 23 | 3545817 | 3344038 | 9341 897 | 0 | 0 1679.82/1680.31 c 1675s | 23 | 3549285 | 3347438 | 9341 897 | 0 | 0 1681.82/1682.31 c 1677s | 23 | 3553181 | 3351238 | 9341 898 | 0 | 0 1683.82/1684.35 c 1679s | 23 | 3557329 | 3355238 | 9341 899 | 0 | 0 1685.82/1686.38 c 1681s | 23 | 3561241 | 3358938 | 9341 900 | 0 | 0 1687.82/1688.39 c 1683s | 23 | 3565848 | 3363338 | 9341 900 | 0 | 0 1689.92/1690.43 c 1685s | 23 | 3570646 | 3367938 | 9341 901 | 0 | 0 1691.91/1692.44 c 1687s | 23 | 3574576 | 3371738 | 9341 902 | 0 | 0 1694.01/1694.51 c 1689s | 23 | 3578625 | 3375638 | 9341 903 | 0 | 0 1694.51/1695.06 c 1689s | 24 | 3579728 | 3376662 | 9341 903 | 0 | 0 1696.51/1697.06 c 1691s | 24 | 3585591 | 3382262 | 9341 904 | 0 | 0 1698.51/1699.08 c 1693s | 24 | 3590572 | 3387162 | 9341 905 | 0 | 0 1700.61/1701.11 c 1695s | 24 | 3594512 | 3391062 | 9341 906 | 0 | 0 1702.61/1703.15 c 1698s | 24 | 3598249 | 3394762 | 9341 907 | 0 | 0 1704.71/1705.20 c 1700s | 24 | 3601914 | 3398362 | 9341 908 | 0 | 0 1706.72/1707.23 c 1702s | 24 | 3606831 | 3403162 | 9341 908 | 0 | 0 1708.71/1709.28 c 1704s | 24 | 3611032 | 3407262 | 9341 909 | 0 | 0 1710.81/1711.31 c 1706s | 24 | 3615418 | 3411562 | 9341 910 | 0 | 0 1712.81/1713.36 c 1708s | 24 | 3619893 | 3415962 | 9341 911 | 0 | 0 1714.81/1715.37 c 1710s | 24 | 3623637 | 3419662 | 9341 912 | 0 | 0 1716.81/1717.38 c 1712s | 24 | 3627252 | 3423262 | 9341 913 | 0 | 0 1718.91/1719.43 c 1714s | 24 | 3632250 | 3428162 | 9341 914 | 0 | 0 1720.91/1721.45 c 1716s | 24 | 3636276 | 3432162 | 9341 914 | 0 | 0 1722.91/1723.46 c 1718s | 24 | 3640221 | 3436062 | 9341 915 | 0 | 0 1725.01/1725.51 c 1720s | 24 | 3644050 | 3439862 | 9341 916 | 0 | 0 1727.01/1727.53 c 1722s | 24 | 3648193 | 3443962 | 9341 917 | 0 | 0 1729.01/1729.57 c 1724s | 24 | 3652080 | 3447762 | 9341 917 | 0 | 0 1731.01/1731.57 c 1726s | 24 | 3655902 | 3451462 | 9341 918 | 0 | 0 1733.00/1733.59 c 1728s | 24 | 3660521 | 3455762 | 9341 919 | 0 | 0 1735.00/1735.59 c 1730s | 24 | 3663490 | 3458562 | 9341 920 | 0 | 0 1737.10/1737.61 c 1732s | 24 | 3666530 | 3461362 | 9341 920 | 0 | 0 1739.10/1739.62 c 1734s | 24 | 3670688 | 3465362 | 9341 921 | 0 | 0 1741.10/1741.65 c 1736s | 24 | 3673953 | 3468462 | 9341 922 | 0 | 0 1743.11/1743.66 c 1738s | 24 | 3677903 | 3472262 | 9341 922 | 0 | 0 1745.21/1745.72 c 1740s | 24 | 3681964 | 3476262 | 9341 923 | 0 | 0 1747.20/1747.74 c 1742s | 24 | 3685805 | 3480062 | 9341 924 | 0 | 0 1749.20/1749.77 c 1744s | 24 | 3689107 | 3483262 | 9341 925 | 0 | 0 1751.20/1751.78 c 1746s | 24 | 3692258 | 3486362 | 9341 925 | 0 | 0 1753.30/1753.81 c 1748s | 24 | 3695401 | 3489462 | 9341 926 | 0 | 0 1755.30/1755.85 c 1750s | 24 | 3699204 | 3493162 | 9341 927 | 0 | 0 1757.31/1757.85 c 1752s | 24 | 3703003 | 3496862 | 9341 927 | 0 | 0 1759.30/1759.87 c 1754s | 24 | 3707440 | 3501262 | 9341 928 | 0 | 0 1761.40/1761.91 c 1756s | 24 | 3711390 | 3505162 | 9341 929 | 0 | 0 1763.40/1763.95 c 1758s | 24 | 3715779 | 3509462 | 9341 930 | 0 | 0 1765.50/1766.00 c 1760s | 24 | 3718930 | 3512462 | 9341 931 | 0 | 0 1767.50/1768.01 c 1762s | 24 | 3722831 | 3516262 | 9341 931 | 0 | 0 1769.51/1770.06 c 1764s | 24 | 3726477 | 3519862 | 9341 932 | 0 | 0 1771.50/1772.10 c 1766s | 24 | 3730437 | 3523762 | 9341 933 | 0 | 0 1773.60/1774.16 c 1769s | 24 | 3733536 | 3526662 | 9341 933 | 0 | 0 1775.60/1776.17 c 1771s | 24 | 3737251 | 3530262 | 9341 934 | 0 | 0 1777.70/1778.20 c 1773s | 24 | 3741139 | 3534062 | 9341 935 | 0 | 0 1779.70/1780.22 c 1775s | 24 | 3744913 | 3537762 | 9341 936 | 0 | 0 1781.70/1782.27 c 1777s | 24 | 3749119 | 3541862 | 9341 937 | 0 | 0 1783.80/1784.32 c 1779s | 24 | 3752934 | 3545462 | 9341 937 | 0 | 0 1785.79/1786.35 c 1781s | 24 | 3756918 | 3549362 | 9341 938 | 0 | 0 1787.79/1788.36 c 1783s | 24 | 3760502 | 3552862 | 9341 939 | 0 | 0 1789.79/1790.37 c 1785s | 24 | 3764369 | 3556562 | 9341 939 | 0 | 0 1791.79/1792.38 c 1787s | 24 | 3768160 | 3560262 | 9341 940 | 0 | 0 1793.89/1794.40 c 1789s | 24 | 3771976 | 3563662 | 9341 941 | 0 | 0 1795.99/1796.50 c 1791s | 24 | 3775134 | 3566662 | 9341 942 | 0 | 0 1798.00/1798.52 c 1793s | 24 | 3779021 | 3570462 | 9341 942 | 0 | 0 1799.99/1800.54 c 1795s | 24 | 3782720 | 3574062 | 9341 943 | 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-4106025-1466262710/watcher-4106025-1466262710 -o /tmp/evaluation-result-4106025-1466262710/solver-4106025-1466262710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106025-1466262710.opb pid=8346 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.08 2.01 3/179 8349 /proc/meminfo: memFree=30204048/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=643516 CPUtime=0 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 2382 0 0 0 0 0 0 0 20 0 4 0 28321127 658960384 3254 33554432000 4194304 16246674 140737086393792 140737086393216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 161391 3261 441 2943 0 158285 0 [pid=8349/tid=8350] ppid=8346 vsize=686524 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 703000576 3423 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=691644 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 708243456 3440 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=695740 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28321127 712437760 3457 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.10 2.08 2.01 3/179 8349 /proc/meminfo: memFree=30204048/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 22412 0 0 0 6 3 0 0 20 0 4 0 28321127 1247350784 23272 33554432000 4194304 16246674 140737086393792 140737086393216 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 304529 23277 758 2943 0 301423 0 [pid=8349/tid=8350] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 23282 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 23287 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 23295 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200499 s] /proc/loadavg: 2.10 2.08 2.01 3/179 8349 /proc/meminfo: memFree=30204048/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 40862 0 0 0 14 5 0 0 20 0 4 0 28321127 1247350784 41721 33554432000 4194304 16246674 140737086393792 140737086393216 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 304529 41726 758 2943 0 301423 0 [pid=8349/tid=8350] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 41728 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 41732 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 41736 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300463 s] /proc/loadavg: 2.10 2.08 2.01 3/179 8349 /proc/meminfo: memFree=30204048/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 56004 0 0 0 22 7 0 0 20 0 4 0 28321127 1247350784 56864 33554432000 4194304 16246674 140737086393792 140737086393216 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 304529 56871 758 2943 0 301423 0 [pid=8349/tid=8350] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 56875 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 56878 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 56882 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700387 s] /proc/loadavg: 2.10 2.08 2.01 3/179 8349 /proc/meminfo: memFree=30204048/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 118372 0 0 0 53 16 0 0 20 0 4 0 28321127 1247350784 119231 33554432000 4194304 16246674 140737086393792 140737086375680 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 304529 119237 758 2943 0 301423 0 [pid=8349/tid=8350] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 119242 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 119246 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28321127 1247350784 119252 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50038 s] /proc/loadavg: 2.09 2.08 2.01 3/183 8353 /proc/meminfo: memFree=29432724/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 246287 0 0 0 116 33 0 0 20 0 4 0 28321127 1250496512 247123 33554432000 4194304 16246674 140737086393792 140737086393104 12477688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 305297 247123 832 2943 0 302191 0 [pid=8349/tid=8350] ppid=8346 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1250496512 247123 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1250496512 247123 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1250496512 247123 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10039 s] /proc/loadavg: 2.09 2.08 2.01 3/183 8353 /proc/meminfo: memFree=29215848/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1301060 CPUtime=3.09 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 266308 0 0 0 274 35 0 0 20 0 4 0 28321127 1332285440 267144 33554432000 4194304 16246674 140737086393792 140737086375680 5824098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 325265 267144 832 2943 0 322159 0 [pid=8349/tid=8350] ppid=8346 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1332285440 267144 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1332285440 267144 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1332285440 267144 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1301060 [startup+6.30042 s] /proc/loadavg: 2.08 2.08 2.01 3/183 8353 /proc/meminfo: memFree=29129088/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 268148 0 0 0 594 35 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 140737086375680 6010548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 327057 268984 851 2943 0 323951 0 [pid=8349/tid=8350] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.08 2.08 2.01 3/183 8353 /proc/meminfo: memFree=29128432/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 268148 0 0 0 1233 35 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 140737086375680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 327057 268984 851 2943 0 323951 0 [pid=8349/tid=8350] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1339625472 268984 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.07 2.08 2.01 3/183 8353 /proc/meminfo: memFree=29122596/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 269686 0 0 0 2513 36 0 0 20 0 4 0 28321127 1345916928 270522 33554432000 4194304 16246674 140737086393792 140737086375680 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 328593 270522 853 2943 0 325487 0 [pid=8349/tid=8350] ppid=8346 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1345916928 270522 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1345916928 270522 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1345916928 270522 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.15 2.10 2.02 3/183 8353 /proc/meminfo: memFree=29119452/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1317444 CPUtime=51.09 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 270454 0 0 0 5073 36 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 140737086376792 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 329361 271290 853 2943 0 326255 0 [pid=8349/tid=8350] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1317444 [startup+102.3 s] /proc/loadavg: 2.12 2.09 2.02 3/183 8354 /proc/meminfo: memFree=29119364/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 270454 0 0 0 10192 36 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 140737086375680 5723034 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 329361 271290 853 2943 0 326255 0 [pid=8349/tid=8350] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1349062656 271290 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1336900 [startup+1302.3 s] /proc/loadavg: 2.23 2.18 2.12 3/183 8433 /proc/meminfo: memFree=29091584/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1301.87 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 130142 45 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 12478229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.14 2.16 2.11 3/183 8434 /proc/meminfo: memFree=29091364/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1361.86 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 136141 45 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5722804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.14 2.16 2.11 3/183 8435 /proc/meminfo: memFree=29091396/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1421.86 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 142140 46 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.16 2.16 2.11 3/183 8436 /proc/meminfo: memFree=29090312/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1481.84 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 148138 46 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 13780568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.15 2.16 2.11 3/183 8438 /proc/meminfo: memFree=29090736/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1541.85 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 154138 47 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.10 2.14 2.10 4/183 8439 /proc/meminfo: memFree=29090624/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1601.82 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 160135 47 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5600084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1336900 [startup+1662.3 s] /proc/loadavg: 2.14 2.14 2.10 3/183 8440 /proc/meminfo: memFree=29090636/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1661.81 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 166134 47 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5712392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1336900 [startup+1722.3 s] /proc/loadavg: 2.24 2.17 2.11 3/184 8444 /proc/meminfo: memFree=29090552/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1721.81 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 172133 48 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1336900 [startup+1782.3 s] /proc/loadavg: 2.17 2.17 2.11 3/183 8445 /proc/meminfo: memFree=29087108/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1781.8 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 178132 48 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1336900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.20 2.17 2.11 3/183 8445 /proc/meminfo: memFree=29087232/32872528 swapFree=526336/559040 [pid=8349] ppid=8346 vsize=1336900 CPUtime=1800.09 cores=1,3,5,7 /proc/8349/stat : 8349 (toysat) R 8346 8349 28898 0 -1 4202496 275709 0 0 0 179961 48 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 140737086375680 5672209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8349/statm: 334225 276160 854 2943 0 331119 0 [pid=8349/tid=8350] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8350/stat : 8350 (toysat) S 8346 8349 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947971423472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8349/tid=8351] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8351/stat : 8351 (toysat) S 8346 8349 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947885440240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8349/tid=8352] ppid=8346 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/8349/task/8352/stat : 8352 (toysat) S 8346 8349 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28321127 1368985600 276160 33554432000 4194304 16246674 140737086393792 139947874966704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1336900 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 8349 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.11 CPU user time (s): 1799.62 CPU system time (s): 0.486925 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 1336900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.486925 maximum resident set size= 1104640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275709 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= 403 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.65229 second user time and 6.97194 second system time The end
Begin job on node106 at 2016-06-18 17:11:50 IDJOB=4106025 IDBENCH=47897 IDSOLVER=2542 FILE ID=node106/4106025-1466262710 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106025-1466262710/watcher-4106025-1466262710 -o /tmp/evaluation-result-4106025-1466262710/solver-4106025-1466262710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106025-1466262710.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38 RANDOM SEED=326057989 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30204940 kB Buffers: 79604 kB Cached: 194608 kB SwapCached: 1736 kB Active: 1179348 kB Inactive: 179332 kB Active(anon): 1082820 kB Inactive(anon): 4000 kB Active(file): 96528 kB Inactive(file): 175332 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16512 kB Writeback: 0 kB AnonPages: 1647004 kB Mapped: 10612 kB Shmem: 0 kB Slab: 613024 kB SReclaimable: 56608 kB SUnreclaim: 556416 kB KernelStack: 1520 kB PageTables: 7140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1790300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 874496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 17:41:51