| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb |
| MD5SUM | bf07e05475dbb8a26e29c8119be0dea3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.220965 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 243 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 729 |
| Sum of products size (including duplicates) | 1458 |
| Number of different products | 729 |
| Sum of products size | 1458 |
0.00/0.00 c 2016-06-18T17:41:52+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106061-1466264511.opb"] 0.00/0.01 c use --random-gen="1203835090 2481771834 1781728364 1637408990 201531842 157607230 2204315913 1863465677 2819234414 2814454980 24836063 2000427829 694482692 525900517 3062080559 2786481454 1456132468 931319190 1213075943 3433387805 3032420077 1086341354 2176199195 2994214033 4808075 1908098458 1513590927 1213281489 1968320210 2513263065 1902654295 2024795936 2082656454 2055985338 4097828529 2802812468 3899214317 2715580904 2057094464 3426208031 1858030884 2051920252 1096147078 1777156504 2481906893 1346467338 1404812694 1244844778 568546961 2696155049 1125404949 2167441707 264807089 2572137025 1510841449 1334299695 227591009 2800187699 1778042006 2954839155 508927561 2663725638 1137650643 3108864829 3834962555 3215195810 3974726122 1436894568 3484826161 443915110 2680315050 1632224418 752896034 4250799357 3262965819 1742645093 2813555378 1275340646 908535813 4182865785 662536209 510957237 3198094548 1533164266 405346702 363079033 3321011798 3688145538 1057935693 3368262584 1995818750 883674170 1858533354 4163827770 2376160671 470475193 1790843233 4249077854 1281297539 4029279651 1395105586 2792163289 460709427 456226684 2068221952 2740898629 3068083137 2840288549 2863961937 2393575552 2485998957 63086302 896413379 2346732348 1996452644 1717062402 3880996456 2547874156 202207461 1895001214 932448939 1866696054 850885866 38851052 1733986329 3918102922 93658201 372185922 3435960769 1135577346 196879230 3132796888 2595331088 2679285154 1946421949 1124417757 3945840605 3614767389 5471827 3177932962 185442282 772301669 41703076 3703431471 2127948386 1095408905 429373379 661591069 1348561790 3731689475 3030466771 1876610305 105178326 2544892755 3760037716 357347130 1453424651 2990284340 2751491762 1156946010 3488013514 1350982769 1098878503 4088339531 1951816675 3120852443 3572833680 2911265297 1158849957 3934955045 2731386223 3865823731 2579972442 509565177 365505015 4002125776 2452986545 1295732347 3024520438 2120580482 4269501401 4043027667 851520923 4053191754 1469466767 717179557 3566592634 453891226 416628995 1498386551 3584397088 3390272645 2078166160 2901104776 4283798907 2377340309 4043816661 1266265220 2068680781 1988012648 533988203 1618437290 3781644637 2946212201 3697592648 1173073448 273224144 2459716797 76940270 1938240163 892880053 2163845471 2561303002 102385092 1854312909 4173669091 2317532334 918174451 1829066991 1527757004 1880471881 2391129145 2037235919 3652149029 32241809 185812728 615982949 2303179866 692620380 1646021497 680772765 2242625750 2105420613 1523178819 1026686434 2500815689 563729886 462149844 2294768295 1530661295 4002141698 910545811 4063852627 2254074657 3088780099 3222856627 2136773015 2095841782 1451798127 2254288716 3123077695 4192724997 2483485984 3396105763 1100776140 527762474 255 362436" option to reproduce the execution 0.00/0.01 c #vars 243 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 1062 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 115 | 100 | 1062 0 | 0 | 0 0.08/0.11 c 0.1s | 2 | 315 | 250 | 1169 0 | 0 | 0 0.08/0.18 c 0.1s | 3 | 606 | 475 | 1286 0 | 0 | 0 0.18/0.29 c 0.3s | 4 | 1058 | 813 | 1415 0 | 0 | 0 0.89/0.99 c 1.0s | 5 | 1767 | 1320 | 1557 0 | 0 | 0 1.29/1.34 c 1.3s | 6 | 2773 | 2081 | 1885 1 | 0 | 0 1.78/1.84 c 1.8s | 7 | 4079 | 3223 | 2074 1 | 0 | 0 2.39/2.48 c 2.4s | 8 | 5970 | 4936 | 2282 3 | 0 | 0 3.19/3.21 c 3.2s | 9 | 8847 | 7506 | 2511 5 | 0 | 0 4.19/4.22 c 4.2s | 10 | 12922 | 11361 | 2763 7 | 0 | 0 6.19/6.24 c 6.2s | 10 | 17093 | 15161 | 2763 10 | 0 | 0 6.70/6.77 c 6.7s | 11 | 19105 | 17144 | 3040 11 | 0 | 0 8.69/8.79 c 8.8s | 11 | 26028 | 23644 | 3040 15 | 0 | 0 9.49/9.50 c 9.5s | 12 | 28247 | 25819 | 3345 16 | 0 | 0 11.49/11.50 c 11.5s | 12 | 35765 | 33019 | 3345 19 | 0 | 0 12.99/13.00 c 13.0s | 12 | 41384 | 38411 | 3345 22 | 0 | 0 12.99/13.00 c #cpu_time = 12.927s 12.99/13.00 c #wall_clock_time = 12.961s 12.99/13.00 c #decision = 41384 12.99/13.00 c #random_decision = 198 12.99/13.00 c #conflict = 38411 12.99/13.00 c #restart = 12 12.99/13.00 o 473 12.99/13.00 c BCD2: updating upper bound: 511 -> 472 12.99/13.00 c BCD2: 0 <= obj <= 472 12.99/13.00 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 12.99/13.00 c BCD2: #sat=1 #unsat=1 bias=1/2 12.99/13.00 c Solving starts ... 12.99/13.00 c ============================[ Search Statistics ]============================ 12.99/13.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.99/13.00 c | | | | Limit GC | Var | Constra 12.99/13.00 c ============================================================================= 12.99/13.00 c 0.0s | 0 | 0 | 0 | 3345 0 | 0 | 0 12.99/13.00 c 0.0s | 0 | 7 | 0 | 3345 0 | 0 | 0 12.99/13.00 c #cpu_time = 0.007s 12.99/13.00 c #wall_clock_time = 0.007s 12.99/13.00 c #decision = 7 12.99/13.00 c #random_decision = 0 12.99/13.00 c #conflict = 0 12.99/13.00 c #restart = 0 12.99/13.00 c BCD2: found a new core of size 8: cost of the new core is >=2 12.99/13.00 c lower bound updated to 2 12.99/13.00 c BCD2: 2 <= obj <= 472 12.99/13.00 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 12.99/13.00 c BCD2: #sat=1 #unsat=2 bias=2/3 12.99/13.00 c Solving starts ... 12.99/13.00 c ============================[ Search Statistics ]============================ 12.99/13.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.99/13.00 c | | | | Limit GC | Var | Constra 12.99/13.00 c ============================================================================= 12.99/13.00 c 0.0s | 0 | 0 | 0 | 3345 0 | 0 | 0 13.19/13.21 c 0.2s | 1 | 249 | 100 | 3345 0 | 0 | 0 13.19/13.25 c 0.2s | 2 | 547 | 250 | 3680 0 | 0 | 0 13.29/13.30 c 0.3s | 3 | 886 | 475 | 3680 0 | 0 | 0 13.49/13.54 c 0.5s | 4 | 1349 | 813 | 3680 0 | 0 | 0 14.29/14.38 c 1.4s | 5 | 2020 | 1320 | 3680 1 | 0 | 0 14.58/14.61 c 1.6s | 6 | 2895 | 2081 | 3680 1 | 0 | 0 15.58/15.66 c 2.7s | 7 | 4572 | 3223 | 3680 2 | 0 | 0 16.18/16.26 c 3.3s | 8 | 6664 | 4936 | 3680 2 | 0 | 0 16.98/17.08 c 4.1s | 9 | 9443 | 7506 | 3680 4 | 0 | 0 18.98/19.04 c 6.0s | 10 | 13619 | 11361 | 3680 5 | 0 | 0 20.99/21.08 c 8.1s | 10 | 18303 | 15761 | 3680 7 | 0 | 0 21.68/21.76 c 8.8s | 11 | 19724 | 17144 | 3680 8 | 0 | 0 23.68/23.80 c 10.8s | 11 | 25277 | 22344 | 4049 11 | 0 | 0 25.29/25.39 c 12.4s | 12 | 28841 | 25819 | 4049 12 | 0 | 0 27.28/27.39 c 14.4s | 12 | 36260 | 32819 | 4049 15 | 0 | 0 29.38/29.41 c 16.4s | 12 | 41573 | 37919 | 4049 17 | 0 | 0 29.88/29.93 c 16.9s | 13 | 42576 | 38832 | 4049 17 | 0 | 0 31.89/31.95 c 18.9s | 13 | 48422 | 44432 | 4049 20 | 0 | 0 33.88/33.96 c 21.0s | 13 | 53708 | 49532 | 4454 22 | 0 | 0 35.88/35.96 c 23.0s | 13 | 59399 | 55132 | 4454 24 | 0 | 0 37.18/37.22 c 24.2s | 14 | 62729 | 58352 | 4454 25 | 0 | 0 39.18/39.24 c 26.2s | 14 | 69636 | 64952 | 4454 28 | 0 | 0 41.18/41.28 c 28.3s | 14 | 76058 | 71252 | 4454 31 | 0 | 0 43.18/43.28 c 30.3s | 14 | 82570 | 77652 | 4454 33 | 0 | 0 45.28/45.32 c 32.3s | 14 | 88704 | 83652 | 4454 36 | 0 | 0 46.58/46.63 c 33.6s | 15 | 92748 | 87632 | 4454 37 | 0 | 0 48.58/48.64 c 35.6s | 15 | 99419 | 93332 | 4900 39 | 0 | 0 50.58/50.65 c 37.6s | 15 | 105852 | 99632 | 4900 42 | 0 | 0 52.58/52.66 c 39.7s | 15 | 111935 | 105632 | 4900 44 | 0 | 0 54.57/54.69 c 41.7s | 15 | 117159 | 110632 | 4900 46 | 0 | 0 56.58/56.69 c 43.7s | 15 | 122993 | 116332 | 4900 48 | 0 | 0 58.68/58.72 c 45.7s | 15 | 129386 | 122632 | 4900 50 | 0 | 0 60.68/60.74 c 47.7s | 15 | 133688 | 126732 | 4900 52 | 0 | 0 62.69/62.77 c 49.8s | 15 | 138557 | 131532 | 4900 53 | 0 | 0 62.69/62.78 c 49.8s | 16 | 138581 | 131552 | 4900 53 | 0 | 0 64.68/64.79 c 51.8s | 16 | 145005 | 137452 | 4900 55 | 0 | 0 66.78/66.82 c 53.8s | 16 | 150859 | 143252 | 4900 57 | 0 | 0 68.78/68.85 c 55.8s | 16 | 156005 | 148352 | 4900 59 | 0 | 0 70.78/70.89 c 57.9s | 16 | 161183 | 153452 | 4900 61 | 0 | 0 72.88/72.93 c 59.9s | 16 | 165825 | 158052 | 5390 62 | 0 | 0 74.89/74.93 c 61.9s | 16 | 170574 | 162752 | 5390 64 | 0 | 0 76.88/76.94 c 63.9s | 16 | 175556 | 167652 | 5390 65 | 0 | 0 78.88/78.97 c 66.0s | 16 | 180400 | 172452 | 5390 67 | 0 | 0 80.97/81.00 c 68.0s | 16 | 185132 | 177152 | 5390 68 | 0 | 0 82.97/83.04 c 70.0s | 16 | 190727 | 182652 | 5390 70 | 0 | 0 84.97/85.08 c 72.1s | 16 | 195707 | 187552 | 5390 72 | 0 | 0 87.07/87.10 c 74.1s | 16 | 200922 | 192652 | 5390 73 | 0 | 0 88.87/88.95 c 75.9s | 17 | 205816 | 197432 | 5390 75 | 0 | 0 90.87/90.95 c 77.9s | 17 | 211797 | 203132 | 5390 77 | 0 | 0 92.87/92.95 c 79.9s | 17 | 215539 | 206732 | 5390 78 | 0 | 0 94.87/94.96 c 82.0s | 17 | 219637 | 210532 | 5390 79 | 0 | 0 96.88/96.99 c 84.0s | 17 | 225128 | 215732 | 5390 81 | 0 | 0 98.98/99.01 c 86.0s | 17 | 229938 | 220232 | 5390 82 | 0 | 0 100.97/101.01 c 88.0s | 17 | 234699 | 224732 | 5390 84 | 0 | 0 102.97/103.04 c 90.0s | 17 | 239725 | 229632 | 5390 85 | 0 | 0 104.97/105.07 c 92.1s | 17 | 244187 | 233832 | 5390 87 | 0 | 0 107.07/107.11 c 94.1s | 17 | 248298 | 237632 | 5390 88 | 0 | 0 109.07/109.15 c 96.1s | 17 | 251982 | 241132 | 5390 89 | 0 | 0 111.07/111.16 c 98.2s | 17 | 256337 | 245132 | 5390 90 | 0 | 0 113.07/113.17 c 100s | 17 | 260181 | 248832 | 5390 92 | 0 | 0 115.17/115.20 c 102s | 17 | 264216 | 252732 | 5390 93 | 0 | 0 117.17/117.28 c 104s | 17 | 268070 | 256432 | 5930 94 | 0 | 0 119.27/119.30 c 106s | 17 | 271621 | 259832 | 5930 95 | 0 | 0 121.27/121.34 c 108s | 17 | 276843 | 264532 | 5930 96 | 0 | 0 123.28/123.36 c 110s | 17 | 282044 | 269632 | 5930 98 | 0 | 0 125.27/125.39 c 112s | 17 | 286993 | 274332 | 5930 99 | 0 | 0 127.37/127.44 c 114s | 17 | 290632 | 277732 | 5930 100 | 0 | 0 129.37/129.44 c 116s | 17 | 293649 | 280632 | 5930 101 | 0 | 0 131.37/131.47 c 118s | 17 | 297548 | 284332 | 5930 102 | 0 | 0 133.37/133.49 c 120s | 17 | 301689 | 288332 | 5930 104 | 0 | 0 135.47/135.51 c 122s | 17 | 305640 | 292032 | 5930 105 | 0 | 0 137.17/137.27 c 124s | 18 | 310132 | 296252 | 5930 106 | 0 | 0 139.17/139.28 c 126s | 18 | 317065 | 302852 | 5930 108 | 0 | 0 141.17/141.29 c 128s | 18 | 322500 | 308152 | 5930 110 | 0 | 0 143.27/143.32 c 130s | 18 | 328510 | 314052 | 5930 112 | 0 | 0 145.28/145.33 c 132s | 18 | 334705 | 320152 | 5930 113 | 0 | 0 147.27/147.35 c 134s | 18 | 341029 | 326352 | 5930 115 | 0 | 0 149.27/149.35 c 136s | 18 | 347005 | 332252 | 5930 117 | 0 | 0 151.27/151.37 c 138s | 18 | 352486 | 337652 | 5930 119 | 0 | 0 153.27/153.39 c 140s | 18 | 357853 | 342952 | 5930 120 | 0 | 0 155.36/155.44 c 142s | 18 | 362726 | 346952 | 5930 122 | 0 | 0 157.37/157.46 c 144s | 18 | 368600 | 352552 | 5930 123 | 0 | 0 159.36/159.47 c 146s | 18 | 373901 | 357752 | 5930 125 | 0 | 0 161.46/161.51 c 148s | 18 | 378406 | 362052 | 5930 126 | 0 | 0 163.46/163.54 c 150s | 18 | 382828 | 366152 | 5930 127 | 0 | 0 165.46/165.58 c 152s | 18 | 388057 | 371252 | 5930 129 | 0 | 0 167.46/167.60 c 154s | 18 | 393067 | 375852 | 5930 130 | 0 | 0 169.56/169.62 c 156s | 18 | 397835 | 380452 | 5930 132 | 0 | 0 171.57/171.62 c 158s | 18 | 402510 | 384652 | 5930 133 | 0 | 0 173.56/173.63 c 160s | 18 | 406765 | 388752 | 5930 134 | 0 | 0 175.56/175.66 c 162s | 18 | 411026 | 392852 | 5930 136 | 0 | 0 177.56/177.68 c 164s | 18 | 415665 | 397152 | 5930 137 | 0 | 0 179.66/179.70 c 166s | 18 | 420020 | 401252 | 5930 138 | 0 | 0 181.66/181.71 c 168s | 18 | 424154 | 405152 | 6524 139 | 0 | 0 183.67/183.75 c 170s | 18 | 428131 | 409052 | 6524 140 | 0 | 0 185.76/185.81 c 172s | 18 | 431877 | 412652 | 6524 141 | 0 | 0 187.76/187.84 c 174s | 18 | 435459 | 416152 | 6524 142 | 0 | 0 189.76/189.88 c 176s | 18 | 438420 | 419052 | 6524 143 | 0 | 0 191.86/191.93 c 178s | 18 | 442027 | 422452 | 6524 144 | 0 | 0 193.86/193.95 c 180s | 18 | 446052 | 426352 | 6524 145 | 0 | 0 195.86/195.98 c 182s | 18 | 450186 | 430352 | 6524 146 | 0 | 0 197.96/198.02 c 185s | 18 | 454264 | 434352 | 6524 147 | 0 | 0 199.95/200.05 c 187s | 18 | 458198 | 438152 | 6524 148 | 0 | 0 202.05/202.10 c 189s | 18 | 461991 | 441752 | 6524 149 | 0 | 0 203.46/203.59 c 190s | 19 | 464740 | 444482 | 6524 150 | 0 | 0 205.55/205.61 c 192s | 19 | 469645 | 448982 | 6524 152 | 0 | 0 207.55/207.62 c 194s | 19 | 475257 | 454482 | 6524 153 | 0 | 0 209.55/209.63 c 196s | 19 | 479704 | 458882 | 6524 154 | 0 | 0 211.55/211.65 c 198s | 19 | 485978 | 464882 | 6524 156 | 1 | 9 213.55/213.65 c 200s | 19 | 492380 | 471082 | 6524 158 | 1 | 9 215.56/215.66 c 202s | 19 | 497747 | 476282 | 6524 160 | 1 | 9 217.56/217.68 c 204s | 19 | 503069 | 481482 | 6524 161 | 1 | 9 219.56/219.68 c 206s | 19 | 508471 | 486782 | 6524 163 | 1 | 9 221.66/221.70 c 208s | 19 | 514317 | 492482 | 6524 164 | 1 | 9 223.66/223.70 c 210s | 19 | 519939 | 497982 | 6524 166 | 1 | 9 225.66/225.72 c 212s | 19 | 526230 | 504082 | 6524 168 | 1 | 9 227.66/227.74 c 214s | 19 | 532045 | 509682 | 6524 169 | 1 | 9 229.66/229.77 c 216s | 19 | 537488 | 514982 | 6524 171 | 1 | 9 231.76/231.80 c 218s | 19 | 543033 | 520382 | 6524 173 | 1 | 9 233.76/233.82 c 220s | 19 | 549355 | 526382 | 6524 174 | 1 | 9 235.76/235.85 c 222s | 19 | 554962 | 531782 | 6524 176 | 1 | 9 237.76/237.88 c 224s | 19 | 560920 | 537482 | 6524 178 | 1 | 9 239.86/239.92 c 226s | 19 | 566646 | 542982 | 6524 179 | 1 | 9 241.85/241.94 c 228s | 19 | 571838 | 548082 | 6524 181 | 1 | 9 243.85/243.94 c 230s | 19 | 577347 | 553482 | 6524 182 | 1 | 9 245.85/245.96 c 232s | 19 | 582016 | 558082 | 6524 184 | 1 | 9 247.85/247.97 c 234s | 19 | 587355 | 563282 | 6524 185 | 1 | 9 249.95/250.01 c 237s | 19 | 590731 | 566382 | 6524 186 | 1 | 9 251.96/252.01 c 239s | 19 | 595440 | 570882 | 6524 187 | 1 | 9 253.95/254.03 c 241s | 19 | 599109 | 574482 | 6524 188 | 1 | 9 255.95/256.06 c 243s | 19 | 603179 | 578482 | 6524 189 | 1 | 9 257.95/258.07 c 245s | 19 | 607536 | 582782 | 6524 190 | 1 | 9 260.05/260.10 c 247s | 19 | 611663 | 586782 | 6524 191 | 1 | 9 262.05/262.17 c 249s | 19 | 615602 | 590482 | 6524 192 | 1 | 9 264.15/264.21 c 251s | 19 | 619041 | 593782 | 6524 193 | 1 | 9 266.15/266.25 c 253s | 19 | 622528 | 597182 | 6524 194 | 1 | 9 268.25/268.30 c 255s | 19 | 627040 | 601582 | 6524 195 | 1 | 9 270.25/270.30 c 257s | 19 | 630876 | 605382 | 6524 196 | 1 | 9 272.25/272.36 c 259s | 19 | 634805 | 609282 | 6524 197 | 1 | 9 274.24/274.39 c 261s | 19 | 638781 | 613182 | 6524 199 | 1 | 9 276.24/276.39 c 263s | 19 | 642328 | 616682 | 6524 200 | 1 | 9 278.35/278.42 c 265s | 19 | 646461 | 620782 | 6524 201 | 1 | 9 280.34/280.46 c 267s | 19 | 650816 | 625082 | 7177 202 | 1 | 9 282.34/282.49 c 269s | 19 | 655342 | 629482 | 7177 203 | 1 | 9 284.44/284.53 c 271s | 19 | 659758 | 633782 | 7177 204 | 1 | 9 286.44/286.54 c 273s | 19 | 664299 | 638182 | 7177 205 | 1 | 9 288.54/288.61 c 275s | 19 | 668453 | 642082 | 7177 206 | 1 | 9 290.54/290.67 c 277s | 19 | 670895 | 644482 | 7177 206 | 1 | 9 292.65/292.71 c 279s | 19 | 673707 | 647182 | 7177 207 | 1 | 9 294.64/294.76 c 281s | 19 | 677592 | 650882 | 7177 208 | 1 | 9 296.64/296.78 c 283s | 19 | 680721 | 653882 | 7177 209 | 1 | 9 298.74/298.81 c 285s | 19 | 684966 | 657982 | 7177 210 | 1 | 9 300.74/300.85 c 287s | 19 | 688740 | 661582 | 7177 211 | 1 | 9 302.74/302.89 c 289s | 19 | 692309 | 664982 | 7177 212 | 1 | 9 303.64/303.71 c 290s | 20 | 694244 | 666827 | 7177 212 | 1 | 9 305.64/305.75 c 292s | 20 | 700530 | 672727 | 7177 214 | 1 | 9 307.64/307.75 c 294s | 20 | 705798 | 677827 | 7177 215 | 1 | 9 309.64/309.78 c 296s | 20 | 710760 | 682627 | 7177 216 | 1 | 9 311.64/311.78 c 298s | 20 | 715920 | 687427 | 7177 217 | 1 | 9 313.74/313.81 c 300s | 20 | 720966 | 692127 | 7177 218 | 1 | 9 315.75/315.84 c 302s | 20 | 725893 | 696827 | 7177 220 | 1 | 9 317.74/317.85 c 304s | 20 | 731108 | 701527 | 7177 221 | 1 | 9 319.74/319.88 c 306s | 20 | 736046 | 705827 | 7177 222 | 1 | 9 321.84/321.92 c 308s | 20 | 740805 | 710227 | 7177 223 | 1 | 9 323.84/323.95 c 310s | 20 | 746532 | 715827 | 7177 224 | 1 | 9 325.84/325.99 c 312s | 20 | 751718 | 720427 | 7177 226 | 1 | 9 327.94/328.00 c 314s | 20 | 756518 | 724727 | 7177 227 | 1 | 9 329.95/330.04 c 317s | 20 | 761829 | 729827 | 7177 228 | 1 | 9 331.94/332.07 c 319s | 20 | 766479 | 734327 | 7177 229 | 1 | 9 333.94/334.07 c 321s | 20 | 771243 | 738827 | 7177 230 | 1 | 9 336.04/336.10 c 323s | 20 | 776501 | 743827 | 7177 232 | 1 | 9 338.04/338.11 c 325s | 20 | 781234 | 748327 | 7177 233 | 1 | 9 340.04/340.11 c 327s | 20 | 785981 | 752827 | 7177 234 | 1 | 9 342.04/342.16 c 329s | 20 | 791215 | 757927 | 7177 235 | 1 | 9 344.03/344.17 c 331s | 20 | 796374 | 762727 | 7177 236 | 1 | 9 346.03/346.18 c 333s | 20 | 801147 | 767327 | 7177 238 | 1 | 9 348.13/348.21 c 335s | 20 | 806195 | 772027 | 7177 239 | 1 | 9 350.13/350.25 c 337s | 20 | 811383 | 776827 | 7177 240 | 1 | 9 352.13/352.27 c 339s | 20 | 816242 | 781427 | 7177 241 | 1 | 9 354.14/354.28 c 341s | 20 | 821340 | 786227 | 7177 242 | 1 | 9 356.13/356.30 c 343s | 20 | 826078 | 790827 | 7177 244 | 1 | 9 358.23/358.31 c 345s | 20 | 831001 | 795627 | 7177 245 | 1 | 9 360.23/360.34 c 347s | 20 | 835945 | 800427 | 7177 246 | 1 | 9 362.24/362.36 c 349s | 20 | 840380 | 804627 | 7177 247 | 1 | 9 364.24/364.37 c 351s | 20 | 845016 | 809127 | 7177 248 | 1 | 9 366.24/366.39 c 353s | 20 | 849642 | 813527 | 7177 249 | 1 | 9 368.34/368.40 c 355s | 20 | 854155 | 817827 | 7177 251 | 1 | 9 370.33/370.44 c 357s | 20 | 859406 | 822727 | 7177 252 | 1 | 9 372.33/372.48 c 359s | 20 | 864060 | 827227 | 7177 253 | 1 | 9 374.33/374.49 c 361s | 20 | 868994 | 831927 | 7177 254 | 1 | 9 376.43/376.52 c 363s | 20 | 873952 | 836727 | 7177 255 | 1 | 9 378.44/378.53 c 365s | 20 | 879176 | 841827 | 7177 257 | 1 | 9 380.43/380.56 c 367s | 20 | 884019 | 846427 | 7177 258 | 1 | 9 382.43/382.57 c 369s | 20 | 889140 | 851327 | 7177 259 | 1 | 9 384.43/384.58 c 371s | 20 | 893819 | 855727 | 7177 260 | 1 | 9 386.53/386.60 c 373s | 20 | 898588 | 860227 | 7177 261 | 1 | 9 388.53/388.62 c 375s | 20 | 903588 | 864827 | 7177 263 | 1 | 9 390.53/390.64 c 377s | 20 | 908232 | 869327 | 7177 264 | 1 | 9 392.53/392.67 c 379s | 20 | 913041 | 873727 | 7177 265 | 1 | 9 394.53/394.69 c 381s | 20 | 917537 | 878027 | 7177 266 | 1 | 9 396.63/396.72 c 383s | 20 | 922563 | 882827 | 7177 267 | 1 | 9 398.62/398.73 c 385s | 20 | 926953 | 887027 | 7177 268 | 1 | 9 400.62/400.77 c 387s | 20 | 931555 | 891327 | 7177 269 | 1 | 9 402.63/402.79 c 389s | 20 | 936380 | 895627 | 7177 270 | 1 | 9 404.73/404.82 c 391s | 20 | 940574 | 899527 | 7177 271 | 1 | 9 406.72/406.87 c 393s | 20 | 944971 | 903427 | 7177 273 | 1 | 9 408.72/408.89 c 395s | 20 | 950256 | 908527 | 7177 274 | 1 | 9 410.72/410.90 c 397s | 20 | 954952 | 913127 | 7177 275 | 1 | 9 412.82/412.93 c 399s | 20 | 959534 | 917527 | 7177 276 | 1 | 9 414.82/414.94 c 401s | 20 | 963989 | 921827 | 7177 277 | 1 | 9 416.83/417.00 c 403s | 20 | 968331 | 925827 | 7177 278 | 1 | 9 418.92/419.05 c 406s | 20 | 972333 | 929627 | 7177 279 | 1 | 9 420.92/421.06 c 408s | 20 | 977251 | 934427 | 7177 280 | 1 | 9 422.92/423.07 c 410s | 20 | 981460 | 938527 | 7177 281 | 1 | 9 424.92/425.08 c 412s | 20 | 985594 | 942527 | 7177 283 | 1 | 9 426.93/427.09 c 414s | 20 | 990442 | 947227 | 7177 284 | 1 | 9 429.03/429.12 c 416s | 20 | 995202 | 951827 | 7177 285 | 1 | 9 431.02/431.13 c 418s | 20 | 999593 | 956127 | 7895 286 | 1 | 9 433.02/433.14 c 420s | 20 | 1004152 | 960527 | 7895 287 | 1 | 9 435.02/435.17 c 422s | 20 | 1008188 | 964427 | 7895 288 | 1 | 9 437.12/437.29 c 424s | 20 | 1012423 | 968527 | 7895 289 | 1 | 9 439.22/439.30 c 426s | 20 | 1016608 | 972627 | 7895 290 | 1 | 9 441.22/441.30 c 428s | 20 | 1020823 | 976727 | 7895 291 | 1 | 9 443.23/443.34 c 430s | 20 | 1025467 | 981227 | 7895 292 | 1 | 9 445.22/445.35 c 432s | 20 | 1029689 | 985327 | 7895 293 | 1 | 9 447.22/447.39 c 434s | 20 | 1034193 | 989627 | 7895 294 | 1 | 9 449.32/449.43 c 436s | 20 | 1038571 | 993727 | 7895 295 | 1 | 9 451.32/451.45 c 438s | 20 | 1042812 | 997827 | 7895 296 | 1 | 9 452.52/452.62 c 439s | 21 | 1045440 | 1000345 | 7895 296 | 1 | 9 454.52/454.66 c 441s | 21 | 1051423 | 1006245 | 7895 298 | 1 | 9 456.52/456.66 c 443s | 21 | 1056948 | 1011645 | 7895 299 | 1 | 9 458.51/458.67 c 445s | 21 | 1061488 | 1016145 | 7895 300 | 1 | 9 460.61/460.71 c 447s | 21 | 1066673 | 1021245 | 7895 301 | 1 | 9 462.61/462.76 c 449s | 21 | 1069049 | 1023345 | 7895 302 | 1 | 9 464.71/464.87 c 451s | 21 | 1070260 | 1024445 | 7895 302 | 1 | 9 466.71/466.89 c 453s | 21 | 1073801 | 1027745 | 7895 303 | 1 | 9 468.81/468.92 c 455s | 21 | 1077862 | 1031745 | 7895 304 | 1 | 9 470.82/470.93 c 457s | 21 | 1081312 | 1035145 | 7895 305 | 1 | 9 472.82/472.94 c 459s | 21 | 1085549 | 1039345 | 7895 306 | 1 | 9 474.82/474.94 c 461s | 21 | 1089926 | 1043645 | 7895 307 | 1 | 9 476.82/476.96 c 463s | 21 | 1094458 | 1048145 | 7895 308 | 1 | 9 478.82/478.96 c 465s | 21 | 1098492 | 1052145 | 7895 309 | 1 | 9 481.02/481.17 c 468s | 21 | 1100515 | 1054145 | 7895 309 | 1 | 9 483.12/483.21 c 470s | 21 | 1102504 | 1055945 | 7895 309 | 1 | 9 485.12/485.26 c 472s | 21 | 1105232 | 1058645 | 7895 310 | 1 | 9 487.22/487.31 c 474s | 21 | 1109101 | 1062345 | 7895 311 | 1 | 9 489.21/489.33 c 476s | 21 | 1112861 | 1066045 | 7895 312 | 1 | 9 491.21/491.33 c 478s | 21 | 1116506 | 1069645 | 7895 313 | 1 | 9 493.21/493.37 c 480s | 21 | 1120476 | 1073545 | 7895 313 | 1 | 9 495.31/495.41 c 482s | 21 | 1124331 | 1077345 | 7895 314 | 1 | 9 497.31/497.42 c 484s | 21 | 1128466 | 1081445 | 7895 315 | 1 | 9 499.32/499.42 c 486s | 21 | 1132425 | 1085345 | 7895 316 | 1 | 9 501.31/501.45 c 488s | 21 | 1135972 | 1088845 | 7895 317 | 1 | 9 503.31/503.49 c 490s | 21 | 1140233 | 1093045 | 7895 318 | 1 | 9 505.41/505.50 c 492s | 21 | 1144295 | 1097045 | 7895 319 | 1 | 9 507.41/507.54 c 494s | 21 | 1148143 | 1100845 | 7895 320 | 1 | 9 509.41/509.56 c 496s | 21 | 1151253 | 1103545 | 7895 320 | 1 | 9 511.42/511.59 c 498s | 21 | 1154715 | 1106945 | 7895 321 | 1 | 9 513.51/513.62 c 500s | 21 | 1157856 | 1110045 | 7895 322 | 1 | 9 515.51/515.64 c 502s | 21 | 1161019 | 1113045 | 7895 323 | 1 | 9 517.51/517.68 c 504s | 21 | 1164355 | 1116045 | 7895 323 | 1 | 9 519.61/519.72 c 506s | 21 | 1167981 | 1119145 | 7895 324 | 1 | 9 521.60/521.72 c 508s | 21 | 1172480 | 1123545 | 7895 325 | 1 | 9 523.61/523.75 c 510s | 21 | 1176657 | 1127645 | 7895 326 | 1 | 9 525.71/525.81 c 512s | 21 | 1180440 | 1131345 | 7895 327 | 1 | 9 527.70/527.85 c 514s | 21 | 1183096 | 1133945 | 7895 327 | 1 | 9 529.70/529.89 c 516s | 21 | 1186667 | 1137045 | 7895 328 | 1 | 9 531.80/531.92 c 518s | 21 | 1190583 | 1140845 | 7895 329 | 1 | 9 533.80/533.93 c 520s | 21 | 1194388 | 1144245 | 7895 330 | 1 | 9 535.80/535.97 c 522s | 21 | 1198000 | 1147745 | 7895 331 | 1 | 9 537.91/538.01 c 525s | 21 | 1201618 | 1151145 | 7895 331 | 1 | 9 539.90/540.03 c 527s | 21 | 1205288 | 1154545 | 7895 332 | 1 | 9 541.91/542.03 c 529s | 21 | 1209565 | 1158545 | 7895 333 | 1 | 9 543.91/544.05 c 531s | 21 | 1214272 | 1163045 | 7895 334 | 1 | 9 545.91/546.05 c 533s | 21 | 1218595 | 1167245 | 7895 335 | 1 | 9 547.91/548.07 c 535s | 21 | 1223152 | 1171645 | 7895 336 | 1 | 9 550.01/550.11 c 537s | 21 | 1226927 | 1175345 | 7895 337 | 1 | 9 552.01/552.11 c 539s | 21 | 1230354 | 1178745 | 7895 338 | 1 | 9 554.01/554.13 c 541s | 21 | 1234149 | 1182445 | 7895 339 | 1 | 9 556.01/556.16 c 543s | 21 | 1240670 | 1188745 | 7895 340 | 1 | 9 558.00/558.19 c 545s | 21 | 1246069 | 1194045 | 7895 341 | 1 | 9 560.10/560.22 c 547s | 21 | 1251044 | 1198945 | 7895 342 | 1 | 9 562.11/562.25 c 549s | 21 | 1256121 | 1203945 | 7895 344 | 1 | 9 564.10/564.28 c 551s | 21 | 1262225 | 1209945 | 7895 345 | 1 | 9 566.20/566.33 c 553s | 21 | 1264743 | 1212345 | 7895 346 | 1 | 9 568.20/568.33 c 555s | 21 | 1265800 | 1213245 | 7895 346 | 1 | 9 570.20/570.34 c 557s | 21 | 1269316 | 1216545 | 7895 346 | 1 | 9 572.20/572.39 c 559s | 21 | 1273035 | 1220245 | 7895 347 | 1 | 9 574.30/574.48 c 561s | 21 | 1276014 | 1223145 | 7895 348 | 1 | 9 576.30/576.49 c 563s | 21 | 1279479 | 1226245 | 7895 349 | 1 | 9 578.40/578.53 c 565s | 21 | 1282721 | 1229445 | 7895 349 | 1 | 9 580.39/580.54 c 567s | 21 | 1286036 | 1232745 | 7895 350 | 1 | 9 582.39/582.59 c 569s | 21 | 1288864 | 1235545 | 7895 351 | 1 | 9 584.49/584.60 c 571s | 21 | 1292654 | 1239245 | 7895 352 | 1 | 9 586.49/586.67 c 573s | 21 | 1296319 | 1242845 | 7895 353 | 1 | 9 588.60/588.72 c 575s | 21 | 1300411 | 1246845 | 7895 353 | 1 | 9 590.61/590.72 c 577s | 21 | 1303976 | 1250345 | 7895 354 | 1 | 9 592.60/592.75 c 579s | 21 | 1307947 | 1254245 | 7895 355 | 1 | 9 594.60/594.77 c 581s | 21 | 1311959 | 1258145 | 7895 356 | 1 | 9 596.60/596.77 c 583s | 21 | 1316576 | 1262645 | 7895 357 | 1 | 9 598.60/598.78 c 585s | 21 | 1320283 | 1266245 | 7895 358 | 1 | 9 600.70/600.80 c 587s | 21 | 1325531 | 1271445 | 7895 359 | 1 | 9 602.71/602.83 c 589s | 21 | 1329900 | 1275545 | 7895 360 | 1 | 9 604.70/604.87 c 591s | 21 | 1333861 | 1279445 | 7895 361 | 1 | 9 606.80/606.90 c 593s | 21 | 1337636 | 1283145 | 7895 362 | 1 | 9 608.80/608.91 c 595s | 21 | 1341438 | 1286845 | 7895 363 | 1 | 9 610.80/610.97 c 597s | 21 | 1345023 | 1290345 | 7895 363 | 1 | 9 612.79/612.99 c 599s | 21 | 1348727 | 1293445 | 7895 364 | 1 | 9 614.90/615.06 c 602s | 21 | 1353063 | 1297745 | 7895 365 | 1 | 9 616.89/617.09 c 604s | 21 | 1356404 | 1301045 | 7895 366 | 1 | 9 618.99/619.13 c 606s | 21 | 1360143 | 1304745 | 7895 367 | 1 | 9 620.99/621.14 c 608s | 21 | 1364081 | 1308645 | 7895 368 | 1 | 9 622.99/623.18 c 610s | 21 | 1365901 | 1310345 | 7895 368 | 1 | 9 625.09/625.20 c 612s | 21 | 1369536 | 1313945 | 7895 369 | 1 | 9 627.09/627.23 c 614s | 21 | 1372568 | 1316945 | 7895 370 | 1 | 9 629.10/629.27 c 616s | 21 | 1377138 | 1321445 | 7895 371 | 1 | 9 631.19/631.35 c 618s | 21 | 1380439 | 1324445 | 7895 371 | 1 | 9 633.29/633.45 c 620s | 21 | 1382418 | 1325545 | 7895 372 | 1 | 9 635.49/635.63 c 622s | 21 | 1383663 | 1326445 | 7895 372 | 1 | 9 637.59/637.73 c 624s | 21 | 1385295 | 1327345 | 7895 372 | 1 | 9 639.59/639.79 c 626s | 21 | 1386588 | 1328345 | 7895 372 | 1 | 9 641.79/641.98 c 628s | 21 | 1388198 | 1329345 | 7895 372 | 1 | 9 643.89/644.05 c 631s | 21 | 1389586 | 1330345 | 7895 373 | 1 | 9 645.98/646.10 c 633s | 21 | 1391547 | 1331845 | 7895 373 | 1 | 9 648.08/648.28 c 635s | 21 | 1394234 | 1333845 | 7895 374 | 1 | 9 650.28/650.41 c 637s | 21 | 1395466 | 1334945 | 7895 374 | 1 | 9 652.38/652.52 c 639s | 21 | 1398301 | 1336645 | 7895 374 | 1 | 9 654.39/654.56 c 641s | 21 | 1400789 | 1338145 | 7895 375 | 1 | 9 656.39/656.56 c 643s | 21 | 1403965 | 1340045 | 7895 375 | 1 | 9 658.39/658.57 c 645s | 21 | 1407789 | 1342645 | 7895 376 | 1 | 9 660.49/660.60 c 647s | 21 | 1411040 | 1345645 | 7895 376 | 1 | 9 662.49/662.61 c 649s | 21 | 1414712 | 1349245 | 7895 377 | 1 | 9 664.49/664.66 c 651s | 21 | 1418043 | 1352545 | 7895 378 | 1 | 9 666.59/666.72 c 653s | 21 | 1421195 | 1355645 | 7895 379 | 1 | 9 668.58/668.76 c 655s | 21 | 1423776 | 1358145 | 7895 379 | 1 | 9 670.78/670.95 c 657s | 21 | 1427888 | 1362045 | 7895 380 | 1 | 9 672.88/673.05 c 660s | 21 | 1430058 | 1364045 | 7895 381 | 1 | 9 674.98/675.10 c 662s | 21 | 1434234 | 1368145 | 7895 381 | 1 | 9 676.98/677.16 c 664s | 21 | 1438342 | 1372145 | 7895 382 | 1 | 9 679.07/679.25 c 666s | 21 | 1440447 | 1373945 | 7895 383 | 1 | 9 681.07/681.26 c 668s | 21 | 1444066 | 1377345 | 7895 384 | 1 | 9 683.27/683.48 c 670s | 21 | 1447192 | 1380345 | 7895 384 | 1 | 9 685.37/685.51 c 672s | 21 | 1448780 | 1381845 | 7895 385 | 1 | 9 687.37/687.55 c 674s | 21 | 1451798 | 1384845 | 7895 385 | 1 | 9 689.37/689.56 c 676s | 21 | 1455077 | 1388045 | 7895 386 | 1 | 9 691.47/691.61 c 678s | 21 | 1459534 | 1392445 | 7895 387 | 1 | 9 693.47/693.63 c 680s | 21 | 1462699 | 1395345 | 7895 388 | 1 | 9 695.57/695.70 c 682s | 21 | 1464714 | 1397345 | 7895 388 | 1 | 9 697.57/697.71 c 684s | 21 | 1466621 | 1399245 | 7895 389 | 1 | 9 699.57/699.78 c 686s | 21 | 1468449 | 1401045 | 7895 389 | 1 | 9 701.56/701.79 c 688s | 21 | 1470561 | 1403145 | 7895 390 | 1 | 9 703.56/703.79 c 690s | 21 | 1474707 | 1407245 | 7895 391 | 1 | 9 705.66/705.82 c 692s | 21 | 1479470 | 1411945 | 7895 392 | 1 | 9 707.86/708.02 c 695s | 21 | 1483002 | 1415345 | 7895 392 | 1 | 9 710.06/710.25 c 697s | 21 | 1484236 | 1416145 | 7895 393 | 1 | 9 712.06/712.25 c 699s | 21 | 1486380 | 1418045 | 7895 393 | 1 | 9 714.06/714.29 c 701s | 21 | 1488827 | 1420445 | 7895 394 | 1 | 9 716.15/716.30 c 703s | 21 | 1491778 | 1423345 | 7895 394 | 1 | 9 718.16/718.32 c 705s | 21 | 1495317 | 1426845 | 7895 395 | 1 | 9 720.15/720.37 c 707s | 21 | 1498788 | 1430245 | 7895 396 | 1 | 9 722.15/722.38 c 709s | 21 | 1502218 | 1433645 | 7895 397 | 1 | 9 724.15/724.39 c 711s | 21 | 1505692 | 1437045 | 7895 397 | 1 | 9 726.24/726.40 c 713s | 21 | 1510059 | 1441345 | 7895 398 | 1 | 9 728.44/728.63 c 715s | 21 | 1512594 | 1443745 | 7895 399 | 1 | 9 730.45/730.66 c 717s | 21 | 1514792 | 1445645 | 7895 399 | 1 | 9 732.46/732.69 c 719s | 21 | 1517918 | 1448745 | 7895 400 | 1 | 9 734.55/734.70 c 721s | 21 | 1520326 | 1451145 | 7895 401 | 1 | 9 736.55/736.74 c 723s | 21 | 1523693 | 1454445 | 8685 401 | 1 | 9 738.55/738.78 c 725s | 21 | 1527665 | 1458345 | 8685 402 | 1 | 9 740.65/740.82 c 727s | 21 | 1531316 | 1461945 | 8685 403 | 1 | 9 742.65/742.85 c 729s | 21 | 1534128 | 1464745 | 8685 403 | 1 | 9 744.65/744.86 c 731s | 21 | 1537070 | 1467645 | 8685 404 | 1 | 9 746.64/746.89 c 733s | 21 | 1541484 | 1471845 | 8685 405 | 1 | 9 748.74/748.93 c 735s | 21 | 1544358 | 1474445 | 8685 405 | 1 | 9 750.84/751.03 c 738s | 21 | 1546387 | 1476445 | 8685 406 | 1 | 9 752.84/753.06 c 740s | 21 | 1549231 | 1479245 | 8685 406 | 1 | 9 754.84/755.09 c 742s | 21 | 1552664 | 1482645 | 8685 407 | 1 | 9 756.94/757.14 c 744s | 21 | 1555719 | 1485645 | 8685 408 | 1 | 9 758.94/759.20 c 746s | 21 | 1558656 | 1488545 | 8685 408 | 1 | 9 761.04/761.24 c 748s | 21 | 1562207 | 1492045 | 8685 409 | 1 | 9 763.04/763.25 c 750s | 21 | 1566593 | 1496345 | 8685 410 | 1 | 9 765.03/765.28 c 752s | 21 | 1567981 | 1497445 | 8685 410 | 1 | 9 767.13/767.31 c 754s | 21 | 1570549 | 1499945 | 8685 411 | 1 | 9 767.53/767.75 c 754s | 22 | 1571239 | 1500622 | 8685 411 | 1 | 9 769.53/769.79 c 756s | 22 | 1576738 | 1505722 | 8685 412 | 1 | 9 771.63/771.84 c 758s | 22 | 1581449 | 1510222 | 8685 413 | 1 | 9 773.63/773.86 c 760s | 22 | 1585144 | 1513722 | 8685 414 | 1 | 9 775.63/775.87 c 762s | 22 | 1588520 | 1516922 | 8685 415 | 1 | 9 777.73/777.90 c 764s | 22 | 1592537 | 1520722 | 8685 415 | 1 | 9 779.73/779.90 c 766s | 22 | 1596524 | 1524422 | 8685 416 | 1 | 9 781.73/781.92 c 768s | 22 | 1600187 | 1528022 | 8685 417 | 1 | 9 783.72/783.94 c 770s | 22 | 1603869 | 1531622 | 8685 418 | 1 | 9 785.72/785.97 c 772s | 22 | 1607865 | 1535422 | 8685 418 | 1 | 9 787.72/787.99 c 774s | 22 | 1611970 | 1539422 | 8685 419 | 1 | 9 789.82/790.01 c 777s | 22 | 1615820 | 1543122 | 8685 420 | 1 | 9 791.83/792.03 c 779s | 22 | 1620038 | 1547122 | 8685 421 | 1 | 9 793.82/794.07 c 781s | 22 | 1624052 | 1550722 | 8685 422 | 1 | 9 795.81/796.08 c 783s | 22 | 1627583 | 1553722 | 8685 422 | 1 | 9 797.91/798.12 c 785s | 22 | 1631510 | 1557322 | 8685 423 | 1 | 9 799.91/800.13 c 787s | 22 | 1635027 | 1560722 | 8685 424 | 1 | 9 801.91/802.17 c 789s | 22 | 1638580 | 1564122 | 8685 425 | 1 | 9 804.02/804.21 c 791s | 22 | 1641961 | 1567422 | 8685 425 | 1 | 9 806.00/806.26 c 793s | 22 | 1646451 | 1571822 | 8685 426 | 1 | 9 808.10/808.30 c 795s | 22 | 1650257 | 1575522 | 8685 427 | 1 | 9 810.10/810.38 c 797s | 22 | 1654129 | 1579222 | 8685 428 | 1 | 9 812.20/812.43 c 799s | 22 | 1657757 | 1582722 | 8685 429 | 1 | 9 814.21/814.44 c 801s | 22 | 1661493 | 1586322 | 8685 429 | 1 | 9 816.31/816.50 c 803s | 22 | 1665081 | 1589822 | 8685 430 | 1 | 9 818.31/818.54 c 805s | 22 | 1668489 | 1593022 | 8685 431 | 1 | 9 820.31/820.56 c 807s | 22 | 1672060 | 1596422 | 8685 432 | 1 | 9 822.41/822.60 c 809s | 22 | 1675725 | 1600022 | 8685 432 | 1 | 9 824.41/824.65 c 811s | 22 | 1679877 | 1604022 | 8685 433 | 1 | 9 826.50/826.71 c 813s | 22 | 1683063 | 1607122 | 8685 434 | 1 | 9 828.50/828.75 c 815s | 22 | 1686449 | 1610322 | 8685 435 | 1 | 9 830.50/830.79 c 817s | 22 | 1689840 | 1613622 | 8685 435 | 1 | 9 832.61/832.81 c 819s | 22 | 1693023 | 1616722 | 8685 436 | 1 | 9 834.60/834.84 c 821s | 22 | 1696532 | 1620122 | 8685 437 | 1 | 9 836.59/836.87 c 823s | 22 | 1700330 | 1623722 | 8685 438 | 1 | 9 838.59/838.88 c 825s | 22 | 1704473 | 1627722 | 8685 438 | 1 | 9 840.59/840.88 c 827s | 22 | 1707960 | 1631122 | 8685 439 | 1 | 9 842.69/842.91 c 829s | 22 | 1711628 | 1634722 | 8685 440 | 1 | 9 844.70/844.94 c 831s | 22 | 1715158 | 1638122 | 8685 441 | 1 | 9 846.68/846.96 c 833s | 22 | 1718889 | 1641722 | 8685 441 | 1 | 9 848.78/849.02 c 836s | 22 | 1722731 | 1645422 | 8685 442 | 1 | 9 850.78/851.05 c 838s | 22 | 1726557 | 1648922 | 8685 443 | 1 | 9 852.78/853.09 c 840s | 22 | 1729723 | 1651922 | 8685 444 | 1 | 9 854.88/855.11 c 842s | 22 | 1733404 | 1655522 | 8685 444 | 1 | 9 856.88/857.15 c 844s | 22 | 1737314 | 1659222 | 8685 445 | 1 | 9 858.89/859.18 c 846s | 22 | 1740948 | 1662722 | 8685 446 | 1 | 9 860.98/861.22 c 848s | 22 | 1744286 | 1665722 | 8685 447 | 1 | 9 862.98/863.25 c 850s | 22 | 1748135 | 1669522 | 8685 447 | 1 | 9 864.98/865.27 c 852s | 22 | 1751234 | 1672522 | 8685 448 | 1 | 9 867.07/867.33 c 854s | 22 | 1754623 | 1675822 | 8685 449 | 1 | 9 869.07/869.38 c 856s | 22 | 1757692 | 1678822 | 8685 449 | 1 | 9 871.17/871.43 c 858s | 22 | 1761008 | 1682022 | 8685 450 | 1 | 9 873.18/873.45 c 860s | 22 | 1764126 | 1685022 | 8685 451 | 1 | 9 875.17/875.49 c 862s | 22 | 1767599 | 1688322 | 8685 451 | 1 | 9 877.27/877.53 c 864s | 22 | 1771314 | 1691922 | 8685 452 | 1 | 9 879.27/879.55 c 866s | 22 | 1774697 | 1695222 | 8685 453 | 1 | 9 881.27/881.56 c 868s | 22 | 1777485 | 1697922 | 8685 453 | 1 | 9 883.36/883.62 c 870s | 22 | 1781377 | 1701722 | 8685 454 | 1 | 9 885.37/885.65 c 872s | 22 | 1784841 | 1705022 | 8685 455 | 1 | 9 887.36/887.68 c 874s | 22 | 1787851 | 1707922 | 8685 456 | 1 | 9 889.46/889.74 c 876s | 22 | 1790936 | 1710822 | 8685 456 | 1 | 9 891.46/891.79 c 878s | 22 | 1794217 | 1714022 | 8685 457 | 1 | 9 893.56/893.85 c 880s | 22 | 1797751 | 1717322 | 8685 458 | 1 | 9 895.66/895.90 c 882s | 22 | 1800922 | 1720422 | 8685 458 | 1 | 9 897.66/897.91 c 884s | 22 | 1803932 | 1723122 | 8685 459 | 1 | 9 899.66/899.93 c 886s | 22 | 1806874 | 1725822 | 8685 460 | 1 | 9 901.65/901.97 c 888s | 22 | 1810375 | 1729122 | 8685 460 | 1 | 9 903.85/904.11 c 891s | 22 | 1814342 | 1732822 | 8685 461 | 1 | 9 905.85/906.18 c 893s | 22 | 1817860 | 1735622 | 8685 462 | 1 | 9 907.95/908.23 c 895s | 22 | 1822991 | 1739722 | 8685 462 | 1 | 9 909.95/910.23 c 897s | 22 | 1826789 | 1743422 | 8685 463 | 1 | 9 911.95/912.28 c 899s | 22 | 1830767 | 1747322 | 8685 464 | 1 | 9 914.05/914.31 c 901s | 22 | 1834557 | 1751022 | 8685 465 | 1 | 9 916.04/916.33 c 903s | 22 | 1838122 | 1754522 | 8685 466 | 1 | 9 918.04/918.35 c 905s | 22 | 1841161 | 1757522 | 8685 466 | 1 | 9 920.04/920.39 c 907s | 22 | 1843440 | 1759722 | 8685 467 | 1 | 9 922.14/922.44 c 909s | 22 | 1846298 | 1762522 | 8685 467 | 1 | 9 924.14/924.47 c 911s | 22 | 1848946 | 1765122 | 8685 468 | 1 | 9 926.23/926.54 c 913s | 22 | 1851689 | 1767722 | 8685 468 | 1 | 9 928.24/928.54 c 915s | 22 | 1854064 | 1770022 | 8685 469 | 1 | 9 930.23/930.58 c 917s | 22 | 1856469 | 1772322 | 8685 469 | 1 | 9 932.23/932.59 c 919s | 22 | 1859996 | 1775722 | 8685 470 | 1 | 9 934.33/934.60 c 921s | 22 | 1862545 | 1778122 | 8685 471 | 1 | 9 936.32/936.62 c 923s | 22 | 1865482 | 1780922 | 8685 471 | 1 | 9 938.42/938.76 c 925s | 22 | 1868451 | 1783822 | 8685 472 | 1 | 9 940.53/940.81 c 927s | 22 | 1871012 | 1786322 | 8685 472 | 1 | 9 942.54/942.87 c 929s | 22 | 1873478 | 1788722 | 8685 473 | 1 | 9 944.64/944.92 c 931s | 22 | 1875942 | 1791122 | 8685 473 | 1 | 9 946.63/946.93 c 933s | 22 | 1878718 | 1793822 | 8685 474 | 1 | 9 948.73/949.08 c 936s | 22 | 1881467 | 1796522 | 8685 475 | 1 | 9 950.73/951.08 c 938s | 22 | 1884888 | 1799722 | 8685 475 | 1 | 9 952.83/953.11 c 940s | 22 | 1888911 | 1803522 | 8685 476 | 1 | 9 954.82/955.16 c 942s | 22 | 1892537 | 1807022 | 8685 477 | 1 | 9 956.92/957.26 c 944s | 22 | 1895935 | 1810322 | 8685 478 | 1 | 9 958.93/959.28 c 946s | 22 | 1898629 | 1812822 | 8685 478 | 1 | 9 961.02/961.34 c 948s | 22 | 1900592 | 1814722 | 8685 479 | 1 | 9 963.02/963.35 c 950s | 22 | 1904124 | 1818122 | 8685 479 | 1 | 9 965.22/965.59 c 952s | 22 | 1907398 | 1821122 | 8685 480 | 1 | 9 967.32/967.61 c 954s | 22 | 1909880 | 1823522 | 8685 480 | 1 | 9 969.42/969.71 c 956s | 22 | 1912194 | 1825722 | 8685 481 | 1 | 9 971.42/971.74 c 958s | 22 | 1915013 | 1828422 | 8685 481 | 1 | 9 973.41/973.77 c 960s | 22 | 1917987 | 1831322 | 8685 482 | 1 | 9 975.42/975.78 c 962s | 22 | 1921619 | 1834822 | 8685 483 | 1 | 9 977.41/977.79 c 964s | 22 | 1924943 | 1838022 | 8685 484 | 1 | 9 979.51/979.81 c 966s | 22 | 1928608 | 1841522 | 8685 484 | 1 | 9 981.51/981.82 c 968s | 22 | 1931188 | 1844022 | 8685 485 | 1 | 9 983.51/983.85 c 970s | 22 | 1934416 | 1847022 | 8685 485 | 1 | 9 985.61/985.91 c 972s | 22 | 1938006 | 1850522 | 8685 486 | 1 | 9 987.61/987.94 c 974s | 22 | 1941369 | 1853722 | 8685 487 | 1 | 9 989.60/989.95 c 976s | 22 | 1945193 | 1857322 | 8685 488 | 1 | 9 991.60/991.97 c 978s | 22 | 1949011 | 1860922 | 8685 488 | 1 | 9 993.60/993.98 c 980s | 22 | 1952498 | 1864122 | 8685 489 | 1 | 9 995.70/996.03 c 983s | 22 | 1955953 | 1867322 | 8685 490 | 1 | 9 997.80/998.10 c 985s | 22 | 1959237 | 1870522 | 8685 490 | 1 | 9 999.80/1000.14 c 987s | 22 | 1962952 | 1874122 | 8685 491 | 1 | 9 1001.81/1002.16 c 989s | 22 | 1966986 | 1878022 | 8685 492 | 1 | 9 1003.80/1004.19 c 991s | 22 | 1971096 | 1882022 | 8685 493 | 1 | 9 1005.89/1006.21 c 993s | 22 | 1974520 | 1885322 | 8685 494 | 1 | 9 1007.89/1008.28 c 995s | 22 | 1978364 | 1888922 | 8685 494 | 1 | 9 1009.99/1010.32 c 997s | 22 | 1981687 | 1892022 | 8685 495 | 1 | 9 1011.99/1012.34 c 999s | 22 | 1984579 | 1894822 | 8685 496 | 1 | 9 1014.00/1014.35 c 1001s | 22 | 1987792 | 1897922 | 8685 496 | 1 | 9 1015.99/1016.39 c 1003s | 22 | 1991260 | 1901222 | 8685 497 | 1 | 9 1018.09/1018.40 c 1005s | 22 | 1994605 | 1904322 | 8685 498 | 1 | 9 1020.09/1020.43 c 1007s | 22 | 1997394 | 1907022 | 8685 498 | 1 | 9 1022.09/1022.46 c 1009s | 22 | 2000717 | 1910222 | 8685 499 | 1 | 9 1024.09/1024.46 c 1011s | 22 | 2004326 | 1913722 | 8685 500 | 1 | 9 1026.09/1026.47 c 1013s | 22 | 2007504 | 1916822 | 8685 500 | 1 | 9 1028.20/1028.59 c 1015s | 22 | 2010640 | 1919822 | 8685 501 | 1 | 9 1030.29/1030.65 c 1017s | 22 | 2013689 | 1922722 | 8685 502 | 1 | 9 1032.29/1032.67 c 1019s | 22 | 2017539 | 1926322 | 8685 502 | 1 | 9 1034.29/1034.68 c 1021s | 22 | 2022466 | 1931122 | 8685 503 | 1 | 9 1036.38/1036.77 c 1023s | 22 | 2026308 | 1934822 | 8685 504 | 1 | 9 1038.38/1038.79 c 1025s | 22 | 2030389 | 1938722 | 8685 505 | 1 | 9 1040.48/1040.80 c 1027s | 22 | 2034548 | 1942822 | 8685 506 | 1 | 9 1042.49/1042.85 c 1029s | 22 | 2038120 | 1946322 | 8685 507 | 1 | 9 1044.48/1044.89 c 1031s | 22 | 2042028 | 1950122 | 8685 507 | 1 | 9 1046.58/1046.90 c 1033s | 22 | 2045378 | 1953422 | 8685 508 | 1 | 9 1048.58/1048.93 c 1035s | 22 | 2048852 | 1956822 | 8685 509 | 1 | 9 1050.68/1051.02 c 1038s | 22 | 2051312 | 1959222 | 8685 509 | 1 | 9 1052.68/1053.05 c 1040s | 22 | 2054532 | 1962322 | 8685 510 | 1 | 9 1054.68/1055.09 c 1042s | 22 | 2057811 | 1965522 | 8685 511 | 1 | 9 1056.78/1057.11 c 1044s | 22 | 2060841 | 1968522 | 8685 511 | 1 | 9 1058.77/1059.12 c 1046s | 22 | 2064363 | 1972022 | 8685 512 | 1 | 9 1060.77/1061.12 c 1048s | 22 | 2066797 | 1974422 | 8685 513 | 1 | 9 1062.77/1063.12 c 1050s | 22 | 2069151 | 1976722 | 8685 513 | 1 | 9 1064.77/1065.13 c 1052s | 22 | 2072658 | 1980122 | 8685 514 | 1 | 9 1066.77/1067.17 c 1054s | 22 | 2076275 | 1983622 | 8685 515 | 1 | 9 1068.77/1069.20 c 1056s | 22 | 2079072 | 1986322 | 8685 515 | 1 | 9 1070.87/1071.26 c 1058s | 22 | 2081528 | 1988722 | 8685 516 | 1 | 9 1072.86/1073.28 c 1060s | 22 | 2084576 | 1991722 | 8685 516 | 1 | 9 1074.96/1075.35 c 1062s | 22 | 2087210 | 1994322 | 8685 517 | 1 | 9 1076.96/1077.36 c 1064s | 22 | 2089640 | 1996722 | 8685 517 | 1 | 9 1078.97/1079.39 c 1066s | 22 | 2091977 | 1999022 | 8685 518 | 1 | 9 1081.07/1081.47 c 1068s | 22 | 2094123 | 2001122 | 8685 518 | 1 | 9 1083.07/1083.49 c 1070s | 22 | 2097494 | 2004322 | 8685 519 | 1 | 9 1085.17/1085.53 c 1072s | 22 | 2100781 | 2007522 | 8685 520 | 1 | 9 1087.16/1087.57 c 1074s | 22 | 2103754 | 2010422 | 8685 520 | 1 | 9 1089.26/1089.65 c 1076s | 22 | 2106822 | 2013422 | 8685 521 | 1 | 9 1091.36/1091.76 c 1078s | 22 | 2108944 | 2015522 | 8685 522 | 1 | 9 1093.36/1093.76 c 1080s | 22 | 2111681 | 2018222 | 8685 522 | 1 | 9 1095.36/1095.77 c 1082s | 22 | 2115261 | 2021622 | 8685 523 | 1 | 9 1097.46/1097.80 c 1084s | 22 | 2118709 | 2024822 | 8685 523 | 1 | 9 1099.45/1099.83 c 1086s | 22 | 2121824 | 2027722 | 8685 524 | 1 | 9 1101.45/1101.84 c 1088s | 22 | 2124864 | 2030622 | 8685 525 | 1 | 9 1103.55/1103.94 c 1090s | 22 | 2127949 | 2033622 | 8685 525 | 1 | 9 1105.55/1105.99 c 1092s | 22 | 2131149 | 2036722 | 8685 526 | 1 | 9 1107.65/1108.05 c 1095s | 22 | 2134241 | 2039722 | 8685 527 | 1 | 9 1109.65/1110.05 c 1097s | 22 | 2136599 | 2042022 | 8685 527 | 1 | 9 1111.65/1112.08 c 1099s | 22 | 2139750 | 2044922 | 8685 528 | 1 | 9 1113.74/1114.12 c 1101s | 22 | 2142854 | 2047922 | 8685 528 | 1 | 9 1115.84/1116.20 c 1103s | 22 | 2145538 | 2050422 | 8685 529 | 1 | 9 1117.84/1118.23 c 1105s | 22 | 2149074 | 2053922 | 8685 530 | 1 | 9 1119.84/1120.24 c 1107s | 22 | 2151630 | 2056422 | 8685 530 | 1 | 9 1121.84/1122.27 c 1109s | 22 | 2154781 | 2059522 | 8685 531 | 1 | 9 1123.94/1124.32 c 1111s | 22 | 2158072 | 2062722 | 8685 532 | 1 | 9 1125.93/1126.35 c 1113s | 22 | 2160653 | 2065222 | 8685 532 | 1 | 9 1127.93/1128.35 c 1115s | 22 | 2162599 | 2067022 | 8685 533 | 1 | 9 1130.03/1130.40 c 1117s | 22 | 2166148 | 2070422 | 8685 533 | 1 | 9 1132.03/1132.41 c 1119s | 22 | 2169713 | 2073822 | 8685 534 | 1 | 9 1134.03/1134.41 c 1121s | 22 | 2173058 | 2077022 | 8685 535 | 1 | 9 1136.04/1136.43 c 1123s | 22 | 2176636 | 2080522 | 8685 535 | 1 | 9 1138.04/1138.45 c 1125s | 22 | 2180290 | 2084122 | 8685 536 | 1 | 9 1140.04/1140.46 c 1127s | 22 | 2182845 | 2086622 | 8685 537 | 1 | 9 1142.14/1142.51 c 1129s | 22 | 2184856 | 2088522 | 8685 537 | 1 | 9 1144.13/1144.54 c 1131s | 22 | 2187576 | 2091122 | 8685 538 | 1 | 9 1146.13/1146.57 c 1133s | 22 | 2191525 | 2094822 | 8685 538 | 1 | 9 1148.23/1148.63 c 1135s | 22 | 2194608 | 2097822 | 8685 539 | 1 | 9 1150.24/1150.63 c 1137s | 22 | 2197602 | 2100722 | 8685 540 | 1 | 9 1152.23/1152.67 c 1139s | 22 | 2200165 | 2103122 | 8685 540 | 1 | 9 1154.23/1154.68 c 1141s | 22 | 2203414 | 2106222 | 8685 541 | 1 | 9 1156.32/1156.71 c 1143s | 22 | 2207221 | 2109922 | 8685 542 | 1 | 9 1158.32/1158.74 c 1145s | 22 | 2210425 | 2113022 | 8685 542 | 1 | 9 1160.32/1160.75 c 1147s | 22 | 2212790 | 2115322 | 8685 543 | 1 | 9 1162.43/1162.81 c 1149s | 22 | 2216457 | 2118922 | 8685 544 | 1 | 9 1164.42/1164.87 c 1151s | 22 | 2220346 | 2122722 | 8685 544 | 1 | 9 1166.42/1166.87 c 1153s | 22 | 2223729 | 2126022 | 8685 545 | 1 | 9 1168.52/1168.94 c 1155s | 22 | 2226821 | 2129022 | 8685 546 | 1 | 9 1170.52/1170.98 c 1157s | 22 | 2230309 | 2132422 | 8685 547 | 1 | 9 1172.62/1173.00 c 1159s | 22 | 2233991 | 2136022 | 8685 547 | 1 | 9 1174.62/1175.02 c 1162s | 22 | 2237218 | 2139122 | 8685 548 | 1 | 9 1176.62/1177.02 c 1164s | 22 | 2239783 | 2141522 | 8685 549 | 1 | 9 1178.71/1179.10 c 1166s | 22 | 2242244 | 2143922 | 8685 549 | 1 | 9 1180.81/1181.20 c 1168s | 22 | 2244904 | 2146522 | 8685 550 | 1 | 9 1182.81/1183.25 c 1170s | 22 | 2248374 | 2149922 | 8685 550 | 1 | 9 1184.81/1185.28 c 1172s | 22 | 2251892 | 2153322 | 8685 551 | 1 | 9 1186.90/1187.32 c 1174s | 22 | 2255589 | 2156922 | 8685 552 | 1 | 9 1188.90/1189.37 c 1176s | 22 | 2258672 | 2159922 | 8685 552 | 1 | 9 1190.91/1191.38 c 1178s | 22 | 2262093 | 2163222 | 8685 553 | 1 | 9 1192.90/1193.39 c 1180s | 22 | 2265272 | 2166222 | 8685 554 | 1 | 9 1195.00/1195.41 c 1182s | 22 | 2268153 | 2169022 | 8685 554 | 1 | 9 1197.00/1197.46 c 1184s | 22 | 2271045 | 2171822 | 8685 555 | 1 | 9 1199.00/1199.47 c 1186s | 22 | 2273485 | 2174222 | 8685 556 | 1 | 9 1201.10/1201.51 c 1188s | 22 | 2276718 | 2177322 | 8685 556 | 1 | 9 1203.10/1203.54 c 1190s | 22 | 2279510 | 2180022 | 8685 557 | 1 | 9 1205.09/1205.57 c 1192s | 22 | 2282709 | 2183122 | 8685 557 | 1 | 9 1207.19/1207.63 c 1194s | 22 | 2286325 | 2186622 | 8685 558 | 1 | 9 1209.19/1209.65 c 1196s | 22 | 2290132 | 2190222 | 8685 559 | 1 | 9 1211.19/1211.70 c 1198s | 22 | 2292786 | 2192822 | 8685 560 | 1 | 9 1213.28/1213.71 c 1200s | 22 | 2296551 | 2196422 | 8685 560 | 1 | 9 1215.28/1215.78 c 1202s | 22 | 2300231 | 2199922 | 9554 561 | 1 | 9 1217.29/1217.79 c 1204s | 22 | 2302911 | 2202522 | 9554 561 | 1 | 9 1219.28/1219.79 c 1206s | 22 | 2306481 | 2206022 | 9554 562 | 1 | 9 1221.38/1221.83 c 1208s | 22 | 2309753 | 2209222 | 9554 563 | 1 | 9 1223.38/1223.86 c 1210s | 22 | 2313339 | 2212722 | 9554 563 | 1 | 9 1225.48/1225.90 c 1212s | 22 | 2316723 | 2216022 | 9554 564 | 1 | 9 1227.48/1227.90 c 1214s | 22 | 2319980 | 2219222 | 9554 565 | 1 | 9 1229.48/1229.95 c 1216s | 22 | 2322655 | 2221722 | 9554 565 | 1 | 9 1231.47/1231.99 c 1218s | 22 | 2325939 | 2224922 | 9554 566 | 1 | 9 1233.57/1234.04 c 1221s | 22 | 2328999 | 2227822 | 9554 566 | 1 | 9 1235.58/1236.04 c 1223s | 22 | 2331278 | 2230022 | 9554 567 | 1 | 9 1237.58/1238.08 c 1225s | 22 | 2334906 | 2233522 | 9554 567 | 1 | 9 1239.68/1240.10 c 1227s | 22 | 2338254 | 2236822 | 9554 568 | 1 | 9 1241.68/1242.11 c 1229s | 22 | 2341335 | 2239722 | 9554 569 | 1 | 9 1243.68/1244.12 c 1231s | 22 | 2344430 | 2242722 | 9554 569 | 1 | 9 1245.67/1246.16 c 1233s | 22 | 2348311 | 2246522 | 9554 570 | 1 | 9 1247.77/1248.23 c 1235s | 22 | 2351717 | 2249822 | 9554 571 | 1 | 9 1248.67/1249.19 c 1236s | 23 | 2353024 | 2251038 | 9554 571 | 1 | 9 1250.77/1251.21 c 1238s | 23 | 2358612 | 2256338 | 9554 572 | 1 | 9 1252.77/1253.21 c 1240s | 23 | 2362930 | 2260538 | 9554 573 | 1 | 9 1254.77/1255.23 c 1242s | 23 | 2367534 | 2264838 | 9554 574 | 1 | 9 1256.76/1257.26 c 1244s | 23 | 2371607 | 2268838 | 9554 574 | 1 | 9 1258.76/1259.27 c 1246s | 23 | 2376039 | 2273138 | 9554 575 | 1 | 9 1260.86/1261.31 c 1248s | 23 | 2380110 | 2277138 | 9554 576 | 1 | 9 1262.86/1263.33 c 1250s | 23 | 2384094 | 2281038 | 9554 577 | 1 | 9 1264.86/1265.36 c 1252s | 23 | 2387899 | 2284738 | 9554 578 | 1 | 9 1266.86/1267.38 c 1254s | 23 | 2391624 | 2288338 | 9554 578 | 1 | 9 1268.85/1269.38 c 1256s | 23 | 2395785 | 2292338 | 9554 579 | 1 | 9 1270.95/1271.40 c 1258s | 23 | 2400523 | 2296938 | 9554 580 | 1 | 9 1272.95/1273.42 c 1260s | 23 | 2404811 | 2301138 | 9554 581 | 1 | 9 1274.96/1275.45 c 1262s | 23 | 2408876 | 2305038 | 9554 582 | 1 | 9 1277.06/1277.52 c 1264s | 23 | 2413350 | 2309338 | 9554 582 | 1 | 9 1279.06/1279.56 c 1266s | 23 | 2417267 | 2313138 | 9554 583 | 1 | 9 1281.06/1281.58 c 1268s | 23 | 2420889 | 2316638 | 9554 584 | 1 | 9 1283.16/1283.60 c 1270s | 23 | 2424694 | 2320238 | 9554 585 | 1 | 9 1285.15/1285.62 c 1272s | 23 | 2429247 | 2324638 | 9554 585 | 1 | 9 1287.15/1287.62 c 1274s | 23 | 2433902 | 2329238 | 9554 586 | 1 | 9 1289.15/1289.65 c 1276s | 23 | 2438407 | 2333638 | 9554 587 | 1 | 9 1291.15/1291.66 c 1278s | 23 | 2442791 | 2337938 | 9554 588 | 1 | 9 1293.16/1293.70 c 1280s | 23 | 2447060 | 2342038 | 9554 589 | 1 | 9 1295.25/1295.73 c 1282s | 23 | 2451145 | 2345938 | 9554 590 | 1 | 9 1297.25/1297.78 c 1284s | 23 | 2454991 | 2349638 | 9554 590 | 1 | 9 1299.25/1299.79 c 1286s | 23 | 2459499 | 2353938 | 9554 591 | 1 | 9 1301.35/1301.83 c 1288s | 23 | 2465445 | 2359738 | 9554 592 | 1 | 9 1303.35/1303.83 c 1290s | 23 | 2470235 | 2364438 | 9554 593 | 1 | 9 1305.35/1305.86 c 1292s | 23 | 2474676 | 2368738 | 9554 594 | 1 | 9 1307.35/1307.89 c 1294s | 23 | 2479656 | 2373538 | 9554 595 | 1 | 9 1309.45/1309.93 c 1296s | 23 | 2484843 | 2378438 | 9554 596 | 1 | 9 1311.44/1311.96 c 1298s | 23 | 2488991 | 2382338 | 9554 597 | 1 | 9 1313.54/1314.00 c 1300s | 23 | 2493020 | 2386138 | 9554 598 | 1 | 9 1315.54/1316.05 c 1303s | 23 | 2497134 | 2389938 | 9554 598 | 1 | 9 1317.54/1318.06 c 1305s | 23 | 2500665 | 2393338 | 9554 599 | 1 | 9 1319.55/1320.08 c 1307s | 23 | 2503890 | 2396438 | 9554 600 | 1 | 9 1321.54/1322.09 c 1309s | 23 | 2508046 | 2400438 | 9554 600 | 1 | 9 1323.64/1324.15 c 1311s | 23 | 2511846 | 2404138 | 9554 601 | 1 | 9 1325.64/1326.16 c 1313s | 23 | 2516601 | 2408638 | 9554 602 | 1 | 9 1327.64/1328.17 c 1315s | 23 | 2521181 | 2413038 | 9554 603 | 1 | 9 1329.64/1330.18 c 1317s | 23 | 2524925 | 2416538 | 9554 603 | 1 | 9 1331.64/1332.18 c 1319s | 23 | 2528782 | 2420138 | 9554 604 | 1 | 9 1333.74/1334.21 c 1321s | 23 | 2533838 | 2424938 | 9554 605 | 1 | 9 1335.74/1336.26 c 1323s | 23 | 2537735 | 2428638 | 9554 606 | 1 | 9 1337.74/1338.29 c 1325s | 23 | 2541244 | 2431938 | 9554 607 | 1 | 9 1339.84/1340.31 c 1327s | 23 | 2545580 | 2436038 | 9554 607 | 1 | 9 1341.84/1342.35 c 1329s | 23 | 2549565 | 2439638 | 9554 608 | 1 | 9 1343.94/1344.41 c 1331s | 23 | 2552837 | 2442638 | 9554 609 | 1 | 9 1345.95/1346.45 c 1333s | 23 | 2557436 | 2447038 | 9554 610 | 1 | 9 1347.94/1348.47 c 1335s | 23 | 2561992 | 2451338 | 9554 610 | 1 | 9 1349.94/1350.48 c 1337s | 23 | 2565780 | 2454738 | 9554 611 | 1 | 9 1352.04/1352.52 c 1339s | 23 | 2570153 | 2458838 | 9554 612 | 1 | 9 1354.04/1354.55 c 1341s | 23 | 2573987 | 2462438 | 9554 613 | 1 | 9 1356.14/1356.61 c 1343s | 23 | 2578607 | 2466838 | 9554 613 | 1 | 9 1358.15/1358.62 c 1345s | 23 | 2582748 | 2470838 | 9554 614 | 1 | 9 1360.14/1360.67 c 1347s | 23 | 2586912 | 2474738 | 9554 615 | 1 | 9 1362.14/1362.68 c 1349s | 23 | 2590840 | 2478438 | 9554 616 | 1 | 9 1364.24/1364.70 c 1351s | 23 | 2595121 | 2482438 | 9554 616 | 1 | 9 1366.24/1366.71 c 1353s | 23 | 2599190 | 2486138 | 9554 617 | 1 | 9 1368.24/1368.77 c 1355s | 23 | 2602864 | 2489638 | 9554 618 | 1 | 9 1370.33/1370.80 c 1357s | 23 | 2606826 | 2493138 | 9554 619 | 1 | 9 1372.34/1372.81 c 1359s | 23 | 2610577 | 2496638 | 9554 619 | 1 | 9 1374.33/1374.85 c 1361s | 23 | 2615268 | 2500938 | 9554 620 | 1 | 9 1376.33/1376.87 c 1363s | 23 | 2618774 | 2504238 | 9554 621 | 1 | 9 1378.33/1378.89 c 1365s | 23 | 2623340 | 2508638 | 9554 622 | 1 | 9 1380.43/1380.90 c 1367s | 23 | 2627746 | 2512838 | 9554 622 | 1 | 9 1382.43/1382.95 c 1369s | 23 | 2631854 | 2516838 | 9554 623 | 1 | 9 1384.44/1384.97 c 1371s | 23 | 2636250 | 2521038 | 9554 624 | 1 | 9 1386.53/1387.01 c 1374s | 23 | 2639885 | 2524538 | 9554 625 | 1 | 9 1388.53/1389.03 c 1376s | 23 | 2644203 | 2528638 | 9554 626 | 1 | 9 1390.53/1391.08 c 1378s | 23 | 2648388 | 2532638 | 9554 626 | 1 | 9 1392.63/1393.12 c 1380s | 23 | 2652940 | 2536938 | 9554 627 | 1 | 9 1394.63/1395.17 c 1382s | 23 | 2657528 | 2541338 | 9554 628 | 1 | 9 1396.63/1397.19 c 1384s | 23 | 2661655 | 2545238 | 9554 629 | 1 | 9 1398.73/1399.23 c 1386s | 23 | 2665645 | 2549038 | 9554 630 | 1 | 9 1400.73/1401.24 c 1388s | 23 | 2670230 | 2553438 | 9554 630 | 1 | 9 1402.73/1403.25 c 1390s | 23 | 2674720 | 2557738 | 9554 631 | 1 | 9 1404.73/1405.28 c 1392s | 23 | 2679181 | 2561738 | 9554 632 | 1 | 9 1406.83/1407.31 c 1394s | 23 | 2683181 | 2565438 | 9554 633 | 1 | 9 1408.83/1409.35 c 1396s | 23 | 2687497 | 2569438 | 9554 634 | 1 | 9 1410.83/1411.39 c 1398s | 23 | 2691810 | 2573338 | 9554 634 | 1 | 9 1412.93/1413.41 c 1400s | 23 | 2695824 | 2577038 | 9554 635 | 1 | 9 1414.92/1415.44 c 1402s | 23 | 2699578 | 2580538 | 9554 636 | 1 | 9 1417.02/1417.50 c 1404s | 23 | 2703819 | 2584538 | 9554 637 | 1 | 9 1419.02/1419.53 c 1406s | 23 | 2708644 | 2589138 | 9554 637 | 1 | 9 1421.02/1421.53 c 1408s | 23 | 2713627 | 2593938 | 9554 638 | 1 | 9 1423.03/1423.55 c 1410s | 23 | 2717968 | 2598038 | 9554 639 | 1 | 9 1425.13/1425.60 c 1412s | 23 | 2722087 | 2602038 | 9554 640 | 1 | 9 1427.12/1427.64 c 1414s | 23 | 2726020 | 2605838 | 9554 641 | 1 | 9 1429.13/1429.66 c 1416s | 23 | 2729815 | 2609438 | 9554 641 | 1 | 9 1431.13/1431.69 c 1418s | 23 | 2733997 | 2613438 | 9554 642 | 1 | 9 1433.23/1433.72 c 1420s | 23 | 2737752 | 2616938 | 9554 643 | 1 | 9 1435.23/1435.72 c 1422s | 23 | 2741947 | 2620838 | 9554 644 | 1 | 9 1437.24/1437.77 c 1424s | 23 | 2745998 | 2624638 | 9554 644 | 1 | 9 1439.23/1439.77 c 1426s | 23 | 2749636 | 2628038 | 9554 645 | 1 | 9 1441.23/1441.78 c 1428s | 23 | 2753497 | 2631738 | 9554 646 | 1 | 9 1443.23/1443.78 c 1430s | 23 | 2757050 | 2635138 | 9554 647 | 1 | 9 1445.33/1445.80 c 1432s | 23 | 2761358 | 2639338 | 9554 647 | 1 | 9 1447.33/1447.81 c 1434s | 23 | 2765274 | 2643138 | 9554 648 | 1 | 9 1449.33/1449.84 c 1436s | 23 | 2768804 | 2646538 | 9554 649 | 1 | 9 1451.32/1451.85 c 1438s | 23 | 2773059 | 2650638 | 9554 650 | 1 | 9 1453.32/1453.89 c 1440s | 23 | 2777289 | 2654738 | 9554 650 | 1 | 9 1455.42/1455.93 c 1442s | 23 | 2781039 | 2658338 | 9554 651 | 1 | 9 1457.42/1457.94 c 1444s | 23 | 2784733 | 2661838 | 9554 652 | 1 | 9 1459.52/1460.04 c 1447s | 23 | 2788740 | 2665738 | 9554 653 | 1 | 9 1461.53/1462.07 c 1449s | 23 | 2793195 | 2670038 | 9554 653 | 1 | 9 1463.52/1464.07 c 1451s | 23 | 2797455 | 2674138 | 9554 654 | 1 | 9 1465.52/1466.08 c 1453s | 23 | 2801344 | 2677938 | 9554 655 | 1 | 9 1467.62/1468.12 c 1455s | 23 | 2805573 | 2682038 | 9554 656 | 1 | 9 1469.62/1470.16 c 1457s | 23 | 2809823 | 2686038 | 9554 657 | 1 | 9 1471.62/1472.19 c 1459s | 23 | 2813935 | 2689938 | 9554 657 | 1 | 9 1473.72/1474.21 c 1461s | 23 | 2817644 | 2693538 | 9554 658 | 1 | 9 1475.73/1476.22 c 1463s | 23 | 2821240 | 2697038 | 9554 659 | 1 | 9 1477.72/1478.23 c 1465s | 23 | 2824981 | 2700638 | 9554 659 | 1 | 9 1479.72/1480.26 c 1467s | 23 | 2829563 | 2705038 | 9554 660 | 1 | 9 1481.72/1482.27 c 1469s | 23 | 2833798 | 2709138 | 9554 661 | 1 | 9 1483.72/1484.28 c 1471s | 23 | 2837771 | 2712938 | 9554 662 | 1 | 9 1485.72/1486.29 c 1473s | 23 | 2841581 | 2716638 | 9554 663 | 1 | 9 1487.82/1488.30 c 1475s | 23 | 2846233 | 2721138 | 9554 663 | 1 | 9 1489.82/1490.32 c 1477s | 23 | 2851108 | 2725838 | 9554 664 | 1 | 9 1491.82/1492.32 c 1479s | 23 | 2855287 | 2729838 | 9554 665 | 1 | 9 1493.82/1494.37 c 1481s | 23 | 2859463 | 2733938 | 9554 666 | 1 | 9 1495.91/1496.40 c 1483s | 23 | 2863324 | 2737638 | 9554 667 | 1 | 9 1497.91/1498.48 c 1485s | 23 | 2867694 | 2741738 | 9554 668 | 1 | 9 1499.92/1500.48 c 1487s | 23 | 2872435 | 2746038 | 9554 668 | 1 | 9 1501.91/1502.49 c 1489s | 23 | 2876538 | 2749938 | 9554 669 | 1 | 9 1504.01/1504.50 c 1491s | 23 | 2880594 | 2753738 | 9554 670 | 1 | 9 1506.01/1506.54 c 1493s | 23 | 2884780 | 2757738 | 9554 671 | 1 | 9 1508.01/1508.56 c 1495s | 23 | 2889310 | 2761838 | 9554 671 | 1 | 9 1510.11/1510.60 c 1497s | 23 | 2893659 | 2765938 | 9554 672 | 1 | 9 1512.12/1512.61 c 1499s | 23 | 2897866 | 2769938 | 9554 673 | 1 | 9 1514.12/1514.63 c 1501s | 23 | 2901605 | 2773538 | 9554 674 | 1 | 9 1516.12/1516.64 c 1503s | 23 | 2905415 | 2777238 | 9554 674 | 1 | 9 1518.12/1518.69 c 1505s | 23 | 2909549 | 2781238 | 9554 675 | 1 | 9 1520.22/1520.74 c 1507s | 23 | 2913994 | 2785538 | 9554 676 | 1 | 9 1522.22/1522.77 c 1509s | 23 | 2918647 | 2789838 | 9554 677 | 1 | 9 1524.22/1524.80 c 1511s | 23 | 2922988 | 2794038 | 9554 678 | 1 | 9 1526.32/1526.83 c 1513s | 23 | 2927441 | 2798338 | 9554 679 | 1 | 9 1528.32/1528.83 c 1515s | 23 | 2931794 | 2802538 | 9554 679 | 1 | 9 1530.32/1530.83 c 1517s | 23 | 2936111 | 2806738 | 9554 680 | 1 | 9 1532.32/1532.85 c 1519s | 23 | 2940083 | 2810538 | 9554 681 | 1 | 9 1534.32/1534.87 c 1521s | 23 | 2944303 | 2814538 | 9554 682 | 1 | 9 1536.42/1536.90 c 1523s | 23 | 2948365 | 2818238 | 9554 683 | 1 | 9 1538.42/1538.93 c 1525s | 23 | 2952906 | 2822538 | 9554 683 | 1 | 9 1540.41/1540.98 c 1527s | 23 | 2957386 | 2826738 | 9554 684 | 1 | 9 1542.51/1543.00 c 1529s | 23 | 2961646 | 2830638 | 9554 685 | 1 | 9 1544.51/1545.02 c 1532s | 23 | 2965757 | 2834638 | 9554 686 | 1 | 9 1546.61/1547.11 c 1534s | 23 | 2969594 | 2838338 | 9554 687 | 1 | 9 1548.61/1549.15 c 1536s | 23 | 2974109 | 2842438 | 9554 687 | 1 | 9 1550.62/1551.18 c 1538s | 23 | 2978004 | 2846238 | 9554 688 | 1 | 9 1552.61/1553.19 c 1540s | 23 | 2981742 | 2849838 | 9554 689 | 1 | 9 1554.71/1555.20 c 1542s | 23 | 2985494 | 2853438 | 9554 689 | 1 | 9 1556.71/1557.22 c 1544s | 23 | 2989545 | 2857338 | 9554 690 | 1 | 9 1558.71/1559.25 c 1546s | 23 | 2993342 | 2860938 | 9554 691 | 1 | 9 1560.71/1561.28 c 1548s | 23 | 2997473 | 2864938 | 9554 692 | 1 | 9 1562.81/1563.33 c 1550s | 23 | 3001571 | 2868838 | 9554 693 | 1 | 9 1564.81/1565.34 c 1552s | 23 | 3005518 | 2872638 | 9554 693 | 1 | 9 1566.81/1567.35 c 1554s | 23 | 3009476 | 2876438 | 9554 694 | 1 | 9 1568.81/1569.36 c 1556s | 23 | 3013420 | 2880238 | 9554 695 | 1 | 9 1570.91/1571.40 c 1558s | 23 | 3017454 | 2884138 | 9554 696 | 1 | 9 1572.90/1573.41 c 1560s | 23 | 3021371 | 2887838 | 9554 696 | 1 | 9 1574.90/1575.44 c 1562s | 23 | 3025235 | 2891438 | 9554 697 | 1 | 9 1576.91/1577.49 c 1564s | 23 | 3029377 | 2895338 | 9554 698 | 1 | 9 1579.00/1579.51 c 1566s | 23 | 3033270 | 2898738 | 9554 698 | 1 | 9 1581.00/1581.53 c 1568s | 23 | 3037474 | 2902738 | 9554 699 | 1 | 9 1583.00/1583.55 c 1570s | 23 | 3042631 | 2907738 | 9554 700 | 1 | 9 1585.00/1585.58 c 1572s | 23 | 3046900 | 2911638 | 9554 701 | 1 | 9 1587.00/1587.58 c 1574s | 23 | 3050554 | 2914938 | 9554 702 | 1 | 9 1589.01/1589.60 c 1576s | 23 | 3054150 | 2918438 | 9554 702 | 1 | 9 1591.10/1591.67 c 1578s | 23 | 3057984 | 2922138 | 9554 703 | 1 | 9 1593.10/1593.67 c 1580s | 23 | 3061073 | 2925138 | 9554 704 | 1 | 9 1595.10/1595.68 c 1582s | 23 | 3064318 | 2928338 | 9554 704 | 1 | 9 1597.20/1597.74 c 1584s | 23 | 3067884 | 2931738 | 9554 705 | 1 | 9 1599.20/1599.75 c 1586s | 23 | 3070982 | 2934738 | 9554 705 | 1 | 9 1601.21/1601.76 c 1588s | 23 | 3075034 | 2938638 | 9554 706 | 1 | 9 1603.20/1603.78 c 1590s | 23 | 3079874 | 2943338 | 9554 707 | 1 | 9 1605.30/1605.81 c 1592s | 23 | 3083170 | 2946538 | 9554 708 | 1 | 9 1607.30/1607.84 c 1594s | 23 | 3087785 | 2950938 | 9554 709 | 1 | 9 1609.30/1609.87 c 1596s | 23 | 3092157 | 2955138 | 9554 709 | 1 | 9 1611.40/1611.90 c 1598s | 23 | 3096998 | 2959738 | 9554 710 | 1 | 9 1613.39/1613.96 c 1600s | 23 | 3100985 | 2963538 | 9554 711 | 1 | 9 1615.40/1615.96 c 1602s | 23 | 3104679 | 2966938 | 9554 712 | 1 | 9 1617.39/1617.98 c 1604s | 23 | 3108156 | 2970138 | 9554 712 | 1 | 9 1619.49/1620.00 c 1606s | 23 | 3112796 | 2974538 | 9554 713 | 1 | 9 1621.49/1622.02 c 1609s | 23 | 3116905 | 2978538 | 9554 714 | 1 | 9 1623.49/1624.05 c 1611s | 23 | 3121069 | 2982438 | 9554 715 | 1 | 9 1625.59/1626.17 c 1613s | 23 | 3124726 | 2985838 | 9554 716 | 1 | 9 1627.69/1628.23 c 1615s | 23 | 3129033 | 2989838 | 9554 716 | 1 | 9 1629.70/1630.26 c 1617s | 23 | 3133236 | 2993838 | 9554 717 | 1 | 9 1631.79/1632.31 c 1619s | 23 | 3137665 | 2998138 | 9554 718 | 1 | 9 1633.79/1634.35 c 1621s | 23 | 3141771 | 3002138 | 9554 719 | 1 | 9 1635.90/1636.43 c 1623s | 23 | 3145903 | 3006038 | 9554 720 | 1 | 9 1637.90/1638.44 c 1625s | 23 | 3149914 | 3009838 | 9554 720 | 1 | 9 1639.90/1640.48 c 1627s | 23 | 3154404 | 3014138 | 9554 721 | 1 | 9 1641.91/1642.48 c 1629s | 23 | 3158748 | 3018338 | 9554 722 | 1 | 9 1644.01/1644.60 c 1631s | 23 | 3162909 | 3022238 | 9554 723 | 1 | 9 1646.10/1646.62 c 1633s | 23 | 3166575 | 3025738 | 9554 723 | 1 | 9 1648.10/1648.67 c 1635s | 23 | 3170914 | 3029938 | 9554 724 | 1 | 9 1650.20/1650.72 c 1637s | 23 | 3175209 | 3034038 | 9554 725 | 1 | 9 1652.19/1652.72 c 1639s | 23 | 3179071 | 3037638 | 9554 726 | 1 | 9 1654.19/1654.73 c 1641s | 23 | 3183495 | 3041938 | 9554 727 | 1 | 9 1656.20/1656.74 c 1643s | 23 | 3187837 | 3046138 | 9554 727 | 1 | 9 1658.19/1658.78 c 1645s | 23 | 3191373 | 3049538 | 9554 728 | 1 | 9 1660.29/1660.83 c 1647s | 23 | 3195840 | 3053838 | 9554 729 | 1 | 9 1662.29/1662.84 c 1649s | 23 | 3199645 | 3057538 | 9554 730 | 1 | 9 1664.29/1664.87 c 1651s | 23 | 3203358 | 3061138 | 9554 730 | 1 | 9 1666.39/1666.90 c 1653s | 23 | 3207303 | 3064938 | 9554 731 | 1 | 9 1668.39/1668.91 c 1655s | 23 | 3211639 | 3069138 | 9554 732 | 1 | 9 1670.39/1670.92 c 1657s | 23 | 3216244 | 3073538 | 9554 733 | 1 | 9 1672.39/1672.94 c 1659s | 23 | 3220606 | 3077438 | 9554 734 | 1 | 9 1674.39/1674.98 c 1661s | 23 | 3224803 | 3081438 | 9554 734 | 1 | 9 1676.39/1676.99 c 1663s | 23 | 3229319 | 3085738 | 9554 735 | 1 | 9 1678.49/1679.00 c 1665s | 23 | 3233401 | 3089638 | 9554 736 | 1 | 9 1680.49/1681.00 c 1668s | 23 | 3237066 | 3093138 | 9554 737 | 1 | 9 1682.50/1683.02 c 1670s | 23 | 3241104 | 3097038 | 9554 737 | 1 | 9 1684.49/1685.07 c 1672s | 23 | 3244958 | 3100738 | 9554 738 | 1 | 9 1686.59/1687.10 c 1674s | 23 | 3249600 | 3104938 | 9554 739 | 1 | 9 1688.59/1689.13 c 1676s | 23 | 3253951 | 3109038 | 9554 740 | 1 | 9 1690.59/1691.13 c 1678s | 23 | 3258232 | 3113138 | 9554 741 | 1 | 9 1692.59/1693.13 c 1680s | 23 | 3262475 | 3117138 | 9554 741 | 1 | 9 1694.59/1695.16 c 1682s | 23 | 3267187 | 3121538 | 9554 742 | 1 | 9 1696.59/1697.19 c 1684s | 23 | 3271206 | 3125338 | 9554 743 | 1 | 9 1698.68/1699.21 c 1686s | 23 | 3275231 | 3129138 | 9554 744 | 1 | 9 1700.68/1701.25 c 1688s | 23 | 3279033 | 3132738 | 9554 744 | 1 | 9 1702.68/1703.29 c 1690s | 23 | 3283395 | 3136838 | 9554 745 | 1 | 9 1704.78/1705.34 c 1692s | 23 | 3287535 | 3140838 | 9554 746 | 1 | 9 1706.79/1707.36 c 1694s | 23 | 3291621 | 3144738 | 9554 747 | 1 | 9 1708.78/1709.38 c 1696s | 23 | 3295452 | 3148438 | 9554 748 | 1 | 9 1710.88/1711.40 c 1698s | 23 | 3299833 | 3152638 | 9554 748 | 1 | 9 1712.88/1713.40 c 1700s | 23 | 3304087 | 3156538 | 9554 749 | 1 | 9 1714.88/1715.42 c 1702s | 23 | 3308013 | 3160338 | 9554 750 | 1 | 9 1716.98/1717.50 c 1704s | 23 | 3311989 | 3164238 | 9554 751 | 1 | 9 1718.99/1719.54 c 1706s | 23 | 3316307 | 3168338 | 9554 751 | 1 | 9 1720.99/1721.54 c 1708s | 23 | 3320183 | 3172038 | 9554 752 | 1 | 9 1722.99/1723.56 c 1710s | 23 | 3323809 | 3175538 | 9554 753 | 1 | 9 1724.99/1725.56 c 1712s | 23 | 3328195 | 3179738 | 9554 754 | 1 | 9 1726.99/1727.58 c 1714s | 23 | 3332480 | 3183838 | 9554 754 | 1 | 9 1729.09/1729.64 c 1716s | 23 | 3337449 | 3188538 | 9554 755 | 1 | 9 1731.09/1731.68 c 1718s | 23 | 3341650 | 3192638 | 9554 756 | 1 | 9 1733.19/1733.71 c 1720s | 23 | 3345774 | 3196438 | 9554 757 | 1 | 9 1735.19/1735.72 c 1722s | 23 | 3350406 | 3200538 | 9554 758 | 1 | 9 1737.28/1737.85 c 1724s | 23 | 3354439 | 3204238 | 9554 759 | 1 | 9 1739.28/1739.87 c 1726s | 23 | 3358318 | 3207938 | 9554 759 | 1 | 9 1741.28/1741.89 c 1728s | 23 | 3362307 | 3211838 | 9554 760 | 1 | 9 1743.38/1743.92 c 1730s | 23 | 3366385 | 3215838 | 9554 761 | 1 | 9 1745.38/1745.94 c 1732s | 23 | 3370636 | 3220038 | 9554 762 | 1 | 9 1747.39/1747.96 c 1734s | 23 | 3375121 | 3224338 | 9554 762 | 1 | 9 1749.38/1749.99 c 1736s | 23 | 3379912 | 3228838 | 9554 763 | 1 | 9 1751.48/1752.04 c 1739s | 23 | 3383924 | 3232738 | 9554 764 | 1 | 9 1753.58/1754.11 c 1741s | 23 | 3387881 | 3236538 | 9554 765 | 1 | 9 1755.58/1756.16 c 1743s | 23 | 3390138 | 3238538 | 9554 765 | 1 | 9 1757.68/1758.21 c 1745s | 23 | 3394038 | 3242038 | 9554 766 | 1 | 9 1759.68/1760.24 c 1747s | 23 | 3397612 | 3245538 | 9554 767 | 1 | 9 1761.68/1762.26 c 1749s | 23 | 3400997 | 3248838 | 9554 767 | 1 | 9 1763.67/1764.27 c 1751s | 23 | 3403832 | 3251638 | 9554 768 | 1 | 9 1765.77/1766.31 c 1753s | 23 | 3408302 | 3256038 | 9554 769 | 1 | 9 1767.77/1768.35 c 1755s | 23 | 3412380 | 3260038 | 9554 770 | 1 | 9 1769.77/1770.37 c 1757s | 23 | 3416270 | 3263838 | 9554 770 | 1 | 9 1771.78/1772.37 c 1759s | 23 | 3419566 | 3267038 | 9554 771 | 1 | 9 1773.79/1774.39 c 1761s | 23 | 3423014 | 3270338 | 9554 772 | 1 | 9 1775.88/1776.45 c 1763s | 23 | 3426278 | 3273238 | 9554 772 | 1 | 9 1777.98/1778.50 c 1765s | 23 | 3429136 | 3275738 | 9554 773 | 1 | 9 1779.98/1780.53 c 1767s | 23 | 3431789 | 3278338 | 9554 773 | 1 | 9 1781.98/1782.54 c 1769s | 23 | 3434126 | 3280638 | 9554 774 | 1 | 9 1784.08/1784.62 c 1771s | 23 | 3437459 | 3283838 | 9554 774 | 1 | 9 1786.18/1786.70 c 1773s | 23 | 3441003 | 3287038 | 9554 775 | 1 | 9 1788.18/1788.74 c 1775s | 23 | 3443707 | 3289638 | 9554 776 | 1 | 9 1790.28/1790.83 c 1777s | 23 | 3446361 | 3292238 | 9554 776 | 1 | 9 1792.27/1792.85 c 1779s | 23 | 3448933 | 3294738 | 9554 777 | 1 | 9 1794.27/1794.88 c 1781s | 23 | 3451988 | 3297738 | 9554 777 | 1 | 9 1796.37/1796.91 c 1783s | 23 | 3454541 | 3300238 | 9554 778 | 1 | 9 1798.37/1798.93 c 1785s | 23 | 3457634 | 3303238 | 9554 778 | 1 | 9
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-4106061-1466264511/watcher-4106061-1466264511 -o /tmp/evaluation-result-4106061-1466264511/solver-4106061-1466264511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106061-1466264511.opb pid=8487 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.18 2.17 2.11 4/179 8490 /proc/meminfo: memFree=30191364/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=666044 CPUtime=0 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 2474 0 0 0 0 0 0 0 20 0 4 0 28501280 682029056 2835 33554432000 4194304 16246674 140736680578720 140736680578144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 167023 2841 441 2943 0 163917 0 [pid=8490/tid=8491] ppid=8487 vsize=709052 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 726069248 3004 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=714172 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 731312128 3024 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 735506432 3040 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.18 2.17 2.11 4/179 8490 /proc/meminfo: memFree=30191364/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 22530 0 0 0 6 2 0 0 20 0 4 0 28501280 1247350784 22878 33554432000 4194304 16246674 140736680578720 140736680578144 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 304529 22892 758 2943 0 301423 0 [pid=8490/tid=8491] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 22897 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 22901 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 22905 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200527 s] /proc/loadavg: 2.18 2.17 2.11 4/179 8490 /proc/meminfo: memFree=30191364/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 40779 0 0 0 14 4 0 0 20 0 4 0 28501280 1247350784 41127 33554432000 4194304 16246674 140736680578720 140736680578144 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 304529 41132 758 2943 0 301423 0 [pid=8490/tid=8491] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 41134 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 41140 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 41145 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300483 s] /proc/loadavg: 2.18 2.17 2.11 4/179 8490 /proc/meminfo: memFree=30191364/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 59707 0 0 0 21 7 0 0 20 0 4 0 28501280 1247350784 60055 33554432000 4194304 16246674 140736680578720 140736680578144 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 304529 60063 758 2943 0 301423 0 [pid=8490/tid=8491] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 60069 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 60077 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 60086 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.7004 s] /proc/loadavg: 2.18 2.17 2.11 4/179 8490 /proc/meminfo: memFree=30191364/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 109893 0 0 0 55 14 0 0 20 0 4 0 28501280 1247350784 110241 33554432000 4194304 16246674 140736680578720 140736680578144 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 304529 110245 758 2943 0 301423 0 [pid=8490/tid=8491] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 110249 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 110251 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 110254 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.18 2.17 2.11 3/183 8494 /proc/meminfo: memFree=29552256/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 231372 0 0 0 117 32 0 0 20 0 4 0 28501280 1247350784 231721 33554432000 4194304 16246674 140736680578720 140736680560640 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 304529 231727 765 2943 0 301423 0 [pid=8490/tid=8491] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 231732 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 231735 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28501280 1247350784 231738 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.18 2.17 2.11 3/183 8494 /proc/meminfo: memFree=29205676/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1302084 CPUtime=3.09 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 266380 0 0 0 272 37 0 0 20 0 4 0 28501280 1333334016 266705 33554432000 4194304 16246674 140736680578720 140736680560640 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 325521 266705 832 2943 0 322415 0 [pid=8490/tid=8491] ppid=8487 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1333334016 266705 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1333334016 266705 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1333334016 266705 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.17 2.17 2.11 3/182 8494 /proc/meminfo: memFree=29119052/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 267879 0 0 0 592 37 0 0 20 0 4 0 28501280 1338576896 268204 33554432000 4194304 16246674 140736680578720 140736680560640 5722834 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 326801 268204 835 2943 0 323695 0 [pid=8490/tid=8491] ppid=8487 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1338576896 268204 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1338576896 268204 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1338576896 268204 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.16 2.17 2.11 3/183 8495 /proc/meminfo: memFree=29114896/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 268903 0 0 0 1232 37 0 0 20 0 4 0 28501280 1342771200 269228 33554432000 4194304 16246674 140736680578720 140736680560640 5840044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 327825 269228 835 2943 0 324719 0 [pid=8490/tid=8491] ppid=8487 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1342771200 269228 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1342771200 269228 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1342771200 269228 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.28 2.19 2.12 3/183 8495 /proc/meminfo: memFree=29113560/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1312324 CPUtime=25.48 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 268928 0 0 0 2511 37 0 0 20 0 4 0 28501280 1343819776 269253 33554432000 4194304 16246674 140736680578720 140736680560640 5711355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 328081 269253 853 2943 0 324975 0 [pid=8490/tid=8491] ppid=8487 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1343819776 269253 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1343819776 269253 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1343819776 269253 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.25 2.19 2.12 3/183 8495 /proc/meminfo: memFree=29099552/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1325636 CPUtime=51.08 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 272506 0 0 0 5070 38 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140736680560640 13943608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 331409 272831 854 2943 0 328303 0 [pid=8490/tid=8491] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.16 2.17 2.11 3/183 8496 /proc/meminfo: memFree=29098812/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1325636 CPUtime=102.28 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 272506 0 0 0 10189 39 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140736680560640 6843408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 331409 272831 854 2943 0 328303 0 [pid=8490/tid=8491] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1357451264 272831 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1372131328 276420 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1339972 [startup+1302.3 s] /proc/loadavg: 2.15 2.15 2.10 3/183 8646 /proc/meminfo: memFree=29099592/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1301.85 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276737 0 0 0 130127 58 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5712184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.05 2.12 2.09 3/183 8647 /proc/meminfo: memFree=29098692/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1361.84 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 136125 59 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680561720 5545832 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.06 2.11 2.09 3/183 8648 /proc/meminfo: memFree=29098588/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1421.83 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 142124 59 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.14 2.12 2.09 3/183 8649 /proc/meminfo: memFree=29098500/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1481.82 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 148122 60 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5823206 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1340996 [startup+1542.31 s] /proc/loadavg: 2.12 2.11 2.09 3/183 8651 /proc/meminfo: memFree=29098276/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1541.82 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 154121 61 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5711644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.12 2.12 2.09 3/183 8652 /proc/meminfo: memFree=29098172/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1601.8 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 160119 61 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 6836620 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1340996 [startup+1662.3 s] /proc/loadavg: 2.12 2.11 2.09 3/183 8653 /proc/meminfo: memFree=29097956/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1661.79 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 166117 62 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5823101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1340996 [startup+1722.3 s] /proc/loadavg: 2.13 2.12 2.09 3/184 8657 /proc/meminfo: memFree=29098424/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1721.79 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 172115 64 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1340996 [startup+1782.3 s] /proc/loadavg: 2.09 2.11 2.09 3/183 8658 /proc/meminfo: memFree=29097704/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1781.78 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 178113 65 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5823877 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1340996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.13 2.12 2.09 3/183 8659 /proc/meminfo: memFree=29097912/32872528 swapFree=526336/559040 [pid=8490] ppid=8487 vsize=1340996 CPUtime=1800.07 cores=1,3,5,7 /proc/8490/stat : 8490 (toysat) R 8487 8490 28898 0 -1 4202496 276738 0 0 0 179942 65 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140736680560640 5754712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8490/statm: 335249 276676 854 2943 0 332143 0 [pid=8490/tid=8491] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8491/stat : 8491 (toysat) S 8487 8490 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630191746288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=8490/tid=8492] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8492/stat : 8492 (toysat) S 8487 8490 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630181256432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=8490/tid=8493] ppid=8487 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/8490/task/8493/stat : 8493 (toysat) S 8487 8490 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28501280 1373179904 276676 33554432000 4194304 16246674 140736680578720 140630170782896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1340996 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 8490 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.43 CPU system time (s): 0.6549 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 1340996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.6549 maximum resident set size= 1106704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276738 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= 405 involuntary context switches= 2319 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.64729 second user time and 6.92695 second system time The end
Begin job on node106 at 2016-06-18 17:41:52 IDJOB=4106061 IDBENCH=47911 IDSOLVER=2542 FILE ID=node106/4106061-1466264511 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106061-1466264511/watcher-4106061-1466264511 -o /tmp/evaluation-result-4106061-1466264511/solver-4106061-1466264511 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106061-1466264511.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3 RANDOM SEED=1294947068 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30191744 kB Buffers: 82432 kB Cached: 195040 kB SwapCached: 1736 kB Active: 1193556 kB Inactive: 182512 kB Active(anon): 1096876 kB Inactive(anon): 4000 kB Active(file): 96680 kB Inactive(file): 178512 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16308 kB Writeback: 0 kB AnonPages: 1656796 kB Mapped: 10580 kB Shmem: 0 kB Slab: 612788 kB SReclaimable: 56392 kB SUnreclaim: 556396 kB KernelStack: 1464 kB PageTables: 7304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1800536 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1122304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 18:11:52