| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb |
| MD5SUM | ea08c66c9e8e41f4a763233d2f14489d |
| 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.119981 |
| 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 | 135 |
| Total number of constraints | 11 |
| 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 | 11 |
| 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) | 405 |
| Sum of products size (including duplicates) | 810 |
| Number of different products | 405 |
| Sum of products size | 810 |
0.00/0.00 c 2016-06-18T19:31:39+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106427-1466271099.opb"] 0.00/0.01 c use --random-gen="1426324696 970235208 701651142 1676490376 2264987658 3065038514 73947126 3435056658 4038375413 2106134236 1768068769 3026676359 3380005556 3495734881 1924752042 253508522 3006506460 1263185956 2455832879 106025425 1010594611 2690030770 465978315 1850119275 3812491266 1736706323 3370097841 3161187842 3510978009 1681904535 3153772993 3166284808 1138900031 3142856269 598116126 1491912648 3208521706 1354900627 2463573073 3094923388 393725695 4150034219 3799186838 2596162907 4184537869 823547268 2007518512 2001921404 3954799463 2412980267 332160664 171639160 4239197658 3720083445 471424781 819927351 1206450333 323794225 365530963 4237805837 4293428708 333258333 3693500302 1333852566 43714107 910103692 3164596073 488145638 986822172 3026354253 206419598 902427976 3409606283 3264726661 3142433594 4102960452 1476569500 503003987 3669464300 582912023 683029114 372572244 2251169941 131869545 1083253548 4066120687 19803538 1276607884 532326206 1302780378 3329439445 4256863301 4067918827 1324804291 1761703381 2494951840 2283513260 435694581 2763383309 2454928654 3729200680 4235303017 3331423717 1667597144 2248588265 1278046896 4206546729 2104875321 2677688005 1514615851 891588593 75039941 2410518352 2320128795 2833225599 3873281205 335325991 9918740 471573497 3405703576 2191799372 2883319297 521151580 3530283751 4015033690 1345261716 87320084 4138220054 3088395883 2498510430 852597400 1846525394 3137994333 618959720 3997066801 580391319 291717041 3680296823 2392330601 12806611 2968661363 1350165750 2365888930 1333308324 2600044778 2112470059 3118398898 3168041198 3598669981 1916510859 1849558884 1413056657 580623477 1099471113 1320535961 3652434749 2351281376 1913982613 3891865867 2156515155 3532918983 3865731819 1273939033 3317234569 3801333420 41181117 2799119651 2486209322 3466000879 2944906242 161660897 1161271263 156385106 2032789447 3748057805 3129807115 212804382 3077805147 3071487756 169052459 4051402092 428064806 798775845 2028050301 2852880575 3095034572 3798834244 3667831524 3256792877 299613742 1205453792 3272361221 583952589 46155423 172414142 2842681324 1065234736 2110819394 2691606588 3652808825 1990289295 2057570213 2009331362 2081198922 1905638430 3310566530 1133718503 3366427861 755184977 3682502841 233252812 2351464377 2380533562 1313698516 3818391662 2710478962 1758141957 1788597114 1054366008 906528761 646023404 3146623369 2758296596 707240657 2767272720 2832487883 4193090443 1101456166 3181970547 1463409653 3937564292 3343303932 3695516614 2422995391 2637448546 707512337 3514373139 826567397 607238732 3965955115 4293992416 755755856 2183424718 3770958878 23318488 2736464625 1931955797 3010123963 3276286733 1475714439 2693938311 831032507 357951721 210618647 3945373746 4168283223 255 362436" option to reproduce the execution 0.00/0.01 c #vars 135 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 590 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 141 | 100 | 590 0 | 0 | 0 0.08/0.15 c 0.1s | 2 | 354 | 250 | 649 0 | 0 | 0 0.29/0.33 c 0.3s | 3 | 621 | 475 | 714 0 | 0 | 0 0.39/0.43 c 0.4s | 4 | 985 | 813 | 786 0 | 0 | 0 0.79/0.81 c 0.8s | 5 | 1508 | 1320 | 865 1 | 0 | 0 0.99/1.04 c 1.0s | 6 | 2336 | 2081 | 1048 2 | 0 | 0 1.99/2.03 c 2.0s | 7 | 3870 | 3223 | 1153 4 | 0 | 0 2.79/2.80 c 2.8s | 8 | 5742 | 4936 | 1269 6 | 0 | 0 3.79/3.81 c 3.8s | 9 | 8513 | 7506 | 1396 9 | 0 | 0 4.89/4.94 c 4.9s | 10 | 12684 | 11361 | 1536 14 | 0 | 0 6.88/6.96 c 6.9s | 10 | 18333 | 16561 | 1536 19 | 0 | 0 7.08/7.10 c 7.1s | 11 | 18958 | 17144 | 1690 20 | 0 | 0 7.28/7.39 c 7.4s | 11 | 20260 | 18346 | 1690 21 | 0 | 0 7.28/7.39 c #cpu_time = 7.343s 7.28/7.39 c #wall_clock_time = 7.365s 7.28/7.39 c #decision = 20260 7.28/7.39 c #random_decision = 64 7.28/7.39 c #conflict = 18346 7.28/7.39 c #restart = 11 7.28/7.39 o 377 7.28/7.39 c BCD2: updating upper bound: 511 -> 376 7.28/7.39 c BCD2: 0 <= obj <= 376 7.28/7.39 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 7.28/7.39 c BCD2: #sat=1 #unsat=1 bias=1/2 7.28/7.39 c Solving starts ... 7.28/7.39 c ============================[ Search Statistics ]============================ 7.28/7.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.39 c | | | | Limit GC | Var | Constra 7.28/7.39 c ============================================================================= 7.28/7.39 c 0.0s | 0 | 0 | 0 | 1690 0 | 0 | 0 7.28/7.39 c 0.0s | 0 | 7 | 0 | 1690 0 | 0 | 0 7.28/7.39 c #cpu_time = 0.004s 7.28/7.39 c #wall_clock_time = 0.004s 7.28/7.39 c #decision = 7 7.28/7.39 c #random_decision = 0 7.28/7.39 c #conflict = 0 7.28/7.39 c #restart = 0 7.28/7.39 c BCD2: found a new core of size 8: cost of the new core is >=2 7.28/7.39 c lower bound updated to 2 7.28/7.39 c BCD2: 2 <= obj <= 376 7.28/7.39 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 7.28/7.39 c BCD2: #sat=1 #unsat=2 bias=2/3 7.28/7.39 c Solving starts ... 7.28/7.39 c ============================[ Search Statistics ]============================ 7.28/7.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.39 c | | | | Limit GC | Var | Constra 7.28/7.39 c ============================================================================= 7.28/7.39 c 0.0s | 0 | 0 | 0 | 1690 0 | 0 | 0 7.38/7.44 c 0.0s | 1 | 206 | 100 | 1690 0 | 0 | 0 7.48/7.51 c 0.1s | 2 | 434 | 250 | 1690 0 | 0 | 0 7.58/7.68 c 0.3s | 3 | 763 | 475 | 1690 1 | 0 | 0 7.69/7.75 c 0.4s | 4 | 1275 | 813 | 1690 1 | 0 | 0 7.88/7.99 c 0.6s | 5 | 1900 | 1320 | 1690 2 | 0 | 0 8.08/8.15 c 0.8s | 6 | 2746 | 2081 | 1690 2 | 0 | 0 8.38/8.42 c 1.0s | 7 | 4044 | 3223 | 1690 4 | 0 | 0 8.68/8.75 c 1.4s | 8 | 5932 | 4936 | 1690 5 | 0 | 0 10.28/10.35 c 3.0s | 9 | 8694 | 7506 | 1860 8 | 0 | 0 11.48/11.54 c 4.2s | 10 | 12765 | 11361 | 1860 11 | 0 | 0 13.48/13.57 c 6.2s | 10 | 17622 | 15961 | 1860 15 | 0 | 0 13.88/13.97 c 6.6s | 11 | 18843 | 17144 | 1860 16 | 0 | 0 15.98/16.01 c 8.6s | 11 | 25719 | 23444 | 2047 22 | 0 | 0 16.68/16.78 c 9.4s | 12 | 28179 | 25819 | 2047 24 | 0 | 0 18.70/18.78 c 11.4s | 12 | 34539 | 31819 | 2047 29 | 0 | 0 20.69/20.72 c 13.3s | 13 | 41776 | 38832 | 2047 34 | 0 | 0 22.69/22.74 c 15.3s | 13 | 48417 | 45232 | 2252 39 | 0 | 0 24.69/24.74 c 17.3s | 13 | 55180 | 51932 | 2252 44 | 0 | 0 26.59/26.66 c 19.3s | 14 | 61761 | 58352 | 2252 49 | 0 | 0 28.69/28.74 c 21.3s | 14 | 65114 | 61552 | 2252 51 | 0 | 0 30.69/30.77 c 23.4s | 14 | 70959 | 67152 | 2252 56 | 0 | 0 32.69/32.77 c 25.4s | 14 | 75500 | 71452 | 2478 58 | 0 | 0 34.69/34.78 c 27.4s | 14 | 79991 | 75552 | 2478 61 | 0 | 0 36.79/36.81 c 29.4s | 14 | 86084 | 81452 | 2478 65 | 0 | 0 38.78/38.84 c 31.4s | 14 | 92129 | 87252 | 2478 69 | 0 | 0 38.88/38.96 c 31.6s | 15 | 92523 | 87632 | 2478 69 | 0 | 0 40.88/40.99 c 33.6s | 15 | 100129 | 94932 | 2478 75 | 0 | 0 42.99/43.00 c 35.6s | 15 | 107105 | 101832 | 2478 80 | 0 | 0 44.98/45.03 c 37.6s | 15 | 114267 | 108832 | 2478 84 | 0 | 0 46.98/47.06 c 39.7s | 15 | 120656 | 115032 | 2726 89 | 0 | 0 49.08/49.13 c 41.7s | 15 | 126736 | 121032 | 2726 92 | 0 | 0 51.08/51.14 c 43.7s | 15 | 133323 | 127132 | 2726 96 | 0 | 0 52.38/52.46 c 45.1s | 16 | 137949 | 131552 | 2726 99 | 0 | 0 54.38/54.46 c 47.1s | 16 | 142619 | 136052 | 2726 102 | 0 | 0 56.38/56.46 c 49.1s | 16 | 148802 | 142052 | 2726 106 | 0 | 0 58.39/58.49 c 51.1s | 16 | 154076 | 147252 | 2726 110 | 0 | 0 60.38/60.50 c 53.1s | 16 | 161074 | 154152 | 2726 114 | 0 | 0 62.48/62.51 c 55.1s | 16 | 167958 | 160952 | 2726 119 | 0 | 0 64.47/64.52 c 57.1s | 16 | 175201 | 168052 | 2726 123 | 0 | 0 66.47/66.53 c 59.1s | 16 | 182849 | 175452 | 2726 128 | 0 | 0 68.47/68.55 c 61.2s | 16 | 190005 | 182452 | 2999 133 | 0 | 0 70.48/70.57 c 63.2s | 16 | 196782 | 189052 | 2999 137 | 0 | 0 72.48/72.60 c 65.2s | 16 | 203586 | 195552 | 2999 141 | 1 | 9 73.18/73.20 c 65.8s | 17 | 205545 | 197432 | 2999 142 | 1 | 9 75.18/75.20 c 67.8s | 17 | 212944 | 204632 | 2999 146 | 1 | 9 77.18/77.22 c 69.8s | 17 | 220054 | 211432 | 2999 150 | 1 | 9 79.19/79.23 c 71.8s | 17 | 226408 | 217532 | 2999 154 | 1 | 9 81.18/81.24 c 73.8s | 17 | 233202 | 223932 | 2999 157 | 1 | 9 83.18/83.27 c 75.9s | 17 | 239788 | 230132 | 2999 161 | 1 | 9 85.18/85.29 c 77.9s | 17 | 246113 | 236232 | 2999 165 | 1 | 9 87.28/87.31 c 79.9s | 17 | 252683 | 242532 | 2999 168 | 1 | 9 89.28/89.32 c 81.9s | 17 | 259172 | 248732 | 2999 172 | 1 | 9 91.29/91.34 c 83.9s | 17 | 265449 | 254632 | 2999 175 | 1 | 9 93.28/93.36 c 86.0s | 17 | 271942 | 260832 | 2999 179 | 1 | 9 95.28/95.36 c 88.0s | 17 | 277941 | 266732 | 2999 182 | 1 | 9 97.28/97.36 c 90.0s | 17 | 284170 | 272832 | 2999 186 | 1 | 9 99.27/99.38 c 92.0s | 17 | 290525 | 279032 | 3299 189 | 1 | 9 101.28/101.39 c 94.0s | 17 | 296965 | 285232 | 3299 193 | 1 | 9 103.27/103.40 c 96.0s | 17 | 303478 | 291332 | 3299 196 | 1 | 9 104.97/105.02 c 97.6s | 18 | 308621 | 296252 | 3299 198 | 1 | 9 106.97/107.03 c 99.6s | 18 | 314420 | 301552 | 3299 201 | 1 | 9 108.98/109.03 c 101s | 18 | 319331 | 306152 | 3299 204 | 1 | 9 110.97/111.06 c 103s | 18 | 324312 | 310552 | 3299 206 | 1 | 9 112.97/113.08 c 105s | 18 | 329345 | 315252 | 3299 209 | 1 | 9 115.07/115.10 c 107s | 18 | 334723 | 320252 | 3299 212 | 1 | 9 117.07/117.12 c 109s | 18 | 340079 | 325352 | 3299 214 | 1 | 9 119.07/119.13 c 111s | 18 | 345677 | 330452 | 3299 217 | 1 | 9 121.08/121.16 c 113s | 18 | 351067 | 335252 | 3299 220 | 1 | 9 123.07/123.19 c 115s | 18 | 355856 | 339852 | 3299 222 | 1 | 9 125.17/125.20 c 117s | 18 | 361677 | 345352 | 3299 225 | 1 | 9 127.17/127.23 c 119s | 18 | 367025 | 350252 | 3299 228 | 1 | 9 129.17/129.25 c 121s | 18 | 371973 | 354652 | 3299 230 | 1 | 9 131.17/131.28 c 123s | 18 | 377541 | 359852 | 3299 233 | 1 | 9 133.17/133.29 c 125s | 18 | 382660 | 364752 | 3299 236 | 1 | 9 135.17/135.30 c 127s | 18 | 387229 | 369052 | 3299 238 | 1 | 9 137.27/137.32 c 129s | 18 | 392309 | 373952 | 3299 241 | 1 | 9 139.26/139.32 c 131s | 18 | 397621 | 378852 | 3299 244 | 1 | 9 141.26/141.35 c 133s | 18 | 402811 | 383552 | 3299 246 | 1 | 9 143.26/143.39 c 135s | 18 | 407028 | 387552 | 3299 248 | 1 | 9 145.36/145.42 c 138s | 18 | 412122 | 392252 | 3299 251 | 1 | 9 147.37/147.49 c 140s | 18 | 417264 | 396952 | 3299 253 | 1 | 9 149.46/149.53 c 142s | 18 | 421551 | 400752 | 3299 256 | 1 | 9 151.46/151.56 c 144s | 18 | 426244 | 404952 | 3299 258 | 1 | 9 153.46/153.57 c 146s | 18 | 431112 | 409352 | 3299 260 | 1 | 9 155.46/155.59 c 148s | 18 | 436092 | 414052 | 3299 263 | 1 | 9 157.56/157.63 c 150s | 18 | 441450 | 419052 | 3299 266 | 1 | 9 159.57/159.64 c 152s | 18 | 446893 | 424052 | 3629 268 | 1 | 9 161.56/161.66 c 154s | 18 | 452522 | 429052 | 3629 271 | 1 | 9 163.56/163.69 c 156s | 18 | 456882 | 432952 | 3629 273 | 1 | 9 165.66/165.70 c 158s | 18 | 461074 | 436852 | 3629 275 | 1 | 9 167.66/167.72 c 160s | 18 | 465769 | 441252 | 3629 277 | 1 | 9 169.16/169.27 c 161s | 19 | 469242 | 444482 | 3629 278 | 1 | 9 171.16/171.29 c 163s | 19 | 476604 | 451582 | 3629 282 | 1 | 9 173.26/173.31 c 165s | 19 | 483068 | 457882 | 3629 285 | 1 | 9 175.26/175.32 c 167s | 19 | 489459 | 464082 | 3629 288 | 1 | 9 177.26/177.34 c 169s | 19 | 495574 | 470082 | 3629 291 | 1 | 9 179.27/179.39 c 172s | 19 | 501695 | 476082 | 3629 294 | 1 | 9 181.36/181.41 c 174s | 19 | 507570 | 481882 | 3629 297 | 1 | 9 183.36/183.43 c 176s | 19 | 513706 | 487882 | 3629 300 | 1 | 9 185.36/185.45 c 178s | 19 | 519660 | 493682 | 3629 303 | 1 | 9 187.36/187.46 c 180s | 19 | 525667 | 499582 | 3629 305 | 1 | 9 189.36/189.47 c 182s | 19 | 531192 | 505082 | 3629 308 | 1 | 9 191.37/191.49 c 184s | 19 | 537548 | 511182 | 3629 311 | 1 | 9 193.46/193.51 c 186s | 19 | 543407 | 516882 | 3629 314 | 1 | 9 195.46/195.53 c 188s | 19 | 549044 | 522382 | 3629 317 | 1 | 9 197.46/197.55 c 190s | 19 | 555018 | 528182 | 3629 319 | 1 | 9 199.46/199.57 c 192s | 19 | 560993 | 533982 | 3629 322 | 1 | 9 201.46/201.57 c 194s | 19 | 565941 | 538882 | 3629 325 | 1 | 9 203.46/203.59 c 196s | 19 | 571744 | 544582 | 3629 328 | 1 | 9 205.55/205.61 c 198s | 19 | 577744 | 550482 | 3629 330 | 1 | 9 207.55/207.61 c 200s | 19 | 584654 | 557182 | 3629 334 | 1 | 9 209.55/209.64 c 202s | 19 | 592041 | 564382 | 3629 337 | 1 | 9 211.55/211.67 c 204s | 19 | 598343 | 570582 | 3629 340 | 1 | 9 213.55/213.68 c 206s | 19 | 604782 | 576882 | 3629 343 | 1 | 9 215.56/215.70 c 208s | 19 | 610915 | 582882 | 3629 346 | 1 | 9 217.65/217.71 c 210s | 19 | 617002 | 588882 | 3629 349 | 1 | 9 219.65/219.74 c 212s | 19 | 623484 | 595082 | 3629 352 | 1 | 9 221.65/221.76 c 214s | 19 | 630288 | 601682 | 3629 356 | 1 | 9 223.65/223.78 c 216s | 19 | 636752 | 608082 | 3629 359 | 1 | 9 225.75/225.80 c 218s | 19 | 642940 | 614082 | 3629 362 | 1 | 9 227.76/227.82 c 220s | 19 | 648829 | 619882 | 3629 365 | 1 | 9 229.76/229.83 c 222s | 19 | 655107 | 625982 | 3629 368 | 1 | 9 231.75/231.84 c 224s | 19 | 661565 | 632082 | 3629 371 | 1 | 9 233.75/233.85 c 226s | 19 | 667436 | 637882 | 3629 373 | 1 | 9 235.75/235.85 c 228s | 19 | 673371 | 643582 | 3629 376 | 1 | 9 237.75/237.88 c 230s | 19 | 678983 | 648982 | 3992 379 | 1 | 9 239.76/239.90 c 232s | 19 | 684943 | 654782 | 3992 381 | 1 | 9 241.85/241.93 c 234s | 19 | 691519 | 661182 | 3992 384 | 1 | 9 243.75/243.86 c 236s | 20 | 697271 | 666827 | 3992 387 | 1 | 9 245.75/245.89 c 238s | 20 | 703038 | 672327 | 3992 389 | 1 | 9 247.85/247.91 c 240s | 20 | 708658 | 677727 | 3992 391 | 1 | 9 249.85/249.92 c 242s | 20 | 714167 | 683127 | 3992 394 | 1 | 9 251.86/251.95 c 244s | 20 | 719907 | 688727 | 3992 396 | 1 | 9 253.85/253.95 c 246s | 20 | 725802 | 694427 | 3992 399 | 1 | 9 255.85/255.99 c 248s | 20 | 730868 | 699227 | 3992 401 | 1 | 9 257.95/258.03 c 250s | 20 | 736118 | 704327 | 3992 404 | 1 | 9 259.95/260.06 c 252s | 20 | 741750 | 709727 | 3992 406 | 1 | 9 261.95/262.06 c 254s | 20 | 746476 | 714227 | 3992 408 | 1 | 9 263.95/264.06 c 256s | 20 | 751349 | 718927 | 3992 410 | 1 | 9 266.04/266.11 c 258s | 20 | 756867 | 724227 | 3992 412 | 1 | 9 268.04/268.11 c 260s | 20 | 761981 | 729127 | 3992 415 | 1 | 9 270.04/270.13 c 262s | 20 | 766842 | 733827 | 3992 417 | 1 | 9 272.14/272.21 c 264s | 20 | 771776 | 738527 | 3992 419 | 1 | 9 274.14/274.22 c 266s | 20 | 777156 | 743727 | 3992 421 | 1 | 9 276.15/276.24 c 268s | 20 | 782063 | 748227 | 3992 423 | 1 | 9 278.25/278.32 c 270s | 20 | 786565 | 752627 | 3992 425 | 1 | 9 280.24/280.36 c 272s | 20 | 790944 | 756627 | 3992 427 | 1 | 9 282.24/282.39 c 274s | 20 | 795260 | 760727 | 3992 429 | 1 | 9 284.34/284.42 c 277s | 20 | 799838 | 765027 | 3992 431 | 1 | 9 286.34/286.46 c 279s | 20 | 804199 | 769127 | 3992 433 | 1 | 9 288.34/288.47 c 281s | 20 | 809026 | 773727 | 3992 435 | 1 | 9 290.45/290.50 c 283s | 20 | 813442 | 777727 | 3992 437 | 1 | 9 292.44/292.52 c 285s | 20 | 818333 | 782527 | 3992 439 | 1 | 9 294.44/294.53 c 287s | 20 | 822814 | 786827 | 3992 441 | 1 | 9 296.44/296.54 c 289s | 20 | 827940 | 791727 | 3992 443 | 1 | 9 298.44/298.55 c 291s | 20 | 833108 | 796827 | 3992 445 | 1 | 9 300.54/300.60 c 293s | 20 | 838470 | 802127 | 3992 448 | 1 | 9 302.54/302.61 c 295s | 20 | 843266 | 806827 | 3992 450 | 1 | 9 304.54/304.62 c 297s | 20 | 848272 | 811627 | 3992 452 | 1 | 9 306.54/306.64 c 299s | 20 | 852662 | 815827 | 3992 454 | 1 | 9 308.54/308.65 c 301s | 20 | 857851 | 820827 | 3992 456 | 1 | 9 310.64/310.70 c 303s | 20 | 862568 | 825227 | 3992 458 | 1 | 9 312.64/312.71 c 305s | 20 | 866941 | 829227 | 3992 460 | 1 | 9 314.65/314.73 c 307s | 20 | 871952 | 834027 | 3992 462 | 1 | 9 316.64/316.76 c 309s | 20 | 876390 | 838127 | 3992 464 | 1 | 9 318.64/318.79 c 311s | 20 | 881762 | 843427 | 3992 466 | 1 | 9 320.74/320.80 c 313s | 20 | 886975 | 848427 | 3992 469 | 1 | 9 322.74/322.83 c 315s | 20 | 891847 | 853227 | 3992 471 | 1 | 9 324.74/324.85 c 317s | 20 | 896715 | 857927 | 3992 473 | 1 | 9 326.75/326.87 c 319s | 20 | 901543 | 862427 | 3992 475 | 1 | 9 328.74/328.88 c 321s | 20 | 907447 | 868127 | 3992 478 | 1 | 9 330.74/330.89 c 323s | 20 | 912495 | 872927 | 3992 480 | 1 | 9 332.84/332.92 c 325s | 20 | 917716 | 877927 | 3992 482 | 1 | 9 334.84/334.92 c 327s | 20 | 921992 | 881927 | 3992 484 | 1 | 9 336.84/336.95 c 329s | 20 | 927127 | 886827 | 3992 486 | 1 | 9 338.94/339.00 c 331s | 20 | 931247 | 890627 | 3992 488 | 1 | 9 340.94/341.01 c 333s | 20 | 936428 | 895627 | 3992 490 | 1 | 9 342.94/343.02 c 335s | 20 | 941249 | 900327 | 3992 492 | 1 | 9 344.94/345.03 c 337s | 20 | 945702 | 904627 | 3992 494 | 1 | 9 346.94/347.09 c 339s | 20 | 950568 | 909227 | 3992 496 | 1 | 9 349.04/349.12 c 341s | 20 | 954458 | 912227 | 3992 497 | 1 | 9 351.04/351.15 c 343s | 20 | 959184 | 916727 | 3992 500 | 1 | 9 353.04/353.17 c 345s | 20 | 964052 | 921527 | 3992 502 | 1 | 9 355.03/355.18 c 347s | 20 | 968754 | 926127 | 3992 504 | 1 | 9 357.13/357.22 c 349s | 20 | 973503 | 930727 | 3992 506 | 1 | 9 359.13/359.22 c 351s | 20 | 977377 | 934427 | 3992 508 | 1 | 9 361.13/361.24 c 353s | 20 | 982334 | 938827 | 3992 510 | 1 | 9 363.13/363.27 c 355s | 20 | 987172 | 943427 | 3992 512 | 1 | 9 365.14/365.29 c 357s | 20 | 992585 | 948627 | 3992 514 | 1 | 9 367.23/367.33 c 359s | 20 | 997988 | 953827 | 3992 516 | 1 | 9 369.23/369.34 c 361s | 20 | 1003117 | 958827 | 3992 519 | 1 | 9 371.23/371.35 c 363s | 20 | 1008509 | 964027 | 3992 521 | 1 | 9 373.23/373.35 c 365s | 20 | 1014312 | 969627 | 3992 524 | 1 | 9 375.23/375.37 c 367s | 20 | 1020129 | 975227 | 4392 526 | 1 | 9 377.24/377.37 c 369s | 20 | 1025661 | 980627 | 4392 528 | 1 | 9 379.33/379.40 c 372s | 20 | 1030645 | 985527 | 4392 530 | 1 | 9 381.33/381.40 c 374s | 20 | 1035775 | 990527 | 4392 532 | 1 | 9 383.33/383.42 c 376s | 20 | 1040961 | 995527 | 4392 535 | 1 | 9 385.33/385.45 c 378s | 20 | 1045763 | 1000227 | 4392 537 | 1 | 9 385.33/385.49 c 378s | 21 | 1045881 | 1000345 | 4392 537 | 1 | 9 387.43/387.52 c 380s | 21 | 1052553 | 1006745 | 4392 539 | 1 | 9 389.43/389.53 c 382s | 21 | 1058017 | 1012045 | 4392 541 | 1 | 9 391.42/391.55 c 384s | 21 | 1064083 | 1017845 | 4392 544 | 1 | 9 393.42/393.56 c 386s | 21 | 1069702 | 1023345 | 4392 546 | 1 | 9 395.42/395.58 c 388s | 21 | 1075370 | 1028745 | 4392 548 | 1 | 9 397.42/397.59 c 390s | 21 | 1081098 | 1034345 | 4392 551 | 1 | 9 399.52/399.61 c 392s | 21 | 1086047 | 1039145 | 4392 553 | 1 | 9 401.53/401.62 c 394s | 21 | 1091951 | 1044845 | 4392 555 | 1 | 9 403.52/403.66 c 396s | 21 | 1097634 | 1050245 | 4392 557 | 1 | 9 405.62/405.70 c 398s | 21 | 1103517 | 1055845 | 4392 560 | 1 | 9 407.62/407.73 c 400s | 21 | 1108691 | 1060745 | 4392 562 | 1 | 9 409.62/409.75 c 402s | 21 | 1113261 | 1065145 | 4392 564 | 1 | 9 411.62/411.76 c 404s | 21 | 1118073 | 1069745 | 4392 565 | 1 | 9 413.63/413.79 c 406s | 21 | 1122974 | 1074445 | 4392 567 | 1 | 9 415.73/415.82 c 408s | 21 | 1127700 | 1079045 | 4392 569 | 1 | 9 417.72/417.85 c 410s | 21 | 1133372 | 1084545 | 4392 572 | 1 | 9 419.72/419.88 c 412s | 21 | 1138678 | 1089445 | 4392 574 | 1 | 9 421.82/421.90 c 414s | 21 | 1144163 | 1094445 | 4392 576 | 1 | 9 423.82/423.92 c 416s | 21 | 1149341 | 1099445 | 4392 578 | 1 | 9 425.82/425.93 c 418s | 21 | 1155346 | 1105245 | 4392 580 | 1 | 9 427.83/427.94 c 420s | 21 | 1161285 | 1111045 | 4392 583 | 1 | 9 429.82/429.98 c 422s | 21 | 1167027 | 1116545 | 4392 585 | 1 | 9 431.92/432.01 c 424s | 21 | 1172544 | 1121945 | 4392 587 | 1 | 9 433.92/434.05 c 426s | 21 | 1178106 | 1127445 | 4392 589 | 1 | 9 435.92/436.08 c 428s | 21 | 1184467 | 1133545 | 4392 592 | 1 | 9 438.02/438.10 c 430s | 21 | 1189462 | 1138245 | 4392 594 | 1 | 9 440.03/440.15 c 432s | 21 | 1194989 | 1143645 | 4392 596 | 1 | 9 442.02/442.17 c 434s | 21 | 1200758 | 1149145 | 4392 598 | 1 | 9 444.12/444.20 c 436s | 21 | 1206405 | 1154445 | 4392 601 | 1 | 9 446.12/446.22 c 438s | 21 | 1212221 | 1160045 | 4392 603 | 1 | 9 448.12/448.22 c 440s | 21 | 1217577 | 1165145 | 4392 605 | 1 | 9 450.12/450.24 c 442s | 21 | 1223102 | 1170445 | 4392 607 | 1 | 9 452.13/452.26 c 444s | 21 | 1228457 | 1175445 | 4392 609 | 1 | 9 454.12/454.27 c 446s | 21 | 1233751 | 1180245 | 4392 611 | 1 | 9 456.12/456.27 c 448s | 21 | 1238773 | 1185045 | 4392 613 | 1 | 9 458.22/458.30 c 450s | 21 | 1244714 | 1190745 | 4392 616 | 1 | 9 460.22/460.31 c 452s | 21 | 1250393 | 1196245 | 4392 618 | 1 | 9 462.22/462.32 c 454s | 21 | 1255478 | 1201145 | 4392 620 | 1 | 9 464.23/464.36 c 456s | 21 | 1261129 | 1206645 | 4392 623 | 1 | 9 466.22/466.38 c 458s | 21 | 1266700 | 1212045 | 4392 625 | 1 | 9 468.32/468.41 c 461s | 21 | 1272080 | 1217245 | 4392 627 | 1 | 9 470.32/470.44 c 463s | 21 | 1277218 | 1222245 | 4392 629 | 1 | 9 472.32/472.44 c 465s | 21 | 1282418 | 1227245 | 4392 631 | 1 | 9 474.31/474.47 c 467s | 21 | 1287935 | 1232645 | 4392 633 | 1 | 9 476.32/476.48 c 469s | 21 | 1293343 | 1237945 | 4392 636 | 1 | 9 478.31/478.50 c 471s | 21 | 1298669 | 1243145 | 4392 638 | 1 | 9 480.41/480.50 c 473s | 21 | 1304094 | 1248445 | 4392 640 | 1 | 9 482.41/482.54 c 475s | 21 | 1309674 | 1253845 | 4392 642 | 1 | 9 484.41/484.55 c 477s | 21 | 1315012 | 1259045 | 4392 645 | 1 | 9 486.41/486.57 c 479s | 21 | 1320069 | 1263945 | 4392 647 | 1 | 9 488.42/488.59 c 481s | 21 | 1325576 | 1269345 | 4392 649 | 1 | 9 490.41/490.60 c 483s | 21 | 1330714 | 1274245 | 4392 651 | 1 | 9 492.51/492.62 c 485s | 21 | 1336154 | 1279545 | 4392 653 | 1 | 9 494.51/494.67 c 487s | 21 | 1341556 | 1284745 | 4392 655 | 1 | 9 496.61/496.70 c 489s | 21 | 1346618 | 1289645 | 4392 657 | 1 | 9 498.61/498.73 c 491s | 21 | 1352474 | 1295345 | 4392 660 | 1 | 9 500.61/500.74 c 493s | 21 | 1357980 | 1300645 | 4392 662 | 1 | 9 502.61/502.75 c 495s | 21 | 1363394 | 1305845 | 4392 664 | 1 | 9 504.61/504.76 c 497s | 21 | 1369014 | 1311345 | 4392 667 | 1 | 9 506.71/506.80 c 499s | 21 | 1374076 | 1316245 | 4392 669 | 1 | 9 508.70/508.84 c 501s | 21 | 1380300 | 1322245 | 4392 671 | 1 | 9 510.70/510.85 c 503s | 21 | 1385828 | 1327645 | 4392 673 | 1 | 9 512.70/512.86 c 505s | 21 | 1391753 | 1333345 | 4392 676 | 1 | 9 514.71/514.87 c 507s | 21 | 1397685 | 1339045 | 4392 678 | 1 | 9 516.70/516.87 c 509s | 21 | 1403157 | 1344245 | 4392 680 | 1 | 9 518.80/518.90 c 511s | 21 | 1408828 | 1349745 | 4392 683 | 1 | 9 520.80/520.93 c 513s | 21 | 1414882 | 1355545 | 4392 685 | 1 | 9 522.80/522.99 c 515s | 21 | 1420656 | 1361145 | 4392 688 | 1 | 9 524.90/525.03 c 517s | 21 | 1426372 | 1366645 | 4392 690 | 1 | 9 526.91/527.05 c 519s | 21 | 1432221 | 1372245 | 4392 692 | 1 | 9 528.90/529.07 c 521s | 21 | 1437703 | 1377545 | 4392 694 | 1 | 9 531.00/531.10 c 523s | 21 | 1442884 | 1382445 | 4392 696 | 1 | 9 533.00/533.11 c 525s | 21 | 1448212 | 1387545 | 4392 699 | 1 | 9 535.00/535.12 c 527s | 21 | 1453834 | 1392845 | 4392 701 | 1 | 9 537.01/537.14 c 529s | 21 | 1459528 | 1398445 | 4392 703 | 1 | 9 539.02/539.15 c 531s | 21 | 1465027 | 1403745 | 4392 705 | 1 | 9 541.01/541.19 c 533s | 21 | 1470128 | 1408645 | 4392 708 | 1 | 9 543.11/543.22 c 535s | 21 | 1475575 | 1413745 | 4392 710 | 1 | 9 545.11/545.23 c 537s | 21 | 1481228 | 1419145 | 4392 712 | 1 | 9 547.11/547.24 c 539s | 21 | 1487302 | 1425045 | 4392 714 | 1 | 9 549.11/549.27 c 541s | 21 | 1492712 | 1430345 | 4392 717 | 1 | 9 551.11/551.27 c 543s | 21 | 1498354 | 1435845 | 4392 719 | 1 | 9 553.10/553.28 c 545s | 21 | 1503846 | 1441145 | 4392 721 | 1 | 9 555.20/555.30 c 547s | 21 | 1509393 | 1446545 | 4392 723 | 1 | 9 557.20/557.32 c 549s | 21 | 1514888 | 1451845 | 4392 726 | 1 | 9 559.20/559.32 c 551s | 21 | 1520589 | 1457345 | 4392 728 | 1 | 9 561.20/561.34 c 553s | 21 | 1525670 | 1462145 | 4392 730 | 1 | 9 563.21/563.37 c 555s | 21 | 1530800 | 1467145 | 4392 732 | 1 | 9 565.20/565.39 c 557s | 21 | 1536021 | 1472145 | 4832 734 | 1 | 9 567.30/567.41 c 560s | 21 | 1541115 | 1477045 | 4832 736 | 1 | 9 569.30/569.44 c 562s | 21 | 1545909 | 1481645 | 4832 738 | 1 | 9 571.30/571.45 c 564s | 21 | 1551422 | 1486945 | 4832 740 | 1 | 9 573.30/573.49 c 566s | 21 | 1556600 | 1491845 | 4832 742 | 1 | 9 575.40/575.53 c 568s | 21 | 1561630 | 1496745 | 4832 744 | 1 | 9 576.90/577.08 c 569s | 22 | 1565614 | 1500622 | 4832 745 | 1 | 9 579.00/579.12 c 571s | 22 | 1569244 | 1504022 | 4832 746 | 1 | 9 581.00/581.15 c 573s | 22 | 1572985 | 1507722 | 4832 748 | 1 | 9 583.01/583.20 c 575s | 22 | 1577909 | 1512522 | 4832 750 | 1 | 9 585.11/585.25 c 577s | 22 | 1581194 | 1515722 | 4832 751 | 1 | 9 587.10/587.28 c 579s | 22 | 1585335 | 1519722 | 4832 752 | 1 | 9 589.20/589.30 c 581s | 22 | 1590404 | 1524622 | 4832 754 | 1 | 9 591.19/591.33 c 583s | 22 | 1594975 | 1529022 | 4832 756 | 1 | 9 593.19/593.35 c 585s | 22 | 1599165 | 1533122 | 4832 757 | 1 | 9 595.19/595.37 c 587s | 22 | 1602489 | 1536322 | 4832 759 | 1 | 9 597.20/597.38 c 589s | 22 | 1607021 | 1540622 | 4832 760 | 1 | 9 599.29/599.43 c 592s | 22 | 1610705 | 1544122 | 4832 762 | 1 | 9 601.29/601.47 c 594s | 22 | 1614517 | 1547722 | 4832 763 | 1 | 9 603.39/603.53 c 596s | 22 | 1618700 | 1551422 | 4832 764 | 1 | 9 605.39/605.56 c 598s | 22 | 1623558 | 1556022 | 4832 766 | 1 | 9 607.39/607.56 c 600s | 22 | 1627619 | 1560022 | 4832 768 | 1 | 9 609.40/609.58 c 602s | 22 | 1631598 | 1563922 | 4832 769 | 1 | 9 611.39/611.59 c 604s | 22 | 1635522 | 1567722 | 4832 771 | 1 | 9 613.49/613.62 c 606s | 22 | 1639098 | 1571222 | 4832 772 | 1 | 9 615.49/615.64 c 608s | 22 | 1642700 | 1574722 | 4832 773 | 1 | 9 617.49/617.68 c 610s | 22 | 1645971 | 1577722 | 4832 775 | 1 | 9 619.49/619.69 c 612s | 22 | 1650056 | 1581622 | 4832 776 | 1 | 9 621.59/621.73 c 614s | 22 | 1654620 | 1586122 | 4832 778 | 1 | 9 623.59/623.74 c 616s | 22 | 1659461 | 1590822 | 4832 780 | 1 | 9 625.59/625.77 c 618s | 22 | 1664528 | 1595322 | 4832 781 | 1 | 9 627.69/627.81 c 620s | 22 | 1669821 | 1600522 | 4832 783 | 1 | 9 629.69/629.82 c 622s | 22 | 1673530 | 1604122 | 4832 785 | 1 | 9 631.69/631.84 c 624s | 22 | 1677020 | 1607522 | 4832 786 | 1 | 9 633.69/633.89 c 626s | 22 | 1680482 | 1610922 | 4832 787 | 1 | 9 635.80/635.92 c 628s | 22 | 1684222 | 1614622 | 4832 789 | 1 | 9 637.79/637.93 c 630s | 22 | 1688566 | 1618922 | 4832 790 | 1 | 9 639.79/639.93 c 632s | 22 | 1693243 | 1623422 | 4832 792 | 1 | 9 641.79/641.95 c 634s | 22 | 1696723 | 1626722 | 4832 793 | 1 | 9 643.79/643.99 c 636s | 22 | 1700476 | 1630322 | 4832 795 | 1 | 9 645.79/645.99 c 638s | 22 | 1704426 | 1634122 | 4832 796 | 1 | 9 647.90/648.02 c 640s | 22 | 1709144 | 1638722 | 4832 798 | 1 | 9 649.89/650.04 c 642s | 22 | 1713672 | 1642922 | 4832 800 | 1 | 9 651.89/652.06 c 644s | 22 | 1717547 | 1646722 | 4832 801 | 1 | 9 653.89/654.07 c 646s | 22 | 1720854 | 1650022 | 4832 802 | 1 | 9 655.99/656.10 c 648s | 22 | 1724124 | 1653122 | 4832 804 | 1 | 9 657.99/658.12 c 650s | 22 | 1727391 | 1656222 | 4832 805 | 1 | 9 660.09/660.20 c 652s | 22 | 1731129 | 1659522 | 4832 806 | 1 | 9 662.09/662.22 c 654s | 22 | 1735360 | 1663422 | 4832 808 | 1 | 9 664.09/664.23 c 656s | 22 | 1739074 | 1667022 | 4832 809 | 1 | 9 666.08/666.25 c 658s | 22 | 1742432 | 1670322 | 4832 810 | 1 | 9 668.08/668.29 c 660s | 22 | 1746669 | 1674022 | 4832 812 | 1 | 9 670.18/670.34 c 662s | 22 | 1750273 | 1677522 | 4832 813 | 1 | 9 672.18/672.34 c 664s | 22 | 1754071 | 1681122 | 4832 814 | 1 | 9 674.19/674.39 c 666s | 22 | 1757828 | 1684822 | 4832 816 | 1 | 9 676.28/676.45 c 669s | 22 | 1760848 | 1687822 | 4832 817 | 1 | 9 678.28/678.45 c 671s | 22 | 1763987 | 1690922 | 4832 818 | 1 | 9 680.28/680.48 c 673s | 22 | 1768370 | 1695222 | 4832 820 | 1 | 9 682.38/682.52 c 675s | 22 | 1772872 | 1699622 | 4832 821 | 1 | 9 684.38/684.53 c 677s | 22 | 1776539 | 1703222 | 4832 823 | 1 | 9 686.39/686.59 c 679s | 22 | 1780024 | 1706522 | 4832 824 | 1 | 9 688.49/688.67 c 681s | 22 | 1782735 | 1709222 | 4832 825 | 1 | 9 690.58/690.72 c 683s | 22 | 1785449 | 1711622 | 4832 826 | 1 | 9 692.58/692.78 c 685s | 22 | 1788866 | 1715022 | 4832 827 | 1 | 9 694.68/694.81 c 687s | 22 | 1792645 | 1718722 | 4832 829 | 1 | 9 696.68/696.85 c 689s | 22 | 1797557 | 1723522 | 4832 831 | 1 | 9 698.68/698.87 c 691s | 22 | 1802091 | 1728022 | 4832 832 | 1 | 9 700.78/700.90 c 693s | 22 | 1806422 | 1732322 | 4832 834 | 1 | 9 702.78/702.94 c 695s | 22 | 1810770 | 1736622 | 4832 836 | 1 | 9 704.77/704.97 c 697s | 22 | 1815122 | 1740922 | 4832 837 | 1 | 9 706.78/706.99 c 699s | 22 | 1819584 | 1745322 | 4832 839 | 1 | 9 708.88/709.00 c 701s | 22 | 1824462 | 1750122 | 4832 841 | 1 | 9 710.88/711.02 c 703s | 22 | 1829019 | 1754622 | 4832 843 | 1 | 9 712.88/713.04 c 705s | 22 | 1833368 | 1758922 | 4832 844 | 1 | 9 714.89/715.06 c 707s | 22 | 1837730 | 1763222 | 4832 846 | 1 | 9 716.88/717.06 c 709s | 22 | 1842098 | 1767522 | 4832 848 | 1 | 9 718.98/719.10 c 711s | 22 | 1846279 | 1771622 | 4832 849 | 1 | 9 720.98/721.14 c 713s | 22 | 1850229 | 1775522 | 4832 851 | 1 | 9 722.98/723.19 c 715s | 22 | 1853378 | 1778622 | 4832 852 | 1 | 9 725.08/725.21 c 717s | 22 | 1856512 | 1781722 | 4832 853 | 1 | 9 727.09/727.24 c 719s | 22 | 1861259 | 1786422 | 4832 855 | 1 | 9 729.08/729.24 c 721s | 22 | 1866147 | 1791122 | 4832 857 | 1 | 9 731.08/731.24 c 723s | 22 | 1871401 | 1796222 | 4832 859 | 1 | 9 733.08/733.28 c 725s | 22 | 1876086 | 1800822 | 4832 860 | 1 | 9 735.18/735.32 c 727s | 22 | 1880985 | 1805622 | 4832 862 | 1 | 9 737.18/737.34 c 729s | 22 | 1885707 | 1810222 | 4832 864 | 1 | 9 739.18/739.36 c 731s | 22 | 1890419 | 1814822 | 4832 866 | 1 | 9 741.17/741.38 c 733s | 22 | 1893401 | 1817722 | 4832 867 | 1 | 9 743.27/743.43 c 736s | 22 | 1896724 | 1821022 | 4832 868 | 1 | 9 745.27/745.44 c 738s | 22 | 1900621 | 1824822 | 4832 870 | 1 | 9 747.27/747.46 c 740s | 22 | 1904756 | 1828822 | 4832 871 | 1 | 9 749.27/749.47 c 742s | 22 | 1908875 | 1832622 | 4832 873 | 1 | 9 751.28/751.47 c 744s | 22 | 1911909 | 1835622 | 4832 874 | 1 | 9 753.38/753.51 c 746s | 22 | 1915571 | 1839222 | 4832 875 | 1 | 9 755.37/755.53 c 748s | 22 | 1920517 | 1843922 | 4832 877 | 1 | 9 757.47/757.60 c 750s | 22 | 1924870 | 1848122 | 4832 879 | 1 | 9 759.47/759.63 c 752s | 22 | 1929207 | 1852122 | 4832 880 | 1 | 9 761.47/761.64 c 754s | 22 | 1933515 | 1856022 | 4832 882 | 1 | 9 763.47/763.68 c 756s | 22 | 1937444 | 1859822 | 4832 883 | 1 | 9 765.58/765.73 c 758s | 22 | 1942277 | 1864422 | 4832 885 | 1 | 9 767.57/767.73 c 760s | 22 | 1946582 | 1868322 | 4832 886 | 1 | 9 769.57/769.78 c 762s | 22 | 1950402 | 1871922 | 4832 888 | 1 | 9 771.57/771.79 c 764s | 22 | 1955121 | 1876322 | 4832 889 | 1 | 9 773.67/773.82 c 766s | 22 | 1959555 | 1880022 | 4832 891 | 1 | 9 775.67/775.83 c 768s | 22 | 1963565 | 1883922 | 4832 892 | 1 | 9 777.67/777.85 c 770s | 22 | 1967727 | 1888022 | 4832 894 | 1 | 9 779.67/779.88 c 772s | 22 | 1971783 | 1891922 | 4832 895 | 1 | 9 781.77/781.93 c 774s | 22 | 1974968 | 1895022 | 4832 897 | 1 | 9 783.76/783.94 c 776s | 22 | 1978420 | 1898422 | 4832 898 | 1 | 9 785.86/786.00 c 778s | 22 | 1981865 | 1901822 | 4832 899 | 1 | 9 787.86/788.04 c 780s | 22 | 1984557 | 1904422 | 4832 900 | 1 | 9 789.86/790.04 c 782s | 22 | 1986975 | 1906822 | 4832 901 | 1 | 9 791.87/792.06 c 784s | 22 | 1989513 | 1909322 | 4832 902 | 1 | 9 793.96/794.10 c 786s | 22 | 1991845 | 1911622 | 4832 903 | 1 | 9 795.96/796.13 c 788s | 22 | 1994965 | 1914722 | 4832 904 | 1 | 9 797.96/798.19 c 790s | 22 | 1998716 | 1918422 | 4832 906 | 1 | 9 800.06/800.23 c 792s | 22 | 2001984 | 1921622 | 4832 907 | 1 | 9 802.06/802.24 c 794s | 22 | 2005490 | 1925022 | 4832 908 | 1 | 9 804.06/804.28 c 796s | 22 | 2008965 | 1928322 | 4832 909 | 1 | 9 806.16/806.31 c 798s | 22 | 2011518 | 1930822 | 4832 910 | 1 | 9 808.15/808.35 c 800s | 22 | 2013851 | 1933122 | 4832 911 | 1 | 9 810.15/810.36 c 802s | 22 | 2016472 | 1935722 | 4832 912 | 1 | 9 812.25/812.41 c 805s | 22 | 2018887 | 1938122 | 4832 913 | 1 | 9 814.25/814.46 c 807s | 22 | 2021815 | 1941022 | 4832 914 | 1 | 9 816.25/816.49 c 809s | 22 | 2024749 | 1943922 | 4832 915 | 1 | 9 818.36/818.52 c 811s | 22 | 2028223 | 1947322 | 4832 917 | 1 | 9 820.35/820.55 c 813s | 22 | 2032881 | 1951822 | 4832 918 | 1 | 9 822.35/822.59 c 815s | 22 | 2037946 | 1956822 | 4832 920 | 1 | 9 824.45/824.61 c 817s | 22 | 2042327 | 1961122 | 4832 922 | 1 | 9 826.45/826.63 c 819s | 22 | 2047086 | 1965822 | 4832 924 | 1 | 9 828.45/828.68 c 821s | 22 | 2051762 | 1970422 | 4832 926 | 1 | 9 830.55/830.73 c 823s | 22 | 2056406 | 1975022 | 4832 927 | 1 | 9 832.56/832.76 c 825s | 22 | 2060993 | 1979522 | 4832 929 | 1 | 9 834.55/834.79 c 827s | 22 | 2065781 | 1984222 | 4832 931 | 1 | 9 836.65/836.80 c 829s | 22 | 2070428 | 1988722 | 4832 933 | 1 | 9 838.65/838.83 c 831s | 22 | 2075565 | 1993722 | 4832 935 | 1 | 9 840.65/840.86 c 833s | 22 | 2080155 | 1998222 | 4832 936 | 1 | 9 842.65/842.87 c 835s | 22 | 2084748 | 2002722 | 4832 938 | 1 | 9 844.75/844.91 c 837s | 22 | 2089199 | 2007122 | 4832 940 | 1 | 9 846.74/846.92 c 839s | 22 | 2093167 | 2011022 | 4832 941 | 1 | 9 848.74/848.93 c 841s | 22 | 2097365 | 2015122 | 4832 943 | 1 | 9 850.74/850.97 c 843s | 22 | 2101775 | 2019422 | 4832 944 | 1 | 9 852.74/852.97 c 845s | 22 | 2105624 | 2023222 | 4832 946 | 1 | 9 854.84/855.03 c 847s | 22 | 2110040 | 2027522 | 4832 948 | 1 | 9 856.84/857.07 c 849s | 22 | 2114616 | 2032022 | 4832 949 | 1 | 9 858.83/859.07 c 851s | 22 | 2119006 | 2036322 | 4832 951 | 1 | 9 860.93/861.10 c 853s | 22 | 2123779 | 2040922 | 4832 953 | 1 | 9 862.93/863.14 c 855s | 22 | 2128538 | 2045522 | 4832 954 | 1 | 9 864.93/865.15 c 857s | 22 | 2134894 | 2051522 | 4832 957 | 2 | 18 866.93/867.16 c 859s | 22 | 2141765 | 2058022 | 4832 959 | 2 | 18 868.94/869.18 c 861s | 22 | 2148522 | 2064322 | 4832 962 | 2 | 18 871.03/871.20 c 863s | 22 | 2155725 | 2070922 | 4832 964 | 2 | 18 873.03/873.21 c 865s | 22 | 2163170 | 2077622 | 4832 967 | 2 | 18 875.03/875.21 c 867s | 22 | 2169432 | 2083522 | 4832 969 | 2 | 18 877.03/877.24 c 869s | 22 | 2175680 | 2089022 | 4832 971 | 2 | 18 879.03/879.27 c 871s | 22 | 2183009 | 2095722 | 4832 974 | 2 | 18 881.03/881.28 c 873s | 22 | 2188425 | 2100922 | 4832 976 | 2 | 18 883.13/883.30 c 875s | 22 | 2193786 | 2105922 | 4832 978 | 2 | 18 885.12/885.34 c 877s | 22 | 2199704 | 2111622 | 4832 980 | 2 | 18 887.12/887.36 c 879s | 22 | 2205716 | 2117222 | 4832 982 | 2 | 18 889.12/889.38 c 881s | 22 | 2211742 | 2122922 | 4832 985 | 2 | 18 891.22/891.40 c 884s | 22 | 2217300 | 2128222 | 4832 987 | 2 | 18 893.22/893.41 c 886s | 22 | 2223295 | 2133922 | 4832 989 | 2 | 18 895.22/895.44 c 888s | 22 | 2229292 | 2139622 | 4832 991 | 2 | 18 897.22/897.46 c 890s | 22 | 2234684 | 2144622 | 4832 993 | 2 | 18 899.22/899.46 c 892s | 22 | 2240358 | 2150022 | 4832 995 | 2 | 18 901.22/901.47 c 894s | 22 | 2245921 | 2155422 | 4832 997 | 2 | 18 903.22/903.48 c 896s | 22 | 2251703 | 2160922 | 4832 999 | 2 | 18 905.23/905.49 c 898s | 22 | 2258934 | 2167822 | 4832 1002 | 2 | 18 907.33/907.52 c 900s | 22 | 2264898 | 2173522 | 4832 1004 | 2 | 18 909.32/909.55 c 902s | 22 | 2271262 | 2179422 | 4832 1007 | 2 | 18 911.32/911.56 c 904s | 22 | 2277345 | 2185122 | 4832 1009 | 2 | 18 913.32/913.59 c 906s | 22 | 2283258 | 2190622 | 4832 1011 | 2 | 18 915.42/915.64 c 908s | 22 | 2289698 | 2196622 | 4832 1013 | 2 | 18 917.42/917.66 c 910s | 22 | 2295823 | 2201922 | 4832 1016 | 2 | 18 919.42/919.66 c 912s | 22 | 2302104 | 2207822 | 4832 1018 | 2 | 18 921.41/921.69 c 914s | 22 | 2308359 | 2213622 | 4832 1020 | 2 | 18 923.51/923.72 c 916s | 22 | 2314919 | 2219822 | 5316 1022 | 2 | 18 925.51/925.78 c 918s | 22 | 2320856 | 2225422 | 5316 1024 | 2 | 18 927.51/927.78 c 920s | 22 | 2326966 | 2230922 | 5316 1026 | 2 | 18 929.51/929.78 c 922s | 22 | 2332559 | 2236022 | 5316 1028 | 2 | 18 931.52/931.80 c 924s | 22 | 2338236 | 2241522 | 5316 1030 | 2 | 18 933.60/933.82 c 926s | 22 | 2344145 | 2247122 | 5316 1032 | 2 | 18 935.00/935.26 c 927s | 23 | 2348234 | 2251038 | 5316 1033 | 2 | 18 937.01/937.26 c 929s | 23 | 2355661 | 2258038 | 5316 1036 | 2 | 18 939.00/939.29 c 931s | 23 | 2360959 | 2263238 | 5316 1038 | 2 | 18 941.10/941.32 c 933s | 23 | 2366481 | 2268638 | 5316 1040 | 2 | 18 943.10/943.34 c 935s | 23 | 2371244 | 2273238 | 5316 1041 | 2 | 18 945.10/945.35 c 937s | 23 | 2376156 | 2277838 | 5316 1043 | 2 | 18 947.10/947.37 c 939s | 23 | 2382395 | 2283738 | 5316 1045 | 2 | 18 949.10/949.40 c 942s | 23 | 2388073 | 2289338 | 5316 1047 | 2 | 18 951.20/951.41 c 944s | 23 | 2393542 | 2294738 | 5316 1049 | 2 | 18 953.19/953.42 c 946s | 23 | 2398834 | 2299938 | 5316 1051 | 2 | 18 955.19/955.45 c 948s | 23 | 2404936 | 2305938 | 5316 1053 | 2 | 18 957.19/957.45 c 950s | 23 | 2410664 | 2311538 | 5316 1055 | 2 | 18 959.19/959.48 c 952s | 23 | 2416698 | 2317438 | 5316 1057 | 2 | 18 961.30/961.50 c 954s | 23 | 2422193 | 2322838 | 5316 1059 | 2 | 18 963.28/963.52 c 956s | 23 | 2427196 | 2327738 | 5316 1061 | 2 | 18 965.28/965.54 c 958s | 23 | 2432791 | 2333238 | 5316 1063 | 2 | 18 967.28/967.57 c 960s | 23 | 2438589 | 2338938 | 5316 1065 | 2 | 18 969.28/969.58 c 962s | 23 | 2444181 | 2344438 | 5316 1067 | 2 | 18 971.28/971.59 c 964s | 23 | 2449945 | 2350038 | 5316 1069 | 2 | 18 973.39/973.61 c 966s | 23 | 2455473 | 2355438 | 5316 1071 | 2 | 18 975.38/975.63 c 968s | 23 | 2460910 | 2360738 | 5316 1073 | 2 | 18 977.38/977.64 c 970s | 23 | 2466526 | 2366238 | 5316 1075 | 2 | 18 979.38/979.68 c 972s | 23 | 2471823 | 2371438 | 5316 1076 | 2 | 18 981.38/981.68 c 974s | 23 | 2477479 | 2376938 | 5316 1078 | 2 | 18 983.47/983.70 c 976s | 23 | 2482981 | 2382338 | 5316 1080 | 2 | 18 985.48/985.71 c 978s | 23 | 2488590 | 2387838 | 5316 1082 | 2 | 18 987.47/987.74 c 980s | 23 | 2494195 | 2393338 | 5316 1084 | 2 | 18 989.47/989.75 c 982s | 23 | 2499491 | 2398538 | 5316 1086 | 2 | 18 991.47/991.77 c 984s | 23 | 2505007 | 2403938 | 5316 1088 | 2 | 18 993.47/993.77 c 986s | 23 | 2511209 | 2409938 | 5316 1090 | 2 | 18 995.47/995.79 c 988s | 23 | 2516587 | 2415238 | 5316 1092 | 2 | 18 997.47/997.80 c 990s | 23 | 2521871 | 2420438 | 5316 1094 | 2 | 18 999.56/999.83 c 992s | 23 | 2526964 | 2425438 | 5316 1096 | 2 | 18 1001.56/1001.85 c 994s | 23 | 2532044 | 2430438 | 5316 1098 | 2 | 18 1003.56/1003.88 c 996s | 23 | 2538078 | 2436238 | 5316 1100 | 2 | 18 1005.66/1005.92 c 998s | 23 | 2543519 | 2441538 | 5316 1101 | 2 | 18 1007.66/1007.94 c 1000s | 23 | 2549993 | 2447738 | 5316 1104 | 2 | 18 1009.67/1009.97 c 1002s | 23 | 2555541 | 2453238 | 5316 1106 | 2 | 18 1011.66/1012.00 c 1004s | 23 | 2561453 | 2459038 | 5316 1108 | 2 | 18 1013.75/1014.03 c 1006s | 23 | 2567090 | 2464538 | 5316 1110 | 2 | 18 1015.75/1016.03 c 1008s | 23 | 2572627 | 2469938 | 5316 1112 | 2 | 18 1017.75/1018.07 c 1010s | 23 | 2577969 | 2475238 | 5316 1114 | 2 | 18 1019.75/1020.07 c 1012s | 23 | 2583539 | 2480738 | 5316 1115 | 2 | 18 1021.85/1022.11 c 1014s | 23 | 2589008 | 2486138 | 5316 1117 | 2 | 18 1023.86/1024.13 c 1016s | 23 | 2594792 | 2491838 | 5316 1119 | 2 | 18 1025.85/1026.17 c 1018s | 23 | 2600227 | 2497138 | 5316 1121 | 2 | 18 1027.85/1028.19 c 1020s | 23 | 2605542 | 2502338 | 5316 1123 | 2 | 18 1029.85/1030.20 c 1022s | 23 | 2610707 | 2507438 | 5316 1125 | 2 | 18 1031.95/1032.23 c 1024s | 23 | 2616346 | 2512938 | 5316 1127 | 2 | 18 1033.95/1034.25 c 1026s | 23 | 2621961 | 2518438 | 5316 1129 | 2 | 18 1035.96/1036.26 c 1028s | 23 | 2627293 | 2523638 | 5316 1131 | 2 | 18 1037.95/1038.29 c 1030s | 23 | 2632178 | 2528438 | 5316 1133 | 2 | 18 1040.05/1040.30 c 1032s | 23 | 2637251 | 2533438 | 5316 1134 | 2 | 18 1042.05/1042.32 c 1034s | 23 | 2643407 | 2539438 | 5316 1137 | 2 | 18 1044.05/1044.33 c 1036s | 23 | 2649307 | 2545138 | 5316 1139 | 2 | 18 1046.05/1046.37 c 1038s | 23 | 2654796 | 2550538 | 5316 1141 | 2 | 18 1048.06/1048.38 c 1040s | 23 | 2659933 | 2555638 | 5316 1142 | 2 | 18 1050.15/1050.40 c 1043s | 23 | 2665080 | 2560738 | 5316 1144 | 2 | 18 1052.14/1052.40 c 1045s | 23 | 2670640 | 2566238 | 5316 1146 | 2 | 18 1054.14/1054.43 c 1047s | 23 | 2676455 | 2571938 | 5316 1148 | 2 | 18 1056.14/1056.46 c 1049s | 23 | 2682018 | 2577338 | 5316 1150 | 2 | 18 1058.14/1058.47 c 1051s | 23 | 2687652 | 2582738 | 5316 1152 | 2 | 18 1060.15/1060.49 c 1053s | 23 | 2693684 | 2588238 | 5316 1154 | 2 | 18 1062.24/1062.50 c 1055s | 23 | 2698254 | 2592638 | 5316 1156 | 2 | 18 1064.24/1064.53 c 1057s | 23 | 2703361 | 2597438 | 5316 1157 | 2 | 18 1066.24/1066.56 c 1059s | 23 | 2708146 | 2602038 | 5316 1159 | 2 | 18 1068.24/1068.59 c 1061s | 23 | 2712485 | 2606238 | 5316 1161 | 2 | 18 1070.34/1070.62 c 1063s | 23 | 2717900 | 2611438 | 5316 1162 | 2 | 18 1072.34/1072.63 c 1065s | 23 | 2722920 | 2616238 | 5316 1164 | 2 | 18 1074.33/1074.65 c 1067s | 23 | 2728098 | 2621238 | 5316 1166 | 2 | 18 1076.33/1076.66 c 1069s | 23 | 2733202 | 2626138 | 5316 1168 | 2 | 18 1078.33/1078.69 c 1071s | 23 | 2738624 | 2631338 | 5316 1170 | 2 | 18 1080.43/1080.70 c 1073s | 23 | 2744318 | 2636638 | 5316 1171 | 2 | 18 1082.43/1082.72 c 1075s | 23 | 2749469 | 2641538 | 5316 1173 | 2 | 18 1084.43/1084.75 c 1077s | 23 | 2754954 | 2646838 | 5316 1175 | 2 | 18 1086.42/1086.78 c 1079s | 23 | 2760531 | 2652238 | 5316 1177 | 2 | 18 1088.42/1088.78 c 1081s | 23 | 2765527 | 2657138 | 5316 1179 | 2 | 18 1090.42/1090.79 c 1083s | 23 | 2771159 | 2662438 | 5316 1181 | 2 | 18 1092.52/1092.81 c 1085s | 23 | 2775755 | 2666938 | 5316 1182 | 2 | 18 1094.52/1094.83 c 1087s | 23 | 2780264 | 2671338 | 5316 1184 | 2 | 18 1096.53/1096.89 c 1089s | 23 | 2785058 | 2675838 | 5316 1186 | 2 | 18 1098.63/1098.91 c 1091s | 23 | 2790538 | 2680838 | 5316 1187 | 2 | 18 1100.62/1100.95 c 1093s | 23 | 2795970 | 2685838 | 5316 1189 | 2 | 18 1102.62/1102.97 c 1095s | 23 | 2800944 | 2690538 | 5316 1191 | 2 | 18 1104.62/1104.98 c 1097s | 23 | 2806281 | 2695638 | 5316 1193 | 2 | 18 1106.72/1107.04 c 1099s | 23 | 2811767 | 2700838 | 5316 1195 | 2 | 18 1108.72/1109.06 c 1101s | 23 | 2816859 | 2705738 | 5316 1196 | 2 | 18 1110.72/1111.09 c 1103s | 23 | 2822695 | 2711238 | 5316 1198 | 2 | 18 1112.81/1113.11 c 1105s | 23 | 2827918 | 2716238 | 5316 1200 | 2 | 18 1114.81/1115.11 c 1107s | 23 | 2834247 | 2722138 | 5316 1202 | 2 | 18 1116.81/1117.12 c 1109s | 23 | 2839822 | 2727338 | 5316 1204 | 2 | 18 1118.81/1119.16 c 1111s | 23 | 2845447 | 2732338 | 5316 1206 | 2 | 18 1120.81/1121.16 c 1113s | 23 | 2851235 | 2737838 | 5316 1208 | 2 | 18 1122.81/1123.18 c 1115s | 23 | 2857325 | 2743538 | 5316 1210 | 2 | 18 1124.91/1125.20 c 1117s | 23 | 2862526 | 2748238 | 5316 1212 | 2 | 18 1126.90/1127.24 c 1119s | 23 | 2868661 | 2753838 | 5316 1214 | 2 | 18 1128.90/1129.30 c 1121s | 23 | 2874817 | 2759338 | 5316 1215 | 2 | 18 1131.00/1131.33 c 1123s | 23 | 2879873 | 2764138 | 5316 1217 | 2 | 18 1133.00/1133.35 c 1125s | 23 | 2884585 | 2768538 | 5316 1219 | 2 | 18 1135.01/1135.36 c 1127s | 23 | 2889300 | 2772938 | 5316 1220 | 2 | 18 1137.00/1137.40 c 1130s | 23 | 2894800 | 2778038 | 5316 1222 | 2 | 18 1139.10/1139.40 c 1132s | 23 | 2900567 | 2783338 | 5316 1224 | 2 | 18 1141.10/1141.42 c 1134s | 23 | 2906274 | 2788338 | 5316 1226 | 2 | 18 1143.10/1143.45 c 1136s | 23 | 2912130 | 2793538 | 5316 1228 | 2 | 18 1145.10/1145.45 c 1138s | 23 | 2918364 | 2799238 | 5316 1230 | 2 | 18 1147.11/1147.47 c 1140s | 23 | 2923446 | 2803938 | 5316 1231 | 2 | 18 1149.20/1149.52 c 1142s | 23 | 2928707 | 2808838 | 5316 1233 | 2 | 18 1151.20/1151.56 c 1144s | 23 | 2934060 | 2813838 | 5316 1235 | 2 | 18 1153.19/1153.57 c 1146s | 23 | 2939242 | 2818338 | 5316 1237 | 2 | 18 1155.19/1155.59 c 1148s | 23 | 2945554 | 2824138 | 5316 1239 | 2 | 18 1157.29/1157.61 c 1150s | 23 | 2951083 | 2829238 | 5316 1241 | 2 | 18 1159.30/1159.63 c 1152s | 23 | 2956923 | 2834438 | 5316 1242 | 2 | 18 1161.31/1161.63 c 1154s | 23 | 2962058 | 2839138 | 5316 1244 | 2 | 18 1163.29/1163.66 c 1156s | 23 | 2967048 | 2843938 | 5316 1246 | 2 | 18 1165.39/1165.70 c 1158s | 23 | 2972152 | 2848838 | 5316 1248 | 2 | 18 1167.39/1167.72 c 1160s | 23 | 2977231 | 2853638 | 5316 1249 | 2 | 18 1169.39/1169.77 c 1162s | 23 | 2982814 | 2858838 | 5316 1251 | 2 | 18 1171.39/1171.78 c 1164s | 23 | 2987539 | 2863338 | 5316 1253 | 2 | 18 1173.39/1173.80 c 1166s | 23 | 2992418 | 2867938 | 5316 1254 | 2 | 18 1175.49/1175.81 c 1168s | 23 | 2997698 | 2872938 | 5316 1256 | 2 | 18 1177.49/1177.82 c 1170s | 23 | 3002829 | 2877838 | 5316 1258 | 2 | 18 1179.49/1179.85 c 1172s | 23 | 3009245 | 2883938 | 5316 1260 | 2 | 18 1181.49/1181.86 c 1174s | 23 | 3014510 | 2889038 | 5316 1262 | 2 | 18 1183.48/1183.88 c 1176s | 23 | 3018909 | 2893238 | 5316 1264 | 2 | 18 1185.59/1185.94 c 1178s | 23 | 3024825 | 2898938 | 5316 1266 | 2 | 18 1187.58/1188.00 c 1180s | 23 | 3030691 | 2904538 | 5316 1268 | 2 | 18 1189.68/1190.04 c 1182s | 23 | 3036074 | 2909438 | 5316 1269 | 2 | 18 1191.68/1192.04 c 1184s | 23 | 3041857 | 2914738 | 5316 1271 | 2 | 18 1193.67/1194.08 c 1186s | 23 | 3046495 | 2919138 | 5316 1273 | 2 | 18 1195.67/1196.09 c 1188s | 23 | 3051430 | 2923838 | 5316 1274 | 2 | 18 1197.77/1198.13 c 1190s | 23 | 3055830 | 2928038 | 5316 1276 | 2 | 18 1199.78/1200.15 c 1192s | 23 | 3060286 | 2932238 | 5316 1277 | 2 | 18 1201.77/1202.17 c 1194s | 23 | 3065899 | 2937538 | 5316 1279 | 2 | 18 1203.87/1204.20 c 1196s | 23 | 3071692 | 2943238 | 5316 1281 | 2 | 18 1205.87/1206.22 c 1198s | 23 | 3077069 | 2948338 | 5316 1283 | 2 | 18 1207.87/1208.25 c 1200s | 23 | 3082270 | 2953338 | 5316 1285 | 2 | 18 1209.87/1210.27 c 1202s | 23 | 3088339 | 2958938 | 5316 1287 | 2 | 18 1211.87/1212.30 c 1204s | 23 | 3094330 | 2964438 | 5316 1289 | 2 | 18 1213.97/1214.33 c 1206s | 23 | 3099748 | 2969338 | 5316 1291 | 2 | 18 1215.97/1216.35 c 1208s | 23 | 3105519 | 2974438 | 5316 1293 | 2 | 18 1217.96/1218.35 c 1210s | 23 | 3111173 | 2979638 | 5316 1294 | 2 | 18 1219.96/1220.37 c 1212s | 23 | 3116563 | 2984538 | 5316 1296 | 2 | 18 1221.96/1222.39 c 1214s | 23 | 3122279 | 2989938 | 5316 1298 | 2 | 18 1224.07/1224.41 c 1217s | 23 | 3128011 | 2995038 | 5316 1300 | 2 | 18 1226.06/1226.43 c 1219s | 23 | 3133979 | 3000538 | 5316 1302 | 2 | 18 1228.06/1228.43 c 1221s | 23 | 3139915 | 3005938 | 5316 1304 | 2 | 18 1230.06/1230.43 c 1223s | 23 | 3145967 | 3011338 | 5316 1306 | 2 | 18 1232.05/1232.45 c 1225s | 23 | 3151707 | 3016638 | 5316 1308 | 2 | 18 1234.05/1234.49 c 1227s | 23 | 3157399 | 3021838 | 5316 1310 | 2 | 18 1236.16/1236.51 c 1229s | 23 | 3162607 | 3026738 | 5316 1311 | 2 | 18 1238.15/1238.54 c 1231s | 23 | 3167678 | 3031638 | 5316 1313 | 2 | 18 1240.15/1240.58 c 1233s | 23 | 3173269 | 3036638 | 5316 1315 | 2 | 18 1242.15/1242.59 c 1235s | 23 | 3178035 | 3040938 | 5316 1316 | 2 | 18 1244.25/1244.61 c 1237s | 23 | 3182977 | 3045538 | 5316 1318 | 2 | 18 1246.25/1246.63 c 1239s | 23 | 3188841 | 3051038 | 5316 1320 | 2 | 18 1248.26/1248.64 c 1241s | 23 | 3194359 | 3056138 | 5316 1322 | 2 | 18 1250.25/1250.67 c 1243s | 23 | 3199981 | 3061138 | 5316 1324 | 2 | 18 1252.25/1252.67 c 1245s | 23 | 3205713 | 3066438 | 5316 1326 | 2 | 18 1254.25/1254.69 c 1247s | 23 | 3211306 | 3071838 | 5316 1327 | 2 | 18 1256.35/1256.71 c 1249s | 23 | 3216774 | 3077038 | 5316 1329 | 2 | 18 1258.34/1258.73 c 1251s | 23 | 3221683 | 3081738 | 5316 1331 | 2 | 18 1260.35/1260.76 c 1253s | 23 | 3226734 | 3086538 | 5316 1333 | 2 | 18 1262.34/1262.77 c 1255s | 23 | 3232469 | 3091638 | 5316 1335 | 2 | 18 1264.34/1264.79 c 1257s | 23 | 3237084 | 3095938 | 5316 1336 | 2 | 18 1266.44/1266.80 c 1259s | 23 | 3242326 | 3100638 | 5316 1338 | 2 | 18 1268.44/1268.82 c 1261s | 23 | 3247764 | 3105638 | 5316 1340 | 2 | 18 1270.44/1270.83 c 1263s | 23 | 3252771 | 3110238 | 5316 1341 | 2 | 18 1272.44/1272.85 c 1265s | 23 | 3258055 | 3115138 | 5316 1343 | 2 | 18 1274.43/1274.86 c 1267s | 23 | 3262959 | 3119738 | 5316 1345 | 2 | 18 1276.43/1276.89 c 1269s | 23 | 3268507 | 3124638 | 5316 1346 | 2 | 18 1278.44/1278.89 c 1271s | 23 | 3273686 | 3129538 | 5316 1348 | 2 | 18 1280.54/1280.91 c 1273s | 23 | 3279260 | 3134938 | 5316 1350 | 2 | 18 1282.54/1282.95 c 1275s | 23 | 3285153 | 3140538 | 5316 1352 | 2 | 18 1284.64/1285.00 c 1277s | 23 | 3291308 | 3146338 | 5316 1354 | 2 | 18 1286.65/1287.01 c 1279s | 23 | 3296932 | 3151638 | 5316 1356 | 2 | 18 1288.64/1289.02 c 1281s | 23 | 3302199 | 3156438 | 5316 1358 | 2 | 18 1290.64/1291.08 c 1283s | 23 | 3307035 | 3161038 | 5316 1359 | 2 | 18 1292.63/1293.09 c 1285s | 23 | 3311380 | 3165238 | 5316 1361 | 2 | 18 1294.73/1295.11 c 1287s | 23 | 3316379 | 3169938 | 5316 1363 | 2 | 18 1296.73/1297.15 c 1289s | 23 | 3321590 | 3174938 | 5316 1365 | 2 | 18 1298.74/1299.19 c 1291s | 23 | 3326921 | 3180038 | 5316 1366 | 2 | 18 1300.83/1301.20 c 1293s | 23 | 3332046 | 3184938 | 5316 1368 | 2 | 18 1302.83/1303.22 c 1295s | 23 | 3337213 | 3189838 | 5316 1370 | 2 | 18 1304.83/1305.25 c 1297s | 23 | 3342727 | 3194938 | 5316 1372 | 2 | 18 1306.83/1307.25 c 1299s | 23 | 3347684 | 3199738 | 5316 1373 | 2 | 18 1308.83/1309.27 c 1301s | 23 | 3353992 | 3205738 | 5316 1376 | 2 | 18 1310.83/1311.29 c 1303s | 23 | 3359187 | 3210638 | 5316 1377 | 2 | 18 1312.92/1313.33 c 1305s | 23 | 3364998 | 3216238 | 5316 1379 | 2 | 18 1314.92/1315.33 c 1307s | 23 | 3370381 | 3221438 | 5316 1381 | 2 | 18 1316.92/1317.35 c 1309s | 23 | 3375722 | 3226638 | 5316 1383 | 2 | 18 1318.92/1319.37 c 1311s | 23 | 3381678 | 3232338 | 5316 1385 | 2 | 18 1320.92/1321.39 c 1313s | 23 | 3387099 | 3237438 | 5316 1387 | 2 | 18 1322.92/1323.40 c 1316s | 23 | 3392252 | 3242238 | 5316 1389 | 2 | 18 1325.01/1325.42 c 1318s | 23 | 3397497 | 3247238 | 5316 1390 | 2 | 18 1327.11/1327.50 c 1320s | 23 | 3402591 | 3252038 | 5316 1392 | 2 | 18 1329.11/1329.53 c 1322s | 23 | 3407912 | 3256938 | 5316 1394 | 2 | 18 1331.11/1331.55 c 1324s | 23 | 3414107 | 3262838 | 5316 1396 | 2 | 18 1333.11/1333.55 c 1326s | 23 | 3419673 | 3268038 | 5316 1398 | 2 | 18 1335.12/1335.59 c 1328s | 23 | 3425675 | 3273738 | 5316 1400 | 2 | 18 1337.21/1337.62 c 1330s | 23 | 3431334 | 3279138 | 5316 1402 | 2 | 18 1339.21/1339.63 c 1332s | 23 | 3437345 | 3284638 | 5316 1404 | 2 | 18 1341.21/1341.64 c 1334s | 23 | 3443138 | 3290138 | 5316 1406 | 2 | 18 1343.20/1343.69 c 1336s | 23 | 3448324 | 3295038 | 5316 1408 | 2 | 18 1345.30/1345.71 c 1338s | 23 | 3454457 | 3300838 | 5316 1410 | 2 | 18 1347.30/1347.75 c 1340s | 23 | 3459954 | 3306038 | 5316 1412 | 2 | 18 1349.31/1349.76 c 1342s | 23 | 3465932 | 3311738 | 5316 1414 | 2 | 18 1351.30/1351.77 c 1344s | 23 | 3471592 | 3317138 | 5316 1415 | 2 | 18 1353.40/1353.81 c 1346s | 23 | 3477737 | 3322838 | 5316 1418 | 2 | 18 1355.40/1355.83 c 1348s | 23 | 3483456 | 3328238 | 5316 1419 | 2 | 18 1357.40/1357.85 c 1350s | 23 | 3489457 | 3333938 | 5316 1421 | 2 | 18 1359.40/1359.86 c 1352s | 23 | 3494794 | 3338838 | 5848 1423 | 2 | 18 1361.40/1361.90 c 1354s | 23 | 3500813 | 3344438 | 5848 1425 | 2 | 18 1363.49/1363.93 c 1356s | 23 | 3506287 | 3349338 | 5848 1426 | 2 | 18 1365.49/1365.95 c 1358s | 23 | 3511814 | 3354638 | 5848 1428 | 2 | 18 1367.49/1367.96 c 1360s | 23 | 3517282 | 3359838 | 5848 1430 | 2 | 18 1369.49/1369.99 c 1362s | 23 | 3523185 | 3365438 | 5848 1432 | 2 | 18 1371.59/1372.01 c 1364s | 23 | 3528898 | 3370838 | 5848 1433 | 2 | 18 1373.60/1374.03 c 1366s | 23 | 3534960 | 3376638 | 5848 1435 | 2 | 18 1373.60/1374.04 c 1366s | 24 | 3534985 | 3376662 | 5848 1435 | 2 | 18 1375.59/1376.05 c 1368s | 24 | 3541469 | 3382962 | 5848 1437 | 2 | 18 1377.59/1378.09 c 1370s | 24 | 3547248 | 3388662 | 5848 1439 | 2 | 18 1379.69/1380.10 c 1372s | 24 | 3552331 | 3393562 | 5848 1441 | 2 | 18 1381.68/1382.10 c 1374s | 24 | 3558656 | 3399762 | 5848 1443 | 2 | 18 1383.68/1384.12 c 1376s | 24 | 3564226 | 3405262 | 5848 1445 | 2 | 18 1385.69/1386.17 c 1378s | 24 | 3568299 | 3409262 | 5848 1446 | 2 | 18 1387.68/1388.17 c 1380s | 24 | 3574467 | 3415262 | 5848 1448 | 2 | 18 1389.78/1390.20 c 1382s | 24 | 3579986 | 3420662 | 5848 1450 | 2 | 18 1391.78/1392.22 c 1384s | 24 | 3585338 | 3425862 | 5848 1451 | 2 | 18 1393.78/1394.24 c 1386s | 24 | 3591631 | 3432062 | 5848 1453 | 2 | 18 1395.77/1396.27 c 1388s | 24 | 3596944 | 3437262 | 5848 1455 | 2 | 18 1397.78/1398.29 c 1390s | 24 | 3602147 | 3442362 | 5848 1457 | 2 | 18 1399.88/1400.31 c 1392s | 24 | 3607842 | 3447662 | 5848 1458 | 2 | 18 1401.88/1402.34 c 1394s | 24 | 3613344 | 3453062 | 5848 1460 | 2 | 18 1403.88/1404.36 c 1396s | 24 | 3618728 | 3458362 | 5848 1462 | 2 | 18 1405.88/1406.36 c 1398s | 24 | 3623012 | 3462362 | 5848 1463 | 2 | 18 1407.88/1408.36 c 1400s | 24 | 3629598 | 3468762 | 5848 1465 | 2 | 18 1409.89/1410.39 c 1402s | 24 | 3635102 | 3474162 | 5848 1467 | 2 | 18 1411.88/1412.39 c 1404s | 24 | 3640883 | 3479762 | 5848 1469 | 2 | 18 1413.98/1414.41 c 1407s | 24 | 3646971 | 3485562 | 5848 1471 | 2 | 18 1415.98/1416.41 c 1409s | 24 | 3652896 | 3491162 | 5848 1473 | 2 | 18 1417.98/1418.45 c 1411s | 24 | 3658195 | 3496362 | 5848 1474 | 2 | 18 1419.98/1420.46 c 1413s | 24 | 3663294 | 3501162 | 5848 1476 | 2 | 18 1421.98/1422.46 c 1415s | 24 | 3669127 | 3506862 | 5848 1478 | 2 | 18 1423.97/1424.47 c 1417s | 24 | 3674787 | 3512362 | 5848 1480 | 2 | 18 1426.07/1426.52 c 1419s | 24 | 3680301 | 3517662 | 5848 1482 | 2 | 18 1428.07/1428.53 c 1421s | 24 | 3683036 | 3520062 | 5848 1482 | 2 | 18 1430.07/1430.55 c 1423s | 24 | 3689249 | 3526062 | 5848 1484 | 2 | 18 1432.06/1432.56 c 1425s | 24 | 3694796 | 3531462 | 5848 1486 | 2 | 18 1434.07/1434.57 c 1427s | 24 | 3699436 | 3536062 | 5848 1488 | 2 | 18 1436.06/1436.60 c 1429s | 24 | 3702463 | 3538762 | 5848 1488 | 2 | 18 1438.16/1438.62 c 1431s | 24 | 3705376 | 3541462 | 5848 1489 | 2 | 18 1440.16/1440.62 c 1433s | 24 | 3709897 | 3545862 | 5848 1491 | 2 | 18 1442.16/1442.63 c 1435s | 24 | 3713095 | 3548862 | 5848 1492 | 2 | 18 1444.16/1444.65 c 1437s | 24 | 3716067 | 3551462 | 5848 1493 | 2 | 18 1446.17/1446.67 c 1439s | 24 | 3719155 | 3554262 | 5848 1494 | 2 | 18 1448.26/1448.73 c 1441s | 24 | 3723437 | 3558362 | 5848 1495 | 2 | 18 1450.26/1450.75 c 1443s | 24 | 3727630 | 3561862 | 5848 1496 | 2 | 18 1452.26/1452.76 c 1445s | 24 | 3731553 | 3565662 | 5848 1497 | 2 | 18 1454.26/1454.76 c 1447s | 24 | 3735736 | 3569662 | 5848 1499 | 2 | 18 1456.35/1456.82 c 1449s | 24 | 3740189 | 3573862 | 5848 1500 | 2 | 18 1458.35/1458.89 c 1451s | 24 | 3743080 | 3576662 | 5848 1501 | 2 | 18 1460.46/1460.92 c 1453s | 24 | 3746357 | 3579362 | 5848 1502 | 2 | 18 1462.45/1462.94 c 1455s | 24 | 3748593 | 3581462 | 5848 1503 | 2 | 18 1464.45/1464.97 c 1457s | 24 | 3752558 | 3585062 | 5848 1504 | 2 | 18 1466.45/1466.99 c 1459s | 24 | 3757145 | 3589262 | 5848 1505 | 2 | 18 1468.55/1469.02 c 1461s | 24 | 3760947 | 3592962 | 5848 1506 | 2 | 18 1470.55/1471.06 c 1463s | 24 | 3765113 | 3597062 | 5848 1508 | 2 | 18 1472.56/1473.06 c 1465s | 24 | 3770010 | 3601762 | 5848 1509 | 2 | 18 1474.55/1475.09 c 1467s | 24 | 3774233 | 3605862 | 5848 1511 | 2 | 18 1476.65/1477.12 c 1469s | 24 | 3778722 | 3610162 | 5848 1512 | 2 | 18 1478.65/1479.14 c 1471s | 24 | 3783883 | 3614862 | 5848 1514 | 2 | 18 1480.65/1481.16 c 1473s | 24 | 3788271 | 3619062 | 5848 1515 | 2 | 18 1482.75/1483.20 c 1475s | 24 | 3792943 | 3623562 | 5848 1516 | 2 | 18 1484.75/1485.26 c 1477s | 24 | 3796012 | 3626362 | 5848 1517 | 2 | 18 1486.76/1487.27 c 1479s | 24 | 3799210 | 3629362 | 5848 1518 | 2 | 18 1488.75/1489.28 c 1481s | 24 | 3803104 | 3632962 | 5848 1520 | 2 | 18 1490.85/1491.30 c 1483s | 24 | 3806777 | 3636062 | 5848 1521 | 2 | 18 1492.85/1493.31 c 1485s | 24 | 3810180 | 3639062 | 5848 1522 | 2 | 18 1494.85/1495.32 c 1487s | 24 | 3813641 | 3642462 | 5848 1523 | 2 | 18 1496.85/1497.33 c 1489s | 24 | 3816145 | 3644762 | 5848 1523 | 2 | 18 1498.85/1499.34 c 1491s | 24 | 3818912 | 3647162 | 5848 1524 | 2 | 18 1500.85/1501.36 c 1493s | 24 | 3821457 | 3649562 | 5848 1525 | 2 | 18 1502.85/1503.39 c 1495s | 24 | 3826931 | 3654662 | 5848 1527 | 2 | 18 1504.95/1505.42 c 1498s | 24 | 3832495 | 3660062 | 5848 1528 | 2 | 18 1506.94/1507.45 c 1500s | 24 | 3838124 | 3665362 | 5848 1530 | 2 | 18 1508.94/1509.46 c 1502s | 24 | 3843664 | 3670662 | 5848 1532 | 2 | 18 1510.95/1511.48 c 1504s | 24 | 3848826 | 3675562 | 5848 1534 | 2 | 18 1513.04/1513.51 c 1506s | 24 | 3853980 | 3680362 | 5848 1535 | 2 | 18 1515.04/1515.54 c 1508s | 24 | 3858898 | 3684962 | 5848 1537 | 2 | 18 1517.04/1517.57 c 1510s | 24 | 3864053 | 3689862 | 5848 1538 | 2 | 18 1519.04/1519.58 c 1512s | 24 | 3869226 | 3694762 | 5848 1540 | 2 | 18 1521.14/1521.61 c 1514s | 24 | 3874541 | 3699862 | 5848 1542 | 2 | 18 1523.15/1523.63 c 1516s | 24 | 3879290 | 3704262 | 5848 1543 | 2 | 18 1525.14/1525.64 c 1518s | 24 | 3884392 | 3709062 | 5848 1545 | 2 | 18 1527.14/1527.66 c 1520s | 24 | 3888366 | 3712762 | 5848 1546 | 2 | 18 1529.14/1529.69 c 1522s | 24 | 3892724 | 3716862 | 5848 1547 | 2 | 18 1531.24/1531.74 c 1524s | 24 | 3897975 | 3721862 | 5848 1549 | 2 | 18 1533.24/1533.76 c 1526s | 24 | 3903494 | 3726962 | 5848 1551 | 2 | 18 1535.34/1535.85 c 1528s | 24 | 3907593 | 3730662 | 5848 1552 | 2 | 18 1537.35/1537.85 c 1530s | 24 | 3910354 | 3733162 | 5848 1553 | 2 | 18 1539.34/1539.90 c 1532s | 24 | 3914793 | 3737362 | 5848 1554 | 2 | 18 1541.45/1541.94 c 1534s | 24 | 3918710 | 3741062 | 5848 1555 | 2 | 18 1543.45/1543.98 c 1536s | 24 | 3922180 | 3744462 | 5848 1556 | 2 | 18 1545.55/1546.04 c 1538s | 24 | 3926382 | 3748462 | 5848 1558 | 2 | 18 1547.55/1548.04 c 1540s | 24 | 3930043 | 3751962 | 5848 1559 | 2 | 18 1549.55/1550.08 c 1542s | 24 | 3935431 | 3756962 | 5848 1560 | 2 | 18 1551.54/1552.10 c 1544s | 24 | 3940157 | 3761362 | 5848 1562 | 2 | 18 1553.64/1554.14 c 1546s | 24 | 3944909 | 3765762 | 5848 1563 | 2 | 18 1555.64/1556.18 c 1548s | 24 | 3948561 | 3769362 | 5848 1565 | 2 | 18 1557.74/1558.20 c 1550s | 24 | 3954106 | 3774762 | 5848 1566 | 2 | 18 1559.74/1560.22 c 1552s | 24 | 3959470 | 3779962 | 5848 1568 | 2 | 18 1561.74/1562.23 c 1554s | 24 | 3964934 | 3785362 | 5848 1570 | 2 | 18 1563.75/1564.26 c 1556s | 24 | 3969278 | 3789562 | 5848 1571 | 2 | 18 1565.84/1566.30 c 1558s | 24 | 3974948 | 3795062 | 5848 1573 | 2 | 18 1567.84/1568.37 c 1560s | 24 | 3978558 | 3798462 | 5848 1574 | 2 | 18 1569.94/1570.41 c 1563s | 24 | 3982567 | 3802262 | 5848 1575 | 2 | 18 1571.94/1572.43 c 1565s | 24 | 3986810 | 3806462 | 5848 1577 | 2 | 18 1573.94/1574.47 c 1567s | 24 | 3990443 | 3809862 | 5848 1578 | 2 | 18 1576.04/1576.52 c 1569s | 24 | 3994543 | 3813662 | 5848 1579 | 2 | 18 1578.04/1578.59 c 1571s | 24 | 3999104 | 3817862 | 5848 1581 | 2 | 18 1580.14/1580.65 c 1573s | 24 | 4004033 | 3822362 | 5848 1582 | 2 | 18 1582.14/1582.68 c 1575s | 24 | 4008296 | 3826462 | 5848 1583 | 2 | 18 1584.14/1584.69 c 1577s | 24 | 4012151 | 3830262 | 5848 1585 | 2 | 18 1586.24/1586.70 c 1579s | 24 | 4016772 | 3834762 | 5848 1586 | 2 | 18 1588.23/1588.74 c 1581s | 24 | 4021378 | 3839062 | 5848 1588 | 2 | 18 1590.24/1590.75 c 1583s | 24 | 4025897 | 3843462 | 5848 1589 | 2 | 18 1592.34/1592.82 c 1585s | 24 | 4030383 | 3847862 | 5848 1590 | 2 | 18 1594.33/1594.84 c 1587s | 24 | 4035634 | 3852862 | 5848 1592 | 2 | 18 1596.33/1596.88 c 1589s | 24 | 4039245 | 3856362 | 5848 1593 | 2 | 18 1598.43/1598.92 c 1591s | 24 | 4043494 | 3860462 | 5848 1595 | 2 | 18 1600.43/1600.94 c 1593s | 24 | 4047031 | 3863762 | 5848 1596 | 2 | 18 1602.43/1602.98 c 1595s | 24 | 4050984 | 3867562 | 5848 1597 | 2 | 18 1604.54/1605.02 c 1597s | 24 | 4056268 | 3872562 | 5848 1598 | 2 | 18 1606.53/1607.03 c 1599s | 24 | 4061054 | 3877062 | 5848 1600 | 2 | 18 1608.53/1609.09 c 1601s | 24 | 4065676 | 3881462 | 5848 1601 | 2 | 18 1610.63/1611.10 c 1603s | 24 | 4069833 | 3885562 | 5848 1603 | 2 | 18 1612.63/1613.14 c 1605s | 24 | 4073701 | 3888962 | 5848 1604 | 2 | 18 1614.63/1615.15 c 1607s | 24 | 4077929 | 3892962 | 5848 1605 | 2 | 18 1616.64/1617.19 c 1609s | 24 | 4082094 | 3896962 | 5848 1607 | 2 | 18 1618.73/1619.23 c 1611s | 24 | 4086642 | 3901262 | 5848 1608 | 2 | 18 1620.73/1621.28 c 1613s | 24 | 4090760 | 3904962 | 5848 1609 | 2 | 18 1622.83/1623.30 c 1615s | 24 | 4094657 | 3908162 | 5848 1610 | 2 | 18 1624.83/1625.35 c 1617s | 24 | 4098941 | 3911862 | 5848 1612 | 2 | 18 1626.92/1627.43 c 1620s | 24 | 4103284 | 3915962 | 5848 1613 | 2 | 18 1628.92/1629.43 c 1622s | 24 | 4107201 | 3919762 | 5848 1614 | 2 | 18 1630.93/1631.46 c 1624s | 24 | 4111682 | 3924062 | 5848 1616 | 2 | 18 1632.92/1633.47 c 1626s | 24 | 4116764 | 3928762 | 5848 1617 | 2 | 18 1634.92/1635.47 c 1628s | 24 | 4121313 | 3933162 | 5848 1619 | 2 | 18 1636.92/1637.48 c 1630s | 24 | 4125584 | 3937362 | 5848 1620 | 2 | 18 1638.92/1639.49 c 1632s | 24 | 4129658 | 3941362 | 5848 1621 | 2 | 18 1641.02/1641.50 c 1634s | 24 | 4133296 | 3944962 | 5848 1622 | 2 | 18 1643.03/1643.53 c 1636s | 24 | 4137271 | 3948862 | 5848 1624 | 2 | 18 1645.03/1645.55 c 1638s | 24 | 4141719 | 3953162 | 5848 1625 | 2 | 18 1647.03/1647.57 c 1640s | 24 | 4146212 | 3957462 | 5848 1627 | 2 | 18 1649.13/1649.63 c 1642s | 24 | 4150249 | 3961262 | 5848 1628 | 2 | 18 1651.13/1651.65 c 1644s | 24 | 4152913 | 3963762 | 5848 1629 | 2 | 18 1653.13/1653.65 c 1646s | 24 | 4156179 | 3966962 | 5848 1630 | 2 | 18 1655.14/1655.69 c 1648s | 24 | 4160293 | 3970562 | 5848 1631 | 2 | 18 1657.23/1657.71 c 1650s | 24 | 4163753 | 3973962 | 5848 1632 | 2 | 18 1659.23/1659.73 c 1652s | 24 | 4168236 | 3978262 | 5848 1633 | 2 | 18 1661.23/1661.74 c 1654s | 24 | 4172782 | 3982662 | 5848 1635 | 2 | 18 1663.23/1663.76 c 1656s | 24 | 4177089 | 3986862 | 5848 1636 | 2 | 18 1665.23/1665.77 c 1658s | 24 | 4181543 | 3991262 | 5848 1638 | 2 | 18 1667.23/1667.78 c 1660s | 24 | 4185567 | 3995162 | 5848 1639 | 2 | 18 1669.33/1669.83 c 1662s | 24 | 4190049 | 3999562 | 5848 1641 | 2 | 18 1671.32/1671.85 c 1664s | 24 | 4194191 | 4003562 | 5848 1642 | 2 | 18 1673.32/1673.87 c 1666s | 24 | 4198565 | 4007862 | 5848 1643 | 2 | 18 1675.42/1675.90 c 1668s | 24 | 4202878 | 4011862 | 5848 1645 | 2 | 18 1677.42/1677.93 c 1670s | 24 | 4207000 | 4015762 | 5848 1646 | 2 | 18 1679.42/1679.98 c 1672s | 24 | 4211042 | 4019662 | 5848 1647 | 2 | 18 1681.43/1681.99 c 1674s | 24 | 4215104 | 4023562 | 5848 1648 | 2 | 18 1683.52/1684.02 c 1676s | 24 | 4219594 | 4027962 | 5848 1650 | 2 | 18 1685.52/1686.03 c 1678s | 24 | 4223846 | 4032062 | 5848 1651 | 2 | 18 1687.52/1688.07 c 1680s | 24 | 4228521 | 4036562 | 5848 1653 | 2 | 18 1689.62/1690.11 c 1682s | 24 | 4233013 | 4040762 | 5848 1654 | 2 | 18 1691.62/1692.13 c 1684s | 24 | 4236985 | 4044562 | 5848 1655 | 2 | 18 1693.63/1694.14 c 1686s | 24 | 4241405 | 4048762 | 5848 1657 | 2 | 18 1695.62/1696.16 c 1688s | 24 | 4245620 | 4052662 | 5848 1658 | 2 | 18 1697.72/1698.21 c 1690s | 24 | 4249105 | 4056062 | 5848 1659 | 2 | 18 1699.72/1700.23 c 1692s | 24 | 4252631 | 4059362 | 5848 1660 | 2 | 18 1701.72/1702.23 c 1694s | 24 | 4256616 | 4063262 | 5848 1662 | 2 | 18 1703.72/1704.25 c 1696s | 24 | 4260732 | 4067262 | 5848 1663 | 2 | 18 1705.72/1706.28 c 1698s | 24 | 4264523 | 4070662 | 5848 1664 | 2 | 18 1707.82/1708.30 c 1700s | 24 | 4268674 | 4074662 | 5848 1665 | 2 | 18 1709.82/1710.34 c 1702s | 24 | 4272715 | 4078562 | 5848 1667 | 2 | 18 1711.81/1712.35 c 1704s | 24 | 4276664 | 4082462 | 5848 1668 | 2 | 18 1713.82/1714.39 c 1706s | 24 | 4280738 | 4086462 | 5848 1669 | 2 | 18 1715.91/1716.43 c 1709s | 24 | 4284885 | 4090562 | 5848 1671 | 2 | 18 1717.91/1718.50 c 1711s | 24 | 4289512 | 4094962 | 5848 1672 | 2 | 18 1720.02/1720.53 c 1713s | 24 | 4293703 | 4098962 | 5848 1673 | 2 | 18 1722.01/1722.58 c 1715s | 24 | 4298174 | 4103262 | 5848 1675 | 2 | 18 1724.11/1724.60 c 1717s | 24 | 4301919 | 4106462 | 5848 1676 | 2 | 18 1726.12/1726.64 c 1719s | 24 | 4305662 | 4110162 | 5848 1677 | 2 | 18 1728.12/1728.65 c 1721s | 24 | 4309196 | 4113462 | 5848 1678 | 2 | 18 1730.22/1730.72 c 1723s | 24 | 4312398 | 4116462 | 5848 1679 | 2 | 18 1732.22/1732.76 c 1725s | 24 | 4316423 | 4120362 | 5848 1680 | 2 | 18 1734.22/1734.77 c 1727s | 24 | 4320529 | 4124262 | 5848 1682 | 2 | 18 1736.32/1736.84 c 1729s | 24 | 4324541 | 4127962 | 5848 1683 | 2 | 18 1738.42/1738.92 c 1731s | 24 | 4327549 | 4130762 | 5848 1684 | 2 | 18 1740.42/1740.97 c 1733s | 24 | 4330177 | 4133262 | 5848 1685 | 2 | 18 1742.42/1742.97 c 1735s | 24 | 4333566 | 4136462 | 5848 1686 | 2 | 18 1744.51/1745.06 c 1737s | 24 | 4337625 | 4140262 | 5848 1687 | 2 | 18 1746.62/1747.11 c 1739s | 24 | 4341647 | 4144162 | 5848 1688 | 2 | 18 1748.62/1749.13 c 1741s | 24 | 4345610 | 4148062 | 5848 1690 | 2 | 18 1750.61/1751.18 c 1743s | 24 | 4349504 | 4151862 | 5848 1691 | 2 | 18 1752.71/1753.20 c 1745s | 24 | 4353574 | 4155862 | 5848 1692 | 2 | 18 1754.71/1755.20 c 1747s | 24 | 4359555 | 4161762 | 5848 1694 | 2 | 18 1756.71/1757.27 c 1749s | 24 | 4363637 | 4165662 | 5848 1695 | 2 | 18 1758.71/1759.29 c 1751s | 24 | 4366927 | 4168862 | 5848 1696 | 2 | 18 1760.81/1761.34 c 1753s | 24 | 4371874 | 4173562 | 5848 1698 | 2 | 18 1762.82/1763.36 c 1755s | 24 | 4377488 | 4178862 | 5848 1700 | 2 | 18 1764.81/1765.39 c 1757s | 24 | 4383399 | 4184362 | 5848 1702 | 2 | 18 1766.91/1767.42 c 1760s | 24 | 4387941 | 4188662 | 5848 1703 | 2 | 18 1768.91/1769.44 c 1762s | 24 | 4391047 | 4191462 | 5848 1704 | 2 | 18 1770.91/1771.45 c 1764s | 24 | 4394646 | 4194762 | 5848 1705 | 2 | 18 1772.91/1773.47 c 1766s | 24 | 4398456 | 4198362 | 5848 1706 | 2 | 18 1775.01/1775.51 c 1768s | 24 | 4404692 | 4204462 | 5848 1708 | 2 | 18 1777.00/1777.52 c 1770s | 24 | 4408751 | 4208362 | 5848 1709 | 2 | 18 1779.00/1779.55 c 1772s | 24 | 4413241 | 4212562 | 5848 1711 | 2 | 18 1781.00/1781.58 c 1774s | 24 | 4417557 | 4216562 | 5848 1712 | 2 | 18 1783.10/1783.61 c 1776s | 24 | 4421318 | 4220262 | 5848 1713 | 2 | 18 1785.10/1785.63 c 1778s | 24 | 4425337 | 4224062 | 5848 1715 | 2 | 18 1787.11/1787.66 c 1780s | 24 | 4429225 | 4227862 | 5848 1716 | 2 | 18 1789.10/1789.69 c 1782s | 24 | 4433221 | 4231762 | 5848 1717 | 2 | 18 1791.20/1791.70 c 1784s | 24 | 4437122 | 4235562 | 5848 1718 | 2 | 18 1793.20/1793.75 c 1786s | 24 | 4440806 | 4239162 | 5848 1720 | 2 | 18 1795.30/1795.82 c 1788s | 24 | 4444301 | 4242562 | 5848 1721 | 2 | 18 1797.30/1797.83 c 1790s | 24 | 4449831 | 4247962 | 5848 1722 | 2 | 18 1799.30/1799.87 c 1792s | 24 | 4455533 | 4253562 | 5848 1724 | 2 | 18
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-4106427-1466271099/watcher-4106427-1466271099 -o /tmp/evaluation-result-4106427-1466271099/solver-4106427-1466271099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106427-1466271099.opb pid=22502 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.20 2.19 2.19 3/181 22505 /proc/meminfo: memFree=28929340/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=694716 CPUtime=0 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 2582 0 0 0 0 0 0 0 20 0 4 0 29155849 711389184 3455 33554432000 4194304 16246674 140735767937376 140735767936800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/22505/statm: 174191 3465 441 2943 0 171085 0 [pid=22505/tid=22506] ppid=22502 vsize=712124 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 729214976 3524 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=716220 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 733409280 3540 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=720316 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 737603584 3557 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.20 2.19 2.19 3/181 22505 /proc/meminfo: memFree=28929340/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 22305 0 0 0 5 3 0 0 20 0 4 0 29155849 1247350784 23165 33554432000 4194304 16246674 140735767937376 140735767936800 13780501 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/22505/statm: 304529 23172 758 2943 0 301423 0 [pid=22505/tid=22506] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 23178 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 23183 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 23189 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200528 s] /proc/loadavg: 2.20 2.19 2.19 3/181 22505 /proc/meminfo: memFree=28929340/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 40025 0 0 0 13 6 0 0 20 0 4 0 29155849 1247350784 40886 33554432000 4194304 16246674 140735767937376 140735767936800 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/22505/statm: 304529 40895 758 2943 0 301423 0 [pid=22505/tid=22506] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 40906 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 40910 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 40915 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300506 s] /proc/loadavg: 2.20 2.19 2.19 3/181 22505 /proc/meminfo: memFree=28929340/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 56432 0 0 0 20 9 0 0 20 0 4 0 29155849 1247350784 57292 33554432000 4194304 16246674 140735767937376 140735767919296 13780501 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/22505/statm: 304529 57298 758 2943 0 301423 0 [pid=22505/tid=22506] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 57304 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 57309 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 57314 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70042 s] /proc/loadavg: 2.20 2.19 2.19 3/181 22505 /proc/meminfo: memFree=28929340/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 123020 0 0 0 52 17 0 0 20 0 4 0 29155849 1247350784 123880 33554432000 4194304 16246674 140735767937376 140735767919296 6010521 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/22505/statm: 304529 123888 765 2943 0 301423 0 [pid=22505/tid=22506] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 123890 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 123894 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 123899 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.20 2.19 2.19 3/185 22509 /proc/meminfo: memFree=28162876/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 233251 0 0 0 117 32 0 0 20 0 4 0 29155849 1247350784 234111 33554432000 4194304 16246674 140735767937376 140735767919296 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 304529 234116 765 2943 0 301423 0 [pid=22505/tid=22506] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 234118 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 234121 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1247350784 234123 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10039 s] /proc/loadavg: 2.20 2.19 2.19 3/185 22509 /proc/meminfo: memFree=27943024/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 266697 0 0 0 273 36 0 0 20 0 4 0 29155849 1334382592 267534 33554432000 4194304 16246674 140735767937376 140735767919296 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 325777 267534 833 2943 0 322671 0 [pid=22505/tid=22506] ppid=22502 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1334382592 267534 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1334382592 267534 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1334382592 267534 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30046 s] /proc/loadavg: 2.19 2.19 2.19 3/185 22509 /proc/meminfo: memFree=27854544/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1308228 CPUtime=6.28 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 268132 0 0 0 592 36 0 0 20 0 4 0 29155849 1339625472 268969 33554432000 4194304 16246674 140735767937376 140735767919296 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 327057 268969 833 2943 0 323951 0 [pid=22505/tid=22506] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268969 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268969 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268969 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.17 2.19 2.19 3/185 22509 /proc/meminfo: memFree=27853500/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 268150 0 0 0 1232 36 0 0 20 0 4 0 29155849 1339625472 268987 33554432000 4194304 16246674 140735767937376 140735767919296 5712690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 327057 268987 851 2943 0 323951 0 [pid=22505/tid=22506] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268987 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268987 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1339625472 268987 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.13 2.18 2.18 4/185 22509 /proc/meminfo: memFree=27848704/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 269430 0 0 0 2512 37 0 0 20 0 4 0 29155849 1344868352 270267 33554432000 4194304 16246674 140735767937376 140735767919296 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 328337 270267 851 2943 0 325231 0 [pid=22505/tid=22506] ppid=22502 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1344868352 270267 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1344868352 270267 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1344868352 270267 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.21 2.19 2.19 3/185 22509 /proc/meminfo: memFree=27844988/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 270198 0 0 0 5071 37 0 0 20 0 4 0 29155849 1348014080 271035 33554432000 4194304 16246674 140735767937376 140735767919296 12875562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 329105 271035 851 2943 0 325999 0 [pid=22505/tid=22506] ppid=22502 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1348014080 271035 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1348014080 271035 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1348014080 271035 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.26 2.21 2.19 3/185 22510 /proc/meminfo: memFree=27841012/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1318468 CPUtime=102.28 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 270712 0 0 0 10190 38 0 0 20 0 4 0 29155849 1350111232 271549 33554432000 4194304 16246674 140735767937376 140735767919296 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 329617 271549 853 2943 0 326511 0 [pid=22505/tid=22506] ppid=22502 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1350111232 271549 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1350111232 271549 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1350111232 271549 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.27 2.23 2.18 3/185 22638 /proc/meminfo: memFree=27829424/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1324612 CPUtime=1361.89 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 272619 0 0 0 136139 50 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140735767919296 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331153 273090 855 2943 0 328047 0 [pid=22505/tid=22506] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.26 2.23 2.18 3/185 22639 /proc/meminfo: memFree=27829448/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1324612 CPUtime=1421.88 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 272648 0 0 0 142137 51 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140735767919296 5711855 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331153 273090 855 2943 0 328047 0 [pid=22505/tid=22506] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.31 2.25 2.19 4/185 22640 /proc/meminfo: memFree=27829352/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1324612 CPUtime=1481.85 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 272657 0 0 0 148134 51 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140735767919296 13774488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331153 273090 855 2943 0 328047 0 [pid=22505/tid=22506] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.18 2.21 2.18 3/185 22642 /proc/meminfo: memFree=27827400/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1324612 CPUtime=1541.85 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 272657 0 0 0 154133 52 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140735767919232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331153 273090 855 2943 0 328047 0 [pid=22505/tid=22506] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.25 2.22 2.18 3/185 22643 /proc/meminfo: memFree=27825836/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1324612 CPUtime=1601.83 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 272657 0 0 0 160131 52 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140735767919296 5721840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331153 273090 855 2943 0 328047 0 [pid=22505/tid=22506] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1356402688 273090 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1324612 [startup+1662.3 s] /proc/loadavg: 2.24 2.22 2.18 4/185 22644 /proc/meminfo: memFree=27824384/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1326660 CPUtime=1661.83 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 273088 0 0 0 166130 53 0 0 20 0 4 0 29155849 1358499840 273521 33554432000 4194304 16246674 140735767937376 140735767920376 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 331665 273521 855 2943 0 328559 0 [pid=22505/tid=22506] ppid=22502 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1358499840 273521 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1358499840 273521 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1358499840 273521 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1326660 [startup+1722.3 s] /proc/loadavg: 2.27 2.22 2.19 3/186 22648 /proc/meminfo: memFree=27819264/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1331780 CPUtime=1721.81 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 274327 0 0 0 172128 53 0 0 20 0 4 0 29155849 1363742720 274760 33554432000 4194304 16246674 140735767937376 140735767919296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 332945 274760 855 2943 0 329839 0 [pid=22505/tid=22506] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274760 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274760 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274760 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.27 2.23 2.18 3/186 22672 /proc/meminfo: memFree=27817788/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1331780 CPUtime=1781.81 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 274449 0 0 0 178127 54 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140735767920376 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 332945 274882 855 2943 0 329839 0 [pid=22505/tid=22506] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.23 2.19 3/186 22674 /proc/meminfo: memFree=27817620/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1331780 CPUtime=1800 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 274449 0 0 0 179946 54 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140735767919296 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 332945 274882 855 2943 0 329839 0 [pid=22505/tid=22506] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1331780 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 22505 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.23 2.19 3/186 22674 /proc/meminfo: memFree=27817620/32872528 swapFree=1505436/1685308 [pid=22505] ppid=22502 vsize=1331780 CPUtime=1800 cores=1,3,5,7 /proc/22505/stat : 22505 (toysat) R 22502 22505 21389 0 -1 4202496 274449 0 0 0 179946 54 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140735767919296 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22505/statm: 332945 274882 855 2943 0 329839 0 [pid=22505/tid=22506] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22506/stat : 22506 (toysat) S 22502 22505 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390596324592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=22505/tid=22507] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22507/stat : 22507 (toysat) S 22502 22505 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390585834736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=22505/tid=22508] ppid=22502 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/22505/task/22508/stat : 22508 (toysat) S 22502 22505 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29155849 1363742720 274882 33554432000 4194304 16246674 140735767937376 140390468414640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1331780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.47 CPU system time (s): 0.546916 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.546916 maximum resident set size= 1099528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274449 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= 420 involuntary context switches= 1865 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2974 second user time and 15.0207 second system time The end
Begin job on node135 at 2016-06-18 19:31:39 IDJOB=4106427 IDBENCH=48057 IDSOLVER=2542 FILE ID=node135/4106427-1466271099 RUNJOBID= node135-1466266561-21406 PBS_JOBID= 19918237 Free space on /tmp= 71688 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=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106427-1466271099/watcher-4106427-1466271099 -o /tmp/evaluation-result-4106427-1466271099/solver-4106427-1466271099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106427-1466271099.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ea08c66c9e8e41f4a763233d2f14489d RANDOM SEED=495728597 node135.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.004 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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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.004 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.57 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.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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: 28929720 kB Buffers: 154928 kB Cached: 281780 kB SwapCached: 716 kB Active: 1216684 kB Inactive: 299960 kB Active(anon): 1080880 kB Inactive(anon): 1308 kB Active(file): 135804 kB Inactive(file): 298652 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16104 kB Writeback: 0 kB AnonPages: 2764248 kB Mapped: 10448 kB Shmem: 0 kB Slab: 605928 kB SReclaimable: 49364 kB SUnreclaim: 556564 kB KernelStack: 1536 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2906968 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 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= 71672 MiB End job on node135 at 2016-06-18 20:01:40