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.11 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
| MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.12698 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 4666 |
| Total number of constraints | 12693 |
| Number of constraints which are clauses | 12693 |
| 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 | 63 |
| Number of terms in the objective function | 2273 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2273 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2273 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:26: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-4079857-1465248386.opb"] 0.00/0.01 c use --random-gen="3350350009 595896993 237074832 3347549956 1524867423 1333658970 1059732890 2836300727 328525027 1155302808 3068282273 1036751276 3029938804 830650344 2521487082 2120076043 1079918057 3522676419 1548028543 3145751463 46031283 916783540 349027073 244357995 416191610 582094679 609059832 3212671169 895111494 3571991940 3237809315 3271354513 3308398827 546899402 1016104289 2580893290 2054250243 204179128 577880584 3218102811 1431515700 1918641649 4233795102 3992938334 2615085509 555780445 2515545536 1570286204 2060591362 2873280301 2309134602 2680248361 1150295745 3827023126 436027538 4112323911 6351947 1780546193 3677139823 4009692093 992603757 2874275826 1434404917 1527381442 3934722214 4084365587 3416947702 2952494547 4031782835 3187589476 3709067971 2509481705 2260158392 2370824377 1078011381 1194998327 1477886894 606011168 315622050 3783311023 1029837941 1879894336 827974163 1464336790 164925392 217678021 2486348074 1866137172 3236410285 1658049818 3508190822 2366778013 3399897376 3219866113 3425028568 1531229138 2277523496 3315039 3999690966 3549214469 3084380228 2884919769 2374767974 4191575345 4292206411 1389521212 2363414416 2521319494 1730623527 2422651228 2631165465 3531417528 1544653056 2200185773 1785219537 2569075775 2641963718 637967360 502339600 3050458333 314694521 3320989218 2096078282 3000235780 2870267801 4142699212 1684134720 298310351 1517067959 3747243056 2113180414 652472354 2321757222 4076472694 3280316972 1237740520 4192557859 3601723399 2365337675 965515382 185418859 2665019572 1771534541 4185208701 2251799983 3495365722 2596259984 3502770961 3887254374 3142737108 1886612896 3095438817 1219503978 371996488 113298408 3806544576 2055961459 555895934 353075623 972151323 3681048241 3873126812 40111145 3646230061 3754727185 2208488227 294232019 1165724662 1010109185 1864057231 470866617 3931903062 4182331642 3468647735 3312677438 4124336413 1705371550 1387086766 298325648 6946736 2189367928 788872624 714599733 1681859915 1657630272 2657153236 4252484815 706443579 2123336861 3380377779 3429989141 2046631914 2296619569 20743656 1960899749 2921059502 2657856780 2132463502 382629097 2119437200 1317681358 727833375 1490274080 1853227123 680927134 753564996 1391763339 1804371091 2458111481 515742264 3081137745 3859013698 1727311027 1239842461 3056949845 2059277036 156558486 4258684461 872442457 2128921388 2387969046 2240149579 2325738784 3638917152 1621243672 2934016072 1531533766 1365933004 635522335 227028024 1680901979 926735002 2734826916 2499511362 1438254781 2939326553 1138162819 3579971562 722902840 2483973436 3958209533 2035663489 2771291689 3200425635 3534190665 353420108 731540502 1781536800 283383843 761317975 892804952 2845740326 2447094063 4021521508 2718772970 1352307489 255 362436" option to reproduce the execution 0.09/0.10 c #vars 4666 0.09/0.10 c #constraints 12693 0.19/0.25 c BCD2: Hardening is enabled. 0.19/0.25 c BCD2: BiasedSearch is enabled. 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 0 0.19/0.27 c 0.0s | 0 | 1471 | 0 | 5731 0 | 321 | 594 0.19/0.27 c #cpu_time = 0.018s 0.19/0.27 c #wall_clock_time = 0.018s 0.19/0.27 c #decision = 1471 0.19/0.27 c #random_decision = 2 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 o 1472 0.19/0.27 c BCD2: updating upper bound: 2273 -> 1471 0.29/0.30 c BCD2: 0 <= obj <= 1471 0.29/0.30 c BCD2: #cores=0, #unrelaxed=2273, #relaxed=0, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.31 c 0.0s | 0 | 1 | 0 | 5731 0 | 321 | 594 0.29/0.31 c #cpu_time = 0.005s 0.29/0.31 c #wall_clock_time = 0.005s 0.29/0.31 c #decision = 1 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 2: cost of the new core is >=1 0.29/0.31 c lower bound updated to 1 0.29/0.31 c BCD2: 1 <= obj <= 1471 0.29/0.31 c BCD2: #cores=1, #unrelaxed=2271, #relaxed=2, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.33 c 0.0s | 0 | 2 | 0 | 5731 0 | 321 | 594 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 2 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 2: cost of the new core is >=1 0.29/0.33 c lower bound updated to 2 0.29/0.33 c BCD2: 2 <= obj <= 1471 0.29/0.33 c BCD2: #cores=2, #unrelaxed=2269, #relaxed=4, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=3 bias=3/4 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.33 c 0.0s | 0 | 42 | 0 | 5731 0 | 321 | 594 0.29/0.33 c #cpu_time = 0.005s 0.29/0.33 c #wall_clock_time = 0.005s 0.29/0.33 c #decision = 42 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 8: cost of the new core is >=1 0.29/0.33 c lower bound updated to 3 0.29/0.33 c BCD2: 3 <= obj <= 1471 0.29/0.33 c BCD2: #cores=3, #unrelaxed=2261, #relaxed=12, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=4 bias=4/5 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.34 c 0.0s | 0 | 40 | 0 | 5731 0 | 321 | 594 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 = 40 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 3: cost of the new core is >=1 0.29/0.34 c lower bound updated to 4 0.29/0.35 c BCD2: 4 <= obj <= 1471 0.29/0.35 c BCD2: #cores=4, #unrelaxed=2258, #relaxed=15, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=5 bias=5/6 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.36 c 0.0s | 0 | 49 | 0 | 5731 0 | 321 | 594 0.29/0.36 c #cpu_time = 0.006s 0.29/0.36 c #wall_clock_time = 0.006s 0.29/0.36 c #decision = 49 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.36 c lower bound updated to 5 0.29/0.36 c BCD2: 5 <= obj <= 1471 0.29/0.36 c BCD2: #cores=5, #unrelaxed=2247, #relaxed=26, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=6 bias=6/7 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.36 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.37 c 0.0s | 0 | 88 | 0 | 5731 0 | 321 | 594 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 88 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 39: cost of the new core is >=1 0.29/0.37 c lower bound updated to 6 0.29/0.37 c BCD2: 6 <= obj <= 1471 0.29/0.37 c BCD2: #cores=6, #unrelaxed=2208, #relaxed=65, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=7 bias=7/8 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.37 c 0.0s | 0 | 111 | 0 | 5731 0 | 321 | 594 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 111 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 32: cost of the new core is >=1 0.29/0.37 c lower bound updated to 7 0.29/0.37 c BCD2: 7 <= obj <= 1471 0.29/0.37 c BCD2: #cores=7, #unrelaxed=2176, #relaxed=97, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.38 c 0.0s | 0 | 161 | 0 | 5731 0 | 321 | 594 0.29/0.38 c #cpu_time = 0.005s 0.29/0.38 c #wall_clock_time = 0.005s 0.29/0.38 c #decision = 161 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 37: cost of the new core is >=1 0.29/0.38 c lower bound updated to 8 0.29/0.38 c BCD2: 8 <= obj <= 1471 0.29/0.38 c BCD2: #cores=8, #unrelaxed=2139, #relaxed=134, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.39 c 0.0s | 0 | 144 | 0 | 5731 0 | 321 | 594 0.29/0.39 c #cpu_time = 0.006s 0.29/0.39 c #wall_clock_time = 0.006s 0.29/0.39 c #decision = 144 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 3: cost of the new core is >=1 0.29/0.39 c lower bound updated to 9 0.29/0.39 c BCD2: 9 <= obj <= 1471 0.29/0.39 c BCD2: #cores=9, #unrelaxed=2136, #relaxed=137, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.29/0.40 c 0.0s | 0 | 187 | 0 | 5731 0 | 321 | 594 0.29/0.40 c #cpu_time = 0.006s 0.29/0.40 c #wall_clock_time = 0.006s 0.29/0.40 c #decision = 187 0.29/0.40 c #random_decision = 0 0.29/0.40 c #conflict = 0 0.29/0.40 c #restart = 0 0.29/0.40 c BCD2: found a new core of size 39: cost of the new core is >=1 0.29/0.40 c lower bound updated to 10 0.39/0.40 c BCD2: 10 <= obj <= 1471 0.39/0.40 c BCD2: #cores=10, #unrelaxed=2097, #relaxed=176, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 5731 0 | 321 | 594 0.39/0.41 c 0.0s | 0 | 400 | 0 | 5731 0 | 321 | 594 0.39/0.41 c #cpu_time = 0.008s 0.39/0.41 c #wall_clock_time = 0.008s 0.39/0.41 c #decision = 400 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 64: cost of the new core is >=1 0.39/0.41 c lower bound updated to 11 0.39/0.41 c BCD2: 11 <= obj <= 1471 0.39/0.41 c BCD2: #cores=11, #unrelaxed=2033, #relaxed=240, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=12 bias=12/13 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.41 c 0.0s | 0 | 377 | 0 | 5731 0 | 321 | 594 0.39/0.41 c #cpu_time = 0.006s 0.39/0.41 c #wall_clock_time = 0.006s 0.39/0.41 c #decision = 377 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 8: cost of the new core is >=1 0.39/0.41 c lower bound updated to 12 0.39/0.41 c BCD2: 12 <= obj <= 1471 0.39/0.41 c BCD2: #cores=12, #unrelaxed=2025, #relaxed=248, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=13 bias=13/14 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.42 c 0.0s | 0 | 667 | 0 | 5731 0 | 321 | 594 0.39/0.42 c #cpu_time = 0.007s 0.39/0.42 c #wall_clock_time = 0.007s 0.39/0.42 c #decision = 667 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.42 c lower bound updated to 13 0.39/0.42 c BCD2: 13 <= obj <= 1471 0.39/0.42 c BCD2: #cores=13, #unrelaxed=2014, #relaxed=259, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 5731 0 | 321 | 594 0.39/0.43 c 0.0s | 0 | 695 | 0 | 5731 0 | 321 | 594 0.39/0.43 c #cpu_time = 0.007s 0.39/0.43 c #wall_clock_time = 0.007s 0.39/0.43 c #decision = 695 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 33: cost of the new core is >=1 0.39/0.43 c lower bound updated to 14 0.39/0.43 c BCD2: 14 <= obj <= 1471 0.39/0.43 c BCD2: #cores=14, #unrelaxed=1981, #relaxed=292, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=15 bias=15/16 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.44 c 0.0s | 0 | 839 | 0 | 5731 0 | 321 | 594 0.39/0.44 c #cpu_time = 0.007s 0.39/0.44 c #wall_clock_time = 0.007s 0.39/0.44 c #decision = 839 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 33: cost of the new core is >=1 0.39/0.44 c lower bound updated to 15 0.39/0.44 c BCD2: 15 <= obj <= 1471 0.39/0.44 c BCD2: #cores=15, #unrelaxed=1948, #relaxed=325, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=16 bias=16/17 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.45 c 0.0s | 0 | 847 | 0 | 5731 0 | 321 | 594 0.39/0.45 c #cpu_time = 0.007s 0.39/0.45 c #wall_clock_time = 0.007s 0.39/0.45 c #decision = 847 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: found a new core of size 48: cost of the new core is >=1 0.39/0.45 c lower bound updated to 16 0.39/0.45 c BCD2: 16 <= obj <= 1471 0.39/0.45 c BCD2: #cores=16, #unrelaxed=1900, #relaxed=373, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 5731 0 | 321 | 594 0.39/0.46 c 0.0s | 0 | 1217 | 0 | 5731 0 | 321 | 594 0.39/0.46 c #cpu_time = 0.008s 0.39/0.46 c #wall_clock_time = 0.008s 0.39/0.46 c #decision = 1217 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 58: cost of the new core is >=1 0.39/0.46 c lower bound updated to 17 0.39/0.46 c BCD2: 17 <= obj <= 1471 0.39/0.46 c BCD2: #cores=17, #unrelaxed=1842, #relaxed=431, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=18 bias=18/19 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.47 c 0.0s | 0 | 1490 | 0 | 5731 0 | 321 | 594 0.39/0.47 c #cpu_time = 0.008s 0.39/0.47 c #wall_clock_time = 0.008s 0.39/0.47 c #decision = 1490 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 134: cost of the new core is >=1 0.39/0.47 c lower bound updated to 18 0.39/0.47 c BCD2: 18 <= obj <= 1471 0.39/0.47 c BCD2: #cores=18, #unrelaxed=1708, #relaxed=565, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 5731 0 | 321 | 594 0.39/0.48 c 0.0s | 0 | 1521 | 0 | 5731 0 | 321 | 594 0.39/0.48 c #cpu_time = 0.008s 0.39/0.48 c #wall_clock_time = 0.008s 0.39/0.48 c #decision = 1521 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 119: cost of the new core is >=1 0.39/0.48 c lower bound updated to 19 0.39/0.48 c BCD2: 19 <= obj <= 1471 0.39/0.48 c BCD2: #cores=19, #unrelaxed=1589, #relaxed=684, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=20 bias=20/21 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.39/0.49 c 0.0s | 0 | 1443 | 0 | 5731 0 | 321 | 594 0.39/0.49 c #cpu_time = 0.008s 0.39/0.49 c #wall_clock_time = 0.008s 0.39/0.49 c #decision = 1443 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 37: cost of the new core is >=1 0.39/0.49 c lower bound updated to 20 0.39/0.49 c BCD2: 20 <= obj <= 1471 0.39/0.49 c BCD2: #cores=20, #unrelaxed=1552, #relaxed=721, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=21 bias=21/22 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 594 0.49/0.51 c 0.0s | 0 | 2035 | 0 | 5731 0 | 321 | 594 0.49/0.51 c #cpu_time = 0.011s 0.49/0.51 c #wall_clock_time = 0.011s 0.49/0.51 c #decision = 2035 0.49/0.51 c #random_decision = 2 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 o 40 0.49/0.51 c BCD2: updating upper bound: 1471 -> 39 0.49/0.52 c BCD2: 20 <= obj <= 39 0.49/0.52 c BCD2: #cores=20, #unrelaxed=1552, #relaxed=721, #hardened=0 0.49/0.52 c BCD2: #sat=2 #unsat=21 bias=21/23 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 5731 0 | 321 | 595 0.49/0.55 c 0.0s | 0 | 8228 | 23 | 5731 0 | 321 | 595 0.49/0.55 c #cpu_time = 0.031s 0.49/0.55 c #wall_clock_time = 0.031s 0.49/0.55 c #decision = 8228 0.49/0.55 c #random_decision = 1 0.49/0.55 c #conflict = 23 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: relaxing 41 and merging with 8 cores into a new core of size 176: cost of the new core is >=9 0.49/0.55 c lower bound updated to 21 0.49/0.55 c BCD2: 21 <= obj <= 39 0.49/0.55 c BCD2: #cores=13, #unrelaxed=1511, #relaxed=762, #hardened=0 0.49/0.55 c BCD2: #sat=2 #unsat=22 bias=22/24 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 | 5731 0 | 343 | 595 0.59/0.60 c 0.0s | 1 | 1902 | 100 | 6305 0 | 343 | 631 0.59/0.67 c 0.1s | 2 | 5085 | 250 | 6936 0 | 343 | 631 0.69/0.79 c 0.2s | 3 | 7480 | 475 | 7630 0 | 343 | 631 1.10/1.11 c 0.6s | 4 | 10038 | 813 | 8393 0 | 343 | 631 1.10/1.15 c 0.6s | 4 | 11468 | 821 | 8393 0 | 343 | 631 1.10/1.15 c #cpu_time = 0.587s 1.10/1.15 c #wall_clock_time = 0.589s 1.10/1.15 c #decision = 11468 1.10/1.15 c #random_decision = 2 1.10/1.15 c #conflict = 821 1.10/1.15 c #restart = 4 1.10/1.15 o 32 1.10/1.15 c BCD2: updating upper bound: 39 -> 31 1.10/1.16 c BCD2: 21 <= obj <= 31 1.10/1.16 c BCD2: #cores=13, #unrelaxed=1511, #relaxed=762, #hardened=0 1.10/1.16 c BCD2: #sat=3 #unsat=22 bias=22/25 1.10/1.16 c Solving starts ... 1.10/1.16 c ============================[ Search Statistics ]============================ 1.10/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.16 c | | | | Limit GC | Var | Constra 1.10/1.16 c ============================================================================= 1.10/1.16 c 0.0s | 0 | 0 | 0 | 8393 0 | 343 | 632 1.20/1.22 c 0.1s | 1 | 1721 | 100 | 8393 0 | 343 | 632 1.20/1.28 c 0.1s | 2 | 3404 | 250 | 8393 0 | 343 | 632 1.29/1.35 c 0.2s | 3 | 5338 | 475 | 8393 0 | 343 | 632 1.39/1.49 c 0.3s | 4 | 8303 | 813 | 9233 0 | 343 | 632 1.59/1.67 c 0.5s | 5 | 11711 | 1320 | 10157 0 | 343 | 632 1.99/2.02 c 0.9s | 6 | 16143 | 2081 | 10157 0 | 343 | 632 2.49/2.55 c 1.4s | 7 | 23066 | 3223 | 11173 0 | 343 | 632 3.29/3.34 c 2.2s | 8 | 30734 | 4936 | 12291 0 | 343 | 632 4.59/4.64 c 3.5s | 9 | 41780 | 7506 | 13521 0 | 343 | 632 6.39/6.47 c 5.3s | 10 | 59220 | 11361 | 14874 0 | 343 | 632 8.39/8.47 c 7.3s | 10 | 74847 | 14461 | 14874 0 | 343 | 632 9.79/9.90 c 8.7s | 11 | 83720 | 17144 | 16362 0 | 343 | 632 11.89/11.97 c 10.8s | 11 | 96488 | 20144 | 16362 1 | 343 | 632 13.89/13.97 c 12.8s | 11 | 108134 | 23344 | 16362 1 | 343 | 632 15.59/15.66 c 14.5s | 12 | 116550 | 25819 | 17999 1 | 343 | 632 17.59/17.68 c 16.5s | 12 | 127016 | 28619 | 17999 1 | 343 | 632 19.69/19.71 c 18.5s | 12 | 136284 | 31419 | 17999 2 | 343 | 632 21.68/21.75 c 20.6s | 12 | 148046 | 34719 | 17999 2 | 343 | 632 23.78/23.81 c 22.6s | 12 | 156753 | 37619 | 17999 2 | 343 | 632 24.68/24.70 c 23.5s | 13 | 161152 | 38832 | 19799 2 | 343 | 632 26.68/26.74 c 25.6s | 13 | 169486 | 41232 | 19799 2 | 343 | 632 28.69/28.74 c 27.6s | 13 | 176450 | 43432 | 19799 3 | 343 | 632 30.79/30.81 c 29.6s | 13 | 186862 | 46232 | 19799 3 | 343 | 632 32.78/32.81 c 31.7s | 13 | 196918 | 48832 | 19799 3 | 343 | 632 34.88/34.93 c 33.8s | 13 | 207352 | 51532 | 19799 3 | 343 | 632 36.88/36.96 c 35.8s | 13 | 216364 | 53932 | 19799 4 | 343 | 632 38.89/38.97 c 37.8s | 13 | 228187 | 57532 | 21779 4 | 343 | 632 39.39/39.43 c 38.3s | 14 | 231306 | 58352 | 21779 4 | 343 | 632 41.39/41.45 c 40.3s | 14 | 240611 | 60552 | 21779 4 | 343 | 632 43.49/43.50 c 42.3s | 14 | 250363 | 63452 | 21779 4 | 343 | 632 45.49/45.57 c 44.4s | 14 | 260545 | 66552 | 21779 4 | 343 | 632 47.49/47.59 c 46.4s | 14 | 269951 | 69152 | 21779 5 | 343 | 632 50.48/50.60 c 49.4s | 14 | 273550 | 70352 | 21779 5 | 343 | 632 52.58/52.62 c 51.5s | 14 | 282327 | 72952 | 21779 5 | 343 | 632 54.58/54.65 c 53.5s | 14 | 294617 | 76152 | 21779 5 | 343 | 632 56.58/56.66 c 55.5s | 14 | 304676 | 78752 | 21779 5 | 343 | 632 58.58/58.69 c 57.5s | 14 | 311663 | 80752 | 21779 6 | 343 | 632 60.68/60.75 c 59.6s | 14 | 321355 | 83452 | 21779 6 | 343 | 632 62.68/62.77 c 61.6s | 14 | 330620 | 86152 | 21779 6 | 343 | 632 63.78/63.89 c 62.7s | 15 | 335021 | 87632 | 23957 6 | 343 | 632 65.88/65.93 c 64.8s | 15 | 344796 | 90132 | 23957 6 | 343 | 632 67.88/67.94 c 66.8s | 15 | 352606 | 92632 | 23957 6 | 343 | 632 69.88/69.95 c 68.8s | 15 | 360385 | 95032 | 23957 7 | 343 | 632 71.98/72.02 c 70.9s | 15 | 369186 | 98032 | 23957 7 | 343 | 632 73.98/74.02 c 72.9s | 15 | 374562 | 99632 | 23957 7 | 343 | 632 75.99/76.06 c 74.9s | 15 | 381790 | 102132 | 23957 7 | 343 | 632 77.98/78.09 c 76.9s | 15 | 389562 | 104432 | 23957 7 | 343 | 632 80.07/80.17 c 79.0s | 15 | 397089 | 105932 | 23957 7 | 343 | 632 82.17/82.22 c 81.1s | 15 | 403622 | 107632 | 23957 7 | 343 | 632 84.28/84.31 c 83.1s | 15 | 410872 | 110032 | 23957 8 | 343 | 632 86.28/86.37 c 85.2s | 15 | 419292 | 112332 | 23957 8 | 343 | 632 88.38/88.40 c 87.2s | 15 | 427388 | 115032 | 23957 8 | 343 | 632 90.38/90.46 c 89.3s | 15 | 433937 | 117432 | 23957 8 | 343 | 632 92.38/92.49 c 91.3s | 15 | 441597 | 119632 | 23957 8 | 343 | 632 94.47/94.54 c 93.4s | 15 | 448057 | 121732 | 23957 9 | 343 | 632 96.57/96.60 c 95.4s | 15 | 456699 | 124332 | 23957 9 | 343 | 632 98.57/98.65 c 97.5s | 15 | 465382 | 127132 | 23957 9 | 343 | 632 100.57/100.67 c 99.5s | 15 | 475396 | 130232 | 26353 9 | 343 | 632 101.67/101.70 c 100s | 16 | 479642 | 131552 | 26353 9 | 343 | 632 103.98/104.09 c 102s | 16 | 483575 | 132352 | 26353 9 | 343 | 632 106.07/106.14 c 104s | 16 | 491197 | 134652 | 26353 9 | 343 | 632 108.17/108.23 c 107s | 16 | 497585 | 136852 | 26353 9 | 343 | 632 110.18/110.23 c 109s | 16 | 504723 | 138952 | 26353 10 | 343 | 632 112.28/112.30 c 111s | 16 | 511851 | 141352 | 26353 10 | 343 | 632 114.27/114.36 c 113s | 16 | 521561 | 144252 | 26353 10 | 343 | 632 116.37/116.43 c 115s | 16 | 528051 | 146452 | 26353 10 | 343 | 632 118.37/118.45 c 117s | 16 | 534549 | 148552 | 26353 10 | 343 | 632 120.47/120.50 c 119s | 16 | 539651 | 150352 | 26353 10 | 343 | 632 122.57/122.62 c 121s | 16 | 544241 | 152052 | 26353 10 | 343 | 632 124.57/124.66 c 123s | 16 | 552469 | 154352 | 26353 11 | 343 | 632 126.68/126.71 c 125s | 16 | 560781 | 156852 | 26353 11 | 343 | 632 128.68/128.74 c 127s | 16 | 568848 | 159452 | 26353 11 | 343 | 632 130.67/130.76 c 129s | 16 | 577218 | 161652 | 26353 11 | 343 | 632 132.77/132.81 c 131s | 16 | 583340 | 163752 | 26353 11 | 343 | 632 134.77/134.83 c 133s | 16 | 590719 | 165852 | 26353 11 | 343 | 632 136.77/136.88 c 135s | 16 | 597365 | 168152 | 26353 12 | 343 | 632 138.77/138.89 c 137s | 16 | 604910 | 170652 | 26353 12 | 343 | 632 140.87/140.93 c 139s | 16 | 614590 | 173452 | 26353 12 | 343 | 632 142.87/142.97 c 141s | 16 | 621185 | 175952 | 26353 12 | 343 | 632 144.97/145.00 c 143s | 16 | 628418 | 178652 | 26353 12 | 343 | 632 146.97/147.02 c 145s | 16 | 631740 | 179852 | 26353 12 | 343 | 632 149.27/149.33 c 148s | 16 | 638965 | 182352 | 26353 13 | 343 | 632 151.27/151.36 c 150s | 16 | 646240 | 184652 | 26353 13 | 343 | 632 153.37/153.40 c 152s | 16 | 656766 | 187352 | 26353 13 | 343 | 632 155.37/155.45 c 154s | 16 | 667486 | 190052 | 26353 13 | 343 | 632 157.47/157.51 c 156s | 16 | 677799 | 192652 | 26353 13 | 343 | 632 159.47/159.53 c 158s | 16 | 687427 | 195552 | 28989 13 | 343 | 632 161.17/161.20 c 160s | 17 | 693357 | 197432 | 28989 13 | 343 | 632 163.57/163.62 c 162s | 17 | 695101 | 197532 | 28989 14 | 343 | 632 165.57/165.68 c 164s | 17 | 696635 | 198032 | 28989 14 | 343 | 632 167.67/167.75 c 166s | 17 | 705485 | 200932 | 28989 14 | 343 | 632 169.77/169.80 c 168s | 17 | 715408 | 203832 | 28989 14 | 343 | 632 171.76/171.87 c 170s | 17 | 724225 | 206632 | 28989 14 | 343 | 632 173.87/173.93 c 172s | 17 | 732716 | 209332 | 28989 14 | 343 | 632 175.86/175.98 c 174s | 17 | 740630 | 211732 | 28989 14 | 343 | 632 177.96/178.03 c 176s | 17 | 748419 | 214032 | 28989 14 | 343 | 632 179.96/180.05 c 178s | 17 | 752853 | 215432 | 28989 15 | 343 | 632 182.06/182.11 c 180s | 17 | 762438 | 218232 | 28989 15 | 343 | 632 184.07/184.19 c 183s | 17 | 770115 | 220732 | 28989 15 | 343 | 632 186.17/186.23 c 185s | 17 | 777549 | 222832 | 28989 15 | 343 | 632 188.17/188.29 c 187s | 17 | 784129 | 225032 | 28989 15 | 343 | 632 190.27/190.32 c 189s | 17 | 790912 | 227432 | 28989 15 | 343 | 632 192.36/192.43 c 191s | 17 | 797950 | 229432 | 28989 15 | 343 | 632 194.36/194.44 c 193s | 17 | 804321 | 231332 | 28989 16 | 343 | 632 196.36/196.50 c 195s | 17 | 812624 | 233932 | 28989 16 | 343 | 632 198.46/198.53 c 197s | 17 | 823157 | 236432 | 28989 16 | 343 | 632 200.56/200.61 c 199s | 17 | 832083 | 238932 | 28989 16 | 343 | 632 202.56/202.62 c 201s | 17 | 840385 | 241332 | 28989 16 | 343 | 632 204.57/204.65 c 203s | 17 | 848189 | 243632 | 28989 16 | 343 | 632 206.66/206.77 c 205s | 17 | 854355 | 245632 | 28989 16 | 343 | 632 208.76/208.81 c 207s | 17 | 859477 | 247432 | 28989 17 | 343 | 632 210.76/210.82 c 209s | 17 | 866810 | 249732 | 28989 17 | 343 | 632 212.75/212.88 c 211s | 17 | 873674 | 252032 | 28989 17 | 343 | 632 214.85/214.91 c 213s | 17 | 881151 | 254232 | 28989 17 | 343 | 632 216.85/216.96 c 215s | 17 | 887655 | 256332 | 28989 17 | 343 | 632 218.97/219.01 c 217s | 17 | 892148 | 257732 | 28989 17 | 343 | 632 220.96/221.10 c 219s | 17 | 898525 | 259732 | 28989 17 | 343 | 632 223.06/223.16 c 221s | 17 | 904319 | 261632 | 28989 17 | 343 | 632 225.16/225.22 c 224s | 17 | 910301 | 263532 | 28989 18 | 343 | 632 227.55/227.64 c 226s | 17 | 914926 | 265232 | 28989 18 | 343 | 632 229.97/230.01 c 228s | 17 | 917832 | 266032 | 28989 18 | 343 | 632 231.96/232.08 c 230s | 17 | 926085 | 267732 | 28989 18 | 343 | 632 234.06/234.12 c 232s | 17 | 935020 | 270232 | 28989 18 | 343 | 632 236.06/236.19 c 235s | 17 | 945184 | 272732 | 28989 18 | 343 | 632 238.16/238.22 c 237s | 17 | 952747 | 275032 | 28989 18 | 343 | 632 240.16/240.27 c 239s | 17 | 961872 | 277332 | 28989 18 | 343 | 632 242.25/242.36 c 241s | 17 | 969843 | 279432 | 28989 19 | 343 | 632 244.35/244.44 c 243s | 17 | 979283 | 282132 | 28989 19 | 343 | 632 246.36/246.45 c 245s | 17 | 988178 | 285032 | 28989 19 | 343 | 632 248.35/248.46 c 247s | 17 | 993429 | 287132 | 28989 19 | 343 | 632 250.35/250.47 c 249s | 17 | 999093 | 288932 | 28989 19 | 343 | 632 252.45/252.51 c 251s | 17 | 1004224 | 290732 | 28989 19 | 343 | 632 254.45/254.53 c 253s | 17 | 1010333 | 292832 | 28989 19 | 343 | 632 256.45/256.58 c 255s | 17 | 1016431 | 294932 | 31888 19 | 343 | 632 257.85/257.98 c 256s | 18 | 1020445 | 296252 | 31888 19 | 343 | 632 261.76/261.82 c 260s | 18 | 1022031 | 296352 | 31888 20 | 343 | 632 263.75/263.87 c 262s | 18 | 1027979 | 298652 | 31888 20 | 343 | 632 265.75/265.88 c 264s | 18 | 1037042 | 300752 | 31888 20 | 343 | 632 267.75/267.89 c 266s | 18 | 1043788 | 302752 | 31888 20 | 343 | 632 269.75/269.89 c 268s | 18 | 1049512 | 304952 | 31888 20 | 343 | 632 271.95/272.00 c 270s | 18 | 1054323 | 306952 | 31888 20 | 343 | 632 273.96/274.00 c 272s | 18 | 1059567 | 308952 | 31888 20 | 343 | 632 275.95/276.02 c 274s | 18 | 1063947 | 310752 | 31888 20 | 343 | 632 277.95/278.05 c 276s | 18 | 1068280 | 312652 | 31888 20 | 343 | 632 279.95/280.08 c 278s | 18 | 1072962 | 314552 | 31888 20 | 343 | 632 281.95/282.09 c 280s | 18 | 1076841 | 316352 | 31888 21 | 343 | 632 285.45/285.59 c 284s | 18 | 1079017 | 317352 | 31888 21 | 343 | 632 287.55/287.60 c 286s | 18 | 1087185 | 319752 | 31888 21 | 343 | 632 289.55/289.63 c 288s | 18 | 1094646 | 322152 | 31888 21 | 343 | 632 291.55/291.65 c 290s | 18 | 1101399 | 324552 | 31888 21 | 343 | 632 293.55/293.70 c 292s | 18 | 1108021 | 326852 | 31888 21 | 343 | 632 295.65/295.78 c 294s | 18 | 1114838 | 328952 | 31888 21 | 343 | 632 297.75/297.80 c 296s | 18 | 1122283 | 330952 | 31888 21 | 343 | 632 299.84/299.94 c 298s | 18 | 1128987 | 332752 | 31888 22 | 343 | 632 301.84/301.97 c 300s | 18 | 1134899 | 334752 | 31888 22 | 343 | 632 303.84/303.98 c 302s | 18 | 1140046 | 336752 | 31888 22 | 343 | 632 305.94/306.04 c 304s | 18 | 1146644 | 338752 | 31888 22 | 343 | 632 307.95/308.07 c 306s | 18 | 1152494 | 340952 | 31888 22 | 343 | 632 309.94/310.07 c 308s | 18 | 1158350 | 342952 | 31888 22 | 343 | 632 311.94/312.10 c 310s | 18 | 1163710 | 344952 | 31888 22 | 343 | 632 314.04/314.19 c 313s | 18 | 1168932 | 346752 | 31888 22 | 343 | 632 316.14/316.23 c 315s | 18 | 1173462 | 348452 | 31888 22 | 343 | 632 318.44/318.50 c 317s | 18 | 1177909 | 350252 | 31888 23 | 343 | 632 320.44/320.52 c 319s | 18 | 1184463 | 352652 | 31888 23 | 343 | 632 322.44/322.53 c 321s | 18 | 1189783 | 354852 | 31888 23 | 343 | 632 324.44/324.56 c 323s | 18 | 1195191 | 357152 | 31888 23 | 343 | 632 326.44/326.59 c 325s | 18 | 1200626 | 359452 | 31888 23 | 343 | 632 328.54/328.64 c 327s | 18 | 1205498 | 361652 | 31888 23 | 343 | 632 330.54/330.67 c 329s | 18 | 1209450 | 363652 | 31888 23 | 343 | 632 332.64/332.72 c 331s | 18 | 1212381 | 364752 | 31888 23 | 343 | 632 334.64/334.75 c 333s | 18 | 1219339 | 366952 | 31888 23 | 343 | 632 336.65/336.79 c 335s | 18 | 1223213 | 368152 | 31888 24 | 343 | 632 338.75/338.84 c 337s | 18 | 1229536 | 370252 | 31888 24 | 343 | 632 340.74/340.87 c 339s | 18 | 1237829 | 373052 | 31888 24 | 343 | 632 342.84/342.93 c 341s | 18 | 1245277 | 375552 | 31888 24 | 343 | 632 344.84/344.94 c 343s | 18 | 1252405 | 377852 | 31888 24 | 343 | 632 346.94/347.00 c 345s | 18 | 1258980 | 380052 | 31888 24 | 343 | 632 348.94/349.01 c 347s | 18 | 1264828 | 382152 | 31888 24 | 343 | 632 350.94/351.07 c 349s | 18 | 1270971 | 384252 | 31888 24 | 343 | 632 353.05/353.14 c 351s | 18 | 1276573 | 386252 | 31888 25 | 343 | 632 355.13/355.26 c 354s | 18 | 1282604 | 388352 | 31888 25 | 343 | 632 357.24/357.30 c 356s | 18 | 1289227 | 390852 | 31888 25 | 343 | 632 359.24/359.38 c 358s | 18 | 1297168 | 393152 | 31888 25 | 343 | 632 361.44/361.50 c 360s | 18 | 1303447 | 395352 | 31888 25 | 343 | 632 363.44/363.55 c 362s | 18 | 1309265 | 397352 | 31888 25 | 343 | 632 365.54/365.65 c 364s | 18 | 1315762 | 399352 | 31888 25 | 343 | 632 367.64/367.77 c 366s | 18 | 1322078 | 401152 | 31888 25 | 343 | 632 369.74/369.84 c 368s | 18 | 1327184 | 402652 | 31888 25 | 343 | 632 371.74/371.87 c 370s | 18 | 1331440 | 404552 | 31888 26 | 343 | 632 373.84/373.93 c 372s | 18 | 1337257 | 406552 | 31888 26 | 343 | 632 375.83/375.97 c 374s | 18 | 1345050 | 409152 | 31888 26 | 343 | 632 377.93/378.03 c 376s | 18 | 1352800 | 411752 | 31888 26 | 343 | 632 379.93/380.08 c 378s | 18 | 1359369 | 414152 | 31888 26 | 343 | 632 382.03/382.13 c 380s | 18 | 1366253 | 416552 | 31888 26 | 343 | 632 384.03/384.13 c 382s | 18 | 1370415 | 418252 | 31888 26 | 343 | 632 386.14/386.23 c 385s | 18 | 1374742 | 420152 | 31888 26 | 343 | 632 388.24/388.34 c 387s | 18 | 1380810 | 421952 | 31888 27 | 343 | 632 390.23/390.39 c 389s | 18 | 1387595 | 424152 | 31888 27 | 343 | 632 398.33/398.46 c 397s | 18 | 1388373 | 424452 | 31888 27 | 343 | 632 400.44/400.51 c 399s | 18 | 1392341 | 425652 | 31888 27 | 343 | 632 402.43/402.60 c 401s | 18 | 1398408 | 427652 | 31888 27 | 343 | 632 404.53/404.66 c 403s | 18 | 1403574 | 429552 | 31888 27 | 343 | 632 406.63/406.77 c 405s | 18 | 1409683 | 431552 | 31888 27 | 343 | 632 408.73/408.87 c 407s | 18 | 1416938 | 433652 | 31888 27 | 343 | 632 410.83/410.97 c 409s | 18 | 1424643 | 435652 | 31888 27 | 343 | 632 412.83/412.99 c 411s | 18 | 1428771 | 437252 | 31888 27 | 343 | 632 414.93/415.06 c 413s | 18 | 1434304 | 438952 | 31888 28 | 343 | 632 416.93/417.07 c 415s | 18 | 1443538 | 441852 | 35077 28 | 343 | 632 418.92/419.00 c 417s | 19 | 1451400 | 444482 | 35077 28 | 343 | 632 420.93/421.06 c 419s | 19 | 1456576 | 445682 | 35077 28 | 343 | 632 422.93/423.10 c 421s | 19 | 1466623 | 448682 | 35077 28 | 343 | 632 425.03/425.13 c 423s | 19 | 1478581 | 451682 | 35077 28 | 343 | 632 427.02/427.17 c 426s | 19 | 1487082 | 454482 | 35077 28 | 343 | 632 429.12/429.22 c 428s | 19 | 1495138 | 457082 | 35077 28 | 343 | 632 431.13/431.24 c 430s | 19 | 1501309 | 459382 | 35077 29 | 343 | 632 433.22/433.33 c 432s | 19 | 1503740 | 460282 | 35077 29 | 343 | 632 435.63/435.73 c 434s | 19 | 1509844 | 462382 | 35077 29 | 343 | 632 437.62/437.75 c 436s | 19 | 1519984 | 465482 | 35077 29 | 343 | 632 439.72/439.82 c 438s | 19 | 1531600 | 468682 | 35077 29 | 343 | 632 441.72/441.85 c 440s | 19 | 1542465 | 471682 | 35077 29 | 343 | 632 443.82/443.90 c 442s | 19 | 1554626 | 474682 | 35077 29 | 343 | 632 445.82/445.95 c 444s | 19 | 1562257 | 477082 | 35077 29 | 343 | 632 447.92/448.05 c 446s | 19 | 1567669 | 478882 | 35077 30 | 343 | 632 450.12/450.29 c 449s | 19 | 1573421 | 480982 | 35077 30 | 343 | 632 452.22/452.36 c 451s | 19 | 1583109 | 484182 | 35077 30 | 343 | 632 454.23/454.38 c 453s | 19 | 1591578 | 487082 | 35077 30 | 343 | 632 456.32/456.40 c 455s | 19 | 1599490 | 489782 | 35077 30 | 343 | 632 458.32/458.45 c 457s | 19 | 1608504 | 492482 | 35077 30 | 343 | 632 460.42/460.50 c 459s | 19 | 1622121 | 495682 | 35077 30 | 343 | 632 462.42/462.55 c 461s | 19 | 1631510 | 498482 | 35077 31 | 343 | 632 464.42/464.55 c 463s | 19 | 1641401 | 501482 | 35077 31 | 343 | 632 467.82/467.94 c 466s | 19 | 1649333 | 504182 | 35077 31 | 343 | 632 469.82/469.96 c 468s | 19 | 1652793 | 505082 | 35077 31 | 343 | 632 471.93/472.00 c 470s | 19 | 1662987 | 507982 | 35077 31 | 343 | 632 473.92/474.08 c 472s | 19 | 1673044 | 510782 | 35077 31 | 343 | 632 476.02/476.13 c 474s | 19 | 1680379 | 512982 | 35077 31 | 343 | 632 478.01/478.14 c 476s | 19 | 1687585 | 515182 | 35077 31 | 343 | 632 480.02/480.16 c 479s | 19 | 1695738 | 517282 | 35077 32 | 343 | 632 482.12/482.20 c 481s | 19 | 1705184 | 519882 | 35077 32 | 343 | 632 484.22/484.30 c 483s | 19 | 1712878 | 522382 | 35077 32 | 343 | 632 486.22/486.35 c 485s | 19 | 1721938 | 524982 | 35077 32 | 343 | 632 488.21/488.39 c 487s | 19 | 1730540 | 527582 | 35077 32 | 343 | 632 490.31/490.42 c 489s | 19 | 1736923 | 529782 | 35077 32 | 343 | 632 492.31/492.44 c 491s | 19 | 1743786 | 531982 | 35077 32 | 343 | 632 494.31/494.44 c 493s | 19 | 1749801 | 533982 | 35077 32 | 343 | 632 496.31/496.45 c 495s | 19 | 1755629 | 535882 | 35077 32 | 343 | 632 498.33/498.48 c 497s | 19 | 1762882 | 537982 | 35077 33 | 343 | 632 500.43/500.51 c 499s | 19 | 1770545 | 540482 | 35077 33 | 343 | 632 502.42/502.56 c 501s | 19 | 1776001 | 542182 | 35077 33 | 343 | 632 504.52/504.63 c 503s | 19 | 1783012 | 544482 | 35077 33 | 343 | 632 506.62/506.70 c 505s | 19 | 1791427 | 546782 | 35077 33 | 343 | 632 508.62/508.76 c 507s | 19 | 1798350 | 548882 | 35077 33 | 343 | 632 510.72/510.82 c 509s | 19 | 1804942 | 550982 | 35077 33 | 343 | 632 512.72/512.88 c 511s | 19 | 1810622 | 552882 | 35077 33 | 343 | 632 514.91/515.02 c 513s | 19 | 1816738 | 554782 | 35077 33 | 343 | 632 516.92/517.04 c 515s | 19 | 1822487 | 556582 | 35077 34 | 343 | 632 518.91/519.06 c 517s | 19 | 1828236 | 558482 | 35077 34 | 343 | 632 521.01/521.12 c 519s | 19 | 1837050 | 561082 | 35077 34 | 343 | 632 523.21/523.31 c 522s | 19 | 1844238 | 563382 | 35077 34 | 343 | 632 525.31/525.41 c 524s | 19 | 1850876 | 565282 | 35077 34 | 343 | 632 527.41/527.52 c 526s | 19 | 1858716 | 567382 | 35077 34 | 343 | 632 529.51/529.61 c 528s | 19 | 1864970 | 569382 | 35077 34 | 343 | 632 531.51/531.62 c 530s | 19 | 1871208 | 571382 | 35077 34 | 343 | 632 533.61/533.73 c 532s | 19 | 1877513 | 573282 | 35077 34 | 343 | 632 535.61/535.76 c 534s | 19 | 1883386 | 574982 | 35077 35 | 343 | 632 538.10/538.21 c 537s | 19 | 1886296 | 575882 | 35077 35 | 343 | 632 540.12/540.28 c 539s | 19 | 1895049 | 578282 | 35077 35 | 343 | 632 542.81/542.95 c 541s | 19 | 1900256 | 579782 | 35077 35 | 343 | 632 544.90/545.03 c 543s | 19 | 1906900 | 581882 | 35077 35 | 343 | 632 546.90/547.08 c 545s | 19 | 1914447 | 584182 | 35077 35 | 343 | 632 549.00/549.10 c 547s | 19 | 1921565 | 586382 | 35077 35 | 343 | 632 551.01/551.18 c 550s | 19 | 1929346 | 588782 | 35077 35 | 343 | 632 553.10/553.24 c 552s | 19 | 1936440 | 590882 | 35077 35 | 343 | 632 555.10/555.27 c 554s | 19 | 1942456 | 592782 | 35077 35 | 343 | 632 557.21/557.34 c 556s | 19 | 1949756 | 594982 | 35077 36 | 343 | 632 559.61/559.75 c 558s | 19 | 1955377 | 596582 | 35077 36 | 343 | 632 561.60/561.79 c 560s | 19 | 1965182 | 599382 | 35077 36 | 343 | 632 563.71/563.87 c 562s | 19 | 1974999 | 602182 | 35077 36 | 343 | 632 565.81/565.94 c 564s | 19 | 1981884 | 604382 | 35077 36 | 343 | 632 567.80/567.95 c 566s | 19 | 1988384 | 606482 | 35077 36 | 343 | 632 569.90/570.04 c 568s | 19 | 1994839 | 608482 | 35077 36 | 343 | 632 571.91/572.08 c 570s | 19 | 2003685 | 610882 | 35077 36 | 343 | 632 574.30/574.44 c 573s | 19 | 2010128 | 612882 | 35077 37 | 343 | 632 576.31/576.48 c 575s | 19 | 2018234 | 615282 | 35077 37 | 343 | 632 578.30/578.49 c 577s | 19 | 2026094 | 617582 | 35077 37 | 343 | 632 580.40/580.51 c 579s | 19 | 2034067 | 619982 | 35077 37 | 343 | 632 582.40/582.56 c 581s | 19 | 2041754 | 622182 | 35077 37 | 343 | 632 584.41/584.56 c 583s | 19 | 2050582 | 624382 | 35077 37 | 343 | 632 586.50/586.61 c 585s | 19 | 2057963 | 626582 | 35077 37 | 343 | 632 588.60/588.71 c 587s | 19 | 2064667 | 628682 | 35077 37 | 343 | 632 590.61/590.74 c 589s | 19 | 2070672 | 630482 | 35077 37 | 343 | 632 592.60/592.76 c 591s | 19 | 2076286 | 632282 | 35077 38 | 343 | 632 594.70/594.82 c 593s | 19 | 2083100 | 634182 | 35077 38 | 343 | 632 596.70/596.86 c 595s | 19 | 2092160 | 636582 | 35077 38 | 343 | 632 598.80/598.90 c 597s | 19 | 2101240 | 639282 | 35077 38 | 343 | 632 600.80/600.94 c 599s | 19 | 2108442 | 641582 | 35077 38 | 343 | 632 602.81/602.95 c 601s | 19 | 2113437 | 643482 | 35077 38 | 343 | 632 604.80/604.99 c 603s | 19 | 2119078 | 645382 | 35077 38 | 343 | 632 606.90/607.01 c 605s | 19 | 2125988 | 647482 | 35077 38 | 343 | 632 609.00/609.10 c 607s | 19 | 2131509 | 648982 | 35077 38 | 343 | 632 610.99/611.17 c 610s | 19 | 2137082 | 650582 | 35077 38 | 343 | 632 614.50/614.60 c 613s | 19 | 2139487 | 651082 | 35077 39 | 343 | 632 618.10/618.24 c 617s | 19 | 2145034 | 652282 | 35077 39 | 343 | 632 620.10/620.26 c 619s | 19 | 2157052 | 655282 | 35077 39 | 343 | 632 622.20/622.32 c 621s | 19 | 2165786 | 657782 | 35077 39 | 343 | 632 624.20/624.34 c 623s | 19 | 2173940 | 659982 | 35077 39 | 343 | 632 626.20/626.36 c 625s | 19 | 2180688 | 662082 | 38585 39 | 343 | 632 628.20/628.36 c 627s | 19 | 2189915 | 664282 | 38585 39 | 343 | 632 630.30/630.48 c 629s | 19 | 2196852 | 666382 | 38585 39 | 343 | 632 630.80/630.98 c 629s | 20 | 2198225 | 666827 | 38585 39 | 343 | 632 638.01/638.11 c 636s | 20 | 2203721 | 668127 | 38585 39 | 343 | 632 639.99/640.15 c 638s | 20 | 2206202 | 669027 | 38585 39 | 343 | 632 642.09/642.22 c 641s | 20 | 2212373 | 670927 | 38585 39 | 343 | 632 644.19/644.33 c 643s | 20 | 2218891 | 672927 | 38585 39 | 343 | 632 646.19/646.39 c 645s | 20 | 2224674 | 674927 | 38585 40 | 343 | 632 649.69/649.80 c 648s | 20 | 2230209 | 676927 | 38585 40 | 343 | 632 652.79/652.99 c 651s | 20 | 2238138 | 679127 | 38585 40 | 343 | 632 654.89/655.02 c 653s | 20 | 2245730 | 681527 | 38585 40 | 343 | 632 657.00/657.12 c 655s | 20 | 2254611 | 683927 | 38585 40 | 343 | 632 658.99/659.19 c 658s | 20 | 2259893 | 685627 | 38585 40 | 343 | 632 663.20/663.32 c 662s | 20 | 2264900 | 687227 | 38585 40 | 343 | 632 665.29/665.46 c 664s | 20 | 2269500 | 688627 | 38585 40 | 343 | 632 667.39/667.56 c 666s | 20 | 2273500 | 690027 | 38585 40 | 343 | 632 669.49/669.68 c 668s | 20 | 2278958 | 691627 | 38585 40 | 343 | 632 671.59/671.70 c 670s | 20 | 2284266 | 693227 | 38585 40 | 343 | 632 673.79/673.95 c 672s | 20 | 2290555 | 694927 | 38585 41 | 343 | 632 676.49/676.67 c 675s | 20 | 2298439 | 696927 | 38585 41 | 343 | 632 678.59/678.75 c 677s | 20 | 2308969 | 699627 | 38585 41 | 343 | 632 680.59/680.78 c 679s | 20 | 2320109 | 702127 | 38585 41 | 343 | 632 682.69/682.84 c 681s | 20 | 2327642 | 704227 | 38585 41 | 343 | 632 684.69/684.88 c 683s | 20 | 2333674 | 706027 | 38585 41 | 343 | 632 686.88/687.00 c 685s | 20 | 2339452 | 707727 | 38585 41 | 343 | 632 688.98/689.11 c 687s | 20 | 2344981 | 709427 | 38585 41 | 343 | 632 690.98/691.12 c 689s | 20 | 2350005 | 711027 | 38585 41 | 343 | 632 692.99/693.16 c 692s | 20 | 2354593 | 712527 | 38585 41 | 343 | 632 695.09/695.22 c 694s | 20 | 2358773 | 713927 | 38585 41 | 343 | 632 697.18/697.31 c 696s | 20 | 2363583 | 715327 | 38585 41 | 343 | 632 699.28/699.40 c 698s | 20 | 2368002 | 716927 | 38585 42 | 343 | 632 701.28/701.47 c 700s | 20 | 2374440 | 719027 | 38585 42 | 343 | 632 703.38/703.50 c 702s | 20 | 2381539 | 721027 | 38585 42 | 343 | 632 705.49/705.61 c 704s | 20 | 2388103 | 723127 | 38585 42 | 343 | 632 707.49/707.69 c 706s | 20 | 2394830 | 725127 | 38585 42 | 343 | 632 709.59/709.76 c 708s | 20 | 2401018 | 727127 | 38585 42 | 343 | 632 711.69/711.81 c 710s | 20 | 2408703 | 729127 | 38585 42 | 343 | 632 713.79/713.92 c 712s | 20 | 2414043 | 730827 | 38585 42 | 343 | 632 715.78/715.96 c 714s | 20 | 2420732 | 732527 | 38585 42 | 343 | 632 717.88/718.05 c 716s | 20 | 2426366 | 734327 | 38585 42 | 343 | 632 719.98/720.10 c 718s | 20 | 2432196 | 736227 | 38585 42 | 343 | 632 721.99/722.15 c 720s | 20 | 2438791 | 738327 | 38585 43 | 343 | 632 723.98/724.20 c 723s | 20 | 2445775 | 740827 | 38585 43 | 343 | 632 726.08/726.22 c 725s | 20 | 2451547 | 742827 | 38585 43 | 343 | 632 728.08/728.30 c 727s | 20 | 2457524 | 744727 | 38585 43 | 343 | 632 730.18/730.31 c 729s | 20 | 2462964 | 746527 | 38585 43 | 343 | 632 732.17/732.32 c 731s | 20 | 2468304 | 748327 | 38585 43 | 343 | 632 734.79/734.99 c 733s | 20 | 2468613 | 748427 | 38585 43 | 343 | 632 737.67/737.86 c 736s | 20 | 2473294 | 749727 | 38585 43 | 343 | 632 739.78/739.96 c 738s | 20 | 2480493 | 751827 | 38585 43 | 343 | 632 741.77/741.98 c 740s | 20 | 2488148 | 753927 | 38585 43 | 343 | 632 745.98/746.18 c 745s | 20 | 2495802 | 756027 | 38585 43 | 343 | 632 748.07/748.29 c 747s | 20 | 2502862 | 757727 | 38585 43 | 343 | 632 750.28/750.43 c 749s | 20 | 2503978 | 758027 | 38585 44 | 343 | 632 752.28/752.47 c 751s | 20 | 2515169 | 761027 | 38585 44 | 343 | 632 754.37/754.52 c 753s | 20 | 2525439 | 764027 | 38585 44 | 343 | 632 756.37/756.56 c 755s | 20 | 2537029 | 766927 | 38585 44 | 343 | 632 758.47/758.60 c 757s | 20 | 2547884 | 769627 | 38585 44 | 343 | 632 760.46/760.66 c 759s | 20 | 2557073 | 772227 | 38585 44 | 343 | 632 762.47/762.67 c 761s | 20 | 2565355 | 774527 | 38585 44 | 343 | 632 764.48/764.70 c 763s | 20 | 2575748 | 777027 | 38585 44 | 343 | 632 766.58/766.71 c 765s | 20 | 2582629 | 778927 | 38585 45 | 343 | 632 768.56/768.76 c 767s | 20 | 2590015 | 780727 | 38585 45 | 343 | 632 770.56/770.79 c 769s | 20 | 2600496 | 783527 | 38585 45 | 343 | 632 772.56/772.79 c 771s | 20 | 2609593 | 786227 | 38585 45 | 343 | 632 774.66/774.81 c 773s | 20 | 2619814 | 789027 | 38585 45 | 343 | 632 776.66/776.83 c 775s | 20 | 2628886 | 791527 | 38585 45 | 343 | 632 778.67/778.86 c 777s | 20 | 2637270 | 793927 | 38585 45 | 343 | 632 780.76/780.92 c 779s | 20 | 2643405 | 795727 | 38585 45 | 343 | 632 782.86/783.00 c 781s | 20 | 2649938 | 797427 | 38585 45 | 343 | 632 784.96/785.13 c 783s | 20 | 2655097 | 799127 | 38585 45 | 343 | 632 786.96/787.16 c 785s | 20 | 2660906 | 800827 | 38585 46 | 343 | 632 789.05/789.20 c 788s | 20 | 2668318 | 803027 | 38585 46 | 343 | 632 791.05/791.26 c 790s | 20 | 2676021 | 805127 | 38585 46 | 343 | 632 794.06/794.30 c 793s | 20 | 2679647 | 806127 | 38585 46 | 343 | 632 796.16/796.35 c 795s | 20 | 2684504 | 807427 | 38585 46 | 343 | 632 798.15/798.39 c 797s | 20 | 2695451 | 810327 | 38585 46 | 343 | 632 800.25/800.41 c 799s | 20 | 2703295 | 812827 | 38585 46 | 343 | 632 802.25/802.42 c 801s | 20 | 2708481 | 814827 | 38585 46 | 343 | 632 804.35/804.51 c 803s | 20 | 2714339 | 816927 | 38585 46 | 343 | 632 806.35/806.56 c 805s | 20 | 2717740 | 817927 | 38585 46 | 343 | 632 808.45/808.65 c 807s | 20 | 2725408 | 819927 | 38585 46 | 343 | 632 810.44/810.66 c 809s | 20 | 2731771 | 821827 | 38585 47 | 343 | 632 812.54/812.73 c 811s | 20 | 2739298 | 824227 | 38585 47 | 343 | 632 814.54/814.73 c 813s | 20 | 2746330 | 826627 | 38585 47 | 343 | 632 816.54/816.76 c 815s | 20 | 2755252 | 828827 | 38585 47 | 343 | 632 818.53/818.78 c 817s | 20 | 2764927 | 831127 | 38585 47 | 343 | 632 820.63/820.86 c 819s | 20 | 2774071 | 833627 | 38585 47 | 343 | 632 822.64/822.87 c 821s | 20 | 2780601 | 835627 | 38585 47 | 343 | 632 824.73/824.92 c 823s | 20 | 2785271 | 837127 | 38585 47 | 343 | 632 826.73/826.95 c 825s | 20 | 2789834 | 838627 | 38585 47 | 343 | 632 828.74/828.96 c 827s | 20 | 2795064 | 840227 | 38585 47 | 343 | 632 830.84/831.01 c 829s | 20 | 2800607 | 841827 | 38585 48 | 343 | 632 832.83/833.09 c 831s | 20 | 2806627 | 843927 | 38585 48 | 343 | 632 835.03/835.25 c 834s | 20 | 2812122 | 845627 | 38585 48 | 343 | 632 837.04/837.29 c 836s | 20 | 2817395 | 847227 | 38585 48 | 343 | 632 839.13/839.39 c 838s | 20 | 2822877 | 848827 | 38585 48 | 343 | 632 841.22/841.50 c 840s | 20 | 2829304 | 850627 | 38585 48 | 343 | 632 843.42/843.60 c 842s | 20 | 2833565 | 852027 | 38585 48 | 343 | 632 845.43/845.61 c 844s | 20 | 2836853 | 853127 | 38585 48 | 343 | 632 847.51/847.71 c 846s | 20 | 2841565 | 854627 | 38585 48 | 343 | 632 849.51/849.74 c 848s | 20 | 2847054 | 856227 | 38585 48 | 343 | 632 851.51/851.77 c 850s | 20 | 2852174 | 857827 | 38585 48 | 343 | 632 853.62/853.84 c 852s | 20 | 2855657 | 858727 | 38585 48 | 343 | 632 855.62/855.84 c 854s | 20 | 2859022 | 859927 | 38585 48 | 343 | 632 857.61/857.85 c 856s | 20 | 2862805 | 861227 | 38585 48 | 343 | 632 860.11/860.36 c 859s | 20 | 2866878 | 862527 | 38585 49 | 343 | 632 862.11/862.40 c 861s | 20 | 2870317 | 863427 | 38585 49 | 343 | 632 864.20/864.46 c 863s | 20 | 2879791 | 866327 | 38585 49 | 343 | 632 866.20/866.49 c 865s | 20 | 2889305 | 869127 | 38585 49 | 343 | 632 868.31/868.51 c 867s | 20 | 2896073 | 871327 | 38585 49 | 343 | 632 870.31/870.53 c 869s | 20 | 2902599 | 873527 | 38585 49 | 343 | 632 872.31/872.53 c 871s | 20 | 2907903 | 875427 | 38585 49 | 343 | 632 874.32/874.54 c 873s | 20 | 2913966 | 877327 | 38585 49 | 343 | 632 876.41/876.63 c 875s | 20 | 2915718 | 877927 | 38585 49 | 343 | 632 878.40/878.64 c 877s | 20 | 2921914 | 879927 | 38585 49 | 343 | 632 880.50/880.76 c 879s | 20 | 2929790 | 882127 | 38585 49 | 343 | 632 882.60/882.82 c 881s | 20 | 2936415 | 883927 | 38585 50 | 343 | 632 884.71/884.91 c 883s | 20 | 2943982 | 886227 | 38585 50 | 343 | 632 886.71/886.95 c 885s | 20 | 2951635 | 888827 | 38585 50 | 343 | 632 888.80/889.04 c 887s | 20 | 2962116 | 891227 | 38585 50 | 343 | 632 890.91/891.12 c 889s | 20 | 2969025 | 893427 | 38585 50 | 343 | 632 893.01/893.22 c 892s | 20 | 2978011 | 895627 | 38585 50 | 343 | 632 895.00/895.26 c 894s | 20 | 2984321 | 897527 | 38585 50 | 343 | 632 897.10/897.36 c 896s | 20 | 2990376 | 899427 | 38585 50 | 343 | 632 899.19/899.42 c 898s | 20 | 2994639 | 900927 | 38585 50 | 343 | 632 901.19/901.43 c 900s | 20 | 2998869 | 902327 | 38585 50 | 343 | 632 903.49/903.72 c 902s | 20 | 3002897 | 903527 | 38585 50 | 343 | 632 905.69/905.91 c 904s | 20 | 3007511 | 904927 | 38585 51 | 343 | 632 908.29/908.50 c 907s | 20 | 3010594 | 905927 | 38585 51 | 343 | 632 910.29/910.57 c 909s | 20 | 3011020 | 906027 | 38585 51 | 343 | 632 912.39/912.66 c 911s | 20 | 3015109 | 907227 | 38585 51 | 343 | 632 914.49/914.72 c 913s | 20 | 3021383 | 909427 | 38585 51 | 343 | 632 916.59/916.82 c 915s | 20 | 3027813 | 911327 | 38585 51 | 343 | 632 918.68/918.92 c 917s | 20 | 3034686 | 913427 | 38585 51 | 343 | 632 920.78/921.04 c 919s | 20 | 3041472 | 915427 | 38585 51 | 343 | 632 922.79/923.05 c 921s | 20 | 3047618 | 917127 | 38585 51 | 343 | 632 924.78/925.10 c 923s | 20 | 3052782 | 918827 | 38585 51 | 343 | 632 926.88/927.17 c 926s | 20 | 3060100 | 920727 | 38585 51 | 343 | 632 928.98/929.24 c 928s | 20 | 3066191 | 922627 | 38585 51 | 343 | 632 930.99/931.28 c 930s | 20 | 3071156 | 924627 | 38585 51 | 343 | 632 933.08/933.33 c 932s | 20 | 3076554 | 926127 | 38585 52 | 343 | 632 935.08/935.34 c 934s | 20 | 3082539 | 928327 | 38585 52 | 343 | 632 937.09/937.39 c 936s | 20 | 3090875 | 930827 | 38585 52 | 343 | 632 939.07/939.40 c 938s | 20 | 3098901 | 933127 | 38585 52 | 343 | 632 941.18/941.49 c 940s | 20 | 3104694 | 935227 | 38585 52 | 343 | 632 943.27/943.53 c 942s | 20 | 3110225 | 936927 | 38585 52 | 343 | 632 945.27/945.59 c 944s | 20 | 3118664 | 939127 | 38585 52 | 343 | 632 947.37/947.62 c 946s | 20 | 3124918 | 941127 | 38585 52 | 343 | 632 949.37/949.65 c 948s | 20 | 3130007 | 942827 | 38585 52 | 343 | 632 951.47/951.73 c 950s | 20 | 3135036 | 944527 | 38585 52 | 343 | 632 953.48/953.74 c 952s | 20 | 3139832 | 946027 | 38585 52 | 343 | 632 955.57/955.81 c 954s | 20 | 3143667 | 947627 | 38585 53 | 343 | 632 957.67/957.91 c 956s | 20 | 3148817 | 949527 | 38585 53 | 343 | 632 959.86/960.11 c 958s | 20 | 3150481 | 950227 | 38585 53 | 343 | 632 961.87/962.19 c 961s | 20 | 3155282 | 951627 | 38585 53 | 343 | 632 963.97/964.29 c 963s | 20 | 3161142 | 953427 | 38585 53 | 343 | 632 966.07/966.38 c 965s | 20 | 3167619 | 955227 | 38585 53 | 343 | 632 968.16/968.44 c 967s | 20 | 3171852 | 956627 | 38585 53 | 343 | 632 970.26/970.52 c 969s | 20 | 3176915 | 958227 | 38585 53 | 343 | 632 972.27/972.56 c 971s | 20 | 3183322 | 960027 | 38585 53 | 343 | 632 974.37/974.61 c 973s | 20 | 3188618 | 961627 | 38585 53 | 343 | 632 976.46/976.73 c 975s | 20 | 3193060 | 963227 | 38585 53 | 343 | 632 978.45/978.77 c 977s | 20 | 3196342 | 964527 | 38585 53 | 343 | 632 980.65/980.97 c 979s | 20 | 3199495 | 965727 | 38585 53 | 343 | 632 982.85/983.10 c 981s | 20 | 3203400 | 966927 | 38585 53 | 343 | 632 984.85/985.12 c 983s | 20 | 3206097 | 967627 | 38585 54 | 343 | 632 986.85/987.18 c 986s | 20 | 3215073 | 969727 | 38585 54 | 343 | 632 988.94/989.23 c 988s | 20 | 3223421 | 971927 | 38585 54 | 343 | 632 990.95/991.27 c 990s | 20 | 3230689 | 974127 | 38585 54 | 343 | 632 993.05/993.31 c 992s | 20 | 3238235 | 976227 | 38585 54 | 343 | 632 995.04/995.39 c 994s | 20 | 3246441 | 978327 | 38585 54 | 343 | 632 997.14/997.45 c 996s | 20 | 3253015 | 980227 | 38585 54 | 343 | 632 999.24/999.57 c 998s | 20 | 3259158 | 982127 | 38585 54 | 343 | 632 1001.34/1001.61 c 1000s | 20 | 3263553 | 983627 | 38585 54 | 343 | 632 1003.43/1003.77 c 1002s | 20 | 3267756 | 985027 | 38585 54 | 343 | 632 1005.53/1005.84 c 1004s | 20 | 3273245 | 986627 | 38585 54 | 343 | 632 1007.53/1007.88 c 1006s | 20 | 3278425 | 988227 | 38585 54 | 343 | 632 1009.64/1009.92 c 1008s | 20 | 3283261 | 989727 | 38585 55 | 343 | 632 1011.74/1012.02 c 1010s | 20 | 3290644 | 991927 | 38585 55 | 343 | 632 1013.83/1014.10 c 1012s | 20 | 3298368 | 994027 | 42444 55 | 343 | 632 1015.83/1016.12 c 1014s | 20 | 3304531 | 995927 | 42444 55 | 343 | 632 1017.83/1018.15 c 1016s | 20 | 3309599 | 997427 | 42444 55 | 343 | 632 1019.93/1020.24 c 1019s | 20 | 3314188 | 998927 | 42444 55 | 343 | 632 1021.43/1021.75 c 1020s | 21 | 3318472 | 1000345 | 42444 55 | 343 | 632 1023.73/1024.05 c 1022s | 21 | 3321179 | 1000645 | 42444 55 | 343 | 632 1025.73/1026.05 c 1024s | 21 | 3323313 | 1001245 | 42444 55 | 343 | 632 1028.03/1028.35 c 1027s | 21 | 3325782 | 1002045 | 42444 55 | 343 | 632 1030.03/1030.39 c 1029s | 21 | 3331627 | 1003545 | 42444 55 | 343 | 632 1032.23/1032.50 c 1031s | 21 | 3338979 | 1005545 | 42444 55 | 343 | 632 1034.23/1034.58 c 1033s | 21 | 3345634 | 1007245 | 42444 55 | 343 | 632 1036.43/1036.72 c 1035s | 21 | 3351086 | 1008745 | 42444 55 | 343 | 632 1038.43/1038.75 c 1037s | 21 | 3356725 | 1010545 | 42444 55 | 343 | 632 1040.53/1040.83 c 1039s | 21 | 3363204 | 1012445 | 42444 55 | 343 | 632 1042.63/1042.97 c 1041s | 21 | 3367493 | 1013345 | 42444 56 | 343 | 632 1044.73/1045.08 c 1043s | 21 | 3377849 | 1015545 | 42444 56 | 343 | 632 1046.82/1047.17 c 1046s | 21 | 3385494 | 1017645 | 42444 56 | 343 | 632 1048.81/1049.18 c 1048s | 21 | 3390826 | 1019445 | 42444 56 | 343 | 632 1050.81/1051.19 c 1050s | 21 | 3395702 | 1020945 | 42444 56 | 343 | 632 1052.91/1053.26 c 1052s | 21 | 3400589 | 1022645 | 42444 56 | 343 | 632 1055.01/1055.35 c 1054s | 21 | 3406856 | 1024245 | 42444 56 | 343 | 632 1057.01/1057.36 c 1056s | 21 | 3412711 | 1025845 | 42444 56 | 343 | 632 1059.02/1059.39 c 1058s | 21 | 3417537 | 1027245 | 42444 56 | 343 | 632 1061.11/1061.46 c 1060s | 21 | 3422917 | 1028845 | 42444 56 | 343 | 632 1063.21/1063.58 c 1062s | 21 | 3427922 | 1030445 | 42444 56 | 343 | 632 1065.21/1065.58 c 1064s | 21 | 3432736 | 1031945 | 42444 56 | 343 | 632 1067.22/1067.59 c 1066s | 21 | 3438116 | 1033645 | 42444 56 | 343 | 632 1069.41/1069.71 c 1068s | 21 | 3442054 | 1035045 | 42444 56 | 343 | 632 1071.51/1071.80 c 1070s | 21 | 3446397 | 1036345 | 42444 57 | 343 | 632 1074.01/1074.38 c 1073s | 21 | 3450555 | 1037645 | 42444 57 | 343 | 632 1076.01/1076.40 c 1075s | 21 | 3457712 | 1039745 | 42444 57 | 343 | 632 1078.20/1078.58 c 1077s | 21 | 3460888 | 1040745 | 42444 57 | 343 | 632 1080.31/1080.60 c 1079s | 21 | 3468543 | 1042845 | 42444 57 | 343 | 632 1082.31/1082.62 c 1081s | 21 | 3475119 | 1044845 | 42444 57 | 343 | 632 1084.32/1084.67 c 1083s | 21 | 3479971 | 1046545 | 42444 57 | 343 | 632 1086.41/1086.77 c 1085s | 21 | 3485679 | 1048245 | 42444 57 | 343 | 632 1088.51/1088.83 c 1087s | 21 | 3491210 | 1049945 | 42444 57 | 343 | 632 1090.50/1090.84 c 1089s | 21 | 3497817 | 1051745 | 42444 57 | 343 | 632 1092.50/1092.87 c 1091s | 21 | 3502507 | 1053345 | 42444 57 | 343 | 632 1094.60/1094.92 c 1093s | 21 | 3507618 | 1055045 | 42444 57 | 343 | 632 1096.60/1096.99 c 1095s | 21 | 3512107 | 1056445 | 42444 57 | 343 | 632 1098.70/1099.02 c 1097s | 21 | 3516184 | 1057945 | 42444 57 | 343 | 632 1100.80/1101.14 c 1099s | 21 | 3520237 | 1059145 | 42444 58 | 343 | 632 1102.79/1103.15 c 1101s | 21 | 3526884 | 1061145 | 42444 58 | 343 | 632 1105.79/1106.15 c 1104s | 21 | 3531254 | 1062345 | 42444 58 | 343 | 632 1107.88/1108.21 c 1107s | 21 | 3536610 | 1063845 | 42444 58 | 343 | 632 1109.89/1110.24 c 1109s | 21 | 3544336 | 1065845 | 42444 58 | 343 | 632 1111.89/1112.24 c 1111s | 21 | 3550666 | 1067545 | 42444 58 | 343 | 632 1113.99/1114.36 c 1113s | 21 | 3558726 | 1069445 | 42444 58 | 343 | 632 1115.98/1116.37 c 1115s | 21 | 3565220 | 1071145 | 42444 58 | 343 | 632 1118.08/1118.42 c 1117s | 21 | 3570422 | 1072845 | 42444 58 | 343 | 632 1120.08/1120.49 c 1119s | 21 | 3577508 | 1074845 | 42444 58 | 343 | 632 1122.28/1122.63 c 1121s | 21 | 3584359 | 1076645 | 42444 58 | 343 | 632 1124.38/1124.75 c 1123s | 21 | 3589465 | 1078345 | 42444 58 | 343 | 632 1126.38/1126.78 c 1125s | 21 | 3594042 | 1079845 | 42444 58 | 343 | 632 1128.57/1128.90 c 1127s | 21 | 3599358 | 1081145 | 42444 58 | 343 | 632 1130.58/1130.98 c 1129s | 21 | 3603462 | 1082245 | 42444 59 | 343 | 632 1132.68/1133.03 c 1131s | 21 | 3609475 | 1084345 | 42444 59 | 343 | 632 1134.77/1135.13 c 1133s | 21 | 3615023 | 1086045 | 42444 59 | 343 | 632 1136.87/1137.20 c 1136s | 21 | 3619837 | 1087545 | 42444 59 | 343 | 632 1138.96/1139.33 c 1138s | 21 | 3624356 | 1089245 | 42444 59 | 343 | 632 1141.06/1141.41 c 1140s | 21 | 3628617 | 1090745 | 42444 59 | 343 | 632 1143.06/1143.42 c 1142s | 21 | 3632580 | 1092245 | 42444 59 | 343 | 632 1145.16/1145.55 c 1144s | 21 | 3636872 | 1093945 | 42444 59 | 343 | 632 1147.26/1147.65 c 1146s | 21 | 3641233 | 1095445 | 42444 59 | 343 | 632 1149.36/1149.71 c 1148s | 21 | 3647354 | 1097145 | 42444 59 | 343 | 632 1151.37/1151.71 c 1150s | 21 | 3653179 | 1098945 | 42444 59 | 343 | 632 1153.46/1153.83 c 1152s | 21 | 3659438 | 1100745 | 42444 59 | 343 | 632 1155.56/1155.95 c 1154s | 21 | 3664619 | 1102345 | 42444 59 | 343 | 632 1157.65/1158.01 c 1156s | 21 | 3667682 | 1103645 | 42444 59 | 343 | 632 1159.65/1160.04 c 1158s | 21 | 3671653 | 1104945 | 42444 60 | 343 | 632 1161.65/1162.05 c 1160s | 21 | 3677700 | 1106945 | 42444 60 | 343 | 632 1163.65/1164.09 c 1162s | 21 | 3685016 | 1109145 | 42444 60 | 343 | 632 1165.76/1166.12 c 1164s | 21 | 3690954 | 1111145 | 42444 60 | 343 | 632 1167.85/1168.21 c 1167s | 21 | 3698486 | 1113245 | 42444 60 | 343 | 632 1169.94/1170.30 c 1169s | 21 | 3704155 | 1115045 | 42444 60 | 343 | 632 1171.94/1172.35 c 1171s | 21 | 3709903 | 1116845 | 42444 60 | 343 | 632 1173.94/1174.36 c 1173s | 21 | 3715285 | 1118545 | 42444 60 | 343 | 632 1176.04/1176.44 c 1175s | 21 | 3721579 | 1120345 | 42444 60 | 343 | 632 1178.04/1178.49 c 1177s | 21 | 3727604 | 1122045 | 42444 60 | 343 | 632 1180.14/1180.58 c 1179s | 21 | 3733378 | 1123745 | 42444 60 | 343 | 632 1182.25/1182.63 c 1181s | 21 | 3738929 | 1125545 | 42444 60 | 343 | 632 1184.64/1185.05 c 1183s | 21 | 3741795 | 1126245 | 42444 60 | 343 | 632 1187.24/1187.67 c 1186s | 21 | 3746621 | 1127745 | 42444 61 | 343 | 632 1189.33/1189.70 c 1188s | 21 | 3749638 | 1128545 | 42444 61 | 343 | 632 1191.33/1191.78 c 1190s | 21 | 3754804 | 1130345 | 42444 61 | 343 | 632 1193.43/1193.87 c 1192s | 21 | 3760332 | 1132245 | 42444 61 | 343 | 632 1195.44/1195.89 c 1194s | 21 | 3767611 | 1133845 | 42444 61 | 343 | 632 1197.54/1197.96 c 1196s | 21 | 3773763 | 1135745 | 42444 61 | 343 | 632 1199.63/1200.07 c 1198s | 21 | 3781219 | 1137645 | 42444 61 | 343 | 632 1201.73/1202.19 c 1201s | 21 | 3788244 | 1139545 | 42444 61 | 343 | 632 1203.83/1204.26 c 1203s | 21 | 3794698 | 1141245 | 42444 61 | 343 | 632 1205.93/1206.39 c 1205s | 21 | 3802565 | 1143145 | 42444 61 | 343 | 632 1207.93/1208.39 c 1207s | 21 | 3807698 | 1144745 | 42444 61 | 343 | 632 1212.53/1212.98 c 1211s | 21 | 3811704 | 1145845 | 42444 61 | 343 | 632 1214.63/1215.08 c 1213s | 21 | 3818081 | 1147545 | 42444 61 | 343 | 632 1216.63/1217.09 c 1215s | 21 | 3823754 | 1149045 | 42444 61 | 343 | 632 1219.13/1219.57 c 1218s | 21 | 3831061 | 1150545 | 42444 62 | 343 | 632 1221.23/1221.60 c 1220s | 21 | 3837213 | 1152145 | 42444 62 | 343 | 632 1223.23/1223.65 c 1222s | 21 | 3844437 | 1154145 | 42444 62 | 343 | 632 1225.23/1225.68 c 1224s | 21 | 3851437 | 1156145 | 42444 62 | 343 | 632 1227.34/1227.72 c 1226s | 21 | 3862189 | 1158345 | 42444 62 | 343 | 632 1229.33/1229.78 c 1228s | 21 | 3868674 | 1160245 | 42444 62 | 343 | 632 1231.43/1231.82 c 1230s | 21 | 3874080 | 1161845 | 42444 62 | 343 | 632 1233.43/1233.89 c 1232s | 21 | 3882198 | 1163945 | 42444 62 | 343 | 632 1235.53/1235.96 c 1234s | 21 | 3887682 | 1165745 | 42444 62 | 343 | 632 1237.62/1238.01 c 1236s | 21 | 3893217 | 1167445 | 42444 62 | 343 | 632 1239.62/1240.04 c 1238s | 21 | 3898109 | 1169145 | 42444 62 | 343 | 632 1241.72/1242.14 c 1240s | 21 | 3902282 | 1170645 | 42444 62 | 343 | 632 1243.83/1244.24 c 1243s | 21 | 3907283 | 1172045 | 42444 62 | 343 | 632 1246.02/1246.44 c 1245s | 21 | 3911780 | 1173445 | 42444 63 | 343 | 632 1248.02/1248.44 c 1247s | 21 | 3917586 | 1175345 | 42444 63 | 343 | 632 1250.02/1250.44 c 1249s | 21 | 3923285 | 1177345 | 42444 63 | 343 | 632 1252.12/1252.56 c 1251s | 21 | 3929580 | 1179245 | 42444 63 | 343 | 632 1254.21/1254.63 c 1253s | 21 | 3933697 | 1180645 | 42444 63 | 343 | 632 1256.21/1256.68 c 1255s | 21 | 3939779 | 1182545 | 42444 63 | 343 | 632 1258.21/1258.69 c 1257s | 21 | 3944469 | 1184345 | 42444 63 | 343 | 632 1260.32/1260.70 c 1259s | 21 | 3950464 | 1185945 | 42444 63 | 343 | 632 1262.32/1262.74 c 1261s | 21 | 3956566 | 1187645 | 42444 63 | 343 | 632 1264.32/1264.79 c 1263s | 21 | 3960957 | 1189145 | 42444 63 | 343 | 632 1266.41/1266.80 c 1265s | 21 | 3969634 | 1190945 | 42444 63 | 343 | 632 1268.41/1268.81 c 1267s | 21 | 3973044 | 1192245 | 42444 63 | 343 | 632 1270.41/1270.85 c 1269s | 21 | 3977646 | 1193845 | 42444 63 | 343 | 632 1272.51/1272.92 c 1271s | 21 | 3982156 | 1195345 | 42444 63 | 343 | 632 1274.61/1275.02 c 1273s | 21 | 3986752 | 1196445 | 42444 64 | 343 | 632 1276.60/1277.08 c 1275s | 21 | 3991671 | 1197545 | 42444 64 | 343 | 632 1278.70/1279.17 c 1278s | 21 | 3996967 | 1199145 | 42444 64 | 343 | 632 1280.70/1281.19 c 1280s | 21 | 4001971 | 1200845 | 42444 64 | 343 | 632 1282.80/1283.23 c 1282s | 21 | 4009122 | 1202645 | 42444 64 | 343 | 632 1284.80/1285.25 c 1284s | 21 | 4013435 | 1204145 | 42444 64 | 343 | 632 1286.90/1287.38 c 1286s | 21 | 4018600 | 1205745 | 42444 64 | 343 | 632 1289.00/1289.40 c 1288s | 21 | 4026141 | 1207645 | 42444 64 | 343 | 632 1291.01/1291.49 c 1290s | 21 | 4031182 | 1209345 | 42444 64 | 343 | 632 1293.10/1293.54 c 1292s | 21 | 4034729 | 1210745 | 42444 64 | 343 | 632 1295.20/1295.66 c 1294s | 21 | 4041804 | 1212245 | 42444 64 | 343 | 632 1297.30/1297.72 c 1296s | 21 | 4046429 | 1213745 | 42444 64 | 343 | 632 1307.60/1308.08 c 1306s | 21 | 4049114 | 1214645 | 42444 64 | 343 | 632 1312.30/1312.73 c 1311s | 21 | 4049815 | 1214745 | 42444 64 | 343 | 632 1314.30/1314.76 c 1313s | 21 | 4057043 | 1216345 | 42444 64 | 343 | 632 1316.30/1316.80 c 1315s | 21 | 4064540 | 1218045 | 42444 64 | 343 | 632 1318.69/1319.18 c 1318s | 21 | 4069120 | 1219345 | 42444 65 | 343 | 632 1320.99/1321.48 c 1320s | 21 | 4071370 | 1220045 | 42444 65 | 343 | 632 1323.09/1323.51 c 1322s | 21 | 4079419 | 1222445 | 42444 65 | 343 | 632 1325.10/1325.60 c 1324s | 21 | 4087580 | 1224445 | 42444 65 | 343 | 632 1327.19/1327.65 c 1326s | 21 | 4093497 | 1226345 | 42444 65 | 343 | 632 1329.18/1329.68 c 1328s | 21 | 4101075 | 1228445 | 42444 65 | 343 | 632 1331.28/1331.78 c 1330s | 21 | 4107787 | 1230445 | 42444 65 | 343 | 632 1333.38/1333.85 c 1332s | 21 | 4116665 | 1232545 | 42444 65 | 343 | 632 1335.48/1335.95 c 1334s | 21 | 4123121 | 1234245 | 42444 65 | 343 | 632 1339.39/1339.89 c 1338s | 21 | 4127238 | 1235545 | 42444 65 | 343 | 632 1341.49/1341.96 c 1340s | 21 | 4131857 | 1236445 | 42444 65 | 343 | 632 1343.59/1344.06 c 1342s | 21 | 4136583 | 1237845 | 42444 65 | 343 | 632 1345.69/1346.17 c 1345s | 21 | 4142087 | 1239345 | 42444 65 | 343 | 632 1347.68/1348.18 c 1347s | 21 | 4146675 | 1240745 | 42444 65 | 343 | 632 1349.68/1350.19 c 1349s | 21 | 4152826 | 1242145 | 42444 66 | 343 | 632 1354.88/1355.36 c 1354s | 21 | 4158818 | 1243945 | 42444 66 | 343 | 632 1356.99/1357.46 c 1356s | 21 | 4166750 | 1246045 | 42444 66 | 343 | 632 1358.97/1359.48 c 1358s | 21 | 4173103 | 1247645 | 42444 66 | 343 | 632 1361.07/1361.50 c 1360s | 21 | 4179458 | 1249245 | 42444 66 | 343 | 632 1363.07/1363.52 c 1362s | 21 | 4186080 | 1250545 | 42444 66 | 343 | 632 1365.07/1365.56 c 1364s | 21 | 4192683 | 1252245 | 42444 66 | 343 | 632 1367.07/1367.56 c 1366s | 21 | 4198269 | 1253845 | 42444 66 | 343 | 632 1369.17/1369.61 c 1368s | 21 | 4203732 | 1255445 | 42444 66 | 343 | 632 1371.16/1371.67 c 1370s | 21 | 4212908 | 1257445 | 42444 66 | 343 | 632 1373.37/1373.86 c 1372s | 21 | 4219224 | 1258845 | 42444 66 | 343 | 632 1375.47/1375.94 c 1374s | 21 | 4227039 | 1260645 | 42444 66 | 343 | 632 1377.57/1378.04 c 1376s | 21 | 4235137 | 1262545 | 42444 66 | 343 | 632 1379.77/1380.21 c 1379s | 21 | 4240497 | 1264045 | 42444 66 | 343 | 632 1381.77/1382.24 c 1381s | 21 | 4243323 | 1264845 | 42444 66 | 343 | 632 1383.87/1384.31 c 1383s | 21 | 4248978 | 1266345 | 42444 67 | 343 | 632 1385.87/1386.33 c 1385s | 21 | 4255641 | 1268045 | 42444 67 | 343 | 632 1387.87/1388.35 c 1387s | 21 | 4262805 | 1269945 | 42444 67 | 343 | 632 1389.97/1390.48 c 1389s | 21 | 4269211 | 1271745 | 42444 67 | 343 | 632 1392.07/1392.53 c 1391s | 21 | 4275412 | 1273345 | 42444 67 | 343 | 632 1394.06/1394.58 c 1393s | 21 | 4280785 | 1274945 | 42444 67 | 343 | 632 1396.16/1396.62 c 1395s | 21 | 4287659 | 1276945 | 42444 67 | 343 | 632 1398.26/1398.71 c 1397s | 21 | 4294957 | 1279045 | 42444 67 | 343 | 632 1400.66/1401.11 c 1399s | 21 | 4299914 | 1280545 | 42444 67 | 343 | 632 1402.76/1403.20 c 1402s | 21 | 4307378 | 1282745 | 42444 67 | 343 | 632 1404.75/1405.20 c 1404s | 21 | 4315068 | 1284945 | 42444 67 | 343 | 632 1406.75/1407.26 c 1406s | 21 | 4321496 | 1286945 | 42444 67 | 343 | 632 1410.86/1411.35 c 1410s | 21 | 4326586 | 1288245 | 42444 68 | 343 | 632 1412.85/1413.39 c 1412s | 21 | 4332188 | 1289645 | 42444 68 | 343 | 632 1414.96/1415.43 c 1414s | 21 | 4341316 | 1292545 | 42444 68 | 343 | 632 1416.96/1417.49 c 1416s | 21 | 4347191 | 1294145 | 42444 68 | 343 | 632 1419.05/1419.52 c 1418s | 21 | 4354315 | 1296445 | 42444 68 | 343 | 632 1421.05/1421.57 c 1420s | 21 | 4365658 | 1299045 | 42444 68 | 343 | 632 1423.15/1423.62 c 1422s | 21 | 4376771 | 1301645 | 42444 68 | 343 | 632 1425.16/1425.66 c 1424s | 21 | 4384909 | 1303645 | 42444 68 | 343 | 632 1427.25/1427.70 c 1426s | 21 | 4391557 | 1305445 | 42444 68 | 343 | 632 1429.25/1429.73 c 1428s | 21 | 4397234 | 1307045 | 42444 68 | 343 | 632 1431.25/1431.76 c 1430s | 21 | 4402661 | 1308845 | 42444 68 | 343 | 632 1433.24/1433.79 c 1432s | 21 | 4409014 | 1310445 | 42444 68 | 343 | 632 1435.35/1435.83 c 1434s | 21 | 4414225 | 1311945 | 42444 69 | 343 | 632 1437.45/1437.91 c 1436s | 21 | 4415784 | 1312445 | 42444 69 | 343 | 632 1439.45/1439.92 c 1438s | 21 | 4421130 | 1313845 | 42444 69 | 343 | 632 1441.45/1441.92 c 1440s | 21 | 4429971 | 1316045 | 42444 69 | 343 | 632 1443.45/1443.99 c 1442s | 21 | 4439092 | 1318445 | 42444 69 | 343 | 632 1445.55/1446.03 c 1444s | 21 | 4444898 | 1320445 | 42444 69 | 343 | 632 1447.65/1448.11 c 1446s | 21 | 4451567 | 1322345 | 42444 69 | 343 | 632 1449.75/1450.22 c 1449s | 21 | 4457911 | 1324345 | 42444 69 | 343 | 632 1451.74/1452.27 c 1451s | 21 | 4463146 | 1326045 | 42444 69 | 343 | 632 1453.75/1454.30 c 1453s | 21 | 4467703 | 1327445 | 42444 69 | 343 | 632 1455.84/1456.34 c 1455s | 21 | 4476243 | 1329345 | 42444 69 | 343 | 632 1457.84/1458.36 c 1457s | 21 | 4483762 | 1331145 | 42444 69 | 343 | 632 1459.94/1460.42 c 1459s | 21 | 4488860 | 1332545 | 42444 69 | 343 | 632 1462.14/1462.68 c 1461s | 21 | 4492354 | 1333645 | 42444 70 | 343 | 632 1466.14/1466.60 c 1465s | 21 | 4494367 | 1334245 | 42444 70 | 343 | 632 1472.24/1472.72 c 1471s | 21 | 4499830 | 1335645 | 42444 70 | 343 | 632 1474.24/1474.78 c 1473s | 21 | 4508876 | 1337945 | 42444 70 | 343 | 632 1476.34/1476.84 c 1475s | 21 | 4518421 | 1340245 | 42444 70 | 343 | 632 1478.34/1478.85 c 1477s | 21 | 4527915 | 1342545 | 42444 70 | 343 | 632 1480.44/1480.97 c 1479s | 21 | 4535601 | 1344545 | 42444 70 | 343 | 632 1482.54/1483.07 c 1481s | 21 | 4542613 | 1346345 | 42444 70 | 343 | 632 1484.64/1485.16 c 1483s | 21 | 4548638 | 1348045 | 42444 70 | 343 | 632 1486.74/1487.27 c 1486s | 21 | 4554982 | 1349745 | 42444 70 | 343 | 632 1488.84/1489.37 c 1488s | 21 | 4560507 | 1351345 | 42444 70 | 343 | 632 1490.93/1491.48 c 1490s | 21 | 4567909 | 1353245 | 42444 70 | 343 | 632 1493.03/1493.59 c 1492s | 21 | 4572358 | 1354645 | 42444 70 | 343 | 632 1495.13/1495.60 c 1494s | 21 | 4578036 | 1356245 | 42444 70 | 343 | 632 1497.14/1497.60 c 1496s | 21 | 4581269 | 1357045 | 42444 71 | 343 | 632 1499.13/1499.69 c 1498s | 21 | 4588624 | 1359245 | 42444 71 | 343 | 632 1501.15/1501.70 c 1500s | 21 | 4595061 | 1360945 | 42444 71 | 343 | 632 1503.24/1503.74 c 1502s | 21 | 4601273 | 1362645 | 42444 71 | 343 | 632 1505.23/1505.77 c 1504s | 21 | 4608707 | 1364545 | 42444 71 | 343 | 632 1507.24/1507.79 c 1506s | 21 | 4615980 | 1366445 | 42444 71 | 343 | 632 1509.34/1509.83 c 1508s | 21 | 4625169 | 1368545 | 42444 71 | 343 | 632 1511.43/1511.92 c 1510s | 21 | 4633660 | 1370645 | 42444 71 | 343 | 632 1513.43/1513.94 c 1512s | 21 | 4642284 | 1372545 | 42444 71 | 343 | 632 1515.44/1515.96 c 1514s | 21 | 4650549 | 1374445 | 42444 71 | 343 | 632 1517.54/1518.00 c 1516s | 21 | 4658256 | 1376345 | 42444 71 | 343 | 632 1519.64/1520.11 c 1518s | 21 | 4666211 | 1377845 | 42444 72 | 343 | 632 1521.63/1522.15 c 1520s | 21 | 4677395 | 1379945 | 42444 72 | 343 | 632 1523.63/1524.17 c 1523s | 21 | 4696874 | 1383445 | 42444 72 | 343 | 632 1525.73/1526.20 c 1525s | 21 | 4704218 | 1385345 | 42444 72 | 343 | 632 1527.74/1528.21 c 1527s | 21 | 4715439 | 1387745 | 42444 72 | 343 | 632 1530.04/1530.57 c 1529s | 21 | 4725538 | 1390145 | 42444 72 | 343 | 632 1532.14/1532.68 c 1531s | 21 | 4737476 | 1392545 | 42444 72 | 343 | 632 1534.14/1534.69 c 1533s | 21 | 4744212 | 1394145 | 42444 72 | 343 | 632 1536.24/1536.79 c 1535s | 21 | 4752059 | 1395745 | 42444 72 | 343 | 632 1538.33/1538.89 c 1537s | 21 | 4761171 | 1397945 | 42444 72 | 343 | 632 1540.43/1540.99 c 1539s | 21 | 4769959 | 1399945 | 42444 72 | 343 | 632 1542.53/1543.05 c 1541s | 21 | 4777651 | 1401645 | 42444 73 | 343 | 632 1544.52/1545.07 c 1543s | 21 | 4783186 | 1402845 | 42444 73 | 343 | 632 1546.53/1547.07 c 1545s | 21 | 4793810 | 1405245 | 42444 73 | 343 | 632 1549.13/1549.68 c 1548s | 21 | 4808318 | 1407845 | 42444 73 | 343 | 632 1551.12/1551.68 c 1550s | 21 | 4818098 | 1409845 | 42444 73 | 343 | 632 1553.22/1553.72 c 1552s | 21 | 4828344 | 1411745 | 42444 73 | 343 | 632 1555.22/1555.72 c 1554s | 21 | 4837222 | 1413545 | 42444 73 | 343 | 632 1557.33/1557.83 c 1556s | 21 | 4846268 | 1415345 | 42444 73 | 343 | 632 1559.44/1559.92 c 1558s | 21 | 4855751 | 1417145 | 42444 73 | 343 | 632 1561.54/1562.01 c 1560s | 21 | 4860894 | 1418645 | 42444 73 | 343 | 632 1563.53/1564.09 c 1562s | 21 | 4865341 | 1419845 | 42444 73 | 343 | 632 1565.63/1566.13 c 1564s | 21 | 4869498 | 1420945 | 42444 73 | 343 | 632 1567.62/1568.16 c 1566s | 21 | 4873421 | 1421745 | 42444 73 | 343 | 632 1571.92/1572.41 c 1571s | 21 | 4874104 | 1421845 | 42444 73 | 343 | 632 1573.92/1574.42 c 1573s | 21 | 4881184 | 1423345 | 42444 73 | 343 | 632 1576.12/1576.69 c 1575s | 21 | 4888620 | 1424745 | 42444 74 | 343 | 632 1579.23/1579.79 c 1578s | 21 | 4896527 | 1426545 | 42444 74 | 343 | 632 1581.34/1581.81 c 1580s | 21 | 4906968 | 1428845 | 42444 74 | 343 | 632 1583.33/1583.83 c 1582s | 21 | 4916365 | 1431145 | 42444 74 | 343 | 632 1585.33/1585.88 c 1584s | 21 | 4928231 | 1433545 | 42444 74 | 343 | 632 1587.43/1587.92 c 1586s | 21 | 4938620 | 1435945 | 42444 74 | 343 | 632 1589.52/1590.02 c 1588s | 21 | 4949125 | 1438245 | 42444 74 | 343 | 632 1591.52/1592.03 c 1590s | 21 | 4958515 | 1440345 | 42444 74 | 343 | 632 1593.53/1594.08 c 1592s | 21 | 4964248 | 1441845 | 42444 74 | 343 | 632 1595.73/1596.20 c 1595s | 21 | 4972096 | 1443645 | 42444 74 | 343 | 632 1597.72/1598.26 c 1597s | 21 | 4980528 | 1445745 | 42444 74 | 343 | 632 1599.72/1600.28 c 1599s | 21 | 4987263 | 1447245 | 42444 75 | 343 | 632 1602.12/1602.66 c 1601s | 21 | 4997360 | 1449345 | 42444 75 | 343 | 632 1604.12/1604.68 c 1603s | 21 | 5009744 | 1451845 | 42444 75 | 343 | 632 1610.41/1610.91 c 1609s | 21 | 5016040 | 1453445 | 42444 75 | 343 | 632 1612.41/1612.96 c 1611s | 21 | 5017407 | 1453745 | 42444 75 | 343 | 632 1614.43/1614.99 c 1613s | 21 | 5026155 | 1455745 | 42444 75 | 343 | 632 1616.53/1617.05 c 1615s | 21 | 5034303 | 1457845 | 42444 75 | 343 | 632 1618.62/1619.10 c 1617s | 21 | 5041186 | 1459945 | 42444 75 | 343 | 632 1620.72/1621.21 c 1620s | 21 | 5050746 | 1462145 | 42444 75 | 343 | 632 1622.72/1623.30 c 1622s | 21 | 5060353 | 1464045 | 42444 75 | 343 | 632 1624.82/1625.34 c 1624s | 21 | 5067559 | 1465745 | 42444 75 | 343 | 632 1626.82/1627.39 c 1626s | 21 | 5072872 | 1467145 | 42444 75 | 343 | 632 1628.91/1629.41 c 1628s | 21 | 5078253 | 1468545 | 42444 75 | 343 | 632 1630.92/1631.49 c 1630s | 21 | 5081621 | 1469645 | 42444 75 | 343 | 632 1633.32/1633.87 c 1632s | 21 | 5084920 | 1470545 | 42444 76 | 343 | 632 1635.41/1635.94 c 1634s | 21 | 5093387 | 1472645 | 42444 76 | 343 | 632 1637.42/1637.96 c 1636s | 21 | 5102829 | 1474945 | 42444 76 | 343 | 632 1639.51/1640.06 c 1638s | 21 | 5113829 | 1477245 | 42444 76 | 343 | 632 1641.61/1642.14 c 1640s | 21 | 5122226 | 1479045 | 42444 76 | 343 | 632 1643.71/1644.23 c 1643s | 21 | 5127077 | 1480545 | 42444 76 | 343 | 632 1645.71/1646.29 c 1645s | 21 | 5131915 | 1481945 | 42444 76 | 343 | 632 1647.81/1648.32 c 1647s | 21 | 5134287 | 1482745 | 42444 76 | 343 | 632 1649.81/1650.38 c 1649s | 21 | 5143910 | 1485245 | 42444 76 | 343 | 632 1651.91/1652.41 c 1651s | 21 | 5150424 | 1486745 | 42444 76 | 343 | 632 1653.92/1654.48 c 1653s | 21 | 5161505 | 1489545 | 46689 76 | 343 | 632 1656.02/1656.53 c 1655s | 21 | 5166172 | 1491045 | 46689 76 | 343 | 632 1658.02/1658.55 c 1657s | 21 | 5173058 | 1492945 | 46689 76 | 343 | 632 1660.01/1660.59 c 1659s | 21 | 5179853 | 1494845 | 46689 76 | 343 | 632 1662.11/1662.65 c 1661s | 21 | 5186759 | 1496645 | 46689 76 | 343 | 632 1664.11/1664.67 c 1663s | 21 | 5190857 | 1497845 | 46689 77 | 343 | 632 1666.21/1666.71 c 1665s | 21 | 5198773 | 1500045 | 46689 77 | 343 | 632 1666.81/1667.38 c 1666s | 22 | 5200950 | 1500622 | 46689 77 | 343 | 632 1668.91/1669.46 c 1668s | 22 | 5210025 | 1502822 | 46689 77 | 343 | 632 1671.01/1671.55 c 1670s | 22 | 5216926 | 1504922 | 46689 77 | 343 | 632 1673.01/1673.59 c 1672s | 22 | 5221713 | 1505822 | 46689 77 | 343 | 632 1675.11/1675.66 c 1674s | 22 | 5229162 | 1507422 | 46689 77 | 343 | 632 1677.21/1677.71 c 1676s | 22 | 5241416 | 1510022 | 46689 77 | 343 | 632 1679.22/1679.74 c 1678s | 22 | 5251447 | 1512222 | 46689 77 | 343 | 632 1681.21/1681.78 c 1680s | 22 | 5258385 | 1514022 | 46689 77 | 343 | 632 1683.31/1683.80 c 1682s | 22 | 5263577 | 1515422 | 46689 77 | 343 | 632 1685.31/1685.88 c 1684s | 22 | 5269407 | 1517122 | 46689 77 | 343 | 632 1687.41/1687.97 c 1686s | 22 | 5275129 | 1518722 | 46689 77 | 343 | 632 1689.51/1690.07 c 1688s | 22 | 5280985 | 1520222 | 46689 77 | 343 | 632 1691.61/1692.15 c 1690s | 22 | 5287768 | 1521822 | 46689 77 | 343 | 632 1693.71/1694.21 c 1693s | 22 | 5293251 | 1523422 | 46689 78 | 343 | 632 1695.72/1696.29 c 1695s | 22 | 5298918 | 1525322 | 46689 78 | 343 | 632 1697.80/1698.33 c 1697s | 22 | 5305205 | 1527022 | 46689 78 | 343 | 632 1699.80/1700.35 c 1699s | 22 | 5313811 | 1528922 | 46689 78 | 343 | 632 1701.91/1702.41 c 1701s | 22 | 5317656 | 1530022 | 46689 78 | 343 | 632 1703.91/1704.48 c 1703s | 22 | 5327477 | 1532122 | 46689 78 | 343 | 632 1706.00/1706.58 c 1705s | 22 | 5332196 | 1533322 | 46689 78 | 343 | 632 1708.10/1708.62 c 1707s | 22 | 5334900 | 1534122 | 46689 78 | 343 | 632 1710.12/1710.66 c 1709s | 22 | 5339075 | 1535322 | 46689 78 | 343 | 632 1712.22/1712.73 c 1711s | 22 | 5343334 | 1536522 | 46689 78 | 343 | 632 1714.31/1714.83 c 1713s | 22 | 5347586 | 1537722 | 46689 78 | 343 | 632 1716.41/1716.94 c 1715s | 22 | 5351871 | 1538822 | 46689 78 | 343 | 632 1718.51/1719.01 c 1717s | 22 | 5355482 | 1539922 | 46689 78 | 343 | 632 1720.61/1721.18 c 1720s | 22 | 5358988 | 1540922 | 46689 78 | 343 | 632 1722.71/1723.20 c 1722s | 22 | 5361806 | 1541722 | 46689 78 | 343 | 632 1724.91/1725.47 c 1724s | 22 | 5365192 | 1542522 | 46689 78 | 343 | 632 1727.11/1727.60 c 1726s | 22 | 5368898 | 1543422 | 46689 78 | 343 | 632 1729.10/1729.68 c 1728s | 22 | 5371453 | 1544222 | 46689 78 | 343 | 632 1731.20/1731.73 c 1730s | 22 | 5373736 | 1545122 | 46689 78 | 343 | 632 1733.30/1733.81 c 1732s | 22 | 5376305 | 1545922 | 46689 78 | 343 | 632 1735.41/1735.91 c 1734s | 22 | 5379269 | 1546822 | 46689 78 | 343 | 632 1737.40/1737.95 c 1736s | 22 | 5380911 | 1547522 | 46689 79 | 343 | 632 1739.50/1740.09 c 1738s | 22 | 5385339 | 1548922 | 46689 79 | 343 | 632 1741.60/1742.15 c 1740s | 22 | 5390870 | 1550522 | 46689 79 | 343 | 632 1743.70/1744.20 c 1743s | 22 | 5396718 | 1552122 | 46689 79 | 343 | 632 1745.80/1746.33 c 1745s | 22 | 5401339 | 1553622 | 46689 79 | 343 | 632 1756.70/1757.21 c 1756s | 22 | 5405640 | 1554822 | 46689 79 | 343 | 632 1758.70/1759.24 c 1758s | 22 | 5410651 | 1556322 | 46689 79 | 343 | 632 1760.70/1761.26 c 1760s | 22 | 5415339 | 1557622 | 46689 79 | 343 | 632 1762.80/1763.38 c 1762s | 22 | 5420615 | 1559022 | 46689 79 | 343 | 632 1764.90/1765.46 c 1764s | 22 | 5425683 | 1560522 | 46689 79 | 343 | 632 1766.90/1767.49 c 1766s | 22 | 5431331 | 1562022 | 46689 79 | 343 | 632 1769.00/1769.55 c 1768s | 22 | 5436190 | 1563422 | 46689 79 | 343 | 632 1771.10/1771.63 c 1770s | 22 | 5439571 | 1564622 | 46689 79 | 343 | 632 1773.10/1773.66 c 1772s | 22 | 5442949 | 1565722 | 46689 79 | 343 | 632 1775.19/1775.78 c 1774s | 22 | 5447075 | 1567022 | 46689 79 | 343 | 632 1777.29/1777.81 c 1776s | 22 | 5451610 | 1568322 | 46689 79 | 343 | 632 1779.30/1779.84 c 1778s | 22 | 5455969 | 1569822 | 46689 79 | 343 | 632 1781.29/1781.87 c 1780s | 22 | 5459507 | 1570922 | 46689 79 | 343 | 632 1783.29/1783.88 c 1782s | 22 | 5463186 | 1572022 | 46689 79 | 343 | 632 1785.39/1785.99 c 1784s | 22 | 5466811 | 1573222 | 46689 80 | 343 | 632 1787.49/1788.09 c 1786s | 22 | 5471289 | 1574922 | 46689 80 | 343 | 632 1789.59/1790.13 c 1788s | 22 | 5475731 | 1576022 | 46689 80 | 343 | 632 1791.69/1792.23 c 1791s | 22 | 5483652 | 1578122 | 46689 80 | 343 | 632 1793.70/1794.29 c 1793s | 22 | 5488871 | 1579722 | 46689 80 | 343 | 632 1798.10/1798.62 c 1797s | 22 | 5489729 | 1580022 | 46689 80 | 343 | 632
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-4079857-1465248386/watcher-4079857-1465248386 -o /tmp/evaluation-result-4079857-1465248386/solver-4079857-1465248386 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079857-1465248386.opb pid=8187 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 2.00 3/179 8190 /proc/meminfo: memFree=30694116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=750148 CPUtime=0 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 2804 0 0 0 0 0 0 0 20 0 4 0 106773237 768151552 2655 33554432000 4194304 16246674 140734729408224 140734729407648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 188305 2664 442 2943 0 185199 0 [pid=8190/tid=8191] ppid=8187 vsize=768580 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 787025920 2727 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=772676 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 791220224 2744 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=776772 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106773238 795414528 2760 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.01 2.00 2.00 3/179 8190 /proc/meminfo: memFree=30694116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 28333 0 0 0 5 4 0 0 20 0 4 0 106773237 1249447936 28121 33554432000 4194304 16246674 140734729408224 140734729407536 4220921 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 305041 28121 801 2943 0 301935 0 [pid=8190/tid=8191] ppid=8187 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1249447936 28121 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1249447936 28121 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1249447936 28121 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.20055 s] /proc/loadavg: 2.01 2.00 2.00 3/179 8190 /proc/meminfo: memFree=30694116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1301060 CPUtime=0.19 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 47720 0 0 0 12 7 0 0 20 0 4 0 106773237 1332285440 47508 33554432000 4194304 16246674 140734729408224 140734729407536 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 325265 47517 833 2943 0 322159 0 [pid=8190/tid=8191] ppid=8187 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1332285440 47522 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1332285440 47527 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1332285440 47533 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1301060 [startup+0.300501 s] /proc/loadavg: 2.01 2.00 2.00 3/179 8190 /proc/meminfo: memFree=30694116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1309252 CPUtime=0.29 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 50634 0 0 0 21 8 0 0 20 0 4 0 106773237 1340674048 50422 33554432000 4194304 16246674 140734729408224 140734729407536 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 327313 50427 879 2943 0 324207 0 [pid=8190/tid=8191] ppid=8187 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1340674048 50430 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1340674048 50432 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1340674048 50435 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1309252 [startup+0.700425 s] /proc/loadavg: 2.01 2.00 2.00 3/179 8190 /proc/meminfo: memFree=30694116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1310276 CPUtime=0.69 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 51319 0 0 0 61 8 0 0 20 0 4 0 106773237 1341722624 51107 33554432000 4194304 16246674 140734729408224 140734729407320 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 327569 51115 907 2943 0 324463 0 [pid=8190/tid=8191] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 51119 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 51124 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 51131 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1310276 [startup+1.50043 s] /proc/loadavg: 2.01 2.00 2.00 3/183 8194 /proc/meminfo: memFree=30193992/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1310276 CPUtime=1.49 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 131381 0 0 0 130 19 0 0 20 0 4 0 106773237 1341722624 131169 33554432000 4194304 16246674 140734729408224 140734729390144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 327569 131169 907 2943 0 324463 0 [pid=8190/tid=8191] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 131169 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 131169 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 131169 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1310276 [startup+3.10043 s] /proc/loadavg: 2.01 2.00 2.00 3/183 8194 /proc/meminfo: memFree=29778824/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1310276 CPUtime=3.09 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 268778 0 0 0 271 38 0 0 20 0 4 0 106773237 1341722624 268566 33554432000 4194304 16246674 140734729408224 140734729390144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 327569 268566 909 2943 0 324463 0 [pid=8190/tid=8191] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1310276 [startup+6.30042 s] /proc/loadavg: 2.01 2.00 2.00 3/183 8194 /proc/meminfo: memFree=29607360/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1310276 CPUtime=6.29 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 268778 0 0 0 591 38 0 0 20 0 4 0 106773237 1341722624 268566 33554432000 4194304 16246674 140734729408224 140734729390144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 327569 268566 909 2943 0 324463 0 [pid=8190/tid=8191] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1341722624 268566 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8194 /proc/meminfo: memFree=29578784/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1338948 CPUtime=12.69 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 275952 0 0 0 1230 39 0 0 20 0 4 0 106773237 1371082752 275740 33554432000 4194304 16246674 140734729408224 140734729390144 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 334737 275740 915 2943 0 331631 0 [pid=8190/tid=8191] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1338948 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8194 /proc/meminfo: memFree=29579036/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1338948 CPUtime=25.48 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 275952 0 0 0 2509 39 0 0 20 0 4 0 106773237 1371082752 275740 33554432000 4194304 16246674 140734729408224 140734729390144 5823447 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 334737 275740 915 2943 0 331631 0 [pid=8190/tid=8191] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275740 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1338948 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8195 /proc/meminfo: memFree=29578440/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1338948 CPUtime=51.08 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 275953 0 0 0 5065 43 0 0 20 0 4 0 106773237 1371082752 275741 33554432000 4194304 16246674 140734729408224 140734729407320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 334737 275741 916 2943 0 331631 0 [pid=8190/tid=8191] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1338948 [startup+102.301 s] /proc/loadavg: 2.04 2.01 2.00 3/183 8196 /proc/meminfo: memFree=29578572/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1338948 CPUtime=102.28 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 275953 0 0 0 10179 49 0 0 20 0 4 0 106773237 1371082752 275741 33554432000 4194304 16246674 140734729408224 140734729390144 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 334737 275741 916 2943 0 331631 0 [pid=8190/tid=8191] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1371082752 275741 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1338948 ################ # More data... # ################ /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1397316 [startup+1302.3 s] /proc/loadavg: 2.13 2.11 2.02 3/183 8226 /proc/meminfo: memFree=29513224/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1301.9 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290859 0 0 0 129895 295 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729407400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1397316 [startup+1362.3 s] /proc/loadavg: 2.11 2.10 2.02 3/183 8227 /proc/meminfo: memFree=29513108/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1361.87 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290884 0 0 0 135870 317 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 4207001 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1397316 [startup+1422.3 s] /proc/loadavg: 2.04 2.08 2.02 3/184 8231 /proc/meminfo: memFree=29512604/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1421.86 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290905 0 0 0 141865 321 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5822726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1397316 [startup+1482.3 s] /proc/loadavg: 2.01 2.06 2.01 3/183 8232 /proc/meminfo: memFree=29513560/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1481.84 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 147834 350 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1397316 [startup+1542.31 s] /proc/loadavg: 2.00 2.05 2.00 3/183 8233 /proc/meminfo: memFree=29510676/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1541.84 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 153822 362 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729391224 5661432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1397316 [startup+1602.3 s] /proc/loadavg: 2.04 2.05 2.00 3/184 8246 /proc/meminfo: memFree=29508508/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1601.82 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 159803 379 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 4221914 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1397316 [startup+1662.3 s] /proc/loadavg: 2.14 2.07 2.01 3/183 8247 /proc/meminfo: memFree=29509116/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1661.81 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 165773 408 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5677810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1397316 [startup+1722.3 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8297 /proc/meminfo: memFree=29544836/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1721.81 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 171764 417 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5673488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1397316 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 3/183 8298 /proc/meminfo: memFree=29517852/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1781.79 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 177752 427 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1397316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.05 2.05 2.00 3/183 8298 /proc/meminfo: memFree=29517852/32872528 swapFree=11372/178980 [pid=8190] ppid=8187 vsize=1397316 CPUtime=1800.09 cores=1,3,5,7 /proc/8190/stat : 8190 (toysat) R 8187 8190 4590 0 -1 4202496 290906 0 0 0 179581 428 0 0 20 0 4 0 106773237 1430851584 290589 33554432000 4194304 16246674 140734729408224 140734729390144 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8190/statm: 349329 290589 916 2943 0 346223 0 [pid=8190/tid=8191] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8191/stat : 8191 (toysat) S 8187 8190 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367696473328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8190/tid=8192] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8192/stat : 8192 (toysat) S 8187 8190 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367685983472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8190/tid=8193] ppid=8187 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/8190/task/8193/stat : 8193 (toysat) S 8187 8190 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106773238 1430851584 290589 33554432000 4194304 16246674 140734729408224 140367675509936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1397316 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 8190 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.11 CPU user time (s): 1795.82 CPU system time (s): 4.28135 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 1397316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.82 system time used= 4.28135 maximum resident set size= 1162356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290906 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= 376 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52231 second user time and 7.00993 second system time The end
Begin job on node105 at 2016-06-06 23:26:26 IDJOB=4079857 IDBENCH=24982 IDSOLVER=2542 FILE ID=node105/4079857-1465248386 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079857-1465248386/watcher-4079857-1465248386 -o /tmp/evaluation-result-4079857-1465248386/solver-4079857-1465248386 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079857-1465248386.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=443640095 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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 : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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 : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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 : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30694272 kB Buffers: 54168 kB Cached: 142352 kB SwapCached: 1756 kB Active: 1199128 kB Inactive: 97140 kB Active(anon): 1100776 kB Inactive(anon): 1508 kB Active(file): 98352 kB Inactive(file): 95632 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 16724 kB Writeback: 0 kB AnonPages: 1245216 kB Mapped: 10928 kB Shmem: 0 kB Slab: 569704 kB SReclaimable: 13292 kB SUnreclaim: 556412 kB KernelStack: 1520 kB PageTables: 6740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1423064 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node105 at 2016-06-06 23:56:27