Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.61 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | 4fda08e2dc650152cad1c676f7fa8f96 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 750 |
Total number of constraints | 80 |
Number of soft constraints | 54 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 25 |
Top cost | 2808 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 2807 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 2016-06-16T14:28: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","--wbo","--search=bcd2","HOME/instance-4093309-1466080119.wbo"] 0.00/0.01 c use --random-gen="4249200951 871133008 2097944558 3373442392 4023427363 3640745927 2298257524 1356116653 94785854 2695868356 1588030986 1572907428 3886092987 2862285883 251334431 1142417665 399954754 2659073896 2073949657 1445713724 3757059213 1070568717 1234184571 94174195 1846989017 1790540832 2181141546 2896425329 3045583218 3758893786 2187989331 3919601049 3922343871 3351607046 923580544 1806106808 1899330541 2677131843 4086177410 487927003 3370500685 3871407833 2356167797 4175316612 2327699457 4096633209 468905371 3027438826 2087572950 2998583507 1838467055 3644021088 2982957739 647330113 3261973608 3244077074 1732178095 3516906775 2109701940 1620647262 1203809111 687162027 1678573727 2499126430 2049361507 2788061942 1607926569 1443598795 2876219655 3111938663 3891057069 1933019647 1429133392 2242232428 761242070 2181145155 2947354991 2919636005 1934607276 3963839101 2280285038 368526757 860255249 1304152503 2398801865 1356339672 2190160318 3925352036 1770476201 4225511528 2877436038 950305836 3971486746 2110158979 2670400530 2802715442 3610793070 2514920433 1494899309 497043134 61427548 2109618715 3216412454 450421796 1306326257 885505317 674685520 3293334273 17984300 1665237475 3942450054 1758468919 1079981435 1006247292 3036203378 3744625994 3700689748 1097659996 2417476106 1636274214 3719026112 1865347664 2004259548 97332501 3082899764 828308368 2675290940 1071908204 1320637541 2171743491 1047669718 656218507 3582373110 2057191533 3503501797 3703297667 3626879945 2214067906 2537086690 394881725 2033882879 1291473756 1014325994 3112407399 1122823416 3765055698 3567846022 4284069965 3852255392 1283001818 1186750539 734449230 634291942 168256560 320110942 3256823492 3638361527 4196137777 2387442854 3179259103 1936121053 2140559485 1199633861 707645041 3220856330 3130141006 757661782 2966168501 1538467165 574862747 4272977826 2353383401 2824036550 324427522 1078725681 3325939792 2094657882 1262847793 1609505375 3599756029 523664495 537970074 3617989464 216807442 603000147 2596698165 1615098219 4026061479 4240743015 3946527136 404383515 3452250673 3788359261 3290893591 183468660 1897304451 547391870 4066967187 2409809793 774346766 3664071822 1436233979 387976618 2990009432 162811634 1028297725 3861014556 3974033063 4229911509 864999825 4269950490 1272449366 4151087124 2641710794 3332565657 3743561224 3892530833 1483383003 1270637667 1574881490 1146278656 48071494 1191063014 1430720849 2893100214 3218390281 662720070 522092892 1388922602 336246651 3242828953 1536512916 868958440 356403221 3887020940 2496401190 2854654294 3442502727 3959361561 3033004928 1249660002 1350971841 2582946728 2969962376 3970547345 117697807 1152193910 3305275956 3556971038 895838088 2665981839 1599868737 1338889734 1467855368 2339562919 3358569045 255 362436" option to reproduce the execution 0.00/0.04 c #vars 750 0.00/0.04 c #constraints 80 0.00/0.04 c BCD2: Hardening is enabled. 0.00/0.04 c BCD2: BiasedSearch is enabled. 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 294 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 181 | 100 | 294 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 664 | 103 | 324 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.020s 0.00/0.06 c #wall_clock_time = 0.020s 0.00/0.06 c #decision = 664 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 103 0.00/0.06 c #restart = 1 0.00/0.06 o 1112 0.00/0.06 c BCD2: updating upper bound: 2807 -> 1111 0.00/0.06 c BCD2: 0 <= obj <= 1111 0.00/0.06 c BCD2: #cores=0, #unrelaxed=54, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 324 0 | 0 | 0 0.00/0.09 c 0.0s | 1 | 275 | 100 | 324 0 | 0 | 0 0.09/0.15 c 0.1s | 2 | 668 | 250 | 357 0 | 0 | 0 0.19/0.23 c 0.2s | 3 | 1106 | 475 | 393 0 | 0 | 0 0.29/0.36 c 0.3s | 4 | 1878 | 813 | 433 1 | 0 | 0 0.59/0.68 c 0.6s | 5 | 2634 | 1320 | 477 2 | 0 | 0 0.89/0.97 c 0.9s | 6 | 3775 | 2081 | 525 4 | 0 | 0 1.29/1.34 c 1.3s | 7 | 6347 | 3223 | 578 7 | 0 | 0 1.99/2.05 c 2.0s | 8 | 11303 | 4936 | 636 12 | 0 | 0 2.99/3.02 c 3.0s | 9 | 14551 | 7506 | 700 18 | 0 | 0 4.40/4.50 c 4.4s | 10 | 20118 | 11361 | 771 27 | 0 | 0 6.49/6.50 c 6.4s | 11 | 28401 | 17144 | 849 38 | 0 | 0 8.49/8.52 c 8.5s | 11 | 35796 | 22344 | 849 47 | 0 | 0 9.79/9.83 c 9.8s | 12 | 39929 | 25819 | 934 54 | 0 | 0 11.79/11.84 c 11.8s | 12 | 46494 | 30819 | 934 63 | 0 | 0 13.79/13.84 c 13.8s | 12 | 52670 | 35819 | 934 72 | 0 | 0 14.89/14.98 c 14.9s | 13 | 56669 | 38832 | 1028 77 | 0 | 0 16.99/17.00 c 16.9s | 13 | 63373 | 43932 | 1028 85 | 0 | 0 18.99/19.01 c 18.9s | 13 | 70505 | 49432 | 1028 95 | 0 | 0 20.99/21.03 c 21.0s | 13 | 76927 | 54532 | 1028 103 | 0 | 0 22.59/22.65 c 22.6s | 14 | 81729 | 58352 | 1131 110 | 0 | 0 24.59/24.67 c 24.6s | 14 | 88301 | 63452 | 1131 117 | 0 | 0 26.59/26.69 c 26.6s | 14 | 95570 | 68552 | 1131 125 | 0 | 0 28.69/28.71 c 28.6s | 14 | 101274 | 72752 | 1131 132 | 0 | 0 30.69/30.75 c 30.7s | 14 | 107145 | 77052 | 1131 138 | 0 | 0 32.68/32.78 c 32.7s | 14 | 112348 | 81152 | 1131 145 | 0 | 0 34.78/34.82 c 34.8s | 14 | 117611 | 85352 | 1131 151 | 0 | 0 35.78/35.84 c 35.8s | 15 | 121064 | 87632 | 1245 155 | 0 | 0 37.78/37.90 c 37.8s | 15 | 126144 | 91732 | 1245 161 | 0 | 0 39.88/39.92 c 39.9s | 15 | 131115 | 95832 | 1245 166 | 0 | 0 41.89/41.93 c 41.9s | 15 | 136012 | 100032 | 1245 172 | 0 | 0 43.88/43.95 c 43.9s | 15 | 141747 | 104732 | 1245 179 | 0 | 0 45.88/45.98 c 45.9s | 15 | 147179 | 109232 | 1245 185 | 0 | 0 47.98/48.00 c 47.9s | 15 | 152698 | 113732 | 1245 192 | 0 | 0 49.98/50.02 c 50.0s | 15 | 158538 | 118632 | 1245 199 | 0 | 0 51.98/52.05 c 52.0s | 15 | 164069 | 123332 | 1245 206 | 0 | 0 53.99/54.08 c 54.0s | 15 | 169087 | 127632 | 1245 212 | 0 | 0 55.78/55.84 c 55.8s | 16 | 173702 | 131552 | 1370 217 | 0 | 0 57.78/57.87 c 57.8s | 16 | 180843 | 136052 | 1370 223 | 0 | 0 59.88/59.91 c 59.8s | 16 | 185818 | 140152 | 1370 229 | 0 | 0 61.88/61.92 c 61.9s | 16 | 191427 | 144552 | 1370 234 | 0 | 0 63.88/63.92 c 63.9s | 16 | 197213 | 149252 | 1370 241 | 0 | 0 65.88/65.95 c 65.9s | 16 | 202672 | 153752 | 1370 247 | 0 | 0 67.88/67.98 c 67.9s | 16 | 207788 | 158152 | 1370 253 | 0 | 0 69.98/70.01 c 69.9s | 16 | 213523 | 162752 | 1370 259 | 0 | 0 71.98/72.02 c 72.0s | 16 | 218694 | 167352 | 1370 265 | 0 | 0 73.98/74.03 c 74.0s | 16 | 223598 | 171652 | 1370 270 | 0 | 0 75.98/76.07 c 76.0s | 16 | 228339 | 175652 | 1370 276 | 0 | 0 77.98/78.10 c 78.0s | 16 | 232914 | 179652 | 1370 281 | 0 | 0 80.07/80.10 c 80.0s | 16 | 237246 | 183452 | 1370 286 | 0 | 0 82.07/82.10 c 82.0s | 16 | 241717 | 187452 | 1370 292 | 0 | 0 84.07/84.13 c 84.1s | 16 | 246489 | 191652 | 1370 297 | 0 | 0 86.07/86.15 c 86.1s | 16 | 251292 | 195952 | 1508 303 | 0 | 0 86.88/86.94 c 86.9s | 17 | 252928 | 197432 | 1508 305 | 0 | 0 88.87/88.95 c 88.9s | 17 | 258972 | 202232 | 1508 310 | 0 | 0 90.87/90.97 c 90.9s | 17 | 264756 | 207132 | 1508 316 | 0 | 0 92.87/92.98 c 92.9s | 17 | 270920 | 212132 | 1508 322 | 0 | 0 94.97/95.00 c 94.9s | 17 | 276724 | 216832 | 1508 327 | 0 | 0 96.97/97.03 c 97.0s | 17 | 282221 | 221032 | 1508 332 | 0 | 0 98.98/99.06 c 99.0s | 17 | 286293 | 224532 | 1508 336 | 0 | 0 101.07/101.11 c 101s | 17 | 290058 | 227732 | 1508 339 | 0 | 0 103.07/103.14 c 103s | 17 | 293795 | 230832 | 1508 343 | 0 | 0 105.07/105.15 c 105s | 17 | 297686 | 233932 | 1508 346 | 0 | 0 107.07/107.15 c 107s | 17 | 301369 | 237132 | 1508 350 | 0 | 0 109.07/109.18 c 109s | 17 | 305365 | 240332 | 1508 353 | 0 | 0 111.18/111.22 c 111s | 17 | 309535 | 243632 | 1508 357 | 0 | 0 113.18/113.25 c 113s | 17 | 312859 | 246432 | 1508 360 | 0 | 0 115.28/115.31 c 115s | 17 | 316939 | 249832 | 1508 364 | 0 | 0 117.28/117.32 c 117s | 17 | 320990 | 252732 | 1508 367 | 0 | 0 119.28/119.37 c 119s | 17 | 324726 | 255932 | 1508 371 | 0 | 0 121.28/121.39 c 121s | 17 | 329011 | 258932 | 1508 374 | 0 | 0 123.38/123.40 c 123s | 17 | 332432 | 261732 | 1508 377 | 0 | 0 125.38/125.43 c 125s | 17 | 337140 | 265132 | 1508 381 | 0 | 0 127.37/127.43 c 127s | 17 | 341074 | 268032 | 1508 384 | 0 | 0 129.47/129.50 c 129s | 17 | 345268 | 270332 | 1508 387 | 0 | 0 131.47/131.52 c 131s | 17 | 349725 | 273432 | 1508 391 | 0 | 0 133.47/133.54 c 133s | 17 | 353455 | 276132 | 1508 394 | 0 | 0 135.47/135.57 c 135s | 17 | 358621 | 278932 | 1508 397 | 0 | 0 137.58/137.62 c 137s | 17 | 362750 | 281632 | 1508 400 | 0 | 0 139.57/139.63 c 139s | 17 | 365815 | 284032 | 1508 403 | 0 | 0 141.67/141.71 c 141s | 17 | 369229 | 286432 | 1508 405 | 0 | 0 143.67/143.77 c 143s | 17 | 373686 | 289132 | 1508 408 | 0 | 0 145.77/145.81 c 145s | 17 | 377294 | 291832 | 1508 411 | 0 | 0 147.77/147.87 c 147s | 17 | 380832 | 294432 | 1659 414 | 0 | 0 149.47/149.50 c 149s | 18 | 384115 | 296252 | 1659 416 | 0 | 0 151.47/151.50 c 151s | 18 | 393383 | 301552 | 1659 422 | 0 | 0 153.47/153.53 c 153s | 18 | 402904 | 305952 | 1659 427 | 0 | 0 155.47/155.53 c 155s | 18 | 410018 | 310052 | 1659 431 | 0 | 0 157.47/157.53 c 157s | 18 | 416516 | 314552 | 1659 436 | 0 | 0 159.48/159.54 c 159s | 18 | 422887 | 318552 | 1659 440 | 0 | 0 161.47/161.57 c 161s | 18 | 429972 | 322852 | 1659 444 | 0 | 0 163.47/163.59 c 163s | 18 | 435586 | 326152 | 1659 448 | 0 | 0 165.57/165.63 c 165s | 18 | 441849 | 330052 | 1659 452 | 0 | 0 167.57/167.64 c 167s | 18 | 447767 | 334052 | 1659 456 | 0 | 0 169.57/169.68 c 169s | 18 | 455452 | 338152 | 1659 461 | 0 | 0 171.57/171.70 c 171s | 18 | 461561 | 341952 | 1659 465 | 0 | 0 173.67/173.71 c 173s | 18 | 466784 | 345252 | 1659 468 | 0 | 0 175.67/175.73 c 175s | 18 | 473645 | 349452 | 1659 473 | 0 | 0 177.67/177.73 c 177s | 18 | 479603 | 353352 | 1659 477 | 0 | 0 179.67/179.73 c 179s | 18 | 485818 | 356952 | 1659 481 | 0 | 0 181.67/181.77 c 181s | 18 | 491993 | 361752 | 1659 486 | 0 | 0 183.67/183.80 c 183s | 18 | 497246 | 366152 | 1659 490 | 0 | 0 185.76/185.86 c 185s | 18 | 501649 | 369952 | 1659 494 | 0 | 0 187.76/187.88 c 187s | 18 | 505951 | 373752 | 1659 498 | 0 | 0 189.76/189.89 c 189s | 18 | 510797 | 378052 | 1659 503 | 0 | 0 191.86/191.92 c 191s | 18 | 515571 | 382252 | 1659 507 | 0 | 0 193.86/193.96 c 193s | 18 | 520073 | 386252 | 1659 511 | 0 | 0 195.87/195.99 c 195s | 18 | 524348 | 390052 | 1659 515 | 0 | 0 197.97/198.01 c 197s | 18 | 528819 | 394052 | 1659 520 | 0 | 0 199.96/200.05 c 199s | 18 | 533481 | 398052 | 1659 524 | 0 | 0 201.96/202.08 c 202s | 18 | 539116 | 401852 | 1659 528 | 0 | 0 203.96/204.08 c 204s | 18 | 544242 | 405552 | 1659 532 | 0 | 0 206.06/206.11 c 206s | 18 | 549171 | 408952 | 1659 535 | 0 | 0 208.06/208.13 c 208s | 18 | 557982 | 412552 | 1659 539 | 0 | 0 210.07/210.15 c 210s | 18 | 564608 | 417552 | 1659 544 | 0 | 0 212.06/212.18 c 212s | 18 | 571207 | 421952 | 1659 549 | 0 | 0 214.16/214.20 c 214s | 18 | 578361 | 426252 | 1659 554 | 0 | 0 216.16/216.20 c 216s | 18 | 584086 | 430252 | 1659 558 | 0 | 0 218.16/218.25 c 218s | 18 | 591392 | 434552 | 1659 562 | 0 | 0 220.26/220.31 c 220s | 18 | 597917 | 438452 | 1659 567 | 0 | 0 222.26/222.31 c 222s | 18 | 603039 | 442152 | 1825 570 | 0 | 0 223.56/223.66 c 223s | 19 | 605920 | 444482 | 1825 572 | 0 | 0 225.56/225.68 c 225s | 19 | 613462 | 449382 | 1825 577 | 0 | 0 227.55/227.68 c 227s | 19 | 619343 | 453582 | 1825 581 | 0 | 0 229.55/229.69 c 229s | 19 | 628343 | 457782 | 1825 586 | 0 | 0 231.55/231.70 c 231s | 19 | 633392 | 462082 | 1825 590 | 0 | 0 233.65/233.71 c 233s | 19 | 638596 | 466582 | 1825 595 | 0 | 0 235.65/235.72 c 235s | 19 | 643447 | 470882 | 1825 599 | 0 | 0 237.66/237.74 c 237s | 19 | 648712 | 475582 | 1825 604 | 0 | 0 239.65/239.76 c 239s | 19 | 653352 | 479582 | 1825 607 | 0 | 0 241.75/241.80 c 241s | 19 | 657758 | 483382 | 1825 610 | 0 | 0 243.75/243.83 c 243s | 19 | 662236 | 487382 | 1825 614 | 0 | 0 245.75/245.87 c 245s | 19 | 667682 | 492082 | 1825 618 | 0 | 0 247.85/247.91 c 247s | 19 | 673786 | 496782 | 1825 622 | 0 | 0 249.85/249.91 c 249s | 19 | 678415 | 500982 | 1825 626 | 0 | 0 251.85/251.95 c 251s | 19 | 682996 | 505082 | 1825 630 | 0 | 0 253.85/253.96 c 253s | 19 | 687385 | 509082 | 1825 633 | 0 | 0 255.85/255.98 c 255s | 19 | 691619 | 512882 | 1825 637 | 0 | 0 257.96/258.02 c 257s | 19 | 696967 | 516782 | 1825 640 | 0 | 0 259.95/260.03 c 259s | 19 | 702542 | 521682 | 1825 645 | 0 | 0 261.95/262.03 c 261s | 19 | 707758 | 526182 | 1825 649 | 0 | 0 263.96/264.04 c 263s | 19 | 713081 | 530282 | 1825 653 | 0 | 0 265.95/266.09 c 266s | 19 | 717752 | 534482 | 1825 657 | 0 | 0 268.05/268.11 c 268s | 19 | 722080 | 538382 | 1825 660 | 0 | 0 270.05/270.15 c 270s | 19 | 726061 | 541982 | 1825 663 | 0 | 0 272.15/272.20 c 272s | 19 | 730041 | 545582 | 1825 667 | 0 | 0 274.15/274.23 c 274s | 19 | 734274 | 549382 | 1825 670 | 0 | 0 276.15/276.24 c 276s | 19 | 738351 | 553082 | 1825 673 | 0 | 0 278.15/278.25 c 278s | 19 | 742264 | 556582 | 1825 676 | 0 | 0 280.15/280.28 c 280s | 19 | 746103 | 560082 | 1825 680 | 0 | 0 282.15/282.28 c 282s | 19 | 749692 | 563382 | 1825 683 | 0 | 0 284.24/284.34 c 284s | 19 | 753735 | 567082 | 1825 686 | 0 | 0 286.24/286.36 c 286s | 19 | 757563 | 570582 | 1825 689 | 0 | 0 288.34/288.41 c 288s | 19 | 761313 | 573982 | 1825 692 | 0 | 0 290.35/290.46 c 290s | 19 | 765036 | 577082 | 1825 695 | 0 | 0 292.44/292.51 c 292s | 19 | 768476 | 580182 | 1825 698 | 0 | 0 294.43/294.56 c 294s | 19 | 771858 | 583282 | 1825 701 | 0 | 0 296.43/296.59 c 296s | 19 | 775216 | 586382 | 1825 703 | 0 | 0 298.53/298.62 c 298s | 19 | 778530 | 589382 | 1825 706 | 0 | 0 300.53/300.66 c 300s | 19 | 781939 | 592482 | 1825 709 | 0 | 0 302.54/302.67 c 302s | 19 | 785183 | 595482 | 1825 712 | 0 | 0 304.53/304.69 c 304s | 19 | 788483 | 598482 | 1825 714 | 0 | 0 306.63/306.70 c 306s | 19 | 791793 | 601482 | 1825 717 | 0 | 0 308.63/308.72 c 308s | 19 | 795332 | 604682 | 1825 720 | 0 | 0 310.63/310.76 c 310s | 19 | 800322 | 608682 | 1825 723 | 0 | 0 312.63/312.78 c 312s | 19 | 804375 | 612182 | 1825 727 | 0 | 0 314.72/314.83 c 314s | 19 | 807777 | 615282 | 1825 729 | 0 | 0 316.73/316.84 c 316s | 19 | 810785 | 617982 | 1825 732 | 0 | 0 318.72/318.85 c 318s | 19 | 814282 | 620482 | 1825 734 | 0 | 0 320.72/320.88 c 320s | 19 | 818432 | 624082 | 1825 738 | 0 | 0 322.82/322.93 c 322s | 19 | 822988 | 627482 | 1825 741 | 0 | 0 324.81/324.93 c 324s | 19 | 827168 | 630982 | 1825 744 | 0 | 0 326.81/326.98 c 326s | 19 | 830529 | 633982 | 1825 747 | 0 | 0 328.92/329.01 c 328s | 19 | 834010 | 636682 | 1825 749 | 0 | 0 330.91/331.02 c 330s | 19 | 838357 | 639882 | 1825 752 | 0 | 0 332.91/333.07 c 333s | 19 | 841496 | 642782 | 1825 755 | 0 | 0 335.01/335.10 c 335s | 19 | 844886 | 645582 | 1825 757 | 0 | 0 337.01/337.11 c 337s | 19 | 847753 | 648182 | 1825 759 | 0 | 0 339.01/339.13 c 339s | 19 | 851294 | 651082 | 1825 762 | 0 | 0 341.01/341.18 c 341s | 19 | 854757 | 654082 | 1825 765 | 0 | 0 343.00/343.19 c 343s | 19 | 858713 | 656782 | 1825 767 | 0 | 0 345.10/345.22 c 345s | 19 | 862979 | 659682 | 1825 770 | 0 | 0 347.10/347.22 c 347s | 19 | 866668 | 662382 | 2008 772 | 0 | 0 349.10/349.28 c 349s | 19 | 871680 | 666482 | 2008 776 | 0 | 0 349.30/349.48 c 349s | 20 | 872066 | 666827 | 2008 776 | 0 | 0 351.40/351.51 c 351s | 20 | 879082 | 670727 | 2008 780 | 0 | 0 353.39/353.52 c 353s | 20 | 883916 | 674727 | 2008 784 | 0 | 0 355.39/355.55 c 355s | 20 | 888898 | 679027 | 2008 788 | 0 | 0 357.40/357.56 c 357s | 20 | 893615 | 683227 | 2008 791 | 0 | 0 359.49/359.60 c 359s | 20 | 898305 | 687127 | 2008 795 | 0 | 0 361.49/361.68 c 361s | 20 | 902712 | 690927 | 2008 799 | 0 | 0 363.49/363.68 c 363s | 20 | 906904 | 694127 | 2008 801 | 0 | 0 365.49/365.69 c 365s | 20 | 911171 | 697927 | 2008 805 | 0 | 0 367.49/367.69 c 367s | 20 | 915861 | 702027 | 2008 809 | 0 | 0 369.59/369.72 c 369s | 20 | 920889 | 706127 | 2008 813 | 0 | 0 371.59/371.73 c 371s | 20 | 925191 | 709627 | 2008 816 | 0 | 0 373.58/373.76 c 373s | 20 | 929462 | 713227 | 2008 819 | 0 | 0 375.68/375.81 c 375s | 20 | 934120 | 717227 | 2008 823 | 0 | 0 377.68/377.86 c 377s | 20 | 937957 | 720527 | 2008 826 | 0 | 0 379.68/379.89 c 379s | 20 | 942583 | 724327 | 2008 829 | 0 | 0 381.78/381.90 c 381s | 20 | 947043 | 728027 | 2008 833 | 0 | 0 383.79/383.91 c 383s | 20 | 951604 | 731827 | 2008 836 | 0 | 0 385.78/385.97 c 385s | 20 | 955747 | 735327 | 2008 840 | 0 | 0 387.88/388.01 c 387s | 20 | 959988 | 738727 | 2008 843 | 0 | 0 389.88/390.06 c 389s | 20 | 964628 | 742327 | 2008 846 | 0 | 0 391.98/392.10 c 392s | 20 | 969070 | 745627 | 2008 849 | 0 | 0 393.98/394.12 c 394s | 20 | 973489 | 749427 | 2008 852 | 0 | 0 395.98/396.14 c 396s | 20 | 978276 | 753627 | 2008 856 | 0 | 0 397.98/398.15 c 398s | 20 | 982925 | 757727 | 2008 860 | 0 | 0 399.98/400.18 c 400s | 20 | 987785 | 761827 | 2008 864 | 0 | 0 401.97/402.19 c 402s | 20 | 992209 | 765727 | 2008 867 | 0 | 0 404.07/404.21 c 404s | 20 | 996573 | 769627 | 2008 871 | 0 | 0 406.07/406.24 c 406s | 20 | 1000955 | 773327 | 2008 874 | 0 | 0 408.08/408.26 c 408s | 20 | 1005425 | 777227 | 2008 878 | 0 | 0 410.07/410.26 c 410s | 20 | 1009952 | 781227 | 2008 882 | 0 | 0 412.07/412.26 c 412s | 20 | 1014226 | 785027 | 2008 885 | 0 | 0 414.16/414.30 c 414s | 20 | 1019078 | 789127 | 2008 889 | 0 | 0 416.16/416.34 c 416s | 20 | 1023593 | 792927 | 2008 892 | 0 | 0 418.16/418.37 c 418s | 20 | 1027941 | 796727 | 2008 896 | 0 | 0 420.17/420.39 c 420s | 20 | 1032136 | 800327 | 2008 899 | 0 | 0 422.27/422.45 c 422s | 20 | 1036601 | 804127 | 2008 903 | 0 | 0 424.26/424.48 c 424s | 20 | 1040575 | 807627 | 2008 906 | 0 | 0 426.26/426.49 c 426s | 20 | 1044606 | 811227 | 2008 909 | 0 | 0 428.35/428.50 c 428s | 20 | 1048406 | 814627 | 2008 913 | 0 | 0 430.35/430.50 c 430s | 20 | 1052447 | 818227 | 2008 916 | 0 | 0 432.35/432.51 c 432s | 20 | 1057222 | 822227 | 2008 920 | 0 | 0 434.35/434.56 c 434s | 20 | 1061612 | 826127 | 2008 923 | 0 | 0 436.44/436.62 c 436s | 20 | 1065998 | 830027 | 2008 927 | 0 | 0 438.44/438.62 c 438s | 20 | 1070465 | 833927 | 2008 931 | 0 | 0 440.44/440.65 c 440s | 20 | 1075390 | 838127 | 2008 934 | 0 | 0 442.44/442.66 c 442s | 20 | 1080081 | 842127 | 2008 938 | 0 | 0 444.44/444.70 c 444s | 20 | 1084628 | 845927 | 2008 942 | 0 | 0 446.55/446.71 c 446s | 20 | 1088915 | 849727 | 2008 945 | 0 | 0 448.54/448.74 c 448s | 20 | 1093062 | 853227 | 2008 949 | 0 | 0 450.54/450.78 c 450s | 20 | 1097410 | 857027 | 2008 952 | 0 | 0 452.64/452.82 c 452s | 20 | 1101900 | 860927 | 2008 956 | 0 | 0 454.63/454.83 c 454s | 20 | 1106092 | 864627 | 2008 959 | 0 | 0 456.64/456.83 c 456s | 20 | 1110168 | 868227 | 2008 963 | 0 | 0 458.65/458.85 c 458s | 20 | 1114283 | 871827 | 2008 966 | 0 | 0 460.64/460.86 c 460s | 20 | 1117797 | 874927 | 2008 969 | 0 | 0 462.64/462.89 c 462s | 20 | 1121775 | 878327 | 2008 972 | 0 | 0 464.73/464.90 c 464s | 20 | 1125909 | 881927 | 2008 975 | 0 | 0 466.73/466.93 c 466s | 20 | 1129966 | 885427 | 2008 979 | 0 | 0 468.73/468.93 c 468s | 20 | 1134885 | 889427 | 2008 982 | 0 | 0 470.74/470.95 c 470s | 20 | 1139011 | 892927 | 2008 986 | 0 | 0 472.73/472.97 c 472s | 20 | 1143929 | 897227 | 2008 990 | 0 | 0 474.83/475.00 c 474s | 20 | 1148465 | 901227 | 2008 993 | 0 | 0 476.83/477.02 c 476s | 20 | 1152499 | 904727 | 2008 997 | 0 | 0 478.83/479.09 c 479s | 20 | 1157220 | 908727 | 2008 1001 | 0 | 0 480.93/481.10 c 481s | 20 | 1162060 | 912827 | 2008 1004 | 0 | 0 482.92/483.11 c 483s | 20 | 1166595 | 916827 | 2008 1008 | 0 | 0 484.93/485.14 c 485s | 20 | 1170854 | 920527 | 2008 1012 | 0 | 0 486.92/487.14 c 487s | 20 | 1175972 | 924727 | 2008 1016 | 0 | 0 488.92/489.16 c 489s | 20 | 1180870 | 928927 | 2008 1019 | 0 | 0 491.02/491.21 c 491s | 20 | 1185366 | 932927 | 2008 1023 | 0 | 0 493.01/493.24 c 493s | 20 | 1189997 | 937027 | 2008 1027 | 0 | 0 495.01/495.29 c 495s | 20 | 1194358 | 940927 | 2008 1031 | 0 | 0 497.12/497.31 c 497s | 20 | 1199111 | 945127 | 2008 1035 | 0 | 0 499.11/499.35 c 499s | 20 | 1203443 | 948927 | 2008 1038 | 0 | 0 501.21/501.40 c 501s | 20 | 1208045 | 952827 | 2008 1042 | 0 | 0 503.21/503.41 c 503s | 20 | 1212413 | 956727 | 2008 1046 | 0 | 0 505.21/505.42 c 505s | 20 | 1216801 | 960627 | 2008 1049 | 0 | 0 507.21/507.46 c 507s | 20 | 1220928 | 964327 | 2008 1053 | 0 | 0 509.21/509.46 c 509s | 20 | 1225169 | 968127 | 2008 1056 | 0 | 0 511.21/511.49 c 511s | 20 | 1229261 | 971727 | 2008 1060 | 0 | 0 513.30/513.50 c 513s | 20 | 1233687 | 975627 | 2008 1063 | 0 | 0 515.30/515.54 c 515s | 20 | 1238331 | 979627 | 2008 1067 | 0 | 0 517.30/517.59 c 517s | 20 | 1242701 | 983527 | 2008 1071 | 0 | 0 519.30/519.59 c 519s | 20 | 1247122 | 987427 | 2008 1074 | 0 | 0 521.31/521.60 c 521s | 20 | 1251425 | 991227 | 2008 1078 | 0 | 0 523.40/523.62 c 523s | 20 | 1257025 | 996127 | 2209 1082 | 0 | 0 525.40/525.67 c 525s | 20 | 1261541 | 1000127 | 2209 1086 | 0 | 0 525.50/525.77 c 525s | 21 | 1261789 | 1000345 | 2209 1086 | 0 | 0 527.49/527.78 c 527s | 21 | 1267234 | 1004045 | 2209 1089 | 0 | 0 529.59/529.80 c 529s | 21 | 1272112 | 1007745 | 2209 1092 | 0 | 0 531.59/531.86 c 531s | 21 | 1278042 | 1011945 | 2209 1096 | 0 | 0 533.69/533.94 c 533s | 21 | 1283003 | 1015545 | 2209 1099 | 0 | 0 535.69/535.97 c 535s | 21 | 1288332 | 1019045 | 2209 1101 | 0 | 0 537.80/538.02 c 537s | 21 | 1293516 | 1022645 | 2209 1104 | 0 | 0 539.79/540.03 c 539s | 21 | 1297575 | 1025445 | 2209 1107 | 0 | 0 541.89/542.10 c 542s | 21 | 1302111 | 1028245 | 2209 1109 | 0 | 0 543.89/544.17 c 544s | 21 | 1306670 | 1030845 | 2209 1111 | 0 | 0 545.89/546.17 c 546s | 21 | 1312827 | 1033645 | 2209 1114 | 0 | 0 547.99/548.23 c 548s | 21 | 1317076 | 1036445 | 2209 1116 | 0 | 0 549.99/550.27 c 550s | 21 | 1321688 | 1039445 | 2209 1118 | 0 | 0 552.09/552.32 c 552s | 21 | 1326817 | 1042545 | 2209 1121 | 0 | 0 554.08/554.38 c 554s | 21 | 1331240 | 1045345 | 2209 1123 | 0 | 0 556.18/556.42 c 556s | 21 | 1335975 | 1048245 | 2209 1126 | 0 | 0 558.18/558.45 c 558s | 21 | 1340307 | 1051445 | 2209 1128 | 0 | 0 560.28/560.55 c 560s | 21 | 1343950 | 1054345 | 2209 1131 | 0 | 0 562.28/562.57 c 562s | 21 | 1348331 | 1057345 | 2209 1133 | 0 | 0 564.38/564.65 c 564s | 21 | 1352899 | 1060245 | 2209 1135 | 0 | 0 566.47/566.71 c 566s | 21 | 1357103 | 1063045 | 2209 1138 | 0 | 0 568.48/568.79 c 568s | 21 | 1360810 | 1065345 | 2209 1140 | 0 | 0 570.57/570.86 c 570s | 21 | 1365762 | 1068045 | 2209 1142 | 0 | 0 572.57/572.89 c 572s | 21 | 1370142 | 1070445 | 2209 1144 | 0 | 0 574.67/574.94 c 574s | 21 | 1373725 | 1072845 | 2209 1146 | 0 | 0 576.67/576.95 c 576s | 21 | 1377109 | 1075145 | 2209 1148 | 0 | 0 578.67/578.98 c 578s | 21 | 1382021 | 1078545 | 2209 1150 | 0 | 0 580.77/581.00 c 580s | 21 | 1388550 | 1081445 | 2209 1153 | 0 | 0 582.78/583.01 c 582s | 21 | 1395663 | 1084645 | 2209 1155 | 0 | 0 584.77/585.01 c 584s | 21 | 1399434 | 1087145 | 2209 1157 | 0 | 0 586.77/587.06 c 586s | 21 | 1402920 | 1089445 | 2209 1159 | 0 | 0 588.87/589.13 c 589s | 21 | 1407418 | 1092245 | 2209 1161 | 0 | 0 590.86/591.15 c 591s | 21 | 1410123 | 1094345 | 2209 1163 | 0 | 0 592.86/593.17 c 593s | 21 | 1413370 | 1096545 | 2209 1165 | 0 | 0 594.87/595.18 c 595s | 21 | 1417919 | 1098945 | 2209 1167 | 0 | 0 596.96/597.21 c 597s | 21 | 1422100 | 1101545 | 2209 1169 | 0 | 0 598.96/599.26 c 599s | 21 | 1425997 | 1104045 | 2209 1171 | 0 | 0 600.96/601.26 c 601s | 21 | 1429319 | 1106345 | 2209 1173 | 0 | 0 603.05/603.32 c 603s | 21 | 1434354 | 1110245 | 2209 1176 | 0 | 0 605.05/605.37 c 605s | 21 | 1438978 | 1114245 | 2209 1179 | 0 | 0 607.06/607.38 c 607s | 21 | 1443332 | 1118045 | 2209 1182 | 0 | 0 609.05/609.39 c 609s | 21 | 1447401 | 1121545 | 2209 1185 | 0 | 0 611.15/611.40 c 611s | 21 | 1451646 | 1125145 | 2209 1188 | 0 | 0 613.14/613.42 c 613s | 21 | 1455530 | 1128445 | 2209 1191 | 0 | 0 615.14/615.46 c 615s | 21 | 1458924 | 1131445 | 2209 1193 | 0 | 0 617.14/617.48 c 617s | 21 | 1462248 | 1134445 | 2209 1196 | 0 | 0 619.24/619.52 c 619s | 21 | 1465716 | 1137545 | 2209 1198 | 0 | 0 621.25/621.53 c 621s | 21 | 1469109 | 1140545 | 2209 1200 | 0 | 0 623.24/623.53 c 623s | 21 | 1471919 | 1143045 | 2209 1202 | 0 | 0 625.24/625.57 c 625s | 21 | 1475099 | 1145845 | 2209 1205 | 0 | 0 627.34/627.62 c 627s | 21 | 1479048 | 1149045 | 2209 1207 | 0 | 0 629.34/629.63 c 629s | 21 | 1483315 | 1152545 | 2209 1210 | 0 | 0 631.34/631.66 c 631s | 21 | 1487488 | 1155745 | 2209 1213 | 0 | 0 633.34/633.67 c 633s | 21 | 1491392 | 1158645 | 2209 1215 | 0 | 0 635.33/635.68 c 635s | 21 | 1494757 | 1161345 | 2209 1217 | 0 | 0 637.44/637.73 c 637s | 21 | 1497648 | 1163845 | 2209 1219 | 0 | 0 639.44/639.76 c 639s | 21 | 1501414 | 1166445 | 2209 1221 | 0 | 0 641.54/641.83 c 641s | 21 | 1505121 | 1169045 | 2209 1223 | 0 | 0 643.53/643.89 c 643s | 21 | 1508494 | 1171645 | 2209 1226 | 0 | 0 645.63/645.90 c 645s | 21 | 1511529 | 1174145 | 2209 1228 | 0 | 0 647.64/647.93 c 647s | 21 | 1514934 | 1176845 | 2209 1230 | 0 | 0 649.63/649.93 c 649s | 21 | 1518501 | 1179645 | 2209 1232 | 0 | 0 651.63/651.99 c 651s | 21 | 1521445 | 1182145 | 2209 1234 | 0 | 0 653.72/654.06 c 653s | 21 | 1524449 | 1184445 | 2209 1236 | 0 | 0 655.72/656.06 c 655s | 21 | 1526742 | 1186345 | 2209 1237 | 0 | 0 657.72/658.07 c 658s | 21 | 1529288 | 1188445 | 2209 1239 | 0 | 0 659.83/660.13 c 660s | 21 | 1534219 | 1191145 | 2209 1241 | 0 | 0 661.82/662.16 c 662s | 21 | 1537868 | 1193645 | 2209 1243 | 0 | 0 663.82/664.18 c 664s | 21 | 1541030 | 1195945 | 2209 1245 | 0 | 0 665.92/666.21 c 666s | 21 | 1543667 | 1198045 | 2209 1247 | 0 | 0 668.02/668.30 c 668s | 21 | 1546921 | 1200245 | 2209 1249 | 0 | 0 670.02/670.35 c 670s | 21 | 1549710 | 1202045 | 2209 1250 | 0 | 0 672.12/672.49 c 672s | 21 | 1551816 | 1203745 | 2209 1252 | 0 | 0 674.21/674.51 c 674s | 21 | 1555736 | 1205945 | 2209 1253 | 0 | 0 676.22/676.58 c 676s | 21 | 1558992 | 1208245 | 2209 1255 | 0 | 0 678.31/678.66 c 678s | 21 | 1562969 | 1210845 | 2209 1257 | 0 | 0 680.41/680.71 c 680s | 21 | 1567254 | 1213145 | 2209 1259 | 0 | 0 682.41/682.76 c 682s | 21 | 1571658 | 1215645 | 2209 1261 | 0 | 0 684.41/684.78 c 684s | 21 | 1574941 | 1217945 | 2209 1263 | 0 | 0 686.61/686.91 c 686s | 21 | 1578287 | 1220145 | 2209 1265 | 0 | 0 688.61/688.94 c 688s | 21 | 1580989 | 1222245 | 2209 1267 | 0 | 0 690.62/690.99 c 690s | 21 | 1584949 | 1224445 | 2209 1268 | 0 | 0 692.72/693.07 c 693s | 21 | 1588334 | 1226445 | 2209 1270 | 0 | 0 694.80/695.14 c 695s | 21 | 1590783 | 1228245 | 2209 1272 | 0 | 0 696.80/697.17 c 697s | 21 | 1593255 | 1230145 | 2209 1273 | 0 | 0 698.90/699.20 c 699s | 21 | 1598243 | 1233545 | 2209 1275 | 0 | 0 700.90/701.21 c 701s | 21 | 1604410 | 1236445 | 2209 1278 | 0 | 0 702.90/703.26 c 703s | 21 | 1608011 | 1239245 | 2209 1280 | 0 | 0 704.90/705.29 c 705s | 21 | 1611165 | 1241545 | 2209 1281 | 0 | 0 707.00/707.32 c 707s | 21 | 1614570 | 1243845 | 2209 1283 | 0 | 0 709.10/709.41 c 709s | 21 | 1618025 | 1246045 | 2209 1284 | 0 | 0 711.10/711.43 c 711s | 21 | 1621363 | 1248745 | 2209 1286 | 0 | 0 713.09/713.49 c 713s | 21 | 1624366 | 1251445 | 2209 1288 | 0 | 0 715.19/715.52 c 715s | 21 | 1627580 | 1254045 | 2209 1290 | 0 | 0 717.19/717.56 c 717s | 21 | 1630579 | 1256445 | 2209 1292 | 0 | 0 719.29/719.64 c 719s | 21 | 1634486 | 1259045 | 2209 1294 | 0 | 0 721.30/721.67 c 721s | 21 | 1638251 | 1261645 | 2209 1296 | 0 | 0 723.39/723.75 c 723s | 21 | 1641290 | 1263945 | 2209 1297 | 0 | 0 725.38/725.75 c 725s | 21 | 1643749 | 1265945 | 2209 1299 | 0 | 0 727.38/727.79 c 727s | 21 | 1646639 | 1268445 | 2209 1300 | 0 | 0 729.48/729.87 c 729s | 21 | 1649060 | 1270645 | 2209 1302 | 0 | 0 731.58/731.95 c 731s | 21 | 1651600 | 1272745 | 2209 1304 | 0 | 0 733.58/733.96 c 733s | 21 | 1654154 | 1274945 | 2209 1305 | 0 | 0 735.68/736.06 c 735s | 21 | 1656536 | 1277045 | 2209 1307 | 0 | 0 737.78/738.13 c 738s | 21 | 1658877 | 1279145 | 2209 1308 | 0 | 0 739.88/740.21 c 740s | 21 | 1661002 | 1281045 | 2209 1309 | 0 | 0 741.88/742.24 c 742s | 21 | 1663415 | 1283145 | 2209 1311 | 0 | 0 743.87/744.25 c 744s | 21 | 1666539 | 1285645 | 2209 1313 | 0 | 0 745.87/746.29 c 746s | 21 | 1669823 | 1288145 | 2209 1315 | 0 | 0 747.97/748.36 c 748s | 21 | 1673005 | 1290745 | 2209 1316 | 0 | 0 749.98/750.37 c 750s | 21 | 1676082 | 1292945 | 2209 1318 | 0 | 0 752.08/752.49 c 752s | 21 | 1678764 | 1295145 | 2209 1320 | 0 | 0 754.27/754.61 c 754s | 21 | 1681751 | 1297145 | 2209 1321 | 0 | 0 756.36/756.75 c 756s | 21 | 1684836 | 1299445 | 2209 1323 | 0 | 0 758.46/758.83 c 758s | 21 | 1687666 | 1301545 | 2209 1324 | 0 | 0 760.46/760.89 c 760s | 21 | 1690061 | 1303645 | 2209 1326 | 0 | 0 762.56/762.91 c 762s | 21 | 1692966 | 1305945 | 2209 1327 | 0 | 0 764.66/765.04 c 764s | 21 | 1695120 | 1307845 | 2209 1329 | 0 | 0 766.66/767.05 c 766s | 21 | 1697015 | 1309545 | 2209 1330 | 0 | 0 768.66/769.09 c 769s | 21 | 1699842 | 1311945 | 2209 1331 | 0 | 0 770.66/771.09 c 771s | 21 | 1702096 | 1313945 | 2209 1333 | 0 | 0 772.76/773.13 c 773s | 21 | 1704723 | 1315845 | 2209 1334 | 0 | 0 774.75/775.16 c 775s | 21 | 1707231 | 1318045 | 2209 1336 | 0 | 0 776.85/777.22 c 777s | 21 | 1709643 | 1320145 | 2209 1337 | 0 | 0 778.85/779.25 c 779s | 21 | 1711936 | 1322245 | 2209 1339 | 0 | 0 780.95/781.31 c 781s | 21 | 1714424 | 1324345 | 2209 1340 | 0 | 0 782.95/783.37 c 783s | 21 | 1716589 | 1326145 | 2209 1342 | 0 | 0 784.95/785.37 c 785s | 21 | 1718384 | 1327745 | 2209 1343 | 0 | 0 787.05/787.42 c 787s | 21 | 1721035 | 1329845 | 2209 1344 | 0 | 0 789.05/789.43 c 789s | 21 | 1724114 | 1332245 | 2209 1346 | 0 | 0 791.05/791.46 c 791s | 21 | 1727007 | 1334445 | 2209 1347 | 0 | 0 793.04/793.46 c 793s | 21 | 1730403 | 1336645 | 2209 1349 | 0 | 0 795.14/795.54 c 795s | 21 | 1733205 | 1338745 | 2209 1351 | 0 | 0 797.25/797.64 c 797s | 21 | 1737218 | 1341545 | 2209 1353 | 0 | 0 799.35/799.74 c 799s | 21 | 1739928 | 1343845 | 2209 1354 | 0 | 0 801.34/801.75 c 801s | 21 | 1742295 | 1345645 | 2209 1355 | 0 | 0 803.43/803.88 c 803s | 21 | 1744547 | 1347345 | 2209 1357 | 0 | 0 805.53/805.94 c 805s | 21 | 1747168 | 1349545 | 2209 1358 | 0 | 0 807.53/807.97 c 807s | 21 | 1750149 | 1351945 | 2209 1360 | 0 | 0 809.73/810.11 c 810s | 21 | 1752762 | 1354145 | 2209 1362 | 0 | 0 811.73/812.16 c 812s | 21 | 1755562 | 1356345 | 2209 1363 | 0 | 0 813.73/814.19 c 814s | 21 | 1758368 | 1358745 | 2209 1365 | 0 | 0 815.93/816.31 c 816s | 21 | 1761928 | 1360745 | 2209 1366 | 0 | 0 817.93/818.39 c 818s | 21 | 1765676 | 1363145 | 2209 1368 | 0 | 0 820.03/820.43 c 820s | 21 | 1768093 | 1365145 | 2209 1369 | 0 | 0 822.13/822.52 c 822s | 21 | 1770680 | 1367145 | 2209 1371 | 0 | 0 824.13/824.58 c 824s | 21 | 1774381 | 1369745 | 2209 1373 | 0 | 0 826.23/826.61 c 826s | 21 | 1778456 | 1372245 | 2209 1375 | 0 | 0 828.23/828.61 c 828s | 21 | 1781247 | 1374345 | 2209 1376 | 0 | 0 830.33/830.75 c 830s | 21 | 1783143 | 1376045 | 2209 1377 | 0 | 0 832.34/832.75 c 832s | 21 | 1786199 | 1378245 | 2209 1379 | 0 | 0 834.42/834.86 c 834s | 21 | 1788999 | 1380245 | 2209 1380 | 0 | 0 836.52/836.91 c 836s | 21 | 1791582 | 1382345 | 2209 1382 | 0 | 0 838.62/839.01 c 838s | 21 | 1794410 | 1384045 | 2209 1383 | 0 | 0 840.62/841.09 c 841s | 21 | 1796800 | 1385845 | 2209 1384 | 0 | 0 842.72/843.17 c 843s | 21 | 1799216 | 1387845 | 2209 1386 | 0 | 0 844.82/845.22 c 845s | 21 | 1801470 | 1389845 | 2209 1387 | 0 | 0 846.92/847.37 c 847s | 21 | 1803240 | 1391445 | 2209 1388 | 0 | 0 848.92/849.38 c 849s | 21 | 1805356 | 1393045 | 2209 1389 | 0 | 0 851.02/851.45 c 851s | 21 | 1807644 | 1394945 | 2209 1391 | 0 | 0 853.01/853.49 c 853s | 21 | 1810337 | 1397345 | 2209 1392 | 0 | 0 855.21/855.60 c 855s | 21 | 1812567 | 1399345 | 2209 1394 | 0 | 0 857.21/857.66 c 857s | 21 | 1814913 | 1401445 | 2209 1395 | 0 | 0 859.31/859.72 c 859s | 21 | 1817024 | 1403345 | 2209 1397 | 0 | 0 861.31/861.75 c 861s | 21 | 1819231 | 1405345 | 2209 1398 | 0 | 0 863.40/863.85 c 863s | 21 | 1821584 | 1407445 | 2209 1400 | 0 | 0 865.50/865.92 c 865s | 21 | 1823669 | 1409345 | 2209 1401 | 0 | 0 867.51/867.93 c 867s | 21 | 1825849 | 1411245 | 2209 1402 | 0 | 0 869.60/870.07 c 870s | 21 | 1827858 | 1413045 | 2209 1404 | 0 | 0 871.70/872.16 c 872s | 21 | 1829703 | 1414745 | 2209 1405 | 0 | 0 873.80/874.24 c 874s | 21 | 1831489 | 1416345 | 2209 1406 | 0 | 0 875.80/876.28 c 876s | 21 | 1833612 | 1418245 | 2209 1407 | 0 | 0 877.90/878.30 c 878s | 21 | 1835787 | 1420245 | 2209 1409 | 0 | 0 879.90/880.31 c 880s | 21 | 1837784 | 1422045 | 2209 1410 | 0 | 0 881.90/882.35 c 882s | 21 | 1840240 | 1424145 | 2209 1411 | 0 | 0 883.89/884.38 c 884s | 21 | 1842989 | 1426545 | 2209 1413 | 0 | 0 885.89/886.38 c 886s | 21 | 1845398 | 1428545 | 2209 1415 | 0 | 0 887.99/888.42 c 888s | 21 | 1847776 | 1430645 | 2209 1416 | 0 | 0 890.08/890.51 c 890s | 21 | 1850087 | 1432645 | 2209 1418 | 0 | 0 892.08/892.51 c 892s | 21 | 1852897 | 1434945 | 2209 1419 | 0 | 0 894.08/894.53 c 894s | 21 | 1855379 | 1437045 | 2209 1421 | 0 | 0 896.08/896.60 c 896s | 21 | 1857926 | 1439245 | 2209 1422 | 0 | 0 898.18/898.63 c 898s | 21 | 1860686 | 1441645 | 2209 1424 | 0 | 0 900.18/900.69 c 900s | 21 | 1863081 | 1443745 | 2209 1425 | 0 | 0 902.28/902.72 c 902s | 21 | 1865699 | 1445945 | 2209 1427 | 0 | 0 904.27/904.77 c 904s | 21 | 1868105 | 1448045 | 2209 1428 | 0 | 0 906.37/906.85 c 906s | 21 | 1870930 | 1450545 | 2209 1430 | 0 | 0 908.47/908.90 c 908s | 21 | 1873233 | 1452645 | 2209 1432 | 0 | 0 910.48/910.99 c 910s | 21 | 1875638 | 1454745 | 2209 1433 | 0 | 0 912.58/913.04 c 912s | 21 | 1878155 | 1456945 | 2209 1435 | 0 | 0 914.57/915.05 c 914s | 21 | 1880869 | 1459345 | 2209 1437 | 0 | 0 916.57/917.06 c 916s | 21 | 1883415 | 1461545 | 2209 1438 | 0 | 0 918.67/919.15 c 919s | 21 | 1885641 | 1463545 | 2209 1440 | 0 | 0 920.67/921.19 c 921s | 21 | 1888100 | 1465745 | 2209 1441 | 0 | 0 922.77/923.26 c 923s | 21 | 1890454 | 1467845 | 2209 1443 | 0 | 0 924.77/925.26 c 925s | 21 | 1892787 | 1469945 | 2209 1444 | 0 | 0 926.76/927.30 c 927s | 21 | 1895281 | 1472045 | 2209 1446 | 0 | 0 928.86/929.37 c 929s | 21 | 1897687 | 1474145 | 2209 1447 | 0 | 0 930.96/931.40 c 931s | 21 | 1900048 | 1476145 | 2209 1448 | 0 | 0 932.96/933.43 c 933s | 21 | 1902252 | 1478045 | 2209 1450 | 0 | 0 934.96/935.48 c 935s | 21 | 1904760 | 1480245 | 2209 1451 | 0 | 0 937.06/937.50 c 937s | 21 | 1906932 | 1482145 | 2209 1453 | 0 | 0 939.07/939.53 c 939s | 21 | 1909213 | 1484145 | 2209 1454 | 0 | 0 941.06/941.60 c 941s | 21 | 1911407 | 1486045 | 2209 1456 | 0 | 0 943.16/943.63 c 943s | 21 | 1913695 | 1488045 | 2209 1457 | 0 | 0 945.26/945.74 c 945s | 21 | 1915599 | 1489745 | 2209 1458 | 0 | 0 947.36/947.84 c 947s | 21 | 1917535 | 1491445 | 2430 1459 | 0 | 0 949.46/949.91 c 949s | 21 | 1919576 | 1493245 | 2430 1460 | 0 | 0 951.46/951.93 c 951s | 21 | 1922213 | 1495045 | 2430 1462 | 0 | 0 953.46/953.96 c 953s | 21 | 1924754 | 1497245 | 2430 1463 | 0 | 0 955.47/956.00 c 955s | 21 | 1927392 | 1499345 | 2430 1464 | 0 | 0 956.86/957.34 c 957s | 22 | 1928976 | 1500622 | 2430 1465 | 0 | 0 958.87/959.37 c 959s | 22 | 1932940 | 1503822 | 2430 1468 | 0 | 0 960.86/961.40 c 961s | 22 | 1937682 | 1506422 | 2430 1470 | 0 | 0 962.96/963.42 c 963s | 22 | 1942443 | 1509922 | 2430 1472 | 0 | 0 964.96/965.43 c 965s | 22 | 1945874 | 1513022 | 2430 1475 | 0 | 0 966.96/967.46 c 967s | 22 | 1948953 | 1515822 | 2430 1477 | 0 | 0 969.06/969.55 c 969s | 22 | 1951912 | 1518522 | 2430 1479 | 0 | 0 971.06/971.56 c 971s | 22 | 1954764 | 1521122 | 2430 1480 | 0 | 0 973.07/973.59 c 973s | 22 | 1957465 | 1523622 | 2430 1482 | 0 | 0 975.16/975.62 c 975s | 22 | 1960096 | 1526022 | 2430 1484 | 0 | 0 977.16/977.64 c 977s | 22 | 1964000 | 1528922 | 2430 1486 | 0 | 0 979.16/979.68 c 979s | 22 | 1967853 | 1531722 | 2430 1488 | 0 | 0 981.26/981.73 c 981s | 22 | 1972692 | 1535422 | 2430 1491 | 0 | 0 983.26/983.74 c 983s | 22 | 1976748 | 1539022 | 2430 1494 | 0 | 0 985.27/985.79 c 985s | 22 | 1980712 | 1542522 | 2430 1496 | 0 | 0 987.37/987.82 c 987s | 22 | 1984210 | 1545722 | 2430 1499 | 0 | 0 989.36/989.87 c 989s | 22 | 1988793 | 1549222 | 2430 1501 | 0 | 0 991.46/991.93 c 991s | 22 | 1992186 | 1552322 | 2430 1504 | 0 | 0 993.46/993.96 c 993s | 22 | 1995575 | 1555422 | 2430 1506 | 0 | 0 995.46/995.98 c 995s | 22 | 1998777 | 1558222 | 2430 1508 | 0 | 0 997.56/998.03 c 997s | 22 | 2001801 | 1560922 | 2430 1510 | 0 | 0 999.57/1000.08 c 1000s | 22 | 2004328 | 1563222 | 2430 1511 | 0 | 0 1001.67/1002.12 c 1002s | 22 | 2008371 | 1566422 | 2430 1514 | 0 | 0 1003.66/1004.18 c 1004s | 22 | 2012033 | 1569722 | 2430 1516 | 0 | 0 1005.66/1006.19 c 1006s | 22 | 2015759 | 1572622 | 2430 1518 | 0 | 0 1007.76/1008.22 c 1008s | 22 | 2019355 | 1575322 | 2430 1520 | 0 | 0 1009.76/1010.24 c 1010s | 22 | 2022173 | 1577722 | 2430 1522 | 0 | 0 1011.76/1012.24 c 1012s | 22 | 2025228 | 1580122 | 2430 1524 | 0 | 0 1013.76/1014.28 c 1014s | 22 | 2029541 | 1582422 | 2430 1526 | 0 | 0 1015.96/1016.42 c 1016s | 22 | 2032625 | 1585022 | 2430 1528 | 0 | 0 1017.96/1018.43 c 1018s | 22 | 2035793 | 1587422 | 2430 1529 | 0 | 0 1019.96/1020.44 c 1020s | 22 | 2039683 | 1590922 | 2430 1532 | 0 | 0 1021.96/1022.48 c 1022s | 22 | 2043059 | 1593922 | 2430 1534 | 0 | 0 1024.06/1024.54 c 1024s | 22 | 2046089 | 1596322 | 2430 1536 | 0 | 0 1026.06/1026.55 c 1026s | 22 | 2048970 | 1598522 | 2430 1537 | 0 | 0 1028.06/1028.60 c 1028s | 22 | 2051980 | 1600522 | 2430 1539 | 0 | 0 1030.16/1030.65 c 1030s | 22 | 2055955 | 1603122 | 2430 1541 | 0 | 0 1032.16/1032.68 c 1032s | 22 | 2058751 | 1605722 | 2430 1543 | 0 | 0 1034.25/1034.73 c 1034s | 22 | 2062213 | 1608522 | 2430 1545 | 0 | 0 1036.25/1036.80 c 1036s | 22 | 2065449 | 1611022 | 2430 1547 | 0 | 0 1038.35/1038.80 c 1038s | 22 | 2068455 | 1613322 | 2430 1548 | 0 | 0 1040.35/1040.86 c 1040s | 22 | 2071086 | 1615522 | 2430 1550 | 0 | 0 1042.36/1042.90 c 1042s | 22 | 2075594 | 1618622 | 2430 1552 | 0 | 0 1044.45/1044.94 c 1044s | 22 | 2079473 | 1621822 | 2430 1555 | 0 | 0 1046.55/1047.02 c 1046s | 22 | 2083277 | 1625122 | 2430 1557 | 0 | 0 1048.55/1049.03 c 1048s | 22 | 2086574 | 1627922 | 2430 1559 | 0 | 0 1050.55/1051.06 c 1050s | 22 | 2089759 | 1630722 | 2430 1561 | 0 | 0 1052.65/1053.10 c 1053s | 22 | 2092621 | 1633322 | 2430 1563 | 0 | 0 1054.65/1055.14 c 1055s | 22 | 2096093 | 1636122 | 2430 1565 | 0 | 0 1056.66/1057.18 c 1057s | 22 | 2099132 | 1638722 | 2430 1567 | 0 | 0 1058.75/1059.23 c 1059s | 22 | 2101918 | 1641222 | 2430 1569 | 0 | 0 1060.75/1061.24 c 1061s | 22 | 2105174 | 1643622 | 2430 1571 | 0 | 0 1062.75/1063.29 c 1063s | 22 | 2108291 | 1646322 | 2430 1573 | 0 | 0 1064.85/1065.34 c 1065s | 22 | 2111796 | 1649322 | 2430 1575 | 0 | 0 1066.85/1067.38 c 1067s | 22 | 2115085 | 1652222 | 2430 1577 | 0 | 0 1068.95/1069.40 c 1069s | 22 | 2118032 | 1654822 | 2430 1579 | 0 | 0 1070.96/1071.41 c 1071s | 22 | 2121014 | 1657522 | 2430 1581 | 0 | 0 1072.95/1073.45 c 1073s | 22 | 2123860 | 1659922 | 2430 1583 | 0 | 0 1075.05/1075.52 c 1075s | 22 | 2127463 | 1663022 | 2430 1585 | 0 | 0 1077.05/1077.57 c 1077s | 22 | 2130729 | 1665922 | 2430 1588 | 0 | 0 1079.15/1079.62 c 1079s | 22 | 2135320 | 1668922 | 2430 1590 | 0 | 0 1081.15/1081.65 c 1081s | 22 | 2139152 | 1672022 | 2430 1592 | 0 | 0 1083.25/1083.72 c 1083s | 22 | 2142549 | 1674922 | 2430 1594 | 0 | 0 1085.25/1085.74 c 1085s | 22 | 2145631 | 1677622 | 2430 1596 | 0 | 0 1087.25/1087.78 c 1087s | 22 | 2148503 | 1680222 | 2430 1598 | 0 | 0 1089.35/1089.84 c 1089s | 22 | 2151652 | 1682522 | 2430 1600 | 0 | 0 1091.35/1091.88 c 1091s | 22 | 2154739 | 1685122 | 2430 1602 | 0 | 0 1093.44/1093.93 c 1093s | 22 | 2158827 | 1687822 | 2430 1604 | 0 | 0 1095.44/1095.97 c 1095s | 22 | 2161606 | 1690122 | 2430 1605 | 0 | 0 1097.45/1097.98 c 1097s | 22 | 2164629 | 1692522 | 2430 1607 | 0 | 0 1099.55/1100.06 c 1099s | 22 | 2167567 | 1695022 | 2430 1609 | 0 | 0 1101.64/1102.10 c 1102s | 22 | 2171001 | 1697122 | 2430 1611 | 0 | 0 1103.64/1104.17 c 1104s | 22 | 2174351 | 1699822 | 2430 1613 | 0 | 0 1105.74/1106.21 c 1106s | 22 | 2177273 | 1702322 | 2430 1614 | 0 | 0 1107.74/1108.26 c 1108s | 22 | 2180001 | 1704722 | 2430 1616 | 0 | 0 1109.74/1110.29 c 1110s | 22 | 2183168 | 1706922 | 2430 1618 | 0 | 0 1111.84/1112.37 c 1112s | 22 | 2185889 | 1709022 | 2430 1619 | 0 | 0 1113.84/1114.38 c 1114s | 22 | 2190359 | 1712122 | 2430 1622 | 0 | 0 1115.94/1116.43 c 1116s | 22 | 2194068 | 1715422 | 2430 1624 | 0 | 0 1118.04/1118.50 c 1118s | 22 | 2197727 | 1718222 | 2430 1626 | 0 | 0 1120.04/1120.55 c 1120s | 22 | 2201657 | 1721122 | 2430 1628 | 0 | 0 1122.14/1122.61 c 1122s | 22 | 2204758 | 1723622 | 2430 1630 | 0 | 0 1124.14/1124.69 c 1124s | 22 | 2209046 | 1726722 | 2430 1633 | 0 | 0 1126.23/1126.76 c 1126s | 22 | 2214212 | 1729922 | 2430 1635 | 0 | 0 1128.24/1128.78 c 1128s | 22 | 2217790 | 1733022 | 2430 1637 | 0 | 0 1130.34/1130.80 c 1130s | 22 | 2220907 | 1735622 | 2430 1639 | 0 | 0 1132.33/1132.82 c 1132s | 22 | 2224190 | 1738522 | 2430 1641 | 0 | 0 1134.33/1134.87 c 1134s | 22 | 2227382 | 1741422 | 2430 1643 | 0 | 0 1136.43/1136.91 c 1136s | 22 | 2230968 | 1744222 | 2430 1646 | 0 | 0 1138.43/1138.93 c 1138s | 22 | 2236811 | 1747722 | 2430 1648 | 0 | 0 1140.43/1140.95 c 1140s | 22 | 2242483 | 1751722 | 2430 1651 | 0 | 0 1142.54/1143.00 c 1142s | 22 | 2247641 | 1755622 | 2430 1654 | 0 | 0 1144.53/1145.01 c 1144s | 22 | 2252354 | 1759322 | 2430 1657 | 0 | 0 1146.53/1147.03 c 1146s | 22 | 2256641 | 1762822 | 2430 1659 | 0 | 0 1148.54/1149.07 c 1149s | 22 | 2261569 | 1766822 | 2430 1662 | 0 | 0 1150.54/1151.08 c 1151s | 22 | 2266269 | 1770622 | 2430 1665 | 0 | 0 1152.54/1153.09 c 1153s | 22 | 2271173 | 1774722 | 2430 1668 | 0 | 0 1154.64/1155.12 c 1155s | 22 | 2275464 | 1778622 | 2430 1671 | 0 | 0 1156.64/1157.13 c 1157s | 22 | 2279506 | 1782322 | 2430 1674 | 0 | 0 1158.63/1159.17 c 1159s | 22 | 2284272 | 1786322 | 2430 1676 | 0 | 0 1160.73/1161.20 c 1161s | 22 | 2288135 | 1789622 | 2430 1679 | 0 | 0 1162.73/1163.23 c 1163s | 22 | 2292249 | 1793022 | 2430 1681 | 0 | 0 1164.73/1165.23 c 1165s | 22 | 2296816 | 1796922 | 2430 1684 | 0 | 0 1166.74/1167.27 c 1167s | 22 | 2301462 | 1800822 | 2430 1687 | 0 | 0 1168.73/1169.30 c 1169s | 22 | 2306272 | 1804622 | 2430 1690 | 0 | 0 1170.83/1171.32 c 1171s | 22 | 2310851 | 1808322 | 2430 1693 | 0 | 0 1172.83/1173.34 c 1173s | 22 | 2314926 | 1811722 | 2430 1695 | 0 | 0 1174.83/1175.34 c 1175s | 22 | 2319224 | 1815322 | 2430 1698 | 0 | 0 1176.83/1177.36 c 1177s | 22 | 2323411 | 1819022 | 2430 1701 | 0 | 0 1178.83/1179.38 c 1179s | 22 | 2327494 | 1822022 | 2430 1703 | 0 | 0 1180.83/1181.38 c 1181s | 22 | 2332800 | 1826322 | 2430 1706 | 0 | 0 1182.93/1183.40 c 1183s | 22 | 2337370 | 1830222 | 2430 1709 | 0 | 0 1184.93/1185.42 c 1185s | 22 | 2341963 | 1833922 | 2430 1712 | 0 | 0 1186.93/1187.43 c 1187s | 22 | 2345864 | 1837322 | 2430 1715 | 0 | 0 1188.93/1189.46 c 1189s | 22 | 2349940 | 1840722 | 2430 1717 | 0 | 0 1190.93/1191.46 c 1191s | 22 | 2353982 | 1844122 | 2430 1720 | 0 | 0 1192.92/1193.49 c 1193s | 22 | 2358013 | 1847722 | 2430 1722 | 0 | 0 1194.92/1195.49 c 1195s | 22 | 2361810 | 1851122 | 2430 1725 | 0 | 0 1197.02/1197.56 c 1197s | 22 | 2365339 | 1854022 | 2430 1727 | 0 | 0 1199.02/1199.57 c 1199s | 22 | 2369306 | 1857222 | 2430 1729 | 0 | 0 1201.02/1201.59 c 1201s | 22 | 2373150 | 1860622 | 2430 1732 | 0 | 0 1203.12/1203.61 c 1203s | 22 | 2376593 | 1863722 | 2430 1734 | 0 | 0 1205.13/1205.69 c 1205s | 22 | 2380169 | 1866822 | 2430 1737 | 0 | 0 1207.22/1207.74 c 1207s | 22 | 2383343 | 1869422 | 2430 1739 | 0 | 0 1209.22/1209.76 c 1209s | 22 | 2386762 | 1872322 | 2430 1741 | 0 | 0 1211.32/1211.81 c 1211s | 22 | 2390161 | 1875322 | 2430 1743 | 0 | 0 1213.32/1213.85 c 1213s | 22 | 2393740 | 1878422 | 2430 1745 | 0 | 0 1215.32/1215.90 c 1215s | 22 | 2396736 | 1881122 | 2430 1747 | 0 | 0 1217.42/1217.93 c 1217s | 22 | 2400048 | 1884022 | 2430 1749 | 0 | 0 1219.53/1220.01 c 1219s | 22 | 2403179 | 1886822 | 2430 1751 | 0 | 0 1221.52/1222.01 c 1221s | 22 | 2407062 | 1889922 | 2430 1754 | 0 | 0 1223.52/1224.06 c 1223s | 22 | 2411415 | 1893622 | 2430 1757 | 0 | 0 1225.52/1226.08 c 1226s | 22 | 2415327 | 1897022 | 2430 1759 | 0 | 0 1227.62/1228.14 c 1228s | 22 | 2418856 | 1900122 | 2430 1761 | 0 | 0 1229.62/1230.18 c 1230s | 22 | 2422526 | 1903322 | 2430 1764 | 0 | 0 1231.62/1232.19 c 1232s | 22 | 2425910 | 1906322 | 2430 1766 | 0 | 0 1233.72/1234.22 c 1234s | 22 | 2429420 | 1909422 | 2430 1768 | 0 | 0 1235.72/1236.25 c 1236s | 22 | 2433194 | 1912522 | 2430 1771 | 0 | 0 1237.72/1238.25 c 1238s | 22 | 2436022 | 1915022 | 2430 1772 | 0 | 0 1239.72/1240.26 c 1240s | 22 | 2439767 | 1918222 | 2430 1775 | 0 | 0 1241.72/1242.26 c 1242s | 22 | 2443485 | 1921522 | 2430 1777 | 0 | 0 1243.73/1244.27 c 1244s | 22 | 2446727 | 1924422 | 2430 1780 | 0 | 0 1245.72/1246.27 c 1246s | 22 | 2449982 | 1927322 | 2430 1782 | 0 | 0 1247.82/1248.30 c 1248s | 22 | 2453552 | 1930422 | 2430 1784 | 0 | 0 1249.82/1250.33 c 1250s | 22 | 2457503 | 1933622 | 2430 1786 | 0 | 0 1251.82/1252.37 c 1252s | 22 | 2461514 | 1937122 | 2430 1789 | 0 | 0 1253.92/1254.43 c 1254s | 22 | 2464982 | 1940222 | 2430 1791 | 0 | 0 1255.92/1256.44 c 1256s | 22 | 2468587 | 1943422 | 2430 1794 | 0 | 0 1257.93/1258.46 c 1258s | 22 | 2472259 | 1946622 | 2430 1796 | 0 | 0 1260.02/1260.51 c 1260s | 22 | 2476096 | 1949722 | 2430 1798 | 0 | 0 1262.02/1262.52 c 1262s | 22 | 2478718 | 1951922 | 2430 1800 | 0 | 0 1264.02/1264.55 c 1264s | 22 | 2482415 | 1955022 | 2430 1802 | 0 | 0 1266.02/1266.58 c 1266s | 22 | 2485683 | 1957922 | 2430 1804 | 0 | 0 1268.12/1268.64 c 1268s | 22 | 2489154 | 1960922 | 2430 1807 | 0 | 0 1270.12/1270.65 c 1270s | 22 | 2492381 | 1963822 | 2430 1809 | 0 | 0 1272.12/1272.69 c 1272s | 22 | 2495712 | 1966722 | 2430 1811 | 0 | 0 1274.22/1274.70 c 1274s | 22 | 2498460 | 1969122 | 2430 1813 | 0 | 0 1276.22/1276.72 c 1276s | 22 | 2501801 | 1971822 | 2430 1815 | 0 | 0 1278.21/1278.75 c 1278s | 22 | 2504660 | 1974322 | 2430 1817 | 0 | 0 1280.21/1280.78 c 1280s | 22 | 2507432 | 1976722 | 2430 1818 | 0 | 0 1282.31/1282.83 c 1282s | 22 | 2510051 | 1979022 | 2430 1820 | 0 | 0 1284.32/1284.87 c 1284s | 22 | 2513202 | 1981722 | 2430 1822 | 0 | 0 1286.31/1286.89 c 1286s | 22 | 2516309 | 1984422 | 2430 1824 | 0 | 0 1288.41/1288.92 c 1288s | 22 | 2519959 | 1987622 | 2430 1826 | 0 | 0 1290.41/1290.94 c 1290s | 22 | 2523873 | 1990822 | 2430 1829 | 0 | 0 1292.41/1292.95 c 1292s | 22 | 2527170 | 1993722 | 2430 1831 | 0 | 0 1294.41/1294.95 c 1294s | 22 | 2530146 | 1996222 | 2430 1833 | 0 | 0 1296.52/1297.01 c 1296s | 22 | 2533730 | 1999222 | 2430 1835 | 0 | 0 1298.51/1299.05 c 1298s | 22 | 2536985 | 2002122 | 2430 1837 | 0 | 0 1300.61/1301.12 c 1301s | 22 | 2540264 | 2004922 | 2430 1839 | 0 | 0 1302.61/1303.17 c 1303s | 22 | 2544032 | 2007822 | 2430 1842 | 0 | 0 1304.71/1305.21 c 1305s | 22 | 2547193 | 2010522 | 2430 1844 | 0 | 0 1306.71/1307.21 c 1307s | 22 | 2551162 | 2013722 | 2430 1846 | 0 | 0 1308.71/1309.26 c 1309s | 22 | 2554658 | 2016622 | 2430 1848 | 0 | 0 1310.71/1311.29 c 1311s | 22 | 2557852 | 2019322 | 2430 1850 | 0 | 0 1312.70/1313.29 c 1313s | 22 | 2560956 | 2021922 | 2430 1852 | 0 | 0 1314.80/1315.30 c 1315s | 22 | 2564439 | 2025022 | 2430 1854 | 0 | 0 1316.80/1317.34 c 1317s | 22 | 2568151 | 2027922 | 2430 1856 | 0 | 0 1318.80/1319.39 c 1319s | 22 | 2571218 | 2030522 | 2430 1858 | 0 | 0 1320.90/1321.40 c 1321s | 22 | 2575735 | 2034222 | 2430 1861 | 0 | 0 1322.91/1323.43 c 1323s | 22 | 2580258 | 2037622 | 2430 1864 | 0 | 0 1324.90/1325.47 c 1325s | 22 | 2584385 | 2041222 | 2430 1866 | 0 | 0 1327.00/1327.50 c 1327s | 22 | 2588140 | 2044622 | 2430 1869 | 0 | 0 1329.00/1329.58 c 1329s | 22 | 2592308 | 2048122 | 2430 1872 | 0 | 0 1331.10/1331.63 c 1331s | 22 | 2595987 | 2051222 | 2430 1874 | 0 | 0 1333.20/1333.70 c 1333s | 22 | 2599722 | 2054222 | 2430 1876 | 0 | 0 1335.20/1335.70 c 1335s | 22 | 2603154 | 2057122 | 2430 1878 | 0 | 0 1337.21/1337.78 c 1337s | 22 | 2606284 | 2059922 | 2430 1880 | 0 | 0 1339.21/1339.79 c 1339s | 22 | 2609199 | 2062522 | 2430 1882 | 0 | 0 1341.31/1341.81 c 1341s | 22 | 2612166 | 2064922 | 2430 1884 | 0 | 0 1343.31/1343.82 c 1343s | 22 | 2615968 | 2068022 | 2430 1886 | 0 | 0 1345.31/1345.86 c 1345s | 22 | 2619285 | 2070822 | 2430 1888 | 0 | 0 1347.31/1347.89 c 1347s | 22 | 2622540 | 2073622 | 2430 1891 | 0 | 0 1349.41/1349.94 c 1349s | 22 | 2625551 | 2076222 | 2430 1892 | 0 | 0 1351.41/1351.96 c 1351s | 22 | 2628885 | 2078922 | 2430 1894 | 0 | 0 1353.41/1353.99 c 1353s | 22 | 2632325 | 2081822 | 2430 1897 | 0 | 0 1355.50/1356.01 c 1355s | 22 | 2635690 | 2084822 | 2430 1899 | 0 | 0 1357.50/1358.05 c 1357s | 22 | 2639119 | 2087822 | 2430 1901 | 0 | 0 1359.60/1360.10 c 1360s | 22 | 2642738 | 2091022 | 2430 1904 | 0 | 0 1361.60/1362.15 c 1362s | 22 | 2646692 | 2094222 | 2430 1906 | 0 | 0 1363.61/1364.19 c 1364s | 22 | 2650494 | 2097522 | 2430 1908 | 0 | 0 1365.71/1366.22 c 1366s | 22 | 2654039 | 2100522 | 2430 1911 | 0 | 0 1367.70/1368.26 c 1368s | 22 | 2657959 | 2103922 | 2430 1913 | 0 | 0 1369.70/1370.27 c 1370s | 22 | 2661703 | 2107122 | 2430 1916 | 0 | 0 1371.80/1372.30 c 1372s | 22 | 2665612 | 2110522 | 2430 1918 | 0 | 0 1373.80/1374.33 c 1374s | 22 | 2669177 | 2113722 | 2430 1920 | 0 | 0 1375.80/1376.36 c 1376s | 22 | 2673086 | 2116922 | 2430 1923 | 0 | 0 1377.81/1378.40 c 1378s | 22 | 2676619 | 2119822 | 2430 1925 | 0 | 0 1379.90/1380.43 c 1380s | 22 | 2679501 | 2122322 | 2430 1927 | 0 | 0 1381.90/1382.44 c 1382s | 22 | 2682831 | 2125122 | 2430 1929 | 0 | 0 1383.90/1384.47 c 1384s | 22 | 2686224 | 2128122 | 2430 1931 | 0 | 0 1386.00/1386.50 c 1386s | 22 | 2689441 | 2131022 | 2430 1933 | 0 | 0 1388.00/1388.56 c 1388s | 22 | 2693354 | 2134322 | 2430 1936 | 0 | 0 1390.00/1390.59 c 1390s | 22 | 2697175 | 2137622 | 2430 1938 | 0 | 0 1392.00/1392.59 c 1392s | 22 | 2700664 | 2140622 | 2430 1940 | 0 | 0 1394.00/1394.59 c 1394s | 22 | 2704274 | 2143622 | 2430 1943 | 0 | 0 1396.10/1396.65 c 1396s | 22 | 2708358 | 2147122 | 2430 1945 | 0 | 0 1398.20/1398.70 c 1398s | 22 | 2712240 | 2150522 | 2430 1948 | 0 | 0 1400.20/1400.72 c 1400s | 22 | 2715917 | 2153722 | 2430 1950 | 0 | 0 1402.19/1402.76 c 1402s | 22 | 2719296 | 2156622 | 2430 1952 | 0 | 0 1404.20/1404.79 c 1404s | 22 | 2722804 | 2159622 | 2430 1955 | 0 | 0 1406.29/1406.84 c 1406s | 22 | 2726001 | 2162422 | 2430 1957 | 0 | 0 1408.39/1408.90 c 1408s | 22 | 2729214 | 2165222 | 2430 1959 | 0 | 0 1410.39/1410.91 c 1410s | 22 | 2732322 | 2167922 | 2430 1961 | 0 | 0 1412.39/1412.93 c 1412s | 22 | 2734797 | 2170122 | 2430 1962 | 0 | 0 1414.39/1414.93 c 1414s | 22 | 2739249 | 2173822 | 2430 1965 | 0 | 0 1416.40/1416.96 c 1416s | 22 | 2743189 | 2177222 | 2430 1968 | 0 | 0 1418.39/1419.00 c 1418s | 22 | 2747135 | 2180622 | 2430 1970 | 0 | 0 1420.49/1421.02 c 1420s | 22 | 2750757 | 2183722 | 2430 1973 | 0 | 0 1422.49/1423.05 c 1422s | 22 | 2754562 | 2187022 | 2430 1975 | 0 | 0 1424.49/1425.10 c 1425s | 22 | 2758222 | 2190222 | 2430 1977 | 0 | 0 1426.59/1427.14 c 1427s | 22 | 2762191 | 2193722 | 2430 1980 | 0 | 0 1428.59/1429.17 c 1429s | 22 | 2765988 | 2196922 | 2430 1982 | 0 | 0 1430.70/1431.24 c 1431s | 22 | 2769217 | 2199722 | 2430 1984 | 0 | 0 1432.80/1433.32 c 1433s | 22 | 2772469 | 2202522 | 2430 1987 | 0 | 0 1434.89/1435.40 c 1435s | 22 | 2775907 | 2205422 | 2430 1989 | 0 | 0 1436.89/1437.43 c 1437s | 22 | 2779047 | 2208122 | 2430 1991 | 0 | 0 1438.89/1439.48 c 1439s | 22 | 2782889 | 2211422 | 2430 1993 | 0 | 0 1440.99/1441.52 c 1441s | 22 | 2786132 | 2214322 | 2430 1995 | 0 | 0 1442.99/1443.57 c 1443s | 22 | 2789522 | 2217322 | 2430 1998 | 0 | 0 1445.09/1445.61 c 1445s | 22 | 2792749 | 2220222 | 2430 2000 | 0 | 0 1447.09/1447.69 c 1447s | 22 | 2796039 | 2223022 | 2430 2002 | 0 | 0 1449.18/1449.70 c 1449s | 22 | 2799016 | 2225622 | 2430 2004 | 0 | 0 1451.18/1451.72 c 1451s | 22 | 2802118 | 2228322 | 2430 2006 | 0 | 0 1453.18/1453.74 c 1453s | 22 | 2805778 | 2231422 | 2430 2008 | 0 | 0 1455.18/1455.78 c 1455s | 22 | 2808796 | 2234122 | 2430 2010 | 0 | 0 1457.28/1457.87 c 1457s | 22 | 2811502 | 2236522 | 2673 2011 | 0 | 0 1459.29/1459.87 c 1459s | 22 | 2814143 | 2238822 | 2673 2013 | 0 | 0 1461.28/1461.89 c 1461s | 22 | 2817494 | 2241722 | 2673 2015 | 0 | 0 1463.28/1463.90 c 1463s | 22 | 2820832 | 2244722 | 2673 2017 | 0 | 0 1465.38/1465.93 c 1465s | 22 | 2824198 | 2247722 | 2673 2019 | 0 | 0 1467.48/1468.00 c 1467s | 22 | 2827444 | 2250622 | 2673 2021 | 0 | 0 1467.68/1468.29 c 1468s | 23 | 2827901 | 2251038 | 2673 2021 | 0 | 0 1469.78/1470.33 c 1470s | 23 | 2834454 | 2254138 | 2673 2024 | 0 | 0 1471.78/1472.34 c 1472s | 23 | 2838694 | 2257938 | 2673 2026 | 0 | 0 1473.78/1474.39 c 1474s | 23 | 2842957 | 2261738 | 2673 2029 | 0 | 0 1475.88/1476.41 c 1476s | 23 | 2846854 | 2265238 | 2673 2031 | 0 | 0 1477.89/1478.42 c 1478s | 23 | 2851524 | 2268438 | 2673 2034 | 0 | 0 1479.88/1480.46 c 1480s | 23 | 2855900 | 2271638 | 2673 2036 | 0 | 0 1481.88/1482.47 c 1482s | 23 | 2859752 | 2274838 | 2673 2038 | 0 | 0 1483.98/1484.54 c 1484s | 23 | 2863389 | 2277938 | 2673 2040 | 0 | 0 1485.98/1486.57 c 1486s | 23 | 2867818 | 2281538 | 2673 2043 | 0 | 0 1488.08/1488.62 c 1488s | 23 | 2872684 | 2284938 | 2673 2045 | 0 | 0 1490.08/1490.69 c 1490s | 23 | 2877029 | 2288738 | 2673 2048 | 0 | 0 1492.18/1492.73 c 1492s | 23 | 2880567 | 2291838 | 2673 2050 | 0 | 0 1494.18/1494.79 c 1494s | 23 | 2884265 | 2295138 | 2673 2052 | 0 | 0 1496.28/1496.84 c 1496s | 23 | 2888529 | 2298238 | 2673 2055 | 0 | 0 1498.28/1498.88 c 1498s | 23 | 2892753 | 2301738 | 2673 2057 | 0 | 0 1500.27/1500.89 c 1500s | 23 | 2896777 | 2305238 | 2673 2060 | 0 | 0 1502.27/1502.89 c 1502s | 23 | 2900794 | 2308738 | 2673 2062 | 0 | 0 1504.39/1504.95 c 1504s | 23 | 2904489 | 2312038 | 2673 2064 | 0 | 0 1506.38/1506.97 c 1506s | 23 | 2908503 | 2315538 | 2673 2067 | 0 | 0 1508.48/1509.01 c 1508s | 23 | 2912651 | 2319138 | 2673 2069 | 0 | 0 1510.48/1511.02 c 1510s | 23 | 2915988 | 2321738 | 2673 2071 | 0 | 0 1512.48/1513.09 c 1513s | 23 | 2918992 | 2324438 | 2673 2073 | 0 | 0 1514.58/1515.13 c 1515s | 23 | 2922544 | 2327438 | 2673 2075 | 0 | 0 1516.58/1517.19 c 1517s | 23 | 2926371 | 2330738 | 2673 2078 | 0 | 0 1518.59/1519.20 c 1519s | 23 | 2930063 | 2333938 | 2673 2080 | 0 | 0 1520.68/1521.22 c 1521s | 23 | 2933571 | 2336838 | 2673 2082 | 0 | 0 1522.68/1523.27 c 1523s | 23 | 2937790 | 2339938 | 2673 2084 | 0 | 0 1524.78/1525.34 c 1525s | 23 | 2941449 | 2342738 | 2673 2086 | 0 | 0 1526.78/1527.39 c 1527s | 23 | 2945581 | 2345838 | 2673 2088 | 0 | 0 1528.88/1529.46 c 1529s | 23 | 2949269 | 2349038 | 2673 2091 | 0 | 0 1530.88/1531.49 c 1531s | 23 | 2953208 | 2352438 | 2673 2093 | 0 | 0 1532.88/1533.49 c 1533s | 23 | 2957039 | 2355738 | 2673 2095 | 0 | 0 1534.98/1535.54 c 1535s | 23 | 2960760 | 2359038 | 2673 2098 | 0 | 0 1537.08/1537.60 c 1537s | 23 | 2964560 | 2362438 | 2673 2100 | 0 | 0 1539.08/1539.64 c 1539s | 23 | 2969773 | 2365738 | 2673 2102 | 0 | 0 1541.07/1541.69 c 1541s | 23 | 2975822 | 2369738 | 2673 2105 | 0 | 0 1543.17/1543.72 c 1543s | 23 | 2980371 | 2373238 | 2673 2108 | 0 | 0 1545.17/1545.77 c 1545s | 23 | 2984357 | 2376338 | 2673 2110 | 0 | 0 1547.18/1547.80 c 1547s | 23 | 2988223 | 2379438 | 2673 2112 | 0 | 0 1549.27/1549.80 c 1549s | 23 | 2992345 | 2382638 | 2673 2114 | 0 | 0 1551.27/1551.82 c 1551s | 23 | 2996077 | 2385738 | 2673 2116 | 0 | 0 1553.27/1553.87 c 1553s | 23 | 2999851 | 2388838 | 2673 2119 | 0 | 0 1555.27/1555.89 c 1555s | 23 | 3003529 | 2391838 | 2673 2121 | 0 | 0 1557.37/1557.91 c 1557s | 23 | 3007813 | 2395238 | 2673 2123 | 0 | 0 1559.38/1559.97 c 1559s | 23 | 3011446 | 2398338 | 2673 2125 | 0 | 0 1561.48/1562.04 c 1561s | 23 | 3014486 | 2401038 | 2673 2127 | 0 | 0 1563.47/1564.10 c 1564s | 23 | 3018368 | 2404238 | 2673 2129 | 0 | 0 1565.57/1566.12 c 1566s | 23 | 3022792 | 2407738 | 2673 2132 | 0 | 0 1567.57/1568.16 c 1568s | 23 | 3031513 | 2411538 | 2673 2134 | 0 | 0 1569.67/1570.25 c 1570s | 23 | 3036085 | 2414838 | 2673 2136 | 0 | 0 1571.67/1572.26 c 1572s | 23 | 3040751 | 2418138 | 2673 2138 | 0 | 0 1573.67/1574.28 c 1574s | 23 | 3044463 | 2421338 | 2673 2140 | 0 | 0 1575.77/1576.31 c 1576s | 23 | 3049100 | 2425238 | 2673 2143 | 0 | 0 1577.77/1578.31 c 1578s | 23 | 3053788 | 2429138 | 2673 2146 | 0 | 0 1579.76/1580.36 c 1580s | 23 | 3059276 | 2433438 | 2673 2149 | 0 | 0 1581.76/1582.38 c 1582s | 23 | 3064202 | 2437138 | 2673 2151 | 0 | 0 1583.86/1584.40 c 1584s | 23 | 3069020 | 2440938 | 2673 2154 | 0 | 0 1585.86/1586.43 c 1586s | 23 | 3073498 | 2444638 | 2673 2156 | 0 | 0 1587.87/1588.47 c 1588s | 23 | 3077869 | 2448238 | 2673 2159 | 0 | 0 1589.96/1590.50 c 1590s | 23 | 3082393 | 2451838 | 2673 2162 | 0 | 0 1591.96/1592.55 c 1592s | 23 | 3086532 | 2455338 | 2673 2164 | 0 | 0 1594.06/1594.61 c 1594s | 23 | 3090566 | 2458738 | 2673 2166 | 0 | 0 1596.06/1596.63 c 1596s | 23 | 3094483 | 2462038 | 2673 2169 | 0 | 0 1598.06/1598.65 c 1598s | 23 | 3098546 | 2465338 | 2673 2171 | 0 | 0 1600.07/1600.67 c 1600s | 23 | 3102307 | 2468538 | 2673 2173 | 0 | 0 1602.17/1602.74 c 1602s | 23 | 3106052 | 2471638 | 2673 2176 | 0 | 0 1604.16/1604.76 c 1604s | 23 | 3109901 | 2474738 | 2673 2178 | 0 | 0 1606.17/1606.77 c 1606s | 23 | 3113471 | 2477738 | 2673 2180 | 0 | 0 1608.17/1608.78 c 1608s | 23 | 3117132 | 2480738 | 2673 2182 | 0 | 0 1610.27/1610.82 c 1610s | 23 | 3120222 | 2483438 | 2673 2184 | 0 | 0 1612.26/1612.88 c 1612s | 23 | 3123225 | 2486038 | 2673 2186 | 0 | 0 1614.27/1614.89 c 1614s | 23 | 3127759 | 2489738 | 2673 2188 | 0 | 0 1616.36/1616.91 c 1616s | 23 | 3132108 | 2493238 | 2673 2191 | 0 | 0 1618.36/1618.97 c 1618s | 23 | 3136136 | 2496538 | 2673 2193 | 0 | 0 1620.36/1621.00 c 1620s | 23 | 3139935 | 2499838 | 2673 2195 | 0 | 0 1622.46/1623.03 c 1622s | 23 | 3144493 | 2503538 | 2673 2198 | 0 | 0 1624.46/1625.08 c 1625s | 23 | 3148405 | 2506738 | 2673 2200 | 0 | 0 1626.56/1627.10 c 1627s | 23 | 3152417 | 2509938 | 2673 2203 | 0 | 0 1628.57/1629.14 c 1629s | 23 | 3156463 | 2513538 | 2673 2205 | 0 | 0 1630.56/1631.16 c 1631s | 23 | 3161027 | 2517338 | 2673 2208 | 0 | 0 1632.56/1633.19 c 1633s | 23 | 3165272 | 2520938 | 2673 2210 | 0 | 0 1634.66/1635.24 c 1635s | 23 | 3169413 | 2524438 | 2673 2213 | 0 | 0 1636.76/1637.30 c 1637s | 23 | 3173368 | 2527838 | 2673 2215 | 0 | 0 1638.76/1639.34 c 1639s | 23 | 3177498 | 2531238 | 2673 2218 | 0 | 0 1640.77/1641.38 c 1641s | 23 | 3181767 | 2534838 | 2673 2220 | 0 | 0 1642.87/1643.42 c 1643s | 23 | 3185602 | 2538038 | 2673 2222 | 0 | 0 1644.86/1645.44 c 1645s | 23 | 3189087 | 2541038 | 2673 2224 | 0 | 0 1646.86/1647.46 c 1647s | 23 | 3193227 | 2544438 | 2673 2227 | 0 | 0 1648.96/1649.53 c 1649s | 23 | 3196836 | 2547538 | 2673 2229 | 0 | 0 1650.96/1651.59 c 1651s | 23 | 3200705 | 2550738 | 2673 2231 | 0 | 0 1653.06/1653.60 c 1653s | 23 | 3204232 | 2553738 | 2673 2233 | 0 | 0 1654.96/1655.60 c 1655s | 23 | 3208144 | 2557038 | 2673 2236 | 0 | 0 1657.06/1657.60 c 1657s | 23 | 3211858 | 2560338 | 2673 2238 | 0 | 0 1659.05/1659.66 c 1659s | 23 | 3215592 | 2563638 | 2673 2240 | 0 | 0 1661.15/1661.72 c 1661s | 23 | 3219113 | 2566738 | 2673 2243 | 0 | 0 1663.15/1663.76 c 1663s | 23 | 3222524 | 2569738 | 2673 2245 | 0 | 0 1665.25/1665.80 c 1665s | 23 | 3225973 | 2572638 | 2673 2247 | 0 | 0 1667.25/1667.82 c 1667s | 23 | 3229804 | 2575838 | 2673 2249 | 0 | 0 1669.26/1669.88 c 1669s | 23 | 3233577 | 2579038 | 2673 2251 | 0 | 0 1671.35/1671.91 c 1671s | 23 | 3237410 | 2582338 | 2673 2253 | 0 | 0 1673.35/1673.96 c 1673s | 23 | 3241311 | 2585838 | 2673 2256 | 0 | 0 1675.35/1675.99 c 1675s | 23 | 3245224 | 2589238 | 2673 2258 | 0 | 0 1677.45/1678.01 c 1677s | 23 | 3248701 | 2592338 | 2673 2261 | 0 | 0 1679.45/1680.02 c 1679s | 23 | 3252503 | 2595738 | 2673 2263 | 0 | 0 1681.46/1682.05 c 1681s | 23 | 3255997 | 2598938 | 2673 2265 | 0 | 0 1683.45/1684.08 c 1684s | 23 | 3259393 | 2602038 | 2673 2267 | 0 | 0 1685.55/1686.11 c 1686s | 23 | 3263034 | 2605238 | 2673 2270 | 0 | 0 1687.55/1688.16 c 1688s | 23 | 3266643 | 2608438 | 2673 2272 | 0 | 0 1689.65/1690.20 c 1690s | 23 | 3270290 | 2611738 | 2673 2274 | 0 | 0 1691.65/1692.22 c 1692s | 23 | 3274285 | 2615038 | 2673 2277 | 0 | 0 1693.65/1694.22 c 1694s | 23 | 3277773 | 2618138 | 2673 2279 | 0 | 0 1695.66/1696.24 c 1696s | 23 | 3281577 | 2621438 | 2673 2281 | 0 | 0 1697.75/1698.30 c 1698s | 23 | 3285475 | 2624738 | 2673 2284 | 0 | 0 1699.75/1700.32 c 1700s | 23 | 3288753 | 2627638 | 2673 2286 | 0 | 0 1701.75/1702.36 c 1702s | 23 | 3292362 | 2630838 | 2673 2288 | 0 | 0 1703.75/1704.37 c 1704s | 23 | 3295857 | 2633938 | 2673 2290 | 0 | 0 1705.85/1706.44 c 1706s | 23 | 3299856 | 2637438 | 2673 2293 | 0 | 0 1707.85/1708.47 c 1708s | 23 | 3303753 | 2640838 | 2673 2295 | 0 | 0 1709.85/1710.50 c 1710s | 23 | 3307659 | 2644138 | 2673 2297 | 0 | 0 1711.94/1712.54 c 1712s | 23 | 3311350 | 2647338 | 2673 2300 | 0 | 0 1713.94/1714.58 c 1714s | 23 | 3315512 | 2650738 | 2673 2302 | 0 | 0 1715.94/1716.59 c 1716s | 23 | 3318824 | 2653638 | 2673 2304 | 0 | 0 1718.04/1718.61 c 1718s | 23 | 3322300 | 2656738 | 2673 2306 | 0 | 0 1720.04/1720.62 c 1720s | 23 | 3325591 | 2659638 | 2673 2308 | 0 | 0 1722.05/1722.67 c 1722s | 23 | 3329934 | 2663038 | 2673 2311 | 0 | 0 1724.04/1724.68 c 1724s | 23 | 3333293 | 2665938 | 2673 2313 | 0 | 0 1726.14/1726.72 c 1726s | 23 | 3336390 | 2668638 | 2673 2315 | 0 | 0 1728.14/1728.76 c 1728s | 23 | 3339967 | 2671738 | 2673 2317 | 0 | 0 1730.24/1730.81 c 1730s | 23 | 3343452 | 2674838 | 2673 2319 | 0 | 0 1732.24/1732.82 c 1732s | 23 | 3347142 | 2678038 | 2673 2321 | 0 | 0 1734.25/1734.87 c 1734s | 23 | 3351340 | 2681738 | 2673 2324 | 0 | 0 1736.24/1736.88 c 1736s | 23 | 3355208 | 2685138 | 2673 2326 | 0 | 0 1738.34/1738.93 c 1738s | 23 | 3358678 | 2688238 | 2673 2328 | 0 | 0 1740.34/1740.94 c 1740s | 23 | 3362738 | 2691838 | 2673 2331 | 0 | 0 1742.35/1742.97 c 1742s | 23 | 3366653 | 2695338 | 2673 2333 | 0 | 0 1744.35/1744.97 c 1744s | 23 | 3370516 | 2698638 | 2673 2336 | 0 | 0 1746.45/1747.04 c 1746s | 23 | 3374404 | 2702038 | 2673 2338 | 0 | 0 1748.45/1749.07 c 1749s | 23 | 3378224 | 2705438 | 2673 2341 | 0 | 0 1750.44/1751.09 c 1751s | 23 | 3382052 | 2708838 | 2673 2343 | 0 | 0 1752.54/1753.14 c 1753s | 23 | 3386049 | 2712338 | 2673 2346 | 0 | 0 1754.54/1755.16 c 1755s | 23 | 3390046 | 2715838 | 2673 2348 | 0 | 0 1756.64/1757.24 c 1757s | 23 | 3393842 | 2719238 | 2673 2351 | 0 | 0 1758.64/1759.27 c 1759s | 23 | 3398110 | 2722838 | 2673 2353 | 0 | 0 1760.74/1761.30 c 1761s | 23 | 3402087 | 2726338 | 2673 2356 | 0 | 0 1762.75/1763.35 c 1763s | 23 | 3405930 | 2729638 | 2673 2358 | 0 | 0 1764.84/1765.40 c 1765s | 23 | 3409994 | 2733238 | 2673 2361 | 0 | 0 1766.84/1767.44 c 1767s | 23 | 3413784 | 2736638 | 2673 2363 | 0 | 0 1768.84/1769.48 c 1769s | 23 | 3417479 | 2739938 | 2673 2365 | 0 | 0 1770.84/1771.49 c 1771s | 23 | 3421279 | 2743338 | 2673 2368 | 0 | 0 1772.94/1773.52 c 1773s | 23 | 3425131 | 2746838 | 2673 2370 | 0 | 0 1774.95/1775.57 c 1775s | 23 | 3428672 | 2750038 | 2673 2372 | 0 | 0 1777.05/1777.62 c 1777s | 23 | 3432194 | 2753238 | 2673 2375 | 0 | 0 1779.04/1779.65 c 1779s | 23 | 3436860 | 2756638 | 2673 2377 | 0 | 0 1781.14/1781.70 c 1781s | 23 | 3441347 | 2759938 | 2673 2379 | 0 | 0 1783.14/1783.72 c 1783s | 23 | 3446010 | 2763238 | 2673 2382 | 0 | 0 1785.14/1785.75 c 1785s | 23 | 3450519 | 2766638 | 2673 2384 | 0 | 0 1787.14/1787.77 c 1787s | 23 | 3454658 | 2770138 | 2673 2387 | 0 | 0 1789.14/1789.79 c 1789s | 23 | 3458434 | 2773438 | 2673 2389 | 0 | 0 1791.24/1791.81 c 1791s | 23 | 3461952 | 2776538 | 2673 2391 | 0 | 0 1793.24/1793.87 c 1793s | 23 | 3465291 | 2779438 | 2673 2393 | 0 | 0 1795.34/1795.91 c 1795s | 23 | 3468757 | 2782438 | 2673 2395 | 0 | 0 1797.34/1797.94 c 1797s | 23 | 3471754 | 2785038 | 2673 2397 | 0 | 0 1799.34/1799.95 c 1799s | 23 | 3475787 | 2788438 | 2673 2399 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093309-1466080119/watcher-4093309-1466080119 -o /tmp/evaluation-result-4093309-1466080119/solver-4093309-1466080119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093309-1466080119.wbo pid=10263 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.01 2.03 2.00 3/179 10266 /proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 2768 0 0 0 0 0 0 0 20 0 4 0 10061912 759623680 3129 33554432000 4194304 16246674 140737393400480 140737393399904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 186223 3139 441 2943 0 183117 0 [pid=10266/tid=10267] ppid=10263 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 777449472 3199 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 781643776 3215 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=768444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 786886656 3233 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100154 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10266 /proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 26314 0 0 0 5 4 0 0 20 0 4 0 10061912 1247350784 26662 33554432000 4194304 16246674 140737393400480 140737393399904 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 304529 26676 806 2943 0 301423 0 [pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26686 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26696 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 26705 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20049 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10266 /proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 54522 0 0 0 11 8 0 0 20 0 4 0 10061912 1247350784 54870 33554432000 4194304 16246674 140737393400480 140737393399904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 304529 54888 806 2943 0 301423 0 [pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54901 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54912 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 54924 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300496 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10266 /proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 82519 0 0 0 18 11 0 0 20 0 4 0 10061912 1247350784 82866 33554432000 4194304 16246674 140737393400480 140737393399904 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 304529 82882 812 2943 0 301423 0 [pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82895 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82906 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 82919 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700412 s] /proc/loadavg: 2.01 2.03 2.00 3/179 10266 /proc/meminfo: memFree=30655000/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 209568 0 0 0 42 27 0 0 20 0 4 0 10061912 1247350784 209915 33554432000 4194304 16246674 140737393400480 140737393382400 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 304529 209923 812 2943 0 301423 0 [pid=10266/tid=10267] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209932 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209940 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10061912 1247350784 209947 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.00 2.03 2.00 3/183 10270 /proc/meminfo: memFree=29671064/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1304132 CPUtime=1.49 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 266981 0 0 0 114 35 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140737393399792 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326033 267306 872 2943 0 322927 0 [pid=10266/tid=10267] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1335431168 267306 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1304132 [startup+3.10042 s] /proc/loadavg: 2.00 2.03 2.00 3/183 10270 /proc/meminfo: memFree=29583760/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267566 0 0 0 274 35 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140737393382400 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326545 267891 872 2943 0 323439 0 [pid=10266/tid=10267] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1337528320 267891 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.00 2.03 2.00 3/183 10270 /proc/meminfo: memFree=29583520/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267770 0 0 0 594 35 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140737393382400 6842216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326801 268095 874 2943 0 323695 0 [pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268095 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.00 2.03 2.00 3/183 10270 /proc/meminfo: memFree=29582444/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1307204 CPUtime=12.69 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 1234 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393399656 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326801 268244 874 2943 0 323695 0 [pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.00 2.02 2.00 3/183 10270 /proc/meminfo: memFree=29582816/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1307204 CPUtime=25.49 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 2514 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393382400 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326801 268244 874 2943 0 323695 0 [pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.07 2.04 2.00 3/183 10270 /proc/meminfo: memFree=29582816/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1307204 CPUtime=51.08 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 267919 0 0 0 5073 35 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140737393382400 13946543 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 326801 268244 874 2943 0 323695 0 [pid=10266/tid=10267] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1338576896 268244 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.301 s] /proc/loadavg: 2.09 2.04 2.00 3/184 10274 /proc/meminfo: memFree=29581488/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 268220 0 0 0 10193 35 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140737393382400 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 327313 268545 874 2943 0 324207 0 [pid=10266/tid=10267] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1340674048 268545 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1348014080 270553 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1316420 [startup+1302.3 s] /proc/loadavg: 2.19 2.12 2.04 3/184 10353 /proc/meminfo: memFree=29572228/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1301.81 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 130137 44 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5823250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1317444 [startup+1362.3 s] /proc/loadavg: 2.07 2.09 2.03 3/183 10354 /proc/meminfo: memFree=29572272/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1361.8 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 136135 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1317444 [startup+1422.3 s] /proc/loadavg: 2.07 2.09 2.03 3/183 10356 /proc/meminfo: memFree=29572052/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1421.8 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 142135 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1317444 [startup+1482.3 s] /proc/loadavg: 2.06 2.08 2.03 3/183 10357 /proc/meminfo: memFree=29571832/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1481.78 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 148133 45 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1317444 [startup+1542.31 s] /proc/loadavg: 2.05 2.08 2.03 3/183 10358 /proc/meminfo: memFree=29571860/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1541.78 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 154132 46 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1317444 [startup+1602.3 s] /proc/loadavg: 2.11 2.09 2.04 3/183 10359 /proc/meminfo: memFree=29566552/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1601.76 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 160130 46 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1317444 [startup+1662.3 s] /proc/loadavg: 2.15 2.10 2.04 3/183 10360 /proc/meminfo: memFree=29566580/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1661.75 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 166128 47 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1317444 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.03 3/183 10362 /proc/meminfo: memFree=29566336/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1721.74 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 172127 47 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5546248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1317444 [startup+1782.3 s] /proc/loadavg: 2.06 2.08 2.03 3/183 10363 /proc/meminfo: memFree=29566212/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1781.74 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 178126 48 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393382400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1317444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.05 2.07 2.03 4/183 10363 /proc/meminfo: memFree=29566220/32872528 swapFree=240572/273276 [pid=10266] ppid=10263 vsize=1317444 CPUtime=1800.04 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 7549 0 -1 4202496 270938 0 0 0 179956 48 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140737393383480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10266/statm: 329361 270809 875 2943 0 326255 0 [pid=10266/tid=10267] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10267/stat : 10267 (toysat) S 10263 10266 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330846366960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10268] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330835877104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10061912 1349062656 270809 33554432000 4194304 16246674 140737393400480 140330825403568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1317444 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 10266 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.05 CPU user time (s): 1799.57 CPU system time (s): 0.483926 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1317444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.483926 maximum resident set size= 1083236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270938 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= 471 involuntary context switches= 1980 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.69728 second user time and 6.84896 second system time The end
Begin job on node107 at 2016-06-16 14:28:39 IDJOB=4093309 IDBENCH=78687 IDSOLVER=2553 FILE ID=node107/4093309-1466080119 RUNJOBID= node107-1466074715-9714 PBS_JOBID= 19904025 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093309-1466080119/watcher-4093309-1466080119 -o /tmp/evaluation-result-4093309-1466080119/solver-4093309-1466080119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093309-1466080119.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4fda08e2dc650152cad1c676f7fa8f96 RANDOM SEED=861678004 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30655636 kB Buffers: 24968 kB Cached: 109648 kB SwapCached: 2508 kB Active: 1184416 kB Inactive: 60272 kB Active(anon): 1110156 kB Inactive(anon): 2156 kB Active(file): 74260 kB Inactive(file): 58116 kB Unevictable: 273276 kB Mlocked: 240572 kB SwapTotal: 67108856 kB SwapFree: 67099244 kB Dirty: 16360 kB Writeback: 12 kB AnonPages: 1382212 kB Mapped: 10556 kB Shmem: 0 kB Slab: 566704 kB SReclaimable: 10544 kB SUnreclaim: 556160 kB KernelStack: 1480 kB PageTables: 7036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1525984 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1136640 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= 71680 MiB End job on node107 at 2016-06-16 14:58:40