| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
| MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -32 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12408 |
| Sum of products size (including duplicates) | 24816 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.00/0.00 c 2016-06-07T03:01:39+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080099-1465261299.opb"] 0.00/0.01 c use --random-gen="3415320447 3077096404 1351533374 1476225184 1308312585 3573400740 2014497263 261930906 2644678211 709504484 1259524298 3875633390 3701339696 1769480073 771815116 3228228281 1771335086 3328160286 990607416 3202060893 2891078094 4130655301 3601444118 293766748 2581683906 1673769337 211677552 692456368 699114591 1835967600 2446259801 3986664693 2870556781 40770419 2993088594 777207403 2034584140 2843977271 4009701934 873313755 780219657 2825568736 3172678466 2869266426 791801938 2499604573 3382927823 93471763 1611252893 3037148679 3473614962 4123299511 3013923785 2901228871 126782298 3065744338 76856172 4004513737 2074235162 180000648 4138561964 3161751529 1191672377 3401194733 3433015883 828586277 1543163563 3426965729 2937003306 3840059982 105748810 1259105308 3882189373 3802210165 1669502805 1106297582 2586162095 1398447474 3128764735 3825759131 4007129962 1513034318 3389156822 4267157101 2479642381 479693531 477397624 3840177904 2685302956 1745491670 1923727407 1130704840 727532568 263454848 2871024331 2270593419 1518288251 586226599 3595176569 3303635989 3373940657 3275377355 2975568591 3538761162 458685768 3428200081 961817995 994460732 21460648 347296737 438532462 3818051544 54219555 4260372787 70786492 1112568413 4153140604 527387229 2675922376 502376014 1524200591 4155484043 1784905028 3989854340 2593180965 3104416961 3289094837 4047138200 1134332240 2464915638 148527214 2076557388 1346618237 3493769674 3733491571 3187303698 2423522567 1621848742 2919719481 3720413972 2344232418 421152258 1476461737 3267890891 120338205 2510830464 3092758158 1897699171 4190179747 1015264333 963161699 310255115 125338778 544585006 1265051512 2479342043 585179927 3119349390 3875271095 829215768 1306713342 3128359601 1036181700 2576038527 1394801998 3342582934 3053635197 1446781728 1170180405 3067625356 3730742816 2738494446 2395137234 4095436877 3463794436 3168568512 1054701876 175157142 2750849566 2181581126 1056031352 3151144706 4261982214 1259468087 1603444322 2106505058 1930067031 2188655259 3128105569 1069428639 2405899177 3948927686 1561448238 3618290624 2107365557 999744279 1022053785 2519941617 2808423861 1599988923 363653239 625465852 1400014603 3055118784 3527927743 1944197329 2265257516 256820558 376174131 875440960 1440321053 2777295805 3138559548 2300193097 1798338762 2997362930 2267671202 249184564 1325929783 3454419378 149721841 989404450 1759215743 669227811 3026924431 2193044919 1015626794 327108528 60354550 470804753 621435856 1407686720 3632445977 4145614390 1230387119 1824371070 2726532403 3478683923 2904350832 3203586091 1963080712 1730330619 3357526524 851818101 1568488651 801057961 2963011218 3269938355 2095624139 461888634 1812618214 947025300 1417984137 560394595 3254338848 1054283368 255 362436" option to reproduce the execution 0.00/0.05 c #vars 400 0.00/0.05 c #constraints 601 0.19/0.21 c BCD2: Hardening is enabled. 0.19/0.21 c BCD2: BiasedSearch is enabled. 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 4470 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 255 | 1 | 4470 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 255 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 o -18 0.19/0.22 c BCD2: updating upper bound: 200 -> 181 0.19/0.22 c BCD2: 0 <= obj <= 181 0.19/0.22 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 4470 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 102 | 2 | 4470 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.009s 0.19/0.23 c #wall_clock_time = 0.009s 0.19/0.23 c #decision = 102 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 2 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 100: cost of the new core is >=1 0.19/0.23 c lower bound updated to -199 0.19/0.23 c BCD2: 1 <= obj <= 181 0.19/0.23 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4470 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 101 | 1 | 4470 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.014s 0.19/0.25 c #wall_clock_time = 0.014s 0.19/0.25 c #decision = 101 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 1 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.19/0.25 c lower bound updated to -198 0.19/0.25 c BCD2: 2 <= obj <= 181 0.19/0.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 4470 0 | 1 | 0 0.29/0.31 c 0.1s | 1 | 3281 | 100 | 4917 0 | 1 | 1 0.48/0.50 c 0.2s | 2 | 11567 | 250 | 5409 0 | 1 | 1 0.69/0.79 c 0.5s | 3 | 23391 | 475 | 5950 0 | 1 | 1 1.10/1.20 c 1.0s | 4 | 36955 | 813 | 6546 0 | 1 | 1 1.88/1.94 c 1.7s | 5 | 41448 | 1320 | 7201 0 | 1 | 1 3.08/3.16 c 2.9s | 6 | 44335 | 2081 | 7922 0 | 1 | 1 4.49/4.52 c 4.3s | 7 | 52447 | 3223 | 8715 0 | 1 | 1 6.48/6.58 c 6.3s | 7 | 71654 | 4723 | 8715 0 | 1 | 1 6.78/6.85 c 6.6s | 8 | 74905 | 4936 | 9587 0 | 1 | 1 8.98/9.03 c 8.8s | 8 | 92438 | 6436 | 9587 0 | 1 | 1 10.78/10.85 c 10.6s | 9 | 107779 | 7506 | 10546 0 | 1 | 1 12.78/12.86 c 12.6s | 9 | 118400 | 8906 | 10546 0 | 1 | 1 14.88/14.97 c 14.7s | 9 | 133656 | 10606 | 10546 0 | 1 | 1 15.98/16.05 c 15.8s | 10 | 139556 | 11361 | 11601 1 | 1 | 1 17.99/18.09 c 17.8s | 10 | 147973 | 12661 | 11601 1 | 1 | 1 20.19/20.24 c 20.0s | 10 | 159711 | 14061 | 11601 1 | 1 | 1 22.29/22.38 c 22.1s | 10 | 171378 | 15161 | 11601 1 | 1 | 1 24.38/24.45 c 24.2s | 10 | 187591 | 16261 | 11601 1 | 1 | 1 25.58/25.60 c 25.4s | 11 | 204230 | 17144 | 12762 1 | 1 | 1 27.68/27.79 c 27.5s | 11 | 222619 | 18044 | 12762 1 | 1 | 1 29.79/29.85 c 29.6s | 11 | 234565 | 18844 | 12762 2 | 1 | 1 31.99/32.04 c 31.8s | 11 | 244879 | 19944 | 12762 2 | 1 | 1 34.09/34.17 c 33.9s | 11 | 260894 | 21044 | 12762 2 | 1 | 1 36.18/36.21 c 36.0s | 11 | 278125 | 22144 | 12762 2 | 1 | 1 38.18/38.22 c 38.0s | 11 | 295742 | 23444 | 12762 2 | 1 | 1 40.28/40.35 c 40.1s | 11 | 301947 | 24544 | 12762 2 | 1 | 1 42.28/42.35 c 42.1s | 11 | 309090 | 25544 | 12762 3 | 1 | 1 42.68/42.78 c 42.5s | 12 | 310732 | 25819 | 14039 3 | 1 | 1 44.87/44.96 c 44.7s | 12 | 331575 | 27019 | 14039 3 | 1 | 1 46.97/47.05 c 46.8s | 12 | 351867 | 28219 | 14039 3 | 1 | 1 48.97/49.09 c 48.8s | 12 | 364541 | 29519 | 14039 3 | 1 | 1 51.07/51.16 c 50.9s | 12 | 387340 | 30719 | 14039 3 | 1 | 1 53.07/53.17 c 52.9s | 12 | 396664 | 31719 | 14039 3 | 1 | 1 55.17/55.28 c 55.0s | 12 | 400207 | 32819 | 14039 3 | 1 | 1 57.28/57.36 c 57.1s | 12 | 413248 | 33919 | 14039 4 | 1 | 1 59.38/59.46 c 59.2s | 12 | 432255 | 35419 | 14039 4 | 1 | 1 61.47/61.52 c 61.3s | 12 | 444172 | 36619 | 14039 4 | 1 | 1 63.57/63.66 c 63.4s | 12 | 458706 | 37619 | 14039 4 | 1 | 1 65.67/65.72 c 65.5s | 12 | 465230 | 38819 | 15443 4 | 1 | 1 65.67/65.74 c 65.5s | 13 | 465249 | 38832 | 15443 4 | 1 | 1 67.76/67.85 c 67.6s | 13 | 467204 | 39632 | 15443 4 | 1 | 1 69.96/70.02 c 69.8s | 13 | 477648 | 40632 | 15443 4 | 1 | 1 72.06/72.15 c 71.9s | 13 | 486567 | 41532 | 15443 5 | 1 | 1 74.27/74.30 c 74.0s | 13 | 495513 | 42632 | 15443 5 | 1 | 1 76.47/76.57 c 76.3s | 13 | 500599 | 43832 | 15443 5 | 1 | 1 78.57/78.61 c 78.4s | 13 | 502135 | 44832 | 15443 5 | 1 | 1 80.67/80.72 c 80.5s | 13 | 506186 | 46132 | 15443 5 | 1 | 1 82.87/82.94 c 82.7s | 13 | 512133 | 47032 | 15443 5 | 1 | 1 84.97/85.04 c 84.8s | 13 | 524015 | 47932 | 15443 5 | 1 | 1 87.16/87.26 c 87.0s | 13 | 531836 | 49132 | 15443 5 | 1 | 1 89.17/89.27 c 89.0s | 13 | 545908 | 50032 | 15443 6 | 1 | 1 91.27/91.30 c 91.1s | 13 | 558957 | 50832 | 15443 6 | 1 | 1 93.36/93.41 c 93.2s | 13 | 580943 | 51932 | 15443 6 | 1 | 1 95.36/95.49 c 95.2s | 13 | 586403 | 52932 | 15443 6 | 1 | 1 97.76/97.80 c 97.6s | 13 | 592897 | 54032 | 15443 6 | 1 | 1 99.86/99.90 c 99.7s | 13 | 612400 | 55032 | 15443 6 | 1 | 1 101.86/101.95 c 101s | 13 | 631911 | 55932 | 15443 6 | 1 | 1 103.96/104.07 c 103s | 13 | 655451 | 56932 | 15443 7 | 1 | 1 106.16/106.22 c 105s | 13 | 664254 | 57932 | 15443 7 | 1 | 1 106.95/107.07 c 106s | 14 | 665069 | 58352 | 16988 7 | 1 | 1 109.05/109.10 c 108s | 14 | 672377 | 59152 | 16988 7 | 1 | 1 111.25/111.35 c 111s | 14 | 687564 | 60352 | 16988 7 | 1 | 1 113.65/113.75 c 113s | 14 | 690850 | 60852 | 16988 7 | 1 | 1 115.65/115.79 c 115s | 14 | 710312 | 61852 | 16988 7 | 1 | 1 117.76/117.84 c 117s | 14 | 732340 | 63152 | 16988 7 | 1 | 1 119.86/119.99 c 119s | 14 | 750919 | 64252 | 16988 7 | 1 | 1 122.06/122.19 c 121s | 14 | 775959 | 65252 | 16988 7 | 1 | 1 124.15/124.22 c 123s | 14 | 799702 | 66152 | 16988 7 | 1 | 1 126.25/126.31 c 126s | 14 | 818251 | 67152 | 16988 8 | 1 | 1 128.34/128.43 c 128s | 14 | 844540 | 68352 | 16988 8 | 1 | 1 130.34/130.49 c 130s | 14 | 872842 | 69352 | 16988 8 | 1 | 1 132.44/132.51 c 132s | 14 | 888130 | 70452 | 16988 8 | 1 | 1 134.44/134.56 c 134s | 14 | 913530 | 71552 | 16988 8 | 1 | 1 136.65/136.75 c 136s | 14 | 935295 | 72652 | 16988 8 | 1 | 1 138.84/138.91 c 138s | 14 | 965750 | 73752 | 16988 8 | 1 | 1 140.85/140.92 c 140s | 14 | 975858 | 74652 | 16988 8 | 1 | 1 143.05/143.13 c 142s | 14 | 996826 | 75652 | 16988 9 | 1 | 1 145.15/145.28 c 145s | 14 | 1006291 | 76852 | 16988 9 | 1 | 1 147.24/147.30 c 147s | 14 | 1020133 | 78152 | 16988 9 | 1 | 1 149.24/149.36 c 149s | 14 | 1026951 | 79152 | 16988 9 | 1 | 1 151.24/151.39 c 151s | 14 | 1030972 | 80052 | 16988 9 | 1 | 1 153.44/153.57 c 153s | 14 | 1032683 | 81052 | 16988 9 | 1 | 1 155.54/155.66 c 155s | 14 | 1033642 | 81452 | 16988 9 | 1 | 1 157.64/157.76 c 157s | 14 | 1040669 | 82752 | 16988 9 | 1 | 1 159.74/159.89 c 159s | 14 | 1045551 | 83952 | 16988 10 | 1 | 1 161.84/161.95 c 161s | 14 | 1071670 | 85552 | 16988 10 | 1 | 1 163.94/164.03 c 163s | 14 | 1085444 | 86852 | 16988 10 | 1 | 1 165.13/165.29 c 165s | 15 | 1102472 | 87632 | 18687 10 | 1 | 1 167.24/167.39 c 167s | 15 | 1127041 | 88932 | 18687 10 | 1 | 1 169.53/169.63 c 169s | 15 | 1146953 | 90032 | 18687 10 | 1 | 1 171.54/171.63 c 171s | 15 | 1152845 | 90932 | 18687 10 | 1 | 1 173.63/173.75 c 173s | 15 | 1160847 | 91932 | 18687 10 | 1 | 1 175.63/175.76 c 175s | 15 | 1165420 | 92832 | 18687 10 | 1 | 1 177.73/177.83 c 177s | 15 | 1168024 | 93832 | 18687 10 | 1 | 1 179.82/179.93 c 179s | 15 | 1173525 | 94632 | 18687 11 | 1 | 1 181.82/181.93 c 181s | 15 | 1184462 | 95732 | 18687 11 | 1 | 1 183.92/184.04 c 183s | 15 | 1199166 | 97132 | 18687 11 | 1 | 1 186.02/186.11 c 185s | 15 | 1208490 | 98232 | 18687 11 | 1 | 1 188.14/188.22 c 187s | 15 | 1210773 | 99232 | 18687 11 | 1 | 1 190.23/190.33 c 190s | 15 | 1216634 | 100432 | 18687 11 | 1 | 1 192.23/192.38 c 192s | 15 | 1221752 | 101532 | 18687 11 | 1 | 1 194.33/194.42 c 194s | 15 | 1225109 | 102532 | 18687 11 | 1 | 1 196.63/196.78 c 196s | 15 | 1227966 | 103632 | 18687 12 | 1 | 1 198.82/198.97 c 198s | 15 | 1232231 | 104832 | 18687 12 | 1 | 1 200.92/201.06 c 200s | 15 | 1236807 | 105732 | 18687 12 | 1 | 1 203.12/203.20 c 202s | 15 | 1239146 | 106932 | 18687 12 | 1 | 1 205.12/205.25 c 205s | 15 | 1246483 | 108132 | 18687 12 | 1 | 1 207.22/207.32 c 207s | 15 | 1252031 | 109332 | 18687 12 | 1 | 1 209.32/209.47 c 209s | 15 | 1254116 | 110232 | 18687 12 | 1 | 1 211.42/211.56 c 211s | 15 | 1256436 | 111032 | 18687 12 | 1 | 1 213.62/213.72 c 213s | 15 | 1258746 | 112032 | 18687 12 | 1 | 1 215.72/215.82 c 215s | 15 | 1262637 | 113132 | 18687 12 | 1 | 1 217.91/218.02 c 217s | 15 | 1265256 | 114132 | 18687 13 | 1 | 1 220.02/220.14 c 219s | 15 | 1266844 | 115032 | 18687 13 | 1 | 1 222.12/222.28 c 222s | 15 | 1271218 | 115832 | 18687 13 | 1 | 1 224.21/224.38 c 224s | 15 | 1275943 | 117032 | 18687 13 | 1 | 1 226.31/226.44 c 226s | 15 | 1278633 | 118132 | 18687 13 | 1 | 1 228.51/228.63 c 228s | 15 | 1282174 | 119332 | 18687 13 | 1 | 1 230.61/230.77 c 230s | 15 | 1290123 | 120432 | 18687 13 | 1 | 1 232.60/232.78 c 232s | 15 | 1295195 | 121532 | 18687 13 | 1 | 1 234.80/234.90 c 234s | 15 | 1299048 | 122632 | 18687 13 | 1 | 1 236.90/237.03 c 236s | 15 | 1304460 | 123732 | 18687 14 | 1 | 1 238.90/239.09 c 238s | 15 | 1307771 | 124432 | 18687 14 | 1 | 1 241.00/241.16 c 240s | 15 | 1316460 | 125532 | 18687 14 | 1 | 1 243.11/243.26 c 243s | 15 | 1328698 | 126832 | 18687 14 | 1 | 1 245.30/245.47 c 245s | 15 | 1333896 | 127732 | 18687 14 | 1 | 1 247.29/247.47 c 247s | 15 | 1338061 | 128632 | 18687 14 | 1 | 1 249.40/249.50 c 249s | 15 | 1339504 | 129532 | 18687 14 | 1 | 1 251.40/251.51 c 251s | 15 | 1343860 | 130432 | 18687 14 | 1 | 1 253.60/253.71 c 253s | 15 | 1346574 | 131432 | 20556 14 | 1 | 1 253.70/253.89 c 253s | 16 | 1346879 | 131552 | 20556 14 | 1 | 1 255.80/255.91 c 255s | 16 | 1357174 | 132552 | 20556 14 | 1 | 1 257.79/257.97 c 257s | 16 | 1372887 | 133652 | 20556 14 | 1 | 1 259.79/259.97 c 259s | 16 | 1376822 | 134552 | 20556 15 | 1 | 1 261.89/262.06 c 261s | 16 | 1385955 | 135352 | 20556 15 | 1 | 1 263.90/264.08 c 263s | 16 | 1406999 | 136652 | 20556 15 | 1 | 1 265.89/266.09 c 265s | 16 | 1415773 | 137652 | 20556 15 | 1 | 1 268.09/268.28 c 268s | 16 | 1436907 | 138752 | 20556 15 | 1 | 1 270.19/270.33 c 270s | 16 | 1450727 | 139752 | 20556 15 | 1 | 1 272.29/272.43 c 272s | 16 | 1457536 | 140852 | 20556 15 | 1 | 1 274.39/274.57 c 274s | 16 | 1464089 | 141852 | 20556 15 | 1 | 1 276.39/276.59 c 276s | 16 | 1466204 | 142752 | 20556 15 | 1 | 1 278.59/278.79 c 278s | 16 | 1471771 | 143652 | 20556 15 | 1 | 1 280.69/280.82 c 280s | 16 | 1491077 | 144552 | 20556 16 | 1 | 1 282.69/282.88 c 282s | 16 | 1504304 | 145452 | 20556 16 | 1 | 1 284.79/284.97 c 284s | 16 | 1523498 | 146552 | 20556 16 | 1 | 1 286.78/286.98 c 286s | 16 | 1536364 | 147552 | 20556 16 | 1 | 1 288.88/289.06 c 288s | 16 | 1544501 | 148552 | 20556 16 | 1 | 1 290.98/291.10 c 290s | 16 | 1549975 | 149252 | 20556 16 | 1 | 1 293.18/293.31 c 293s | 16 | 1558904 | 150252 | 20556 16 | 1 | 1 295.28/295.44 c 295s | 16 | 1569154 | 151452 | 20556 16 | 1 | 1 297.37/297.52 c 297s | 16 | 1587261 | 152352 | 20556 16 | 1 | 1 299.57/299.72 c 299s | 16 | 1592958 | 153352 | 20556 16 | 1 | 1 301.67/301.83 c 301s | 16 | 1602024 | 154352 | 20556 16 | 1 | 1 303.67/303.86 c 303s | 16 | 1608782 | 155152 | 20556 17 | 1 | 1 305.87/306.04 c 305s | 16 | 1615391 | 156152 | 20556 17 | 1 | 1 307.88/308.07 c 307s | 16 | 1620508 | 157052 | 20556 17 | 1 | 1 309.97/310.11 c 309s | 16 | 1621768 | 157952 | 20556 17 | 1 | 1 312.87/313.01 c 312s | 16 | 1623719 | 158552 | 20556 17 | 1 | 1 314.97/315.12 c 314s | 16 | 1643938 | 159552 | 20556 17 | 1 | 1 317.07/317.29 c 317s | 16 | 1652318 | 160552 | 20556 17 | 1 | 1 319.17/319.38 c 319s | 16 | 1665382 | 161352 | 20556 17 | 1 | 1 321.27/321.41 c 321s | 16 | 1669136 | 162152 | 20556 17 | 1 | 1 323.37/323.55 c 323s | 16 | 1685614 | 163252 | 20556 17 | 1 | 1 325.47/325.69 c 325s | 16 | 1708523 | 164452 | 20556 17 | 1 | 1 327.57/327.78 c 327s | 16 | 1733552 | 165652 | 20556 18 | 1 | 1 329.67/329.88 c 329s | 16 | 1740467 | 166852 | 20556 18 | 1 | 1 331.87/332.02 c 331s | 16 | 1743644 | 167852 | 20556 18 | 1 | 1 333.87/334.06 c 333s | 16 | 1750341 | 168852 | 20556 18 | 1 | 1 335.87/336.07 c 335s | 16 | 1754727 | 169952 | 20556 18 | 1 | 1 338.06/338.24 c 337s | 16 | 1762419 | 171052 | 20556 18 | 1 | 1 340.06/340.27 c 340s | 16 | 1766694 | 172152 | 20556 18 | 1 | 1 342.07/342.28 c 342s | 16 | 1769256 | 173152 | 20556 18 | 1 | 1 344.06/344.29 c 344s | 16 | 1782450 | 174152 | 20556 18 | 1 | 1 346.26/346.44 c 346s | 16 | 1793157 | 175252 | 20556 18 | 1 | 1 348.45/348.65 c 348s | 16 | 1802308 | 176052 | 20556 19 | 1 | 1 350.45/350.67 c 350s | 16 | 1804708 | 176852 | 20556 19 | 1 | 1 352.45/352.68 c 352s | 16 | 1810062 | 177952 | 20556 19 | 1 | 1 354.45/354.69 c 354s | 16 | 1820653 | 179052 | 20556 19 | 1 | 1 356.65/356.84 c 356s | 16 | 1836352 | 180152 | 20556 19 | 1 | 1 358.65/358.85 c 358s | 16 | 1841537 | 181052 | 20556 19 | 1 | 1 360.75/360.98 c 360s | 16 | 1844085 | 181952 | 20556 19 | 1 | 1 362.95/363.11 c 362s | 16 | 1846846 | 182952 | 20556 19 | 1 | 1 364.94/365.16 c 364s | 16 | 1849503 | 183852 | 20556 19 | 1 | 1 367.04/367.25 c 367s | 16 | 1853557 | 184852 | 20556 19 | 1 | 1 369.04/369.30 c 369s | 16 | 1856364 | 185752 | 20556 19 | 1 | 1 371.14/371.38 c 371s | 16 | 1862577 | 186452 | 20556 20 | 1 | 1 373.74/373.97 c 373s | 16 | 1866379 | 187052 | 20556 20 | 1 | 1 375.84/376.06 c 375s | 16 | 1874171 | 188152 | 20556 20 | 1 | 1 377.94/378.16 c 377s | 16 | 1877980 | 189252 | 20556 20 | 1 | 1 380.04/380.27 c 380s | 16 | 1887009 | 190352 | 20556 20 | 1 | 1 382.14/382.37 c 382s | 16 | 1893360 | 191452 | 20556 20 | 1 | 1 384.24/384.47 c 384s | 16 | 1900367 | 192652 | 20556 20 | 1 | 1 386.44/386.66 c 386s | 16 | 1907136 | 193852 | 20556 20 | 1 | 1 388.54/388.72 c 388s | 16 | 1913176 | 195052 | 20556 20 | 1 | 1 391.54/391.71 c 391s | 16 | 1917552 | 195552 | 20556 20 | 1 | 1 393.64/393.85 c 393s | 16 | 1935955 | 196752 | 22612 20 | 1 | 1 394.84/395.09 c 394s | 17 | 1945561 | 197432 | 22612 20 | 1 | 1 397.03/397.26 c 397s | 17 | 1967455 | 198432 | 22612 20 | 1 | 1 399.13/399.32 c 399s | 17 | 1980501 | 199432 | 22612 21 | 1 | 1 401.23/401.49 c 401s | 17 | 1986158 | 200532 | 22612 21 | 1 | 1 403.43/403.62 c 403s | 17 | 1995435 | 201632 | 22612 21 | 1 | 1 405.53/405.75 c 405s | 17 | 1998050 | 202532 | 22612 21 | 1 | 1 407.62/407.86 c 407s | 17 | 2002620 | 203532 | 22612 21 | 1 | 1 409.72/409.90 c 409s | 17 | 2007877 | 204632 | 22612 21 | 1 | 1 411.72/411.94 c 411s | 17 | 2017866 | 205332 | 22612 21 | 1 | 1 413.82/414.04 c 413s | 17 | 2040956 | 206432 | 22612 21 | 1 | 1 415.91/416.12 c 415s | 17 | 2057019 | 207632 | 22612 21 | 1 | 1 417.93/418.15 c 417s | 17 | 2064530 | 208832 | 22612 21 | 1 | 1 420.03/420.27 c 420s | 17 | 2072950 | 209932 | 22612 21 | 1 | 1 422.23/422.43 c 422s | 17 | 2084082 | 210932 | 22612 22 | 1 | 1 424.32/424.51 c 424s | 17 | 2100617 | 212032 | 22612 22 | 1 | 1 426.42/426.66 c 426s | 17 | 2118846 | 213132 | 22612 22 | 1 | 1 428.61/428.80 c 428s | 17 | 2128472 | 214332 | 22612 22 | 1 | 1 430.71/430.98 c 430s | 17 | 2138174 | 215432 | 22612 22 | 1 | 1 432.91/433.11 c 432s | 17 | 2150924 | 216532 | 22612 22 | 1 | 1 435.01/435.24 c 434s | 17 | 2156404 | 217432 | 22612 22 | 1 | 1 437.21/437.45 c 437s | 17 | 2166043 | 218432 | 22612 22 | 1 | 1 439.40/439.63 c 439s | 17 | 2177746 | 219332 | 22612 22 | 1 | 1 441.80/442.04 c 441s | 17 | 2183130 | 219832 | 22612 22 | 1 | 1 444.10/444.32 c 444s | 17 | 2187842 | 220632 | 22612 22 | 1 | 1 446.41/446.63 c 446s | 17 | 2202805 | 221632 | 22612 23 | 1 | 1 448.50/448.73 c 448s | 17 | 2208242 | 222632 | 22612 23 | 1 | 1 450.70/450.90 c 450s | 17 | 2211664 | 223832 | 22612 23 | 1 | 1 452.80/453.06 c 452s | 17 | 2218143 | 224732 | 22612 23 | 1 | 1 455.00/455.23 c 454s | 17 | 2222670 | 225732 | 22612 23 | 1 | 1 457.09/457.33 c 457s | 17 | 2230429 | 226832 | 22612 23 | 1 | 1 459.19/459.48 c 459s | 17 | 2235554 | 227932 | 22612 23 | 1 | 1 461.39/461.69 c 461s | 17 | 2244325 | 229232 | 22612 23 | 1 | 1 463.59/463.80 c 463s | 17 | 2253094 | 230332 | 22612 23 | 1 | 1 465.69/465.98 c 465s | 17 | 2260456 | 231232 | 22612 23 | 1 | 1 467.99/468.24 c 467s | 17 | 2264837 | 231532 | 22612 23 | 1 | 1 469.99/470.28 c 470s | 17 | 2278468 | 232432 | 22612 23 | 1 | 1 472.29/472.51 c 472s | 17 | 2286405 | 233332 | 22612 24 | 1 | 1 474.29/474.53 c 474s | 17 | 2287916 | 233832 | 22612 24 | 1 | 1 476.39/476.62 c 476s | 17 | 2305175 | 234832 | 22612 24 | 1 | 1 478.49/478.76 c 478s | 17 | 2332015 | 236032 | 22612 24 | 1 | 1 480.60/480.86 c 480s | 17 | 2356525 | 237232 | 22612 24 | 1 | 1 482.59/482.88 c 482s | 17 | 2372030 | 238232 | 22612 24 | 1 | 1 484.69/484.90 c 484s | 17 | 2385216 | 239432 | 22612 24 | 1 | 1 486.89/487.12 c 486s | 17 | 2393238 | 240432 | 22612 24 | 1 | 1 488.98/489.24 c 488s | 17 | 2396699 | 241432 | 22612 24 | 1 | 1 490.98/491.25 c 490s | 17 | 2408938 | 242332 | 22612 24 | 1 | 1 493.18/493.49 c 493s | 17 | 2421365 | 243332 | 22612 24 | 1 | 1 495.38/495.69 c 495s | 17 | 2428302 | 244332 | 22612 24 | 1 | 1 497.68/497.93 c 497s | 17 | 2436092 | 245232 | 22612 25 | 1 | 1 499.88/500.10 c 499s | 17 | 2439594 | 246132 | 22612 25 | 1 | 1 501.98/502.27 c 502s | 17 | 2451701 | 247232 | 22612 25 | 1 | 1 504.18/504.40 c 504s | 17 | 2456328 | 248332 | 22612 25 | 1 | 1 506.18/506.50 c 506s | 17 | 2458531 | 249232 | 22612 25 | 1 | 1 508.28/508.56 c 508s | 17 | 2460333 | 250032 | 22612 25 | 1 | 1 510.48/510.77 c 510s | 17 | 2461499 | 250932 | 22612 25 | 1 | 1 512.68/512.95 c 512s | 17 | 2462290 | 251732 | 22612 25 | 1 | 1 514.97/515.21 c 514s | 17 | 2463166 | 252532 | 22612 25 | 1 | 1 517.18/517.42 c 517s | 17 | 2467185 | 253532 | 22612 25 | 1 | 1 519.27/519.55 c 519s | 17 | 2471709 | 254432 | 22612 25 | 1 | 1 521.28/521.55 c 521s | 17 | 2476389 | 255432 | 22612 25 | 1 | 1 523.38/523.62 c 523s | 17 | 2482371 | 256332 | 22612 26 | 1 | 1 525.47/525.70 c 525s | 17 | 2497440 | 257432 | 22612 26 | 1 | 1 527.56/527.85 c 527s | 17 | 2510394 | 258532 | 22612 26 | 1 | 1 529.66/529.94 c 529s | 17 | 2523857 | 259532 | 22612 26 | 1 | 1 531.76/532.05 c 531s | 17 | 2528918 | 260532 | 22612 26 | 1 | 1 534.06/534.37 c 534s | 17 | 2537961 | 261532 | 22612 26 | 1 | 1 536.26/536.51 c 536s | 17 | 2541045 | 262432 | 22612 26 | 1 | 1 538.26/538.57 c 538s | 17 | 2546584 | 263332 | 22612 26 | 1 | 1 540.26/540.58 c 540s | 17 | 2552500 | 264232 | 22612 26 | 1 | 1 542.36/542.62 c 542s | 17 | 2557431 | 265132 | 22612 26 | 1 | 1 544.46/544.71 c 544s | 17 | 2562183 | 266132 | 22612 26 | 1 | 1 546.56/546.85 c 546s | 17 | 2568207 | 267132 | 22612 26 | 1 | 1 548.66/548.94 c 548s | 17 | 2573931 | 268032 | 22612 27 | 1 | 1 550.76/551.01 c 550s | 17 | 2578604 | 269032 | 22612 27 | 1 | 1 552.76/553.02 c 552s | 17 | 2582157 | 269932 | 22612 27 | 1 | 1 554.86/555.10 c 554s | 17 | 2584743 | 270932 | 22612 27 | 1 | 1 557.25/557.51 c 557s | 17 | 2588200 | 271732 | 22612 27 | 1 | 1 559.35/559.60 c 559s | 17 | 2603537 | 272732 | 22612 27 | 1 | 1 561.45/561.76 c 561s | 17 | 2613341 | 273732 | 22612 27 | 1 | 1 563.65/563.99 c 563s | 17 | 2617840 | 274632 | 22612 27 | 1 | 1 565.85/566.10 c 565s | 17 | 2627037 | 275532 | 22612 27 | 1 | 1 567.84/568.19 c 567s | 17 | 2633227 | 276532 | 22612 27 | 1 | 1 569.94/570.20 c 569s | 17 | 2638712 | 277332 | 22612 27 | 1 | 1 572.04/572.31 c 572s | 17 | 2644762 | 278232 | 22612 27 | 1 | 1 574.24/574.54 c 574s | 17 | 2650701 | 279032 | 22612 28 | 1 | 1 576.34/576.69 c 576s | 17 | 2654629 | 280032 | 22612 28 | 1 | 1 578.54/578.81 c 578s | 17 | 2663392 | 281132 | 22612 28 | 1 | 1 580.54/580.87 c 580s | 17 | 2671885 | 282232 | 22612 28 | 1 | 1 582.64/582.97 c 582s | 17 | 2682122 | 283332 | 22612 28 | 1 | 1 584.74/585.01 c 584s | 17 | 2686839 | 284332 | 22612 28 | 1 | 1 586.73/587.08 c 586s | 17 | 2692406 | 285332 | 22612 28 | 1 | 1 588.84/589.18 c 588s | 17 | 2699870 | 286232 | 22612 28 | 1 | 1 591.04/591.37 c 591s | 17 | 2710651 | 287332 | 22612 28 | 1 | 1 593.24/593.56 c 593s | 17 | 2718277 | 288232 | 22612 28 | 1 | 1 595.44/595.71 c 595s | 17 | 2730467 | 289132 | 22612 28 | 1 | 1 597.74/598.00 c 597s | 17 | 2741050 | 290132 | 22612 28 | 1 | 1 599.74/600.09 c 599s | 17 | 2746032 | 290832 | 22612 29 | 1 | 1 601.94/602.23 c 601s | 17 | 2749632 | 291732 | 22612 29 | 1 | 1 604.04/604.32 c 604s | 17 | 2752124 | 292632 | 22612 29 | 1 | 1 606.04/606.36 c 606s | 17 | 2754406 | 293432 | 22612 29 | 1 | 1 608.23/608.52 c 608s | 17 | 2764205 | 294432 | 24874 29 | 1 | 1 610.24/610.60 c 610s | 17 | 2765813 | 295232 | 24874 29 | 1 | 1 612.44/612.79 c 612s | 17 | 2770069 | 296232 | 24874 29 | 1 | 1 612.54/612.84 c 612s | 18 | 2770135 | 296252 | 24874 29 | 1 | 1 614.53/614.90 c 614s | 18 | 2772820 | 297052 | 24874 29 | 1 | 1 616.84/617.17 c 616s | 18 | 2774713 | 298052 | 24874 29 | 1 | 1 619.03/619.37 c 619s | 18 | 2786658 | 298752 | 24874 29 | 1 | 1 621.13/621.41 c 621s | 18 | 2815060 | 299752 | 24874 29 | 1 | 1 623.13/623.46 c 623s | 18 | 2836286 | 300852 | 24874 29 | 1 | 1 626.93/627.22 c 626s | 18 | 2854567 | 301752 | 24874 29 | 1 | 1 628.94/629.24 c 628s | 18 | 2863906 | 302652 | 24874 29 | 1 | 1 631.03/631.38 c 631s | 18 | 2879757 | 303752 | 24874 29 | 1 | 1 633.23/633.56 c 633s | 18 | 2897851 | 304652 | 24874 30 | 1 | 1 635.33/635.67 c 635s | 18 | 2906233 | 305252 | 24874 30 | 1 | 1 637.52/637.86 c 637s | 18 | 2922246 | 306352 | 24874 30 | 1 | 1 639.72/640.01 c 639s | 18 | 2933049 | 307552 | 24874 30 | 1 | 1 641.82/642.14 c 641s | 18 | 2948429 | 308752 | 24874 30 | 1 | 1 643.82/644.16 c 643s | 18 | 2953808 | 309852 | 24874 30 | 1 | 1 645.82/646.16 c 645s | 18 | 2970783 | 310952 | 24874 30 | 1 | 1 648.02/648.34 c 648s | 18 | 2995893 | 312252 | 24874 30 | 1 | 1 650.12/650.45 c 650s | 18 | 3008015 | 313152 | 24874 30 | 1 | 1 652.22/652.55 c 652s | 18 | 3020302 | 314052 | 24874 30 | 1 | 1 654.32/654.65 c 654s | 18 | 3031971 | 315152 | 24874 30 | 1 | 1 656.42/656.77 c 656s | 18 | 3040132 | 316152 | 24874 30 | 1 | 1 658.62/658.94 c 658s | 18 | 3050053 | 316952 | 24874 31 | 1 | 1 660.61/660.99 c 660s | 18 | 3063456 | 317952 | 24874 31 | 1 | 1 662.92/663.23 c 662s | 18 | 3075210 | 319052 | 24874 31 | 1 | 1 664.92/665.23 c 664s | 18 | 3095524 | 320052 | 24874 31 | 1 | 1 667.01/667.40 c 667s | 18 | 3099289 | 320752 | 24874 31 | 1 | 1 669.21/669.53 c 669s | 18 | 3102611 | 321552 | 24874 31 | 1 | 1 671.21/671.59 c 671s | 18 | 3108748 | 322352 | 24874 31 | 1 | 1 673.31/673.69 c 673s | 18 | 3112817 | 323152 | 24874 31 | 1 | 1 675.62/675.96 c 675s | 18 | 3114936 | 323852 | 24874 31 | 1 | 1 677.81/678.17 c 677s | 18 | 3116081 | 324652 | 24874 31 | 1 | 1 679.91/680.26 c 680s | 18 | 3118200 | 325452 | 24874 31 | 1 | 1 682.11/682.41 c 682s | 18 | 3121343 | 326252 | 24874 31 | 1 | 1 684.21/684.55 c 684s | 18 | 3129838 | 327152 | 24874 31 | 1 | 1 686.31/686.61 c 686s | 18 | 3135328 | 328152 | 24874 31 | 1 | 1 688.41/688.74 c 688s | 18 | 3141870 | 328952 | 24874 31 | 1 | 1 690.51/690.89 c 690s | 18 | 3151574 | 329652 | 24874 32 | 1 | 1 692.60/692.91 c 692s | 18 | 3154082 | 330452 | 24874 32 | 1 | 1 694.70/695.02 c 694s | 18 | 3157537 | 331252 | 24874 32 | 1 | 1 696.90/697.27 c 697s | 18 | 3163281 | 332352 | 24874 32 | 1 | 1 698.90/699.29 c 699s | 18 | 3167330 | 333252 | 24874 32 | 1 | 1 701.20/701.53 c 701s | 18 | 3171774 | 334252 | 24874 32 | 1 | 1 703.20/703.57 c 703s | 18 | 3173886 | 335052 | 24874 32 | 1 | 1 705.50/705.80 c 705s | 18 | 3178111 | 336052 | 24874 32 | 1 | 1 707.80/708.17 c 707s | 18 | 3180360 | 336552 | 24874 32 | 1 | 1 709.90/710.20 c 709s | 18 | 3203963 | 337552 | 24874 32 | 1 | 1 711.89/712.29 c 712s | 18 | 3229980 | 338652 | 24874 32 | 1 | 1 714.09/714.45 c 714s | 18 | 3248584 | 339852 | 24874 32 | 1 | 1 716.09/716.45 c 716s | 18 | 3252673 | 340652 | 24874 32 | 1 | 1 718.29/718.62 c 718s | 18 | 3262468 | 341652 | 24874 32 | 1 | 1 721.31/721.62 c 721s | 18 | 3268427 | 342152 | 24874 33 | 1 | 1 723.40/723.80 c 723s | 18 | 3277467 | 343152 | 24874 33 | 1 | 1 725.60/725.92 c 725s | 18 | 3285605 | 344252 | 24874 33 | 1 | 1 727.70/728.09 c 727s | 18 | 3292872 | 345252 | 24874 33 | 1 | 1 729.90/730.25 c 729s | 18 | 3300868 | 346252 | 24874 33 | 1 | 1 732.10/732.44 c 732s | 18 | 3307200 | 347452 | 24874 33 | 1 | 1 734.30/734.61 c 734s | 18 | 3315081 | 348652 | 24874 33 | 1 | 1 736.50/736.86 c 736s | 18 | 3326189 | 349752 | 24874 33 | 1 | 1 738.50/738.87 c 738s | 18 | 3335613 | 350752 | 24874 33 | 1 | 1 740.50/740.88 c 740s | 18 | 3350687 | 351752 | 24874 33 | 1 | 1 742.60/742.93 c 742s | 18 | 3359922 | 352752 | 24874 33 | 1 | 1 744.69/745.04 c 744s | 18 | 3363449 | 353552 | 24874 33 | 1 | 1 746.79/747.15 c 746s | 18 | 3380140 | 354552 | 24874 34 | 1 | 1 748.90/749.28 c 749s | 18 | 3383452 | 355652 | 24874 34 | 1 | 1 751.00/751.37 c 751s | 18 | 3390585 | 356752 | 24874 34 | 1 | 1 753.20/753.54 c 753s | 18 | 3393393 | 357652 | 24874 34 | 1 | 1 755.29/755.60 c 755s | 18 | 3396507 | 358752 | 24874 34 | 1 | 1 757.39/757.75 c 757s | 18 | 3402808 | 359852 | 24874 34 | 1 | 1 759.49/759.83 c 759s | 18 | 3416318 | 360852 | 24874 34 | 1 | 1 761.49/761.84 c 761s | 18 | 3425385 | 361752 | 24874 34 | 1 | 1 763.49/763.87 c 763s | 18 | 3436680 | 362552 | 24874 34 | 1 | 1 765.69/766.06 c 765s | 18 | 3455622 | 363552 | 24874 34 | 1 | 1 767.99/768.30 c 768s | 18 | 3469069 | 364752 | 24874 34 | 1 | 1 770.19/770.53 c 770s | 18 | 3489004 | 365852 | 24874 34 | 1 | 1 772.39/772.72 c 772s | 18 | 3497148 | 366852 | 24874 34 | 1 | 1 774.39/774.78 c 774s | 18 | 3506299 | 367752 | 24874 35 | 1 | 1 776.59/776.98 c 776s | 18 | 3514981 | 368952 | 24874 35 | 1 | 1 778.59/778.99 c 778s | 18 | 3520996 | 370052 | 24874 35 | 1 | 1 780.79/781.12 c 780s | 18 | 3531663 | 371152 | 24874 35 | 1 | 1 782.89/783.23 c 782s | 18 | 3537786 | 372052 | 24874 35 | 1 | 1 785.09/785.45 c 785s | 18 | 3547972 | 372952 | 24874 35 | 1 | 1 787.18/787.58 c 787s | 18 | 3554806 | 373852 | 24874 35 | 1 | 1 789.49/789.82 c 789s | 18 | 3559361 | 374752 | 24874 35 | 1 | 1 791.58/791.96 c 791s | 18 | 3565667 | 375752 | 24874 35 | 1 | 1 793.78/794.13 c 793s | 18 | 3571291 | 376752 | 24874 35 | 1 | 1 795.88/796.27 c 796s | 18 | 3576523 | 377652 | 24874 35 | 1 | 1 797.99/798.31 c 798s | 18 | 3582761 | 378552 | 24874 35 | 1 | 1 800.09/800.44 c 800s | 18 | 3587698 | 379552 | 24874 35 | 1 | 1 802.09/802.48 c 802s | 18 | 3590553 | 380252 | 24874 36 | 1 | 1 804.09/804.49 c 804s | 18 | 3594097 | 381152 | 24874 36 | 1 | 1 806.19/806.59 c 806s | 18 | 3596589 | 382152 | 24874 36 | 1 | 1 808.39/808.78 c 808s | 18 | 3601388 | 383352 | 24874 36 | 1 | 1 810.58/810.92 c 810s | 18 | 3604527 | 384352 | 24874 36 | 1 | 1 814.38/814.73 c 814s | 18 | 3606442 | 384952 | 24874 36 | 1 | 1 817.09/817.48 c 817s | 18 | 3626922 | 386052 | 24874 36 | 1 | 1 819.19/819.54 c 819s | 18 | 3648598 | 387252 | 24874 36 | 1 | 1 821.18/821.58 c 821s | 18 | 3663537 | 388452 | 24874 36 | 1 | 1 823.38/823.76 c 823s | 18 | 3674483 | 389652 | 24874 36 | 1 | 1 825.68/826.02 c 825s | 18 | 3684805 | 390752 | 24874 36 | 1 | 1 827.68/828.07 c 827s | 18 | 3696617 | 391652 | 24874 36 | 1 | 1 829.88/830.24 c 829s | 18 | 3706744 | 392552 | 24874 37 | 1 | 1 831.99/832.33 c 832s | 18 | 3723330 | 393452 | 24874 37 | 1 | 1 834.09/834.45 c 834s | 18 | 3733425 | 394652 | 24874 37 | 1 | 1 836.18/836.50 c 836s | 18 | 3742661 | 395652 | 24874 37 | 1 | 1 838.28/838.62 c 838s | 18 | 3755070 | 396752 | 24874 37 | 1 | 1 840.28/840.64 c 840s | 18 | 3764184 | 397652 | 24874 37 | 1 | 1 842.39/842.78 c 842s | 18 | 3768991 | 398652 | 24874 37 | 1 | 1 844.49/844.87 c 844s | 18 | 3781259 | 399652 | 24874 37 | 1 | 1 846.69/847.05 c 846s | 18 | 3797974 | 400752 | 24874 37 | 1 | 1 848.89/849.22 c 848s | 18 | 3806082 | 401852 | 24874 37 | 1 | 1 850.88/851.29 c 851s | 18 | 3808888 | 402652 | 24874 37 | 1 | 1 853.18/853.57 c 853s | 18 | 3811435 | 403552 | 24874 37 | 1 | 1 855.28/855.67 c 855s | 18 | 3813612 | 404452 | 24874 37 | 1 | 1 857.48/857.81 c 857s | 18 | 3820011 | 405152 | 24874 38 | 1 | 1 859.48/859.82 c 859s | 18 | 3836381 | 406152 | 24874 38 | 1 | 1 861.48/861.88 c 861s | 18 | 3852659 | 407252 | 24874 38 | 1 | 1 863.57/863.97 c 863s | 18 | 3860201 | 408252 | 24874 38 | 1 | 1 865.77/866.10 c 865s | 18 | 3869796 | 409352 | 24874 38 | 1 | 1 867.77/868.16 c 867s | 18 | 3876749 | 410352 | 24874 38 | 1 | 1 869.88/870.29 c 870s | 18 | 3889051 | 411652 | 24874 38 | 1 | 1 872.17/872.51 c 872s | 18 | 3892891 | 412652 | 24874 38 | 1 | 1 874.18/874.58 c 874s | 18 | 3899627 | 413652 | 24874 38 | 1 | 1 876.27/876.69 c 876s | 18 | 3902583 | 414652 | 24874 38 | 1 | 1 878.47/878.82 c 878s | 18 | 3903812 | 415352 | 24874 38 | 1 | 1 880.57/880.97 c 880s | 18 | 3906816 | 416252 | 24874 38 | 1 | 1 882.87/883.22 c 882s | 18 | 3908729 | 417152 | 24874 38 | 1 | 1 885.07/885.41 c 885s | 18 | 3909828 | 417852 | 24874 39 | 1 | 1 887.17/887.56 c 887s | 18 | 3910629 | 418252 | 24874 39 | 1 | 1 889.37/889.78 c 889s | 18 | 3918111 | 419352 | 24874 39 | 1 | 1 891.37/891.79 c 891s | 18 | 3925867 | 420452 | 24874 39 | 1 | 1 893.57/893.97 c 893s | 18 | 3931089 | 421452 | 24874 39 | 1 | 1 895.77/896.10 c 895s | 18 | 3936584 | 422552 | 24874 39 | 1 | 1 897.87/898.21 c 897s | 18 | 3938995 | 423652 | 24874 39 | 1 | 1 899.87/900.29 c 900s | 18 | 3946550 | 424852 | 24874 39 | 1 | 1 901.97/902.39 c 902s | 18 | 3954401 | 426052 | 24874 39 | 1 | 1 904.17/904.58 c 904s | 18 | 3959526 | 427052 | 24874 39 | 1 | 1 906.27/906.66 c 906s | 18 | 3963319 | 427952 | 24874 39 | 1 | 1 908.47/908.82 c 908s | 18 | 3969583 | 428952 | 24874 39 | 1 | 1 910.48/910.88 c 910s | 18 | 3973556 | 429752 | 24874 39 | 1 | 1 912.57/912.91 c 912s | 18 | 3975524 | 430452 | 24874 40 | 1 | 1 914.67/915.04 c 914s | 18 | 3977656 | 431252 | 24874 40 | 1 | 1 916.77/917.18 c 916s | 18 | 3979662 | 432252 | 24874 40 | 1 | 1 918.87/919.24 c 918s | 18 | 3983904 | 433252 | 24874 40 | 1 | 1 920.87/921.26 c 921s | 18 | 3988354 | 434152 | 24874 40 | 1 | 1 922.87/923.28 c 923s | 18 | 3993843 | 435152 | 24874 40 | 1 | 1 924.97/925.30 c 925s | 18 | 3995951 | 436052 | 24874 40 | 1 | 1 926.97/927.33 c 927s | 18 | 3998663 | 437052 | 24874 40 | 1 | 1 929.06/929.50 c 929s | 18 | 4002017 | 438152 | 24874 40 | 1 | 1 931.26/931.60 c 931s | 18 | 4003522 | 439152 | 24874 40 | 1 | 1 933.46/933.83 c 933s | 18 | 4008057 | 440252 | 24874 40 | 1 | 1 935.56/935.96 c 935s | 18 | 4011456 | 441152 | 24874 40 | 1 | 1 937.66/938.04 c 937s | 18 | 4020622 | 442052 | 27362 40 | 1 | 1 939.86/940.24 c 939s | 18 | 4026713 | 442452 | 27362 40 | 1 | 1 941.96/942.32 c 942s | 18 | 4040437 | 443452 | 27362 40 | 1 | 1 944.16/944.54 c 944s | 18 | 4046575 | 444352 | 27362 40 | 1 | 1 944.46/944.84 c 944s | 19 | 4047713 | 444482 | 27362 40 | 1 | 1 947.16/947.54 c 947s | 19 | 4052619 | 445082 | 27362 41 | 1 | 1 949.37/949.72 c 949s | 19 | 4073471 | 445882 | 27362 41 | 1 | 1 951.47/951.86 c 951s | 19 | 4093005 | 446882 | 27362 41 | 1 | 1 953.56/953.90 c 953s | 19 | 4101564 | 447782 | 27362 41 | 1 | 1 955.76/956.11 c 955s | 19 | 4121365 | 448782 | 27362 41 | 1 | 1 958.06/958.42 c 958s | 19 | 4132857 | 449782 | 27362 41 | 1 | 1 960.36/960.72 c 960s | 19 | 4140424 | 450682 | 27362 41 | 1 | 1 962.56/962.99 c 962s | 19 | 4142918 | 451582 | 27362 41 | 1 | 1 964.66/965.08 c 964s | 19 | 4164617 | 452582 | 27362 41 | 1 | 1 966.76/967.16 c 966s | 19 | 4172851 | 453482 | 27362 41 | 1 | 1 968.96/969.30 c 969s | 19 | 4192021 | 454582 | 27362 41 | 1 | 1 970.97/971.35 c 971s | 19 | 4197739 | 455482 | 27362 41 | 1 | 1 973.06/973.46 c 973s | 19 | 4200838 | 456382 | 27362 41 | 1 | 1 975.26/975.60 c 975s | 19 | 4202988 | 457182 | 27362 41 | 1 | 1 977.36/977.78 c 977s | 19 | 4205987 | 457982 | 27362 41 | 1 | 1 979.56/979.98 c 979s | 19 | 4208193 | 458882 | 27362 41 | 1 | 1 981.76/982.11 c 981s | 19 | 4210499 | 459482 | 27362 42 | 1 | 1 983.76/984.12 c 983s | 19 | 4212611 | 460182 | 27362 42 | 1 | 1 985.96/986.34 c 986s | 19 | 4215672 | 461082 | 27362 42 | 1 | 1 988.15/988.52 c 988s | 19 | 4218312 | 462082 | 27362 42 | 1 | 1 990.46/990.84 c 990s | 19 | 4225419 | 462482 | 27362 42 | 1 | 1 992.75/993.16 c 992s | 19 | 4246448 | 463182 | 27362 42 | 1 | 1 994.85/995.26 c 995s | 19 | 4271411 | 464382 | 27362 42 | 1 | 1 996.85/997.28 c 997s | 19 | 4284266 | 465482 | 27362 42 | 1 | 1 999.05/999.47 c 999s | 19 | 4295898 | 466282 | 27362 42 | 1 | 1 1002.15/1002.57 c 1002s | 19 | 4307641 | 467082 | 27362 42 | 1 | 1 1004.25/1004.68 c 1004s | 19 | 4314779 | 468082 | 27362 42 | 1 | 1 1006.45/1006.89 c 1006s | 19 | 4341774 | 469182 | 27362 42 | 1 | 1 1008.65/1009.05 c 1008s | 19 | 4354076 | 470082 | 27362 42 | 1 | 1 1010.66/1011.09 c 1010s | 19 | 4359771 | 470882 | 27362 42 | 1 | 1 1012.86/1013.22 c 1012s | 19 | 4364448 | 471682 | 27362 42 | 1 | 1 1014.85/1015.25 c 1015s | 19 | 4370471 | 472482 | 27362 42 | 1 | 1 1016.86/1017.27 c 1017s | 19 | 4379186 | 473082 | 27362 43 | 1 | 1 1019.06/1019.47 c 1019s | 19 | 4401508 | 474082 | 27362 43 | 1 | 1 1021.15/1021.59 c 1021s | 19 | 4426673 | 475182 | 27362 43 | 1 | 1 1023.35/1023.74 c 1023s | 19 | 4438769 | 476482 | 27362 43 | 1 | 1 1025.45/1025.89 c 1025s | 19 | 4451419 | 477482 | 27362 43 | 1 | 1 1027.65/1028.04 c 1027s | 19 | 4473965 | 478382 | 27362 43 | 1 | 1 1029.75/1030.11 c 1029s | 19 | 4485370 | 479282 | 27362 43 | 1 | 1 1031.75/1032.17 c 1031s | 19 | 4491490 | 480082 | 27362 43 | 1 | 1 1034.05/1034.43 c 1034s | 19 | 4500625 | 480982 | 27362 43 | 1 | 1 1036.15/1036.58 c 1036s | 19 | 4505064 | 481782 | 27362 43 | 1 | 1 1038.25/1038.61 c 1038s | 19 | 4513763 | 482582 | 27362 43 | 1 | 1 1040.36/1040.71 c 1040s | 19 | 4529445 | 483482 | 27362 43 | 1 | 1 1042.45/1042.89 c 1042s | 19 | 4542402 | 484382 | 27362 43 | 1 | 1 1044.85/1045.21 c 1044s | 19 | 4550067 | 485282 | 27362 43 | 1 | 1 1046.85/1047.22 c 1046s | 19 | 4555160 | 486182 | 27362 43 | 1 | 1 1049.05/1049.45 c 1049s | 19 | 4559343 | 486782 | 27362 44 | 1 | 1 1051.15/1051.59 c 1051s | 19 | 4566725 | 487582 | 27362 44 | 1 | 1 1053.35/1053.79 c 1053s | 19 | 4584098 | 488682 | 27362 44 | 1 | 1 1055.55/1055.93 c 1055s | 19 | 4596885 | 489482 | 27362 44 | 1 | 1 1057.65/1058.01 c 1057s | 19 | 4624359 | 490482 | 27362 44 | 1 | 1 1059.65/1060.05 c 1059s | 19 | 4644016 | 491482 | 27362 44 | 1 | 1 1061.94/1062.32 c 1062s | 19 | 4655511 | 492382 | 27362 44 | 1 | 1 1064.14/1064.54 c 1064s | 19 | 4664742 | 493282 | 27362 44 | 1 | 1 1066.44/1066.84 c 1066s | 19 | 4674446 | 494082 | 27362 44 | 1 | 1 1068.64/1069.01 c 1068s | 19 | 4685255 | 494882 | 27362 44 | 1 | 1 1070.94/1071.34 c 1071s | 19 | 4690785 | 495682 | 27362 44 | 1 | 1 1073.25/1073.62 c 1073s | 19 | 4701234 | 496582 | 27362 44 | 1 | 1 1075.45/1075.86 c 1075s | 19 | 4710812 | 497282 | 27362 44 | 1 | 1 1077.44/1077.88 c 1077s | 19 | 4714081 | 497882 | 27362 44 | 1 | 1 1079.74/1080.18 c 1079s | 19 | 4715592 | 498582 | 27362 44 | 1 | 1 1081.84/1082.24 c 1081s | 19 | 4719887 | 499282 | 27362 44 | 1 | 1 1084.14/1084.50 c 1084s | 19 | 4722458 | 499982 | 27362 44 | 1 | 1 1086.14/1086.56 c 1086s | 19 | 4724128 | 500582 | 27362 44 | 1 | 1 1088.75/1089.18 c 1088s | 19 | 4728822 | 501182 | 27362 45 | 1 | 1 1090.85/1091.23 c 1090s | 19 | 4748296 | 501982 | 27362 45 | 1 | 1 1092.94/1093.34 c 1093s | 19 | 4776398 | 502982 | 27362 45 | 1 | 1 1095.15/1095.57 c 1095s | 19 | 4787492 | 503782 | 27362 45 | 1 | 1 1097.35/1097.78 c 1097s | 19 | 4794965 | 504482 | 27362 45 | 1 | 1 1099.44/1099.82 c 1099s | 19 | 4822639 | 505582 | 27362 45 | 1 | 1 1101.54/1101.95 c 1101s | 19 | 4838323 | 506682 | 27362 45 | 1 | 1 1103.54/1103.97 c 1103s | 19 | 4845292 | 507682 | 27362 45 | 1 | 1 1105.64/1106.04 c 1105s | 19 | 4854539 | 508782 | 27362 45 | 1 | 1 1107.74/1108.12 c 1107s | 19 | 4870266 | 509782 | 27362 45 | 1 | 1 1109.74/1110.16 c 1109s | 19 | 4877074 | 510482 | 27362 45 | 1 | 1 1111.75/1112.16 c 1111s | 19 | 4893586 | 511282 | 27362 45 | 1 | 1 1113.95/1114.35 c 1114s | 19 | 4912651 | 512282 | 27362 45 | 1 | 1 1115.94/1116.39 c 1116s | 19 | 4918928 | 513082 | 27362 45 | 1 | 1 1118.14/1118.51 c 1118s | 19 | 4933836 | 514182 | 27362 45 | 1 | 1 1120.14/1120.53 c 1120s | 19 | 4939042 | 514782 | 27362 46 | 1 | 1 1122.14/1122.58 c 1122s | 19 | 4946346 | 515682 | 27362 46 | 1 | 1 1124.14/1124.59 c 1124s | 19 | 4956457 | 516582 | 27362 46 | 1 | 1 1126.34/1126.78 c 1126s | 19 | 4969251 | 517782 | 27362 46 | 1 | 1 1128.44/1128.80 c 1128s | 19 | 4975278 | 518582 | 27362 46 | 1 | 1 1130.64/1131.01 c 1130s | 19 | 4988317 | 519682 | 27362 46 | 1 | 1 1132.64/1133.10 c 1132s | 19 | 4995266 | 520682 | 27362 46 | 1 | 1 1134.74/1135.11 c 1134s | 19 | 5004737 | 521582 | 27362 46 | 1 | 1 1136.94/1137.36 c 1137s | 19 | 5023063 | 522482 | 27362 46 | 1 | 1 1139.04/1139.49 c 1139s | 19 | 5039107 | 523482 | 27362 46 | 1 | 1 1141.13/1141.57 c 1141s | 19 | 5048782 | 524582 | 27362 46 | 1 | 1 1143.43/1143.84 c 1143s | 19 | 5053374 | 525682 | 27362 46 | 1 | 1 1145.43/1145.85 c 1145s | 19 | 5056031 | 526482 | 27362 46 | 1 | 1 1147.63/1148.09 c 1147s | 19 | 5058641 | 527282 | 27362 46 | 1 | 1 1150.13/1150.53 c 1150s | 19 | 5067966 | 528182 | 27362 47 | 1 | 1 1152.23/1152.67 c 1152s | 19 | 5071032 | 528482 | 27362 47 | 1 | 1 1154.43/1154.83 c 1154s | 19 | 5089937 | 529482 | 27362 47 | 1 | 1 1156.43/1156.86 c 1156s | 19 | 5101624 | 530382 | 27362 47 | 1 | 1 1158.43/1158.89 c 1158s | 19 | 5110211 | 531382 | 27362 47 | 1 | 1 1160.53/1160.90 c 1160s | 19 | 5128435 | 532482 | 27362 47 | 1 | 1 1162.63/1163.05 c 1162s | 19 | 5139585 | 533382 | 27362 47 | 1 | 1 1164.73/1165.18 c 1164s | 19 | 5146480 | 534282 | 27362 47 | 1 | 1 1167.03/1167.42 c 1167s | 19 | 5159333 | 535182 | 27362 47 | 1 | 1 1169.23/1169.60 c 1169s | 19 | 5164923 | 535982 | 27362 47 | 1 | 1 1171.23/1171.65 c 1171s | 19 | 5170226 | 536782 | 27362 47 | 1 | 1 1173.43/1173.80 c 1173s | 19 | 5184821 | 537682 | 27362 47 | 1 | 1 1175.42/1175.81 c 1175s | 19 | 5197939 | 538682 | 27362 47 | 1 | 1 1177.62/1178.00 c 1177s | 19 | 5209261 | 539582 | 27362 47 | 1 | 1 1179.62/1180.01 c 1179s | 19 | 5220918 | 540382 | 27362 47 | 1 | 1 1181.72/1182.15 c 1181s | 19 | 5239830 | 541482 | 27362 47 | 1 | 1 1183.82/1184.23 c 1183s | 19 | 5250674 | 542282 | 27362 48 | 1 | 1 1185.82/1186.26 c 1186s | 19 | 5262266 | 543382 | 27362 48 | 1 | 1 1188.02/1188.40 c 1188s | 19 | 5271329 | 544382 | 27362 48 | 1 | 1 1190.22/1190.60 c 1190s | 19 | 5285600 | 545482 | 27362 48 | 1 | 1 1192.22/1192.68 c 1192s | 19 | 5297223 | 546482 | 27362 48 | 1 | 1 1194.42/1194.89 c 1194s | 19 | 5302836 | 547482 | 27362 48 | 1 | 1 1196.53/1196.95 c 1196s | 19 | 5306635 | 548382 | 27362 48 | 1 | 1 1198.73/1199.16 c 1198s | 19 | 5313088 | 549282 | 27362 48 | 1 | 1 1201.43/1201.88 c 1201s | 19 | 5316588 | 550282 | 27362 48 | 1 | 1 1203.63/1204.04 c 1203s | 19 | 5328163 | 551282 | 27362 48 | 1 | 1 1205.73/1206.14 c 1205s | 19 | 5337800 | 552182 | 27362 48 | 1 | 1 1207.93/1208.37 c 1208s | 19 | 5343932 | 553082 | 27362 48 | 1 | 1 1210.03/1210.43 c 1210s | 19 | 5354483 | 553882 | 27362 48 | 1 | 1 1212.13/1212.58 c 1212s | 19 | 5368344 | 554982 | 27362 48 | 1 | 1 1214.23/1214.61 c 1214s | 19 | 5376615 | 555782 | 27362 48 | 1 | 1 1216.33/1216.76 c 1216s | 19 | 5381969 | 556482 | 27362 49 | 1 | 1 1218.53/1218.94 c 1218s | 19 | 5383982 | 557282 | 27362 49 | 1 | 1 1220.53/1220.99 c 1220s | 19 | 5392506 | 558082 | 27362 49 | 1 | 1 1222.63/1223.07 c 1222s | 19 | 5398845 | 558982 | 27362 49 | 1 | 1 1224.62/1225.07 c 1224s | 19 | 5409033 | 559882 | 27362 49 | 1 | 1 1226.72/1227.16 c 1226s | 19 | 5412512 | 560782 | 27362 49 | 1 | 1 1228.72/1229.17 c 1228s | 19 | 5423714 | 561682 | 27362 49 | 1 | 1 1230.82/1231.30 c 1231s | 19 | 5438231 | 562682 | 27362 49 | 1 | 1 1233.02/1233.46 c 1233s | 19 | 5450588 | 563882 | 27362 49 | 1 | 1 1235.22/1235.62 c 1235s | 19 | 5466885 | 564882 | 27362 49 | 1 | 1 1237.42/1237.85 c 1237s | 19 | 5472595 | 566082 | 27362 49 | 1 | 1 1239.72/1240.11 c 1239s | 19 | 5476983 | 566982 | 27362 49 | 1 | 1 1241.82/1242.28 c 1242s | 19 | 5482832 | 567882 | 27362 49 | 1 | 1 1244.12/1244.56 c 1244s | 19 | 5488302 | 568782 | 27362 49 | 1 | 1 1246.42/1246.83 c 1246s | 19 | 5496101 | 569682 | 27362 49 | 1 | 1 1248.42/1248.89 c 1248s | 19 | 5497859 | 570282 | 27362 50 | 1 | 1 1250.52/1251.00 c 1250s | 19 | 5500270 | 570982 | 27362 50 | 1 | 1 1252.72/1253.19 c 1252s | 19 | 5508420 | 571982 | 27362 50 | 1 | 1 1254.92/1255.33 c 1255s | 19 | 5522978 | 573182 | 27362 50 | 1 | 1 1256.93/1257.39 c 1257s | 19 | 5527474 | 573982 | 27362 50 | 1 | 1 1259.12/1259.59 c 1259s | 19 | 5530401 | 574782 | 27362 50 | 1 | 1 1261.42/1261.82 c 1261s | 19 | 5534059 | 575582 | 27362 50 | 1 | 1 1263.42/1263.85 c 1263s | 19 | 5544020 | 576582 | 27362 50 | 1 | 1 1265.62/1266.03 c 1265s | 19 | 5559596 | 577482 | 27362 50 | 1 | 1 1267.82/1268.28 c 1268s | 19 | 5570449 | 578382 | 27362 50 | 1 | 1 1270.02/1270.43 c 1270s | 19 | 5575046 | 579182 | 27362 50 | 1 | 1 1272.21/1272.63 c 1272s | 19 | 5583918 | 580082 | 27362 50 | 1 | 1 1274.31/1274.71 c 1274s | 19 | 5592053 | 580982 | 27362 50 | 1 | 1 1276.31/1276.77 c 1276s | 19 | 5603176 | 581782 | 27362 50 | 1 | 1 1278.41/1278.85 c 1278s | 19 | 5613144 | 582482 | 27362 50 | 1 | 1 1280.51/1280.91 c 1280s | 19 | 5618603 | 583282 | 27362 50 | 1 | 1 1282.51/1282.99 c 1282s | 19 | 5625702 | 583782 | 27362 51 | 1 | 1 1284.71/1285.16 c 1284s | 19 | 5630778 | 584682 | 27362 51 | 1 | 1 1286.81/1287.21 c 1286s | 19 | 5635519 | 585582 | 27362 51 | 1 | 1 1288.82/1289.22 c 1288s | 19 | 5641967 | 586482 | 27362 51 | 1 | 1 1290.81/1291.23 c 1290s | 19 | 5646354 | 587282 | 27362 51 | 1 | 1 1292.91/1293.38 c 1293s | 19 | 5652051 | 588082 | 27362 51 | 1 | 1 1295.11/1295.54 c 1295s | 19 | 5656373 | 588882 | 27362 51 | 1 | 1 1297.31/1297.72 c 1297s | 19 | 5661754 | 589682 | 27362 51 | 1 | 1 1299.41/1299.89 c 1299s | 19 | 5670445 | 590582 | 27362 51 | 1 | 1 1301.51/1301.92 c 1301s | 19 | 5684892 | 591382 | 27362 51 | 1 | 1 1303.71/1304.15 c 1303s | 19 | 5702498 | 592182 | 27362 51 | 1 | 1 1305.81/1306.26 c 1306s | 19 | 5714265 | 592982 | 27362 51 | 1 | 1 1307.81/1308.26 c 1308s | 19 | 5718850 | 593682 | 27362 51 | 1 | 1 1310.01/1310.46 c 1310s | 19 | 5725788 | 594582 | 27362 51 | 1 | 1 1312.11/1312.51 c 1312s | 19 | 5732662 | 595282 | 27362 51 | 1 | 1 1314.21/1314.62 c 1314s | 19 | 5735950 | 595982 | 27362 51 | 1 | 1 1316.31/1316.77 c 1316s | 19 | 5739668 | 596782 | 27362 51 | 1 | 1 1318.61/1319.06 c 1318s | 19 | 5748112 | 597582 | 27362 52 | 1 | 1 1320.81/1321.25 c 1320s | 19 | 5756276 | 598482 | 27362 52 | 1 | 1 1322.91/1323.36 c 1323s | 19 | 5762752 | 599482 | 27362 52 | 1 | 1 1325.00/1325.49 c 1325s | 19 | 5772208 | 600282 | 27362 52 | 1 | 1 1327.10/1327.52 c 1327s | 19 | 5779464 | 601282 | 27362 52 | 1 | 1 1329.30/1329.75 c 1329s | 19 | 5787730 | 602082 | 27362 52 | 1 | 1 1331.40/1331.85 c 1331s | 19 | 5792389 | 602782 | 27362 52 | 1 | 1 1333.50/1333.93 c 1333s | 19 | 5797417 | 603582 | 27362 52 | 1 | 1 1335.50/1335.97 c 1335s | 19 | 5799350 | 604282 | 27362 52 | 1 | 1 1337.50/1337.97 c 1337s | 19 | 5804848 | 605082 | 27362 52 | 1 | 1 1339.60/1340.01 c 1339s | 19 | 5808863 | 605782 | 27362 52 | 1 | 1 1341.61/1342.09 c 1341s | 19 | 5813907 | 606582 | 27362 52 | 1 | 1 1343.70/1344.19 c 1343s | 19 | 5815449 | 607282 | 27362 52 | 1 | 1 1346.01/1346.47 c 1346s | 19 | 5818356 | 608082 | 27362 52 | 1 | 1 1348.10/1348.53 c 1348s | 19 | 5823912 | 608782 | 27362 52 | 1 | 1 1350.10/1350.59 c 1350s | 19 | 5826038 | 609382 | 27362 52 | 1 | 1 1352.20/1352.61 c 1352s | 19 | 5829480 | 609982 | 27362 52 | 1 | 1 1354.50/1354.90 c 1354s | 19 | 5833976 | 610682 | 27362 52 | 1 | 1 1356.60/1357.00 c 1356s | 19 | 5836866 | 611382 | 27362 52 | 1 | 1 1358.90/1359.32 c 1359s | 19 | 5841030 | 612082 | 27362 53 | 1 | 1 1360.90/1361.32 c 1361s | 19 | 5843594 | 612782 | 27362 53 | 1 | 1 1363.10/1363.53 c 1363s | 19 | 5846542 | 613582 | 27362 53 | 1 | 1 1365.20/1365.68 c 1365s | 19 | 5854374 | 614382 | 27362 53 | 1 | 1 1367.40/1367.84 c 1367s | 19 | 5860885 | 615182 | 27362 53 | 1 | 1 1369.49/1369.90 c 1369s | 19 | 5865691 | 616082 | 27362 53 | 1 | 1 1371.59/1372.06 c 1371s | 19 | 5869930 | 616882 | 27362 53 | 1 | 1 1373.79/1374.20 c 1373s | 19 | 5881100 | 617582 | 27362 53 | 1 | 1 1375.80/1376.24 c 1375s | 19 | 5890451 | 618182 | 27362 53 | 1 | 1 1377.90/1378.31 c 1378s | 19 | 5902271 | 618982 | 27362 53 | 1 | 1 1379.99/1380.41 c 1380s | 19 | 5910709 | 619782 | 27362 53 | 1 | 1 1381.99/1382.48 c 1382s | 19 | 5915229 | 620582 | 27362 53 | 1 | 1 1384.09/1384.52 c 1384s | 19 | 5920638 | 621182 | 27362 53 | 1 | 1 1386.19/1386.63 c 1386s | 19 | 5923833 | 621982 | 27362 53 | 1 | 1 1388.19/1388.67 c 1388s | 19 | 5925426 | 622582 | 27362 53 | 1 | 1 1390.49/1390.90 c 1390s | 19 | 5927697 | 623382 | 27362 53 | 1 | 1 1392.69/1393.16 c 1392s | 19 | 5929697 | 624082 | 27362 53 | 1 | 1 1394.90/1395.39 c 1395s | 19 | 5931481 | 624782 | 27362 53 | 1 | 1 1397.30/1397.77 c 1397s | 19 | 5933111 | 625382 | 27362 54 | 1 | 1 1399.50/1399.94 c 1399s | 19 | 5934338 | 625982 | 27362 54 | 1 | 1 1401.80/1402.23 c 1401s | 19 | 5935245 | 626682 | 27362 54 | 1 | 1 1405.80/1406.30 c 1406s | 19 | 5936221 | 626882 | 27362 54 | 1 | 1 1409.49/1409.96 c 1409s | 19 | 5937963 | 626982 | 27362 54 | 1 | 1 1411.59/1412.04 c 1411s | 19 | 5959020 | 627982 | 27362 54 | 1 | 1 1413.79/1414.20 c 1413s | 19 | 5970130 | 628682 | 27362 54 | 1 | 1 1415.79/1416.25 c 1416s | 19 | 5986468 | 629782 | 27362 54 | 1 | 1 1420.10/1420.59 c 1420s | 19 | 5991554 | 630182 | 27362 54 | 1 | 1 1422.20/1422.60 c 1422s | 19 | 6000596 | 631082 | 27362 54 | 1 | 1 1424.29/1424.73 c 1424s | 19 | 6010354 | 631982 | 27362 54 | 1 | 1 1426.30/1426.78 c 1426s | 19 | 6018578 | 632782 | 27362 54 | 1 | 1 1428.39/1428.85 c 1428s | 19 | 6026393 | 633582 | 27362 54 | 1 | 1 1430.59/1431.03 c 1430s | 19 | 6034529 | 634582 | 27362 54 | 1 | 1 1432.69/1433.14 c 1432s | 19 | 6041063 | 635482 | 27362 54 | 1 | 1 1434.89/1435.34 c 1435s | 19 | 6047821 | 636282 | 27362 54 | 1 | 1 1437.09/1437.53 c 1437s | 19 | 6050177 | 637082 | 27362 54 | 1 | 1 1439.19/1439.70 c 1439s | 19 | 6062430 | 637982 | 27362 54 | 1 | 1 1441.39/1441.87 c 1441s | 19 | 6072851 | 638882 | 27362 54 | 1 | 1 1443.69/1444.13 c 1443s | 19 | 6075123 | 639582 | 27362 55 | 1 | 1 1445.69/1446.14 c 1445s | 19 | 6079653 | 640382 | 27362 55 | 1 | 1 1447.69/1448.18 c 1447s | 19 | 6090510 | 641282 | 27362 55 | 1 | 1 1449.69/1450.18 c 1449s | 19 | 6103991 | 642382 | 27362 55 | 1 | 1 1451.79/1452.29 c 1452s | 19 | 6112069 | 643282 | 27362 55 | 1 | 1 1454.09/1454.55 c 1454s | 19 | 6124607 | 644482 | 27362 55 | 1 | 1 1456.19/1456.69 c 1456s | 19 | 6127281 | 645182 | 27362 55 | 1 | 1 1458.49/1458.90 c 1458s | 19 | 6130875 | 646082 | 27362 55 | 1 | 1 1460.49/1460.99 c 1460s | 19 | 6148844 | 646982 | 27362 55 | 1 | 1 1462.69/1463.18 c 1462s | 19 | 6163231 | 647782 | 27362 55 | 1 | 1 1464.99/1465.41 c 1465s | 19 | 6172365 | 648782 | 27362 55 | 1 | 1 1467.19/1467.62 c 1467s | 19 | 6175677 | 649682 | 27362 55 | 1 | 1 1469.29/1469.75 c 1469s | 19 | 6195419 | 650482 | 27362 55 | 1 | 1 1471.49/1471.95 c 1471s | 19 | 6211709 | 651282 | 27362 55 | 1 | 1 1473.69/1474.17 c 1473s | 19 | 6225873 | 652082 | 27362 55 | 1 | 1 1476.28/1476.76 c 1476s | 19 | 6234503 | 652982 | 27362 56 | 1 | 1 1478.38/1478.86 c 1478s | 19 | 6247408 | 654082 | 27362 56 | 1 | 1 1480.38/1480.89 c 1480s | 19 | 6261138 | 654782 | 27362 56 | 1 | 1 1482.49/1482.94 c 1482s | 19 | 6277987 | 655582 | 27362 56 | 1 | 1 1484.59/1485.02 c 1484s | 19 | 6298219 | 656482 | 27362 56 | 1 | 1 1486.68/1487.13 c 1486s | 19 | 6312175 | 657382 | 27362 56 | 1 | 1 1488.88/1489.32 c 1489s | 19 | 6321260 | 657982 | 27362 56 | 1 | 1 1491.19/1491.63 c 1491s | 19 | 6334378 | 658782 | 27362 56 | 1 | 1 1493.28/1493.78 c 1493s | 19 | 6342779 | 659682 | 27362 56 | 1 | 1 1495.48/1495.97 c 1495s | 19 | 6351359 | 660582 | 27362 56 | 1 | 1 1497.58/1498.00 c 1497s | 19 | 6364265 | 661382 | 27362 56 | 1 | 1 1499.78/1500.22 c 1499s | 19 | 6383016 | 662382 | 30099 56 | 1 | 1 1501.78/1502.28 c 1502s | 19 | 6398953 | 663182 | 30099 56 | 1 | 1 1503.88/1504.38 c 1504s | 19 | 6417731 | 663982 | 30099 56 | 1 | 1 1505.98/1506.42 c 1506s | 19 | 6433555 | 664782 | 30099 56 | 1 | 1 1507.98/1508.50 c 1508s | 19 | 6445432 | 665682 | 30099 56 | 1 | 1 1510.08/1510.50 c 1510s | 19 | 6457825 | 666382 | 30099 56 | 1 | 1 1510.98/1511.46 c 1511s | 20 | 6469608 | 666827 | 30099 56 | 1 | 1 1513.08/1513.56 c 1513s | 20 | 6479777 | 667527 | 30099 56 | 1 | 1 1515.18/1515.65 c 1515s | 20 | 6485944 | 668527 | 30099 56 | 1 | 1 1517.98/1518.43 c 1518s | 20 | 6491239 | 669327 | 30099 57 | 1 | 1 1520.67/1521.13 c 1520s | 20 | 6500506 | 669927 | 30099 57 | 1 | 1 1522.67/1523.16 c 1522s | 20 | 6503933 | 670627 | 30099 57 | 1 | 1 1524.77/1525.28 c 1525s | 20 | 6507185 | 671427 | 30099 57 | 1 | 1 1526.97/1527.45 c 1527s | 20 | 6517855 | 672227 | 30099 57 | 1 | 1 1529.17/1529.64 c 1529s | 20 | 6530049 | 673027 | 30099 57 | 1 | 1 1531.27/1531.78 c 1531s | 20 | 6540580 | 673827 | 30099 57 | 1 | 1 1533.37/1533.80 c 1533s | 20 | 6547886 | 674627 | 30099 57 | 1 | 1 1535.47/1535.91 c 1535s | 20 | 6556107 | 675527 | 30099 57 | 1 | 1 1537.58/1538.06 c 1537s | 20 | 6569886 | 676427 | 30099 57 | 1 | 1 1539.59/1540.09 c 1539s | 20 | 6576333 | 677027 | 30099 57 | 1 | 1 1541.58/1542.10 c 1541s | 20 | 6580208 | 677827 | 30099 57 | 1 | 1 1543.68/1544.14 c 1543s | 20 | 6587063 | 678627 | 30099 57 | 1 | 1 1545.78/1546.22 c 1545s | 20 | 6602121 | 679427 | 30099 57 | 1 | 1 1547.88/1548.32 c 1548s | 20 | 6611158 | 680327 | 30099 57 | 1 | 1 1549.98/1550.46 c 1550s | 20 | 6621260 | 681127 | 30099 57 | 1 | 1 1552.08/1552.54 c 1552s | 20 | 6626845 | 682027 | 30099 57 | 1 | 1 1554.18/1554.68 c 1554s | 20 | 6635566 | 683127 | 30099 57 | 1 | 1 1556.28/1556.75 c 1556s | 20 | 6644293 | 683927 | 30099 57 | 1 | 1 1558.88/1559.33 c 1559s | 20 | 6650752 | 684627 | 30099 58 | 1 | 1 1560.97/1561.43 c 1561s | 20 | 6662363 | 685427 | 30099 58 | 1 | 1 1562.97/1563.43 c 1563s | 20 | 6669523 | 686227 | 30099 58 | 1 | 1 1565.07/1565.59 c 1565s | 20 | 6680378 | 687227 | 30099 58 | 1 | 1 1567.18/1567.69 c 1567s | 20 | 6685173 | 688227 | 30099 58 | 1 | 1 1569.38/1569.86 c 1569s | 20 | 6693304 | 689127 | 30099 58 | 1 | 1 1571.58/1572.04 c 1571s | 20 | 6696975 | 689927 | 30099 58 | 1 | 1 1573.78/1574.26 c 1574s | 20 | 6703047 | 690827 | 30099 58 | 1 | 1 1575.98/1576.46 c 1576s | 20 | 6705641 | 691627 | 30099 58 | 1 | 1 1578.08/1578.52 c 1578s | 20 | 6706375 | 692227 | 30099 58 | 1 | 1 1580.28/1580.75 c 1580s | 20 | 6710322 | 692927 | 30099 58 | 1 | 1 1582.58/1583.02 c 1582s | 20 | 6714287 | 693627 | 30099 58 | 1 | 1 1584.57/1585.08 c 1584s | 20 | 6717238 | 694327 | 30099 58 | 1 | 1 1586.88/1587.35 c 1587s | 20 | 6718038 | 695027 | 30099 58 | 1 | 1 1588.87/1589.39 c 1589s | 20 | 6719419 | 695627 | 30099 58 | 1 | 1 1590.97/1591.46 c 1591s | 20 | 6721432 | 696327 | 30099 58 | 1 | 1 1592.97/1593.48 c 1593s | 20 | 6723260 | 696927 | 30099 58 | 1 | 1 1595.17/1595.62 c 1595s | 20 | 6724230 | 697527 | 30099 58 | 1 | 1 1597.37/1597.86 c 1597s | 20 | 6724838 | 698127 | 30099 58 | 1 | 1 1599.47/1599.95 c 1599s | 20 | 6725453 | 698727 | 30099 58 | 1 | 1 1601.67/1602.16 c 1601s | 20 | 6726047 | 699327 | 30099 58 | 1 | 1 1603.77/1604.24 c 1603s | 20 | 6726644 | 699927 | 30099 58 | 1 | 1 1605.87/1606.32 c 1606s | 20 | 6727156 | 700427 | 30099 59 | 1 | 1 1607.87/1608.35 c 1608s | 20 | 6727756 | 701027 | 30099 59 | 1 | 1 1609.87/1610.39 c 1610s | 20 | 6728347 | 701627 | 30099 59 | 1 | 1 1612.27/1612.78 c 1612s | 20 | 6730594 | 702327 | 30099 59 | 1 | 1 1614.47/1614.97 c 1614s | 20 | 6733669 | 703027 | 30099 59 | 1 | 1 1616.76/1617.20 c 1616s | 20 | 6737383 | 703727 | 30099 59 | 1 | 1 1618.77/1619.30 c 1619s | 20 | 6747334 | 704327 | 30099 59 | 1 | 1 1620.86/1621.37 c 1621s | 20 | 6755868 | 705227 | 30099 59 | 1 | 1 1622.96/1623.49 c 1623s | 20 | 6761416 | 706027 | 30099 59 | 1 | 1 1625.26/1625.71 c 1625s | 20 | 6775744 | 706927 | 30099 59 | 1 | 1 1627.57/1628.00 c 1627s | 20 | 6789088 | 707827 | 30099 59 | 1 | 1 1629.56/1630.02 c 1629s | 20 | 6798254 | 708627 | 30099 59 | 1 | 1 1631.66/1632.12 c 1631s | 20 | 6802651 | 709427 | 30099 59 | 1 | 1 1633.66/1634.19 c 1633s | 20 | 6809242 | 710327 | 30099 59 | 1 | 1 1635.76/1636.23 c 1635s | 20 | 6814790 | 711027 | 30099 59 | 1 | 1 1637.86/1638.35 c 1638s | 20 | 6822194 | 711827 | 30099 59 | 1 | 1 1640.16/1640.65 c 1640s | 20 | 6825991 | 712627 | 30099 59 | 1 | 1 1642.26/1642.74 c 1642s | 20 | 6828810 | 713327 | 30099 59 | 1 | 1 1644.46/1644.92 c 1644s | 20 | 6829950 | 714027 | 30099 59 | 1 | 1 1646.66/1647.10 c 1646s | 20 | 6830690 | 714627 | 30099 59 | 1 | 1 1648.86/1649.30 c 1649s | 20 | 6834159 | 715327 | 30099 59 | 1 | 1 1651.06/1651.56 c 1651s | 20 | 6837573 | 715927 | 30099 60 | 1 | 1 1654.76/1655.21 c 1654s | 20 | 6838655 | 716027 | 30099 60 | 1 | 1 1656.76/1657.25 c 1656s | 20 | 6852151 | 716827 | 30099 60 | 1 | 1 1658.96/1659.45 c 1659s | 20 | 6860070 | 717627 | 30099 60 | 1 | 1 1661.26/1661.70 c 1661s | 20 | 6867090 | 718427 | 30099 60 | 1 | 1 1663.46/1663.90 c 1663s | 20 | 6873543 | 719327 | 30099 60 | 1 | 1 1665.56/1666.03 c 1665s | 20 | 6876393 | 720127 | 30099 60 | 1 | 1 1667.76/1668.21 c 1667s | 20 | 6886136 | 721127 | 30099 60 | 1 | 1 1669.96/1670.42 c 1670s | 20 | 6895491 | 722027 | 30099 60 | 1 | 1 1672.16/1672.64 c 1672s | 20 | 6902409 | 722827 | 30099 60 | 1 | 1 1674.36/1674.83 c 1674s | 20 | 6914609 | 723627 | 30099 60 | 1 | 1 1676.46/1676.90 c 1676s | 20 | 6918783 | 724427 | 30099 60 | 1 | 1 1678.55/1679.00 c 1678s | 20 | 6928376 | 725227 | 30099 60 | 1 | 1 1680.75/1681.22 c 1680s | 20 | 6934810 | 726127 | 30099 60 | 1 | 1 1682.95/1683.40 c 1683s | 20 | 6944175 | 726927 | 30099 60 | 1 | 1 1685.05/1685.56 c 1685s | 20 | 6947282 | 727727 | 30099 60 | 1 | 1 1687.15/1687.69 c 1687s | 20 | 6950186 | 728427 | 30099 60 | 1 | 1 1689.26/1689.78 c 1689s | 20 | 6955733 | 729127 | 30099 60 | 1 | 1 1691.36/1691.87 c 1691s | 20 | 6965186 | 729927 | 30099 60 | 1 | 1 1693.45/1694.00 c 1693s | 20 | 6969440 | 730627 | 30099 61 | 1 | 1 1695.55/1696.09 c 1695s | 20 | 6975614 | 731527 | 30099 61 | 1 | 1 1697.65/1698.19 c 1697s | 20 | 6981386 | 732427 | 30099 61 | 1 | 1 1699.85/1700.37 c 1700s | 20 | 6985178 | 733227 | 30099 61 | 1 | 1 1702.45/1702.92 c 1702s | 20 | 6987035 | 733827 | 30099 61 | 1 | 1 1704.55/1705.01 c 1704s | 20 | 6993535 | 734627 | 30099 61 | 1 | 1 1706.75/1707.28 c 1707s | 20 | 7004710 | 735427 | 30099 61 | 1 | 1 1708.84/1709.33 c 1709s | 20 | 7010455 | 736227 | 30099 61 | 1 | 1 1710.94/1711.45 c 1711s | 20 | 7014340 | 737027 | 30099 61 | 1 | 1 1713.14/1713.66 c 1713s | 20 | 7022993 | 737927 | 30099 61 | 1 | 1 1715.24/1715.75 c 1715s | 20 | 7028014 | 738727 | 30099 61 | 1 | 1 1717.34/1717.83 c 1717s | 20 | 7032778 | 739427 | 30099 61 | 1 | 1 1719.54/1720.05 c 1719s | 20 | 7043081 | 740327 | 30099 61 | 1 | 1 1721.54/1722.07 c 1721s | 20 | 7047554 | 741127 | 30099 61 | 1 | 1 1723.74/1724.26 c 1724s | 20 | 7053636 | 742127 | 30099 61 | 1 | 1 1725.94/1726.41 c 1726s | 20 | 7058236 | 743027 | 30099 61 | 1 | 1 1728.04/1728.57 c 1728s | 20 | 7062111 | 743927 | 30099 61 | 1 | 1 1730.24/1730.70 c 1730s | 20 | 7065689 | 744727 | 30099 61 | 1 | 1 1732.24/1732.77 c 1732s | 20 | 7072032 | 745527 | 30099 61 | 1 | 1 1734.54/1735.09 c 1734s | 20 | 7076084 | 746227 | 30099 62 | 1 | 1 1736.64/1737.13 c 1736s | 20 | 7079764 | 747027 | 30099 62 | 1 | 1 1738.75/1739.24 c 1738s | 20 | 7084617 | 747827 | 30099 62 | 1 | 1 1740.85/1741.37 c 1741s | 20 | 7092164 | 748627 | 30099 62 | 1 | 1 1742.95/1743.50 c 1743s | 20 | 7096539 | 749427 | 30099 62 | 1 | 1 1745.05/1745.58 c 1745s | 20 | 7099039 | 750127 | 30099 62 | 1 | 1 1747.35/1747.90 c 1747s | 20 | 7104699 | 751127 | 30099 62 | 1 | 1 1749.45/1749.99 c 1749s | 20 | 7106078 | 751827 | 30099 62 | 1 | 1 1751.55/1752.08 c 1751s | 20 | 7107075 | 752527 | 30099 62 | 1 | 1 1753.65/1754.17 c 1753s | 20 | 7111447 | 753327 | 30099 62 | 1 | 1 1755.95/1756.42 c 1756s | 20 | 7114359 | 754127 | 30099 62 | 1 | 1 1758.14/1758.63 c 1758s | 20 | 7118853 | 755127 | 30099 62 | 1 | 1 1760.44/1760.90 c 1760s | 20 | 7120775 | 756027 | 30099 62 | 1 | 1 1762.54/1763.03 c 1762s | 20 | 7122598 | 756727 | 30099 62 | 1 | 1 1764.54/1765.05 c 1764s | 20 | 7127044 | 757527 | 30099 62 | 1 | 1 1766.64/1767.19 c 1766s | 20 | 7129454 | 758327 | 30099 62 | 1 | 1 1775.94/1776.45 c 1776s | 20 | 7134073 | 758927 | 30099 62 | 1 | 1 1778.04/1778.56 c 1778s | 20 | 7144831 | 759527 | 30099 62 | 1 | 1 1780.14/1780.68 c 1780s | 20 | 7148636 | 760527 | 30099 62 | 1 | 1 1782.64/1783.12 c 1782s | 20 | 7149700 | 760927 | 30099 63 | 1 | 1 1784.73/1785.29 c 1785s | 20 | 7155921 | 761927 | 30099 63 | 1 | 1 1787.04/1787.54 c 1787s | 20 | 7165208 | 762827 | 30099 63 | 1 | 1 1789.03/1789.54 c 1789s | 20 | 7185812 | 763727 | 30099 63 | 1 | 1 1791.13/1791.66 c 1791s | 20 | 7199207 | 764727 | 30099 63 | 1 | 1 1793.13/1793.69 c 1793s | 20 | 7206158 | 765727 | 30099 63 | 1 | 1 1795.23/1795.72 c 1795s | 20 | 7216503 | 766527 | 30099 63 | 1 | 1 1797.43/1797.95 c 1797s | 20 | 7233286 | 767427 | 30099 63 | 1 | 1 1799.73/1800.21 c 1799s | 20 | 7247826 | 768227 | 30099 63 | 1 | 1
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-4080099-1465261299/watcher-4080099-1465261299 -o /tmp/evaluation-result-4080099-1465261299/solver-4080099-1465261299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080099-1465261299.opb pid=6099 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: 1.87 2.00 1.99 2/175 6102 /proc/meminfo: memFree=31686036/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=424380 CPUtime=0 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 1533 0 0 0 0 0 0 0 20 0 4 0 108064632 434565120 1893 33554432000 4194304 16246674 140734087786064 140734087785488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 106863 1903 441 2943 0 103757 0 [pid=6102/tid=6103] ppid=6099 vsize=442812 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 453439488 1964 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=446908 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 457633792 1981 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=452028 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064633 462876672 1998 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100114 s] /proc/loadavg: 1.87 2.00 1.99 2/175 6102 /proc/meminfo: memFree=31686036/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 22100 0 0 0 5 4 0 0 20 0 4 0 108064632 1249447936 22398 33554432000 4194304 16246674 140734087786064 140734087785376 12459048 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 305041 22406 839 2943 0 301935 0 [pid=6102/tid=6103] ppid=6099 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1249447936 22411 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1249447936 22418 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108064633 1249447936 22424 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200512 s] /proc/loadavg: 1.87 2.00 1.99 2/175 6102 /proc/meminfo: memFree=31686036/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1299012 CPUtime=0.19 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 41307 0 0 0 13 6 0 0 20 0 4 0 108064632 1330188288 41606 33554432000 4194304 16246674 140734087786064 140734087785376 12369833 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 324753 41618 839 2943 0 321647 0 [pid=6102/tid=6103] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 41624 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 41632 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 41638 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1299012 [startup+0.300443 s] /proc/loadavg: 1.87 2.00 1.99 2/175 6102 /proc/meminfo: memFree=31686036/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1299012 CPUtime=0.29 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 46195 0 0 0 22 7 0 0 20 0 4 0 108064632 1330188288 46493 33554432000 4194304 16246674 140734087786064 140734087785376 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 324753 46501 911 2943 0 321647 0 [pid=6102/tid=6103] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 46507 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 46513 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 46519 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1299012 [startup+0.700396 s] /proc/loadavg: 1.87 2.00 1.99 2/175 6102 /proc/meminfo: memFree=31686036/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1299012 CPUtime=0.69 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 142737 0 0 0 51 18 0 0 20 0 4 0 108064632 1330188288 143036 33554432000 4194304 16246674 140734087786064 140734087767936 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 324753 143054 911 2943 0 321647 0 [pid=6102/tid=6103] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 143065 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 143076 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1330188288 143087 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1299012 [startup+1.50038 s] /proc/loadavg: 1.87 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29947012/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1307204 CPUtime=1.48 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268007 0 0 0 114 34 0 0 20 0 4 0 108064632 1338576896 268305 33554432000 4194304 16246674 140734087786064 140734087769064 12479203 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 326801 268305 917 2943 0 323695 0 [pid=6102/tid=6103] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268305 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268305 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268305 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1307204 [startup+3.10044 s] /proc/loadavg: 1.87 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29538920/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1307204 CPUtime=3.08 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268008 0 0 0 274 34 0 0 20 0 4 0 108064632 1338576896 268306 33554432000 4194304 16246674 140734087786064 140734087767936 13950222 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 326801 268306 918 2943 0 323695 0 [pid=6102/tid=6103] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1307204 [startup+6.30045 s] /proc/loadavg: 1.88 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29539320/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268008 0 0 0 594 34 0 0 20 0 4 0 108064632 1338576896 268306 33554432000 4194304 16246674 140734087786064 140734087767936 5723034 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 326801 268306 918 2943 0 323695 0 [pid=6102/tid=6103] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.89 2.00 1.99 3/185 6141 /proc/meminfo: memFree=29538288/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268008 0 0 0 1234 34 0 0 20 0 4 0 108064632 1338576896 268306 33554432000 4194304 16246674 140734087786064 140734087767936 6012046 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 326801 268306 918 2943 0 323695 0 [pid=6102/tid=6103] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1338576896 268306 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 1.92 2.00 1.99 3/184 6141 /proc/meminfo: memFree=29531996/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268584 0 0 0 2513 35 0 0 20 0 4 0 108064632 1341722624 268882 33554432000 4194304 16246674 140734087786064 140734087767936 5677802 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 327569 268882 919 2943 0 324463 0 [pid=6102/tid=6103] ppid=6099 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1341722624 268882 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1341722624 268882 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1341722624 268882 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 1.94 2.00 1.99 3/184 6141 /proc/meminfo: memFree=29528956/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1311300 CPUtime=51.07 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 268850 0 0 0 5072 35 0 0 20 0 4 0 108064632 1342771200 269395 33554432000 4194304 16246674 140734087786064 140734087767936 12477716 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 327825 269395 919 2943 0 324719 0 [pid=6102/tid=6103] ppid=6099 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1342771200 269395 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1342771200 269395 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1342771200 269395 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 1.97 2.00 1.99 3/184 6142 /proc/meminfo: memFree=29519032/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1319492 CPUtime=102.26 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 271107 0 0 0 10188 38 0 0 20 0 4 0 108064632 1351159808 271636 33554432000 4194304 16246674 140734087786064 140734087767936 6021544 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 329873 271636 919 2943 0 326767 0 [pid=6102/tid=6103] ppid=6099 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1351159808 271636 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1351159808 271636 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1351159808 271636 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/184 6173 /proc/meminfo: memFree=29485824/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1361.9 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 136099 91 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087767936 5546072 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1339972 [startup+1422.3 s] /proc/loadavg: 2.07 2.03 2.00 3/184 6174 /proc/meminfo: memFree=29486024/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1421.9 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 142097 93 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087769064 12478320 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1339972 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/184 6175 /proc/meminfo: memFree=29480448/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1481.88 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 148095 93 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087767936 12483348 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1339972 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.00 3/184 6177 /proc/meminfo: memFree=29480696/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1541.88 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 154094 94 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087767936 5722952 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1339972 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/184 6178 /proc/meminfo: memFree=29480688/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1601.87 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 160093 94 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087767936 12477817 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1339972 [startup+1662.3 s] /proc/loadavg: 2.04 2.03 2.00 3/184 6179 /proc/meminfo: memFree=29480808/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1339972 CPUtime=1661.86 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 276501 0 0 0 166091 95 0 0 20 0 4 0 108064632 1372131328 276765 33554432000 4194304 16246674 140734087786064 140734087767936 5717462 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 334993 276765 919 2943 0 331887 0 [pid=6102/tid=6103] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1372131328 276765 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1339972 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 2.00 3/184 6192 /proc/meminfo: memFree=29478892/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1342020 CPUtime=1721.84 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 277013 0 0 0 172089 95 0 0 20 0 4 0 108064632 1374228480 277277 33554432000 4194304 16246674 140734087786064 140734087767936 12478249 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 335505 277277 919 2943 0 332399 0 [pid=6102/tid=6103] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1342020 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478468/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1342020 CPUtime=1781.84 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 277013 0 0 0 178087 97 0 0 20 0 4 0 108064632 1374228480 277277 33554432000 4194304 16246674 140734087786064 140734087785160 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 335505 277277 919 2943 0 332399 0 [pid=6102/tid=6103] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1342020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478596/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1342020 CPUtime=1800.03 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 277013 0 0 0 179906 97 0 0 20 0 4 0 108064632 1374228480 277277 33554432000 4194304 16246674 140734087786064 140734087767936 5822255 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 335505 277277 919 2943 0 332399 0 [pid=6102/tid=6103] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1342020 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 6102 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6193 /proc/meminfo: memFree=29478596/32872528 swapFree=12744/274376 [pid=6102] ppid=6099 vsize=1342020 CPUtime=1800.03 cores=1,3,5,7 /proc/6102/stat : 6102 (toysat) R 6099 6102 5566 0 -1 4202496 277013 0 0 0 179906 97 0 0 20 0 4 0 108064632 1374228480 277277 33554432000 4194304 16246674 140734087786064 140734087767936 5822255 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6102/statm: 335505 277277 919 2943 0 332399 0 [pid=6102/tid=6103] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6103/stat : 6103 (toysat) S 6099 6102 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905297526000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6102/tid=6104] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6104/stat : 6104 (toysat) S 6099 6102 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905287036144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6102/tid=6105] ppid=6099 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/6102/task/6105/stat : 6105 (toysat) S 6099 6102 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108064633 1374228480 277277 33554432000 4194304 16246674 140734087786064 139905204219056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1342020 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.07 CPU system time (s): 0.977851 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1342020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 0.977851 maximum resident set size= 1109108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277013 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= 313 involuntary context switches= 2432 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.16122 second user time and 7.18891 second system time The end
Begin job on node107 at 2016-06-07 03:01:39 IDJOB=4080099 IDBENCH=48239 IDSOLVER=2542 FILE ID=node107/4080099-1465261299 RUNJOBID= node107-1465255895-5583 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080099-1465261299/watcher-4080099-1465261299 -o /tmp/evaluation-result-4080099-1465261299/solver-4080099-1465261299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080099-1465261299.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=965760232 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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 : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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: 31685664 kB Buffers: 55392 kB Cached: 150292 kB SwapCached: 1712 kB Active: 115480 kB Inactive: 94840 kB Active(anon): 5356 kB Inactive(anon): 420 kB Active(file): 110124 kB Inactive(file): 94420 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098440 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 169216 kB Mapped: 7248 kB Shmem: 0 kB Slab: 569968 kB SReclaimable: 13496 kB SUnreclaim: 556472 kB KernelStack: 1536 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 383148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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= 71716 MiB End job on node107 at 2016-06-07 03:31:40