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.08 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb |
| MD5SUM | 7546aeed0de3680ab75d817854256b46 |
| 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 | 4812 |
| Best CPU time to get the best result obtained on this benchmark | 8.85865 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4812 |
| Optimality of the best value was proved | YES |
| Number of variables | 4360 |
| Total number of constraints | 8610 |
| Number of constraints which are clauses | 8610 |
| 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 | 163 |
| Number of terms in the objective function | 2173 |
| Biggest coefficient in the objective function | 305 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 525495 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 305 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 525495 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T16:21:26+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-4105969-1466259686.opb"] 0.00/0.01 c use --random-gen="4025744529 2687702634 3479123275 4133011990 419738058 62722328 3478014746 4003524687 1559217374 3792681911 159384551 3337198510 3687642502 4264469878 3832823621 744119338 3242323579 1428487020 2151030639 1814170286 3435793901 2022532814 3581941222 2565691411 2206192021 4108448974 4275883699 3017507400 4274097716 3642729875 1769212546 3536199949 3553306488 3567937208 3316547350 2006766744 909775384 19240015 1222010284 516028891 2224848947 1327199347 3144579495 1354532141 1735352996 2137328809 1721188153 1460806869 2918100320 554701991 2454895876 2345560687 4127527966 2852817835 1458540734 849945973 1918277013 1443196626 982000840 876394898 703168726 3912594697 1664214510 2242738410 2725268743 705608741 114625321 842698926 1958354424 1135602168 2845579049 186505064 827403615 3992951386 1864284570 2262925122 2006229030 2406208441 1265106718 110461664 441185504 1756716649 667321702 3187943626 1453990556 4290929192 2658568497 3251688742 791375228 1558816643 3139894467 4138815849 334585958 3524543954 2887341219 1117252773 1087257700 3353155139 1990615660 3975912300 2459816940 388364173 1366591928 1575509743 2127511692 3229717814 3312825055 3649116346 2501113432 2188173858 212486829 829749000 2566678172 3594815056 3929345974 2139077601 4085765167 759959458 3355548539 3901065461 2989321198 3041334020 591226592 3275483583 3260956351 654488761 1110418204 4123102901 1945621317 1527402425 4048474768 576536362 1335864326 3136015372 455105608 3285142087 2986167545 1722114992 1773530549 1959214575 1584398878 2719244064 3455284194 1036884887 2731398790 534022637 3273572444 1833827739 4177599784 433690245 3347773518 3470370594 256779774 2489194076 3706621217 2859733727 1972035802 59489107 2257605061 3058511314 910592007 336515301 600471268 1345609714 1391558705 1971360555 485213516 480772541 823885261 2151907884 3028335858 3403248108 217660979 2968006126 2239361818 1149825862 678218385 663782030 3047001454 2620638 2621873635 1154836235 4085723043 2437778049 3114260445 3029448556 1844408906 3231950129 2674705955 386297114 4059889673 2288920212 3542583403 3749785834 980801911 3528344238 1538979998 544520253 3042841466 4267645799 3655475055 1224567767 3154122786 3322350151 2474064276 1624874746 978039237 165486372 3612590248 2333020057 229393968 924337828 2772106969 3115905838 3955393149 3357650107 1205567141 4079385996 1109770332 1096416012 536899630 1528021183 4172960823 3583967920 2576912722 4294337108 1151404359 3248248356 1995925894 1508011011 245926579 216171891 4147489541 475156605 2084653521 2058648949 2096339821 2841350371 2126496397 548909479 2110815732 1158709772 949520972 1365388064 2254413194 4286557255 1471977251 334359843 2776068628 3369602447 3162974024 531872061 1815845592 1477085915 420242670 978411960 255 362436" option to reproduce the execution 0.00/0.07 c #vars 4360 0.00/0.07 c #constraints 8610 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 0 0.19/0.20 c 0.0s | 0 | 2287 | 0 | 4322 0 | 3 | 0 0.19/0.20 c #cpu_time = 0.017s 0.19/0.20 c #wall_clock_time = 0.017s 0.19/0.20 c #decision = 2287 0.19/0.20 c #random_decision = 10 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 o 525495 0.19/0.26 c BCD2: refineUB: 525494 -> 525336 0.19/0.26 c BCD2: updating upper bound: 525495 -> 525336 0.19/0.27 c BCD2: 0 <= obj <= 525336 0.19/0.27 c BCD2: #cores=0, #unrelaxed=2173, #relaxed=0, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 0 0.19/0.27 c 0.0s | 0 | 1 | 0 | 4322 0 | 3 | 0 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 1 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 2: cost of the new core is >=193 0.19/0.27 c lower bound updated to 193 0.29/0.31 c BCD2: refineUB: 525494 -> 525336 0.29/0.31 c BCD2: 193 <= obj <= 525336 0.29/0.31 c BCD2: #cores=1, #unrelaxed=2171, #relaxed=2, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.29/0.31 c 0.0s | 0 | 2 | 0 | 4322 0 | 3 | 1 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 2 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 1: cost of the new core is >=220 0.29/0.31 c lower bound updated to 413 0.29/0.34 c BCD2: refineUB: 525494 -> 525336 0.29/0.34 c BCD2: 413 <= obj <= 525336 0.29/0.34 c BCD2: #cores=2, #unrelaxed=2170, #relaxed=3, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=3 bias=3/4 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.29/0.34 c 0.0s | 0 | 3 | 0 | 4322 0 | 3 | 1 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 3 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 1: cost of the new core is >=185 0.29/0.34 c lower bound updated to 598 0.29/0.36 c BCD2: refineUB: 525494 -> 525336 0.29/0.36 c BCD2: 598 <= obj <= 525336 0.29/0.36 c BCD2: #cores=3, #unrelaxed=2169, #relaxed=4, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=4 bias=4/5 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.29/0.38 c 0.0s | 0 | 19 | 0 | 4322 0 | 3 | 1 0.29/0.38 c #cpu_time = 0.003s 0.29/0.38 c #wall_clock_time = 0.003s 0.29/0.38 c #decision = 19 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 1: cost of the new core is >=182 0.29/0.38 c lower bound updated to 780 0.39/0.40 c BCD2: refineUB: 525494 -> 525336 0.39/0.40 c BCD2: 780 <= obj <= 525336 0.39/0.40 c BCD2: #cores=4, #unrelaxed=2168, #relaxed=5, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=5 bias=5/6 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.39/0.40 c 0.0s | 0 | 26 | 0 | 4322 0 | 3 | 1 0.39/0.40 c #cpu_time = 0.003s 0.39/0.40 c #wall_clock_time = 0.003s 0.39/0.40 c #decision = 26 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 2: cost of the new core is >=189 0.39/0.40 c lower bound updated to 969 0.39/0.42 c BCD2: refineUB: 525494 -> 525336 0.39/0.42 c BCD2: 969 <= obj <= 525336 0.39/0.42 c BCD2: #cores=5, #unrelaxed=2166, #relaxed=7, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=6 bias=6/7 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.39/0.43 c 0.0s | 0 | 43 | 0 | 4322 0 | 3 | 1 0.39/0.43 c #cpu_time = 0.003s 0.39/0.43 c #wall_clock_time = 0.003s 0.39/0.43 c #decision = 43 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 5: cost of the new core is >=203 0.39/0.43 c lower bound updated to 1172 0.39/0.45 c BCD2: refineUB: 525494 -> 525336 0.39/0.45 c BCD2: 1172 <= obj <= 525336 0.39/0.45 c BCD2: #cores=6, #unrelaxed=2161, #relaxed=12, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=7 bias=7/8 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 4322 0 | 3 | 1 0.39/0.45 c 0.0s | 0 | 49 | 0 | 4322 0 | 3 | 1 0.39/0.45 c #cpu_time = 0.004s 0.39/0.45 c #wall_clock_time = 0.004s 0.39/0.45 c #decision = 49 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=367 0.39/0.45 c lower bound updated to 1350 0.39/0.47 c BCD2: refineUB: 525494 -> 525336 0.39/0.47 c BCD2: 1350 <= obj <= 525336 0.39/0.47 c BCD2: #cores=6, #unrelaxed=2158, #relaxed=15, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=8 bias=8/9 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 1 0.39/0.48 c 0.0s | 0 | 145 | 0 | 4322 0 | 5 | 4 0.39/0.48 c #cpu_time = 0.004s 0.39/0.48 c #wall_clock_time = 0.004s 0.39/0.48 c #decision = 145 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 31: cost of the new core is >=185 0.39/0.48 c lower bound updated to 1535 0.49/0.50 c BCD2: refineUB: 525494 -> 525336 0.49/0.50 c BCD2: 1535 <= obj <= 525336 0.49/0.50 c BCD2: #cores=7, #unrelaxed=2127, #relaxed=46, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=9 bias=9/10 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.49/0.50 c 0.0s | 0 | 189 | 0 | 4322 0 | 5 | 4 0.49/0.50 c #cpu_time = 0.004s 0.49/0.50 c #wall_clock_time = 0.004s 0.49/0.50 c #decision = 189 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 3: cost of the new core is >=195 0.49/0.50 c lower bound updated to 1730 0.49/0.52 c BCD2: refineUB: 525494 -> 525336 0.49/0.52 c BCD2: 1730 <= obj <= 525336 0.49/0.52 c BCD2: #cores=8, #unrelaxed=2124, #relaxed=49, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=10 bias=10/11 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.49/0.53 c 0.0s | 0 | 435 | 0 | 4322 0 | 5 | 4 0.49/0.53 c #cpu_time = 0.005s 0.49/0.53 c #wall_clock_time = 0.005s 0.49/0.53 c #decision = 435 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 3: cost of the new core is >=192 0.49/0.53 c lower bound updated to 1922 0.49/0.55 c BCD2: refineUB: 525494 -> 525336 0.49/0.55 c BCD2: 1922 <= obj <= 525336 0.49/0.55 c BCD2: #cores=9, #unrelaxed=2121, #relaxed=52, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=11 bias=11/12 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.49/0.56 c 0.0s | 0 | 557 | 0 | 4322 0 | 5 | 4 0.49/0.56 c #cpu_time = 0.005s 0.49/0.56 c #wall_clock_time = 0.005s 0.49/0.56 c #decision = 557 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 8: cost of the new core is >=167 0.49/0.56 c lower bound updated to 2089 0.49/0.58 c BCD2: refineUB: 525494 -> 525336 0.49/0.58 c BCD2: 2089 <= obj <= 525336 0.49/0.58 c BCD2: #cores=10, #unrelaxed=2113, #relaxed=60, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=12 bias=12/13 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.49/0.59 c 0.0s | 0 | 653 | 0 | 4322 0 | 5 | 4 0.49/0.59 c #cpu_time = 0.005s 0.49/0.59 c #wall_clock_time = 0.005s 0.49/0.59 c #decision = 653 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 9: cost of the new core is >=182 0.49/0.59 c lower bound updated to 2271 0.59/0.61 c BCD2: refineUB: 525494 -> 525336 0.59/0.61 c BCD2: 2271 <= obj <= 525336 0.59/0.61 c BCD2: #cores=11, #unrelaxed=2104, #relaxed=69, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=13 bias=13/14 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.59/0.61 c 0.0s | 0 | 749 | 0 | 4322 0 | 5 | 4 0.59/0.61 c #cpu_time = 0.005s 0.59/0.61 c #wall_clock_time = 0.005s 0.59/0.61 c #decision = 749 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 140: cost of the new core is >=170 0.59/0.61 c lower bound updated to 2441 0.59/0.64 c BCD2: refineUB: 525494 -> 525336 0.59/0.65 c BCD2: 2441 <= obj <= 525336 0.59/0.65 c BCD2: #cores=12, #unrelaxed=1964, #relaxed=209, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=14 bias=14/15 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.59/0.65 c 0.0s | 0 | 685 | 0 | 4322 0 | 5 | 4 0.59/0.65 c #cpu_time = 0.004s 0.59/0.65 c #wall_clock_time = 0.004s 0.59/0.65 c #decision = 685 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 0 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: found a new core of size 171: cost of the new core is >=174 0.59/0.65 c lower bound updated to 2615 0.59/0.67 c BCD2: refineUB: 525494 -> 525336 0.59/0.67 c BCD2: 2615 <= obj <= 525336 0.59/0.67 c BCD2: #cores=13, #unrelaxed=1793, #relaxed=380, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=15 bias=15/16 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.59/0.68 c 0.0s | 0 | 551 | 0 | 4322 0 | 5 | 4 0.59/0.68 c #cpu_time = 0.004s 0.59/0.68 c #wall_clock_time = 0.004s 0.59/0.68 c #decision = 551 0.59/0.68 c #random_decision = 0 0.59/0.68 c #conflict = 0 0.59/0.68 c #restart = 0 0.59/0.68 c BCD2: found a new core of size 3: cost of the new core is >=238 0.59/0.68 c lower bound updated to 2853 0.69/0.70 c BCD2: refineUB: 525494 -> 525336 0.69/0.70 c BCD2: 2853 <= obj <= 525336 0.69/0.70 c BCD2: #cores=14, #unrelaxed=1790, #relaxed=383, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=16 bias=16/17 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.69/0.71 c 0.0s | 0 | 783 | 0 | 4322 0 | 5 | 4 0.69/0.71 c #cpu_time = 0.005s 0.69/0.71 c #wall_clock_time = 0.005s 0.69/0.71 c #decision = 783 0.69/0.71 c #random_decision = 0 0.69/0.71 c #conflict = 0 0.69/0.71 c #restart = 0 0.69/0.71 c BCD2: found a new core of size 63: cost of the new core is >=189 0.69/0.71 c lower bound updated to 3042 0.69/0.73 c BCD2: refineUB: 525494 -> 525336 0.69/0.73 c BCD2: 3042 <= obj <= 525336 0.69/0.73 c BCD2: #cores=15, #unrelaxed=1727, #relaxed=446, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=17 bias=17/18 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.74 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.69/0.74 c 0.0s | 0 | 728 | 0 | 4322 0 | 5 | 4 0.69/0.74 c #cpu_time = 0.004s 0.69/0.74 c #wall_clock_time = 0.004s 0.69/0.74 c #decision = 728 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 7: cost of the new core is >=189 0.69/0.74 c lower bound updated to 3231 0.69/0.76 c BCD2: refineUB: 525494 -> 525336 0.69/0.76 c BCD2: 3231 <= obj <= 525336 0.69/0.76 c BCD2: #cores=16, #unrelaxed=1720, #relaxed=453, #hardened=0 0.69/0.76 c BCD2: #sat=1 #unsat=18 bias=18/19 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.69/0.77 c 0.0s | 0 | 854 | 0 | 4322 0 | 5 | 4 0.69/0.77 c #cpu_time = 0.005s 0.69/0.77 c #wall_clock_time = 0.005s 0.69/0.77 c #decision = 854 0.69/0.77 c #random_decision = 0 0.69/0.77 c #conflict = 0 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 25: cost of the new core is >=163 0.69/0.77 c lower bound updated to 3394 0.69/0.79 c BCD2: refineUB: 525494 -> 525336 0.69/0.79 c BCD2: 3394 <= obj <= 525336 0.69/0.79 c BCD2: #cores=17, #unrelaxed=1695, #relaxed=478, #hardened=0 0.69/0.79 c BCD2: #sat=1 #unsat=19 bias=19/20 0.69/0.79 c Solving starts ... 0.69/0.79 c ============================[ Search Statistics ]============================ 0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.79 c | | | | Limit GC | Var | Constra 0.69/0.79 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.79/0.80 c 0.0s | 0 | 1219 | 0 | 4322 0 | 5 | 4 0.79/0.80 c #cpu_time = 0.006s 0.79/0.80 c #wall_clock_time = 0.006s 0.79/0.80 c #decision = 1219 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 759: cost of the new core is >=170 0.79/0.80 c lower bound updated to 3564 0.79/0.83 c BCD2: refineUB: 525494 -> 525336 0.79/0.83 c BCD2: 3564 <= obj <= 525336 0.79/0.83 c BCD2: #cores=18, #unrelaxed=936, #relaxed=1237, #hardened=0 0.79/0.83 c BCD2: #sat=1 #unsat=20 bias=20/21 0.79/0.83 c Solving starts ... 0.79/0.83 c ============================[ Search Statistics ]============================ 0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.83 c | | | | Limit GC | Var | Constra 0.79/0.83 c ============================================================================= 0.79/0.83 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 0.79/0.84 c 0.0s | 0 | 946 | 0 | 4322 0 | 5 | 4 0.79/0.84 c #cpu_time = 0.005s 0.79/0.84 c #wall_clock_time = 0.005s 0.79/0.84 c #decision = 946 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 33: cost of the new core is >=182 0.79/0.84 c lower bound updated to 3746 0.79/0.86 c BCD2: refineUB: 525494 -> 525336 0.79/0.86 c BCD2: 3746 <= obj <= 525336 0.79/0.86 c BCD2: #cores=19, #unrelaxed=903, #relaxed=1270, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 4322 0 | 5 | 4 0.79/0.88 c 0.0s | 0 | 2122 | 0 | 4322 0 | 5 | 4 0.79/0.88 c #cpu_time = 0.014s 0.79/0.88 c #wall_clock_time = 0.015s 0.79/0.88 c #decision = 2122 0.79/0.88 c #random_decision = 1 0.79/0.88 c #conflict = 0 0.79/0.88 c #restart = 0 0.79/0.88 o 7595 0.79/0.88 c BCD2: updating upper bound: 525336 -> 7594 0.79/0.89 c BCD2: 3746 <= obj <= 7594 0.79/0.89 c BCD2: #cores=19, #unrelaxed=903, #relaxed=1270, #hardened=0 0.79/0.89 c BCD2: #sat=2 #unsat=21 bias=21/23 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 4322 0 | 5 | 4 1.29/1.31 c 0.0s | 0 | 93 | 0 | 4322 0 | 5 | 4 1.29/1.31 c #cpu_time = 0.007s 1.29/1.31 c #wall_clock_time = 0.007s 1.29/1.31 c #decision = 93 1.29/1.31 c #random_decision = 0 1.29/1.31 c #conflict = 0 1.29/1.31 c #restart = 0 1.29/1.31 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 13: cost of the new core is >=189 1.29/1.31 c BCD2: refineLB: 188 -> 189 1.29/1.31 c lower bound updated to 3768 1.29/1.31 c BCD2: 3768 <= obj <= 7594 1.29/1.31 c BCD2: #cores=19, #unrelaxed=898, #relaxed=1275, #hardened=0 1.29/1.31 c BCD2: #sat=2 #unsat=22 bias=22/24 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 4322 0 | 16 | 4 1.29/1.32 c 0.0s | 0 | 355 | 1 | 4322 0 | 16 | 25 1.29/1.32 c #cpu_time = 0.009s 1.29/1.32 c #wall_clock_time = 0.009s 1.29/1.32 c #decision = 355 1.29/1.32 c #random_decision = 0 1.29/1.32 c #conflict = 1 1.29/1.32 c #restart = 0 1.29/1.32 c BCD2: relaxing 17 and merging with 5 cores into a new core of size 298: cost of the new core is >=976 1.29/1.32 c lower bound updated to 3769 1.29/1.33 c BCD2: 3769 <= obj <= 7594 1.29/1.33 c BCD2: #cores=15, #unrelaxed=881, #relaxed=1292, #hardened=0 1.29/1.33 c BCD2: #sat=2 #unsat=23 bias=23/25 1.29/1.34 c Solving starts ... 1.29/1.34 c ============================[ Search Statistics ]============================ 1.29/1.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.34 c | | | | Limit GC | Var | Constra 1.29/1.34 c ============================================================================= 1.29/1.34 c 0.0s | 0 | 0 | 0 | 4322 0 | 53 | 25 1.39/1.41 c 0.1s | 1 | 1502 | 100 | 4755 0 | 53 | 95 1.49/1.55 c 0.2s | 2 | 5077 | 250 | 4755 0 | 53 | 95 1.69/1.78 c 0.4s | 3 | 8407 | 475 | 5231 0 | 53 | 95 2.09/2.15 c 0.8s | 4 | 10968 | 813 | 5755 0 | 53 | 95 2.58/2.62 c 1.3s | 4 | 16243 | 1297 | 6331 0 | 53 | 95 2.58/2.62 c #cpu_time = 1.283s 2.58/2.62 c #wall_clock_time = 1.286s 2.58/2.62 c #decision = 16243 2.58/2.62 c #random_decision = 22 2.58/2.62 c #conflict = 1297 2.58/2.62 c #restart = 4 2.58/2.62 c BCD2: relaxing 98 and merging with 5 cores into a new core of size 448: cost of the new core is >=1975 2.58/2.62 c lower bound updated to 3834 2.58/2.63 c BCD2: 3834 <= obj <= 7594 2.58/2.63 c BCD2: #cores=11, #unrelaxed=783, #relaxed=1390, #hardened=0 2.58/2.63 c BCD2: #sat=2 #unsat=24 bias=24/26 2.58/2.65 c Solving starts ... 2.58/2.65 c ============================[ Search Statistics ]============================ 2.58/2.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.58/2.65 c | | | | Limit GC | Var | Constra 2.58/2.65 c ============================================================================= 2.58/2.65 c 0.0s | 0 | 0 | 0 | 6331 0 | 104 | 95 2.69/2.72 c 0.1s | 1 | 1568 | 100 | 6965 0 | 104 | 199 2.79/2.83 c 0.2s | 2 | 3093 | 250 | 6965 0 | 104 | 199 2.89/2.99 c 0.3s | 3 | 4825 | 475 | 6965 0 | 104 | 199 3.19/3.20 c 0.6s | 3 | 8109 | 720 | 6965 0 | 104 | 199 3.19/3.20 c #cpu_time = 0.551s 3.19/3.20 c #wall_clock_time = 0.552s 3.19/3.20 c #decision = 8109 3.19/3.20 c #random_decision = 14 3.19/3.20 c #conflict = 720 3.19/3.20 c #restart = 3 3.19/3.20 o 7042 3.19/3.20 c BCD2: updating upper bound: 7594 -> 7041 3.19/3.22 c BCD2: 3834 <= obj <= 7041 3.19/3.22 c BCD2: #cores=11, #unrelaxed=783, #relaxed=1390, #hardened=0 3.19/3.22 c BCD2: #sat=3 #unsat=24 bias=24/27 3.19/3.23 c Solving starts ... 3.19/3.23 c ============================[ Search Statistics ]============================ 3.19/3.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.23 c | | | | Limit GC | Var | Constra 3.19/3.23 c ============================================================================= 3.19/3.23 c 0.0s | 0 | 0 | 0 | 6965 0 | 104 | 200 3.30/3.35 c 0.1s | 1 | 2236 | 100 | 7662 0 | 104 | 200 3.49/3.50 c 0.3s | 2 | 3752 | 250 | 7662 0 | 104 | 200 3.69/3.71 c 0.5s | 3 | 5463 | 475 | 7662 0 | 104 | 200 3.99/4.00 c 0.8s | 4 | 7794 | 813 | 7662 0 | 104 | 200 4.29/4.39 c 1.2s | 4 | 11189 | 1141 | 7662 0 | 104 | 200 4.29/4.39 c #cpu_time = 1.156s 4.29/4.39 c #wall_clock_time = 1.159s 4.29/4.39 c #decision = 11189 4.29/4.39 c #random_decision = 23 4.29/4.39 c #conflict = 1141 4.29/4.39 c #restart = 4 4.29/4.39 o 6448 4.29/4.39 c BCD2: updating upper bound: 7041 -> 6447 4.29/4.40 c BCD2: 3834 <= obj <= 6447 4.29/4.40 c BCD2: #cores=11, #unrelaxed=783, #relaxed=1390, #hardened=0 4.29/4.40 c BCD2: #sat=4 #unsat=24 bias=24/28 14.58/14.60 c Solving starts ... 14.58/14.60 c ============================[ Search Statistics ]============================ 14.58/14.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.58/14.60 c | | | | Limit GC | Var | Constra 14.58/14.60 c ============================================================================= 14.58/14.60 c 0.0s | 0 | 0 | 0 | 7662 0 | 104 | 201 14.68/14.74 c 0.1s | 1 | 1873 | 100 | 8429 0 | 104 | 201 14.78/14.87 c 0.3s | 2 | 3312 | 250 | 8429 0 | 104 | 201 14.98/15.03 c 0.4s | 3 | 5005 | 475 | 8429 0 | 104 | 201 15.28/15.30 c 0.7s | 4 | 7247 | 813 | 8429 0 | 104 | 201 15.58/15.68 c 1.1s | 5 | 10586 | 1320 | 8429 0 | 104 | 201 16.18/16.26 c 1.7s | 6 | 14548 | 2081 | 9272 0 | 104 | 201 17.18/17.25 c 2.6s | 7 | 20681 | 3223 | 9272 0 | 104 | 201 18.58/18.65 c 4.0s | 8 | 29565 | 4936 | 10200 0 | 104 | 201 20.68/20.71 c 6.1s | 8 | 41453 | 7336 | 10200 0 | 104 | 201 20.78/20.87 c 6.3s | 9 | 42440 | 7506 | 10200 0 | 104 | 201 22.88/22.95 c 8.3s | 9 | 52907 | 9806 | 11220 0 | 104 | 201 24.29/24.36 c 9.8s | 10 | 60783 | 11361 | 11220 0 | 104 | 201 26.28/26.37 c 11.8s | 10 | 69590 | 13361 | 11220 1 | 104 | 201 28.28/28.37 c 13.8s | 10 | 78846 | 15561 | 12343 1 | 104 | 201 29.79/29.87 c 15.3s | 11 | 85239 | 17144 | 12343 1 | 104 | 201 31.78/31.87 c 17.3s | 11 | 93281 | 18944 | 12343 1 | 104 | 201 33.88/33.97 c 19.4s | 11 | 102163 | 21144 | 12343 2 | 104 | 201 35.98/36.01 c 21.4s | 11 | 112432 | 23344 | 13578 2 | 104 | 201 37.98/38.06 c 23.5s | 11 | 121249 | 25444 | 13578 2 | 104 | 201 38.28/38.37 c 23.8s | 12 | 122545 | 25819 | 13578 2 | 104 | 201 40.28/40.38 c 25.8s | 12 | 131587 | 27819 | 13578 3 | 104 | 201 42.38/42.43 c 27.8s | 12 | 140277 | 30119 | 13578 3 | 104 | 201 44.38/44.47 c 29.9s | 12 | 147035 | 32019 | 13578 3 | 104 | 201 46.48/46.53 c 31.9s | 12 | 154686 | 34119 | 13578 3 | 104 | 201 48.49/48.58 c 34.0s | 12 | 162419 | 36219 | 14936 4 | 104 | 201 50.59/50.69 c 36.1s | 12 | 171446 | 38519 | 14936 4 | 104 | 201 50.88/50.95 c 36.3s | 13 | 172616 | 38832 | 14936 4 | 104 | 201 52.98/53.03 c 38.4s | 13 | 181011 | 40932 | 14936 4 | 104 | 201 54.99/55.08 c 40.5s | 13 | 189714 | 43132 | 14936 4 | 104 | 201 57.08/57.10 c 42.5s | 13 | 197010 | 45032 | 14936 5 | 104 | 201 59.08/59.18 c 44.6s | 13 | 207241 | 47332 | 14936 5 | 104 | 201 61.18/61.24 c 46.6s | 13 | 216158 | 49532 | 14936 5 | 104 | 201 63.28/63.31 c 48.7s | 13 | 224109 | 51632 | 14936 5 | 104 | 201 65.28/65.34 c 50.7s | 13 | 230351 | 53232 | 14936 6 | 104 | 201 67.38/67.41 c 52.8s | 13 | 238677 | 55232 | 16430 6 | 104 | 201 69.39/69.44 c 54.8s | 13 | 245596 | 57232 | 16430 6 | 104 | 201 70.49/70.53 c 55.9s | 14 | 250736 | 58352 | 16430 6 | 104 | 201 72.48/72.56 c 58.0s | 14 | 255867 | 59652 | 16430 6 | 104 | 201 74.48/74.57 c 60.0s | 14 | 264041 | 61652 | 16430 6 | 104 | 201 76.58/76.65 c 62.0s | 14 | 271748 | 63752 | 16430 7 | 104 | 201 78.57/78.65 c 64.0s | 14 | 279210 | 65752 | 16430 7 | 104 | 201 80.57/80.68 c 66.1s | 14 | 286222 | 67652 | 16430 7 | 104 | 201 82.67/82.74 c 68.1s | 14 | 294988 | 69552 | 16430 7 | 104 | 201 84.68/84.77 c 70.2s | 14 | 304275 | 71652 | 16430 7 | 104 | 201 86.77/86.82 c 72.2s | 14 | 311967 | 73652 | 16430 8 | 104 | 201 88.87/88.91 c 74.3s | 14 | 318179 | 75552 | 16430 8 | 104 | 201 90.87/90.99 c 76.4s | 14 | 326758 | 77752 | 16430 8 | 104 | 201 93.07/93.10 c 78.5s | 14 | 335451 | 79952 | 16430 8 | 104 | 201 95.07/95.11 c 80.5s | 14 | 343025 | 81852 | 16430 9 | 104 | 201 97.07/97.16 c 82.6s | 14 | 351524 | 84252 | 18073 9 | 104 | 201 99.17/99.22 c 84.6s | 14 | 359145 | 86552 | 18073 9 | 104 | 201 100.07/100.19 c 85.6s | 15 | 362494 | 87632 | 18073 9 | 104 | 201 102.18/102.21 c 87.6s | 15 | 369709 | 89332 | 18073 9 | 104 | 201 104.18/104.29 c 89.7s | 15 | 378403 | 91432 | 18073 9 | 104 | 201 106.28/106.30 c 91.7s | 15 | 385821 | 93732 | 18073 10 | 104 | 201 108.28/108.31 c 93.7s | 15 | 391433 | 95432 | 18073 10 | 104 | 201 110.28/110.38 c 95.8s | 15 | 398916 | 97632 | 18073 10 | 104 | 201 112.37/112.44 c 97.8s | 15 | 406814 | 99832 | 18073 10 | 104 | 201 114.38/114.49 c 99.9s | 15 | 414022 | 101832 | 18073 10 | 104 | 201 116.47/116.54 c 101s | 15 | 420099 | 103532 | 18073 11 | 104 | 201 118.47/118.58 c 103s | 15 | 427482 | 105332 | 18073 11 | 104 | 201 120.57/120.66 c 106s | 15 | 435789 | 107632 | 18073 11 | 104 | 201 122.67/122.72 c 108s | 15 | 443567 | 109832 | 18073 11 | 104 | 201 124.77/124.81 c 110s | 15 | 450570 | 111832 | 18073 11 | 104 | 201 126.87/126.92 c 112s | 15 | 457653 | 113832 | 18073 12 | 104 | 201 128.97/129.00 c 114s | 15 | 465768 | 116032 | 18073 12 | 104 | 201 130.88/131.00 c 116s | 15 | 472258 | 118032 | 18073 12 | 104 | 201 132.97/133.01 c 118s | 15 | 480820 | 120132 | 18073 12 | 104 | 201 134.97/135.05 c 120s | 15 | 487704 | 122132 | 18073 12 | 104 | 201 137.07/137.12 c 122s | 15 | 495015 | 124232 | 18073 13 | 104 | 201 139.07/139.16 c 124s | 15 | 502775 | 126532 | 18073 13 | 104 | 201 141.17/141.21 c 126s | 15 | 510494 | 128532 | 19881 13 | 104 | 201 143.17/143.25 c 128s | 15 | 516327 | 130132 | 19881 13 | 104 | 201 144.67/144.74 c 130s | 16 | 521888 | 131552 | 19881 13 | 104 | 201 146.67/146.79 c 132s | 16 | 527606 | 133052 | 19881 13 | 104 | 201 148.77/148.80 c 134s | 16 | 533148 | 134752 | 19881 14 | 104 | 201 150.77/150.85 c 136s | 16 | 539580 | 136652 | 19881 14 | 104 | 201 153.16/153.26 c 138s | 16 | 546074 | 138352 | 19881 14 | 104 | 201 155.26/155.30 c 140s | 16 | 552178 | 140052 | 19881 14 | 104 | 201 157.27/157.31 c 142s | 16 | 560990 | 142352 | 19881 14 | 104 | 201 159.26/159.35 c 144s | 16 | 568961 | 144452 | 19881 14 | 104 | 201 161.26/161.35 c 146s | 16 | 577016 | 146352 | 19881 15 | 104 | 201 163.36/163.44 c 148s | 16 | 585539 | 148252 | 19881 15 | 104 | 201 165.36/165.49 c 150s | 16 | 594675 | 150452 | 19881 15 | 104 | 201 167.46/167.58 c 152s | 16 | 602702 | 152452 | 19881 15 | 104 | 201 169.56/169.65 c 155s | 16 | 609544 | 154352 | 19881 15 | 104 | 201 171.57/171.65 c 157s | 16 | 617769 | 156452 | 19881 15 | 104 | 201 173.56/173.67 c 159s | 16 | 621212 | 157352 | 19881 16 | 104 | 201 175.66/175.70 c 161s | 16 | 629870 | 159552 | 19881 16 | 104 | 201 177.66/177.75 c 163s | 16 | 638255 | 161752 | 19881 16 | 104 | 201 179.66/179.78 c 165s | 16 | 647311 | 163952 | 19881 16 | 104 | 201 181.76/181.83 c 167s | 16 | 655040 | 166052 | 19881 16 | 104 | 201 183.86/183.92 c 169s | 16 | 662841 | 168252 | 19881 17 | 104 | 201 186.06/186.19 c 171s | 16 | 668957 | 170052 | 19881 17 | 104 | 201 188.16/188.24 c 173s | 16 | 675636 | 171852 | 19881 17 | 104 | 201 190.26/190.31 c 175s | 16 | 684581 | 174052 | 19881 17 | 104 | 201 192.26/192.38 c 177s | 16 | 692086 | 176252 | 19881 17 | 104 | 201 194.36/194.47 c 179s | 16 | 701089 | 178552 | 19881 17 | 104 | 201 196.36/196.49 c 181s | 16 | 708594 | 180652 | 19881 18 | 104 | 201 198.46/198.51 c 183s | 16 | 716227 | 182752 | 19881 18 | 104 | 201 200.46/200.55 c 185s | 16 | 724494 | 185052 | 19881 18 | 104 | 201 202.65/202.74 c 188s | 16 | 729923 | 186752 | 19881 18 | 104 | 201 204.66/204.78 c 190s | 16 | 736559 | 188452 | 19881 18 | 104 | 201 206.76/206.88 c 192s | 16 | 742447 | 190252 | 19881 19 | 104 | 201 208.85/208.95 c 194s | 16 | 751353 | 192452 | 19881 19 | 104 | 201 210.95/211.03 c 196s | 16 | 759485 | 194752 | 21870 19 | 104 | 201 212.95/213.04 c 198s | 16 | 767767 | 196752 | 21870 19 | 104 | 201 213.66/213.70 c 199s | 17 | 770652 | 197432 | 21870 19 | 104 | 201 215.66/215.75 c 201s | 17 | 776275 | 198632 | 21870 19 | 104 | 201 217.76/217.84 c 203s | 17 | 783232 | 200232 | 21870 19 | 104 | 201 219.75/219.84 c 205s | 17 | 791501 | 202332 | 21870 19 | 104 | 201 221.75/221.84 c 207s | 17 | 798595 | 204232 | 21870 20 | 104 | 201 223.85/223.92 c 209s | 17 | 807034 | 206532 | 21870 20 | 104 | 201 225.85/225.93 c 211s | 17 | 815124 | 208732 | 21870 20 | 104 | 201 227.95/228.00 c 213s | 17 | 822743 | 210932 | 21870 20 | 104 | 201 229.96/230.04 c 215s | 17 | 829640 | 212932 | 21870 20 | 104 | 201 232.16/232.27 c 217s | 17 | 836794 | 214832 | 21870 21 | 104 | 201 234.15/234.28 c 219s | 17 | 846851 | 217032 | 21870 21 | 104 | 201 236.25/236.37 c 221s | 17 | 854261 | 219132 | 21870 21 | 104 | 201 238.35/238.43 c 223s | 17 | 863244 | 221232 | 21870 21 | 104 | 201 240.35/240.48 c 225s | 17 | 871862 | 223432 | 21870 21 | 104 | 201 242.45/242.50 c 227s | 17 | 878532 | 225332 | 21870 21 | 104 | 201 244.45/244.54 c 229s | 17 | 883989 | 226932 | 21870 22 | 104 | 201 246.46/246.56 c 231s | 17 | 890344 | 228632 | 21870 22 | 104 | 201 248.45/248.57 c 233s | 17 | 897694 | 230632 | 21870 22 | 104 | 201 252.45/252.59 c 237s | 17 | 904832 | 232632 | 21870 22 | 104 | 201 254.55/254.63 c 240s | 17 | 912368 | 234632 | 21870 22 | 104 | 201 256.65/256.73 c 242s | 17 | 919226 | 236632 | 21870 22 | 104 | 201 258.65/258.74 c 244s | 17 | 926712 | 238532 | 21870 22 | 104 | 201 260.75/260.80 c 246s | 17 | 929532 | 239332 | 21870 23 | 104 | 201 262.74/262.87 c 248s | 17 | 937931 | 241332 | 21870 23 | 104 | 201 264.84/264.96 c 250s | 17 | 945220 | 243432 | 21870 23 | 104 | 201 266.94/267.02 c 252s | 17 | 953835 | 245432 | 21870 23 | 104 | 201 268.94/269.05 c 254s | 17 | 961626 | 247432 | 21870 23 | 104 | 201 270.94/271.09 c 256s | 17 | 969740 | 249332 | 21870 23 | 104 | 201 273.35/273.45 c 258s | 17 | 976068 | 250932 | 21870 24 | 104 | 201 275.45/275.51 c 260s | 17 | 984250 | 253032 | 21870 24 | 104 | 201 277.45/277.58 c 262s | 17 | 991567 | 255232 | 21870 24 | 104 | 201 279.46/279.59 c 264s | 17 | 999081 | 257332 | 21870 24 | 104 | 201 281.56/281.63 c 267s | 17 | 1006603 | 259432 | 21870 24 | 104 | 201 283.55/283.67 c 269s | 17 | 1016019 | 261432 | 21870 24 | 104 | 201 285.65/285.74 c 271s | 17 | 1024544 | 263632 | 21870 25 | 104 | 201 287.75/287.82 c 273s | 17 | 1032531 | 265432 | 21870 25 | 104 | 201 289.85/289.92 c 275s | 17 | 1039823 | 267632 | 21870 25 | 104 | 201 291.85/291.99 c 277s | 17 | 1047564 | 269632 | 21870 25 | 104 | 201 293.95/294.09 c 279s | 17 | 1054304 | 271532 | 21870 25 | 104 | 201 296.05/296.12 c 281s | 17 | 1060517 | 273332 | 21870 25 | 104 | 201 299.84/299.94 c 285s | 17 | 1066037 | 274932 | 21870 26 | 104 | 201 301.94/302.02 c 287s | 17 | 1072349 | 276632 | 21870 26 | 104 | 201 303.94/304.07 c 289s | 17 | 1081226 | 278632 | 21870 26 | 104 | 201 306.04/306.11 c 291s | 17 | 1087958 | 280332 | 21870 26 | 104 | 201 308.05/308.13 c 293s | 17 | 1095602 | 282132 | 21870 26 | 104 | 201 310.15/310.25 c 295s | 17 | 1101419 | 284032 | 21870 26 | 104 | 201 312.24/312.39 c 297s | 17 | 1107718 | 285832 | 21870 26 | 104 | 201 314.34/314.41 c 299s | 17 | 1121316 | 287032 | 21870 27 | 104 | 201 316.44/316.51 c 301s | 17 | 1148978 | 288632 | 21870 27 | 104 | 201 318.44/318.55 c 303s | 17 | 1166268 | 290232 | 21870 27 | 104 | 201 320.44/320.55 c 305s | 17 | 1199437 | 291632 | 24058 27 | 104 | 201 322.54/322.60 c 307s | 17 | 1212919 | 293332 | 24058 27 | 104 | 201 324.55/324.62 c 310s | 17 | 1235491 | 294732 | 24058 27 | 104 | 201 326.65/326.76 c 312s | 17 | 1256460 | 296232 | 24058 27 | 104 | 201 326.65/326.80 c 312s | 18 | 1256822 | 296252 | 24058 27 | 104 | 201 328.74/328.82 c 314s | 18 | 1261477 | 296952 | 24058 27 | 104 | 201 330.74/330.84 c 316s | 18 | 1276653 | 298452 | 24058 27 | 104 | 201 332.74/332.88 c 318s | 18 | 1296857 | 299952 | 24058 27 | 104 | 201 334.74/334.89 c 320s | 18 | 1312956 | 301452 | 24058 28 | 104 | 201 336.84/336.90 c 322s | 18 | 1332123 | 302452 | 24058 28 | 104 | 201 338.84/338.95 c 324s | 18 | 1352274 | 303752 | 24058 28 | 104 | 201 340.84/340.97 c 326s | 18 | 1357721 | 304252 | 24058 28 | 104 | 201 342.94/343.06 c 328s | 18 | 1372912 | 305752 | 24058 28 | 104 | 201 345.04/345.12 c 330s | 18 | 1383058 | 307452 | 24058 28 | 104 | 201 347.04/347.13 c 332s | 18 | 1400858 | 309052 | 24058 28 | 104 | 201 349.04/349.15 c 334s | 18 | 1412354 | 310652 | 24058 28 | 104 | 201 351.13/351.24 c 336s | 18 | 1430049 | 312052 | 24058 28 | 104 | 201 353.23/353.31 c 338s | 18 | 1445306 | 313652 | 24058 28 | 104 | 201 355.34/355.49 c 340s | 18 | 1463103 | 314952 | 24058 29 | 104 | 201 357.44/357.53 c 342s | 18 | 1473919 | 316352 | 24058 29 | 104 | 201 359.53/359.60 c 344s | 18 | 1487997 | 317952 | 24058 29 | 104 | 201 361.53/361.66 c 347s | 18 | 1501888 | 319452 | 24058 29 | 104 | 201 363.63/363.74 c 349s | 18 | 1516325 | 320852 | 24058 29 | 104 | 201 365.63/365.78 c 351s | 18 | 1534152 | 322252 | 24058 29 | 104 | 201 367.73/367.89 c 353s | 18 | 1558437 | 323652 | 24058 29 | 104 | 201 369.93/370.04 c 355s | 18 | 1580578 | 324852 | 24058 29 | 104 | 201 372.03/372.14 c 357s | 18 | 1588991 | 326252 | 24058 29 | 104 | 201 374.23/374.35 c 359s | 18 | 1615971 | 327552 | 24058 30 | 104 | 201 376.33/376.44 c 361s | 18 | 1640280 | 328852 | 24058 30 | 104 | 201 378.33/378.44 c 363s | 18 | 1648770 | 329552 | 24058 30 | 104 | 201 380.33/380.47 c 365s | 18 | 1668658 | 330852 | 24058 30 | 104 | 201 382.43/382.59 c 367s | 18 | 1691216 | 332252 | 24058 30 | 104 | 201 384.63/384.71 c 370s | 18 | 1714842 | 333452 | 24058 30 | 104 | 201 386.63/386.72 c 372s | 18 | 1732790 | 334652 | 24058 30 | 104 | 201 388.63/388.75 c 374s | 18 | 1751946 | 335852 | 24058 30 | 104 | 201 390.72/390.84 c 376s | 18 | 1765410 | 337252 | 24058 30 | 104 | 201 392.82/392.93 c 378s | 18 | 1786869 | 338552 | 24058 30 | 104 | 201 395.02/395.14 c 380s | 18 | 1811475 | 339852 | 24058 30 | 104 | 201 397.13/397.24 c 382s | 18 | 1831963 | 341052 | 24058 31 | 104 | 201 399.12/399.28 c 384s | 18 | 1844175 | 342452 | 24058 31 | 104 | 201 401.32/401.41 c 386s | 18 | 1856846 | 343952 | 24058 31 | 104 | 201 403.42/403.52 c 388s | 18 | 1869468 | 345652 | 24058 31 | 104 | 201 405.42/405.59 c 390s | 18 | 1887475 | 347052 | 24058 31 | 104 | 201 407.52/407.68 c 393s | 18 | 1900680 | 348452 | 24058 31 | 104 | 201 409.72/409.85 c 395s | 18 | 1912585 | 350052 | 24058 31 | 104 | 201 411.72/411.87 c 397s | 18 | 1926059 | 351352 | 24058 31 | 104 | 201 413.72/413.88 c 399s | 18 | 1939908 | 352552 | 24058 31 | 104 | 201 415.83/415.91 c 401s | 18 | 1954637 | 354052 | 24058 31 | 104 | 201 417.82/417.94 c 403s | 18 | 1976833 | 355552 | 24058 32 | 104 | 201 419.82/419.98 c 405s | 18 | 1995449 | 357152 | 24058 32 | 104 | 201 421.92/422.02 c 407s | 18 | 2009625 | 358652 | 24058 32 | 104 | 201 423.92/424.03 c 409s | 18 | 2025992 | 360152 | 24058 32 | 104 | 201 425.92/426.05 c 411s | 18 | 2045336 | 361452 | 24058 32 | 104 | 201 428.02/428.18 c 413s | 18 | 2060897 | 362852 | 24058 32 | 104 | 201 430.12/430.27 c 415s | 18 | 2074227 | 364052 | 24058 32 | 104 | 201 432.22/432.32 c 417s | 18 | 2084550 | 365052 | 24058 32 | 104 | 201 434.32/434.40 c 419s | 18 | 2100255 | 366252 | 24058 32 | 104 | 201 436.31/436.47 c 421s | 18 | 2111983 | 367352 | 24058 33 | 104 | 201 438.51/438.65 c 424s | 18 | 2132325 | 368752 | 24058 33 | 104 | 201 440.61/440.78 c 426s | 18 | 2152281 | 370152 | 24058 33 | 104 | 201 442.61/442.79 c 428s | 18 | 2171775 | 371352 | 24058 33 | 104 | 201 444.71/444.88 c 430s | 18 | 2191781 | 372552 | 24058 33 | 104 | 201 446.81/446.90 c 432s | 18 | 2207234 | 373752 | 24058 33 | 104 | 201 448.91/449.00 c 434s | 18 | 2220210 | 375052 | 24058 33 | 104 | 201 450.92/451.09 c 436s | 18 | 2235851 | 376452 | 24058 33 | 104 | 201 453.01/453.13 c 438s | 18 | 2246167 | 377752 | 24058 33 | 104 | 201 455.21/455.31 c 440s | 18 | 2255610 | 379252 | 24058 33 | 104 | 201 457.51/457.69 c 443s | 18 | 2262038 | 379952 | 24058 33 | 104 | 201 459.60/459.78 c 445s | 18 | 2265951 | 380552 | 24058 34 | 104 | 201 461.70/461.89 c 447s | 18 | 2285818 | 381952 | 24058 34 | 104 | 201 463.80/463.97 c 449s | 18 | 2302895 | 383352 | 24058 34 | 104 | 201 465.90/466.08 c 451s | 18 | 2315509 | 384852 | 24058 34 | 104 | 201 468.10/468.26 c 453s | 18 | 2336947 | 386352 | 24058 34 | 104 | 201 470.20/470.37 c 455s | 18 | 2357233 | 387752 | 24058 34 | 104 | 201 472.40/472.52 c 457s | 18 | 2375643 | 389152 | 24058 34 | 104 | 201 475.61/475.73 c 461s | 18 | 2383126 | 390052 | 24058 34 | 104 | 201 477.61/477.74 c 463s | 18 | 2403783 | 391452 | 24058 34 | 104 | 201 479.71/479.85 c 465s | 18 | 2420863 | 392752 | 24058 34 | 104 | 201 481.81/481.92 c 467s | 18 | 2442607 | 393852 | 24058 35 | 104 | 201 483.91/484.04 c 469s | 18 | 2463123 | 395152 | 24058 35 | 104 | 201 486.00/486.13 c 471s | 18 | 2478001 | 396652 | 24058 35 | 104 | 201 488.00/488.19 c 473s | 18 | 2488374 | 398352 | 24058 35 | 104 | 201 490.10/490.27 c 475s | 18 | 2504666 | 399852 | 24058 35 | 104 | 201 492.20/492.31 c 477s | 18 | 2528478 | 401252 | 24058 35 | 104 | 201 494.20/494.34 c 479s | 18 | 2546369 | 402552 | 24058 35 | 104 | 201 496.30/496.45 c 481s | 18 | 2562021 | 403952 | 24058 35 | 104 | 201 498.31/498.48 c 483s | 18 | 2570511 | 405252 | 24058 35 | 104 | 201 500.40/500.59 c 485s | 18 | 2584557 | 406552 | 24058 36 | 104 | 201 502.49/502.67 c 488s | 18 | 2601968 | 407852 | 24058 36 | 104 | 201 504.59/504.74 c 490s | 18 | 2613365 | 409352 | 24058 36 | 104 | 201 507.49/507.62 c 493s | 18 | 2620268 | 410152 | 24058 36 | 104 | 201 509.49/509.66 c 495s | 18 | 2640747 | 411652 | 24058 36 | 104 | 201 511.59/511.72 c 497s | 18 | 2661069 | 413252 | 24058 36 | 104 | 201 513.59/513.74 c 499s | 18 | 2676791 | 414752 | 24058 36 | 104 | 201 515.69/515.87 c 501s | 18 | 2698396 | 416152 | 24058 36 | 104 | 201 517.79/517.96 c 503s | 18 | 2711798 | 417752 | 24058 36 | 104 | 201 519.88/520.00 c 505s | 18 | 2732095 | 419252 | 24058 36 | 104 | 201 521.88/522.09 c 507s | 18 | 2751597 | 420352 | 24058 37 | 104 | 201 525.18/525.36 c 510s | 18 | 2772607 | 421552 | 24058 37 | 104 | 201 527.28/527.44 c 512s | 18 | 2810619 | 422852 | 24058 37 | 104 | 201 529.27/529.49 c 514s | 18 | 2829448 | 424052 | 24058 37 | 104 | 201 531.47/531.62 c 517s | 18 | 2858458 | 425452 | 24058 37 | 104 | 201 533.48/533.65 c 519s | 18 | 2870786 | 426852 | 24058 37 | 104 | 201 535.47/535.66 c 521s | 18 | 2888378 | 428252 | 24058 37 | 104 | 201 537.57/537.72 c 523s | 18 | 2905212 | 429552 | 24058 37 | 104 | 201 539.57/539.74 c 525s | 18 | 2915377 | 431052 | 24058 37 | 104 | 201 541.67/541.85 c 527s | 18 | 2934283 | 432352 | 24058 37 | 104 | 201 543.77/543.93 c 529s | 18 | 2952535 | 433552 | 24058 38 | 104 | 201 545.87/546.05 c 531s | 18 | 2960201 | 434852 | 24058 38 | 104 | 201 547.97/548.13 c 533s | 18 | 2986144 | 436352 | 24058 38 | 104 | 201 549.98/550.17 c 535s | 18 | 3006223 | 437452 | 24058 38 | 104 | 201 552.08/552.27 c 537s | 18 | 3025252 | 438852 | 26464 38 | 104 | 201 555.27/555.47 c 540s | 18 | 3044388 | 439952 | 26464 38 | 104 | 201 557.37/557.58 c 542s | 18 | 3051134 | 441652 | 26464 38 | 104 | 201 559.47/559.66 c 545s | 18 | 3070657 | 443052 | 26464 38 | 104 | 201 561.47/561.67 c 547s | 18 | 3090809 | 444352 | 26464 38 | 104 | 201 561.67/561.85 c 547s | 19 | 3091236 | 444482 | 26464 38 | 104 | 201 563.77/563.95 c 549s | 19 | 3115232 | 445682 | 26464 38 | 104 | 201 565.97/566.13 c 551s | 19 | 3134719 | 447082 | 26464 38 | 104 | 201 568.26/568.40 c 553s | 19 | 3146159 | 448382 | 26464 39 | 104 | 201 570.27/570.47 c 555s | 19 | 3163701 | 449682 | 26464 39 | 104 | 201 572.37/572.50 c 557s | 19 | 3180599 | 451282 | 26464 39 | 104 | 201 574.47/574.65 c 560s | 19 | 3204838 | 452782 | 26464 39 | 104 | 201 576.57/576.74 c 562s | 19 | 3223980 | 454182 | 26464 39 | 104 | 201 578.67/578.81 c 564s | 19 | 3243858 | 455782 | 26464 39 | 104 | 201 580.77/580.95 c 566s | 19 | 3261324 | 457382 | 26464 39 | 104 | 201 582.87/583.03 c 568s | 19 | 3281170 | 458882 | 26464 39 | 104 | 201 584.97/585.18 c 570s | 19 | 3299852 | 460282 | 26464 39 | 104 | 201 587.16/587.31 c 572s | 19 | 3325408 | 461682 | 26464 39 | 104 | 201 589.16/589.38 c 574s | 19 | 3344259 | 462882 | 26464 40 | 104 | 201 592.26/592.42 c 577s | 19 | 3349387 | 463382 | 26464 40 | 104 | 201 594.26/594.45 c 579s | 19 | 3368881 | 464982 | 26464 40 | 104 | 201 596.36/596.50 c 581s | 19 | 3398542 | 466382 | 26464 40 | 104 | 201 598.37/598.52 c 583s | 19 | 3418566 | 467582 | 26464 40 | 104 | 201 600.36/600.54 c 585s | 19 | 3439085 | 468982 | 26464 40 | 104 | 201 602.36/602.58 c 587s | 19 | 3461725 | 470282 | 26464 40 | 104 | 201 604.56/604.73 c 590s | 19 | 3482158 | 471582 | 26464 40 | 104 | 201 606.65/606.83 c 592s | 19 | 3494725 | 472882 | 26464 40 | 104 | 201 608.75/608.91 c 594s | 19 | 3520065 | 474082 | 26464 40 | 104 | 201 610.75/610.99 c 596s | 19 | 3546437 | 475182 | 26464 40 | 104 | 201 612.85/613.01 c 598s | 19 | 3562674 | 476182 | 26464 40 | 104 | 201 614.95/615.17 c 600s | 19 | 3582780 | 477182 | 26464 41 | 104 | 201 617.15/617.33 c 602s | 19 | 3603638 | 478382 | 26464 41 | 104 | 201 619.15/619.40 c 604s | 19 | 3622921 | 479582 | 26464 41 | 104 | 201 621.35/621.51 c 606s | 19 | 3647505 | 480882 | 26464 41 | 104 | 201 623.34/623.54 c 608s | 19 | 3666418 | 481982 | 26464 41 | 104 | 201 625.44/625.63 c 611s | 19 | 3689663 | 483182 | 26464 41 | 104 | 201 627.54/627.75 c 613s | 19 | 3708030 | 484382 | 26464 41 | 104 | 201 629.74/629.93 c 615s | 19 | 3723983 | 485582 | 26464 41 | 104 | 201 631.84/632.07 c 617s | 19 | 3739080 | 486782 | 26464 41 | 104 | 201 633.94/634.11 c 619s | 19 | 3754895 | 487882 | 26464 41 | 104 | 201 636.04/636.27 c 621s | 19 | 3771430 | 488982 | 26464 41 | 104 | 201 638.14/638.36 c 623s | 19 | 3781806 | 490382 | 26464 41 | 104 | 201 640.23/640.42 c 625s | 19 | 3794348 | 491482 | 26464 41 | 104 | 201 642.24/642.45 c 627s | 19 | 3814161 | 492682 | 26464 42 | 104 | 201 644.33/644.50 c 629s | 19 | 3832160 | 494082 | 26464 42 | 104 | 201 646.43/646.63 c 632s | 19 | 3852640 | 495382 | 26464 42 | 104 | 201 648.53/648.74 c 634s | 19 | 3867897 | 496782 | 26464 42 | 104 | 201 651.82/652.03 c 637s | 19 | 3871899 | 497482 | 26464 42 | 104 | 201 653.82/654.08 c 639s | 19 | 3891796 | 498882 | 26464 42 | 104 | 201 656.02/656.21 c 641s | 19 | 3907054 | 500282 | 26464 42 | 104 | 201 658.12/658.33 c 643s | 19 | 3920122 | 501682 | 26464 42 | 104 | 201 660.22/660.42 c 645s | 19 | 3929405 | 503082 | 26464 42 | 104 | 201 662.32/662.53 c 647s | 19 | 3948514 | 504382 | 26464 42 | 104 | 201 664.42/664.61 c 650s | 19 | 3961151 | 505782 | 26464 42 | 104 | 201 666.52/666.73 c 652s | 19 | 3977794 | 507182 | 26464 43 | 104 | 201 668.62/668.85 c 654s | 19 | 3994977 | 508782 | 26464 43 | 104 | 201 670.61/670.88 c 656s | 19 | 4010894 | 510282 | 26464 43 | 104 | 201 672.71/672.96 c 658s | 19 | 4026753 | 511782 | 26464 43 | 104 | 201 674.91/675.10 c 660s | 19 | 4051797 | 513082 | 26464 43 | 104 | 201 676.91/677.15 c 662s | 19 | 4060500 | 514082 | 26464 43 | 104 | 201 679.11/679.32 c 664s | 19 | 4076843 | 515582 | 26464 43 | 104 | 201 681.21/681.41 c 666s | 19 | 4096318 | 516882 | 26464 43 | 104 | 201 683.21/683.49 c 668s | 19 | 4114351 | 518182 | 26464 43 | 104 | 201 685.31/685.56 c 670s | 19 | 4135024 | 519282 | 26464 43 | 104 | 201 687.41/687.65 c 673s | 19 | 4151415 | 520582 | 26464 44 | 104 | 201 689.51/689.76 c 675s | 19 | 4167501 | 521882 | 26464 44 | 104 | 201 691.50/691.79 c 677s | 19 | 4181737 | 523282 | 26464 44 | 104 | 201 693.80/694.02 c 679s | 19 | 4196832 | 524682 | 26464 44 | 104 | 201 695.90/696.10 c 681s | 19 | 4218345 | 526082 | 26464 44 | 104 | 201 697.90/698.19 c 683s | 19 | 4231803 | 527282 | 26464 44 | 104 | 201 700.00/700.22 c 685s | 19 | 4245814 | 528682 | 26464 44 | 104 | 201 702.00/702.24 c 687s | 19 | 4262051 | 529982 | 26464 44 | 104 | 201 704.00/704.25 c 689s | 19 | 4280660 | 531282 | 26464 44 | 104 | 201 706.11/706.39 c 691s | 19 | 4288810 | 531882 | 26464 44 | 104 | 201 708.31/708.51 c 693s | 19 | 4296539 | 533382 | 26464 44 | 104 | 201 710.30/710.57 c 695s | 19 | 4319425 | 534782 | 26464 44 | 104 | 201 712.40/712.64 c 698s | 19 | 4321268 | 535082 | 26464 45 | 104 | 201 714.60/714.86 c 700s | 19 | 4340116 | 536382 | 26464 45 | 104 | 201 716.70/716.91 c 702s | 19 | 4360498 | 537682 | 26464 45 | 104 | 201 718.79/719.03 c 704s | 19 | 4379743 | 539182 | 26464 45 | 104 | 201 720.89/721.10 c 706s | 19 | 4397485 | 540582 | 26464 45 | 104 | 201 722.89/723.16 c 708s | 19 | 4401552 | 541482 | 26464 45 | 104 | 201 724.89/725.17 c 710s | 19 | 4418013 | 542982 | 26464 45 | 104 | 201 726.90/727.17 c 712s | 19 | 4428646 | 544682 | 26464 45 | 104 | 201 728.98/729.22 c 714s | 19 | 4449144 | 546182 | 26464 45 | 104 | 201 730.98/731.22 c 716s | 19 | 4471394 | 547582 | 26464 45 | 104 | 201 733.08/733.35 c 718s | 19 | 4494135 | 548882 | 26464 45 | 104 | 201 735.38/735.68 c 721s | 19 | 4505919 | 549682 | 26464 46 | 104 | 201 737.58/737.84 c 723s | 19 | 4526061 | 550982 | 26464 46 | 104 | 201 739.68/739.96 c 725s | 19 | 4551160 | 552382 | 26464 46 | 104 | 201 741.79/742.04 c 727s | 19 | 4559327 | 553782 | 26464 46 | 104 | 201 743.89/744.12 c 729s | 19 | 4573345 | 555382 | 26464 46 | 104 | 201 745.99/746.24 c 731s | 19 | 4594463 | 556782 | 26464 46 | 104 | 201 748.09/748.31 c 733s | 19 | 4617183 | 557982 | 26464 46 | 104 | 201 750.09/750.39 c 735s | 19 | 4638057 | 559182 | 26464 46 | 104 | 201 752.19/752.49 c 737s | 19 | 4662136 | 560482 | 26464 46 | 104 | 201 754.28/754.54 c 739s | 19 | 4682785 | 561582 | 26464 46 | 104 | 201 756.38/756.61 c 742s | 19 | 4697569 | 562882 | 26464 46 | 104 | 201 758.48/758.71 c 744s | 19 | 4715718 | 563782 | 26464 47 | 104 | 201 760.48/760.74 c 746s | 19 | 4726484 | 565082 | 26464 47 | 104 | 201 762.58/762.86 c 748s | 19 | 4728145 | 565582 | 26464 47 | 104 | 201 764.58/764.88 c 750s | 19 | 4735449 | 567082 | 26464 47 | 104 | 201 766.68/766.99 c 752s | 19 | 4744006 | 568782 | 26464 47 | 104 | 201 768.88/769.15 c 754s | 19 | 4775080 | 570282 | 26464 47 | 104 | 201 770.98/771.25 c 756s | 19 | 4781960 | 571982 | 26464 47 | 104 | 201 772.98/773.27 c 758s | 19 | 4802236 | 573382 | 26464 47 | 104 | 201 775.08/775.34 c 760s | 19 | 4823221 | 574682 | 26464 47 | 104 | 201 777.18/777.44 c 762s | 19 | 4844864 | 576082 | 26464 47 | 104 | 201 779.27/779.52 c 764s | 19 | 4859090 | 577382 | 26464 47 | 104 | 201 781.37/781.64 c 767s | 19 | 4876319 | 578382 | 26464 48 | 104 | 201 783.37/783.68 c 769s | 19 | 4897408 | 579682 | 26464 48 | 104 | 201 785.47/785.79 c 771s | 19 | 4920470 | 580882 | 26464 48 | 104 | 201 787.57/787.82 c 773s | 19 | 4941345 | 582182 | 26464 48 | 104 | 201 789.58/789.85 c 775s | 19 | 4954483 | 583582 | 26464 48 | 104 | 201 791.78/792.01 c 777s | 19 | 4966544 | 584882 | 26464 48 | 104 | 201 793.87/794.12 c 779s | 19 | 4982103 | 586282 | 26464 48 | 104 | 201 795.87/796.15 c 781s | 19 | 4993364 | 587682 | 26464 48 | 104 | 201 797.97/798.20 c 783s | 19 | 5011619 | 589082 | 26464 48 | 104 | 201 800.07/800.33 c 785s | 19 | 5036287 | 590382 | 26464 48 | 104 | 201 802.17/802.43 c 787s | 19 | 5055103 | 591882 | 26464 48 | 104 | 201 804.17/804.46 c 789s | 19 | 5062181 | 593382 | 26464 49 | 104 | 201 806.27/806.50 c 791s | 19 | 5083906 | 594782 | 26464 49 | 104 | 201 808.27/808.51 c 793s | 19 | 5099944 | 595982 | 26464 49 | 104 | 201 810.36/810.62 c 796s | 19 | 5111505 | 597382 | 26464 49 | 104 | 201 812.46/812.70 c 798s | 19 | 5129698 | 598682 | 26464 49 | 104 | 201 814.56/814.82 c 800s | 19 | 5149538 | 599982 | 26464 49 | 104 | 201 816.86/817.14 c 802s | 19 | 5154669 | 600482 | 26464 49 | 104 | 201 818.96/819.29 c 804s | 19 | 5178153 | 601882 | 26464 49 | 104 | 201 821.16/821.43 c 806s | 19 | 5195511 | 603382 | 26464 49 | 104 | 201 823.16/823.47 c 808s | 19 | 5209158 | 604782 | 26464 49 | 104 | 201 825.26/825.57 c 810s | 19 | 5232916 | 606182 | 26464 49 | 104 | 201 827.46/827.74 c 813s | 19 | 5246656 | 607182 | 26464 50 | 104 | 201 829.56/829.86 c 815s | 19 | 5271523 | 608682 | 26464 50 | 104 | 201 831.66/831.93 c 817s | 19 | 5294520 | 610082 | 26464 50 | 104 | 201 833.86/834.12 c 819s | 19 | 5312142 | 611482 | 26464 50 | 104 | 201 835.95/836.25 c 821s | 19 | 5331077 | 612782 | 26464 50 | 104 | 201 838.06/838.38 c 823s | 19 | 5347354 | 614082 | 26464 50 | 104 | 201 840.16/840.50 c 825s | 19 | 5363880 | 615282 | 26464 50 | 104 | 201 842.25/842.54 c 827s | 19 | 5383114 | 616382 | 26464 50 | 104 | 201 844.35/844.64 c 830s | 19 | 5402492 | 617482 | 26464 50 | 104 | 201 846.35/846.68 c 832s | 19 | 5425737 | 618582 | 26464 50 | 104 | 201 848.45/848.73 c 834s | 19 | 5443656 | 619782 | 26464 50 | 104 | 201 850.65/850.94 c 836s | 19 | 5459506 | 621082 | 26464 51 | 104 | 201 852.75/853.04 c 838s | 19 | 5478786 | 622182 | 26464 51 | 104 | 201 854.95/855.22 c 840s | 19 | 5499519 | 623382 | 26464 51 | 104 | 201 856.95/857.28 c 842s | 19 | 5522689 | 624482 | 26464 51 | 104 | 201 859.24/859.52 c 844s | 19 | 5523579 | 624782 | 26464 51 | 104 | 201 861.24/861.58 c 846s | 19 | 5537512 | 625882 | 26464 51 | 104 | 201 863.35/863.61 c 849s | 19 | 5547465 | 627282 | 26464 51 | 104 | 201 865.34/865.63 c 851s | 19 | 5568475 | 628782 | 26464 51 | 104 | 201 867.44/867.73 c 853s | 19 | 5589187 | 629882 | 26464 51 | 104 | 201 869.44/869.75 c 855s | 19 | 5609078 | 631082 | 26464 51 | 104 | 201 871.54/871.80 c 857s | 19 | 5628548 | 632482 | 26464 51 | 104 | 201 873.64/873.95 c 859s | 19 | 5644512 | 633982 | 26464 51 | 104 | 201 875.74/876.08 c 861s | 19 | 5659079 | 635182 | 26464 51 | 104 | 201 877.84/878.19 c 863s | 19 | 5677758 | 636482 | 26464 52 | 104 | 201 879.94/880.24 c 865s | 19 | 5691754 | 637982 | 26464 52 | 104 | 201 881.95/882.25 c 867s | 19 | 5710845 | 639282 | 26464 52 | 104 | 201 883.94/884.29 c 869s | 19 | 5729950 | 640582 | 26464 52 | 104 | 201 886.14/886.40 c 871s | 19 | 5749510 | 641782 | 26464 52 | 104 | 201 888.24/888.57 c 873s | 19 | 5770908 | 643082 | 26464 52 | 104 | 201 890.24/890.58 c 875s | 19 | 5790081 | 644282 | 26464 52 | 104 | 201 892.34/892.62 c 878s | 19 | 5800236 | 645582 | 26464 52 | 104 | 201 894.34/894.63 c 880s | 19 | 5816828 | 646882 | 26464 52 | 104 | 201 896.53/896.81 c 882s | 19 | 5834552 | 648082 | 26464 52 | 104 | 201 898.54/898.85 c 884s | 19 | 5848884 | 648882 | 26464 52 | 104 | 201 900.53/900.85 c 886s | 19 | 5863931 | 649982 | 26464 53 | 104 | 201 902.53/902.86 c 888s | 19 | 5887155 | 651082 | 26464 53 | 104 | 201 904.53/904.89 c 890s | 19 | 5907064 | 652282 | 26464 53 | 104 | 201 906.73/907.03 c 892s | 19 | 5928847 | 653582 | 26464 53 | 104 | 201 908.83/909.17 c 894s | 19 | 5957394 | 654882 | 26464 53 | 104 | 201 910.93/911.22 c 896s | 19 | 5974531 | 656082 | 26464 53 | 104 | 201 913.13/913.42 c 898s | 19 | 5992786 | 657382 | 26464 53 | 104 | 201 915.12/915.49 c 900s | 19 | 6004700 | 658482 | 26464 53 | 104 | 201 917.32/917.62 c 903s | 19 | 6024404 | 659582 | 29111 53 | 104 | 201 919.43/919.72 c 905s | 19 | 6040007 | 660782 | 29111 53 | 104 | 201 921.53/921.84 c 907s | 19 | 6058904 | 662082 | 29111 53 | 104 | 201 923.62/923.93 c 909s | 19 | 6073987 | 663282 | 29111 53 | 104 | 201 925.72/926.04 c 911s | 19 | 6092850 | 664482 | 29111 53 | 104 | 201 927.92/928.22 c 913s | 19 | 6106097 | 665682 | 29111 53 | 104 | 201 929.92/930.23 c 915s | 19 | 6123394 | 666682 | 29111 53 | 104 | 201 930.22/930.50 c 915s | 20 | 6125063 | 666827 | 29111 53 | 104 | 201 932.92/933.23 c 918s | 20 | 6130504 | 667127 | 29111 54 | 104 | 201 935.23/935.58 c 920s | 20 | 6145584 | 668127 | 29111 54 | 104 | 201 937.42/937.70 c 923s | 20 | 6167621 | 669727 | 29111 54 | 104 | 201 939.42/939.75 c 925s | 20 | 6169683 | 670327 | 29111 54 | 104 | 201 941.43/941.78 c 927s | 20 | 6185923 | 671827 | 29111 54 | 104 | 201 943.53/943.90 c 929s | 20 | 6212170 | 673327 | 29111 54 | 104 | 201 945.62/945.92 c 931s | 20 | 6225983 | 674927 | 29111 54 | 104 | 201 947.72/948.06 c 933s | 20 | 6242440 | 676327 | 29111 54 | 104 | 201 949.82/950.10 c 935s | 20 | 6259126 | 677727 | 29111 54 | 104 | 201 951.92/952.29 c 937s | 20 | 6269623 | 679227 | 29111 54 | 104 | 201 954.12/954.43 c 939s | 20 | 6287163 | 680627 | 29111 54 | 104 | 201 956.12/956.47 c 941s | 20 | 6299139 | 682127 | 29111 54 | 104 | 201 958.62/958.99 c 944s | 20 | 6328536 | 683427 | 29111 55 | 104 | 201 960.71/961.00 c 946s | 20 | 6353640 | 684927 | 29111 55 | 104 | 201 962.81/963.19 c 948s | 20 | 6373359 | 686427 | 29111 55 | 104 | 201 964.91/965.29 c 950s | 20 | 6388064 | 687927 | 29111 55 | 104 | 201 967.01/967.35 c 952s | 20 | 6401564 | 689427 | 29111 55 | 104 | 201 969.21/969.50 c 954s | 20 | 6423284 | 690827 | 29111 55 | 104 | 201 971.21/971.51 c 956s | 20 | 6444941 | 692127 | 29111 55 | 104 | 201 973.22/973.56 c 958s | 20 | 6460719 | 693427 | 29111 55 | 104 | 201 975.31/975.64 c 961s | 20 | 6478341 | 695027 | 29111 55 | 104 | 201 977.41/977.72 c 963s | 20 | 6494380 | 696427 | 29111 55 | 104 | 201 979.41/979.77 c 965s | 20 | 6511189 | 697627 | 29111 55 | 104 | 201 981.60/981.90 c 967s | 20 | 6531890 | 698727 | 29111 56 | 104 | 201 983.60/983.98 c 969s | 20 | 6552506 | 699727 | 29111 56 | 104 | 201 985.70/986.03 c 971s | 20 | 6574688 | 700827 | 29111 56 | 104 | 201 987.70/988.06 c 973s | 20 | 6598776 | 702027 | 29111 56 | 104 | 201 989.90/990.20 c 975s | 20 | 6611875 | 703327 | 29111 56 | 104 | 201 992.30/992.61 c 978s | 20 | 6621977 | 704427 | 29111 56 | 104 | 201 994.30/994.63 c 980s | 20 | 6646737 | 705627 | 29111 56 | 104 | 201 996.31/996.69 c 982s | 20 | 6667751 | 706927 | 29111 56 | 104 | 201 998.51/998.84 c 984s | 20 | 6681870 | 708227 | 29111 56 | 104 | 201 1000.59/1000.96 c 986s | 20 | 6693754 | 709527 | 29111 56 | 104 | 201 1002.69/1003.03 c 988s | 20 | 6704501 | 710827 | 29111 56 | 104 | 201 1004.79/1005.18 c 990s | 20 | 6706358 | 711027 | 29111 56 | 104 | 201 1006.89/1007.20 c 992s | 20 | 6718765 | 712327 | 29111 56 | 104 | 201 1008.98/1009.39 c 994s | 20 | 6734608 | 713627 | 29111 56 | 104 | 201 1011.08/1011.41 c 996s | 20 | 6744736 | 714827 | 29111 57 | 104 | 201 1013.28/1013.61 c 999s | 20 | 6763975 | 716227 | 29111 57 | 104 | 201 1015.38/1015.75 c 1001s | 20 | 6782473 | 717527 | 29111 57 | 104 | 201 1017.48/1017.84 c 1003s | 20 | 6796272 | 718927 | 29111 57 | 104 | 201 1019.49/1019.87 c 1005s | 20 | 6812735 | 720127 | 29111 57 | 104 | 201 1021.69/1022.00 c 1007s | 20 | 6834154 | 721427 | 29111 57 | 104 | 201 1023.79/1024.12 c 1009s | 20 | 6855610 | 722727 | 29111 57 | 104 | 201 1025.78/1026.15 c 1011s | 20 | 6872106 | 724227 | 29111 57 | 104 | 201 1027.79/1028.19 c 1013s | 20 | 6889331 | 725527 | 29111 57 | 104 | 201 1029.89/1030.23 c 1015s | 20 | 6905129 | 726727 | 29111 57 | 104 | 201 1031.99/1032.34 c 1017s | 20 | 6919274 | 728027 | 29111 57 | 104 | 201 1033.99/1034.39 c 1019s | 20 | 6935544 | 729327 | 29111 57 | 104 | 201 1036.09/1036.45 c 1021s | 20 | 6947247 | 730527 | 29111 58 | 104 | 201 1038.19/1038.60 c 1023s | 20 | 6962253 | 731827 | 29111 58 | 104 | 201 1040.29/1040.68 c 1026s | 20 | 6976992 | 733027 | 29111 58 | 104 | 201 1042.49/1042.81 c 1028s | 20 | 6992586 | 734227 | 29111 58 | 104 | 201 1044.58/1044.94 c 1030s | 20 | 7003219 | 735427 | 29111 58 | 104 | 201 1046.58/1046.95 c 1032s | 20 | 7010347 | 736627 | 29111 58 | 104 | 201 1048.68/1049.02 c 1034s | 20 | 7021108 | 737827 | 29111 58 | 104 | 201 1050.68/1051.03 c 1036s | 20 | 7031525 | 738927 | 29111 58 | 104 | 201 1052.78/1053.10 c 1038s | 20 | 7041009 | 740127 | 29111 58 | 104 | 201 1054.78/1055.14 c 1040s | 20 | 7049110 | 741127 | 29111 58 | 104 | 201 1056.79/1057.20 c 1042s | 20 | 7060771 | 742227 | 29111 58 | 104 | 201 1058.88/1059.25 c 1044s | 20 | 7069927 | 743327 | 29111 58 | 104 | 201 1061.38/1061.76 c 1047s | 20 | 7073304 | 743827 | 29111 58 | 104 | 201 1063.49/1063.89 c 1049s | 20 | 7083972 | 745027 | 29111 58 | 104 | 201 1065.59/1065.95 c 1051s | 20 | 7090875 | 745927 | 29111 59 | 104 | 201 1067.68/1068.02 c 1053s | 20 | 7108498 | 747027 | 29111 59 | 104 | 201 1069.88/1070.20 c 1055s | 20 | 7124585 | 748227 | 29111 59 | 104 | 201 1071.98/1072.37 c 1057s | 20 | 7135779 | 749527 | 29111 59 | 104 | 201 1074.08/1074.40 c 1059s | 20 | 7148527 | 750727 | 29111 59 | 104 | 201 1076.18/1076.51 c 1061s | 20 | 7159974 | 752027 | 29111 59 | 104 | 201 1078.18/1078.54 c 1063s | 20 | 7171488 | 753327 | 29111 59 | 104 | 201 1080.28/1080.65 c 1066s | 20 | 7182432 | 754627 | 29111 59 | 104 | 201 1082.28/1082.69 c 1068s | 20 | 7198944 | 755827 | 29111 59 | 104 | 201 1084.38/1084.72 c 1070s | 20 | 7210829 | 757027 | 29111 59 | 104 | 201 1086.48/1086.82 c 1072s | 20 | 7224088 | 758227 | 29111 59 | 104 | 201 1088.58/1088.97 c 1074s | 20 | 7234977 | 759427 | 29111 59 | 104 | 201 1090.78/1091.12 c 1076s | 20 | 7244579 | 760627 | 29111 59 | 104 | 201 1092.78/1093.14 c 1078s | 20 | 7256597 | 761527 | 29111 60 | 104 | 201 1094.88/1095.22 c 1080s | 20 | 7268175 | 762527 | 29111 60 | 104 | 201 1096.88/1097.29 c 1082s | 20 | 7277699 | 763627 | 29111 60 | 104 | 201 1098.98/1099.33 c 1084s | 20 | 7288142 | 764927 | 29111 60 | 104 | 201 1101.07/1101.43 c 1086s | 20 | 7297607 | 766227 | 29111 60 | 104 | 201 1103.08/1103.45 c 1088s | 20 | 7309364 | 767427 | 29111 60 | 104 | 201 1105.18/1105.58 c 1090s | 20 | 7328053 | 768527 | 29111 60 | 104 | 201 1107.27/1107.65 c 1093s | 20 | 7342218 | 769727 | 29111 60 | 104 | 201 1109.37/1109.79 c 1095s | 20 | 7354614 | 770827 | 29111 60 | 104 | 201 1111.37/1111.79 c 1097s | 20 | 7367749 | 771827 | 29111 60 | 104 | 201 1113.57/1113.90 c 1099s | 20 | 7380679 | 772927 | 29111 60 | 104 | 201 1115.57/1115.99 c 1101s | 20 | 7391802 | 774027 | 29111 60 | 104 | 201 1117.77/1118.16 c 1103s | 20 | 7403558 | 775027 | 29111 60 | 104 | 201 1119.97/1120.36 c 1105s | 20 | 7414417 | 776027 | 29111 60 | 104 | 201 1122.07/1122.40 c 1107s | 20 | 7424127 | 777027 | 29111 61 | 104 | 201 1124.17/1124.57 c 1109s | 20 | 7434178 | 778127 | 29111 61 | 104 | 201 1126.27/1126.68 c 1112s | 20 | 7442776 | 779127 | 29111 61 | 104 | 201 1128.37/1128.71 c 1114s | 20 | 7452606 | 780127 | 29111 61 | 104 | 201 1130.37/1130.76 c 1116s | 20 | 7461069 | 781327 | 29111 61 | 104 | 201 1132.37/1132.77 c 1118s | 20 | 7471945 | 782427 | 29111 61 | 104 | 201 1135.56/1135.95 c 1121s | 20 | 7479147 | 783327 | 29111 61 | 104 | 201 1137.66/1138.09 c 1123s | 20 | 7496430 | 784327 | 29111 61 | 104 | 201 1139.76/1140.18 c 1125s | 20 | 7509502 | 785527 | 29111 61 | 104 | 201 1141.86/1142.21 c 1127s | 20 | 7522603 | 786727 | 29111 61 | 104 | 201 1143.96/1144.34 c 1129s | 20 | 7536741 | 788027 | 29111 61 | 104 | 201 1146.06/1146.41 c 1131s | 20 | 7546619 | 789127 | 29111 61 | 104 | 201 1148.17/1148.54 c 1133s | 20 | 7561052 | 790227 | 29111 61 | 104 | 201 1150.27/1150.64 c 1136s | 20 | 7575278 | 791427 | 29111 61 | 104 | 201 1152.47/1152.82 c 1138s | 20 | 7588035 | 792627 | 29111 62 | 104 | 201 1154.56/1154.90 c 1140s | 20 | 7604844 | 793727 | 29111 62 | 104 | 201 1156.76/1157.12 c 1142s | 20 | 7613256 | 794827 | 29111 62 | 104 | 201 1158.76/1159.19 c 1144s | 20 | 7624929 | 796327 | 29111 62 | 104 | 201 1160.96/1161.31 c 1146s | 20 | 7642643 | 797627 | 29111 62 | 104 | 201 1162.96/1163.32 c 1148s | 20 | 7655822 | 798827 | 29111 62 | 104 | 201 1165.06/1165.43 c 1150s | 20 | 7668610 | 800327 | 29111 62 | 104 | 201 1167.06/1167.44 c 1152s | 20 | 7678718 | 801527 | 29111 62 | 104 | 201 1169.26/1169.63 c 1155s | 20 | 7691237 | 802727 | 29111 62 | 104 | 201 1171.26/1171.68 c 1157s | 20 | 7703793 | 803827 | 29111 62 | 104 | 201 1173.46/1173.81 c 1159s | 20 | 7713784 | 805127 | 29111 62 | 104 | 201 1175.46/1175.87 c 1161s | 20 | 7727458 | 806327 | 29111 62 | 104 | 201 1177.56/1177.91 c 1163s | 20 | 7739556 | 807327 | 29111 62 | 104 | 201 1179.56/1179.99 c 1165s | 20 | 7749977 | 808327 | 29111 63 | 104 | 201 1181.76/1182.11 c 1167s | 20 | 7763968 | 809527 | 29111 63 | 104 | 201 1183.76/1184.19 c 1169s | 20 | 7776078 | 810727 | 29111 63 | 104 | 201 1185.85/1186.26 c 1171s | 20 | 7791466 | 811827 | 29111 63 | 104 | 201 1187.95/1188.30 c 1173s | 20 | 7802258 | 812927 | 29111 63 | 104 | 201 1189.96/1190.35 c 1175s | 20 | 7813438 | 814127 | 29111 63 | 104 | 201 1192.06/1192.48 c 1177s | 20 | 7828115 | 815327 | 29111 63 | 104 | 201 1194.26/1194.65 c 1180s | 20 | 7840874 | 816527 | 29111 63 | 104 | 201 1196.35/1196.71 c 1182s | 20 | 7855370 | 817627 | 29111 63 | 104 | 201 1198.45/1198.83 c 1184s | 20 | 7867915 | 818827 | 29111 63 | 104 | 201 1200.45/1200.88 c 1186s | 20 | 7879646 | 819927 | 29111 63 | 104 | 201 1202.65/1203.00 c 1188s | 20 | 7890166 | 821127 | 29111 63 | 104 | 201 1205.66/1206.06 c 1191s | 20 | 7901152 | 822327 | 29111 63 | 104 | 201 1207.76/1208.15 c 1193s | 20 | 7918877 | 823527 | 29111 63 | 104 | 201 1209.96/1210.32 c 1195s | 20 | 7930495 | 824427 | 29111 64 | 104 | 201 1212.06/1212.45 c 1197s | 20 | 7948467 | 825727 | 29111 64 | 104 | 201 1214.17/1214.56 c 1199s | 20 | 7962074 | 826927 | 29111 64 | 104 | 201 1216.37/1216.73 c 1202s | 20 | 7975625 | 828427 | 29111 64 | 104 | 201 1218.56/1218.91 c 1204s | 20 | 7986958 | 829827 | 29111 64 | 104 | 201 1220.56/1220.98 c 1206s | 20 | 7996323 | 831127 | 29111 64 | 104 | 201 1222.56/1222.99 c 1208s | 20 | 8008505 | 832427 | 29111 64 | 104 | 201 1224.66/1225.07 c 1210s | 20 | 8021278 | 833727 | 29111 64 | 104 | 201 1226.76/1227.10 c 1212s | 20 | 8035397 | 834827 | 29111 64 | 104 | 201 1228.76/1229.14 c 1214s | 20 | 8047807 | 836027 | 29111 64 | 104 | 201 1230.95/1231.31 c 1216s | 20 | 8052925 | 836627 | 29111 64 | 104 | 201 1233.05/1233.44 c 1218s | 20 | 8067123 | 837827 | 29111 64 | 104 | 201 1235.06/1235.48 c 1220s | 20 | 8076643 | 839027 | 29111 64 | 104 | 201 1237.16/1237.53 c 1222s | 20 | 8085281 | 840127 | 29111 65 | 104 | 201 1239.15/1239.56 c 1224s | 20 | 8094748 | 841427 | 29111 65 | 104 | 201 1241.15/1241.59 c 1226s | 20 | 8104166 | 842927 | 29111 65 | 104 | 201 1243.25/1243.64 c 1229s | 20 | 8120336 | 844127 | 29111 65 | 104 | 201 1245.35/1245.75 c 1231s | 20 | 8138072 | 845327 | 29111 65 | 104 | 201 1247.45/1247.89 c 1233s | 20 | 8147350 | 846727 | 29111 65 | 104 | 201 1251.45/1251.86 c 1237s | 20 | 8157832 | 847627 | 29111 65 | 104 | 201 1253.55/1253.97 c 1239s | 20 | 8161398 | 848327 | 29111 65 | 104 | 201 1255.65/1256.08 c 1241s | 20 | 8170286 | 849827 | 29111 65 | 104 | 201 1257.75/1258.17 c 1243s | 20 | 8179856 | 851127 | 29111 65 | 104 | 201 1259.85/1260.26 c 1245s | 20 | 8187499 | 852427 | 29111 65 | 104 | 201 1261.85/1262.27 c 1247s | 20 | 8194427 | 853727 | 29111 65 | 104 | 201 1263.95/1264.34 c 1249s | 20 | 8206903 | 854827 | 29111 65 | 104 | 201 1266.05/1266.47 c 1251s | 20 | 8216129 | 856027 | 29111 66 | 104 | 201 1268.25/1268.62 c 1254s | 20 | 8226022 | 857027 | 29111 66 | 104 | 201 1270.25/1270.69 c 1256s | 20 | 8242605 | 858427 | 29111 66 | 104 | 201 1272.35/1272.77 c 1258s | 20 | 8259335 | 859827 | 29111 66 | 104 | 201 1274.45/1274.83 c 1260s | 20 | 8279483 | 861127 | 29111 66 | 104 | 201 1276.45/1276.87 c 1262s | 20 | 8300223 | 862427 | 29111 66 | 104 | 201 1278.55/1278.90 c 1264s | 20 | 8315880 | 863927 | 29111 66 | 104 | 201 1280.55/1280.93 c 1266s | 20 | 8326160 | 865427 | 29111 66 | 104 | 201 1282.65/1283.03 c 1268s | 20 | 8344027 | 866827 | 29111 66 | 104 | 201 1284.75/1285.16 c 1270s | 20 | 8357884 | 868227 | 29111 66 | 104 | 201 1286.95/1287.31 c 1272s | 20 | 8368521 | 869627 | 29111 66 | 104 | 201 1289.05/1289.45 c 1274s | 20 | 8385895 | 870827 | 29111 66 | 104 | 201 1291.15/1291.59 c 1276s | 20 | 8401363 | 871927 | 29111 67 | 104 | 201 1293.25/1293.67 c 1279s | 20 | 8415561 | 873327 | 29111 67 | 104 | 201 1295.34/1295.77 c 1281s | 20 | 8428932 | 874627 | 29111 67 | 104 | 201 1297.44/1297.85 c 1283s | 20 | 8437578 | 876127 | 29111 67 | 104 | 201 1299.54/1299.99 c 1285s | 20 | 8447781 | 877527 | 29111 67 | 104 | 201 1301.64/1302.05 c 1287s | 20 | 8462126 | 878927 | 29111 67 | 104 | 201 1303.64/1304.07 c 1289s | 20 | 8471433 | 880327 | 29111 67 | 104 | 201 1305.84/1306.20 c 1291s | 20 | 8484960 | 881527 | 29111 67 | 104 | 201 1307.94/1308.38 c 1293s | 20 | 8499835 | 882727 | 29111 67 | 104 | 201 1310.14/1310.52 c 1295s | 20 | 8511212 | 884027 | 29111 67 | 104 | 201 1312.24/1312.63 c 1298s | 20 | 8524771 | 885227 | 29111 67 | 104 | 201 1314.34/1314.74 c 1300s | 20 | 8538579 | 886427 | 29111 67 | 104 | 201 1316.45/1316.81 c 1302s | 20 | 8549896 | 887827 | 29111 68 | 104 | 201 1318.54/1318.91 c 1304s | 20 | 8563687 | 889127 | 29111 68 | 104 | 201 1320.64/1321.04 c 1306s | 20 | 8577034 | 890427 | 29111 68 | 104 | 201 1322.64/1323.08 c 1308s | 20 | 8587536 | 891627 | 29111 68 | 104 | 201 1324.74/1325.10 c 1310s | 20 | 8596078 | 892927 | 29111 68 | 104 | 201 1327.63/1328.04 c 1313s | 20 | 8600987 | 893427 | 29111 68 | 104 | 201 1329.83/1330.20 c 1315s | 20 | 8620851 | 894827 | 29111 68 | 104 | 201 1331.93/1332.35 c 1317s | 20 | 8638970 | 896227 | 29111 68 | 104 | 201 1333.94/1334.35 c 1319s | 20 | 8654936 | 897427 | 29111 68 | 104 | 201 1335.93/1336.36 c 1321s | 20 | 8665246 | 898727 | 29111 68 | 104 | 201 1338.04/1338.42 c 1323s | 20 | 8678219 | 900027 | 29111 68 | 104 | 201 1340.14/1340.51 c 1325s | 20 | 8698336 | 901427 | 29111 68 | 104 | 201 1342.24/1342.62 c 1328s | 20 | 8709300 | 902827 | 29111 69 | 104 | 201 1344.54/1344.95 c 1330s | 20 | 8720642 | 903927 | 29111 69 | 104 | 201 1346.54/1346.95 c 1332s | 20 | 8735636 | 905027 | 29111 69 | 104 | 201 1348.54/1348.97 c 1334s | 20 | 8748229 | 906327 | 29111 69 | 104 | 201 1350.64/1351.07 c 1336s | 20 | 8760177 | 907827 | 29111 69 | 104 | 201 1352.74/1353.18 c 1338s | 20 | 8773602 | 909227 | 29111 69 | 104 | 201 1354.94/1355.32 c 1340s | 20 | 8783174 | 910727 | 29111 69 | 104 | 201 1357.04/1357.48 c 1342s | 20 | 8799363 | 912127 | 29111 69 | 104 | 201 1359.13/1359.56 c 1344s | 20 | 8815174 | 913527 | 29111 69 | 104 | 201 1361.13/1361.58 c 1346s | 20 | 8825365 | 914827 | 29111 69 | 104 | 201 1363.23/1363.63 c 1349s | 20 | 8837077 | 915927 | 29111 69 | 104 | 201 1365.33/1365.70 c 1351s | 20 | 8850195 | 917127 | 29111 69 | 104 | 201 1367.33/1367.79 c 1353s | 20 | 8858037 | 918427 | 29111 70 | 104 | 201 1369.43/1369.84 c 1355s | 20 | 8870394 | 919827 | 29111 70 | 104 | 201 1371.63/1372.03 c 1357s | 20 | 8878357 | 920927 | 29111 70 | 104 | 201 1373.73/1374.16 c 1359s | 20 | 8894914 | 922227 | 29111 70 | 104 | 201 1375.74/1376.19 c 1361s | 20 | 8906118 | 923527 | 29111 70 | 104 | 201 1377.83/1378.29 c 1363s | 20 | 8923156 | 924527 | 29111 70 | 104 | 201 1381.23/1381.69 c 1367s | 20 | 8935764 | 925727 | 29111 70 | 104 | 201 1383.83/1384.29 c 1369s | 20 | 8949125 | 926627 | 29111 70 | 104 | 201 1386.03/1386.46 c 1371s | 20 | 8967485 | 928027 | 29111 70 | 104 | 201 1388.13/1388.57 c 1373s | 20 | 8982740 | 929427 | 29111 70 | 104 | 201 1390.23/1390.67 c 1376s | 20 | 9002766 | 930527 | 29111 70 | 104 | 201 1392.43/1392.80 c 1378s | 20 | 9017009 | 931727 | 29111 70 | 104 | 201 1394.54/1394.95 c 1380s | 20 | 9026867 | 933027 | 29111 70 | 104 | 201 1396.64/1397.01 c 1382s | 20 | 9035465 | 933927 | 29111 71 | 104 | 201 1398.73/1399.14 c 1384s | 20 | 9057820 | 935227 | 29111 71 | 104 | 201 1400.83/1401.23 c 1386s | 20 | 9076310 | 936527 | 29111 71 | 104 | 201 1402.83/1403.28 c 1388s | 20 | 9092528 | 937927 | 29111 71 | 104 | 201 1405.03/1405.40 c 1390s | 20 | 9110905 | 939127 | 29111 71 | 104 | 201 1407.13/1407.51 c 1392s | 20 | 9126028 | 940627 | 29111 71 | 104 | 201 1409.23/1409.63 c 1395s | 20 | 9144520 | 942227 | 29111 71 | 104 | 201 1411.33/1411.74 c 1397s | 20 | 9163595 | 943527 | 29111 71 | 104 | 201 1413.43/1413.87 c 1399s | 20 | 9176820 | 944927 | 29111 71 | 104 | 201 1415.53/1416.00 c 1401s | 20 | 9189363 | 946427 | 29111 71 | 104 | 201 1417.63/1418.01 c 1403s | 20 | 9200361 | 947627 | 29111 71 | 104 | 201 1419.73/1420.15 c 1405s | 20 | 9214337 | 948927 | 29111 71 | 104 | 201 1421.82/1422.22 c 1407s | 20 | 9228355 | 950127 | 29111 72 | 104 | 201 1423.82/1424.24 c 1409s | 20 | 9241705 | 951627 | 29111 72 | 104 | 201 1425.82/1426.25 c 1411s | 20 | 9254672 | 952927 | 29111 72 | 104 | 201 1427.82/1428.29 c 1413s | 20 | 9276318 | 954227 | 29111 72 | 104 | 201 1429.92/1430.30 c 1415s | 20 | 9288046 | 955527 | 29111 72 | 104 | 201 1431.93/1432.37 c 1417s | 20 | 9299683 | 956927 | 29111 72 | 104 | 201 1434.03/1434.42 c 1419s | 20 | 9312658 | 958127 | 29111 72 | 104 | 201 1436.12/1436.50 c 1421s | 20 | 9325505 | 959427 | 29111 72 | 104 | 201 1438.12/1438.51 c 1423s | 20 | 9333625 | 960627 | 29111 72 | 104 | 201 1440.12/1440.53 c 1425s | 20 | 9341312 | 962127 | 29111 72 | 104 | 201 1442.12/1442.59 c 1427s | 20 | 9349508 | 963427 | 29111 72 | 104 | 201 1444.32/1444.71 c 1430s | 20 | 9358680 | 964727 | 29111 72 | 104 | 201 1446.42/1446.86 c 1432s | 20 | 9369729 | 966127 | 29111 73 | 104 | 201 1448.52/1448.92 c 1434s | 20 | 9380206 | 967527 | 29111 73 | 104 | 201 1450.63/1451.02 c 1436s | 20 | 9390732 | 968927 | 29111 73 | 104 | 201 1452.62/1453.10 c 1438s | 20 | 9396156 | 969927 | 29111 73 | 104 | 201 1454.72/1455.12 c 1440s | 20 | 9406754 | 971127 | 29111 73 | 104 | 201 1456.82/1457.27 c 1442s | 20 | 9416759 | 972327 | 29111 73 | 104 | 201 1459.02/1459.41 c 1444s | 20 | 9429555 | 973627 | 29111 73 | 104 | 201 1461.22/1461.60 c 1446s | 20 | 9445969 | 974927 | 29111 73 | 104 | 201 1463.32/1463.74 c 1449s | 20 | 9461142 | 976127 | 29111 73 | 104 | 201 1465.42/1465.83 c 1451s | 20 | 9476026 | 977427 | 29111 73 | 104 | 201 1467.42/1467.89 c 1453s | 20 | 9487672 | 978627 | 29111 73 | 104 | 201 1469.62/1470.01 c 1455s | 20 | 9503238 | 979827 | 29111 73 | 104 | 201 1471.62/1472.07 c 1457s | 20 | 9512844 | 980927 | 29111 74 | 104 | 201 1473.82/1474.20 c 1459s | 20 | 9528472 | 982327 | 29111 74 | 104 | 201 1475.82/1476.28 c 1461s | 20 | 9538714 | 984027 | 29111 74 | 104 | 201 1477.91/1478.37 c 1463s | 20 | 9548808 | 985627 | 29111 74 | 104 | 201 1480.22/1480.61 c 1466s | 20 | 9555675 | 986527 | 29111 74 | 104 | 201 1482.31/1482.71 c 1468s | 20 | 9570999 | 987827 | 29111 74 | 104 | 201 1484.41/1484.83 c 1470s | 20 | 9583668 | 989027 | 29111 74 | 104 | 201 1486.41/1486.87 c 1472s | 20 | 9592714 | 990327 | 32023 74 | 104 | 201 1488.51/1488.97 c 1474s | 20 | 9605118 | 991527 | 32023 74 | 104 | 201 1490.61/1491.07 c 1476s | 20 | 9620881 | 992827 | 32023 74 | 104 | 201 1492.81/1493.22 c 1478s | 20 | 9634861 | 994027 | 32023 74 | 104 | 201 1494.91/1495.32 c 1480s | 20 | 9646819 | 995227 | 32023 74 | 104 | 201 1496.91/1497.39 c 1482s | 20 | 9654195 | 996527 | 32023 74 | 104 | 201 1499.02/1499.41 c 1484s | 20 | 9661989 | 997727 | 32023 74 | 104 | 201 1501.12/1501.55 c 1486s | 20 | 9665142 | 998427 | 32023 74 | 104 | 201 1503.42/1503.88 c 1489s | 20 | 9681252 | 999627 | 32023 75 | 104 | 201 1504.61/1505.06 c 1490s | 21 | 9686817 | 1000345 | 32023 75 | 104 | 201 1506.72/1507.18 c 1492s | 21 | 9700395 | 1001545 | 32023 75 | 104 | 201 1509.41/1509.82 c 1495s | 21 | 9712560 | 1002845 | 32023 75 | 104 | 201 1511.51/1511.97 c 1497s | 21 | 9729731 | 1004345 | 32023 75 | 104 | 201 1513.61/1514.06 c 1499s | 21 | 9744257 | 1005745 | 32023 75 | 104 | 201 1515.71/1516.17 c 1501s | 21 | 9760464 | 1007145 | 32023 75 | 104 | 201 1517.81/1518.28 c 1503s | 21 | 9776221 | 1008545 | 32023 75 | 104 | 201 1519.91/1520.34 c 1505s | 21 | 9786541 | 1009945 | 32023 75 | 104 | 201 1522.01/1522.44 c 1507s | 21 | 9804356 | 1011345 | 32023 75 | 104 | 201 1524.11/1524.51 c 1509s | 21 | 9819633 | 1012545 | 32023 75 | 104 | 201 1526.11/1526.57 c 1511s | 21 | 9829298 | 1013945 | 32023 75 | 104 | 201 1528.21/1528.61 c 1514s | 21 | 9838852 | 1015345 | 32023 75 | 104 | 201 1530.21/1530.69 c 1516s | 21 | 9849554 | 1016745 | 32023 76 | 104 | 201 1532.41/1532.80 c 1518s | 21 | 9864957 | 1018145 | 32023 76 | 104 | 201 1534.40/1534.84 c 1520s | 21 | 9873492 | 1018945 | 32023 76 | 104 | 201 1536.41/1536.86 c 1522s | 21 | 9888739 | 1020145 | 32023 76 | 104 | 201 1539.00/1539.49 c 1524s | 21 | 9896642 | 1021045 | 32023 76 | 104 | 201 1541.10/1541.55 c 1526s | 21 | 9912070 | 1022345 | 32023 76 | 104 | 201 1543.10/1543.59 c 1528s | 21 | 9924283 | 1023645 | 32023 76 | 104 | 201 1545.21/1545.67 c 1531s | 21 | 9937665 | 1024945 | 32023 76 | 104 | 201 1547.31/1547.78 c 1533s | 21 | 9953144 | 1026145 | 32023 76 | 104 | 201 1549.30/1549.78 c 1535s | 21 | 9965586 | 1027245 | 32023 76 | 104 | 201 1551.41/1551.85 c 1537s | 21 | 9979492 | 1028445 | 32023 76 | 104 | 201 1553.61/1554.01 c 1539s | 21 | 9987396 | 1029745 | 32023 76 | 104 | 201 1555.61/1556.04 c 1541s | 21 | 9997304 | 1031145 | 32023 76 | 104 | 201 1557.71/1558.15 c 1543s | 21 | 10013419 | 1032445 | 32023 76 | 104 | 201 1559.71/1560.16 c 1545s | 21 | 10030071 | 1033645 | 32023 76 | 104 | 201 1562.00/1562.42 c 1547s | 21 | 10041006 | 1034545 | 32023 77 | 104 | 201 1564.10/1564.51 c 1549s | 21 | 10053438 | 1035745 | 32023 77 | 104 | 201 1566.11/1566.53 c 1551s | 21 | 10065854 | 1037045 | 32023 77 | 104 | 201 1568.21/1568.62 c 1554s | 21 | 10077700 | 1038345 | 32023 77 | 104 | 201 1570.30/1570.76 c 1556s | 21 | 10089281 | 1039545 | 32023 77 | 104 | 201 1572.40/1572.80 c 1558s | 21 | 10101594 | 1040745 | 32023 77 | 104 | 201 1574.50/1574.91 c 1560s | 21 | 10115402 | 1041945 | 32023 77 | 104 | 201 1576.60/1577.02 c 1562s | 21 | 10126745 | 1043145 | 32023 77 | 104 | 201 1578.60/1579.03 c 1564s | 21 | 10140700 | 1044445 | 32023 77 | 104 | 201 1580.70/1581.15 c 1566s | 21 | 10155893 | 1045745 | 32023 77 | 104 | 201 1582.80/1583.28 c 1568s | 21 | 10165578 | 1047145 | 32023 77 | 104 | 201 1584.90/1585.31 c 1570s | 21 | 10178094 | 1048445 | 32023 77 | 104 | 201 1587.01/1587.44 c 1572s | 21 | 10190508 | 1049645 | 32023 77 | 104 | 201 1589.11/1589.59 c 1574s | 21 | 10205773 | 1050845 | 32023 77 | 104 | 201 1591.20/1591.60 c 1576s | 21 | 10218275 | 1051945 | 32023 78 | 104 | 201 1593.20/1593.65 c 1579s | 21 | 10228901 | 1053245 | 32023 78 | 104 | 201 1595.20/1595.69 c 1581s | 21 | 10240108 | 1054345 | 32023 78 | 104 | 201 1597.30/1597.72 c 1583s | 21 | 10248713 | 1055145 | 32023 78 | 104 | 201 1599.40/1599.80 c 1585s | 21 | 10269923 | 1056345 | 32023 78 | 104 | 201 1601.50/1601.94 c 1587s | 21 | 10285853 | 1057645 | 32023 78 | 104 | 201 1603.50/1603.96 c 1589s | 21 | 10295655 | 1058945 | 32023 78 | 104 | 201 1605.60/1606.01 c 1591s | 21 | 10308306 | 1060145 | 32023 78 | 104 | 201 1607.60/1608.06 c 1593s | 21 | 10321878 | 1061345 | 32023 78 | 104 | 201 1609.80/1610.22 c 1595s | 21 | 10337240 | 1062545 | 32023 78 | 104 | 201 1611.90/1612.35 c 1597s | 21 | 10350553 | 1063745 | 32023 78 | 104 | 201 1614.00/1614.45 c 1599s | 21 | 10363542 | 1065045 | 32023 78 | 104 | 201 1616.00/1616.46 c 1601s | 21 | 10373801 | 1066145 | 32023 78 | 104 | 201 1619.09/1619.50 c 1604s | 21 | 10378535 | 1066745 | 32023 78 | 104 | 201 1621.29/1621.70 c 1607s | 21 | 10393087 | 1067945 | 32023 79 | 104 | 201 1623.30/1623.79 c 1609s | 21 | 10408292 | 1069145 | 32023 79 | 104 | 201 1625.40/1625.88 c 1611s | 21 | 10427939 | 1070545 | 32023 79 | 104 | 201 1627.60/1628.04 c 1613s | 21 | 10439516 | 1072245 | 32023 79 | 104 | 201 1629.69/1630.11 c 1615s | 21 | 10452399 | 1073845 | 32023 79 | 104 | 201 1631.69/1632.14 c 1617s | 21 | 10469501 | 1075345 | 32023 79 | 104 | 201 1633.69/1634.19 c 1619s | 21 | 10486883 | 1076945 | 32023 79 | 104 | 201 1635.79/1636.28 c 1621s | 21 | 10498894 | 1078545 | 32023 79 | 104 | 201 1637.89/1638.36 c 1623s | 21 | 10515064 | 1080045 | 32023 79 | 104 | 201 1639.89/1640.38 c 1625s | 21 | 10526788 | 1081345 | 32023 79 | 104 | 201 1642.09/1642.52 c 1627s | 21 | 10543758 | 1082745 | 32023 79 | 104 | 201 1644.10/1644.55 c 1629s | 21 | 10557827 | 1084145 | 32023 79 | 104 | 201 1646.09/1646.56 c 1631s | 21 | 10570235 | 1085545 | 32023 80 | 104 | 201 1648.19/1648.62 c 1634s | 21 | 10582167 | 1086745 | 32023 80 | 104 | 201 1650.29/1650.72 c 1636s | 21 | 10596305 | 1088045 | 32023 80 | 104 | 201 1652.29/1652.76 c 1638s | 21 | 10605253 | 1089245 | 32023 80 | 104 | 201 1654.39/1654.86 c 1640s | 21 | 10614048 | 1090645 | 32023 80 | 104 | 201 1656.39/1656.86 c 1642s | 21 | 10625960 | 1092045 | 32023 80 | 104 | 201 1658.59/1659.05 c 1644s | 21 | 10640286 | 1093245 | 32023 80 | 104 | 201 1660.69/1661.19 c 1646s | 21 | 10653423 | 1094645 | 32023 80 | 104 | 201 1662.89/1663.32 c 1648s | 21 | 10667007 | 1095845 | 32023 80 | 104 | 201 1664.89/1665.35 c 1650s | 21 | 10681910 | 1097045 | 32023 80 | 104 | 201 1667.09/1667.52 c 1652s | 21 | 10695039 | 1098345 | 32023 80 | 104 | 201 1669.09/1669.53 c 1654s | 21 | 10707358 | 1099545 | 32023 80 | 104 | 201 1671.19/1671.63 c 1657s | 21 | 10721551 | 1100645 | 32023 80 | 104 | 201 1673.18/1673.68 c 1659s | 21 | 10733585 | 1101745 | 32023 80 | 104 | 201 1675.28/1675.77 c 1661s | 21 | 10746186 | 1102745 | 32023 81 | 104 | 201 1677.48/1677.93 c 1663s | 21 | 10756427 | 1103845 | 32023 81 | 104 | 201 1679.58/1680.06 c 1665s | 21 | 10771070 | 1105245 | 32023 81 | 104 | 201 1681.59/1682.08 c 1667s | 21 | 10784367 | 1106645 | 32023 81 | 104 | 201 1683.69/1684.13 c 1669s | 21 | 10795764 | 1107945 | 32023 81 | 104 | 201 1685.68/1686.13 c 1671s | 21 | 10805274 | 1109245 | 32023 81 | 104 | 201 1687.78/1688.24 c 1673s | 21 | 10816020 | 1110445 | 32023 81 | 104 | 201 1689.78/1690.25 c 1675s | 21 | 10828134 | 1111545 | 32023 81 | 104 | 201 1691.88/1692.30 c 1677s | 21 | 10840369 | 1112745 | 32023 81 | 104 | 201 1693.88/1694.30 c 1679s | 21 | 10848029 | 1113945 | 32023 81 | 104 | 201 1695.98/1696.44 c 1681s | 21 | 10859069 | 1115345 | 32023 81 | 104 | 201 1698.09/1698.52 c 1683s | 21 | 10867012 | 1116445 | 32023 81 | 104 | 201 1701.99/1702.44 c 1687s | 21 | 10871689 | 1116945 | 32023 81 | 104 | 201 1704.09/1704.53 c 1689s | 21 | 10882873 | 1117645 | 32023 81 | 104 | 201 1706.08/1706.55 c 1691s | 21 | 10906080 | 1118845 | 32023 81 | 104 | 201 1708.08/1708.56 c 1693s | 21 | 10926037 | 1120045 | 32023 82 | 104 | 201 1710.78/1711.26 c 1696s | 21 | 10945316 | 1120945 | 32023 82 | 104 | 201 1712.78/1713.29 c 1698s | 21 | 10963909 | 1122245 | 32023 82 | 104 | 201 1714.98/1715.46 c 1700s | 21 | 10979295 | 1123545 | 32023 82 | 104 | 201 1717.08/1717.56 c 1702s | 21 | 10998520 | 1124645 | 32023 82 | 104 | 201 1719.18/1719.68 c 1705s | 21 | 11007537 | 1125945 | 32023 82 | 104 | 201 1721.38/1721.84 c 1707s | 21 | 11023642 | 1127145 | 32023 82 | 104 | 201 1723.48/1723.94 c 1709s | 21 | 11041759 | 1128345 | 32023 82 | 104 | 201 1725.59/1726.01 c 1711s | 21 | 11057972 | 1129545 | 32023 82 | 104 | 201 1727.58/1728.09 c 1713s | 21 | 11066177 | 1130545 | 32023 82 | 104 | 201 1729.78/1730.25 c 1715s | 21 | 11082386 | 1131645 | 32023 82 | 104 | 201 1731.88/1732.31 c 1717s | 21 | 11096474 | 1133145 | 32023 82 | 104 | 201 1733.98/1734.46 c 1719s | 21 | 11114398 | 1134345 | 32023 82 | 104 | 201 1736.08/1736.53 c 1721s | 21 | 11128492 | 1135545 | 32023 82 | 104 | 201 1738.17/1738.63 c 1724s | 21 | 11135005 | 1136745 | 32023 83 | 104 | 201 1740.17/1740.70 c 1726s | 21 | 11145164 | 1138345 | 32023 83 | 104 | 201 1742.27/1742.76 c 1728s | 21 | 11162702 | 1139545 | 32023 83 | 104 | 201 1744.47/1744.91 c 1730s | 21 | 11176282 | 1140845 | 32023 83 | 104 | 201 1746.57/1747.00 c 1732s | 21 | 11191132 | 1142045 | 32023 83 | 104 | 201 1748.58/1749.07 c 1734s | 21 | 11204534 | 1143245 | 32023 83 | 104 | 201 1750.67/1751.20 c 1736s | 21 | 11218396 | 1144545 | 32023 83 | 104 | 201 1752.87/1753.33 c 1738s | 21 | 11237481 | 1145845 | 32023 83 | 104 | 201 1754.97/1755.45 c 1740s | 21 | 11254994 | 1147145 | 32023 83 | 104 | 201 1757.07/1757.50 c 1742s | 21 | 11267864 | 1148345 | 32023 83 | 104 | 201 1759.17/1759.66 c 1745s | 21 | 11283742 | 1149645 | 32023 83 | 104 | 201 1761.27/1761.77 c 1747s | 21 | 11298119 | 1150945 | 32023 83 | 104 | 201 1763.47/1763.95 c 1749s | 21 | 11314443 | 1152145 | 32023 83 | 104 | 201 1765.57/1766.01 c 1751s | 21 | 11327180 | 1153245 | 32023 83 | 104 | 201 1767.57/1768.06 c 1753s | 21 | 11339264 | 1154245 | 32023 84 | 104 | 201 1769.67/1770.13 c 1755s | 21 | 11358902 | 1155545 | 32023 84 | 104 | 201 1771.78/1772.21 c 1757s | 21 | 11374554 | 1156645 | 32023 84 | 104 | 201 1773.88/1774.37 c 1759s | 21 | 11391156 | 1157845 | 32023 84 | 104 | 201 1775.97/1776.45 c 1761s | 21 | 11401005 | 1158945 | 32023 84 | 104 | 201 1778.07/1778.52 c 1763s | 21 | 11412436 | 1159945 | 32023 84 | 104 | 201 1780.07/1780.57 c 1765s | 21 | 11424661 | 1160945 | 32023 84 | 104 | 201 1782.07/1782.58 c 1767s | 21 | 11436073 | 1162045 | 32023 84 | 104 | 201 1784.17/1784.63 c 1770s | 21 | 11453260 | 1163045 | 32023 84 | 104 | 201 1786.17/1786.69 c 1772s | 21 | 11466036 | 1164045 | 32023 84 | 104 | 201 1788.37/1788.84 c 1774s | 21 | 11479950 | 1165045 | 32023 84 | 104 | 201 1790.67/1791.15 c 1776s | 21 | 11485855 | 1165645 | 32023 84 | 104 | 201 1792.87/1793.30 c 1778s | 21 | 11497518 | 1166645 | 32023 84 | 104 | 201 1794.87/1795.33 c 1780s | 21 | 11508240 | 1167645 | 32023 84 | 104 | 201 1796.86/1797.38 c 1782s | 21 | 11517013 | 1168545 | 32023 84 | 104 | 201 1798.86/1799.39 c 1784s | 21 | 11524576 | 1169545 | 32023 84 | 104 | 201
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-4105969-1466259686/watcher-4105969-1466259686 -o /tmp/evaluation-result-4105969-1466259686/solver-4105969-1466259686 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105969-1466259686.opb pid=7808 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.04 2.05 2.00 3/179 7811 /proc/meminfo: memFree=30162720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=547396 CPUtime=0 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 2014 0 0 0 0 0 0 0 20 0 4 0 28018715 560533504 2374 33554432000 4194304 16246674 140733864345344 140733864344768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 137617 2384 442 2943 0 134511 0 [pid=7811/tid=7812] ppid=7808 vsize=593476 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 607719424 2555 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=598596 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 612962304 2574 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=603716 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28018715 618205184 2590 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100199 s] /proc/loadavg: 2.04 2.05 2.00 3/179 7811 /proc/meminfo: memFree=30162720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 23541 0 0 0 6 3 0 0 20 0 4 0 28018715 1250496512 23840 33554432000 4194304 16246674 140733864345344 140733864344656 6156109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 305297 23847 832 2943 0 302191 0 [pid=7811/tid=7812] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 23852 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 23858 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 23863 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200521 s] /proc/loadavg: 2.04 2.05 2.00 3/179 7811 /proc/meminfo: memFree=30162720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 41083 0 0 0 14 5 0 0 20 0 4 0 28018715 1250496512 41382 33554432000 4194304 16246674 140733864345344 140733864344656 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 305297 41389 867 2943 0 302191 0 [pid=7811/tid=7812] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 41393 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 41397 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28018715 1250496512 41402 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300482 s] /proc/loadavg: 2.04 2.05 2.00 3/179 7811 /proc/meminfo: memFree=30162720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1307204 CPUtime=0.29 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 62912 0 0 0 20 9 0 0 20 0 4 0 28018715 1338576896 63210 33554432000 4194304 16246674 140733864345344 140733864344656 12654434 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 326801 63210 898 2943 0 323695 0 [pid=7811/tid=7812] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 63210 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 63210 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 63210 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700419 s] /proc/loadavg: 2.04 2.05 2.00 3/179 7811 /proc/meminfo: memFree=30162720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 70279 0 0 0 59 10 0 0 20 0 4 0 28018715 1338576896 70577 33554432000 4194304 16246674 140733864345344 140733864344520 13009032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 326801 70577 901 2943 0 323695 0 [pid=7811/tid=7812] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 70577 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 70577 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 70577 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.5004 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7815 /proc/meminfo: memFree=29792736/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 150236 0 0 0 129 20 0 0 20 0 4 0 28018715 1338576896 150534 33554432000 4194304 16246674 140733864345344 140733864344520 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 326801 150534 911 2943 0 323695 0 [pid=7811/tid=7812] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 150534 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 150534 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1338576896 150534 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.1004 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7815 /proc/meminfo: memFree=29560856/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 179343 0 0 0 285 24 0 0 20 0 4 0 28018715 1339625472 179641 33554432000 4194304 16246674 140733864345344 140733864327232 5823363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 327057 179641 911 2943 0 323951 0 [pid=7811/tid=7812] ppid=7808 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1339625472 179641 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1339625472 179641 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1339625472 179641 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30042 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7815 /proc/meminfo: memFree=29086432/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1312324 CPUtime=6.28 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 269066 0 0 0 593 35 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 140733864327232 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 328081 269364 914 2943 0 324975 0 [pid=7811/tid=7812] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.03 2.05 2.00 3/183 7815 /proc/meminfo: memFree=29086448/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1312324 CPUtime=12.68 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 269066 0 0 0 1233 35 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 140733864327232 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 328081 269364 914 2943 0 324975 0 [pid=7811/tid=7812] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1343819776 269364 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.03 2.05 2.00 3/183 7815 /proc/meminfo: memFree=29064536/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1333828 CPUtime=25.48 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 274673 0 0 0 2512 36 0 0 20 0 4 0 28018715 1365839872 274971 33554432000 4194304 16246674 140733864345344 140733864344520 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 333457 274971 918 2943 0 330351 0 [pid=7811/tid=7812] ppid=7808 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1365839872 274971 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1365839872 274971 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1365839872 274971 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1333828 [startup+51.1005 s] /proc/loadavg: 2.02 2.04 2.00 3/183 7815 /proc/meminfo: memFree=29050112/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1348164 CPUtime=51.08 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 278258 0 0 0 5071 37 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 140733864327232 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 337041 278556 919 2943 0 333935 0 [pid=7811/tid=7812] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1348164 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 7816 /proc/meminfo: memFree=29049588/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1348164 CPUtime=102.28 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 278258 0 0 0 10190 38 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 140733864327232 12415777 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7811/statm: 337041 278556 919 2943 0 333935 0 [pid=7811/tid=7812] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1380519936 278556 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1348164 ################ # More data... # ################ /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1404637184 284449 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1371716 [startup+1362.3 s] /proc/loadavg: 2.08 2.04 2.00 3/183 7945 /proc/meminfo: memFree=29084688/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1371716 CPUtime=1361.93 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 284416 0 0 0 136143 50 0 0 20 0 4 0 28018715 1404637184 284449 33554432000 4194304 16246674 140733864345344 140733864327232 12415777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 342929 284449 919 2943 0 339823 0 [pid=7811/tid=7812] ppid=7808 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1404637184 284449 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1404637184 284449 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1404637184 284449 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1371716 [startup+1422.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 7946 /proc/meminfo: memFree=29061720/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1421.93 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 142141 52 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1395268 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.00 4/183 7948 /proc/meminfo: memFree=29061800/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1481.91 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 148139 52 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 6012212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1395268 [startup+1542.31 s] /proc/loadavg: 2.01 2.04 2.00 3/183 7949 /proc/meminfo: memFree=29061548/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1541.91 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 154139 52 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1395268 [startup+1602.3 s] /proc/loadavg: 2.05 2.04 2.00 3/183 7950 /proc/meminfo: memFree=29061428/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1601.9 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 160137 53 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 13759925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1395268 [startup+1662.3 s] /proc/loadavg: 2.13 2.06 2.01 4/183 7951 /proc/meminfo: memFree=29060748/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1661.89 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 166136 53 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5711788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1395268 [startup+1722.3 s] /proc/loadavg: 2.05 2.05 2.00 3/184 7955 /proc/meminfo: memFree=29055708/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1721.88 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 172134 54 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5663466 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1395268 [startup+1782.3 s] /proc/loadavg: 2.06 2.05 2.00 3/182 7956 /proc/meminfo: memFree=29056128/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1781.87 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 178133 54 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1395268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.06 2.00 3/183 7957 /proc/meminfo: memFree=29056372/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1800.06 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 179952 54 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1395268 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 7811 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.06 2.00 3/183 7957 /proc/meminfo: memFree=29056372/32872528 swapFree=526336/559040 [pid=7811] ppid=7808 vsize=1395268 CPUtime=1800.06 cores=0,2,4,6 /proc/7811/stat : 7811 (toysat) R 7808 7811 28898 0 -1 4202496 290246 0 0 0 179952 54 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 140733864327232 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7811/statm: 348817 290279 919 2943 0 345711 0 [pid=7811/tid=7812] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7812/stat : 7812 (toysat) S 7808 7811 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775285636336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=7811/tid=7813] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7813/stat : 7813 (toysat) S 7808 7811 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775275146480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=7811/tid=7814] ppid=7808 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/7811/task/7814/stat : 7814 (toysat) S 7808 7811 28898 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 28018715 1428754432 290279 33554432000 4194304 16246674 140733864345344 139775264672944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1395268 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.53 CPU system time (s): 0.545917 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 1395268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.545917 maximum resident set size= 1161116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290246 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= 284 involuntary context switches= 2231 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6173 second user time and 6.90395 second system time The end
Begin job on node106 at 2016-06-18 16:21:26 IDJOB=4105969 IDBENCH=24965 IDSOLVER=2542 FILE ID=node106/4105969-1466259686 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105969-1466259686/watcher-4105969-1466259686 -o /tmp/evaluation-result-4105969-1466259686/solver-4105969-1466259686 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105969-1466259686.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7546aeed0de3680ab75d817854256b46 RANDOM SEED=1929726533 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30163100 kB Buffers: 74724 kB Cached: 192052 kB SwapCached: 1736 kB Active: 1230456 kB Inactive: 173456 kB Active(anon): 1134376 kB Inactive(anon): 4736 kB Active(file): 96080 kB Inactive(file): 168720 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 1694784 kB Mapped: 10796 kB Shmem: 0 kB Slab: 612476 kB SReclaimable: 56280 kB SUnreclaim: 556196 kB KernelStack: 1480 kB PageTables: 7572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1837332 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 16:51:27