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.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb |
| MD5SUM | 11f76d5c4a01da95c686f09380ec8e85 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1.53177 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 29 |
| Optimality of the best value was proved | NO |
| Number of variables | 9709 |
| Total number of constraints | 29891 |
| Number of constraints which are clauses | 29891 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 4768 |
| 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 | 4768 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4768 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:23: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-4079844-1465248235.opb"] 0.00/0.01 c use --random-gen="2596792017 2028771363 816107125 3725421758 615006033 79802509 4133697314 1571709217 555409528 2914010589 2862184167 566307431 273276221 3437102203 3415487105 1391445700 332538244 2510002517 4177637375 3194159006 2632977530 1422152769 1095321404 2785057157 3071489521 2188740676 32970892 3122072825 3000512895 92940408 1097681020 3755334392 2915149466 2103764892 1704085439 3037153744 1056056880 3910599209 1145289243 223840737 2671036513 1987225053 2543662251 2940768660 1776089449 2676890179 2216695073 2332630937 3807843766 4205016475 3224794224 2192393951 3584667855 1742649587 2781818308 3894339901 1008710931 2213579646 1055678609 1219278582 2201466204 2120572176 13387862 3905778412 2111094380 3997929849 3009823409 3386418646 4257939257 3991614571 1724005831 1407877168 3949399209 2152117762 551688290 1398275498 4126809498 1643200389 1167956905 2775378938 3456625066 1295866204 132717783 1756829819 425456802 867664493 2569271766 202373223 224071737 3077366313 952569661 2668962153 1158488332 759223968 1965916788 3849354135 1436297383 4106595549 1554699461 2191512537 796036142 1881165727 483537578 387353471 529275766 4226276058 2511943522 1454069225 4019482891 2013940273 2616649299 364340216 1285915980 3619631609 4222524060 882209136 555584035 1433965327 3924255987 243970414 3462322660 3105885531 3256270943 3593385118 3815801803 2952532191 2517773363 1048206191 2712781556 4141468870 2973813821 4080596566 4232963609 3257291366 1877878807 2033098031 365256519 4233085742 2080912482 692944740 3565446806 1017088283 1701461117 4260187499 3711162276 2005916234 461661799 3509905685 7272351 4054537039 2866639220 1634000617 414503483 2372022898 3233780869 2044617632 2350256508 2867173038 1897781452 2482358360 3903405019 4072032066 1420344225 175268650 1613340947 3244160715 788117526 501024220 2445563197 2301680465 1785666304 3164243318 4166133938 3560401629 1637131214 1472104320 1935273968 602868381 1699604476 2075567690 4250437215 604964655 1458159567 1882945272 3711345070 4168852440 3006484969 625080102 579803764 3168820835 1789042060 1588573517 2370649606 90191464 3518722646 496716590 4124176949 787396589 1204965703 1707304738 3966849618 2929876034 322225914 2877954372 788190942 3292646955 1817059597 3467969523 4113323539 1040603601 1214485294 1557238072 4184389545 690892235 2787564707 2329351347 142194764 3261303289 607122845 3502191828 483178006 2857318156 2918196560 3103782451 182370442 1245991525 1164943487 1224998991 4249269751 2169630305 2595998541 1871278865 1760229135 2100002938 4117569226 1845434569 2537780410 3975858134 48310464 4171799049 2860184186 2889134773 779650389 2461940935 1124483460 1096271862 3400206682 2332330559 2029532661 3356864865 1202662681 2087153836 2255956576 498779218 4269598815 807751747 255 362436" option to reproduce the execution 0.19/0.21 c #vars 9709 0.19/0.21 c #constraints 29891 0.49/0.56 c BCD2: Hardening is enabled. 0.49/0.56 c BCD2: BiasedSearch is enabled. 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 0 0.59/0.67 c 0.0s | 0 | 2076 | 0 | 12885 0 | 1855 | 3839 0.59/0.67 c #cpu_time = 0.033s 0.59/0.67 c #wall_clock_time = 0.033s 0.59/0.67 c #decision = 2076 0.59/0.67 c #random_decision = 5 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 o 2079 0.59/0.67 c BCD2: updating upper bound: 4768 -> 2078 0.68/0.72 c BCD2: 0 <= obj <= 2078 0.68/0.72 c BCD2: #cores=0, #unrelaxed=4768, #relaxed=0, #hardened=0 0.68/0.72 c BCD2: #sat=1 #unsat=1 bias=1/2 0.68/0.72 c Solving starts ... 0.68/0.72 c ============================[ Search Statistics ]============================ 0.68/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.72 c | | | | Limit GC | Var | Constra 0.68/0.72 c ============================================================================= 0.68/0.72 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.68/0.74 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.68/0.74 c #cpu_time = 0.011s 0.68/0.74 c #wall_clock_time = 0.012s 0.68/0.74 c #decision = 0 0.68/0.74 c #random_decision = 0 0.68/0.74 c #conflict = 0 0.68/0.74 c #restart = 0 0.68/0.74 c BCD2: found a new core of size 1: cost of the new core is >=1 0.68/0.74 c lower bound updated to 1 0.68/0.74 c BCD2: 1 <= obj <= 2078 0.68/0.74 c BCD2: #cores=1, #unrelaxed=4767, #relaxed=1, #hardened=0 0.68/0.74 c BCD2: #sat=1 #unsat=2 bias=2/3 0.68/0.74 c Solving starts ... 0.68/0.74 c ============================[ Search Statistics ]============================ 0.68/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.74 c | | | | Limit GC | Var | Constra 0.68/0.74 c ============================================================================= 0.68/0.74 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.68/0.76 c 0.0s | 0 | 627 | 2 | 12885 0 | 1855 | 3839 0.68/0.76 c #cpu_time = 0.022s 0.68/0.76 c #wall_clock_time = 0.022s 0.68/0.76 c #decision = 627 0.68/0.76 c #random_decision = 0 0.68/0.76 c #conflict = 2 0.68/0.76 c #restart = 0 0.68/0.76 c BCD2: found a new core of size 9: cost of the new core is >=1 0.68/0.76 c lower bound updated to 2 0.68/0.76 c BCD2: 2 <= obj <= 2078 0.68/0.76 c BCD2: #cores=2, #unrelaxed=4758, #relaxed=10, #hardened=0 0.68/0.76 c BCD2: #sat=1 #unsat=3 bias=3/4 0.68/0.76 c Solving starts ... 0.68/0.76 c ============================[ Search Statistics ]============================ 0.68/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.76 c | | | | Limit GC | Var | Constra 0.68/0.76 c ============================================================================= 0.68/0.76 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.68/0.79 c 0.0s | 0 | 609 | 0 | 12885 0 | 1855 | 3839 0.68/0.79 c #cpu_time = 0.023s 0.68/0.79 c #wall_clock_time = 0.024s 0.68/0.79 c #decision = 609 0.68/0.79 c #random_decision = 0 0.68/0.79 c #conflict = 0 0.68/0.79 c #restart = 0 0.68/0.79 c BCD2: found a new core of size 131: cost of the new core is >=1 0.68/0.79 c lower bound updated to 3 0.68/0.79 c BCD2: 3 <= obj <= 2078 0.68/0.79 c BCD2: #cores=3, #unrelaxed=4627, #relaxed=141, #hardened=0 0.68/0.79 c BCD2: #sat=1 #unsat=4 bias=4/5 0.68/0.79 c Solving starts ... 0.68/0.79 c ============================[ Search Statistics ]============================ 0.68/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.79 c | | | | Limit GC | Var | Constra 0.68/0.79 c ============================================================================= 0.68/0.79 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.79/0.80 c 0.0s | 0 | 560 | 0 | 12885 0 | 1855 | 3839 0.79/0.80 c #cpu_time = 0.013s 0.79/0.80 c #wall_clock_time = 0.013s 0.79/0.80 c #decision = 560 0.79/0.80 c #random_decision = 0 0.79/0.80 c #conflict = 0 0.79/0.80 c #restart = 0 0.79/0.80 c BCD2: found a new core of size 55: cost of the new core is >=1 0.79/0.80 c lower bound updated to 4 0.79/0.81 c BCD2: 4 <= obj <= 2078 0.79/0.81 c BCD2: #cores=4, #unrelaxed=4572, #relaxed=196, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=5 bias=5/6 0.79/0.81 c Solving starts ... 0.79/0.81 c ============================[ Search Statistics ]============================ 0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.81 c | | | | Limit GC | Var | Constra 0.79/0.81 c ============================================================================= 0.79/0.81 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.79/0.82 c 0.0s | 0 | 528 | 0 | 12885 0 | 1855 | 3839 0.79/0.82 c #cpu_time = 0.013s 0.79/0.82 c #wall_clock_time = 0.013s 0.79/0.82 c #decision = 528 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 0 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 21: cost of the new core is >=1 0.79/0.82 c lower bound updated to 5 0.79/0.82 c BCD2: 5 <= obj <= 2078 0.79/0.82 c BCD2: #cores=5, #unrelaxed=4551, #relaxed=217, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=6 bias=6/7 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.79/0.84 c 0.0s | 0 | 523 | 0 | 12885 0 | 1855 | 3839 0.79/0.84 c #cpu_time = 0.017s 0.79/0.84 c #wall_clock_time = 0.017s 0.79/0.84 c #decision = 523 0.79/0.84 c #random_decision = 0 0.79/0.84 c #conflict = 0 0.79/0.84 c #restart = 0 0.79/0.84 c BCD2: found a new core of size 15: cost of the new core is >=1 0.79/0.84 c lower bound updated to 6 0.79/0.84 c BCD2: 6 <= obj <= 2078 0.79/0.84 c BCD2: #cores=6, #unrelaxed=4536, #relaxed=232, #hardened=0 0.79/0.84 c BCD2: #sat=1 #unsat=7 bias=7/8 0.79/0.84 c Solving starts ... 0.79/0.84 c ============================[ Search Statistics ]============================ 0.79/0.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.84 c | | | | Limit GC | Var | Constra 0.79/0.84 c ============================================================================= 0.79/0.84 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.79/0.86 c 0.0s | 0 | 652 | 0 | 12885 0 | 1855 | 3839 0.79/0.86 c #cpu_time = 0.013s 0.79/0.86 c #wall_clock_time = 0.013s 0.79/0.86 c #decision = 652 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 27: cost of the new core is >=1 0.79/0.86 c lower bound updated to 7 0.79/0.86 c BCD2: 7 <= obj <= 2078 0.79/0.86 c BCD2: #cores=7, #unrelaxed=4509, #relaxed=259, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=8 bias=8/9 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.79/0.88 c 0.0s | 0 | 1171 | 0 | 12885 0 | 1855 | 3839 0.79/0.88 c #cpu_time = 0.015s 0.79/0.88 c #wall_clock_time = 0.015s 0.79/0.88 c #decision = 1171 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 0 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: found a new core of size 26: cost of the new core is >=1 0.79/0.88 c lower bound updated to 8 0.79/0.88 c BCD2: 8 <= obj <= 2078 0.79/0.88 c BCD2: #cores=8, #unrelaxed=4483, #relaxed=285, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=9 bias=9/10 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/0.90 c 0.0s | 0 | 1263 | 0 | 12885 0 | 1855 | 3839 0.88/0.90 c #cpu_time = 0.015s 0.88/0.90 c #wall_clock_time = 0.015s 0.88/0.90 c #decision = 1263 0.88/0.90 c #random_decision = 0 0.88/0.90 c #conflict = 0 0.88/0.90 c #restart = 0 0.88/0.90 c BCD2: found a new core of size 53: cost of the new core is >=1 0.88/0.90 c lower bound updated to 9 0.88/0.90 c BCD2: 9 <= obj <= 2078 0.88/0.90 c BCD2: #cores=9, #unrelaxed=4430, #relaxed=338, #hardened=0 0.88/0.90 c BCD2: #sat=1 #unsat=10 bias=10/11 0.88/0.90 c Solving starts ... 0.88/0.90 c ============================[ Search Statistics ]============================ 0.88/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.90 c | | | | Limit GC | Var | Constra 0.88/0.90 c ============================================================================= 0.88/0.90 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/0.92 c 0.0s | 0 | 1221 | 0 | 12885 0 | 1855 | 3839 0.88/0.92 c #cpu_time = 0.015s 0.88/0.92 c #wall_clock_time = 0.015s 0.88/0.92 c #decision = 1221 0.88/0.92 c #random_decision = 0 0.88/0.92 c #conflict = 0 0.88/0.92 c #restart = 0 0.88/0.92 c BCD2: found a new core of size 9: cost of the new core is >=1 0.88/0.92 c lower bound updated to 10 0.88/0.92 c BCD2: 10 <= obj <= 2078 0.88/0.92 c BCD2: #cores=10, #unrelaxed=4421, #relaxed=347, #hardened=0 0.88/0.92 c BCD2: #sat=1 #unsat=11 bias=11/12 0.88/0.92 c Solving starts ... 0.88/0.92 c ============================[ Search Statistics ]============================ 0.88/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.92 c | | | | Limit GC | Var | Constra 0.88/0.92 c ============================================================================= 0.88/0.92 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/0.94 c 0.0s | 0 | 1242 | 0 | 12885 0 | 1855 | 3839 0.88/0.94 c #cpu_time = 0.014s 0.88/0.94 c #wall_clock_time = 0.014s 0.88/0.94 c #decision = 1242 0.88/0.94 c #random_decision = 0 0.88/0.94 c #conflict = 0 0.88/0.94 c #restart = 0 0.88/0.94 c BCD2: found a new core of size 7: cost of the new core is >=1 0.88/0.94 c lower bound updated to 11 0.88/0.94 c BCD2: 11 <= obj <= 2078 0.88/0.94 c BCD2: #cores=11, #unrelaxed=4414, #relaxed=354, #hardened=0 0.88/0.94 c BCD2: #sat=1 #unsat=12 bias=12/13 0.88/0.94 c Solving starts ... 0.88/0.94 c ============================[ Search Statistics ]============================ 0.88/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.94 c | | | | Limit GC | Var | Constra 0.88/0.94 c ============================================================================= 0.88/0.94 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/0.96 c 0.0s | 0 | 1388 | 0 | 12885 0 | 1855 | 3839 0.88/0.96 c #cpu_time = 0.015s 0.88/0.96 c #wall_clock_time = 0.015s 0.88/0.96 c #decision = 1388 0.88/0.96 c #random_decision = 0 0.88/0.96 c #conflict = 0 0.88/0.96 c #restart = 0 0.88/0.96 c BCD2: found a new core of size 27: cost of the new core is >=1 0.88/0.96 c lower bound updated to 12 0.88/0.96 c BCD2: 12 <= obj <= 2078 0.88/0.96 c BCD2: #cores=12, #unrelaxed=4387, #relaxed=381, #hardened=0 0.88/0.96 c BCD2: #sat=1 #unsat=13 bias=13/14 0.88/0.96 c Solving starts ... 0.88/0.96 c ============================[ Search Statistics ]============================ 0.88/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.96 c | | | | Limit GC | Var | Constra 0.88/0.96 c ============================================================================= 0.88/0.96 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/0.98 c 0.0s | 0 | 1387 | 0 | 12885 0 | 1855 | 3839 0.88/0.98 c #cpu_time = 0.015s 0.88/0.98 c #wall_clock_time = 0.015s 0.88/0.98 c #decision = 1387 0.88/0.98 c #random_decision = 0 0.88/0.98 c #conflict = 0 0.88/0.98 c #restart = 0 0.88/0.98 c BCD2: found a new core of size 28: cost of the new core is >=1 0.88/0.98 c lower bound updated to 13 0.88/0.98 c BCD2: 13 <= obj <= 2078 0.88/0.98 c BCD2: #cores=13, #unrelaxed=4359, #relaxed=409, #hardened=0 0.88/0.98 c BCD2: #sat=1 #unsat=14 bias=14/15 0.88/0.98 c Solving starts ... 0.88/0.98 c ============================[ Search Statistics ]============================ 0.88/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.98 c | | | | Limit GC | Var | Constra 0.88/0.98 c ============================================================================= 0.88/0.98 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.88/1.00 c 0.0s | 0 | 1375 | 0 | 12885 0 | 1855 | 3839 0.88/1.00 c #cpu_time = 0.014s 0.88/1.00 c #wall_clock_time = 0.014s 0.88/1.00 c #decision = 1375 0.88/1.00 c #random_decision = 0 0.88/1.00 c #conflict = 0 0.88/1.00 c #restart = 0 0.88/1.00 c BCD2: found a new core of size 21: cost of the new core is >=1 0.88/1.00 c lower bound updated to 14 0.99/1.00 c BCD2: 14 <= obj <= 2078 0.99/1.00 c BCD2: #cores=14, #unrelaxed=4338, #relaxed=430, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=15 bias=15/16 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.99/1.02 c 0.0s | 0 | 1779 | 0 | 12885 0 | 1855 | 3839 0.99/1.02 c #cpu_time = 0.016s 0.99/1.02 c #wall_clock_time = 0.016s 0.99/1.02 c #decision = 1779 0.99/1.02 c #random_decision = 0 0.99/1.02 c #conflict = 0 0.99/1.02 c #restart = 0 0.99/1.02 c BCD2: found a new core of size 27: cost of the new core is >=1 0.99/1.02 c lower bound updated to 15 0.99/1.02 c BCD2: 15 <= obj <= 2078 0.99/1.02 c BCD2: #cores=15, #unrelaxed=4311, #relaxed=457, #hardened=0 0.99/1.02 c BCD2: #sat=1 #unsat=16 bias=16/17 0.99/1.02 c Solving starts ... 0.99/1.02 c ============================[ Search Statistics ]============================ 0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.02 c | | | | Limit GC | Var | Constra 0.99/1.02 c ============================================================================= 0.99/1.02 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.99/1.04 c 0.0s | 0 | 2083 | 0 | 12885 0 | 1855 | 3839 0.99/1.04 c #cpu_time = 0.017s 0.99/1.04 c #wall_clock_time = 0.017s 0.99/1.04 c #decision = 2083 0.99/1.04 c #random_decision = 0 0.99/1.04 c #conflict = 0 0.99/1.04 c #restart = 0 0.99/1.04 c BCD2: found a new core of size 81: cost of the new core is >=1 0.99/1.04 c lower bound updated to 16 0.99/1.04 c BCD2: 16 <= obj <= 2078 0.99/1.04 c BCD2: #cores=16, #unrelaxed=4230, #relaxed=538, #hardened=0 0.99/1.04 c BCD2: #sat=1 #unsat=17 bias=17/18 0.99/1.04 c Solving starts ... 0.99/1.04 c ============================[ Search Statistics ]============================ 0.99/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.04 c | | | | Limit GC | Var | Constra 0.99/1.04 c ============================================================================= 0.99/1.04 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.99/1.06 c 0.0s | 0 | 2009 | 0 | 12885 0 | 1855 | 3839 0.99/1.06 c #cpu_time = 0.016s 0.99/1.06 c #wall_clock_time = 0.016s 0.99/1.06 c #decision = 2009 0.99/1.06 c #random_decision = 0 0.99/1.06 c #conflict = 0 0.99/1.06 c #restart = 0 0.99/1.06 c BCD2: found a new core of size 3: cost of the new core is >=1 0.99/1.06 c lower bound updated to 17 0.99/1.06 c BCD2: 17 <= obj <= 2078 0.99/1.06 c BCD2: #cores=17, #unrelaxed=4227, #relaxed=541, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=18 bias=18/19 0.99/1.06 c Solving starts ... 0.99/1.06 c ============================[ Search Statistics ]============================ 0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.06 c | | | | Limit GC | Var | Constra 0.99/1.06 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 0.99/1.08 c 0.0s | 0 | 2551 | 0 | 12885 0 | 1855 | 3839 0.99/1.08 c #cpu_time = 0.017s 0.99/1.08 c #wall_clock_time = 0.017s 0.99/1.08 c #decision = 2551 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 87: cost of the new core is >=1 0.99/1.08 c lower bound updated to 18 0.99/1.09 c BCD2: 18 <= obj <= 2078 0.99/1.09 c BCD2: #cores=18, #unrelaxed=4140, #relaxed=628, #hardened=0 0.99/1.09 c BCD2: #sat=1 #unsat=19 bias=19/20 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 0.99/1.09 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 1.10/1.11 c 0.0s | 0 | 2883 | 0 | 12885 0 | 1855 | 3839 1.10/1.11 c #cpu_time = 0.023s 1.10/1.11 c #wall_clock_time = 0.023s 1.10/1.11 c #decision = 2883 1.10/1.11 c #random_decision = 0 1.10/1.11 c #conflict = 0 1.10/1.11 c #restart = 0 1.10/1.11 c BCD2: found a new core of size 42: cost of the new core is >=1 1.10/1.11 c lower bound updated to 19 1.10/1.11 c BCD2: 19 <= obj <= 2078 1.10/1.11 c BCD2: #cores=19, #unrelaxed=4098, #relaxed=670, #hardened=0 1.10/1.11 c BCD2: #sat=1 #unsat=20 bias=20/21 1.10/1.11 c Solving starts ... 1.10/1.11 c ============================[ Search Statistics ]============================ 1.10/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.11 c | | | | Limit GC | Var | Constra 1.10/1.11 c ============================================================================= 1.10/1.11 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 1.10/1.13 c 0.0s | 0 | 3173 | 0 | 12885 0 | 1855 | 3839 1.10/1.13 c #cpu_time = 0.018s 1.10/1.13 c #wall_clock_time = 0.018s 1.10/1.13 c #decision = 3173 1.10/1.13 c #random_decision = 0 1.10/1.13 c #conflict = 0 1.10/1.13 c #restart = 0 1.10/1.13 c BCD2: found a new core of size 69: cost of the new core is >=1 1.10/1.13 c lower bound updated to 20 1.10/1.14 c BCD2: 20 <= obj <= 2078 1.10/1.14 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 1.10/1.14 c BCD2: #sat=1 #unsat=21 bias=21/22 1.10/1.14 c Solving starts ... 1.10/1.14 c ============================[ Search Statistics ]============================ 1.10/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.14 c | | | | Limit GC | Var | Constra 1.10/1.14 c ============================================================================= 1.10/1.14 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3839 1.10/1.17 c 0.0s | 0 | 3756 | 0 | 12885 0 | 1855 | 3839 1.10/1.17 c #cpu_time = 0.025s 1.10/1.17 c #wall_clock_time = 0.025s 1.10/1.17 c #decision = 3756 1.10/1.17 c #random_decision = 2 1.10/1.17 c #conflict = 0 1.10/1.17 c #restart = 0 1.10/1.17 o 44 1.10/1.17 c BCD2: updating upper bound: 2078 -> 43 1.10/1.19 c BCD2: 20 <= obj <= 43 1.10/1.19 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 1.10/1.19 c BCD2: #sat=2 #unsat=21 bias=21/23 1.10/1.19 c Solving starts ... 1.10/1.19 c ============================[ Search Statistics ]============================ 1.10/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.19 c | | | | Limit GC | Var | Constra 1.10/1.19 c ============================================================================= 1.10/1.19 c 0.0s | 0 | 0 | 0 | 12885 0 | 1855 | 3840 1.20/1.29 c 0.1s | 1 | 14254 | 100 | 14174 0 | 1855 | 3840 1.39/1.42 c 0.2s | 2 | 27152 | 250 | 15592 0 | 1855 | 3840 1.39/1.46 c 0.3s | 2 | 30399 | 253 | 15592 0 | 1855 | 3840 1.39/1.46 c #cpu_time = 0.254s 1.39/1.46 c #wall_clock_time = 0.255s 1.39/1.46 c #decision = 30399 1.39/1.46 c #random_decision = 5 1.39/1.46 c #conflict = 253 1.39/1.46 c #restart = 2 1.39/1.46 o 33 1.39/1.46 c BCD2: updating upper bound: 43 -> 32 1.39/1.48 c BCD2: 20 <= obj <= 32 1.39/1.48 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 1.39/1.48 c BCD2: #sat=3 #unsat=21 bias=21/24 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 15592 0 | 1855 | 3841 1.49/1.55 c 0.1s | 1 | 3620 | 100 | 15592 0 | 1855 | 3841 1.59/1.68 c 0.2s | 2 | 17286 | 250 | 17152 0 | 1855 | 3841 1.79/1.87 c 0.4s | 3 | 29442 | 475 | 17152 0 | 1855 | 3841 2.09/2.20 c 0.7s | 4 | 33850 | 813 | 18868 0 | 1855 | 3841 2.69/2.72 c 1.2s | 5 | 47955 | 1320 | 20755 0 | 1855 | 3841 3.49/3.59 c 2.1s | 6 | 72189 | 2081 | 22831 0 | 1855 | 3841 3.79/3.80 c 2.3s | 6 | 75933 | 2205 | 22831 0 | 1855 | 3841 3.79/3.80 c #cpu_time = 2.312s 3.79/3.80 c #wall_clock_time = 2.318s 3.79/3.80 c #decision = 75933 3.79/3.80 c #random_decision = 6 3.79/3.80 c #conflict = 2205 3.79/3.80 c #restart = 6 3.79/3.80 o 31 3.89/3.92 c BCD2: updating upper bound: 32 -> 30 3.89/3.92 c BCD2: 20 <= obj <= 30 3.89/3.92 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 3.89/3.92 c BCD2: #sat=4 #unsat=21 bias=21/25 3.89/3.92 c Solving starts ... 3.89/3.92 c ============================[ Search Statistics ]============================ 3.89/3.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.92 c | | | | Limit GC | Var | Constra 3.89/3.92 c ============================================================================= 3.89/3.92 c 0.0s | 0 | 0 | 0 | 22831 0 | 1855 | 3842 3.89/3.95 c 0.1s | 1 | 3674 | 100 | 22831 0 | 1855 | 3842 4.09/4.17 c 0.3s | 2 | 8366 | 250 | 22831 0 | 1855 | 3842 4.40/4.40 c 0.6s | 3 | 12561 | 475 | 22831 0 | 1855 | 3842 4.69/4.74 c 0.9s | 4 | 16977 | 813 | 25115 0 | 1855 | 3842 5.19/5.21 c 1.4s | 5 | 23670 | 1320 | 25115 0 | 1855 | 3842 5.99/6.03 c 2.2s | 6 | 37515 | 2081 | 25115 0 | 1855 | 3842 7.19/7.20 c 3.4s | 7 | 46303 | 3223 | 27627 0 | 1855 | 3842 8.80/8.89 c 5.1s | 8 | 64691 | 4936 | 27627 0 | 1855 | 3842 10.79/10.89 c 7.1s | 8 | 74601 | 6836 | 30390 0 | 1855 | 3842 11.49/11.59 c 7.8s | 9 | 78478 | 7506 | 30390 0 | 1855 | 3842 11.69/11.73 c 7.9s | 9 | 81738 | 7550 | 30390 0 | 1855 | 3842 11.69/11.73 c #cpu_time = 7.886s 11.69/11.73 c #wall_clock_time = 7.907s 11.69/11.73 c #decision = 81738 11.69/11.73 c #random_decision = 17 11.69/11.73 c #conflict = 7550 11.69/11.73 c #restart = 9 11.69/11.73 o 28 11.69/11.74 c BCD2: updating upper bound: 30 -> 27 11.69/11.76 c BCD2: 20 <= obj <= 27 11.69/11.76 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 11.69/11.76 c BCD2: #sat=5 #unsat=21 bias=21/26 11.69/11.76 c Solving starts ... 11.69/11.76 c ============================[ Search Statistics ]============================ 11.69/11.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.69/11.76 c | | | | Limit GC | Var | Constra 11.69/11.76 c ============================================================================= 11.69/11.76 c 0.0s | 0 | 0 | 0 | 30390 0 | 1855 | 3843 11.89/11.96 c 0.2s | 1 | 3337 | 100 | 30390 0 | 1855 | 3843 12.20/12.24 c 0.5s | 2 | 6854 | 250 | 30390 0 | 1855 | 3843 12.59/12.62 c 0.9s | 3 | 17040 | 475 | 30390 0 | 1855 | 3843 13.09/13.13 c 1.4s | 4 | 26177 | 813 | 30390 0 | 1855 | 3843 13.79/13.82 c 2.1s | 5 | 32522 | 1320 | 33429 0 | 1855 | 3843 14.79/14.89 c 3.1s | 6 | 40535 | 2081 | 33429 0 | 1855 | 3843 16.29/16.37 c 4.6s | 7 | 48613 | 3223 | 33429 0 | 1855 | 3843 18.39/18.42 c 6.7s | 7 | 59660 | 4823 | 33429 0 | 1855 | 3843 18.49/18.53 c 6.8s | 8 | 59974 | 4936 | 33429 0 | 1855 | 3843 20.49/20.54 c 8.8s | 8 | 66737 | 6536 | 33429 0 | 1855 | 3843 21.59/21.67 c 9.9s | 9 | 69047 | 7506 | 36772 0 | 1855 | 3843 23.49/23.57 c 11.8s | 9 | 76026 | 8908 | 36772 0 | 1855 | 3843 23.49/23.57 c #cpu_time = 11.770s 23.49/23.57 c #wall_clock_time = 11.801s 23.49/23.57 c #decision = 76026 23.49/23.57 c #random_decision = 14 23.49/23.57 c #conflict = 8908 23.49/23.57 c #restart = 9 23.49/23.57 o 26 23.49/23.57 c BCD2: updating upper bound: 27 -> 25 23.49/23.59 c BCD2: 20 <= obj <= 25 23.49/23.59 c BCD2: #cores=20, #unrelaxed=4029, #relaxed=739, #hardened=0 23.49/23.59 c BCD2: #sat=6 #unsat=21 bias=21/27 23.49/23.59 c Solving starts ... 23.49/23.59 c ============================[ Search Statistics ]============================ 23.49/23.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.49/23.59 c | | | | Limit GC | Var | Constra 23.49/23.59 c ============================================================================= 23.49/23.59 c 0.0s | 0 | 0 | 0 | 36772 0 | 1855 | 3844 23.79/23.84 c 0.3s | 1 | 3306 | 100 | 36772 0 | 1855 | 3844 24.09/24.15 c 0.6s | 2 | 6749 | 250 | 36772 0 | 1855 | 3844 24.59/24.62 c 1.0s | 3 | 10269 | 475 | 36772 0 | 1855 | 3844 25.09/25.12 c 1.5s | 4 | 14135 | 813 | 36772 0 | 1855 | 3844 25.29/25.39 c 1.8s | 4 | 17431 | 912 | 36772 0 | 1855 | 3844 25.29/25.39 c #cpu_time = 1.792s 25.29/25.39 c #wall_clock_time = 1.796s 25.29/25.39 c #decision = 17431 25.29/25.39 c #random_decision = 2 25.29/25.39 c #conflict = 912 25.29/25.39 c #restart = 4 25.29/25.39 c BCD2: relaxing 185 and merging with 18 cores into a new core of size 908: cost of the new core is >=19 25.29/25.39 c lower bound updated to 21 25.29/25.39 c BCD2: 21 <= obj <= 25 25.29/25.39 c BCD2: #cores=3, #unrelaxed=3844, #relaxed=924, #hardened=0 25.29/25.39 c BCD2: #sat=6 #unsat=22 bias=22/28 25.39/25.40 c Solving starts ... 25.39/25.40 c ============================[ Search Statistics ]============================ 25.39/25.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 25.39/25.40 c | | | | Limit GC | Var | Constra 25.39/25.40 c ============================================================================= 25.39/25.40 c 0.0s | 0 | 0 | 0 | 36772 0 | 1926 | 3844 25.89/25.90 c 0.5s | 1 | 4048 | 100 | 36772 0 | 1926 | 3968 25.99/26.09 c 0.7s | 2 | 8859 | 250 | 36772 0 | 1926 | 3968 26.29/26.40 c 1.0s | 3 | 14418 | 475 | 36772 0 | 1926 | 3968 26.79/26.81 c 1.4s | 4 | 20746 | 813 | 36772 0 | 1926 | 3968 27.39/27.44 c 2.0s | 5 | 27332 | 1320 | 36772 0 | 1926 | 3968 28.49/28.54 c 3.1s | 6 | 36101 | 2081 | 36772 0 | 1926 | 3968 29.69/29.73 c 4.3s | 7 | 48039 | 3223 | 36772 0 | 1926 | 3968 31.49/31.55 c 6.1s | 8 | 61695 | 4936 | 36772 0 | 1926 | 3968 33.59/33.69 c 8.3s | 8 | 77554 | 6936 | 40450 0 | 1926 | 3968 34.29/34.31 c 8.9s | 9 | 81257 | 7506 | 40450 0 | 1926 | 3968 36.29/36.33 c 10.9s | 9 | 95879 | 9306 | 40450 0 | 1926 | 3968 38.38/38.42 c 13.0s | 9 | 108411 | 11306 | 40450 0 | 1926 | 3968 38.38/38.50 c 13.1s | 10 | 108754 | 11361 | 40450 0 | 1926 | 3968 40.48/40.57 c 15.2s | 10 | 123228 | 13161 | 40450 0 | 1926 | 3968 42.48/42.57 c 17.2s | 10 | 135495 | 14961 | 40450 0 | 1926 | 3968 44.48/44.59 c 19.2s | 10 | 146726 | 16661 | 40450 0 | 1926 | 3968 45.09/45.16 c 19.8s | 11 | 149701 | 17144 | 40450 0 | 1926 | 3968 47.18/47.21 c 21.8s | 11 | 162375 | 18944 | 44495 0 | 1926 | 3968 49.28/49.31 c 23.9s | 11 | 171475 | 20744 | 44495 0 | 1926 | 3968 51.28/51.38 c 26.0s | 11 | 182286 | 22444 | 44495 0 | 1926 | 3968 53.38/53.49 c 28.1s | 11 | 192046 | 24144 | 44495 0 | 1926 | 3968 55.48/55.53 c 30.1s | 11 | 201339 | 25744 | 44495 0 | 1926 | 3968 55.58/55.62 c 30.2s | 12 | 201832 | 25819 | 44495 0 | 1926 | 3968 57.58/57.64 c 32.2s | 12 | 211729 | 27319 | 44495 0 | 1926 | 3968 59.68/59.79 c 34.4s | 12 | 219910 | 28919 | 44495 0 | 1926 | 3968 61.78/61.82 c 36.4s | 12 | 227830 | 30419 | 44495 0 | 1926 | 3968 63.79/63.90 c 38.5s | 12 | 235368 | 31919 | 44495 0 | 1926 | 3968 65.99/66.03 c 40.6s | 12 | 244479 | 33519 | 44495 0 | 1926 | 3968 68.08/68.12 c 42.7s | 12 | 252340 | 34919 | 44495 0 | 1926 | 3968 70.08/70.14 c 44.7s | 12 | 260261 | 36419 | 44495 0 | 1926 | 3968 72.18/72.23 c 46.8s | 12 | 269226 | 37819 | 44495 0 | 1926 | 3968 73.69/73.78 c 48.4s | 13 | 275583 | 38832 | 48945 0 | 1926 | 3968 75.78/75.84 c 50.4s | 13 | 284359 | 40132 | 48945 0 | 1926 | 3968 77.78/77.87 c 52.5s | 13 | 294196 | 41632 | 48945 0 | 1926 | 3968 79.78/79.89 c 54.5s | 13 | 302445 | 43032 | 48945 0 | 1926 | 3968 81.88/81.97 c 56.6s | 13 | 311560 | 44632 | 48945 0 | 1926 | 3968 84.08/84.17 c 58.8s | 13 | 322104 | 46132 | 48945 0 | 1926 | 3968 86.18/86.21 c 60.8s | 13 | 332218 | 47632 | 48945 0 | 1926 | 3968 88.28/88.30 c 62.9s | 13 | 342948 | 49132 | 48945 0 | 1926 | 3968 90.38/90.40 c 65.0s | 13 | 351201 | 50632 | 48945 0 | 1926 | 3968 92.38/92.47 c 67.1s | 13 | 360075 | 52032 | 48945 0 | 1926 | 3968 94.58/94.62 c 69.2s | 13 | 368457 | 53432 | 48945 0 | 1926 | 3968 96.58/96.63 c 71.2s | 13 | 376696 | 54732 | 48945 0 | 1926 | 3968 98.58/98.67 c 73.3s | 13 | 385035 | 56132 | 48945 0 | 1926 | 3968 100.67/100.76 c 75.4s | 13 | 394598 | 57632 | 48945 1 | 1926 | 3968 101.57/101.63 c 76.2s | 14 | 399308 | 58352 | 48945 1 | 1926 | 3968 103.57/103.69 c 78.3s | 14 | 411466 | 59852 | 48945 1 | 1926 | 3968 105.68/105.78 c 80.4s | 14 | 417206 | 60852 | 48945 1 | 1926 | 3968 107.78/107.84 c 82.4s | 14 | 427377 | 62352 | 48945 1 | 1926 | 3968 109.77/109.89 c 84.5s | 14 | 437014 | 63852 | 48945 1 | 1926 | 3968 111.87/111.94 c 86.5s | 14 | 446664 | 65252 | 48945 1 | 1926 | 3968 113.97/114.00 c 88.6s | 14 | 453589 | 66452 | 48945 1 | 1926 | 3968 116.07/116.12 c 90.7s | 14 | 463403 | 67852 | 53840 1 | 1926 | 3968 118.17/118.26 c 92.9s | 14 | 470403 | 69152 | 53840 1 | 1926 | 3968 120.37/120.43 c 95.0s | 14 | 478250 | 70452 | 53840 1 | 1926 | 3968 122.57/122.64 c 97.2s | 14 | 485108 | 71652 | 53840 1 | 1926 | 3968 124.67/124.77 c 99.4s | 14 | 491584 | 72752 | 53840 1 | 1926 | 3968 126.77/126.86 c 101s | 14 | 498878 | 73952 | 53840 1 | 1926 | 3968 128.87/128.91 c 103s | 14 | 507052 | 75152 | 53840 1 | 1926 | 3968 130.98/131.03 c 105s | 14 | 514279 | 76352 | 53840 1 | 1926 | 3968 132.97/133.03 c 107s | 14 | 521711 | 77652 | 53840 1 | 1926 | 3968 134.97/135.05 c 109s | 14 | 528288 | 78852 | 53840 1 | 1926 | 3968 136.97/137.09 c 111s | 14 | 536312 | 80052 | 53840 1 | 1926 | 3968 139.17/139.24 c 113s | 14 | 544306 | 81352 | 53840 1 | 1926 | 3968 141.17/141.29 c 115s | 14 | 549798 | 82252 | 53840 1 | 1926 | 3968 143.37/143.40 c 117s | 14 | 555844 | 83352 | 53840 1 | 1926 | 3968 145.37/145.48 c 120s | 14 | 562540 | 84352 | 53840 1 | 1926 | 3968 147.57/147.65 c 122s | 14 | 569359 | 85552 | 53840 1 | 1926 | 3968 149.67/149.76 c 124s | 14 | 575395 | 86752 | 53840 1 | 1926 | 3968 151.67/151.74 c 126s | 15 | 579787 | 87632 | 53840 1 | 1926 | 3968 153.77/153.83 c 128s | 15 | 589638 | 88632 | 53840 2 | 1926 | 3968 155.77/155.89 c 130s | 15 | 597875 | 90032 | 53840 2 | 1926 | 3968 157.87/157.93 c 132s | 15 | 606884 | 91732 | 53840 2 | 1926 | 3968 159.87/159.94 c 134s | 15 | 614909 | 93232 | 53840 2 | 1926 | 3968 161.97/162.01 c 136s | 15 | 624233 | 94732 | 53840 2 | 1926 | 3968 163.98/164.09 c 138s | 15 | 632215 | 96032 | 53840 2 | 1926 | 3968 166.17/166.27 c 140s | 15 | 640531 | 97332 | 53840 2 | 1926 | 3968 168.37/168.42 c 143s | 15 | 646593 | 98432 | 53840 2 | 1926 | 3968 170.47/170.59 c 145s | 15 | 647769 | 98632 | 53840 2 | 1926 | 3968 172.46/172.59 c 147s | 15 | 656335 | 99932 | 53840 2 | 1926 | 3968 174.66/174.72 c 149s | 15 | 665040 | 101232 | 53840 2 | 1926 | 3968 176.76/176.85 c 151s | 15 | 672022 | 102532 | 53840 2 | 1926 | 3968 178.96/179.03 c 153s | 15 | 679460 | 103732 | 53840 2 | 1926 | 3968 181.06/181.16 c 155s | 15 | 688101 | 105032 | 53840 2 | 1926 | 3968 183.16/183.20 c 157s | 15 | 693595 | 106032 | 53840 2 | 1926 | 3968 185.26/185.31 c 159s | 15 | 699545 | 107032 | 53840 2 | 1926 | 3968 187.26/187.38 c 161s | 15 | 705752 | 108032 | 53840 2 | 1926 | 3968 189.36/189.48 c 164s | 15 | 712813 | 109232 | 53840 2 | 1926 | 3968 191.47/191.58 c 166s | 15 | 720616 | 110332 | 53840 2 | 1926 | 3968 193.57/193.66 c 168s | 15 | 728574 | 111432 | 59225 2 | 1926 | 3968 195.66/195.73 c 170s | 15 | 734014 | 112532 | 59225 2 | 1926 | 3968 197.76/197.85 c 172s | 15 | 740797 | 113632 | 59225 2 | 1926 | 3968 199.86/199.97 c 174s | 15 | 745936 | 114532 | 59225 2 | 1926 | 3968 201.86/201.99 c 176s | 15 | 750684 | 115432 | 59225 2 | 1926 | 3968 203.96/204.09 c 178s | 15 | 756763 | 116332 | 59225 2 | 1926 | 3968 206.16/206.26 c 180s | 15 | 763881 | 117532 | 59225 2 | 1926 | 3968 208.26/208.39 c 182s | 15 | 771296 | 118732 | 59225 2 | 1926 | 3968 210.26/210.39 c 184s | 15 | 774939 | 119332 | 59225 2 | 1926 | 3968 212.56/212.61 c 187s | 15 | 776584 | 119832 | 59225 2 | 1926 | 3968 214.96/215.03 c 189s | 15 | 780779 | 120532 | 59225 2 | 1926 | 3968 217.26/217.37 c 191s | 15 | 783286 | 121132 | 59225 2 | 1926 | 3968 219.36/219.42 c 194s | 15 | 788285 | 121832 | 59225 2 | 1926 | 3968 223.16/223.25 c 197s | 15 | 791205 | 122432 | 59225 2 | 1926 | 3968 225.75/225.80 c 200s | 15 | 791782 | 122532 | 59225 2 | 1926 | 3968 227.76/227.89 c 202s | 15 | 797524 | 123532 | 59225 2 | 1926 | 3968 229.96/230.01 c 204s | 15 | 802704 | 124432 | 59225 2 | 1926 | 3968 232.35/232.40 c 206s | 15 | 807657 | 125332 | 59225 3 | 1926 | 3968 234.45/234.54 c 209s | 15 | 813820 | 126332 | 59225 3 | 1926 | 3968 236.46/236.57 c 211s | 15 | 821221 | 127632 | 59225 3 | 1926 | 3968 238.55/238.62 c 213s | 15 | 827939 | 129032 | 59225 3 | 1926 | 3968 240.55/240.65 c 215s | 15 | 834793 | 130332 | 59225 3 | 1926 | 3968 242.55/242.68 c 217s | 15 | 840935 | 131532 | 59225 3 | 1926 | 3968 242.65/242.72 c 217s | 16 | 841062 | 131552 | 59225 3 | 1926 | 3968 244.75/244.83 c 219s | 16 | 851169 | 132852 | 59225 3 | 1926 | 3968 246.85/246.97 c 221s | 16 | 858728 | 134252 | 59225 3 | 1926 | 3968 252.46/252.58 c 227s | 16 | 860979 | 134852 | 59225 3 | 1926 | 3968 254.66/254.71 c 229s | 16 | 867868 | 136052 | 59225 3 | 1926 | 3968 256.75/256.80 c 231s | 16 | 874189 | 137552 | 59225 3 | 1926 | 3968 258.75/258.86 c 233s | 16 | 883756 | 139152 | 59225 3 | 1926 | 3968 260.85/260.94 c 235s | 16 | 890696 | 140552 | 59225 3 | 1926 | 3968 262.86/262.98 c 237s | 16 | 898214 | 141952 | 59225 3 | 1926 | 3968 264.85/264.99 c 239s | 16 | 904492 | 143152 | 59225 3 | 1926 | 3968 266.95/267.05 c 241s | 16 | 909225 | 144152 | 59225 3 | 1926 | 3968 268.95/269.07 c 243s | 16 | 916162 | 145452 | 59225 3 | 1926 | 3968 271.15/271.22 c 245s | 16 | 921840 | 146352 | 59225 3 | 1926 | 3968 273.25/273.30 c 247s | 16 | 927609 | 147352 | 59225 3 | 1926 | 3968 275.45/275.51 c 250s | 16 | 934056 | 148452 | 59225 3 | 1926 | 3968 277.55/277.66 c 252s | 16 | 940032 | 149452 | 59225 3 | 1926 | 3968 279.65/279.71 c 254s | 16 | 948468 | 150952 | 59225 3 | 1926 | 3968 281.65/281.75 c 256s | 16 | 958246 | 152452 | 59225 3 | 1926 | 3968 283.65/283.80 c 258s | 16 | 967791 | 153952 | 59225 3 | 1926 | 3968 285.75/285.89 c 260s | 16 | 975988 | 155452 | 59225 3 | 1926 | 3968 287.75/287.89 c 262s | 16 | 982950 | 156852 | 59225 3 | 1926 | 3968 290.05/290.14 c 264s | 16 | 990139 | 158252 | 59225 3 | 1926 | 3968 292.25/292.31 c 266s | 16 | 995783 | 159152 | 59225 4 | 1926 | 3968 294.24/294.38 c 268s | 16 | 1002837 | 160352 | 59225 4 | 1926 | 3968 296.34/296.47 c 271s | 16 | 1011839 | 161852 | 59225 4 | 1926 | 3968 298.54/298.60 c 273s | 16 | 1020118 | 163352 | 59225 4 | 1926 | 3968 300.64/300.76 c 275s | 16 | 1026804 | 164752 | 59225 4 | 1926 | 3968 302.74/302.82 c 277s | 16 | 1031018 | 165352 | 59225 4 | 1926 | 3968 304.84/304.97 c 279s | 16 | 1037050 | 166452 | 59225 4 | 1926 | 3968 306.95/307.05 c 281s | 16 | 1042404 | 167452 | 59225 4 | 1926 | 3968 308.94/309.09 c 283s | 16 | 1048491 | 168552 | 59225 4 | 1926 | 3968 311.04/311.13 c 285s | 16 | 1055241 | 169552 | 59225 4 | 1926 | 3968 313.14/313.20 c 287s | 16 | 1061335 | 170552 | 59225 4 | 1926 | 3968 315.24/315.35 c 289s | 16 | 1069355 | 171652 | 59225 4 | 1926 | 3968 317.24/317.38 c 291s | 16 | 1077054 | 172752 | 59225 4 | 1926 | 3968 319.34/319.44 c 294s | 16 | 1084982 | 173952 | 59225 4 | 1926 | 3968 321.44/321.52 c 296s | 16 | 1092834 | 175152 | 59225 4 | 1926 | 3968 323.45/323.55 c 298s | 16 | 1099097 | 176152 | 59225 4 | 1926 | 3968 325.55/325.61 c 300s | 16 | 1105857 | 177252 | 65148 4 | 1926 | 3968 327.64/327.77 c 302s | 16 | 1110792 | 178252 | 65148 4 | 1926 | 3968 329.74/329.83 c 304s | 16 | 1116367 | 179152 | 65148 4 | 1926 | 3968 331.84/331.93 c 306s | 16 | 1122907 | 180152 | 65148 4 | 1926 | 3968 333.84/333.95 c 308s | 16 | 1129979 | 181252 | 65148 4 | 1926 | 3968 335.84/335.97 c 310s | 16 | 1137229 | 182452 | 65148 4 | 1926 | 3968 337.94/338.04 c 312s | 16 | 1143008 | 183552 | 65148 4 | 1926 | 3968 339.94/340.09 c 314s | 16 | 1149662 | 184652 | 65148 4 | 1926 | 3968 342.04/342.19 c 316s | 16 | 1155122 | 185652 | 65148 4 | 1926 | 3968 344.14/344.30 c 318s | 16 | 1160946 | 186752 | 65148 4 | 1926 | 3968 346.24/346.34 c 320s | 16 | 1167621 | 187752 | 65148 4 | 1926 | 3968 348.24/348.36 c 322s | 16 | 1173156 | 188652 | 65148 4 | 1926 | 3968 350.53/350.62 c 325s | 16 | 1180747 | 189652 | 65148 4 | 1926 | 3968 352.63/352.70 c 327s | 16 | 1186753 | 190552 | 65148 4 | 1926 | 3968 354.73/354.87 c 329s | 16 | 1194121 | 191652 | 65148 4 | 1926 | 3968 356.73/356.89 c 331s | 16 | 1200031 | 192652 | 65148 4 | 1926 | 3968 358.83/358.96 c 333s | 16 | 1206181 | 193652 | 65148 4 | 1926 | 3968 360.93/361.05 c 335s | 16 | 1213389 | 194752 | 65148 4 | 1926 | 3968 362.94/363.10 c 337s | 16 | 1219696 | 195852 | 65148 4 | 1926 | 3968 365.03/365.12 c 339s | 16 | 1226486 | 196952 | 65148 4 | 1926 | 3968 366.24/366.37 c 340s | 17 | 1229545 | 197432 | 65148 4 | 1926 | 3968 370.84/370.96 c 345s | 17 | 1232982 | 197532 | 65148 5 | 1926 | 3968 375.14/375.20 c 349s | 17 | 1233532 | 197632 | 65148 5 | 1926 | 3968 377.34/377.42 c 352s | 17 | 1236236 | 198232 | 65148 5 | 1926 | 3968 379.33/379.48 c 354s | 17 | 1243397 | 199432 | 65148 5 | 1926 | 3968 381.33/381.49 c 356s | 17 | 1246949 | 200132 | 65148 5 | 1926 | 3968 383.53/383.60 c 358s | 17 | 1253863 | 201232 | 65148 5 | 1926 | 3968 385.53/385.63 c 360s | 17 | 1258883 | 202232 | 65148 5 | 1926 | 3968 387.73/387.85 c 362s | 17 | 1261145 | 202732 | 65148 5 | 1926 | 3968 389.73/389.89 c 364s | 17 | 1267971 | 203832 | 65148 5 | 1926 | 3968 391.93/392.01 c 366s | 17 | 1274612 | 204932 | 65148 5 | 1926 | 3968 393.93/394.05 c 368s | 17 | 1281093 | 206032 | 65148 5 | 1926 | 3968 396.04/396.17 c 370s | 17 | 1289046 | 207532 | 65148 5 | 1926 | 3968 398.14/398.21 c 372s | 17 | 1296935 | 208832 | 65148 5 | 1926 | 3968 400.23/400.33 c 374s | 17 | 1305626 | 210332 | 65148 5 | 1926 | 3968 402.33/402.46 c 377s | 17 | 1314599 | 211832 | 65148 5 | 1926 | 3968 404.43/404.57 c 379s | 17 | 1322806 | 213232 | 65148 5 | 1926 | 3968 406.53/406.62 c 381s | 17 | 1328438 | 214532 | 65148 5 | 1926 | 3968 408.63/408.72 c 383s | 17 | 1338937 | 216232 | 65148 5 | 1926 | 3968 410.73/410.82 c 385s | 17 | 1345740 | 217532 | 65148 5 | 1926 | 3968 412.83/412.92 c 387s | 17 | 1351308 | 218632 | 65148 5 | 1926 | 3968 414.83/414.92 c 389s | 17 | 1358402 | 219932 | 65148 5 | 1926 | 3968 416.94/417.06 c 391s | 17 | 1364497 | 221232 | 65148 5 | 1926 | 3968 419.04/419.10 c 393s | 17 | 1371607 | 222432 | 65148 5 | 1926 | 3968 421.13/421.27 c 395s | 17 | 1378659 | 223632 | 65148 5 | 1926 | 3968 423.33/423.44 c 398s | 17 | 1386094 | 224832 | 65148 5 | 1926 | 3968 425.53/425.65 c 400s | 17 | 1393006 | 225932 | 65148 5 | 1926 | 3968 427.53/427.68 c 402s | 17 | 1398915 | 227132 | 65148 5 | 1926 | 3968 429.63/429.71 c 404s | 17 | 1405732 | 228332 | 65148 5 | 1926 | 3968 431.63/431.72 c 406s | 17 | 1411624 | 229432 | 65148 5 | 1926 | 3968 433.63/433.76 c 408s | 17 | 1418036 | 230432 | 65148 5 | 1926 | 3968 435.73/435.86 c 410s | 17 | 1425274 | 231632 | 65148 5 | 1926 | 3968 437.83/437.91 c 412s | 17 | 1431226 | 232632 | 65148 5 | 1926 | 3968 439.82/439.92 c 414s | 17 | 1437003 | 233532 | 65148 5 | 1926 | 3968 441.92/442.04 c 416s | 17 | 1443838 | 234532 | 65148 5 | 1926 | 3968 448.42/448.54 c 423s | 17 | 1444829 | 234732 | 65148 6 | 1926 | 3968 450.52/450.60 c 425s | 17 | 1451803 | 236032 | 65148 6 | 1926 | 3968 452.62/452.70 c 427s | 17 | 1460087 | 237532 | 65148 6 | 1926 | 3968 454.72/454.80 c 429s | 17 | 1468292 | 238932 | 65148 6 | 1926 | 3968 456.72/456.86 c 431s | 17 | 1475988 | 240332 | 65148 6 | 1926 | 3968 458.82/458.92 c 433s | 17 | 1484078 | 241732 | 65148 6 | 1926 | 3968 460.82/460.98 c 435s | 17 | 1490932 | 242932 | 65148 6 | 1926 | 3968 462.82/462.98 c 437s | 17 | 1499999 | 244432 | 65148 6 | 1926 | 3968 464.82/464.99 c 439s | 17 | 1506549 | 245832 | 65148 6 | 1926 | 3968 466.92/467.05 c 441s | 17 | 1512888 | 247132 | 65148 6 | 1926 | 3968 469.02/469.11 c 443s | 17 | 1520295 | 248232 | 65148 6 | 1926 | 3968 471.12/471.23 c 445s | 17 | 1527245 | 249532 | 65148 6 | 1926 | 3968 473.12/473.26 c 447s | 17 | 1533247 | 250932 | 65148 6 | 1926 | 3968 475.31/475.42 c 450s | 17 | 1542719 | 252232 | 65148 6 | 1926 | 3968 477.32/477.43 c 452s | 17 | 1550670 | 253532 | 65148 6 | 1926 | 3968 479.41/479.54 c 454s | 17 | 1557715 | 254732 | 65148 6 | 1926 | 3968 481.51/481.61 c 456s | 17 | 1564564 | 255932 | 65148 6 | 1926 | 3968 483.51/483.61 c 458s | 17 | 1570848 | 257032 | 65148 6 | 1926 | 3968 485.61/485.73 c 460s | 17 | 1577828 | 258132 | 65148 6 | 1926 | 3968 487.61/487.74 c 462s | 17 | 1584107 | 259032 | 65148 6 | 1926 | 3968 489.71/489.85 c 464s | 17 | 1589233 | 259932 | 65148 6 | 1926 | 3968 491.81/491.96 c 466s | 17 | 1595670 | 260932 | 65148 6 | 1926 | 3968 493.92/494.09 c 468s | 17 | 1599253 | 261632 | 65148 6 | 1926 | 3968 496.02/496.19 c 470s | 17 | 1605161 | 262532 | 65148 6 | 1926 | 3968 498.41/498.52 c 473s | 17 | 1609532 | 263332 | 65148 6 | 1926 | 3968 500.52/500.66 c 475s | 17 | 1613172 | 264032 | 65148 6 | 1926 | 3968 502.62/502.75 c 477s | 17 | 1617945 | 264832 | 65148 6 | 1926 | 3968 504.82/504.96 c 479s | 17 | 1623836 | 265832 | 65148 6 | 1926 | 3968 506.91/507.09 c 481s | 17 | 1629826 | 266832 | 65148 6 | 1926 | 3968 509.01/509.14 c 483s | 17 | 1633779 | 267732 | 65148 6 | 1926 | 3968 511.11/511.29 c 485s | 17 | 1640600 | 268832 | 65148 6 | 1926 | 3968 513.21/513.39 c 487s | 17 | 1645892 | 269732 | 65148 6 | 1926 | 3968 515.41/515.52 c 490s | 17 | 1651648 | 270632 | 65148 6 | 1926 | 3968 517.71/517.83 c 492s | 17 | 1656740 | 271532 | 65148 7 | 1926 | 3968 519.81/519.97 c 494s | 17 | 1663914 | 272632 | 65148 7 | 1926 | 3968 521.81/521.99 c 496s | 17 | 1670805 | 273832 | 65148 7 | 1926 | 3968 523.91/524.02 c 498s | 17 | 1679583 | 275132 | 71663 7 | 1926 | 3968 526.01/526.14 c 500s | 17 | 1691265 | 276732 | 71663 7 | 1926 | 3968 528.01/528.18 c 502s | 17 | 1701104 | 278232 | 71663 7 | 1926 | 3968 530.11/530.26 c 504s | 17 | 1710174 | 279732 | 71663 7 | 1926 | 3968 532.20/532.30 c 506s | 17 | 1718359 | 281032 | 71663 7 | 1926 | 3968 534.30/534.42 c 509s | 17 | 1726904 | 282432 | 71663 7 | 1926 | 3968 536.30/536.43 c 511s | 17 | 1733228 | 283532 | 71663 7 | 1926 | 3968 538.30/538.48 c 513s | 17 | 1739322 | 284732 | 71663 7 | 1926 | 3968 540.70/540.82 c 515s | 17 | 1743405 | 285332 | 71663 7 | 1926 | 3968 542.70/542.89 c 517s | 17 | 1750020 | 286432 | 71663 7 | 1926 | 3968 544.80/544.98 c 519s | 17 | 1755378 | 287432 | 71663 7 | 1926 | 3968 546.90/547.07 c 521s | 17 | 1761321 | 288432 | 71663 7 | 1926 | 3968 549.00/549.18 c 523s | 17 | 1767597 | 289532 | 71663 7 | 1926 | 3968 551.01/551.19 c 525s | 17 | 1772402 | 290532 | 71663 7 | 1926 | 3968 553.10/553.28 c 527s | 17 | 1779305 | 291532 | 71663 7 | 1926 | 3968 555.20/555.35 c 529s | 17 | 1784428 | 292432 | 71663 7 | 1926 | 3968 557.20/557.38 c 531s | 17 | 1790342 | 293532 | 71663 7 | 1926 | 3968 559.30/559.43 c 534s | 17 | 1796630 | 294532 | 71663 7 | 1926 | 3968 561.40/561.59 c 536s | 17 | 1801644 | 295532 | 71663 7 | 1926 | 3968 562.90/563.04 c 537s | 18 | 1805106 | 296252 | 71663 7 | 1926 | 3968 566.81/566.91 c 541s | 18 | 1809489 | 296552 | 71663 7 | 1926 | 3968 568.90/569.04 c 543s | 18 | 1815119 | 297552 | 71663 7 | 1926 | 3968 571.10/571.25 c 545s | 18 | 1820476 | 298552 | 71663 7 | 1926 | 3968 573.30/573.40 c 547s | 18 | 1827001 | 299652 | 71663 7 | 1926 | 3968 577.20/577.37 c 551s | 18 | 1828134 | 299852 | 71663 7 | 1926 | 3968 579.30/579.42 c 554s | 18 | 1832724 | 300652 | 71663 7 | 1926 | 3968 581.40/581.56 c 556s | 18 | 1839105 | 301652 | 71663 7 | 1926 | 3968 583.50/583.64 c 558s | 18 | 1846334 | 302852 | 71663 7 | 1926 | 3968 585.50/585.68 c 560s | 18 | 1850546 | 303852 | 71663 7 | 1926 | 3968 587.50/587.68 c 562s | 18 | 1856681 | 304952 | 71663 7 | 1926 | 3968 589.51/589.68 c 564s | 18 | 1862925 | 305952 | 71663 7 | 1926 | 3968 591.60/591.80 c 566s | 18 | 1868361 | 306952 | 71663 7 | 1926 | 3968 593.70/593.86 c 568s | 18 | 1873581 | 307952 | 71663 7 | 1926 | 3968 595.80/595.96 c 570s | 18 | 1879799 | 309052 | 71663 7 | 1926 | 3968 597.90/598.01 c 572s | 18 | 1885663 | 310152 | 71663 7 | 1926 | 3968 599.90/600.04 c 574s | 18 | 1890591 | 311052 | 71663 7 | 1926 | 3968 602.10/602.23 c 576s | 18 | 1896347 | 312052 | 71663 7 | 1926 | 3968 604.20/604.30 c 578s | 18 | 1901457 | 312952 | 71663 7 | 1926 | 3968 606.39/606.50 c 581s | 18 | 1907164 | 313952 | 71663 7 | 1926 | 3968 608.39/608.58 c 583s | 18 | 1911344 | 314752 | 71663 8 | 1926 | 3968 610.41/610.60 c 585s | 18 | 1915254 | 315352 | 71663 8 | 1926 | 3968 612.61/612.75 c 587s | 18 | 1922355 | 316552 | 71663 8 | 1926 | 3968 614.70/614.89 c 589s | 18 | 1930339 | 317852 | 71663 8 | 1926 | 3968 616.80/616.94 c 591s | 18 | 1937564 | 319052 | 71663 8 | 1926 | 3968 618.90/619.05 c 593s | 18 | 1944195 | 320452 | 71663 8 | 1926 | 3968 621.10/621.27 c 595s | 18 | 1950621 | 321552 | 71663 8 | 1926 | 3968 623.20/623.33 c 597s | 18 | 1954908 | 322552 | 71663 8 | 1926 | 3968 625.40/625.51 c 600s | 18 | 1963170 | 323952 | 71663 8 | 1926 | 3968 627.40/627.56 c 602s | 18 | 1970105 | 325252 | 71663 8 | 1926 | 3968 629.50/629.65 c 604s | 18 | 1977830 | 326552 | 71663 8 | 1926 | 3968 631.60/631.78 c 606s | 18 | 1984069 | 327852 | 71663 8 | 1926 | 3968 633.69/633.88 c 608s | 18 | 1991121 | 329152 | 71663 8 | 1926 | 3968 635.80/635.97 c 610s | 18 | 1998926 | 330552 | 71663 8 | 1926 | 3968 638.00/638.17 c 612s | 18 | 2004343 | 331852 | 71663 8 | 1926 | 3968 640.10/640.28 c 614s | 18 | 2012794 | 333252 | 71663 8 | 1926 | 3968 642.19/642.30 c 616s | 18 | 2018962 | 334352 | 71663 8 | 1926 | 3968 644.19/644.33 c 618s | 18 | 2026403 | 335652 | 71663 8 | 1926 | 3968 646.29/646.45 c 621s | 18 | 2033145 | 336752 | 71663 8 | 1926 | 3968 648.39/648.57 c 623s | 18 | 2039619 | 337952 | 71663 8 | 1926 | 3968 650.49/650.61 c 625s | 18 | 2046678 | 339152 | 71663 8 | 1926 | 3968 652.49/652.61 c 627s | 18 | 2052533 | 340052 | 71663 8 | 1926 | 3968 654.59/654.73 c 629s | 18 | 2058068 | 341252 | 71663 8 | 1926 | 3968 656.69/656.84 c 631s | 18 | 2064730 | 342452 | 71663 8 | 1926 | 3968 658.68/658.90 c 633s | 18 | 2071851 | 343652 | 71663 8 | 1926 | 3968 660.78/660.92 c 635s | 18 | 2077989 | 344752 | 71663 8 | 1926 | 3968 662.78/662.95 c 637s | 18 | 2083912 | 345852 | 71663 8 | 1926 | 3968 664.88/665.06 c 639s | 18 | 2091134 | 347052 | 71663 8 | 1926 | 3968 666.88/667.08 c 641s | 18 | 2097752 | 348052 | 71663 8 | 1926 | 3968 668.98/669.12 c 643s | 18 | 2104762 | 349152 | 71663 8 | 1926 | 3968 671.08/671.24 c 645s | 18 | 2111907 | 350352 | 71663 8 | 1926 | 3968 673.28/673.42 c 648s | 18 | 2119206 | 351452 | 71663 8 | 1926 | 3968 675.39/675.51 c 650s | 18 | 2125193 | 352452 | 71663 8 | 1926 | 3968 677.38/677.52 c 652s | 18 | 2131860 | 353552 | 71663 8 | 1926 | 3968 679.48/679.68 c 654s | 18 | 2138089 | 354552 | 71663 9 | 1926 | 3968 681.78/681.97 c 656s | 18 | 2139755 | 354852 | 71663 9 | 1926 | 3968 683.87/684.06 c 658s | 18 | 2145338 | 355752 | 71663 9 | 1926 | 3968 685.87/686.07 c 660s | 18 | 2152272 | 357052 | 71663 9 | 1926 | 3968 688.07/688.21 c 662s | 18 | 2157644 | 357952 | 71663 9 | 1926 | 3968 690.07/690.22 c 664s | 18 | 2164889 | 359352 | 71663 9 | 1926 | 3968 692.17/692.34 c 666s | 18 | 2171237 | 360652 | 71663 9 | 1926 | 3968 694.27/694.40 c 668s | 18 | 2177334 | 361852 | 71663 9 | 1926 | 3968 696.37/696.51 c 671s | 18 | 2185132 | 363252 | 71663 9 | 1926 | 3968 698.37/698.54 c 673s | 18 | 2191472 | 364452 | 71663 9 | 1926 | 3968 700.37/700.59 c 675s | 18 | 2198338 | 365852 | 71663 9 | 1926 | 3968 702.47/702.60 c 677s | 18 | 2205518 | 367152 | 71663 9 | 1926 | 3968 704.46/704.63 c 679s | 18 | 2212634 | 368452 | 71663 9 | 1926 | 3968 706.46/706.69 c 681s | 18 | 2220244 | 369752 | 71663 9 | 1926 | 3968 708.56/708.75 c 683s | 18 | 2227296 | 370952 | 71663 9 | 1926 | 3968 710.57/710.79 c 685s | 18 | 2233559 | 372152 | 71663 9 | 1926 | 3968 712.67/712.86 c 687s | 18 | 2240627 | 373352 | 71663 9 | 1926 | 3968 714.76/714.93 c 689s | 18 | 2246931 | 374452 | 71663 9 | 1926 | 3968 716.86/717.04 c 691s | 18 | 2254226 | 375752 | 71663 9 | 1926 | 3968 718.96/719.13 c 693s | 18 | 2260701 | 376852 | 71663 9 | 1926 | 3968 721.06/721.21 c 695s | 18 | 2267659 | 378052 | 71663 9 | 1926 | 3968 723.05/723.27 c 697s | 18 | 2272895 | 378952 | 71663 9 | 1926 | 3968 725.15/725.38 c 699s | 18 | 2277944 | 379852 | 71663 9 | 1926 | 3968 727.35/727.53 c 702s | 18 | 2282365 | 380952 | 71663 9 | 1926 | 3968 729.45/729.61 c 704s | 18 | 2288189 | 381952 | 71663 9 | 1926 | 3968 731.45/731.64 c 706s | 18 | 2294567 | 383052 | 71663 9 | 1926 | 3968 733.44/733.67 c 708s | 18 | 2299243 | 384152 | 71663 9 | 1926 | 3968 735.64/735.85 c 710s | 18 | 2304057 | 385252 | 71663 9 | 1926 | 3968 737.74/737.93 c 712s | 18 | 2309150 | 386152 | 71663 9 | 1926 | 3968 739.84/740.03 c 714s | 18 | 2314504 | 387052 | 71663 9 | 1926 | 3968 742.04/742.21 c 716s | 18 | 2320341 | 388152 | 71663 9 | 1926 | 3968 744.04/744.24 c 718s | 18 | 2327084 | 389352 | 71663 9 | 1926 | 3968 746.14/746.30 c 720s | 18 | 2334520 | 390452 | 71663 9 | 1926 | 3968 748.14/748.33 c 722s | 18 | 2340499 | 391452 | 71663 9 | 1926 | 3968 750.24/750.40 c 724s | 18 | 2348217 | 392552 | 71663 9 | 1926 | 3968 752.14/752.40 c 726s | 18 | 2353386 | 393452 | 71663 9 | 1926 | 3968 754.33/754.52 c 729s | 18 | 2358260 | 394352 | 71663 10 | 1926 | 3968 757.13/757.34 c 731s | 18 | 2361992 | 395052 | 71663 10 | 1926 | 3968 777.22/777.46 c 752s | 18 | 2364870 | 395452 | 71663 10 | 1926 | 3968 779.32/779.59 c 754s | 18 | 2370425 | 396352 | 71663 10 | 1926 | 3968 781.52/781.75 c 756s | 18 | 2377122 | 397552 | 71663 10 | 1926 | 3968 783.52/783.77 c 758s | 18 | 2384140 | 398752 | 71663 10 | 1926 | 3968 785.72/785.93 c 760s | 18 | 2391094 | 399952 | 71663 10 | 1926 | 3968 787.82/788.08 c 762s | 18 | 2397122 | 401052 | 71663 10 | 1926 | 3968 789.82/790.09 c 764s | 18 | 2405132 | 402252 | 71663 10 | 1926 | 3968 791.92/792.10 c 766s | 18 | 2412975 | 403352 | 71663 10 | 1926 | 3968 794.02/794.25 c 768s | 18 | 2420220 | 404552 | 71663 10 | 1926 | 3968 796.01/796.26 c 770s | 18 | 2427448 | 405752 | 71663 10 | 1926 | 3968 798.11/798.31 c 772s | 18 | 2434218 | 407152 | 71663 10 | 1926 | 3968 800.11/800.37 c 774s | 18 | 2441842 | 408552 | 71663 10 | 1926 | 3968 802.31/802.50 c 777s | 18 | 2448550 | 409952 | 71663 10 | 1926 | 3968 804.41/804.61 c 779s | 18 | 2458035 | 411352 | 71663 10 | 1926 | 3968 806.41/806.63 c 781s | 18 | 2466869 | 412752 | 71663 10 | 1926 | 3968 808.51/808.72 c 783s | 18 | 2473714 | 414052 | 71663 10 | 1926 | 3968 810.52/810.75 c 785s | 18 | 2482511 | 415352 | 71663 10 | 1926 | 3968 812.61/812.86 c 787s | 18 | 2490448 | 416652 | 71663 10 | 1926 | 3968 814.61/814.89 c 789s | 18 | 2497459 | 417852 | 71663 10 | 1926 | 3968 816.71/816.93 c 791s | 18 | 2504230 | 419252 | 71663 10 | 1926 | 3968 818.81/819.05 c 793s | 18 | 2510414 | 420552 | 71663 10 | 1926 | 3968 820.81/821.07 c 795s | 18 | 2516897 | 421652 | 78830 10 | 1926 | 3968 822.91/823.13 c 797s | 18 | 2523393 | 422752 | 78830 10 | 1926 | 3968 825.01/825.22 c 799s | 18 | 2530318 | 424052 | 78830 10 | 1926 | 3968 827.11/827.31 c 801s | 18 | 2536441 | 425152 | 78830 10 | 1926 | 3968 829.11/829.35 c 803s | 18 | 2543074 | 426352 | 78830 10 | 1926 | 3968 831.20/831.49 c 806s | 18 | 2548285 | 427352 | 78830 10 | 1926 | 3968 833.40/833.66 c 808s | 18 | 2552201 | 428152 | 78830 10 | 1926 | 3968 835.60/835.89 c 810s | 18 | 2557564 | 429252 | 78830 10 | 1926 | 3968 837.70/837.98 c 812s | 18 | 2563601 | 430452 | 78830 10 | 1926 | 3968 839.80/840.06 c 814s | 18 | 2571682 | 431752 | 78830 10 | 1926 | 3968 841.90/842.12 c 816s | 18 | 2577978 | 432852 | 78830 10 | 1926 | 3968 844.00/844.29 c 818s | 18 | 2583397 | 434052 | 78830 10 | 1926 | 3968 846.10/846.32 c 820s | 18 | 2588967 | 435152 | 78830 10 | 1926 | 3968 848.20/848.44 c 823s | 18 | 2596339 | 436352 | 78830 10 | 1926 | 3968 850.40/850.65 c 825s | 18 | 2603165 | 437552 | 78830 10 | 1926 | 3968 852.50/852.73 c 827s | 18 | 2609576 | 438752 | 78830 10 | 1926 | 3968 854.50/854.79 c 829s | 18 | 2614885 | 439852 | 78830 10 | 1926 | 3968 856.60/856.86 c 831s | 18 | 2619745 | 440952 | 78830 10 | 1926 | 3968 858.59/858.87 c 833s | 18 | 2625010 | 441952 | 78830 11 | 1926 | 3968 861.50/861.77 c 836s | 18 | 2626492 | 442252 | 78830 11 | 1926 | 3968 863.70/863.92 c 838s | 18 | 2631116 | 443152 | 78830 11 | 1926 | 3968 865.70/865.94 c 840s | 18 | 2636801 | 444152 | 78830 11 | 1926 | 3968 866.40/866.61 c 841s | 19 | 2638539 | 444482 | 78830 11 | 1926 | 3968 868.40/868.67 c 843s | 19 | 2645941 | 445382 | 78830 11 | 1926 | 3968 875.19/875.48 c 850s | 19 | 2652199 | 446482 | 78830 11 | 1926 | 3968 877.19/877.49 c 852s | 19 | 2658680 | 447582 | 78830 11 | 1926 | 3968 879.29/879.57 c 854s | 19 | 2664357 | 448582 | 78830 11 | 1926 | 3968 881.29/881.58 c 856s | 19 | 2672689 | 449882 | 78830 11 | 1926 | 3968 883.38/883.69 c 858s | 19 | 2679641 | 450982 | 78830 11 | 1926 | 3968 886.68/886.98 c 861s | 19 | 2682544 | 451482 | 78830 11 | 1926 | 3968 888.88/889.14 c 863s | 19 | 2689010 | 452482 | 78830 11 | 1926 | 3968 890.98/891.27 c 865s | 19 | 2697035 | 453682 | 78830 11 | 1926 | 3968 893.18/893.45 c 868s | 19 | 2705028 | 454882 | 78830 11 | 1926 | 3968 895.29/895.60 c 870s | 19 | 2712951 | 456082 | 78830 11 | 1926 | 3968 897.28/897.60 c 872s | 19 | 2719752 | 457082 | 78830 11 | 1926 | 3968 899.48/899.75 c 874s | 19 | 2726829 | 458182 | 78830 11 | 1926 | 3968 901.58/901.80 c 876s | 19 | 2733452 | 459182 | 78830 11 | 1926 | 3968 903.58/903.86 c 878s | 19 | 2740714 | 460382 | 78830 11 | 1926 | 3968 905.78/906.06 c 880s | 19 | 2746807 | 461382 | 78830 11 | 1926 | 3968 907.88/908.13 c 882s | 19 | 2751923 | 462282 | 78830 11 | 1926 | 3968 909.98/910.28 c 884s | 19 | 2757923 | 463282 | 78830 11 | 1926 | 3968 912.08/912.36 c 886s | 19 | 2763335 | 464182 | 78830 11 | 1926 | 3968 914.08/914.38 c 888s | 19 | 2767098 | 464982 | 78830 11 | 1926 | 3968 916.09/916.38 c 890s | 19 | 2772238 | 465882 | 78830 11 | 1926 | 3968 918.29/918.52 c 893s | 19 | 2777039 | 466682 | 78830 11 | 1926 | 3968 920.38/920.60 c 895s | 19 | 2781636 | 467382 | 78830 11 | 1926 | 3968 922.38/922.70 c 897s | 19 | 2786487 | 468282 | 78830 11 | 1926 | 3968 924.68/924.99 c 899s | 19 | 2790847 | 469082 | 78830 11 | 1926 | 3968 926.78/927.02 c 901s | 19 | 2795296 | 469882 | 78830 11 | 1926 | 3968 929.08/929.32 c 903s | 19 | 2801028 | 470882 | 78830 11 | 1926 | 3968 931.18/931.48 c 906s | 19 | 2806827 | 471782 | 78830 11 | 1926 | 3968 933.48/933.73 c 908s | 19 | 2813250 | 472782 | 78830 11 | 1926 | 3968 935.58/935.80 c 910s | 19 | 2820028 | 473882 | 78830 11 | 1926 | 3968 937.78/938.00 c 912s | 19 | 2827045 | 474982 | 78830 11 | 1926 | 3968 939.88/940.15 c 914s | 19 | 2833395 | 475982 | 78830 11 | 1926 | 3968 942.08/942.30 c 916s | 19 | 2839493 | 477082 | 78830 11 | 1926 | 3968 944.38/944.61 c 919s | 19 | 2843640 | 477782 | 78830 11 | 1926 | 3968 946.38/946.62 c 921s | 19 | 2847492 | 478582 | 78830 11 | 1926 | 3968 948.48/948.79 c 923s | 19 | 2851721 | 479382 | 78830 11 | 1926 | 3968 950.58/950.82 c 925s | 19 | 2855281 | 480082 | 78830 11 | 1926 | 3968 952.68/952.96 c 927s | 19 | 2859718 | 480882 | 78830 11 | 1926 | 3968 954.98/955.26 c 929s | 19 | 2863353 | 481782 | 78830 11 | 1926 | 3968 957.08/957.37 c 931s | 19 | 2869978 | 482682 | 78830 11 | 1926 | 3968 959.18/959.47 c 934s | 19 | 2874752 | 483482 | 78830 11 | 1926 | 3968 961.38/961.64 c 936s | 19 | 2879548 | 484282 | 78830 11 | 1926 | 3968 963.87/964.10 c 938s | 19 | 2882969 | 484882 | 78830 12 | 1926 | 3968 965.87/966.19 c 940s | 19 | 2890367 | 486082 | 78830 12 | 1926 | 3968 967.97/968.28 c 942s | 19 | 2897965 | 487382 | 78830 12 | 1926 | 3968 970.08/970.39 c 944s | 19 | 2906623 | 488782 | 78830 12 | 1926 | 3968 972.18/972.41 c 947s | 19 | 2911038 | 489782 | 78830 12 | 1926 | 3968 974.27/974.53 c 949s | 19 | 2919052 | 491182 | 78830 12 | 1926 | 3968 976.37/976.69 c 951s | 19 | 2927252 | 492482 | 78830 12 | 1926 | 3968 978.57/978.81 c 953s | 19 | 2934714 | 493782 | 78830 12 | 1926 | 3968 980.67/980.99 c 955s | 19 | 2941867 | 495182 | 78830 12 | 1926 | 3968 982.87/983.15 c 957s | 19 | 2947575 | 496182 | 78830 12 | 1926 | 3968 985.06/985.36 c 959s | 19 | 2952539 | 497282 | 78830 12 | 1926 | 3968 987.16/987.42 c 962s | 19 | 2958306 | 498282 | 78830 12 | 1926 | 3968 989.26/989.57 c 964s | 19 | 2965475 | 499582 | 78830 12 | 1926 | 3968 991.36/991.63 c 966s | 19 | 2971213 | 500682 | 78830 12 | 1926 | 3968 993.36/993.65 c 968s | 19 | 2977150 | 501782 | 78830 12 | 1926 | 3968 995.46/995.75 c 970s | 19 | 2982988 | 502882 | 78830 12 | 1926 | 3968 997.47/997.79 c 972s | 19 | 2989185 | 503982 | 78830 12 | 1926 | 3968 999.56/999.82 c 974s | 19 | 2993009 | 504882 | 78830 12 | 1926 | 3968 1001.66/1001.96 c 976s | 19 | 2998637 | 505882 | 78830 12 | 1926 | 3968 1003.86/1004.18 c 978s | 19 | 3005688 | 506982 | 78830 12 | 1926 | 3968 1005.86/1006.19 c 980s | 19 | 3010683 | 507882 | 78830 12 | 1926 | 3968 1008.06/1008.31 c 982s | 19 | 3016879 | 508982 | 78830 12 | 1926 | 3968 1010.06/1010.33 c 984s | 19 | 3023416 | 510182 | 78830 12 | 1926 | 3968 1012.26/1012.52 c 987s | 19 | 3030656 | 511382 | 78830 12 | 1926 | 3968 1014.35/1014.62 c 989s | 19 | 3036714 | 512482 | 78830 12 | 1926 | 3968 1016.45/1016.78 c 991s | 19 | 3040926 | 513282 | 78830 12 | 1926 | 3968 1018.46/1018.78 c 993s | 19 | 3045828 | 514082 | 78830 12 | 1926 | 3968 1020.56/1020.86 c 995s | 19 | 3050568 | 514882 | 78830 12 | 1926 | 3968 1022.65/1022.90 c 997s | 19 | 3054329 | 515582 | 78830 12 | 1926 | 3968 1024.85/1025.13 c 999s | 19 | 3058846 | 516382 | 78830 12 | 1926 | 3968 1026.95/1027.23 c 1001s | 19 | 3064665 | 517282 | 78830 12 | 1926 | 3968 1028.95/1029.29 c 1003s | 19 | 3070100 | 518082 | 78830 12 | 1926 | 3968 1031.15/1031.48 c 1006s | 19 | 3075422 | 518982 | 78830 12 | 1926 | 3968 1033.24/1033.50 c 1008s | 19 | 3081400 | 519882 | 78830 12 | 1926 | 3968 1035.34/1035.63 c 1010s | 19 | 3088483 | 520982 | 78830 12 | 1926 | 3968 1037.44/1037.73 c 1012s | 19 | 3093050 | 521882 | 78830 12 | 1926 | 3968 1039.44/1039.74 c 1014s | 19 | 3097808 | 522682 | 78830 12 | 1926 | 3968 1041.64/1041.92 c 1016s | 19 | 3102509 | 523482 | 78830 12 | 1926 | 3968 1043.65/1043.94 c 1018s | 19 | 3106940 | 524282 | 78830 12 | 1926 | 3968 1045.74/1046.05 c 1020s | 19 | 3110120 | 525082 | 78830 12 | 1926 | 3968 1047.74/1048.06 c 1022s | 19 | 3113582 | 525682 | 78830 12 | 1926 | 3968 1049.94/1050.22 c 1024s | 19 | 3122646 | 526282 | 78830 12 | 1926 | 3968 1051.94/1052.26 c 1026s | 19 | 3131162 | 526982 | 78830 12 | 1926 | 3968 1054.03/1054.33 c 1028s | 19 | 3136201 | 527682 | 78830 12 | 1926 | 3968 1056.63/1056.94 c 1031s | 19 | 3141203 | 528282 | 78830 13 | 1926 | 3968 1058.73/1059.08 c 1033s | 19 | 3149807 | 529382 | 78830 13 | 1926 | 3968 1061.03/1061.33 c 1035s | 19 | 3151592 | 529782 | 78830 13 | 1926 | 3968 1063.13/1063.42 c 1038s | 19 | 3156589 | 530682 | 78830 13 | 1926 | 3968 1065.23/1065.51 c 1040s | 19 | 3163878 | 531982 | 78830 13 | 1926 | 3968 1067.33/1067.64 c 1042s | 19 | 3171207 | 533182 | 78830 13 | 1926 | 3968 1069.33/1069.69 c 1044s | 19 | 3179078 | 534182 | 78830 13 | 1926 | 3968 1071.43/1071.79 c 1046s | 19 | 3186421 | 534982 | 78830 13 | 1926 | 3968 1073.63/1073.92 c 1048s | 19 | 3194480 | 535882 | 78830 13 | 1926 | 3968 1075.73/1076.05 c 1050s | 19 | 3200927 | 536682 | 78830 13 | 1926 | 3968 1077.73/1078.10 c 1052s | 19 | 3207763 | 537482 | 78830 13 | 1926 | 3968 1079.93/1080.29 c 1054s | 19 | 3215573 | 538282 | 78830 13 | 1926 | 3968 1082.13/1082.45 c 1057s | 19 | 3223006 | 539382 | 78830 13 | 1926 | 3968 1084.22/1084.51 c 1059s | 19 | 3230343 | 540482 | 78830 13 | 1926 | 3968 1086.22/1086.55 c 1061s | 19 | 3236864 | 541382 | 78830 13 | 1926 | 3968 1088.42/1088.73 c 1063s | 19 | 3246308 | 542282 | 78830 13 | 1926 | 3968 1090.62/1090.96 c 1065s | 19 | 3253858 | 543282 | 78830 13 | 1926 | 3968 1114.32/1114.61 c 1089s | 19 | 3255586 | 543382 | 78830 13 | 1926 | 3968 1116.33/1116.67 c 1091s | 19 | 3262277 | 544082 | 78830 13 | 1926 | 3968 1118.32/1118.67 c 1093s | 19 | 3267031 | 544782 | 78830 13 | 1926 | 3968 1120.42/1120.70 c 1095s | 19 | 3271800 | 545282 | 78830 13 | 1926 | 3968 1122.52/1122.90 c 1097s | 19 | 3279517 | 546182 | 78830 13 | 1926 | 3968 1124.72/1125.02 c 1099s | 19 | 3284593 | 546882 | 78830 13 | 1926 | 3968 1126.82/1127.13 c 1101s | 19 | 3289750 | 547582 | 78830 13 | 1926 | 3968 1128.92/1129.29 c 1103s | 19 | 3294473 | 548382 | 78830 13 | 1926 | 3968 1131.02/1131.30 c 1105s | 19 | 3299032 | 549282 | 78830 13 | 1926 | 3968 1133.21/1133.59 c 1108s | 19 | 3304984 | 549982 | 78830 13 | 1926 | 3968 1135.41/1135.72 c 1110s | 19 | 3309800 | 550782 | 78830 13 | 1926 | 3968 1137.41/1137.77 c 1112s | 19 | 3314778 | 551382 | 78830 13 | 1926 | 3968 1139.61/1139.95 c 1114s | 19 | 3320383 | 552182 | 78830 13 | 1926 | 3968 1141.91/1142.23 c 1116s | 19 | 3325698 | 552882 | 78830 13 | 1926 | 3968 1144.01/1144.35 c 1118s | 19 | 3329405 | 553582 | 78830 13 | 1926 | 3968 1146.31/1146.64 c 1121s | 19 | 3333098 | 554182 | 78830 13 | 1926 | 3968 1148.41/1148.71 c 1123s | 19 | 3336251 | 554582 | 78830 13 | 1926 | 3968 1150.71/1151.00 c 1125s | 19 | 3341823 | 555182 | 78830 13 | 1926 | 3968 1152.91/1153.21 c 1127s | 19 | 3345333 | 555782 | 78830 13 | 1926 | 3968 1155.01/1155.37 c 1129s | 19 | 3349448 | 556782 | 78830 13 | 1926 | 3968 1157.11/1157.45 c 1132s | 19 | 3353296 | 557482 | 78830 13 | 1926 | 3968 1159.21/1159.54 c 1134s | 19 | 3356842 | 558182 | 78830 13 | 1926 | 3968 1161.41/1161.74 c 1136s | 19 | 3362265 | 559082 | 78830 13 | 1926 | 3968 1163.61/1163.95 c 1138s | 19 | 3367114 | 559782 | 78830 13 | 1926 | 3968 1165.71/1166.06 c 1140s | 19 | 3371262 | 560182 | 78830 13 | 1926 | 3968 1168.10/1168.41 c 1143s | 19 | 3374617 | 560682 | 78830 13 | 1926 | 3968 1170.11/1170.49 c 1145s | 19 | 3378053 | 561182 | 78830 13 | 1926 | 3968 1172.20/1172.55 c 1147s | 19 | 3382181 | 561782 | 78830 13 | 1926 | 3968 1174.51/1174.81 c 1149s | 19 | 3389329 | 562482 | 78830 13 | 1926 | 3968 1176.50/1176.85 c 1151s | 19 | 3393063 | 562982 | 78830 13 | 1926 | 3968 1178.60/1178.96 c 1153s | 19 | 3396479 | 563382 | 78830 13 | 1926 | 3968 1180.70/1181.08 c 1155s | 19 | 3401667 | 563982 | 78830 13 | 1926 | 3968 1183.00/1183.37 c 1157s | 19 | 3406604 | 564582 | 78830 13 | 1926 | 3968 1185.00/1185.38 c 1159s | 19 | 3410029 | 565082 | 78830 13 | 1926 | 3968 1187.10/1187.47 c 1162s | 19 | 3415330 | 565582 | 78830 13 | 1926 | 3968 1189.30/1189.62 c 1164s | 19 | 3421074 | 566282 | 78830 13 | 1926 | 3968 1191.39/1191.76 c 1166s | 19 | 3424198 | 566882 | 78830 13 | 1926 | 3968 1193.59/1193.96 c 1168s | 19 | 3428795 | 567482 | 78830 13 | 1926 | 3968 1195.69/1196.08 c 1170s | 19 | 3431973 | 568082 | 78830 13 | 1926 | 3968 1197.89/1198.29 c 1172s | 19 | 3435594 | 568682 | 78830 13 | 1926 | 3968 1200.19/1200.57 c 1175s | 19 | 3439840 | 569382 | 78830 13 | 1926 | 3968 1202.39/1202.72 c 1177s | 19 | 3445499 | 569982 | 78830 13 | 1926 | 3968 1204.69/1205.00 c 1179s | 19 | 3450511 | 570582 | 78830 13 | 1926 | 3968 1206.79/1207.16 c 1181s | 19 | 3455878 | 571082 | 78830 13 | 1926 | 3968 1208.89/1209.29 c 1183s | 19 | 3460970 | 571682 | 78830 13 | 1926 | 3968 1211.38/1211.71 c 1186s | 19 | 3463938 | 572182 | 78830 14 | 1926 | 3968 1213.48/1213.86 c 1188s | 19 | 3471532 | 573082 | 78830 14 | 1926 | 3968 1215.78/1216.10 c 1190s | 19 | 3478879 | 573882 | 78830 14 | 1926 | 3968 1217.78/1218.17 c 1192s | 19 | 3485767 | 574382 | 78830 14 | 1926 | 3968 1219.88/1220.30 c 1194s | 19 | 3492060 | 575382 | 78830 14 | 1926 | 3968 1222.18/1222.51 c 1197s | 19 | 3501547 | 576182 | 78830 14 | 1926 | 3968 1224.18/1224.56 c 1199s | 19 | 3508181 | 576882 | 78830 14 | 1926 | 3968 1226.28/1226.60 c 1201s | 19 | 3514690 | 577782 | 78830 14 | 1926 | 3968 1228.48/1228.82 c 1203s | 19 | 3522894 | 578782 | 78830 14 | 1926 | 3968 1230.48/1230.83 c 1205s | 19 | 3529917 | 579682 | 78830 14 | 1926 | 3968 1232.47/1232.83 c 1207s | 19 | 3536066 | 580582 | 78830 14 | 1926 | 3968 1234.57/1234.95 c 1209s | 19 | 3544275 | 581282 | 78830 14 | 1926 | 3968 1236.57/1236.98 c 1211s | 19 | 3549595 | 581982 | 78830 14 | 1926 | 3968 1238.57/1238.99 c 1213s | 19 | 3554678 | 582782 | 78830 14 | 1926 | 3968 1240.77/1241.17 c 1215s | 19 | 3559929 | 583582 | 78830 14 | 1926 | 3968 1242.97/1243.36 c 1217s | 19 | 3565628 | 584282 | 78830 14 | 1926 | 3968 1245.38/1245.74 c 1220s | 19 | 3571401 | 585082 | 78830 14 | 1926 | 3968 1247.48/1247.81 c 1222s | 19 | 3575280 | 585782 | 78830 14 | 1926 | 3968 1249.58/1249.98 c 1224s | 19 | 3580834 | 586382 | 78830 14 | 1926 | 3968 1251.78/1252.18 c 1226s | 19 | 3586924 | 587182 | 78830 14 | 1926 | 3968 1253.88/1254.25 c 1228s | 19 | 3592414 | 587782 | 78830 14 | 1926 | 3968 1255.98/1256.39 c 1230s | 19 | 3598350 | 588582 | 78830 14 | 1926 | 3968 1257.98/1258.40 c 1232s | 19 | 3602583 | 589182 | 78830 14 | 1926 | 3968 1260.28/1260.69 c 1235s | 19 | 3608036 | 589782 | 78830 14 | 1926 | 3968 1262.68/1263.00 c 1237s | 19 | 3612147 | 590382 | 78830 14 | 1926 | 3968 1264.87/1265.23 c 1239s | 19 | 3616998 | 590982 | 78830 14 | 1926 | 3968 1267.17/1267.57 c 1242s | 19 | 3621679 | 591482 | 78830 14 | 1926 | 3968 1269.57/1269.96 c 1244s | 19 | 3626205 | 591882 | 78830 14 | 1926 | 3968 1271.67/1272.09 c 1246s | 19 | 3631617 | 592582 | 78830 14 | 1926 | 3968 1273.77/1274.17 c 1248s | 19 | 3636669 | 593282 | 78830 14 | 1926 | 3968 1275.87/1276.26 c 1250s | 19 | 3642135 | 593782 | 78830 14 | 1926 | 3968 1277.88/1278.28 c 1252s | 19 | 3646611 | 594382 | 78830 14 | 1926 | 3968 1279.97/1280.34 c 1254s | 19 | 3652550 | 594982 | 78830 14 | 1926 | 3968 1282.17/1282.52 c 1257s | 19 | 3656890 | 595582 | 78830 14 | 1926 | 3968 1284.37/1284.78 c 1259s | 19 | 3660747 | 596082 | 78830 14 | 1926 | 3968 1286.47/1286.89 c 1261s | 19 | 3666465 | 596682 | 78830 14 | 1926 | 3968 1288.57/1288.98 c 1263s | 19 | 3670120 | 597282 | 78830 14 | 1926 | 3968 1290.86/1291.23 c 1265s | 19 | 3676364 | 598082 | 78830 14 | 1926 | 3968 1292.96/1293.32 c 1267s | 19 | 3680995 | 598882 | 78830 14 | 1926 | 3968 1294.96/1295.33 c 1269s | 19 | 3686112 | 599482 | 78830 14 | 1926 | 3968 1300.76/1301.15 c 1275s | 19 | 3689873 | 599982 | 78830 14 | 1926 | 3968 1303.06/1303.41 c 1278s | 19 | 3695795 | 600682 | 78830 14 | 1926 | 3968 1305.06/1305.42 c 1280s | 19 | 3700601 | 601382 | 78830 14 | 1926 | 3968 1307.26/1307.69 c 1282s | 19 | 3706438 | 602082 | 78830 14 | 1926 | 3968 1309.66/1310.02 c 1284s | 19 | 3711329 | 602682 | 78830 14 | 1926 | 3968 1311.66/1312.04 c 1286s | 19 | 3716715 | 603382 | 78830 14 | 1926 | 3968 1313.76/1314.16 c 1288s | 19 | 3722329 | 604082 | 78830 14 | 1926 | 3968 1316.06/1316.42 c 1291s | 19 | 3726083 | 604782 | 78830 14 | 1926 | 3968 1318.16/1318.50 c 1293s | 19 | 3731685 | 605382 | 78830 14 | 1926 | 3968 1320.26/1320.61 c 1295s | 19 | 3735412 | 605982 | 78830 14 | 1926 | 3968 1322.26/1322.67 c 1297s | 19 | 3740781 | 606482 | 78830 14 | 1926 | 3968 1324.45/1324.82 c 1299s | 19 | 3746709 | 607182 | 78830 14 | 1926 | 3968 1326.55/1326.97 c 1301s | 19 | 3751244 | 607882 | 78830 14 | 1926 | 3968 1328.75/1329.11 c 1303s | 19 | 3754978 | 608482 | 78830 14 | 1926 | 3968 1331.05/1331.42 c 1306s | 19 | 3757632 | 608982 | 78830 14 | 1926 | 3968 1333.05/1333.49 c 1308s | 19 | 3761537 | 609682 | 78830 14 | 1926 | 3968 1335.35/1335.76 c 1310s | 19 | 3765735 | 610582 | 78830 14 | 1926 | 3968 1337.55/1337.96 c 1312s | 19 | 3769359 | 611082 | 78830 14 | 1926 | 3968 1339.75/1340.15 c 1314s | 19 | 3773245 | 611682 | 78830 14 | 1926 | 3968 1341.85/1342.28 c 1316s | 19 | 3776469 | 612382 | 78830 14 | 1926 | 3968 1344.25/1344.61 c 1319s | 19 | 3781468 | 613082 | 78830 14 | 1926 | 3968 1346.25/1346.67 c 1321s | 19 | 3785048 | 613682 | 78830 14 | 1926 | 3968 1348.45/1348.83 c 1323s | 19 | 3788831 | 614382 | 78830 14 | 1926 | 3968 1350.65/1351.04 c 1325s | 19 | 3792082 | 614982 | 78830 14 | 1926 | 3968 1352.85/1353.20 c 1327s | 19 | 3793415 | 615282 | 78830 15 | 1926 | 3968 1354.86/1355.25 c 1329s | 19 | 3798800 | 616382 | 78830 15 | 1926 | 3968 1357.05/1357.45 c 1332s | 19 | 3801753 | 616882 | 78830 15 | 1926 | 3968 1359.36/1359.79 c 1334s | 19 | 3807746 | 617982 | 78830 15 | 1926 | 3968 1361.55/1361.92 c 1336s | 19 | 3813507 | 619282 | 78830 15 | 1926 | 3968 1363.75/1364.10 c 1338s | 19 | 3819506 | 620482 | 78830 15 | 1926 | 3968 1365.75/1366.12 c 1340s | 19 | 3826149 | 621682 | 78830 15 | 1926 | 3968 1367.85/1368.25 c 1342s | 19 | 3833034 | 622882 | 78830 15 | 1926 | 3968 1369.95/1370.32 c 1344s | 19 | 3839780 | 623982 | 78830 15 | 1926 | 3968 1371.95/1372.36 c 1346s | 19 | 3846199 | 625182 | 78830 15 | 1926 | 3968 1374.05/1374.45 c 1349s | 19 | 3851051 | 626382 | 78830 15 | 1926 | 3968 1376.24/1376.60 c 1351s | 19 | 3857225 | 627582 | 78830 15 | 1926 | 3968 1378.34/1378.79 c 1353s | 19 | 3863638 | 628682 | 78830 15 | 1926 | 3968 1380.44/1380.87 c 1355s | 19 | 3870807 | 629882 | 78830 15 | 1926 | 3968 1382.64/1383.01 c 1357s | 19 | 3877087 | 630982 | 78830 15 | 1926 | 3968 1384.65/1385.08 c 1359s | 19 | 3882596 | 631882 | 78830 15 | 1926 | 3968 1386.85/1387.26 c 1361s | 19 | 3888551 | 632882 | 78830 15 | 1926 | 3968 1388.84/1389.28 c 1363s | 19 | 3894736 | 634082 | 78830 15 | 1926 | 3968 1391.04/1391.40 c 1365s | 19 | 3899188 | 635082 | 78830 15 | 1926 | 3968 1393.24/1393.60 c 1368s | 19 | 3904586 | 636182 | 78830 15 | 1926 | 3968 1395.34/1395.74 c 1370s | 19 | 3910245 | 637182 | 78830 15 | 1926 | 3968 1397.54/1397.93 c 1372s | 19 | 3915063 | 638082 | 78830 15 | 1926 | 3968 1399.64/1400.08 c 1374s | 19 | 3921343 | 638882 | 78830 15 | 1926 | 3968 1401.74/1402.11 c 1376s | 19 | 3924725 | 639482 | 78830 15 | 1926 | 3968 1403.94/1404.39 c 1378s | 19 | 3930940 | 640182 | 78830 15 | 1926 | 3968 1406.04/1406.46 c 1381s | 19 | 3935691 | 640982 | 78830 15 | 1926 | 3968 1408.34/1408.72 c 1383s | 19 | 3941275 | 641882 | 78830 15 | 1926 | 3968 1410.34/1410.77 c 1385s | 19 | 3947809 | 642682 | 86713 15 | 1926 | 3968 1412.44/1412.82 c 1387s | 19 | 3954514 | 643482 | 86713 15 | 1926 | 3968 1414.74/1415.19 c 1389s | 19 | 3961759 | 644282 | 86713 15 | 1926 | 3968 1422.05/1422.48 c 1397s | 19 | 3963450 | 644482 | 86713 15 | 1926 | 3968 1425.24/1425.63 c 1400s | 19 | 3964337 | 644582 | 86713 15 | 1926 | 3968 1427.34/1427.76 c 1402s | 19 | 3975653 | 646082 | 86713 15 | 1926 | 3968 1429.44/1429.85 c 1404s | 19 | 3987624 | 647382 | 86713 15 | 1926 | 3968 1431.54/1431.91 c 1406s | 19 | 3998790 | 648682 | 86713 15 | 1926 | 3968 1433.64/1434.03 c 1408s | 19 | 4009407 | 650282 | 86713 15 | 1926 | 3968 1435.74/1436.19 c 1410s | 19 | 4016382 | 651382 | 86713 15 | 1926 | 3968 1437.84/1438.23 c 1412s | 19 | 4020277 | 652282 | 86713 15 | 1926 | 3968 1440.04/1440.40 c 1414s | 19 | 4025997 | 653582 | 86713 15 | 1926 | 3968 1442.23/1442.62 c 1417s | 19 | 4032616 | 654382 | 86713 15 | 1926 | 3968 1444.33/1444.74 c 1419s | 19 | 4041715 | 655282 | 86713 15 | 1926 | 3968 1446.33/1446.79 c 1421s | 19 | 4047760 | 656282 | 86713 15 | 1926 | 3968 1448.63/1449.07 c 1423s | 19 | 4055140 | 657582 | 86713 15 | 1926 | 3968 1450.83/1451.27 c 1425s | 19 | 4062474 | 658382 | 86713 15 | 1926 | 3968 1453.13/1453.59 c 1428s | 19 | 4068751 | 659282 | 86713 15 | 1926 | 3968 1455.33/1455.71 c 1430s | 19 | 4073270 | 659882 | 86713 15 | 1926 | 3968 1457.43/1457.83 c 1432s | 19 | 4078734 | 660382 | 86713 15 | 1926 | 3968 1459.73/1460.11 c 1434s | 19 | 4082026 | 660882 | 86713 15 | 1926 | 3968 1462.13/1462.52 c 1437s | 19 | 4084700 | 661382 | 86713 15 | 1926 | 3968 1464.23/1464.67 c 1439s | 19 | 4090882 | 661982 | 86713 15 | 1926 | 3968 1466.53/1466.95 c 1441s | 19 | 4097102 | 662682 | 86713 15 | 1926 | 3968 1468.63/1469.02 c 1443s | 19 | 4101697 | 663282 | 86713 15 | 1926 | 3968 1470.73/1471.19 c 1445s | 19 | 4107585 | 663982 | 86713 15 | 1926 | 3968 1472.93/1473.33 c 1447s | 19 | 4113535 | 664782 | 86713 15 | 1926 | 3968 1475.13/1475.57 c 1450s | 19 | 4117760 | 665482 | 86713 15 | 1926 | 3968 1477.43/1477.89 c 1452s | 19 | 4124774 | 666282 | 86713 15 | 1926 | 3968 1479.84/1480.27 c 1454s | 19 | 4129017 | 666782 | 86713 16 | 1926 | 3968 1479.94/1480.35 c 1454s | 20 | 4129095 | 666827 | 86713 16 | 1926 | 3968 1482.04/1482.47 c 1457s | 20 | 4137450 | 667627 | 86713 16 | 1926 | 3968 1484.24/1484.69 c 1459s | 20 | 4145435 | 668727 | 86713 16 | 1926 | 3968 1486.34/1486.73 c 1461s | 20 | 4153410 | 669927 | 86713 16 | 1926 | 3968 1488.44/1488.89 c 1463s | 20 | 4160663 | 670627 | 86713 16 | 1926 | 3968 1490.54/1490.96 c 1465s | 20 | 4167772 | 671527 | 86713 16 | 1926 | 3968 1492.64/1493.07 c 1467s | 20 | 4175237 | 672427 | 86713 16 | 1926 | 3968 1494.74/1495.16 c 1469s | 20 | 4182054 | 673227 | 86713 16 | 1926 | 3968 1496.84/1497.25 c 1471s | 20 | 4189176 | 674227 | 86713 16 | 1926 | 3968 1499.04/1499.48 c 1474s | 20 | 4195908 | 674927 | 86713 16 | 1926 | 3968 1501.24/1501.68 c 1476s | 20 | 4201773 | 675727 | 86713 16 | 1926 | 3968 1503.34/1503.79 c 1478s | 20 | 4209379 | 676627 | 86713 16 | 1926 | 3968 1505.54/1505.96 c 1480s | 20 | 4216256 | 677527 | 86713 16 | 1926 | 3968 1507.53/1507.98 c 1482s | 20 | 4225558 | 678427 | 86713 16 | 1926 | 3968 1509.73/1510.19 c 1484s | 20 | 4233876 | 679427 | 86713 16 | 1926 | 3968 1511.93/1512.34 c 1486s | 20 | 4243180 | 680327 | 86713 16 | 1926 | 3968 1514.13/1514.54 c 1489s | 20 | 4250431 | 681327 | 86713 16 | 1926 | 3968 1516.23/1516.63 c 1491s | 20 | 4258706 | 682227 | 86713 16 | 1926 | 3968 1518.23/1518.69 c 1493s | 20 | 4263916 | 683027 | 86713 16 | 1926 | 3968 1520.33/1520.72 c 1495s | 20 | 4268499 | 683727 | 86713 16 | 1926 | 3968 1522.53/1522.92 c 1497s | 20 | 4275517 | 684627 | 86713 16 | 1926 | 3968 1524.63/1525.04 c 1499s | 20 | 4281965 | 685427 | 86713 16 | 1926 | 3968 1526.73/1527.14 c 1501s | 20 | 4288575 | 686327 | 86713 16 | 1926 | 3968 1528.93/1529.31 c 1503s | 20 | 4293706 | 687227 | 86713 16 | 1926 | 3968 1530.94/1531.33 c 1505s | 20 | 4301673 | 688127 | 86713 16 | 1926 | 3968 1532.93/1533.40 c 1507s | 20 | 4307102 | 688927 | 86713 16 | 1926 | 3968 1535.13/1535.55 c 1510s | 20 | 4312785 | 689727 | 86713 16 | 1926 | 3968 1537.13/1537.58 c 1512s | 20 | 4319093 | 690427 | 86713 16 | 1926 | 3968 1539.43/1539.86 c 1514s | 20 | 4324857 | 691227 | 86713 16 | 1926 | 3968 1541.53/1541.94 c 1516s | 20 | 4330922 | 692027 | 86713 16 | 1926 | 3968 1543.63/1544.08 c 1518s | 20 | 4337166 | 692727 | 86713 16 | 1926 | 3968 1545.73/1546.17 c 1520s | 20 | 4343603 | 693627 | 86713 16 | 1926 | 3968 1547.93/1548.31 c 1522s | 20 | 4349048 | 694427 | 86713 16 | 1926 | 3968 1549.93/1550.35 c 1524s | 20 | 4354960 | 695127 | 86713 16 | 1926 | 3968 1552.03/1552.45 c 1527s | 20 | 4359343 | 695827 | 86713 16 | 1926 | 3968 1554.13/1554.51 c 1529s | 20 | 4365655 | 696727 | 86713 16 | 1926 | 3968 1556.13/1556.56 c 1531s | 20 | 4370876 | 697527 | 86713 16 | 1926 | 3968 1558.33/1558.76 c 1533s | 20 | 4376137 | 698427 | 86713 16 | 1926 | 3968 1560.42/1560.86 c 1535s | 20 | 4381456 | 699227 | 86713 16 | 1926 | 3968 1562.73/1563.14 c 1537s | 20 | 4389277 | 700127 | 86713 16 | 1926 | 3968 1564.72/1565.19 c 1539s | 20 | 4394962 | 700927 | 86713 16 | 1926 | 3968 1567.02/1567.45 c 1542s | 20 | 4400358 | 701727 | 86713 16 | 1926 | 3968 1570.32/1570.71 c 1545s | 20 | 4405671 | 702127 | 86713 16 | 1926 | 3968 1572.63/1573.02 c 1547s | 20 | 4411821 | 703127 | 86713 16 | 1926 | 3968 1574.92/1575.32 c 1549s | 20 | 4415385 | 703627 | 86713 16 | 1926 | 3968 1577.13/1577.56 c 1552s | 20 | 4418863 | 704127 | 86713 16 | 1926 | 3968 1579.22/1579.65 c 1554s | 20 | 4423550 | 705227 | 86713 16 | 1926 | 3968 1581.42/1581.82 c 1556s | 20 | 4432884 | 706427 | 86713 16 | 1926 | 3968 1583.62/1584.02 c 1558s | 20 | 4439586 | 707327 | 86713 16 | 1926 | 3968 1585.72/1586.15 c 1560s | 20 | 4442944 | 708027 | 86713 16 | 1926 | 3968 1588.12/1588.51 c 1563s | 20 | 4446146 | 708627 | 86713 16 | 1926 | 3968 1590.22/1590.69 c 1565s | 20 | 4450578 | 709327 | 86713 16 | 1926 | 3968 1592.42/1592.81 c 1567s | 20 | 4455386 | 710127 | 86713 16 | 1926 | 3968 1594.91/1595.30 c 1569s | 20 | 4460969 | 710927 | 86713 16 | 1926 | 3968 1597.01/1597.40 c 1572s | 20 | 4465905 | 711427 | 86713 16 | 1926 | 3968 1599.12/1599.54 c 1574s | 20 | 4469893 | 711927 | 86713 16 | 1926 | 3968 1601.11/1601.55 c 1576s | 20 | 4474528 | 712527 | 86713 16 | 1926 | 3968 1603.31/1603.70 c 1578s | 20 | 4480460 | 713327 | 86713 16 | 1926 | 3968 1605.31/1605.77 c 1580s | 20 | 4484033 | 713827 | 86713 17 | 1926 | 3968 1607.61/1608.05 c 1582s | 20 | 4489923 | 714727 | 86713 17 | 1926 | 3968 1609.71/1610.13 c 1584s | 20 | 4496209 | 715527 | 86713 17 | 1926 | 3968 1611.91/1612.33 c 1586s | 20 | 4503044 | 716327 | 86713 17 | 1926 | 3968 1614.01/1614.46 c 1589s | 20 | 4508625 | 717127 | 86713 17 | 1926 | 3968 1617.72/1618.18 c 1592s | 20 | 4511688 | 717427 | 86713 17 | 1926 | 3968 1620.02/1620.49 c 1595s | 20 | 4517545 | 718027 | 86713 17 | 1926 | 3968 1622.31/1622.75 c 1597s | 20 | 4522845 | 718627 | 86713 17 | 1926 | 3968 1624.51/1624.94 c 1599s | 20 | 4526218 | 719327 | 86713 17 | 1926 | 3968 1626.51/1626.96 c 1601s | 20 | 4533328 | 720527 | 86713 17 | 1926 | 3968 1628.61/1629.07 c 1603s | 20 | 4539303 | 721727 | 86713 17 | 1926 | 3968 1630.71/1631.19 c 1605s | 20 | 4544655 | 722627 | 86713 17 | 1926 | 3968 1632.91/1633.38 c 1607s | 20 | 4554124 | 723627 | 86713 17 | 1926 | 3968 1635.01/1635.43 c 1610s | 20 | 4561274 | 724627 | 86713 17 | 1926 | 3968 1637.11/1637.52 c 1612s | 20 | 4569437 | 725827 | 86713 17 | 1926 | 3968 1639.40/1639.80 c 1614s | 20 | 4577499 | 726827 | 86713 17 | 1926 | 3968 1641.40/1641.86 c 1616s | 20 | 4585190 | 727527 | 86713 17 | 1926 | 3968 1643.40/1643.88 c 1618s | 20 | 4589138 | 728027 | 86713 17 | 1926 | 3968 1645.70/1646.10 c 1620s | 20 | 4593317 | 728527 | 86713 17 | 1926 | 3968 1647.70/1648.16 c 1622s | 20 | 4599474 | 729427 | 86713 17 | 1926 | 3968 1649.71/1650.18 c 1624s | 20 | 4603572 | 729927 | 86713 17 | 1926 | 3968 1652.10/1652.50 c 1627s | 20 | 4607834 | 730527 | 86713 17 | 1926 | 3968 1654.11/1654.53 c 1629s | 20 | 4611580 | 731127 | 86713 17 | 1926 | 3968 1656.21/1656.64 c 1631s | 20 | 4616319 | 731827 | 86713 17 | 1926 | 3968 1658.30/1658.79 c 1633s | 20 | 4622943 | 732727 | 86713 17 | 1926 | 3968 1660.40/1660.84 c 1635s | 20 | 4630125 | 733827 | 86713 17 | 1926 | 3968 1662.51/1662.92 c 1637s | 20 | 4635441 | 734327 | 86713 17 | 1926 | 3968 1664.71/1665.11 c 1639s | 20 | 4640814 | 734927 | 86713 17 | 1926 | 3968 1667.01/1667.40 c 1641s | 20 | 4645478 | 735627 | 86713 17 | 1926 | 3968 1669.11/1669.58 c 1644s | 20 | 4650152 | 736427 | 86713 17 | 1926 | 3968 1671.31/1671.76 c 1646s | 20 | 4656079 | 737427 | 86713 17 | 1926 | 3968 1673.41/1673.82 c 1648s | 20 | 4662284 | 738127 | 86713 17 | 1926 | 3968 1675.71/1676.19 c 1650s | 20 | 4666734 | 738827 | 86713 17 | 1926 | 3968 1677.71/1678.20 c 1652s | 20 | 4670548 | 739327 | 86713 17 | 1926 | 3968 1679.81/1680.25 c 1654s | 20 | 4675226 | 740127 | 86713 17 | 1926 | 3968 1681.91/1682.38 c 1656s | 20 | 4679714 | 740827 | 86713 17 | 1926 | 3968 1684.21/1684.62 c 1659s | 20 | 4684719 | 741527 | 86713 17 | 1926 | 3968 1686.30/1686.70 c 1661s | 20 | 4687572 | 742027 | 86713 17 | 1926 | 3968 1688.31/1688.72 c 1663s | 20 | 4691069 | 742627 | 86713 17 | 1926 | 3968 1690.51/1690.91 c 1665s | 20 | 4697803 | 743427 | 86713 17 | 1926 | 3968 1692.61/1693.01 c 1667s | 20 | 4702400 | 744127 | 86713 17 | 1926 | 3968 1694.71/1695.20 c 1669s | 20 | 4705623 | 744827 | 86713 17 | 1926 | 3968 1696.91/1697.38 c 1671s | 20 | 4710500 | 745327 | 86713 17 | 1926 | 3968 1699.30/1699.75 c 1674s | 20 | 4715257 | 745827 | 86713 17 | 1926 | 3968 1701.41/1701.81 c 1676s | 20 | 4719598 | 746827 | 86713 17 | 1926 | 3968 1703.51/1703.91 c 1678s | 20 | 4727369 | 747527 | 86713 17 | 1926 | 3968 1705.71/1706.11 c 1680s | 20 | 4732887 | 748327 | 86713 17 | 1926 | 3968 1707.70/1708.16 c 1682s | 20 | 4736407 | 749127 | 86713 17 | 1926 | 3968 1709.80/1710.27 c 1684s | 20 | 4741307 | 749827 | 86713 17 | 1926 | 3968 1712.10/1712.57 c 1687s | 20 | 4747593 | 750727 | 86713 17 | 1926 | 3968 1714.40/1714.83 c 1689s | 20 | 4753242 | 751427 | 86713 17 | 1926 | 3968 1716.71/1717.12 c 1691s | 20 | 4757745 | 751927 | 86713 17 | 1926 | 3968 1718.80/1719.28 c 1693s | 20 | 4762809 | 752627 | 86713 17 | 1926 | 3968 1721.00/1721.41 c 1696s | 20 | 4768334 | 753327 | 86713 17 | 1926 | 3968 1723.41/1723.86 c 1698s | 20 | 4773685 | 754027 | 86713 17 | 1926 | 3968 1725.51/1725.97 c 1700s | 20 | 4776297 | 754427 | 86713 17 | 1926 | 3968 1728.10/1728.59 c 1703s | 20 | 4780256 | 754927 | 86713 17 | 1926 | 3968 1730.30/1730.74 c 1705s | 20 | 4783290 | 755327 | 86713 17 | 1926 | 3968 1732.30/1732.76 c 1707s | 20 | 4786012 | 755627 | 86713 17 | 1926 | 3968 1734.70/1735.17 c 1709s | 20 | 4789204 | 756027 | 86713 17 | 1926 | 3968 1736.80/1737.20 c 1711s | 20 | 4791140 | 756327 | 86713 17 | 1926 | 3968 1739.00/1739.48 c 1714s | 20 | 4794115 | 756727 | 86713 17 | 1926 | 3968 1741.40/1741.88 c 1716s | 20 | 4798288 | 757127 | 86713 17 | 1926 | 3968 1744.10/1744.50 c 1719s | 20 | 4801061 | 757527 | 86713 17 | 1926 | 3968 1746.60/1747.00 c 1721s | 20 | 4804424 | 757927 | 86713 17 | 1926 | 3968 1748.60/1749.01 c 1723s | 20 | 4806929 | 758227 | 86713 17 | 1926 | 3968 1750.90/1751.33 c 1725s | 20 | 4808674 | 758727 | 86713 17 | 1926 | 3968 1753.10/1753.51 c 1728s | 20 | 4810436 | 759127 | 86713 17 | 1926 | 3968 1755.39/1755.88 c 1730s | 20 | 4811995 | 759727 | 86713 17 | 1926 | 3968 1757.50/1757.99 c 1732s | 20 | 4816408 | 760227 | 86713 17 | 1926 | 3968 1759.70/1760.17 c 1734s | 20 | 4821202 | 760827 | 86713 17 | 1926 | 3968 1762.19/1762.66 c 1737s | 20 | 4825242 | 761327 | 86713 18 | 1926 | 3968 1764.59/1765.06 c 1739s | 20 | 4829927 | 762127 | 86713 18 | 1926 | 3968 1766.59/1767.07 c 1741s | 20 | 4836143 | 762827 | 86713 18 | 1926 | 3968 1768.79/1769.29 c 1743s | 20 | 4842033 | 763727 | 86713 18 | 1926 | 3968 1770.89/1771.34 c 1745s | 20 | 4847833 | 764727 | 86713 18 | 1926 | 3968 1772.99/1773.49 c 1748s | 20 | 4855470 | 765927 | 86713 18 | 1926 | 3968 1775.69/1776.17 c 1750s | 20 | 4857970 | 766227 | 86713 18 | 1926 | 3968 1778.09/1778.50 c 1753s | 20 | 4864225 | 766927 | 86713 18 | 1926 | 3968 1780.29/1780.71 c 1755s | 20 | 4871581 | 767727 | 86713 18 | 1926 | 3968 1782.59/1783.04 c 1757s | 20 | 4879402 | 768427 | 86713 18 | 1926 | 3968 1784.68/1785.19 c 1759s | 20 | 4884722 | 769327 | 86713 18 | 1926 | 3968 1786.88/1787.35 c 1761s | 20 | 4891028 | 770227 | 86713 18 | 1926 | 3968 1788.98/1789.41 c 1764s | 20 | 4896718 | 770927 | 86713 18 | 1926 | 3968 1791.08/1791.57 c 1766s | 20 | 4902698 | 771827 | 86713 18 | 1926 | 3968 1793.08/1793.59 c 1768s | 20 | 4908024 | 772727 | 86713 18 | 1926 | 3968 1795.38/1795.86 c 1770s | 20 | 4915229 | 773627 | 86713 18 | 1926 | 3968 1797.68/1798.13 c 1772s | 20 | 4921928 | 774427 | 86713 18 | 1926 | 3968 1799.88/1800.30 c 1774s | 20 | 4926833 | 775227 | 86713 18 | 1926 | 3968
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-4079844-1465248235/watcher-4079844-1465248235 -o /tmp/evaluation-result-4079844-1465248235/solver-4079844-1465248235 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079844-1465248235.opb pid=2094 running on 4 cores: 0,2,4,6 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.43 2.46 2.33 3/179 2097 /proc/meminfo: memFree=29255284/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 2863 0 0 0 0 0 0 0 20 0 4 0 106756635 783740928 3224 33554432000 4194304 16246674 140734806140288 140734806139712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 192111 3234 441 2943 0 189005 0 [pid=2097/tid=2098] ppid=2094 vsize=810428 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 829878272 3400 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 835121152 3421 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=819644 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106756635 839315456 3437 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.43 2.46 2.33 3/179 2097 /proc/meminfo: memFree=29255284/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 28340 0 0 0 5 4 0 0 20 0 4 0 106756635 1333334016 28640 33554432000 4194304 16246674 140734806140288 140734806139600 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 325521 28653 800 2943 0 322415 0 [pid=2097/tid=2098] ppid=2094 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1333334016 28664 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1333334016 28675 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1333334016 28686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200552 s] /proc/loadavg: 2.43 2.46 2.33 3/179 2097 /proc/meminfo: memFree=29255284/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 49496 0 0 0 12 7 0 0 20 0 4 0 106756635 1345916928 50306 33554432000 4194304 16246674 140734806140288 140734806139600 8058509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 328593 50306 800 2943 0 325487 0 [pid=2097/tid=2098] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50306 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50306 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50306 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300537 s] /proc/loadavg: 2.43 2.46 2.33 3/179 2097 /proc/meminfo: memFree=29255284/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 49552 0 0 0 22 7 0 0 20 0 4 0 106756635 1345916928 50362 33554432000 4194304 16246674 140734806140288 140734806139600 12481105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 328593 50362 833 2943 0 325487 0 [pid=2097/tid=2098] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50362 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50362 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1345916928 50362 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700354 s] /proc/loadavg: 2.43 2.46 2.33 3/179 2097 /proc/meminfo: memFree=29255284/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=0.68 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 100000 0 0 0 53 15 0 0 20 0 4 0 106756635 1357451264 100810 33554432000 4194304 16246674 140734806140288 140734806122176 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 100815 880 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 100819 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 100822 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 100825 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1325636 [startup+1.5004 s] /proc/loadavg: 2.43 2.46 2.33 4/183 2101 /proc/meminfo: memFree=28852620/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=1.49 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 100197 0 0 0 133 16 0 0 20 0 4 0 106756635 1357451264 101007 33554432000 4194304 16246674 140734806140288 140734806122176 6014211 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 101007 910 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 101007 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 101007 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 101007 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1325636 [startup+3.10035 s] /proc/loadavg: 2.39 2.45 2.33 4/183 2101 /proc/meminfo: memFree=28675548/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=3.09 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 183690 0 0 0 282 27 0 0 20 0 4 0 106756635 1357451264 184500 33554432000 4194304 16246674 140734806140288 140734806122176 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 184503 910 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 184505 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 184506 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 184507 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.30036 s] /proc/loadavg: 2.39 2.45 2.33 4/183 2101 /proc/meminfo: memFree=28164420/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=6.29 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 272106 0 0 0 590 39 0 0 20 0 4 0 106756635 1357451264 272916 33554432000 4194304 16246674 140734806140288 140734806122176 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 272916 910 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272916 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272916 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272916 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.44 2.46 2.33 4/183 2101 /proc/meminfo: memFree=28164196/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=12.69 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 272110 0 0 0 1230 39 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 140734806122176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 272920 913 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5005 s] /proc/loadavg: 2.49 2.47 2.34 3/183 2101 /proc/meminfo: memFree=28165108/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=25.49 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 272110 0 0 0 2510 39 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 140734806122176 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 272920 913 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272920 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1004 s] /proc/loadavg: 2.40 2.45 2.33 4/183 2101 /proc/meminfo: memFree=28160744/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=51.08 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 272112 0 0 0 5069 39 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 140734806122176 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 272922 915 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.21 2.38 2.32 3/183 2102 /proc/meminfo: memFree=28160168/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1325636 CPUtime=102.28 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 272112 0 0 0 10189 39 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 140734806122176 13192029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 331409 272922 915 2943 0 328303 0 [pid=2097/tid=2098] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1357451264 272922 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1412676 [startup+1362.3 s] /proc/loadavg: 2.39 2.32 2.28 4/183 2135 /proc/meminfo: memFree=28051200/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1361.95 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294118 0 0 0 136142 53 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 140734806122176 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294685 915 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1412676 [startup+1422.3 s] /proc/loadavg: 2.24 2.29 2.27 4/183 2136 /proc/meminfo: memFree=28051076/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1421.95 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294118 0 0 0 142141 54 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 140734806138112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294685 915 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1412676 [startup+1482.3 s] /proc/loadavg: 2.14 2.25 2.26 3/183 2137 /proc/meminfo: memFree=28051444/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1481.94 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294118 0 0 0 148139 55 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 140734806122176 12477869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294685 915 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294685 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1412676 [startup+1542.31 s] /proc/loadavg: 2.17 2.23 2.25 4/183 2138 /proc/meminfo: memFree=28051452/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1541.93 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 154138 55 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1412676 [startup+1602.3 s] /proc/loadavg: 2.23 2.23 2.25 3/184 2142 /proc/meminfo: memFree=28049408/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1601.91 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 160136 55 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1412676 [startup+1662.3 s] /proc/loadavg: 2.22 2.23 2.25 3/183 2144 /proc/meminfo: memFree=28049036/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1661.91 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 166135 56 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1412676 [startup+1722.3 s] /proc/loadavg: 2.41 2.28 2.26 4/183 2194 /proc/meminfo: memFree=28061488/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1721.9 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 172134 56 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1412676 [startup+1782.3 s] /proc/loadavg: 2.32 2.27 2.26 3/184 2206 /proc/meminfo: memFree=28044704/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1781.89 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 178133 56 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1412676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.27 2.26 3/184 2206 /proc/meminfo: memFree=28045080/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1800.08 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 179952 56 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5711705 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1412676 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 2097 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.27 2.26 3/184 2206 /proc/meminfo: memFree=28045080/32872528 swapFree=17892/1720544 [pid=2097] ppid=2094 vsize=1412676 CPUtime=1800.08 cores=0,2,4,6 /proc/2097/stat : 2097 (toysat) R 2094 2097 31655 0 -1 4202496 294119 0 0 0 179952 56 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 140734806122176 5711705 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2097/statm: 353169 294686 916 2943 0 350063 0 [pid=2097/tid=2098] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2098/stat : 2098 (toysat) S 2094 2097 31655 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674456665328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2097/tid=2099] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2099/stat : 2099 (toysat) S 2094 2097 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674446175472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2097/tid=2100] ppid=2094 vsize=1412676 CPUtime=0 cores=0,2,4,6 /proc/2097/task/2100/stat : 2100 (toysat) S 2094 2097 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756635 1446580224 294686 33554432000 4194304 16246674 140734806140288 139674435701936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1412676 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.53 CPU system time (s): 0.566913 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 1412676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.566913 maximum resident set size= 1178744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294119 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= 261 involuntary context switches= 1864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.7262 second user time and 16.7754 second system time The end
Begin job on node117 at 2016-06-06 23:23:55 IDJOB=4079844 IDBENCH=24978 IDSOLVER=2542 FILE ID=node117/4079844-1465248235 RUNJOBID= node117-1465227498-31671 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079844-1465248235/watcher-4079844-1465248235 -o /tmp/evaluation-result-4079844-1465248235/solver-4079844-1465248235 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079844-1465248235.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85 RANDOM SEED=305026261 node117.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.088 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.17 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.088 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.088 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.54 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.088 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.088 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.53 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.088 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: 29256184 kB Buffers: 1168 kB Cached: 65060 kB SwapCached: 55844 kB Active: 1129124 kB Inactive: 64892 kB Active(anon): 1074816 kB Inactive(anon): 55496 kB Active(file): 54308 kB Inactive(file): 9396 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67042640 kB Dirty: 17104 kB Writeback: 0 kB AnonPages: 2798076 kB Mapped: 8052 kB Shmem: 0 kB Slab: 566936 kB SReclaimable: 11056 kB SUnreclaim: 555880 kB KernelStack: 1520 kB PageTables: 9512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2941396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1832960 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= 71708 MiB End job on node117 at 2016-06-06 23:53:55