Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb |
| MD5SUM | faa00895e2f6f80e77634e2be522df62 |
| 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 | 12 |
| 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 | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 45 |
| 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 | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6220 |
| Sum of products size (including duplicates) | 12440 |
| Number of different products | 6220 |
| Sum of products size | 12440 |
0.00/0.00 c 2016-06-18T20:31:55+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-4106625-1466274715.opb"] 0.00/0.01 c use --random-gen="1825609103 860257520 3334329506 2679388161 2597692964 3254440338 1834961764 1952006592 2171878960 1018176241 3065419747 2162109872 2893299636 3345015811 1251128712 3692765590 645668931 844626560 4007621287 4252447774 42278431 1836661490 2943770988 1783679390 3836176739 2891305539 2146958744 1641804509 3214123141 3820565103 2580731357 1503907743 4274233595 4267034401 3550893193 3898624744 535369896 310265884 1444634945 1410458783 1388563280 1136015591 1331353347 4098940556 4244535318 925488857 1907050862 2322673022 682527493 1278298011 63351390 2878041572 1830039626 4025335467 4248683422 1519772857 1835520589 2402469463 323966399 3306123148 1995091186 2398900713 2035934417 3743785664 3484877880 713506158 3795807771 2608006343 3210289505 1481363237 3136073881 3759581243 4233704421 2871762442 1089773713 882099645 3026492549 2553314860 2686220302 1132547390 3091162885 950847867 4272807886 3075516026 2512221316 3430386803 4229752153 2193059690 754666834 2411852857 217013734 3029047743 3263480280 1897746480 608533736 466566519 1321254196 1804548294 1808446476 4171788706 334702030 3705108511 9393693 1815322377 349285633 2407200991 4190123692 2001246967 3322143737 987471784 4278972121 965174207 597319972 2392493760 4252696236 1437142694 279101116 3927394307 3596202537 3996771872 863309081 2033183 2279898498 3164955204 2152703304 2479642229 2284860986 2874114698 2468939223 3491458175 2611444548 3546908704 2585215896 1181696955 203739334 395983282 819642867 1214152180 3986332874 2940657902 2671993998 1169151906 3398037933 269229092 4264639021 68495580 1219792371 994890545 248614725 2279731982 1067476665 807785364 3924031833 2402373609 617133749 1433287223 1757315660 3692235508 2917309949 4030104237 1515826361 2805037156 1455918311 2508777555 763278126 3007473040 855430420 1498363205 775497344 448227335 1240880017 638712700 3787996770 532298558 1555220187 1499186576 760201476 3381412504 1108020861 2047318201 3465325046 3425078404 2655169129 1815822125 465495718 18988448 2641279500 4114325564 154251354 222013307 713085684 2848378281 2076478412 2068132211 1238428594 199148978 103396958 2020952834 2472461976 1791711187 1405068649 2627593611 1929432024 2612232704 613807916 2856787874 2765426764 2281692120 1078708307 3964691304 2705783965 1024106398 1932655654 4110797880 1048136800 2703714443 4289161672 3625624403 844372159 1523466014 43570719 351057865 2880976860 3669119160 1064414359 1741958359 3828927920 2102744114 442705409 3005717579 1887631513 18249834 1888776197 3349378758 972410605 1679113528 2518783272 142597698 2052327704 1078078702 1945676178 3877313917 2155161908 1172792674 3406094730 3665003104 1041715528 646732995 1173908467 4145488969 276951586 4114932732 2579442478 1424031600 2473820197 3843210065 255 362436" option to reproduce the execution 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 200 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 6353 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 628 | 0 | 6353 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.018s 0.09/0.16 c #wall_clock_time = 0.018s 0.09/0.16 c #decision = 628 0.09/0.16 c #random_decision = 1 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 o 176 0.09/0.16 c BCD2: updating upper bound: 200 -> 175 0.09/0.16 c BCD2: 0 <= obj <= 175 0.09/0.16 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 6353 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 176 | 0 | 6353 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.016s 0.09/0.18 c #wall_clock_time = 0.016s 0.09/0.18 c #decision = 176 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 27: cost of the new core is >=1 0.09/0.18 c lower bound updated to 1 0.09/0.18 c BCD2: 1 <= obj <= 175 0.09/0.18 c BCD2: #cores=1, #unrelaxed=173, #relaxed=27, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 6353 0 | 0 | 0 0.09/0.20 c 0.0s | 0 | 172 | 0 | 6353 0 | 0 | 0 0.09/0.20 c #cpu_time = 0.016s 0.09/0.20 c #wall_clock_time = 0.016s 0.09/0.20 c #decision = 172 0.09/0.20 c #random_decision = 0 0.09/0.20 c #conflict = 0 0.09/0.20 c #restart = 0 0.09/0.20 c BCD2: found a new core of size 28: cost of the new core is >=1 0.09/0.20 c lower bound updated to 2 0.18/0.20 c BCD2: 2 <= obj <= 175 0.18/0.20 c BCD2: #cores=2, #unrelaxed=145, #relaxed=55, #hardened=0 0.18/0.20 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.20 c Solving starts ... 0.18/0.20 c ============================[ Search Statistics ]============================ 0.18/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.20 c | | | | Limit GC | Var | Constra 0.18/0.20 c ============================================================================= 0.18/0.20 c 0.0s | 0 | 0 | 0 | 6353 0 | 0 | 0 0.18/0.22 c 0.0s | 0 | 1187 | 0 | 6353 0 | 0 | 0 0.18/0.22 c #cpu_time = 0.019s 0.18/0.22 c #wall_clock_time = 0.019s 0.18/0.22 c #decision = 1187 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 o 28 0.18/0.22 c BCD2: updating upper bound: 175 -> 27 0.18/0.22 c BCD2: 2 <= obj <= 27 0.18/0.22 c BCD2: #cores=2, #unrelaxed=145, #relaxed=55, #hardened=0 0.18/0.22 c BCD2: #sat=2 #unsat=3 bias=3/5 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 6353 0 | 0 | 1 0.29/0.34 c 0.1s | 1 | 408 | 100 | 6353 0 | 0 | 1 0.38/0.47 c 0.2s | 2 | 801 | 250 | 6989 0 | 0 | 1 0.68/0.73 c 0.5s | 3 | 1298 | 475 | 7688 0 | 0 | 1 0.88/0.99 c 0.7s | 3 | 2257 | 769 | 8457 0 | 0 | 1 0.88/0.99 c #cpu_time = 0.743s 0.88/0.99 c #wall_clock_time = 0.745s 0.88/0.99 c #decision = 2257 0.88/0.99 c #random_decision = 3 0.88/0.99 c #conflict = 769 0.88/0.99 c #restart = 3 0.88/0.99 o 17 0.88/0.99 c BCD2: updating upper bound: 27 -> 16 0.88/0.99 c BCD2: 2 <= obj <= 16 0.88/0.99 c BCD2: #cores=2, #unrelaxed=145, #relaxed=55, #hardened=0 0.88/0.99 c BCD2: #sat=3 #unsat=3 bias=3/6 0.88/0.99 c Solving starts ... 0.88/0.99 c ============================[ Search Statistics ]============================ 0.88/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.99 c | | | | Limit GC | Var | Constra 0.88/0.99 c ============================================================================= 0.88/0.99 c 0.0s | 0 | 0 | 0 | 8457 0 | 0 | 2 0.98/1.09 c 0.1s | 1 | 305 | 100 | 9303 0 | 0 | 2 1.19/1.22 c 0.2s | 2 | 662 | 250 | 9303 0 | 0 | 2 1.39/1.49 c 0.5s | 3 | 1163 | 475 | 9303 0 | 0 | 2 1.79/1.81 c 0.8s | 4 | 1857 | 813 | 10234 0 | 0 | 2 2.30/2.33 c 1.3s | 5 | 2772 | 1320 | 11258 0 | 0 | 2 3.09/3.12 c 2.1s | 6 | 4094 | 2081 | 11258 0 | 0 | 2 4.69/4.77 c 3.8s | 7 | 5980 | 3223 | 12384 0 | 0 | 2 6.89/6.95 c 6.0s | 7 | 7868 | 4423 | 13623 0 | 0 | 2 7.79/7.84 c 6.8s | 8 | 8581 | 4936 | 13623 0 | 0 | 2 9.99/10.04 c 9.1s | 8 | 10274 | 6036 | 13623 0 | 0 | 2 12.19/12.23 c 11.2s | 8 | 11398 | 6836 | 14986 0 | 0 | 2 14.08/14.19 c 13.2s | 9 | 12334 | 7506 | 14986 0 | 0 | 2 16.19/16.20 c 15.2s | 9 | 13441 | 8206 | 14986 0 | 0 | 2 16.89/16.92 c 15.9s | 9 | 13776 | 8449 | 14986 0 | 0 | 2 16.89/16.92 c #cpu_time = 15.880s 16.89/16.92 c #wall_clock_time = 15.921s 16.89/16.92 c #decision = 13776 16.89/16.92 c #random_decision = 15 16.89/16.92 c #conflict = 8449 16.89/16.92 c #restart = 9 16.89/16.92 c BCD2: relaxing 145 and merging with 2 cores into a new core of size 200: cost of the new core is >=3 16.89/16.92 c lower bound updated to 3 16.89/16.92 c BCD2: 3 <= obj <= 16 16.89/16.92 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 16.89/16.92 c BCD2: #sat=3 #unsat=4 bias=4/7 16.89/16.92 c Solving starts ... 16.89/16.92 c ============================[ Search Statistics ]============================ 16.89/16.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.89/16.92 c | | | | Limit GC | Var | Constra 16.89/16.92 c ============================================================================= 16.89/16.92 c 0.0s | 0 | 0 | 0 | 14986 0 | 7 | 2 17.70/17.80 c 0.9s | 1 | 1434 | 100 | 14986 0 | 7 | 14 18.39/18.48 c 1.6s | 2 | 3306 | 250 | 14986 0 | 7 | 14 19.19/19.28 c 2.4s | 3 | 4374 | 475 | 14986 0 | 7 | 14 20.69/20.75 c 3.8s | 4 | 5721 | 813 | 14986 0 | 7 | 14 22.49/22.55 c 5.6s | 5 | 7248 | 1320 | 14986 0 | 7 | 14 24.69/24.71 c 7.8s | 5 | 9503 | 1920 | 14986 0 | 7 | 14 25.19/25.20 c 8.3s | 6 | 10195 | 2081 | 14986 0 | 7 | 14 27.19/27.24 c 10.3s | 6 | 12345 | 2681 | 16485 0 | 7 | 14 29.29/29.32 c 12.4s | 6 | 14035 | 3181 | 16485 0 | 7 | 14 29.39/29.43 c 12.5s | 7 | 14132 | 3223 | 16485 0 | 7 | 14 31.49/31.53 c 14.6s | 7 | 17381 | 3923 | 16485 0 | 7 | 14 33.58/33.63 c 16.7s | 7 | 19522 | 4623 | 16485 0 | 7 | 14 34.48/34.57 c 17.7s | 8 | 20544 | 4936 | 16485 0 | 7 | 14 36.58/36.69 c 19.8s | 8 | 22135 | 5536 | 16485 0 | 7 | 14 38.68/38.75 c 21.8s | 8 | 23578 | 6136 | 16485 0 | 7 | 14 40.88/40.93 c 24.0s | 8 | 25753 | 6736 | 16485 0 | 7 | 14 42.89/42.93 c 26.0s | 8 | 28296 | 7236 | 16485 0 | 7 | 14 43.78/43.83 c 26.9s | 9 | 29296 | 7506 | 16485 0 | 7 | 14 45.88/45.96 c 29.0s | 9 | 31028 | 8006 | 18134 0 | 7 | 14 47.98/48.09 c 31.2s | 9 | 33317 | 8706 | 18134 0 | 7 | 14 50.28/50.36 c 33.4s | 9 | 35624 | 9506 | 18134 0 | 7 | 14 52.58/52.63 c 35.7s | 9 | 37884 | 10206 | 18134 0 | 7 | 14 54.78/54.84 c 37.9s | 9 | 39792 | 10906 | 18134 0 | 7 | 14 56.38/56.41 c 39.5s | 10 | 41245 | 11361 | 18134 0 | 7 | 14 58.68/58.78 c 41.9s | 10 | 43777 | 11961 | 18134 0 | 7 | 14 60.98/61.06 c 44.1s | 10 | 45893 | 12561 | 18134 0 | 7 | 14 63.18/63.26 c 46.3s | 10 | 47346 | 13161 | 18134 0 | 7 | 14 65.58/65.61 c 48.7s | 10 | 48629 | 13761 | 18134 0 | 7 | 14 67.78/67.89 c 51.0s | 10 | 50063 | 14261 | 18134 0 | 7 | 14 69.98/70.01 c 53.1s | 10 | 52059 | 14861 | 18134 0 | 7 | 14 72.28/72.32 c 55.4s | 10 | 54201 | 15461 | 18134 0 | 7 | 14 74.68/74.70 c 57.8s | 10 | 56201 | 16061 | 18134 0 | 7 | 14 76.98/77.06 c 60.1s | 10 | 58322 | 16661 | 19948 0 | 7 | 14 78.98/79.01 c 62.1s | 11 | 59702 | 17144 | 19948 0 | 7 | 14 81.18/81.23 c 64.3s | 11 | 61810 | 17644 | 19948 0 | 7 | 14 83.58/83.63 c 66.7s | 11 | 63298 | 18244 | 19948 0 | 7 | 14 85.58/85.69 c 68.8s | 11 | 64957 | 18844 | 19948 0 | 7 | 14 87.88/87.92 c 71.0s | 11 | 66733 | 19444 | 19948 0 | 7 | 14 89.88/89.99 c 73.1s | 11 | 68266 | 19944 | 19948 0 | 7 | 14 92.08/92.18 c 75.3s | 11 | 70178 | 20444 | 19948 0 | 7 | 14 94.17/94.28 c 77.4s | 11 | 71841 | 20944 | 19948 0 | 7 | 14 96.27/96.39 c 79.5s | 11 | 73604 | 21444 | 19948 1 | 7 | 14 98.57/98.63 c 81.7s | 11 | 76014 | 22044 | 19948 1 | 7 | 14 100.67/100.72 c 83.8s | 11 | 78207 | 22644 | 19948 1 | 7 | 14 102.87/102.92 c 86.0s | 11 | 79885 | 23244 | 19948 1 | 7 | 14 105.17/105.27 c 88.3s | 11 | 82274 | 23844 | 19948 1 | 7 | 14 107.47/107.53 c 90.6s | 11 | 83862 | 24344 | 19948 1 | 7 | 14 109.57/109.61 c 92.7s | 11 | 85629 | 24844 | 19948 1 | 7 | 14 111.67/111.70 c 94.8s | 11 | 87733 | 25344 | 19948 1 | 7 | 14 113.67/113.77 c 96.8s | 12 | 89202 | 25819 | 19948 1 | 7 | 14 115.87/115.90 c 99.0s | 12 | 90985 | 26319 | 19948 1 | 7 | 14 118.17/118.24 c 101s | 12 | 92513 | 26819 | 19948 1 | 7 | 14 120.37/120.47 c 103s | 12 | 94131 | 27319 | 19948 1 | 7 | 14 122.77/122.84 c 105s | 12 | 95435 | 27819 | 19948 1 | 7 | 14 124.97/125.05 c 108s | 12 | 97661 | 28319 | 19948 1 | 7 | 14 127.17/127.21 c 110s | 12 | 99234 | 28819 | 19948 1 | 7 | 14 129.27/129.36 c 112s | 12 | 100636 | 29319 | 19948 1 | 7 | 14 131.57/131.63 c 114s | 12 | 102002 | 29819 | 21943 1 | 7 | 14 133.77/133.80 c 116s | 12 | 103959 | 30319 | 21943 1 | 7 | 14 136.07/136.11 c 119s | 12 | 105585 | 30919 | 21943 1 | 7 | 14 138.47/138.50 c 121s | 12 | 107053 | 31419 | 21943 1 | 7 | 14 140.97/141.00 c 124s | 12 | 108760 | 31919 | 21943 1 | 7 | 14 142.97/143.06 c 126s | 12 | 110098 | 32319 | 21943 1 | 7 | 14 145.27/145.39 c 128s | 12 | 112023 | 32819 | 21943 1 | 7 | 14 147.56/147.68 c 130s | 12 | 114621 | 33419 | 21943 1 | 7 | 14 149.86/149.98 c 133s | 12 | 116986 | 34019 | 21943 1 | 7 | 14 151.96/152.02 c 135s | 12 | 118383 | 34519 | 21943 2 | 7 | 14 154.26/154.34 c 137s | 12 | 120081 | 35119 | 21943 2 | 7 | 14 156.56/156.67 c 139s | 12 | 121769 | 35619 | 21943 2 | 7 | 14 158.66/158.74 c 141s | 12 | 124107 | 36219 | 21943 2 | 7 | 14 160.76/160.81 c 143s | 12 | 126046 | 36719 | 21943 2 | 7 | 14 162.96/163.05 c 146s | 12 | 128337 | 37319 | 21943 2 | 7 | 14 165.07/165.13 c 148s | 12 | 129876 | 37919 | 21943 2 | 7 | 14 167.27/167.33 c 150s | 12 | 131318 | 38519 | 21943 2 | 7 | 14 168.37/168.47 c 151s | 13 | 132189 | 38832 | 21943 2 | 7 | 14 170.47/170.60 c 153s | 13 | 133720 | 39332 | 21943 2 | 7 | 14 172.67/172.75 c 155s | 13 | 135445 | 39932 | 21943 2 | 7 | 14 174.87/174.91 c 157s | 13 | 137501 | 40532 | 21943 2 | 7 | 14 177.17/177.23 c 160s | 13 | 138834 | 41132 | 21943 2 | 7 | 14 179.37/179.47 c 162s | 13 | 140533 | 41732 | 21943 2 | 7 | 14 181.47/181.51 c 164s | 13 | 142084 | 42232 | 21943 2 | 7 | 14 183.56/183.65 c 166s | 13 | 144361 | 42732 | 21943 2 | 7 | 14 185.66/185.75 c 168s | 13 | 146230 | 43332 | 21943 2 | 7 | 14 187.96/188.07 c 171s | 13 | 148228 | 44032 | 21943 2 | 7 | 14 190.27/190.34 c 173s | 13 | 150363 | 44732 | 21943 2 | 7 | 14 192.46/192.55 c 175s | 13 | 152416 | 45332 | 21943 2 | 7 | 14 194.56/194.60 c 177s | 13 | 154001 | 45932 | 21943 3 | 7 | 14 196.86/196.92 c 180s | 13 | 155814 | 46632 | 21943 3 | 7 | 14 198.96/199.02 c 182s | 13 | 157775 | 47232 | 21943 3 | 7 | 14 200.96/201.07 c 184s | 13 | 159485 | 47832 | 21943 3 | 7 | 14 203.06/203.14 c 186s | 13 | 160794 | 48432 | 21943 3 | 7 | 14 205.25/205.36 c 188s | 13 | 162202 | 49032 | 24138 3 | 7 | 14 207.65/207.78 c 190s | 13 | 164115 | 49632 | 24138 3 | 7 | 14 209.85/209.98 c 193s | 13 | 165654 | 50132 | 24138 3 | 7 | 14 212.15/212.30 c 195s | 13 | 166861 | 50732 | 24138 3 | 7 | 14 214.56/214.63 c 197s | 13 | 168450 | 51232 | 24138 3 | 7 | 14 216.95/217.02 c 200s | 13 | 170599 | 51732 | 24138 3 | 7 | 14 219.15/219.29 c 202s | 13 | 172596 | 52232 | 24138 3 | 7 | 14 221.45/221.53 c 204s | 13 | 174423 | 52732 | 24138 3 | 7 | 14 223.55/223.67 c 206s | 13 | 176277 | 53232 | 24138 3 | 7 | 14 225.85/225.98 c 209s | 13 | 177973 | 53732 | 24138 3 | 7 | 14 227.95/228.04 c 211s | 13 | 179424 | 54232 | 24138 3 | 7 | 14 230.25/230.36 c 213s | 13 | 181381 | 54732 | 24138 3 | 7 | 14 232.35/232.46 c 215s | 13 | 183372 | 55232 | 24138 3 | 7 | 14 234.55/234.66 c 217s | 13 | 185517 | 55832 | 24138 3 | 7 | 14 236.65/236.76 c 219s | 13 | 187906 | 56432 | 24138 3 | 7 | 14 238.95/239.09 c 222s | 13 | 189603 | 57032 | 24138 3 | 7 | 14 241.15/241.29 c 224s | 13 | 191113 | 57632 | 24138 3 | 7 | 14 243.35/243.43 c 226s | 13 | 192411 | 58232 | 24138 3 | 7 | 14 243.85/243.99 c 227s | 14 | 192769 | 58352 | 24138 3 | 7 | 14 245.95/246.07 c 229s | 14 | 194084 | 58752 | 24138 4 | 7 | 14 248.25/248.37 c 231s | 14 | 195254 | 59352 | 24138 4 | 7 | 14 250.35/250.40 c 233s | 14 | 196762 | 59852 | 24138 4 | 7 | 14 252.35/252.42 c 235s | 14 | 198656 | 60252 | 24138 4 | 7 | 14 254.55/254.63 c 237s | 14 | 201244 | 60752 | 24138 4 | 7 | 14 256.55/256.67 c 239s | 14 | 203560 | 61252 | 24138 4 | 7 | 14 258.85/258.95 c 242s | 14 | 205994 | 61852 | 24138 4 | 7 | 14 261.05/261.13 c 244s | 14 | 207767 | 62352 | 24138 4 | 7 | 14 263.35/263.40 c 246s | 14 | 209305 | 62952 | 24138 4 | 7 | 14 265.54/265.67 c 248s | 14 | 211084 | 63552 | 24138 4 | 7 | 14 267.74/267.86 c 250s | 14 | 213120 | 64052 | 24138 4 | 7 | 14 269.84/269.93 c 253s | 14 | 215689 | 64552 | 24138 4 | 7 | 14 271.94/272.05 c 255s | 14 | 218804 | 65152 | 24138 4 | 7 | 14 274.34/274.41 c 257s | 14 | 220742 | 65752 | 24138 4 | 7 | 14 276.54/276.61 c 259s | 14 | 222565 | 66352 | 24138 4 | 7 | 14 278.94/279.04 c 262s | 14 | 224745 | 66952 | 24138 4 | 7 | 14 281.14/281.20 c 264s | 14 | 226718 | 67452 | 24138 4 | 7 | 14 283.24/283.31 c 266s | 14 | 228636 | 67952 | 24138 4 | 7 | 14 285.54/285.69 c 268s | 14 | 230850 | 68552 | 24138 4 | 7 | 14 287.84/287.96 c 271s | 14 | 232570 | 69052 | 24138 4 | 7 | 14 289.84/290.00 c 273s | 14 | 234168 | 69552 | 24138 4 | 7 | 14 292.05/292.14 c 275s | 14 | 236520 | 70152 | 24138 4 | 7 | 14 294.15/294.22 c 277s | 14 | 237972 | 70652 | 24138 4 | 7 | 14 296.15/296.27 c 279s | 14 | 239625 | 71152 | 24138 4 | 7 | 14 298.35/298.47 c 281s | 14 | 241748 | 71652 | 24138 5 | 7 | 14 300.55/300.65 c 283s | 14 | 243496 | 72152 | 24138 5 | 7 | 14 302.75/302.89 c 285s | 14 | 245017 | 72752 | 24138 5 | 7 | 14 304.95/305.06 c 288s | 14 | 246676 | 73252 | 24138 5 | 7 | 14 307.25/307.30 c 290s | 14 | 248642 | 73752 | 24138 5 | 7 | 14 309.35/309.44 c 292s | 14 | 250660 | 74252 | 24138 5 | 7 | 14 311.64/311.70 c 294s | 14 | 253308 | 74852 | 24138 5 | 7 | 14 313.84/313.97 c 297s | 14 | 255711 | 75452 | 24138 5 | 7 | 14 316.24/316.38 c 299s | 14 | 257526 | 76052 | 24138 5 | 7 | 14 318.34/318.43 c 301s | 14 | 259359 | 76552 | 24138 5 | 7 | 14 320.74/320.88 c 303s | 14 | 260640 | 77152 | 24138 5 | 7 | 14 323.04/323.12 c 306s | 14 | 261871 | 77652 | 24138 5 | 7 | 14 325.24/325.35 c 308s | 14 | 263546 | 78152 | 26552 5 | 7 | 14 327.34/327.48 c 310s | 14 | 266203 | 78652 | 26552 5 | 7 | 14 329.54/329.66 c 312s | 14 | 268027 | 79152 | 26552 5 | 7 | 14 331.64/331.71 c 314s | 14 | 269370 | 79652 | 26552 5 | 7 | 14 333.74/333.84 c 316s | 14 | 270785 | 80152 | 26552 5 | 7 | 14 335.74/335.87 c 318s | 14 | 272487 | 80652 | 26552 5 | 7 | 14 337.75/337.88 c 320s | 14 | 274212 | 81152 | 26552 5 | 7 | 14 339.74/339.89 c 322s | 14 | 275309 | 81552 | 26552 5 | 7 | 14 342.05/342.13 c 325s | 14 | 276580 | 81952 | 26552 5 | 7 | 14 344.04/344.16 c 327s | 14 | 278440 | 82452 | 26552 5 | 7 | 14 346.14/346.24 c 329s | 14 | 280296 | 82952 | 26552 5 | 7 | 14 348.44/348.51 c 331s | 14 | 281926 | 83552 | 26552 5 | 7 | 14 350.64/350.77 c 333s | 14 | 283519 | 84052 | 26552 5 | 7 | 14 352.94/353.03 c 336s | 14 | 285582 | 84552 | 26552 5 | 7 | 14 355.24/355.31 c 338s | 14 | 286640 | 85052 | 26552 5 | 7 | 14 357.54/357.65 c 340s | 14 | 288450 | 85552 | 26552 5 | 7 | 14 359.74/359.89 c 342s | 14 | 290393 | 86052 | 26552 5 | 7 | 14 361.84/361.97 c 345s | 14 | 291840 | 86552 | 26552 6 | 7 | 14 363.84/363.99 c 347s | 14 | 293442 | 87052 | 26552 6 | 7 | 14 365.84/365.99 c 349s | 14 | 294741 | 87552 | 26552 6 | 7 | 14 366.14/366.29 c 349s | 15 | 295154 | 87632 | 26552 6 | 7 | 14 368.24/368.39 c 351s | 15 | 297234 | 88032 | 26552 6 | 7 | 14 370.53/370.70 c 353s | 15 | 298964 | 88532 | 26552 6 | 7 | 14 372.63/372.79 c 355s | 15 | 301240 | 89132 | 26552 6 | 7 | 14 374.93/375.02 c 358s | 15 | 302970 | 89732 | 26552 6 | 7 | 14 377.13/377.21 c 360s | 15 | 304678 | 90332 | 26552 6 | 7 | 14 379.44/379.58 c 362s | 15 | 306643 | 90932 | 26552 6 | 7 | 14 381.53/381.64 c 364s | 15 | 308853 | 91432 | 26552 6 | 7 | 14 383.63/383.76 c 366s | 15 | 310863 | 91932 | 26552 6 | 7 | 14 386.04/386.16 c 369s | 15 | 313924 | 92532 | 26552 6 | 7 | 14 388.34/388.47 c 371s | 15 | 315941 | 93032 | 26552 6 | 7 | 14 390.54/390.69 c 373s | 15 | 317668 | 93532 | 26552 6 | 7 | 14 392.74/392.84 c 375s | 15 | 320215 | 94032 | 26552 6 | 7 | 14 394.73/394.87 c 377s | 15 | 322345 | 94532 | 26552 6 | 7 | 14 396.93/397.01 c 380s | 15 | 323932 | 95032 | 26552 6 | 7 | 14 399.03/399.15 c 382s | 15 | 325746 | 95532 | 26552 6 | 7 | 14 401.13/401.24 c 384s | 15 | 328187 | 96132 | 26552 6 | 7 | 14 403.43/403.54 c 386s | 15 | 330408 | 96732 | 26552 6 | 7 | 14 405.63/405.78 c 388s | 15 | 332697 | 97332 | 26552 6 | 7 | 14 407.93/408.01 c 391s | 15 | 334478 | 97932 | 26552 6 | 7 | 14 410.03/410.15 c 393s | 15 | 336320 | 98532 | 26552 6 | 7 | 14 412.33/412.42 c 395s | 15 | 337833 | 99132 | 26552 6 | 7 | 14 414.53/414.63 c 397s | 15 | 339524 | 99632 | 26552 7 | 7 | 14 416.73/416.84 c 399s | 15 | 341600 | 100132 | 26552 7 | 7 | 14 418.73/418.89 c 401s | 15 | 343268 | 100632 | 26552 7 | 7 | 14 420.93/421.07 c 404s | 15 | 344683 | 101132 | 26552 7 | 7 | 14 423.02/423.12 c 406s | 15 | 346917 | 101632 | 26552 7 | 7 | 14 425.12/425.25 c 408s | 15 | 348919 | 102132 | 26552 7 | 7 | 14 427.22/427.32 c 410s | 15 | 350648 | 102632 | 26552 7 | 7 | 14 429.32/429.45 c 412s | 15 | 352791 | 103132 | 26552 7 | 7 | 14 431.52/431.63 c 414s | 15 | 355364 | 103632 | 26552 7 | 7 | 14 433.72/433.86 c 416s | 15 | 357004 | 104132 | 26552 7 | 7 | 14 435.92/436.04 c 419s | 15 | 358954 | 104632 | 26552 7 | 7 | 14 438.32/438.48 c 421s | 15 | 361075 | 105132 | 26552 7 | 7 | 14 440.52/440.61 c 423s | 15 | 363054 | 105632 | 26552 7 | 7 | 14 442.72/442.88 c 425s | 15 | 365138 | 106232 | 26552 7 | 7 | 14 444.92/445.02 c 428s | 15 | 367022 | 106832 | 26552 7 | 7 | 14 447.22/447.37 c 430s | 15 | 368604 | 107432 | 26552 7 | 7 | 14 449.62/449.74 c 432s | 15 | 370629 | 108032 | 26552 7 | 7 | 14 451.82/451.90 c 434s | 15 | 372098 | 108532 | 26552 7 | 7 | 14 453.82/453.95 c 437s | 15 | 373580 | 109032 | 26552 7 | 7 | 14 455.92/456.05 c 439s | 15 | 375136 | 109532 | 26552 7 | 7 | 14 458.32/458.41 c 441s | 15 | 376957 | 110032 | 26552 7 | 7 | 14 460.32/460.44 c 443s | 15 | 378195 | 110432 | 26552 7 | 7 | 14 462.42/462.52 c 445s | 15 | 379675 | 110832 | 26552 7 | 7 | 14 464.72/464.88 c 447s | 15 | 381797 | 111332 | 26552 7 | 7 | 14 466.82/466.93 c 450s | 15 | 384019 | 111832 | 26552 7 | 7 | 14 469.12/469.30 c 452s | 15 | 386439 | 112432 | 26552 7 | 7 | 14 471.52/471.60 c 454s | 15 | 388351 | 113032 | 26552 7 | 7 | 14 473.52/473.61 c 456s | 15 | 389933 | 113532 | 26552 7 | 7 | 14 475.52/475.65 c 458s | 15 | 391314 | 114032 | 26552 8 | 7 | 14 477.82/477.91 c 460s | 15 | 393263 | 114532 | 26552 8 | 7 | 14 479.92/480.07 c 463s | 15 | 394974 | 115032 | 26552 8 | 7 | 14 482.02/482.15 c 465s | 15 | 396944 | 115532 | 26552 8 | 7 | 14 484.12/484.27 c 467s | 15 | 399598 | 116132 | 26552 8 | 7 | 14 486.32/486.48 c 469s | 15 | 401556 | 116732 | 26552 8 | 7 | 14 488.42/488.56 c 471s | 15 | 403655 | 117332 | 26552 8 | 7 | 14 490.62/490.79 c 473s | 15 | 405119 | 117932 | 26552 8 | 7 | 14 493.11/493.25 c 476s | 15 | 407123 | 118532 | 26552 8 | 7 | 14 495.31/495.47 c 478s | 15 | 409298 | 119132 | 26552 8 | 7 | 14 497.61/497.76 c 480s | 15 | 411051 | 119732 | 26552 8 | 7 | 14 499.61/499.78 c 482s | 15 | 412377 | 120232 | 26552 8 | 7 | 14 501.71/501.84 c 484s | 15 | 414523 | 120732 | 26552 8 | 7 | 14 503.91/504.09 c 487s | 15 | 416549 | 121332 | 26552 8 | 7 | 14 506.11/506.21 c 489s | 15 | 419065 | 121932 | 29208 8 | 7 | 14 508.12/508.29 c 491s | 15 | 420464 | 122432 | 29208 8 | 7 | 14 510.42/510.50 c 493s | 15 | 421750 | 122932 | 29208 8 | 7 | 14 512.41/512.55 c 495s | 15 | 423518 | 123432 | 29208 8 | 7 | 14 514.82/514.97 c 498s | 15 | 425898 | 124032 | 29208 8 | 7 | 14 517.21/517.36 c 500s | 15 | 427844 | 124632 | 29208 8 | 7 | 14 519.51/519.65 c 502s | 15 | 429498 | 125232 | 29208 8 | 7 | 14 521.61/521.76 c 504s | 15 | 431154 | 125732 | 29208 8 | 7 | 14 523.71/523.81 c 506s | 15 | 432964 | 126232 | 29208 8 | 7 | 14 525.91/526.04 c 509s | 15 | 434560 | 126732 | 29208 8 | 7 | 14 528.21/528.31 c 511s | 15 | 436684 | 127332 | 29208 8 | 7 | 14 530.31/530.49 c 513s | 15 | 438409 | 127832 | 29208 8 | 7 | 14 532.51/532.67 c 515s | 15 | 441100 | 128332 | 29208 8 | 7 | 14 534.61/534.75 c 517s | 15 | 442463 | 128832 | 29208 8 | 7 | 14 536.71/536.87 c 519s | 15 | 443726 | 129332 | 29208 8 | 7 | 14 538.81/538.96 c 522s | 15 | 445388 | 129832 | 29208 9 | 7 | 14 541.01/541.17 c 524s | 15 | 447650 | 130432 | 29208 9 | 7 | 14 543.01/543.19 c 526s | 15 | 449755 | 130932 | 29208 9 | 7 | 14 545.41/545.51 c 528s | 15 | 451585 | 131532 | 29208 9 | 7 | 14 545.41/545.60 c 528s | 16 | 451621 | 131552 | 29208 9 | 7 | 14 547.51/547.67 c 530s | 16 | 453292 | 132052 | 29208 9 | 7 | 14 549.81/549.93 c 533s | 16 | 455482 | 132552 | 29208 9 | 7 | 14 551.81/551.98 c 535s | 16 | 457441 | 133052 | 29208 9 | 7 | 14 554.00/554.17 c 537s | 16 | 460015 | 133652 | 29208 9 | 7 | 14 556.30/556.48 c 539s | 16 | 462407 | 134252 | 29208 9 | 7 | 14 558.71/558.81 c 541s | 16 | 465178 | 134852 | 29208 9 | 7 | 14 561.10/561.20 c 544s | 16 | 467143 | 135452 | 29208 9 | 7 | 14 563.30/563.46 c 546s | 16 | 469737 | 136052 | 29208 9 | 7 | 14 565.31/565.48 c 548s | 16 | 471178 | 136552 | 29208 9 | 7 | 14 567.40/567.57 c 550s | 16 | 473177 | 137052 | 29208 9 | 7 | 14 569.81/569.92 c 552s | 16 | 475100 | 137552 | 29208 9 | 7 | 14 571.91/572.06 c 555s | 16 | 477739 | 138052 | 29208 9 | 7 | 14 574.21/574.39 c 557s | 16 | 479818 | 138652 | 29208 9 | 7 | 14 576.31/576.48 c 559s | 16 | 481332 | 139152 | 29208 9 | 7 | 14 578.51/578.64 c 561s | 16 | 483197 | 139652 | 29208 9 | 7 | 14 580.50/580.69 c 563s | 16 | 485179 | 140152 | 29208 9 | 7 | 14 582.70/582.86 c 565s | 16 | 486951 | 140652 | 29208 9 | 7 | 14 584.80/584.93 c 568s | 16 | 489264 | 141252 | 29208 9 | 7 | 14 587.10/587.20 c 570s | 16 | 491421 | 141852 | 29208 9 | 7 | 14 589.40/589.55 c 572s | 16 | 493261 | 142452 | 29208 9 | 7 | 14 591.40/591.56 c 574s | 16 | 495106 | 142952 | 29208 9 | 7 | 14 593.70/593.89 c 576s | 16 | 497741 | 143552 | 29208 9 | 7 | 14 595.90/596.01 c 579s | 16 | 499184 | 144052 | 29208 9 | 7 | 14 597.90/598.09 c 581s | 16 | 501008 | 144552 | 29208 9 | 7 | 14 600.40/600.50 c 583s | 16 | 503550 | 145152 | 29208 9 | 7 | 14 602.40/602.57 c 585s | 16 | 505150 | 145652 | 29208 10 | 7 | 14 604.60/604.73 c 587s | 16 | 506881 | 146152 | 29208 10 | 7 | 14 606.80/606.97 c 590s | 16 | 508710 | 146752 | 29208 10 | 7 | 14 608.80/608.98 c 592s | 16 | 511061 | 147552 | 29208 10 | 7 | 14 610.90/611.03 c 594s | 16 | 512897 | 148352 | 29208 10 | 7 | 14 613.09/613.20 c 596s | 16 | 514960 | 149052 | 29208 10 | 7 | 14 615.39/615.50 c 598s | 16 | 517773 | 149852 | 29208 10 | 7 | 14 617.49/617.68 c 600s | 16 | 519956 | 150552 | 29208 10 | 7 | 14 619.69/619.83 c 602s | 16 | 521552 | 151152 | 29208 10 | 7 | 14 621.79/621.92 c 605s | 16 | 524590 | 151852 | 29208 10 | 7 | 14 623.99/624.15 c 607s | 16 | 527371 | 152552 | 29208 10 | 7 | 14 625.99/626.18 c 609s | 16 | 529175 | 153152 | 29208 10 | 7 | 14 628.19/628.38 c 611s | 16 | 531108 | 153752 | 29208 10 | 7 | 14 630.49/630.66 c 613s | 16 | 532822 | 154352 | 29208 10 | 7 | 14 632.69/632.84 c 615s | 16 | 535438 | 155052 | 29208 10 | 7 | 14 635.09/635.23 c 618s | 16 | 537509 | 155752 | 29208 10 | 7 | 14 637.19/637.31 c 620s | 16 | 539703 | 156352 | 29208 10 | 7 | 14 639.39/639.54 c 622s | 16 | 541880 | 157052 | 29208 10 | 7 | 14 641.79/641.90 c 624s | 16 | 543931 | 157652 | 29208 10 | 7 | 14 643.99/644.14 c 627s | 16 | 546372 | 158252 | 29208 10 | 7 | 14 645.99/646.16 c 629s | 16 | 548435 | 158852 | 29208 10 | 7 | 14 648.09/648.27 c 631s | 16 | 550570 | 159452 | 29208 10 | 7 | 14 650.49/650.62 c 633s | 16 | 552951 | 160152 | 29208 10 | 7 | 14 652.79/652.90 c 635s | 16 | 554650 | 160752 | 29208 10 | 7 | 14 654.89/655.01 c 638s | 16 | 556398 | 161352 | 29208 11 | 7 | 14 657.19/657.32 c 640s | 16 | 558054 | 161952 | 29208 11 | 7 | 14 659.49/659.65 c 642s | 16 | 559732 | 162552 | 29208 11 | 7 | 14 661.59/661.70 c 644s | 16 | 561438 | 163052 | 29208 11 | 7 | 14 663.89/664.01 c 647s | 16 | 563584 | 163652 | 29208 11 | 7 | 14 665.89/666.07 c 649s | 16 | 565044 | 164152 | 29208 11 | 7 | 14 668.29/668.42 c 651s | 16 | 566772 | 164752 | 29208 11 | 7 | 14 670.49/670.62 c 653s | 16 | 568875 | 165352 | 29208 11 | 7 | 14 672.69/672.89 c 655s | 16 | 570612 | 165952 | 29208 11 | 7 | 14 675.19/675.30 c 658s | 16 | 572356 | 166552 | 29208 11 | 7 | 14 677.28/677.49 c 660s | 16 | 573971 | 167052 | 29208 11 | 7 | 14 679.38/679.52 c 662s | 16 | 575794 | 167552 | 29208 11 | 7 | 14 681.58/681.78 c 664s | 16 | 577794 | 168152 | 29208 11 | 7 | 14 683.68/683.80 c 666s | 16 | 578959 | 168552 | 29208 11 | 7 | 14 686.58/686.73 c 669s | 16 | 580436 | 169052 | 29208 11 | 7 | 14 689.18/689.34 c 672s | 16 | 582034 | 169452 | 29208 11 | 7 | 14 691.48/691.64 c 674s | 16 | 583608 | 169952 | 29208 11 | 7 | 14 693.78/693.93 c 677s | 16 | 586280 | 170552 | 29208 11 | 7 | 14 695.88/696.07 c 679s | 16 | 588018 | 171052 | 29208 11 | 7 | 14 697.98/698.11 c 681s | 16 | 589589 | 171552 | 29208 11 | 7 | 14 700.48/700.60 c 683s | 16 | 591603 | 172052 | 29208 11 | 7 | 14 702.48/702.69 c 685s | 16 | 593321 | 172552 | 29208 11 | 7 | 14 704.98/705.17 c 688s | 16 | 595004 | 173152 | 29208 11 | 7 | 14 707.18/707.30 c 690s | 16 | 596069 | 173552 | 29208 11 | 7 | 14 709.48/709.67 c 692s | 16 | 598065 | 174052 | 29208 11 | 7 | 14 711.58/711.77 c 694s | 16 | 599348 | 174452 | 29208 11 | 7 | 14 713.78/713.91 c 696s | 16 | 600968 | 174952 | 29208 11 | 7 | 14 716.08/716.23 c 699s | 16 | 603381 | 175452 | 29208 11 | 7 | 14 718.28/718.41 c 701s | 16 | 605028 | 175952 | 29208 11 | 7 | 14 720.38/720.57 c 703s | 16 | 606616 | 176452 | 29208 12 | 7 | 14 722.77/722.98 c 706s | 16 | 608003 | 176952 | 29208 12 | 7 | 14 724.97/725.19 c 708s | 16 | 609666 | 177452 | 29208 12 | 7 | 14 727.27/727.44 c 710s | 16 | 610927 | 177952 | 29208 12 | 7 | 14 729.47/729.65 c 712s | 16 | 613400 | 178452 | 29208 12 | 7 | 14 731.67/731.87 c 714s | 16 | 614972 | 178952 | 29208 12 | 7 | 14 733.77/733.91 c 716s | 16 | 616428 | 179452 | 29208 12 | 7 | 14 735.78/735.97 c 719s | 16 | 618107 | 179952 | 29208 12 | 7 | 14 738.08/738.27 c 721s | 16 | 619529 | 180452 | 29208 12 | 7 | 14 740.47/740.60 c 723s | 16 | 620972 | 180952 | 29208 12 | 7 | 14 742.77/742.94 c 726s | 16 | 622522 | 181552 | 29208 12 | 7 | 14 745.07/745.27 c 728s | 16 | 625014 | 182152 | 29208 12 | 7 | 14 747.17/747.35 c 730s | 16 | 626631 | 182652 | 29208 12 | 7 | 14 749.67/749.81 c 732s | 16 | 628647 | 183152 | 29208 12 | 7 | 14 751.87/752.06 c 735s | 16 | 630437 | 183652 | 29208 12 | 7 | 14 753.97/754.15 c 737s | 16 | 632574 | 184152 | 29208 12 | 7 | 14 756.37/756.51 c 739s | 16 | 635962 | 184752 | 29208 12 | 7 | 14 758.57/758.71 c 741s | 16 | 638087 | 185252 | 29208 12 | 7 | 14 760.87/761.02 c 744s | 16 | 640372 | 185852 | 29208 12 | 7 | 14 762.97/763.18 c 746s | 16 | 642154 | 186352 | 29208 12 | 7 | 14 765.27/765.45 c 748s | 16 | 643741 | 186952 | 32129 12 | 7 | 14 767.58/767.72 c 750s | 16 | 645133 | 187552 | 32129 12 | 7 | 14 769.78/769.90 c 752s | 16 | 646593 | 188052 | 32129 12 | 7 | 14 771.87/772.07 c 755s | 16 | 648886 | 188552 | 32129 12 | 7 | 14 773.97/774.11 c 757s | 16 | 651488 | 189052 | 32129 12 | 7 | 14 775.97/776.12 c 759s | 16 | 653296 | 189552 | 32129 12 | 7 | 14 778.07/778.28 c 761s | 16 | 654698 | 190052 | 32129 12 | 7 | 14 780.27/780.46 c 763s | 16 | 656277 | 190552 | 32129 12 | 7 | 14 782.27/782.46 c 765s | 16 | 657681 | 191052 | 32129 12 | 7 | 14 784.57/784.72 c 767s | 16 | 658862 | 191552 | 32129 12 | 7 | 14 786.97/787.15 c 770s | 16 | 660250 | 192052 | 32129 12 | 7 | 14 789.07/789.21 c 772s | 16 | 661302 | 192452 | 32129 12 | 7 | 14 791.07/791.25 c 774s | 16 | 662806 | 192852 | 32129 12 | 7 | 14 793.17/793.32 c 776s | 16 | 664793 | 193352 | 32129 12 | 7 | 14 795.77/795.90 c 778s | 16 | 666699 | 193852 | 32129 12 | 7 | 14 797.97/798.10 c 781s | 16 | 668427 | 194352 | 32129 13 | 7 | 14 800.07/800.22 c 783s | 16 | 670116 | 194852 | 32129 13 | 7 | 14 802.27/802.43 c 785s | 16 | 671606 | 195452 | 32129 13 | 7 | 14 804.37/804.52 c 787s | 16 | 672832 | 196052 | 32129 13 | 7 | 14 806.57/806.77 c 789s | 16 | 674391 | 196552 | 32129 13 | 7 | 14 808.67/808.84 c 791s | 16 | 676777 | 197052 | 32129 13 | 7 | 14 810.17/810.37 c 793s | 17 | 677923 | 197432 | 32129 13 | 7 | 14 812.37/812.56 c 795s | 17 | 679807 | 197932 | 32129 13 | 7 | 14 814.77/814.93 c 798s | 17 | 681160 | 198532 | 32129 13 | 7 | 14 816.86/817.08 c 800s | 17 | 682625 | 199032 | 32129 13 | 7 | 14 819.06/819.27 c 802s | 17 | 684283 | 199532 | 32129 13 | 7 | 14 821.16/821.34 c 804s | 17 | 686013 | 199932 | 32129 13 | 7 | 14 823.46/823.66 c 806s | 17 | 687388 | 200332 | 32129 13 | 7 | 14 825.66/825.83 c 808s | 17 | 689469 | 200832 | 32129 13 | 7 | 14 827.76/827.92 c 811s | 17 | 691045 | 201332 | 32129 13 | 7 | 14 829.86/830.02 c 813s | 17 | 692827 | 201832 | 32129 13 | 7 | 14 832.26/832.41 c 815s | 17 | 694989 | 202432 | 32129 13 | 7 | 14 834.26/834.43 c 817s | 17 | 696303 | 202932 | 32129 13 | 7 | 14 836.46/836.64 c 819s | 17 | 697688 | 203432 | 32129 13 | 7 | 14 838.66/838.80 c 821s | 17 | 698949 | 203832 | 32129 13 | 7 | 14 840.76/840.96 c 824s | 17 | 700209 | 204332 | 32129 13 | 7 | 14 842.76/842.98 c 826s | 17 | 702012 | 204732 | 32129 13 | 7 | 14 845.26/845.41 c 828s | 17 | 704839 | 205232 | 32129 13 | 7 | 14 847.46/847.69 c 830s | 17 | 707209 | 205732 | 32129 13 | 7 | 14 849.96/850.10 c 833s | 17 | 708811 | 206232 | 32129 13 | 7 | 14 851.96/852.14 c 835s | 17 | 710133 | 206632 | 32129 13 | 7 | 14 854.16/854.33 c 837s | 17 | 711496 | 207032 | 32129 13 | 7 | 14 856.26/856.41 c 839s | 17 | 713184 | 207432 | 32129 13 | 7 | 14 858.46/858.69 c 841s | 17 | 715400 | 207932 | 32129 13 | 7 | 14 860.76/860.94 c 844s | 17 | 717731 | 208432 | 32129 13 | 7 | 14 863.06/863.29 c 846s | 17 | 719628 | 208932 | 32129 13 | 7 | 14 865.36/865.57 c 848s | 17 | 720940 | 209432 | 32129 13 | 7 | 14 867.46/867.63 c 850s | 17 | 722198 | 209932 | 32129 13 | 7 | 14 869.55/869.76 c 852s | 17 | 723419 | 210332 | 32129 14 | 7 | 14 872.05/872.20 c 855s | 17 | 725642 | 210932 | 32129 14 | 7 | 14 874.25/874.42 c 857s | 17 | 727770 | 211432 | 32129 14 | 7 | 14 876.35/876.50 c 859s | 17 | 729511 | 211932 | 32129 14 | 7 | 14 878.35/878.58 c 861s | 17 | 732366 | 212432 | 32129 14 | 7 | 14 880.55/880.75 c 863s | 17 | 734592 | 213032 | 32129 14 | 7 | 14 882.85/883.09 c 866s | 17 | 736159 | 213632 | 32129 14 | 7 | 14 885.05/885.22 c 868s | 17 | 737200 | 214132 | 32129 14 | 7 | 14 887.25/887.48 c 870s | 17 | 738587 | 214632 | 32129 14 | 7 | 14 889.65/889.89 c 872s | 17 | 740005 | 215232 | 32129 14 | 7 | 14 891.85/892.06 c 875s | 17 | 742496 | 215632 | 32129 14 | 7 | 14 894.05/894.20 c 877s | 17 | 744022 | 216032 | 32129 14 | 7 | 14 896.25/896.41 c 879s | 17 | 746208 | 216532 | 32129 14 | 7 | 14 898.55/898.76 c 881s | 17 | 747700 | 217032 | 32129 14 | 7 | 14 900.75/900.91 c 883s | 17 | 749407 | 217432 | 32129 14 | 7 | 14 903.05/903.30 c 886s | 17 | 752201 | 217932 | 32129 14 | 7 | 14 905.35/905.56 c 888s | 17 | 755649 | 218432 | 32129 14 | 7 | 14 907.45/907.69 c 890s | 17 | 757228 | 218932 | 32129 14 | 7 | 14 909.65/909.87 c 892s | 17 | 759053 | 219432 | 32129 14 | 7 | 14 912.05/912.20 c 895s | 17 | 760815 | 219932 | 32129 14 | 7 | 14 914.05/914.27 c 897s | 17 | 762179 | 220332 | 32129 14 | 7 | 14 916.25/916.43 c 899s | 17 | 765305 | 220832 | 32129 14 | 7 | 14 918.35/918.60 c 901s | 17 | 767029 | 221332 | 32129 14 | 7 | 14 920.65/920.87 c 903s | 17 | 768630 | 221832 | 32129 14 | 7 | 14 922.75/922.94 c 906s | 17 | 770244 | 222332 | 32129 14 | 7 | 14 924.84/925.07 c 908s | 17 | 771551 | 222832 | 32129 14 | 7 | 14 927.04/927.26 c 910s | 17 | 773486 | 223332 | 32129 14 | 7 | 14 929.35/929.59 c 912s | 17 | 774896 | 223832 | 32129 14 | 7 | 14 931.44/931.62 c 914s | 17 | 776364 | 224232 | 32129 14 | 7 | 14 933.44/933.63 c 916s | 17 | 778749 | 224732 | 32129 14 | 7 | 14 935.54/935.77 c 918s | 17 | 780497 | 225232 | 32129 14 | 7 | 14 937.64/937.86 c 920s | 17 | 781810 | 225732 | 32129 14 | 7 | 14 939.74/939.97 c 923s | 17 | 783316 | 226232 | 32129 14 | 7 | 14 942.14/942.34 c 925s | 17 | 786078 | 226832 | 32129 14 | 7 | 14 944.34/944.55 c 927s | 17 | 787373 | 227332 | 32129 15 | 7 | 14 946.64/946.89 c 929s | 17 | 789790 | 228032 | 32129 15 | 7 | 14 948.94/949.20 c 932s | 17 | 791618 | 228632 | 32129 15 | 7 | 14 951.34/951.56 c 934s | 17 | 793668 | 229232 | 32129 15 | 7 | 14 953.65/953.82 c 936s | 17 | 795746 | 229832 | 32129 15 | 7 | 14 955.75/956.00 c 939s | 17 | 796982 | 230332 | 32129 15 | 7 | 14 958.04/958.27 c 941s | 17 | 798704 | 230932 | 32129 15 | 7 | 14 960.04/960.28 c 943s | 17 | 800455 | 231332 | 32129 15 | 7 | 14 962.34/962.56 c 945s | 17 | 802668 | 231832 | 32129 15 | 7 | 14 964.74/964.92 c 948s | 17 | 805438 | 232432 | 32129 15 | 7 | 14 967.04/967.27 c 950s | 17 | 807509 | 233032 | 32129 15 | 7 | 14 969.43/969.64 c 952s | 17 | 809050 | 233532 | 32129 15 | 7 | 14 971.83/972.02 c 955s | 17 | 810388 | 234032 | 32129 15 | 7 | 14 973.83/974.08 c 957s | 17 | 812062 | 234432 | 32129 15 | 7 | 14 976.03/976.26 c 959s | 17 | 814061 | 234832 | 32129 15 | 7 | 14 978.33/978.51 c 961s | 17 | 815941 | 235332 | 32129 15 | 7 | 14 980.83/981.01 c 964s | 17 | 817556 | 235832 | 32129 15 | 7 | 14 983.23/983.46 c 966s | 17 | 818995 | 236332 | 32129 15 | 7 | 14 985.53/985.78 c 968s | 17 | 821110 | 236832 | 32129 15 | 7 | 14 987.63/987.83 c 970s | 17 | 823058 | 237332 | 32129 15 | 7 | 14 989.83/990.04 c 973s | 17 | 824375 | 237832 | 32129 15 | 7 | 14 991.82/992.09 c 975s | 17 | 825635 | 238232 | 32129 15 | 7 | 14 994.22/994.43 c 977s | 17 | 827537 | 238732 | 32129 15 | 7 | 14 996.42/996.68 c 979s | 17 | 829139 | 239232 | 32129 15 | 7 | 14 998.72/998.99 c 982s | 17 | 831110 | 239732 | 32129 15 | 7 | 14 1000.82/1001.01 c 984s | 17 | 833195 | 240232 | 32129 15 | 7 | 14 1003.02/1003.28 c 986s | 17 | 835131 | 240832 | 32129 15 | 7 | 14 1005.01/1005.29 c 988s | 17 | 836559 | 241332 | 32129 15 | 7 | 14 1007.21/1007.45 c 990s | 17 | 838094 | 241832 | 32129 15 | 7 | 14 1009.20/1009.47 c 992s | 17 | 839569 | 242232 | 32129 15 | 7 | 14 1011.50/1011.70 c 994s | 17 | 841338 | 242732 | 32129 15 | 7 | 14 1013.80/1014.02 c 997s | 17 | 842881 | 243232 | 32129 15 | 7 | 14 1016.00/1016.28 c 999s | 17 | 844867 | 243732 | 32129 15 | 7 | 14 1018.20/1018.49 c 1001s | 17 | 846339 | 244132 | 32129 16 | 7 | 14 1020.60/1020.83 c 1003s | 17 | 848449 | 244632 | 32129 16 | 7 | 14 1022.80/1023.05 c 1006s | 17 | 850394 | 245232 | 32129 16 | 7 | 14 1025.10/1025.31 c 1008s | 17 | 852199 | 245832 | 32129 16 | 7 | 14 1027.30/1027.56 c 1010s | 17 | 853961 | 246432 | 32129 16 | 7 | 14 1029.59/1029.85 c 1012s | 17 | 855648 | 247032 | 32129 16 | 7 | 14 1031.79/1032.05 c 1015s | 17 | 857007 | 247532 | 32129 16 | 7 | 14 1033.89/1034.13 c 1017s | 17 | 858371 | 248032 | 32129 16 | 7 | 14 1036.09/1036.39 c 1019s | 17 | 860446 | 248532 | 32129 16 | 7 | 14 1038.48/1038.77 c 1021s | 17 | 862739 | 249132 | 32129 16 | 7 | 14 1040.58/1040.85 c 1023s | 17 | 864352 | 249632 | 32129 16 | 7 | 14 1042.88/1043.12 c 1026s | 17 | 866105 | 250232 | 32129 16 | 7 | 14 1045.28/1045.51 c 1028s | 17 | 867931 | 250832 | 32129 16 | 7 | 14 1047.28/1047.54 c 1030s | 17 | 869051 | 251332 | 32129 16 | 7 | 14 1049.37/1049.61 c 1032s | 17 | 870238 | 251732 | 32129 16 | 7 | 14 1051.57/1051.86 c 1034s | 17 | 872388 | 252232 | 32129 16 | 7 | 14 1053.68/1053.93 c 1037s | 17 | 874766 | 252732 | 32129 16 | 7 | 14 1056.17/1056.40 c 1039s | 17 | 876513 | 253332 | 32129 16 | 7 | 14 1058.17/1058.47 c 1041s | 17 | 877874 | 253732 | 32129 16 | 7 | 14 1060.57/1060.81 c 1043s | 17 | 880260 | 254332 | 32129 16 | 7 | 14 1062.67/1062.92 c 1046s | 17 | 882275 | 254932 | 32129 16 | 7 | 14 1064.76/1065.00 c 1048s | 17 | 884108 | 255532 | 32129 16 | 7 | 14 1066.87/1067.13 c 1050s | 17 | 885702 | 256132 | 32129 16 | 7 | 14 1068.86/1069.13 c 1052s | 17 | 887116 | 256632 | 32129 16 | 7 | 14 1071.17/1071.45 c 1054s | 17 | 888852 | 257232 | 32129 16 | 7 | 14 1073.36/1073.62 c 1056s | 17 | 890511 | 257732 | 32129 16 | 7 | 14 1075.56/1075.87 c 1058s | 17 | 892435 | 258232 | 32129 16 | 7 | 14 1078.05/1078.30 c 1061s | 17 | 894846 | 258732 | 32129 16 | 7 | 14 1080.45/1080.77 c 1063s | 17 | 896168 | 259232 | 32129 16 | 7 | 14 1082.95/1083.26 c 1066s | 17 | 897763 | 259732 | 32129 16 | 7 | 14 1085.46/1085.74 c 1068s | 17 | 899565 | 260232 | 32129 16 | 7 | 14 1087.84/1088.18 c 1071s | 17 | 901193 | 260732 | 32129 17 | 7 | 14 1090.04/1090.38 c 1073s | 17 | 903609 | 261232 | 32129 17 | 7 | 14 1092.05/1092.40 c 1075s | 17 | 905404 | 261732 | 32129 17 | 7 | 14 1094.25/1094.52 c 1077s | 17 | 907551 | 262332 | 32129 17 | 7 | 14 1096.55/1096.86 c 1079s | 17 | 910052 | 262932 | 32129 17 | 7 | 14 1098.74/1099.10 c 1082s | 17 | 912235 | 263532 | 32129 17 | 7 | 14 1100.94/1101.20 c 1084s | 17 | 914307 | 264132 | 32129 17 | 7 | 14 1103.04/1103.40 c 1086s | 17 | 915902 | 264732 | 32129 17 | 7 | 14 1105.24/1105.58 c 1088s | 17 | 917458 | 265332 | 32129 17 | 7 | 14 1107.44/1107.74 c 1090s | 17 | 918815 | 265932 | 32129 17 | 7 | 14 1109.83/1110.11 c 1093s | 17 | 920436 | 266432 | 32129 17 | 7 | 14 1111.84/1112.19 c 1095s | 17 | 922055 | 267032 | 32129 17 | 7 | 14 1114.23/1114.53 c 1097s | 17 | 923948 | 267532 | 32129 17 | 7 | 14 1116.73/1117.06 c 1100s | 17 | 925889 | 268032 | 32129 17 | 7 | 14 1119.12/1119.50 c 1102s | 17 | 928225 | 268532 | 32129 17 | 7 | 14 1121.42/1121.76 c 1104s | 17 | 930052 | 269032 | 32129 17 | 7 | 14 1123.62/1123.96 c 1107s | 17 | 931694 | 269532 | 32129 17 | 7 | 14 1125.82/1126.11 c 1109s | 17 | 933852 | 270032 | 32129 17 | 7 | 14 1128.21/1128.50 c 1111s | 17 | 935612 | 270632 | 32129 17 | 7 | 14 1130.21/1130.51 c 1113s | 17 | 936973 | 271132 | 32129 17 | 7 | 14 1132.21/1132.51 c 1115s | 17 | 938700 | 271632 | 32129 17 | 7 | 14 1134.41/1134.73 c 1117s | 17 | 940586 | 272132 | 32129 17 | 7 | 14 1136.71/1137.00 c 1120s | 17 | 943147 | 272632 | 32129 17 | 7 | 14 1138.71/1139.03 c 1122s | 17 | 944926 | 273132 | 32129 17 | 7 | 14 1140.81/1141.17 c 1124s | 17 | 946829 | 273632 | 32129 17 | 7 | 14 1142.91/1143.29 c 1126s | 17 | 948571 | 274132 | 32129 17 | 7 | 14 1145.11/1145.41 c 1128s | 17 | 950601 | 274732 | 32129 17 | 7 | 14 1147.12/1147.42 c 1130s | 17 | 952698 | 275332 | 32129 17 | 7 | 14 1149.21/1149.60 c 1132s | 17 | 954222 | 275832 | 32129 17 | 7 | 14 1151.31/1151.69 c 1134s | 17 | 955508 | 276232 | 32129 17 | 7 | 14 1153.50/1153.86 c 1136s | 17 | 956791 | 276632 | 32129 17 | 7 | 14 1155.60/1155.96 c 1139s | 17 | 958548 | 277032 | 32129 17 | 7 | 14 1158.01/1158.36 c 1141s | 17 | 961005 | 277532 | 32129 18 | 7 | 14 1160.21/1160.54 c 1143s | 17 | 963107 | 278132 | 32129 18 | 7 | 14 1162.51/1162.85 c 1145s | 17 | 965098 | 278732 | 32129 18 | 7 | 14 1164.61/1165.00 c 1148s | 17 | 967069 | 279332 | 32129 18 | 7 | 14 1166.90/1167.26 c 1150s | 17 | 969157 | 279832 | 32129 18 | 7 | 14 1168.89/1169.29 c 1152s | 17 | 971539 | 280332 | 32129 18 | 7 | 14 1171.20/1171.59 c 1154s | 17 | 974127 | 280932 | 32129 18 | 7 | 14 1173.29/1173.66 c 1156s | 17 | 976807 | 281432 | 32129 18 | 7 | 14 1175.39/1175.79 c 1158s | 17 | 979572 | 281932 | 32129 18 | 7 | 14 1177.80/1178.17 c 1161s | 17 | 982082 | 282532 | 32129 18 | 7 | 14 1179.89/1180.25 c 1163s | 17 | 984389 | 283132 | 32129 18 | 7 | 14 1182.20/1182.56 c 1165s | 17 | 986313 | 283732 | 32129 18 | 7 | 14 1184.19/1184.59 c 1167s | 17 | 988594 | 284232 | 32129 18 | 7 | 14 1186.29/1186.65 c 1169s | 17 | 990456 | 284732 | 32129 18 | 7 | 14 1188.58/1188.91 c 1171s | 17 | 992428 | 285332 | 35342 18 | 7 | 14 1190.58/1190.91 c 1173s | 17 | 993817 | 285832 | 35342 18 | 7 | 14 1192.88/1193.27 c 1176s | 17 | 995464 | 286432 | 35342 18 | 7 | 14 1195.18/1195.56 c 1178s | 17 | 998244 | 287032 | 35342 18 | 7 | 14 1197.38/1197.70 c 1180s | 17 | 1000608 | 287632 | 35342 18 | 7 | 14 1199.68/1200.01 c 1183s | 17 | 1002502 | 288132 | 35342 18 | 7 | 14 1201.68/1202.07 c 1185s | 17 | 1004392 | 288632 | 35342 18 | 7 | 14 1203.88/1204.26 c 1187s | 17 | 1006705 | 289232 | 35342 18 | 7 | 14 1205.98/1206.30 c 1189s | 17 | 1008560 | 289732 | 35342 18 | 7 | 14 1207.97/1208.32 c 1191s | 17 | 1010943 | 290432 | 35342 18 | 7 | 14 1210.37/1210.70 c 1193s | 17 | 1013107 | 291032 | 35342 18 | 7 | 14 1212.57/1212.98 c 1196s | 17 | 1015244 | 291632 | 35342 18 | 7 | 14 1214.77/1215.14 c 1198s | 17 | 1017149 | 292232 | 35342 18 | 7 | 14 1216.97/1217.35 c 1200s | 17 | 1019269 | 292832 | 35342 18 | 7 | 14 1219.26/1219.66 c 1202s | 17 | 1022373 | 293432 | 35342 18 | 7 | 14 1221.36/1221.70 c 1204s | 17 | 1024933 | 294032 | 35342 18 | 7 | 14 1224.26/1224.64 c 1207s | 17 | 1026206 | 294332 | 35342 18 | 7 | 14 1226.66/1227.00 c 1210s | 17 | 1027794 | 294732 | 35342 18 | 7 | 14 1228.65/1229.05 c 1212s | 17 | 1029288 | 295032 | 35342 18 | 7 | 14 1231.15/1231.52 c 1214s | 17 | 1031005 | 295532 | 35342 18 | 7 | 14 1233.15/1233.53 c 1216s | 17 | 1033015 | 296032 | 35342 18 | 7 | 14 1233.96/1234.35 c 1217s | 18 | 1033747 | 296252 | 35342 18 | 7 | 14 1236.25/1236.62 c 1219s | 18 | 1035458 | 296652 | 35342 19 | 7 | 14 1238.45/1238.85 c 1221s | 18 | 1037668 | 297152 | 35342 19 | 7 | 14 1240.45/1240.90 c 1223s | 18 | 1039547 | 297752 | 35342 19 | 7 | 14 1242.55/1243.00 c 1226s | 18 | 1041296 | 298252 | 35342 19 | 7 | 14 1244.95/1245.37 c 1228s | 18 | 1042888 | 298852 | 35342 19 | 7 | 14 1247.05/1247.47 c 1230s | 18 | 1044263 | 299352 | 35342 19 | 7 | 14 1249.35/1249.75 c 1232s | 18 | 1045893 | 299852 | 35342 19 | 7 | 14 1251.74/1252.10 c 1235s | 18 | 1048041 | 300352 | 35342 19 | 7 | 14 1253.94/1254.31 c 1237s | 18 | 1050134 | 300852 | 35342 19 | 7 | 14 1256.04/1256.42 c 1239s | 18 | 1052484 | 301352 | 35342 19 | 7 | 14 1258.05/1258.42 c 1241s | 18 | 1054622 | 301852 | 35342 19 | 7 | 14 1260.14/1260.54 c 1243s | 18 | 1056074 | 302352 | 35342 19 | 7 | 14 1262.46/1262.84 c 1245s | 18 | 1058120 | 302852 | 35342 19 | 7 | 14 1264.85/1265.22 c 1248s | 18 | 1060045 | 303352 | 35342 19 | 7 | 14 1267.05/1267.42 c 1250s | 18 | 1061361 | 303852 | 35342 19 | 7 | 14 1269.06/1269.45 c 1252s | 18 | 1063335 | 304252 | 35342 19 | 7 | 14 1271.35/1271.78 c 1254s | 18 | 1066174 | 304752 | 35342 19 | 7 | 14 1273.55/1273.95 c 1257s | 18 | 1068791 | 305252 | 35342 19 | 7 | 14 1275.95/1276.32 c 1259s | 18 | 1070377 | 305752 | 35342 19 | 7 | 14 1277.95/1278.38 c 1261s | 18 | 1071782 | 306252 | 35342 19 | 7 | 14 1280.25/1280.67 c 1263s | 18 | 1072851 | 306752 | 35342 19 | 7 | 14 1282.65/1283.04 c 1266s | 18 | 1074446 | 307252 | 35342 19 | 7 | 14 1284.84/1285.24 c 1268s | 18 | 1075467 | 307752 | 35342 19 | 7 | 14 1287.34/1287.75 c 1270s | 18 | 1077254 | 308252 | 35342 19 | 7 | 14 1289.34/1289.79 c 1272s | 18 | 1078766 | 308652 | 35342 19 | 7 | 14 1291.74/1292.13 c 1275s | 18 | 1080749 | 309152 | 35342 19 | 7 | 14 1293.74/1294.16 c 1277s | 18 | 1082976 | 309652 | 35342 19 | 7 | 14 1296.14/1296.58 c 1279s | 18 | 1085111 | 310252 | 35342 19 | 7 | 14 1298.24/1298.64 c 1281s | 18 | 1086660 | 310752 | 35342 19 | 7 | 14 1300.54/1300.94 c 1284s | 18 | 1088546 | 311352 | 35342 19 | 7 | 14 1302.64/1303.08 c 1286s | 18 | 1089792 | 311852 | 35342 19 | 7 | 14 1305.04/1305.43 c 1288s | 18 | 1091065 | 312452 | 35342 19 | 7 | 14 1307.65/1308.03 c 1291s | 18 | 1092526 | 312952 | 35342 19 | 7 | 14 1310.04/1310.41 c 1293s | 18 | 1093893 | 313352 | 35342 19 | 7 | 14 1312.05/1312.50 c 1295s | 18 | 1095800 | 313752 | 35342 19 | 7 | 14 1314.34/1314.73 c 1297s | 18 | 1098406 | 314252 | 35342 19 | 7 | 14 1316.74/1317.13 c 1300s | 18 | 1101147 | 314852 | 35342 19 | 7 | 14 1318.94/1319.37 c 1302s | 18 | 1102819 | 315352 | 35342 19 | 7 | 14 1321.03/1321.46 c 1304s | 18 | 1104244 | 315852 | 35342 20 | 7 | 14 1323.04/1323.47 c 1306s | 18 | 1105903 | 316352 | 35342 20 | 7 | 14 1325.24/1325.68 c 1308s | 18 | 1107374 | 316952 | 35342 20 | 7 | 14 1327.53/1327.95 c 1311s | 18 | 1108885 | 317452 | 35342 20 | 7 | 14 1330.03/1330.47 c 1313s | 18 | 1110404 | 317952 | 35342 20 | 7 | 14 1332.23/1332.64 c 1315s | 18 | 1112294 | 318452 | 35342 20 | 7 | 14 1334.33/1334.79 c 1317s | 18 | 1114380 | 318952 | 35342 20 | 7 | 14 1336.73/1337.11 c 1320s | 18 | 1116244 | 319452 | 35342 20 | 7 | 14 1338.73/1339.18 c 1322s | 18 | 1117965 | 319952 | 35342 20 | 7 | 14 1341.03/1341.47 c 1324s | 18 | 1119904 | 320452 | 35342 20 | 7 | 14 1343.23/1343.68 c 1326s | 18 | 1121266 | 320952 | 35342 20 | 7 | 14 1345.63/1346.08 c 1329s | 18 | 1123085 | 321452 | 35342 20 | 7 | 14 1347.63/1348.08 c 1331s | 18 | 1125537 | 321852 | 35342 20 | 7 | 14 1349.73/1350.17 c 1333s | 18 | 1127537 | 322252 | 35342 20 | 7 | 14 1352.13/1352.55 c 1335s | 18 | 1129275 | 322752 | 35342 20 | 7 | 14 1354.23/1354.67 c 1337s | 18 | 1130701 | 323252 | 35342 20 | 7 | 14 1356.63/1357.08 c 1340s | 18 | 1132559 | 323852 | 35342 20 | 7 | 14 1358.92/1359.39 c 1342s | 18 | 1134556 | 324352 | 35342 20 | 7 | 14 1361.12/1361.50 c 1344s | 18 | 1136041 | 324752 | 35342 20 | 7 | 14 1363.52/1363.94 c 1347s | 18 | 1138948 | 325352 | 35342 20 | 7 | 14 1365.83/1366.21 c 1349s | 18 | 1140365 | 325852 | 35342 20 | 7 | 14 1367.92/1368.32 c 1351s | 18 | 1141441 | 326252 | 35342 20 | 7 | 14 1370.33/1370.76 c 1353s | 18 | 1142746 | 326752 | 35342 20 | 7 | 14 1372.72/1373.12 c 1356s | 18 | 1144462 | 327152 | 35342 20 | 7 | 14 1374.82/1375.27 c 1358s | 18 | 1146464 | 327552 | 35342 20 | 7 | 14 1377.02/1377.46 c 1360s | 18 | 1149581 | 328052 | 35342 20 | 7 | 14 1379.12/1379.57 c 1362s | 18 | 1150964 | 328452 | 35342 20 | 7 | 14 1381.61/1382.04 c 1365s | 18 | 1151922 | 328852 | 35342 20 | 7 | 14 1383.81/1384.28 c 1367s | 18 | 1152970 | 329252 | 35342 20 | 7 | 14 1386.41/1386.82 c 1369s | 18 | 1155378 | 329752 | 35342 20 | 7 | 14 1388.60/1389.05 c 1372s | 18 | 1157442 | 330252 | 35342 20 | 7 | 14 1390.70/1391.19 c 1374s | 18 | 1159575 | 330752 | 35342 20 | 7 | 14 1393.10/1393.59 c 1376s | 18 | 1161933 | 331352 | 35342 20 | 7 | 14 1395.30/1395.77 c 1378s | 18 | 1163614 | 331952 | 35342 20 | 7 | 14 1397.40/1397.81 c 1380s | 18 | 1165158 | 332452 | 35342 20 | 7 | 14 1399.50/1399.96 c 1383s | 18 | 1166531 | 332952 | 35342 20 | 7 | 14 1401.59/1402.05 c 1385s | 18 | 1167662 | 333352 | 35342 21 | 7 | 14 1403.69/1404.19 c 1387s | 18 | 1168906 | 333852 | 35342 21 | 7 | 14 1405.89/1406.31 c 1389s | 18 | 1170585 | 334352 | 35342 21 | 7 | 14 1408.39/1408.87 c 1391s | 18 | 1172133 | 334852 | 35342 21 | 7 | 14 1410.79/1411.26 c 1394s | 18 | 1173744 | 335352 | 35342 21 | 7 | 14 1412.89/1413.35 c 1396s | 18 | 1175893 | 335752 | 35342 21 | 7 | 14 1414.99/1415.40 c 1398s | 18 | 1177610 | 336152 | 35342 21 | 7 | 14 1417.19/1417.70 c 1400s | 18 | 1179098 | 336652 | 35342 21 | 7 | 14 1419.48/1419.93 c 1403s | 18 | 1180455 | 337152 | 35342 21 | 7 | 14 1421.78/1422.22 c 1405s | 18 | 1181898 | 337652 | 35342 21 | 7 | 14 1424.09/1424.53 c 1407s | 18 | 1183604 | 338152 | 35342 21 | 7 | 14 1426.29/1426.77 c 1409s | 18 | 1185354 | 338652 | 35342 21 | 7 | 14 1428.58/1429.03 c 1412s | 18 | 1187635 | 339252 | 35342 21 | 7 | 14 1430.78/1431.27 c 1414s | 18 | 1189817 | 339852 | 35342 21 | 7 | 14 1432.88/1433.36 c 1416s | 18 | 1191317 | 340352 | 35342 21 | 7 | 14 1435.08/1435.54 c 1418s | 18 | 1192777 | 340852 | 35342 21 | 7 | 14 1437.28/1437.80 c 1420s | 18 | 1194453 | 341352 | 35342 21 | 7 | 14 1439.38/1439.81 c 1422s | 18 | 1196012 | 341852 | 35342 21 | 7 | 14 1441.37/1441.87 c 1424s | 18 | 1197612 | 342352 | 35342 21 | 7 | 14 1443.47/1443.94 c 1427s | 18 | 1199276 | 342852 | 35342 21 | 7 | 14 1445.67/1446.17 c 1429s | 18 | 1200935 | 343352 | 35342 21 | 7 | 14 1448.07/1448.56 c 1431s | 18 | 1202898 | 343852 | 35342 21 | 7 | 14 1450.27/1450.75 c 1433s | 18 | 1204611 | 344352 | 35342 21 | 7 | 14 1452.57/1453.03 c 1436s | 18 | 1206236 | 344852 | 35342 21 | 7 | 14 1454.98/1455.41 c 1438s | 18 | 1207957 | 345352 | 35342 21 | 7 | 14 1457.18/1457.66 c 1440s | 18 | 1210463 | 345852 | 35342 21 | 7 | 14 1459.28/1459.72 c 1442s | 18 | 1212285 | 346352 | 35342 21 | 7 | 14 1461.37/1461.86 c 1444s | 18 | 1214187 | 346852 | 35342 21 | 7 | 14 1463.47/1463.93 c 1447s | 18 | 1215952 | 347252 | 35342 21 | 7 | 14 1465.88/1466.34 c 1449s | 18 | 1218762 | 347752 | 35342 21 | 7 | 14 1467.97/1468.47 c 1451s | 18 | 1220251 | 348152 | 35342 21 | 7 | 14 1470.17/1470.67 c 1453s | 18 | 1222419 | 348552 | 35342 21 | 7 | 14 1472.37/1472.86 c 1455s | 18 | 1223582 | 348952 | 35342 21 | 7 | 14 1474.57/1475.07 c 1458s | 18 | 1225504 | 349452 | 35342 21 | 7 | 14 1476.77/1477.23 c 1460s | 18 | 1227459 | 350052 | 35342 21 | 7 | 14 1478.86/1479.31 c 1462s | 18 | 1228786 | 350552 | 35342 21 | 7 | 14 1481.06/1481.57 c 1464s | 18 | 1230276 | 351052 | 35342 21 | 7 | 14 1483.26/1483.74 c 1466s | 18 | 1231581 | 351552 | 35342 21 | 7 | 14 1485.46/1485.90 c 1468s | 18 | 1233185 | 352052 | 35342 22 | 7 | 14 1487.46/1487.93 c 1471s | 18 | 1234931 | 352652 | 35342 22 | 7 | 14 1489.46/1489.98 c 1473s | 18 | 1237170 | 353152 | 35342 22 | 7 | 14 1491.46/1491.99 c 1475s | 18 | 1239051 | 353652 | 35342 22 | 7 | 14 1493.66/1494.10 c 1477s | 18 | 1241001 | 354152 | 35342 22 | 7 | 14 1495.68/1496.13 c 1479s | 18 | 1242911 | 354652 | 35342 22 | 7 | 14 1497.67/1498.18 c 1481s | 18 | 1244826 | 355152 | 35342 22 | 7 | 14 1499.98/1500.49 c 1483s | 18 | 1246819 | 355752 | 35342 22 | 7 | 14 1502.37/1502.81 c 1485s | 18 | 1248817 | 356352 | 35342 22 | 7 | 14 1504.87/1505.30 c 1488s | 18 | 1250469 | 356852 | 35342 22 | 7 | 14 1506.87/1507.33 c 1490s | 18 | 1252253 | 357252 | 35342 22 | 7 | 14 1509.17/1509.60 c 1492s | 18 | 1254522 | 357752 | 35342 22 | 7 | 14 1511.47/1511.99 c 1495s | 18 | 1256411 | 358252 | 35342 22 | 7 | 14 1513.67/1514.19 c 1497s | 18 | 1258479 | 358752 | 35342 22 | 7 | 14 1515.77/1516.22 c 1499s | 18 | 1260238 | 359252 | 35342 22 | 7 | 14 1517.76/1518.27 c 1501s | 18 | 1262207 | 359752 | 35342 22 | 7 | 14 1519.96/1520.45 c 1503s | 18 | 1264696 | 360352 | 35342 22 | 7 | 14 1522.16/1522.69 c 1505s | 18 | 1266295 | 360952 | 35342 22 | 7 | 14 1524.46/1524.98 c 1508s | 18 | 1267623 | 361452 | 35342 22 | 7 | 14 1526.56/1527.05 c 1510s | 18 | 1269082 | 361852 | 35342 22 | 7 | 14 1528.86/1529.35 c 1512s | 18 | 1271007 | 362352 | 35342 22 | 7 | 14 1530.87/1531.38 c 1514s | 18 | 1272729 | 362852 | 35342 22 | 7 | 14 1533.26/1533.72 c 1516s | 18 | 1274363 | 363452 | 35342 22 | 7 | 14 1535.27/1535.79 c 1518s | 18 | 1275652 | 363952 | 35342 22 | 7 | 14 1537.37/1537.82 c 1520s | 18 | 1276586 | 364352 | 35342 22 | 7 | 14 1539.46/1539.99 c 1523s | 18 | 1278227 | 364852 | 35342 22 | 7 | 14 1541.96/1542.43 c 1525s | 18 | 1279219 | 365352 | 35342 22 | 7 | 14 1544.06/1544.53 c 1527s | 18 | 1281104 | 365752 | 35342 22 | 7 | 14 1546.16/1546.68 c 1529s | 18 | 1282430 | 366152 | 35342 22 | 7 | 14 1548.25/1548.80 c 1531s | 18 | 1284027 | 366552 | 35342 22 | 7 | 14 1550.56/1551.09 c 1534s | 18 | 1285669 | 367052 | 35342 22 | 7 | 14 1552.65/1553.16 c 1536s | 18 | 1286572 | 367452 | 35342 22 | 7 | 14 1554.85/1555.35 c 1538s | 18 | 1287910 | 367852 | 35342 22 | 7 | 14 1557.15/1557.60 c 1540s | 18 | 1289472 | 368252 | 35342 22 | 7 | 14 1559.35/1559.81 c 1542s | 18 | 1290782 | 368652 | 35342 22 | 7 | 14 1561.74/1562.24 c 1545s | 18 | 1291798 | 369052 | 35342 22 | 7 | 14 1563.85/1564.33 c 1547s | 18 | 1292856 | 369452 | 35342 22 | 7 | 14 1565.95/1566.42 c 1549s | 18 | 1294502 | 369852 | 35342 22 | 7 | 14 1568.14/1568.67 c 1551s | 18 | 1296745 | 370452 | 35342 22 | 7 | 14 1570.34/1570.86 c 1553s | 18 | 1298210 | 370952 | 35342 23 | 7 | 14 1572.54/1573.07 c 1556s | 18 | 1299429 | 371452 | 35342 23 | 7 | 14 1574.53/1575.08 c 1558s | 18 | 1300574 | 371952 | 35342 23 | 7 | 14 1577.04/1577.51 c 1560s | 18 | 1302209 | 372552 | 35342 23 | 7 | 14 1579.24/1579.76 c 1562s | 18 | 1304301 | 373052 | 35342 23 | 7 | 14 1581.34/1581.88 c 1564s | 18 | 1306942 | 373552 | 35342 23 | 7 | 14 1583.73/1584.20 c 1567s | 18 | 1309187 | 374052 | 35342 23 | 7 | 14 1585.83/1586.36 c 1569s | 18 | 1310970 | 374552 | 35342 23 | 7 | 14 1588.03/1588.54 c 1571s | 18 | 1312890 | 375052 | 35342 23 | 7 | 14 1590.42/1590.93 c 1574s | 18 | 1314716 | 375552 | 35342 23 | 7 | 14 1592.43/1592.98 c 1576s | 18 | 1316890 | 375952 | 35342 23 | 7 | 14 1594.63/1595.11 c 1578s | 18 | 1318808 | 376352 | 35342 23 | 7 | 14 1596.73/1597.23 c 1580s | 18 | 1320789 | 376752 | 35342 23 | 7 | 14 1598.72/1599.28 c 1582s | 18 | 1322654 | 377152 | 35342 23 | 7 | 14 1601.02/1601.57 c 1584s | 18 | 1325255 | 377752 | 35342 23 | 7 | 14 1603.42/1603.93 c 1587s | 18 | 1326944 | 378352 | 35342 23 | 7 | 14 1605.72/1606.23 c 1589s | 18 | 1328028 | 378852 | 35342 23 | 7 | 14 1607.72/1608.25 c 1591s | 18 | 1329478 | 379352 | 35342 23 | 7 | 14 1609.92/1610.48 c 1593s | 18 | 1330816 | 379852 | 35342 23 | 7 | 14 1612.02/1612.58 c 1595s | 18 | 1332251 | 380252 | 35342 23 | 7 | 14 1614.32/1614.84 c 1597s | 18 | 1334909 | 380752 | 35342 23 | 7 | 14 1616.71/1617.23 c 1600s | 18 | 1336915 | 381352 | 35342 23 | 7 | 14 1618.91/1619.48 c 1602s | 18 | 1338780 | 381852 | 35342 23 | 7 | 14 1621.02/1621.58 c 1604s | 18 | 1340102 | 382352 | 35342 23 | 7 | 14 1623.31/1623.86 c 1606s | 18 | 1341615 | 382852 | 35342 23 | 7 | 14 1625.42/1625.95 c 1609s | 18 | 1343504 | 383352 | 35342 23 | 7 | 14 1627.62/1628.12 c 1611s | 18 | 1345189 | 383852 | 35342 23 | 7 | 14 1630.01/1630.50 c 1613s | 18 | 1346583 | 384352 | 35342 23 | 7 | 14 1632.21/1632.74 c 1615s | 18 | 1348116 | 384852 | 35342 23 | 7 | 14 1634.31/1634.83 c 1617s | 18 | 1349427 | 385252 | 35342 23 | 7 | 14 1636.51/1637.08 c 1620s | 18 | 1350934 | 385652 | 35342 23 | 7 | 14 1638.62/1639.11 c 1622s | 18 | 1352064 | 386052 | 35342 23 | 7 | 14 1640.82/1641.34 c 1624s | 18 | 1353337 | 386452 | 35342 23 | 7 | 14 1643.11/1643.62 c 1626s | 18 | 1354568 | 386852 | 35342 23 | 7 | 14 1645.12/1645.68 c 1628s | 18 | 1355882 | 387252 | 35342 23 | 7 | 14 1647.32/1647.83 c 1630s | 18 | 1357615 | 387752 | 35342 23 | 7 | 14 1649.52/1650.06 c 1633s | 18 | 1359175 | 388252 | 35342 23 | 7 | 14 1651.61/1652.18 c 1635s | 18 | 1360459 | 388652 | 35342 23 | 7 | 14 1653.71/1654.23 c 1637s | 18 | 1361796 | 389152 | 35342 24 | 7 | 14 1656.22/1656.77 c 1639s | 18 | 1363318 | 389652 | 35342 24 | 7 | 14 1658.41/1658.98 c 1642s | 18 | 1365114 | 390052 | 35342 24 | 7 | 14 1660.71/1661.24 c 1644s | 18 | 1367005 | 390552 | 35342 24 | 7 | 14 1662.71/1663.25 c 1646s | 18 | 1368067 | 390952 | 35342 24 | 7 | 14 1664.91/1665.42 c 1648s | 18 | 1369901 | 391452 | 35342 24 | 7 | 14 1667.11/1667.63 c 1650s | 18 | 1372319 | 391952 | 35342 24 | 7 | 14 1669.31/1669.90 c 1652s | 18 | 1374118 | 392452 | 35342 24 | 7 | 14 1671.70/1672.21 c 1655s | 18 | 1375697 | 392952 | 35342 24 | 7 | 14 1673.81/1674.34 c 1657s | 18 | 1377335 | 393452 | 35342 24 | 7 | 14 1676.01/1676.51 c 1659s | 18 | 1379150 | 393952 | 35342 24 | 7 | 14 1678.21/1678.79 c 1661s | 18 | 1381027 | 394452 | 35342 24 | 7 | 14 1680.31/1680.89 c 1663s | 18 | 1382228 | 394852 | 35342 24 | 7 | 14 1682.51/1683.03 c 1666s | 18 | 1383352 | 395252 | 35342 24 | 7 | 14 1684.90/1685.43 c 1668s | 18 | 1384945 | 395752 | 35342 24 | 7 | 14 1687.01/1687.56 c 1670s | 18 | 1386648 | 396252 | 35342 24 | 7 | 14 1689.30/1689.81 c 1672s | 18 | 1388523 | 396752 | 35342 24 | 7 | 14 1691.70/1692.22 c 1675s | 18 | 1390327 | 397252 | 35342 24 | 7 | 14 1693.90/1694.43 c 1677s | 18 | 1391875 | 397752 | 35342 24 | 7 | 14 1696.30/1696.88 c 1679s | 18 | 1393833 | 398252 | 35342 24 | 7 | 14 1698.60/1699.10 c 1682s | 18 | 1395205 | 398652 | 35342 24 | 7 | 14 1700.80/1701.37 c 1684s | 18 | 1397070 | 399052 | 35342 24 | 7 | 14 1703.30/1703.87 c 1686s | 18 | 1399014 | 399552 | 35342 24 | 7 | 14 1705.40/1705.99 c 1689s | 18 | 1400633 | 399952 | 35342 24 | 7 | 14 1707.60/1708.10 c 1691s | 18 | 1401743 | 400352 | 35342 24 | 7 | 14 1709.70/1710.25 c 1693s | 18 | 1403492 | 400852 | 35342 24 | 7 | 14 1712.00/1712.54 c 1695s | 18 | 1405404 | 401352 | 35342 24 | 7 | 14 1714.10/1714.69 c 1697s | 18 | 1407357 | 401852 | 35342 24 | 7 | 14 1716.40/1716.92 c 1699s | 18 | 1409075 | 402452 | 35342 24 | 7 | 14 1718.60/1719.11 c 1702s | 18 | 1410975 | 402952 | 35342 24 | 7 | 14 1720.70/1721.28 c 1704s | 18 | 1412579 | 403452 | 35342 24 | 7 | 14 1723.00/1723.55 c 1706s | 18 | 1414723 | 403952 | 35342 24 | 7 | 14 1725.29/1725.81 c 1708s | 18 | 1416595 | 404452 | 35342 24 | 7 | 14 1727.29/1727.81 c 1710s | 18 | 1418276 | 404952 | 35342 24 | 7 | 14 1729.59/1730.11 c 1713s | 18 | 1419837 | 405452 | 35342 24 | 7 | 14 1732.10/1732.65 c 1715s | 18 | 1421305 | 405952 | 35342 24 | 7 | 14 1734.09/1734.67 c 1717s | 18 | 1423026 | 406352 | 35342 24 | 7 | 14 1736.19/1736.79 c 1719s | 18 | 1425116 | 406852 | 35342 24 | 7 | 14 1738.29/1738.87 c 1721s | 18 | 1426979 | 407252 | 35342 24 | 7 | 14 1740.39/1740.99 c 1724s | 18 | 1428848 | 407752 | 35342 24 | 7 | 14 1744.49/1745.04 c 1728s | 18 | 1430319 | 408252 | 35342 25 | 7 | 14 1747.30/1747.86 c 1730s | 18 | 1431406 | 408552 | 35342 25 | 7 | 14 1749.30/1749.86 c 1732s | 18 | 1433169 | 408952 | 35342 25 | 7 | 14 1751.49/1752.09 c 1735s | 18 | 1435019 | 409452 | 35342 25 | 7 | 14 1753.89/1754.44 c 1737s | 18 | 1436650 | 409952 | 35342 25 | 7 | 14 1756.39/1756.99 c 1740s | 18 | 1438097 | 410352 | 35342 25 | 7 | 14 1758.50/1759.02 c 1742s | 18 | 1439370 | 410752 | 35342 25 | 7 | 14 1760.89/1761.41 c 1744s | 18 | 1440731 | 411252 | 35342 25 | 7 | 14 1763.39/1763.95 c 1747s | 18 | 1442038 | 411652 | 35342 25 | 7 | 14 1765.79/1766.30 c 1749s | 18 | 1443121 | 412052 | 35342 25 | 7 | 14 1768.19/1768.71 c 1751s | 18 | 1444762 | 412452 | 35342 25 | 7 | 14 1770.39/1770.98 c 1754s | 18 | 1445726 | 412852 | 35342 25 | 7 | 14 1772.59/1773.10 c 1756s | 18 | 1447049 | 413252 | 35342 25 | 7 | 14 1774.79/1775.35 c 1758s | 18 | 1448526 | 413652 | 35342 25 | 7 | 14 1777.20/1777.79 c 1760s | 18 | 1450114 | 414152 | 35342 25 | 7 | 14 1779.19/1779.80 c 1762s | 18 | 1451819 | 414552 | 35342 25 | 7 | 14 1781.69/1782.20 c 1765s | 18 | 1452798 | 414952 | 35342 25 | 7 | 14 1783.99/1784.58 c 1767s | 18 | 1454297 | 415352 | 35342 25 | 7 | 14 1786.39/1786.97 c 1770s | 18 | 1455732 | 415752 | 35342 25 | 7 | 14 1788.59/1789.13 c 1772s | 18 | 1456669 | 416152 | 35342 25 | 7 | 14 1790.89/1791.44 c 1774s | 18 | 1457997 | 416552 | 35342 25 | 7 | 14 1793.39/1793.97 c 1777s | 18 | 1459396 | 416952 | 35342 25 | 7 | 14 1795.79/1796.32 c 1779s | 18 | 1460658 | 417352 | 35342 25 | 7 | 14 1797.89/1798.41 c 1781s | 18 | 1462085 | 417752 | 35342 25 | 7 | 14
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-4106625-1466274715/watcher-4106625-1466274715 -o /tmp/evaluation-result-4106625-1466274715/solver-4106625-1466274715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106625-1466274715.opb pid=23004 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.26 2.26 3/181 23007 /proc/meminfo: memFree=28908276/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=661948 CPUtime=0 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 2456 0 0 0 0 0 0 0 20 0 4 0 29517426 677834752 2307 33554432000 4194304 16246674 140733543218784 140733543218208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/23007/statm: 165999 2317 441 2943 0 162893 0 [pid=23007/tid=23008] ppid=23004 vsize=679356 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 695660544 2378 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=683452 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 699854848 2394 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=688572 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29517426 705097728 2412 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100144 s] /proc/loadavg: 2.19 2.26 2.26 3/181 23007 /proc/meminfo: memFree=28908276/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1223236 CPUtime=0.09 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 22654 0 0 0 6 3 0 0 20 0 4 0 29517426 1252593664 22451 33554432000 4194304 16246674 140733543218784 140733543218096 12481370 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 305809 22451 834 2943 0 302703 0 [pid=23007/tid=23008] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 22451 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 22451 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 22451 33554432000 4194304 16246674 140733543218784 140681948417200 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) 1223236 [startup+0.20055 s] /proc/loadavg: 2.19 2.26 2.26 3/181 23007 /proc/meminfo: memFree=28908276/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1223236 CPUtime=0.18 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 35737 0 0 0 14 4 0 0 20 0 4 0 29517426 1252593664 35534 33554432000 4194304 16246674 140733543218784 140733543218096 14999975 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 305809 35541 893 2943 0 302703 0 [pid=23007/tid=23008] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 35545 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 35548 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1252593664 35553 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1223236 [startup+0.300486 s] /proc/loadavg: 2.19 2.26 2.26 3/181 23007 /proc/meminfo: memFree=28908276/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1296964 CPUtime=0.29 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 51986 0 0 0 21 8 0 0 20 0 4 0 29517426 1328091136 51783 33554432000 4194304 16246674 140733543218784 140733543218096 5674521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 324241 51796 907 2943 0 321135 0 [pid=23007/tid=23008] ppid=23004 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1328091136 51804 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1328091136 51813 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1328091136 51820 33554432000 4194304 16246674 140733543218784 140681948417200 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) 1296964 [startup+0.700418 s] /proc/loadavg: 2.19 2.26 2.26 3/181 23007 /proc/meminfo: memFree=28908276/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1307204 CPUtime=0.68 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 116996 0 0 0 52 16 0 0 20 0 4 0 29517426 1338576896 116793 33554432000 4194304 16246674 140733543218784 140733543201784 5717184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 326801 116793 913 2943 0 323695 0 [pid=23007/tid=23008] ppid=23004 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1338576896 116793 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1338576896 116793 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1338576896 116793 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50043 s] /proc/loadavg: 2.19 2.26 2.26 4/184 23011 /proc/meminfo: memFree=28442508/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 120405 0 0 0 132 17 0 0 20 0 4 0 29517426 1339625472 120202 33554432000 4194304 16246674 140733543218784 140733543200704 12997696 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327057 120202 913 2943 0 323951 0 [pid=23007/tid=23008] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120202 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120202 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120202 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10043 s] /proc/loadavg: 2.19 2.26 2.26 3/184 23011 /proc/meminfo: memFree=28428596/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 120624 0 0 0 292 17 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140733543217960 5546023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327057 120421 914 2943 0 323951 0 [pid=23007/tid=23008] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30044 s] /proc/loadavg: 2.26 2.27 2.26 3/184 23011 /proc/meminfo: memFree=28427764/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 120624 0 0 0 612 17 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140733543200704 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327057 120421 914 2943 0 323951 0 [pid=23007/tid=23008] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.24 2.27 2.26 3/185 23012 /proc/meminfo: memFree=28427664/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 120624 0 0 0 1251 17 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140733543200704 6843025 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327057 120421 914 2943 0 323951 0 [pid=23007/tid=23008] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1339625472 120421 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.34 2.29 2.27 4/185 23012 /proc/meminfo: memFree=27834384/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 269022 0 0 0 2510 39 0 0 20 0 4 0 29517426 1342771200 268819 33554432000 4194304 16246674 140733543218784 140733543200704 6076669 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327825 268819 916 2943 0 324719 0 [pid=23007/tid=23008] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268819 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268819 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268819 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.34 2.29 2.27 4/185 23012 /proc/meminfo: memFree=27834512/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 269024 0 0 0 5069 39 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140733543200704 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327825 268821 918 2943 0 324719 0 [pid=23007/tid=23008] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.37 2.31 2.27 3/185 23013 /proc/meminfo: memFree=27834268/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 269024 0 0 0 10189 39 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140733543200704 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 327825 268821 918 2943 0 324719 0 [pid=23007/tid=23008] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1342771200 268821 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1327684 [startup+1302.3 s] /proc/loadavg: 2.29 2.23 2.23 3/185 23092 /proc/meminfo: memFree=27779676/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1301.94 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273346 0 0 0 130150 44 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 6861768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.20 2.22 2.22 3/185 23093 /proc/meminfo: memFree=27777768/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1361.92 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273355 0 0 0 136148 44 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 4220536 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.20 2.22 2.22 4/185 23094 /proc/meminfo: memFree=27777668/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1421.89 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273397 0 0 0 142145 44 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5676041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.28 2.24 2.23 3/185 23095 /proc/meminfo: memFree=27777208/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1481.86 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273407 0 0 0 148142 44 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 12483632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.20 2.22 2.22 3/185 23097 /proc/meminfo: memFree=27777360/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1541.86 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273423 0 0 0 154141 45 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.15 2.21 2.21 4/185 23098 /proc/meminfo: memFree=27777256/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1601.82 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273461 0 0 0 160137 45 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5822240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.20 2.21 2.21 3/185 23099 /proc/meminfo: memFree=27776188/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1661.81 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273462 0 0 0 166136 45 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.27 2.23 2.21 3/186 23103 /proc/meminfo: memFree=27776524/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1721.8 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273462 0 0 0 172135 45 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.18 2.22 2.21 4/186 23127 /proc/meminfo: memFree=27776004/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1781.79 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273462 0 0 0 178133 46 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.21 2.22 2.21 3/186 23128 /proc/meminfo: memFree=27775972/32872528 swapFree=1505436/1685308 [pid=23007] ppid=23004 vsize=1327684 CPUtime=1800.09 cores=1,3,5,7 /proc/23007/stat : 23007 (toysat) R 23004 23007 21389 0 -1 4202496 273462 0 0 0 179963 46 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140733543200704 13820957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23007/statm: 331921 273173 918 2943 0 328815 0 [pid=23007/tid=23008] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23008/stat : 23008 (toysat) S 23004 23007 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681969380592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=23007/tid=23009] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23009/stat : 23009 (toysat) S 23004 23007 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681958890736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=23007/tid=23010] ppid=23004 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23007/task/23010/stat : 23010 (toysat) S 23004 23007 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29517426 1359548416 273173 33554432000 4194304 16246674 140733543218784 140681948417200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1327684 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 23007 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.64 CPU system time (s): 0.462929 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.462929 maximum resident set size= 1092692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273462 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= 355 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5963 second user time and 6.98194 second system time The end
Begin job on node135 at 2016-06-18 20:31:55 IDJOB=4106625 IDBENCH=48145 IDSOLVER=2542 FILE ID=node135/4106625-1466274715 RUNJOBID= node135-1466266561-21406 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106625-1466274715/watcher-4106625-1466274715 -o /tmp/evaluation-result-4106625-1466274715/solver-4106625-1466274715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106625-1466274715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62 RANDOM SEED=442470611 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28909184 kB Buffers: 159016 kB Cached: 283436 kB SwapCached: 716 kB Active: 1233616 kB Inactive: 303104 kB Active(anon): 1095248 kB Inactive(anon): 1308 kB Active(file): 138368 kB Inactive(file): 301796 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 2779076 kB Mapped: 10796 kB Shmem: 0 kB Slab: 605452 kB SReclaimable: 49336 kB SUnreclaim: 556116 kB KernelStack: 1464 kB PageTables: 9468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2919256 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node135 at 2016-06-18 21:01:56