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.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb |
| MD5SUM | ea4ff8014cd873922b6021da249fa157 |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.010998 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | YES |
| Number of variables | 741 |
| Total number of constraints | 2072 |
| Number of constraints which are clauses | 2072 |
| 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 | 31 |
| Number of terms in the objective function | 360 |
| 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 | 360 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 360 |
| Number of bits of the biggest sum of numbers | 9 |
| 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:58:48+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-4079790-1465250328.opb"] 0.00/0.01 c use --random-gen="1327684843 3934985746 1883315744 3978484512 1232942855 1589304812 2540540431 3632395333 2542332418 123039565 1455366072 4068296424 4066715063 2943320159 1350434931 2951624915 2532521220 3301049535 81263516 397447104 3723162030 1452035863 319088121 2443626186 3761174282 329494279 228622831 441050844 469000111 1709475098 3048371706 165559283 4241916327 3870669998 2788518813 1323017835 947895479 3477293112 3838588561 808327731 127252215 3231844870 3606190568 3026387734 763678431 2356190494 1267209374 2570394601 2467070805 3037627901 1847589840 2266478748 2728877384 3822984856 2468542430 1276325657 542174676 697417516 911846604 1908838735 1574878334 927735087 3689611783 3645777370 2782300770 4000224155 685975196 113950255 3012826452 3082489369 847025663 346949083 3959720013 3401451229 3947734467 3956564926 143125196 2499505498 2886378495 2636525222 2386562695 1728417878 165828910 902389004 2356544392 76992789 824509356 2742996800 4251508995 3543347569 1909683838 598994488 3297458509 3211624159 2099906651 187380359 7990303 2951769586 3416650305 1308284366 2987993090 1053507756 3107369661 777239126 826545440 4098811309 1475778500 2663262991 1625631464 4091333319 1544204060 2779042537 2662709107 3887424794 929739214 2820378231 2821356959 1762849959 672829452 2112429391 183191678 556524911 3066715564 2503257201 4001351957 3062106078 2043118773 3197457960 3508766991 2449580940 3858577890 2348899590 2115074954 644735523 2227775307 3563287914 2494369450 3047760955 1512014373 4243821040 4133866838 3767507768 372959793 3181957543 4187263588 1569835234 184781075 575186129 4020118540 3160744276 22763227 985184418 382490781 3261249745 3536644320 4195319568 3455009611 674245840 1486883629 3627883132 939153206 1359262823 2469702749 2773514416 1692876947 1918977498 4114005346 1785817445 2983645181 60071189 415706566 70810772 338315158 1930097166 394525325 2377698603 1926762484 3790333241 78418104 1953570401 2224298445 2137579474 857662904 1100676839 2675546435 262189176 1303313761 1348684017 1309862044 3282045030 875830711 2163327831 522198106 3106428835 1075437595 4153628005 725255363 3511600710 344862752 779393243 3301312459 2761129575 2028662168 3090245260 226454902 1565529484 1961225272 2396356714 824574077 2580499494 1291302217 2844564732 352717339 667817489 3225422829 2689244459 669063212 2883466558 2873359282 1409578887 2555300662 2569025935 1231335598 3907742875 1924073542 882614112 2859755235 2094052733 2028999965 162114484 3469914873 502243060 3359772870 2414079887 3710615527 2476388338 2535210324 2098110739 1522267787 2376088277 3594340904 1649751519 907079827 2389881895 2855845002 2189970928 4277242709 1382900720 4158619309 3056186468 1837941618 1069696770 2937013764 3294655117 3092141828 1921540250 255 362436" option to reproduce the execution 0.00/0.02 c #vars 741 0.00/0.02 c #constraints 2072 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 0 0.00/0.06 c 0.0s | 0 | 333 | 0 | 879 0 | 45 | 62 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 333 0.00/0.06 c #random_decision = 2 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 310 0.00/0.06 c BCD2: updating upper bound: 360 -> 309 0.00/0.06 c BCD2: 0 <= obj <= 309 0.00/0.06 c BCD2: #cores=0, #unrelaxed=360, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.06 c 0.0s | 0 | 227 | 0 | 879 0 | 45 | 62 0.00/0.06 c #cpu_time = 0.002s 0.00/0.06 c #wall_clock_time = 0.002s 0.00/0.06 c #decision = 227 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.06 c lower bound updated to 1 0.00/0.06 c BCD2: 1 <= obj <= 309 0.00/0.06 c BCD2: #cores=1, #unrelaxed=335, #relaxed=25, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.06 c 0.0s | 0 | 224 | 0 | 879 0 | 45 | 62 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 224 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to 2 0.00/0.06 c BCD2: 2 <= obj <= 309 0.00/0.06 c BCD2: #cores=2, #unrelaxed=332, #relaxed=28, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.06 c 0.0s | 0 | 231 | 0 | 879 0 | 45 | 62 0.00/0.06 c #cpu_time = 0.002s 0.00/0.06 c #wall_clock_time = 0.002s 0.00/0.06 c #decision = 231 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 51: cost of the new core is >=1 0.00/0.06 c lower bound updated to 3 0.00/0.06 c BCD2: 3 <= obj <= 309 0.00/0.06 c BCD2: #cores=3, #unrelaxed=281, #relaxed=79, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.07 c 0.0s | 0 | 204 | 0 | 879 0 | 45 | 62 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 204 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 21: cost of the new core is >=1 0.00/0.07 c lower bound updated to 4 0.00/0.07 c BCD2: 4 <= obj <= 309 0.00/0.07 c BCD2: #cores=4, #unrelaxed=260, #relaxed=100, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.07 c 0.0s | 0 | 200 | 0 | 879 0 | 45 | 62 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 200 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 15: cost of the new core is >=1 0.00/0.07 c lower bound updated to 5 0.00/0.07 c BCD2: 5 <= obj <= 309 0.00/0.07 c BCD2: #cores=5, #unrelaxed=245, #relaxed=115, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.07 c 0.0s | 0 | 192 | 0 | 879 0 | 45 | 62 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 192 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.07 c lower bound updated to 6 0.00/0.07 c BCD2: 6 <= obj <= 309 0.00/0.07 c BCD2: #cores=6, #unrelaxed=244, #relaxed=116, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 879 0 | 45 | 62 0.00/0.07 c 0.0s | 0 | 206 | 1 | 879 0 | 45 | 62 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 206 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 0.00/0.07 c lower bound updated to 7 0.00/0.07 c BCD2: 7 <= obj <= 309 0.00/0.07 c BCD2: #cores=6, #unrelaxed=241, #relaxed=119, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 879 0 | 46 | 62 0.00/0.08 c 0.0s | 0 | 225 | 0 | 879 0 | 46 | 63 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 225 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 29: cost of the new core is >=1 0.00/0.08 c lower bound updated to 8 0.00/0.08 c BCD2: 8 <= obj <= 309 0.00/0.08 c BCD2: #cores=7, #unrelaxed=212, #relaxed=148, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 879 0 | 46 | 63 0.00/0.08 c 0.0s | 0 | 320 | 0 | 879 0 | 46 | 63 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 320 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 o 24 0.00/0.08 c BCD2: updating upper bound: 309 -> 23 0.00/0.08 c BCD2: 8 <= obj <= 23 0.00/0.08 c BCD2: #cores=7, #unrelaxed=212, #relaxed=148, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=9 bias=9/11 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 879 0 | 46 | 64 0.00/0.09 c 0.0s | 0 | 429 | 34 | 879 0 | 46 | 64 0.00/0.09 c #cpu_time = 0.010s 0.00/0.09 c #wall_clock_time = 0.010s 0.00/0.09 c #decision = 429 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 34 0.00/0.09 c #restart = 0 0.00/0.09 o 18 0.00/0.09 c BCD2: updating upper bound: 23 -> 17 0.00/0.09 c BCD2: 8 <= obj <= 17 0.00/0.09 c BCD2: #cores=7, #unrelaxed=212, #relaxed=148, #hardened=0 0.00/0.09 c BCD2: #sat=3 #unsat=9 bias=9/12 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.10 c 0.0s | 0 | 0 | 0 | 879 0 | 46 | 65 0.09/0.10 c 0.0s | 0 | 516 | 7 | 879 0 | 46 | 65 0.09/0.10 c #cpu_time = 0.004s 0.09/0.10 c #wall_clock_time = 0.004s 0.09/0.10 c #decision = 516 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 7 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 26 and merging with 2 cores into a new core of size 47: cost of the new core is >=4 0.09/0.10 c lower bound updated to 9 0.09/0.10 c BCD2: 9 <= obj <= 17 0.09/0.10 c BCD2: #cores=6, #unrelaxed=186, #relaxed=174, #hardened=0 0.09/0.10 c BCD2: #sat=3 #unsat=10 bias=10/13 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 879 0 | 52 | 65 0.09/0.11 c 0.0s | 0 | 374 | 48 | 879 0 | 52 | 75 0.09/0.11 c #cpu_time = 0.011s 0.09/0.11 c #wall_clock_time = 0.011s 0.09/0.11 c #decision = 374 0.09/0.11 c #random_decision = 1 0.09/0.11 c #conflict = 48 0.09/0.11 c #restart = 0 0.09/0.11 o 14 0.09/0.11 c BCD2: updating upper bound: 17 -> 13 0.09/0.11 c BCD2: 9 <= obj <= 13 0.09/0.11 c BCD2: #cores=6, #unrelaxed=186, #relaxed=174, #hardened=0 0.09/0.11 c BCD2: #sat=4 #unsat=10 bias=10/14 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 879 0 | 52 | 76 0.09/0.12 c 0.0s | 0 | 286 | 26 | 967 0 | 52 | 76 0.09/0.12 c #cpu_time = 0.007s 0.09/0.12 c #wall_clock_time = 0.007s 0.09/0.12 c #decision = 286 0.09/0.12 c #random_decision = 1 0.09/0.12 c #conflict = 26 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 16 and merging with 3 cores into a new core of size 117: cost of the new core is >=4 0.09/0.12 c lower bound updated to 10 0.09/0.12 c BCD2: 10 <= obj <= 13 0.09/0.12 c BCD2: #cores=4, #unrelaxed=170, #relaxed=190, #hardened=0 0.09/0.12 c BCD2: #sat=4 #unsat=11 bias=11/15 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 967 0 | 69 | 76 0.09/0.14 c 0.0s | 1 | 495 | 100 | 967 0 | 69 | 107 0.09/0.18 c 0.1s | 2 | 1454 | 250 | 1064 0 | 69 | 107 0.18/0.24 c 0.1s | 3 | 2418 | 475 | 1171 0 | 69 | 107 0.29/0.33 c 0.2s | 4 | 3937 | 813 | 1289 0 | 69 | 107 0.39/0.47 c 0.3s | 5 | 6604 | 1320 | 1418 0 | 69 | 107 0.69/0.70 c 0.6s | 6 | 10117 | 2081 | 1560 1 | 69 | 107 0.98/1.01 c 0.9s | 7 | 16032 | 3223 | 1717 2 | 69 | 107 1.38/1.43 c 1.3s | 8 | 24209 | 4936 | 1889 3 | 69 | 107 2.09/2.15 c 2.0s | 9 | 36353 | 7506 | 2078 5 | 69 | 107 2.99/3.05 c 2.9s | 10 | 54206 | 11361 | 2286 8 | 69 | 107 4.39/4.43 c 4.3s | 11 | 80182 | 17144 | 2515 13 | 69 | 107 6.39/6.43 c 6.3s | 11 | 113563 | 24844 | 2515 18 | 69 | 107 6.59/6.67 c 6.5s | 12 | 118139 | 25819 | 2767 18 | 69 | 107 8.59/8.68 c 8.6s | 12 | 152908 | 33919 | 2767 24 | 69 | 107 9.89/9.98 c 9.9s | 13 | 171966 | 38832 | 3044 26 | 70 | 117 11.99/12.00 c 11.9s | 13 | 207924 | 46932 | 3044 31 | 70 | 117 13.19/13.29 c 13.2s | 13 | 229291 | 51821 | 3044 34 | 70 | 117 13.19/13.29 c #cpu_time = 13.170s 13.19/13.29 c #wall_clock_time = 13.170s 13.19/13.29 c #decision = 229291 13.19/13.29 c #random_decision = 539 13.19/13.29 c #conflict = 51821 13.19/13.29 c #restart = 13 13.19/13.29 o 12 13.19/13.29 c BCD2: updating upper bound: 13 -> 11 13.19/13.30 c BCD2: 10 <= obj <= 11 13.19/13.30 c BCD2: #cores=4, #unrelaxed=170, #relaxed=190, #hardened=0 13.19/13.30 c BCD2: #sat=5 #unsat=11 bias=11/16 13.19/13.30 c Solving starts ... 13.19/13.30 c ============================[ Search Statistics ]============================ 13.19/13.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.19/13.30 c | | | | Limit GC | Var | Constra 13.19/13.30 c ============================================================================= 13.19/13.30 c 0.0s | 0 | 0 | 0 | 3044 0 | 70 | 118 13.30/13.32 c 0.0s | 1 | 458 | 100 | 3044 0 | 70 | 118 13.30/13.36 c 0.1s | 2 | 971 | 250 | 3044 0 | 70 | 118 13.40/13.43 c 0.1s | 3 | 2067 | 475 | 3044 0 | 70 | 118 13.49/13.53 c 0.2s | 4 | 3762 | 813 | 3044 0 | 70 | 118 13.59/13.65 c 0.4s | 5 | 5860 | 1320 | 3044 1 | 70 | 118 13.79/13.86 c 0.6s | 6 | 9077 | 2081 | 3044 1 | 70 | 118 14.09/14.17 c 0.9s | 7 | 13997 | 3223 | 3044 2 | 70 | 118 14.59/14.62 c 1.3s | 8 | 21891 | 4936 | 3044 3 | 70 | 118 15.29/15.32 c 2.0s | 9 | 33246 | 7506 | 3349 4 | 70 | 118 16.39/16.40 c 3.1s | 10 | 49046 | 11361 | 3349 6 | 70 | 118 17.80/17.88 c 4.6s | 10 | 71556 | 16799 | 3349 9 | 70 | 118 17.80/17.88 c #cpu_time = 4.586s 17.80/17.88 c #wall_clock_time = 4.587s 17.80/17.88 c #decision = 71556 17.80/17.88 c #random_decision = 194 17.80/17.88 c #conflict = 16799 17.80/17.88 c #restart = 10 17.80/17.88 c BCD2: relaxing 59 and merging with 3 cores into a new core of size 248: cost of the new core is >=10 17.80/17.88 c lower bound updated to 11 17.80/17.88 c BCD2: hardening fixes 111 literals 17.80/17.88 c BCD2: 11 <= obj <= 11 17.80/17.88 c BCD2: #cores=2, #unrelaxed=0, #relaxed=249, #hardened=111 17.80/17.88 c BCD2: #sat=5 #unsat=12 bias=12/17 17.80/17.88 c Solving starts ... 17.80/17.88 c ============================[ Search Statistics ]============================ 17.80/17.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.80/17.88 c | | | | Limit GC | Var | Constra 17.80/17.88 c ============================================================================= 17.80/17.88 c 0.0s | 0 | 0 | 0 | 3349 0 | 244 | 118 17.89/17.93 c 0.0s | 1 | 512 | 100 | 3349 0 | 244 | 523 17.89/17.97 c 0.1s | 2 | 1029 | 250 | 3349 0 | 244 | 523 17.99/18.03 c 0.1s | 3 | 2040 | 475 | 3349 0 | 244 | 523 18.09/18.13 c 0.2s | 4 | 3803 | 813 | 3349 0 | 244 | 523 18.19/18.26 c 0.4s | 5 | 5273 | 1320 | 3349 0 | 244 | 523 18.39/18.49 c 0.6s | 6 | 8124 | 2081 | 3349 0 | 244 | 523 18.80/18.86 c 1.0s | 7 | 12472 | 3223 | 3349 0 | 244 | 523 19.39/19.46 c 1.6s | 8 | 19012 | 4936 | 3349 1 | 244 | 523 20.39/20.40 c 2.5s | 9 | 29503 | 7506 | 3349 3 | 244 | 523 21.69/21.77 c 3.9s | 10 | 45953 | 11361 | 3349 5 | 244 | 523 23.69/23.72 c 5.8s | 11 | 72292 | 17144 | 3349 8 | 244 | 523 25.69/25.74 c 7.9s | 11 | 97991 | 22844 | 3684 10 | 244 | 523 26.69/26.72 c 8.8s | 12 | 110125 | 25819 | 3684 12 | 244 | 523 28.69/28.74 c 10.9s | 12 | 134653 | 31619 | 3684 15 | 244 | 523 30.69/30.77 c 12.9s | 12 | 155842 | 37319 | 3684 17 | 244 | 523 31.19/31.29 c 13.4s | 13 | 161568 | 38832 | 3684 18 | 244 | 523 33.28/33.33 c 15.4s | 13 | 188254 | 44632 | 3684 21 | 244 | 523 35.29/35.34 c 17.5s | 13 | 216801 | 51032 | 3684 24 | 244 | 523 37.28/37.38 c 19.5s | 13 | 239180 | 56832 | 3684 27 | 244 | 523 37.88/37.97 c 20.1s | 14 | 245553 | 58352 | 3684 28 | 244 | 523 39.88/39.98 c 22.1s | 14 | 267394 | 64052 | 4053 30 | 244 | 523 41.89/41.98 c 24.1s | 14 | 293010 | 69352 | 4053 33 | 244 | 523 43.88/43.99 c 26.1s | 14 | 313220 | 74652 | 4053 35 | 244 | 523 45.98/46.00 c 28.1s | 14 | 336599 | 80252 | 4053 38 | 244 | 523 47.98/48.03 c 30.1s | 14 | 359789 | 85752 | 4053 40 | 244 | 523 48.59/48.66 c 30.8s | 15 | 367761 | 87632 | 4053 41 | 244 | 523 50.58/50.68 c 32.8s | 15 | 392411 | 93532 | 4053 44 | 244 | 523 52.58/52.68 c 34.8s | 15 | 417939 | 99432 | 4053 46 | 244 | 523 54.68/54.70 c 36.8s | 15 | 444259 | 105132 | 4053 49 | 244 | 523 56.68/56.72 c 38.8s | 15 | 469905 | 110932 | 4053 52 | 244 | 523 58.68/58.74 c 40.9s | 15 | 495325 | 116732 | 4053 54 | 244 | 523 60.68/60.74 c 42.9s | 15 | 515801 | 122032 | 4053 57 | 244 | 523 62.68/62.77 c 44.9s | 15 | 543491 | 128232 | 4459 59 | 244 | 523 63.68/63.76 c 45.9s | 16 | 557777 | 131552 | 4459 61 | 244 | 523 65.68/65.78 c 47.9s | 16 | 582956 | 137652 | 4459 63 | 244 | 523 67.78/67.80 c 49.9s | 16 | 609375 | 143852 | 4459 66 | 244 | 523 69.78/69.82 c 51.9s | 16 | 633696 | 149452 | 4459 68 | 244 | 523 71.78/71.82 c 53.9s | 16 | 660365 | 155752 | 4459 71 | 244 | 523 73.78/73.82 c 55.9s | 16 | 690963 | 162352 | 4459 73 | 244 | 523 75.78/75.83 c 57.9s | 16 | 713687 | 168052 | 4459 76 | 244 | 523 77.78/77.84 c 60.0s | 16 | 740543 | 173452 | 4459 78 | 244 | 523 79.77/79.86 c 62.0s | 16 | 760871 | 179052 | 4459 80 | 244 | 523 81.77/81.89 c 64.0s | 16 | 785254 | 185052 | 4459 83 | 244 | 523 83.78/83.89 c 66.0s | 16 | 810082 | 190752 | 4459 85 | 244 | 523 85.77/85.90 c 68.0s | 16 | 833004 | 196552 | 4459 88 | 244 | 523 86.07/86.18 c 68.3s | 17 | 836536 | 197432 | 4459 88 | 244 | 523 88.08/88.19 c 70.3s | 17 | 860990 | 203232 | 4459 90 | 244 | 523 90.17/90.21 c 72.3s | 17 | 885986 | 209732 | 4459 93 | 244 | 523 92.17/92.21 c 74.3s | 17 | 911602 | 215532 | 4459 96 | 244 | 523 94.17/94.24 c 76.4s | 17 | 932431 | 221032 | 4459 98 | 244 | 523 96.17/96.26 c 78.4s | 17 | 957098 | 226832 | 4905 100 | 244 | 523 98.17/98.26 c 80.4s | 17 | 975876 | 232332 | 4905 102 | 244 | 523 100.18/100.28 c 82.4s | 17 | 997287 | 238032 | 4905 104 | 244 | 523 102.18/102.29 c 84.4s | 17 | 1017607 | 243732 | 4905 106 | 244 | 523 104.28/104.30 c 86.4s | 17 | 1036764 | 248932 | 4905 108 | 244 | 523 106.28/106.32 c 88.4s | 17 | 1056631 | 254332 | 4905 110 | 244 | 523 108.28/108.33 c 90.5s | 17 | 1076126 | 259532 | 4905 112 | 244 | 523 110.28/110.34 c 92.5s | 17 | 1092742 | 264732 | 4905 114 | 244 | 523 112.28/112.35 c 94.5s | 17 | 1113217 | 270032 | 4905 116 | 244 | 523 114.28/114.36 c 96.5s | 17 | 1134757 | 275332 | 4905 118 | 244 | 523 116.28/116.37 c 98.5s | 17 | 1155875 | 280832 | 4905 121 | 244 | 523 118.28/118.38 c 100s | 17 | 1174541 | 285532 | 4905 122 | 244 | 523 120.27/120.38 c 102s | 17 | 1198818 | 291532 | 4905 125 | 244 | 523 121.97/122.05 c 104s | 18 | 1218672 | 296252 | 4905 126 | 244 | 523 123.97/124.08 c 106s | 18 | 1245479 | 302052 | 4905 129 | 244 | 523 126.07/126.12 c 108s | 18 | 1274505 | 308252 | 4905 131 | 244 | 523 128.07/128.14 c 110s | 18 | 1302649 | 314352 | 4905 133 | 244 | 523 130.07/130.15 c 112s | 18 | 1326859 | 320352 | 4905 136 | 244 | 523 132.08/132.17 c 114s | 18 | 1350711 | 326152 | 4905 138 | 244 | 523 134.17/134.20 c 116s | 18 | 1376171 | 332252 | 4905 140 | 244 | 523 136.17/136.21 c 118s | 18 | 1398777 | 337152 | 4905 142 | 244 | 523 138.17/138.23 c 120s | 18 | 1426488 | 343252 | 4905 144 | 244 | 523 140.17/140.24 c 122s | 18 | 1458102 | 349452 | 4905 147 | 244 | 523 142.17/142.26 c 124s | 18 | 1483905 | 355752 | 4905 149 | 244 | 523 144.18/144.28 c 126s | 18 | 1506650 | 361952 | 4905 151 | 244 | 523 146.17/146.29 c 128s | 18 | 1531224 | 367552 | 4905 154 | 244 | 523 148.27/148.31 c 130s | 18 | 1557938 | 373652 | 5396 156 | 244 | 523 150.27/150.33 c 132s | 18 | 1581450 | 379152 | 5396 158 | 244 | 523 152.26/152.34 c 134s | 18 | 1605967 | 385052 | 5396 160 | 244 | 523 154.26/154.38 c 136s | 18 | 1633031 | 391252 | 5396 162 | 244 | 523 156.27/156.39 c 138s | 18 | 1656491 | 396852 | 5396 164 | 244 | 523 158.36/158.41 c 140s | 18 | 1679554 | 402952 | 5396 166 | 244 | 523 160.36/160.42 c 142s | 18 | 1703139 | 408452 | 5396 168 | 244 | 523 162.36/162.44 c 144s | 18 | 1731604 | 414152 | 5396 170 | 244 | 523 164.36/164.47 c 146s | 18 | 1759741 | 420552 | 5396 172 | 244 | 523 166.46/166.51 c 148s | 18 | 1784336 | 426752 | 5396 174 | 244 | 523 168.47/168.54 c 150s | 18 | 1811678 | 433052 | 5396 176 | 244 | 523 170.47/170.55 c 152s | 18 | 1833858 | 438752 | 5396 178 | 244 | 523 172.37/172.43 c 154s | 19 | 1858117 | 444482 | 5396 180 | 244 | 523 174.37/174.46 c 156s | 19 | 1882025 | 449982 | 5396 182 | 244 | 523 176.37/176.49 c 158s | 19 | 1904004 | 455682 | 5396 184 | 244 | 523 178.46/178.52 c 160s | 19 | 1927805 | 461282 | 5396 186 | 244 | 523 180.47/180.54 c 162s | 19 | 1951958 | 466682 | 5396 188 | 244 | 523 182.46/182.54 c 164s | 19 | 1978567 | 472782 | 5396 190 | 244 | 523 184.46/184.54 c 166s | 19 | 2002331 | 478782 | 5396 192 | 244 | 523 186.46/186.56 c 168s | 19 | 2027456 | 484482 | 5396 194 | 244 | 523 188.46/188.57 c 170s | 19 | 2052690 | 490482 | 5396 196 | 244 | 523 190.56/190.60 c 172s | 19 | 2077830 | 496382 | 5396 198 | 244 | 523 192.56/192.66 c 174s | 19 | 2101095 | 502582 | 5396 201 | 244 | 523 194.56/194.68 c 176s | 19 | 2124883 | 507882 | 5396 202 | 244 | 523 196.66/196.71 c 178s | 19 | 2149439 | 513782 | 5396 204 | 244 | 523 198.66/198.73 c 180s | 19 | 2171895 | 519582 | 5396 206 | 244 | 523 200.66/200.76 c 182s | 19 | 2198467 | 525782 | 5396 209 | 244 | 523 202.65/202.78 c 184s | 19 | 2222847 | 531282 | 5396 211 | 244 | 523 204.66/204.78 c 186s | 19 | 2253534 | 537382 | 5396 213 | 244 | 523 206.75/206.80 c 188s | 19 | 2282805 | 543382 | 5396 215 | 244 | 523 208.75/208.84 c 190s | 19 | 2308833 | 549382 | 5396 217 | 244 | 523 210.75/210.85 c 192s | 19 | 2333444 | 555482 | 5396 219 | 244 | 523 212.75/212.87 c 194s | 19 | 2358883 | 560682 | 5396 221 | 244 | 523 214.75/214.87 c 196s | 19 | 2381927 | 566382 | 5396 223 | 244 | 523 216.76/216.88 c 198s | 19 | 2403881 | 571682 | 5396 224 | 244 | 523 218.76/218.89 c 201s | 19 | 2423714 | 576782 | 5396 226 | 244 | 523 220.86/220.91 c 203s | 19 | 2447592 | 582482 | 5396 228 | 244 | 523 222.86/222.93 c 205s | 19 | 2467568 | 587982 | 5396 230 | 244 | 523 224.86/224.96 c 207s | 19 | 2489630 | 593482 | 5936 232 | 244 | 523 226.86/226.99 c 209s | 19 | 2508369 | 598382 | 5936 233 | 244 | 523 228.96/229.02 c 211s | 19 | 2526514 | 603882 | 5936 235 | 244 | 523 230.96/231.04 c 213s | 19 | 2547912 | 609282 | 5936 237 | 244 | 523 232.96/233.05 c 215s | 19 | 2568124 | 614382 | 5936 238 | 244 | 523 234.96/235.07 c 217s | 19 | 2586690 | 619082 | 5936 240 | 244 | 523 236.96/237.09 c 219s | 19 | 2606683 | 623982 | 5936 242 | 244 | 523 238.96/239.09 c 221s | 19 | 2627307 | 629382 | 5936 243 | 244 | 523 241.06/241.11 c 223s | 19 | 2648264 | 634182 | 5936 245 | 244 | 523 243.06/243.12 c 225s | 19 | 2670952 | 639782 | 5936 247 | 244 | 523 245.06/245.16 c 227s | 19 | 2695177 | 645982 | 5936 249 | 244 | 523 247.05/247.16 c 229s | 19 | 2719031 | 651282 | 5936 250 | 244 | 523 249.05/249.17 c 231s | 19 | 2743265 | 657282 | 5936 252 | 244 | 523 251.05/251.17 c 233s | 19 | 2765275 | 662682 | 5936 254 | 244 | 523 252.45/252.56 c 234s | 20 | 2781087 | 666827 | 5936 255 | 244 | 523 254.45/254.58 c 236s | 20 | 2803790 | 672127 | 5936 257 | 244 | 523 256.55/256.60 c 238s | 20 | 2827209 | 678027 | 5936 259 | 244 | 523 258.56/258.61 c 240s | 20 | 2847103 | 683527 | 5936 261 | 244 | 523 260.55/260.61 c 242s | 20 | 2870164 | 689127 | 5936 262 | 244 | 523 262.55/262.62 c 244s | 20 | 2891491 | 694227 | 5936 264 | 244 | 523 264.55/264.64 c 246s | 20 | 2915260 | 698927 | 5936 265 | 244 | 523 266.55/266.66 c 248s | 20 | 2940289 | 704527 | 5936 267 | 244 | 523 268.56/268.68 c 250s | 20 | 2965310 | 710227 | 5936 269 | 244 | 523 270.55/270.70 c 252s | 20 | 2987109 | 715827 | 5936 271 | 244 | 523 272.65/272.71 c 254s | 20 | 3011174 | 721427 | 5936 273 | 244 | 523 274.65/274.75 c 256s | 20 | 3030626 | 726727 | 5936 274 | 244 | 523 276.65/276.75 c 258s | 20 | 3059027 | 732627 | 5936 276 | 244 | 523 278.65/278.79 c 260s | 20 | 3083012 | 738327 | 5936 278 | 244 | 523 280.65/280.79 c 262s | 20 | 3109551 | 744127 | 5936 280 | 244 | 523 282.65/282.80 c 264s | 20 | 3130455 | 749827 | 5936 282 | 244 | 523 284.74/284.82 c 266s | 20 | 3150468 | 754727 | 5936 283 | 244 | 523 286.74/286.84 c 268s | 20 | 3174536 | 760827 | 5936 285 | 244 | 523 288.74/288.86 c 270s | 20 | 3200305 | 766827 | 5936 287 | 244 | 523 290.74/290.89 c 273s | 20 | 3223994 | 772727 | 5936 289 | 244 | 523 292.84/292.91 c 275s | 20 | 3246493 | 778327 | 5936 291 | 244 | 523 294.85/294.93 c 277s | 20 | 3269676 | 784127 | 5936 293 | 244 | 523 296.84/296.96 c 279s | 20 | 3293772 | 789527 | 5936 294 | 244 | 523 298.84/298.98 c 281s | 20 | 3317411 | 795227 | 5936 296 | 244 | 523 300.84/300.99 c 283s | 20 | 3339240 | 800827 | 5936 298 | 244 | 523 302.94/303.01 c 285s | 20 | 3363050 | 806227 | 5936 300 | 244 | 523 304.94/305.03 c 287s | 20 | 3385693 | 812027 | 5936 301 | 244 | 523 306.95/307.05 c 289s | 20 | 3407365 | 816827 | 5936 303 | 244 | 523 308.94/309.08 c 291s | 20 | 3433795 | 822727 | 5936 305 | 244 | 523 310.94/311.09 c 293s | 20 | 3459239 | 828527 | 5936 307 | 244 | 523 313.04/313.12 c 295s | 20 | 3480923 | 834127 | 5936 308 | 244 | 523 315.04/315.13 c 297s | 20 | 3502428 | 839227 | 5936 310 | 244 | 523 317.04/317.15 c 299s | 20 | 3527474 | 845227 | 5936 312 | 244 | 523 319.04/319.16 c 301s | 20 | 3544216 | 849927 | 5936 314 | 244 | 523 321.04/321.17 c 303s | 20 | 3571849 | 855427 | 5936 315 | 244 | 523 323.04/323.19 c 305s | 20 | 3596806 | 861227 | 5936 317 | 244 | 523 325.14/325.21 c 307s | 20 | 3617636 | 866827 | 5936 319 | 244 | 523 327.14/327.23 c 309s | 20 | 3639967 | 872027 | 5936 321 | 244 | 523 329.14/329.26 c 311s | 20 | 3664763 | 877827 | 5936 322 | 244 | 523 331.14/331.30 c 313s | 20 | 3689289 | 883827 | 5936 324 | 244 | 523 333.24/333.33 c 315s | 20 | 3711501 | 889027 | 5936 326 | 244 | 523 335.23/335.34 c 317s | 20 | 3733549 | 894927 | 5936 328 | 244 | 523 337.23/337.37 c 319s | 20 | 3757049 | 900527 | 5936 330 | 244 | 523 339.33/339.41 c 321s | 20 | 3780431 | 906227 | 5936 331 | 244 | 523 341.33/341.43 c 323s | 20 | 3805703 | 911627 | 5936 333 | 244 | 523 343.34/343.44 c 325s | 20 | 3828423 | 917527 | 5936 335 | 244 | 523 345.33/345.48 c 327s | 20 | 3849911 | 922627 | 5936 337 | 244 | 523 347.33/347.48 c 329s | 20 | 3873665 | 928727 | 6530 338 | 244 | 523 349.33/349.49 c 331s | 20 | 3896590 | 933527 | 6530 340 | 244 | 523 351.43/351.51 c 333s | 20 | 3915861 | 938527 | 6530 341 | 244 | 523 353.43/353.51 c 335s | 20 | 3933749 | 943227 | 6530 343 | 244 | 523 355.45/355.52 c 337s | 20 | 3951297 | 947427 | 6530 344 | 244 | 523 357.44/357.53 c 339s | 20 | 3970832 | 952227 | 6530 345 | 244 | 523 359.44/359.56 c 341s | 20 | 3994342 | 957727 | 6530 347 | 244 | 523 361.44/361.59 c 343s | 20 | 4016773 | 963227 | 6530 348 | 244 | 523 363.54/363.61 c 345s | 20 | 4038474 | 967727 | 6530 350 | 244 | 523 365.54/365.62 c 347s | 20 | 4059501 | 972827 | 6530 351 | 244 | 523 367.54/367.64 c 349s | 20 | 4078792 | 978227 | 6530 353 | 244 | 523 369.54/369.66 c 351s | 20 | 4101465 | 983227 | 6530 354 | 244 | 523 371.54/371.68 c 353s | 20 | 4125250 | 988527 | 6530 356 | 244 | 523 373.54/373.68 c 355s | 20 | 4150760 | 994327 | 6530 357 | 244 | 523 375.64/375.72 c 357s | 20 | 4167027 | 998527 | 6530 359 | 244 | 523 376.34/376.44 c 358s | 21 | 4174548 | 1000345 | 6530 359 | 244 | 523 378.34/378.48 c 360s | 21 | 4196364 | 1004945 | 6530 361 | 244 | 523 380.44/380.50 c 362s | 21 | 4219538 | 1009645 | 6530 362 | 244 | 523 382.43/382.51 c 364s | 21 | 4237503 | 1014145 | 6530 363 | 244 | 523 384.43/384.55 c 366s | 21 | 4251782 | 1018445 | 6530 364 | 244 | 523 386.43/386.58 c 368s | 21 | 4270513 | 1022645 | 6530 366 | 244 | 523 388.53/388.61 c 370s | 21 | 4289763 | 1027745 | 6530 367 | 244 | 523 390.54/390.62 c 372s | 21 | 4311598 | 1033045 | 6530 369 | 244 | 523 392.53/392.63 c 374s | 21 | 4334363 | 1037245 | 6530 370 | 244 | 523 394.53/394.65 c 376s | 21 | 4353557 | 1041745 | 6530 371 | 244 | 523 396.53/396.67 c 378s | 21 | 4371661 | 1046245 | 6530 373 | 244 | 523 398.53/398.68 c 380s | 21 | 4392059 | 1050845 | 6530 374 | 244 | 523 400.54/400.68 c 382s | 21 | 4411486 | 1055545 | 6530 375 | 244 | 523 402.53/402.68 c 384s | 21 | 4430259 | 1060345 | 6530 377 | 244 | 523 404.63/404.71 c 386s | 21 | 4444365 | 1064845 | 6530 378 | 244 | 523 406.63/406.71 c 388s | 21 | 4457366 | 1068245 | 6530 379 | 244 | 523 408.63/408.74 c 390s | 21 | 4476925 | 1073145 | 6530 380 | 244 | 523 410.63/410.76 c 392s | 21 | 4495835 | 1078045 | 6530 382 | 244 | 523 412.63/412.80 c 394s | 21 | 4518729 | 1082845 | 6530 383 | 244 | 523 414.63/414.80 c 396s | 21 | 4539248 | 1087445 | 6530 385 | 244 | 523 416.73/416.81 c 398s | 21 | 4559582 | 1092445 | 6530 386 | 244 | 523 418.73/418.83 c 400s | 21 | 4576939 | 1096845 | 6530 387 | 244 | 523 420.72/420.89 c 403s | 21 | 4595874 | 1101045 | 6530 389 | 244 | 523 422.82/422.90 c 405s | 21 | 4617899 | 1106145 | 6530 390 | 244 | 523 424.82/424.93 c 407s | 21 | 4636146 | 1110945 | 6530 391 | 244 | 523 426.83/426.94 c 409s | 21 | 4654854 | 1115645 | 6530 393 | 244 | 523 428.82/428.95 c 411s | 21 | 4672235 | 1120545 | 6530 394 | 244 | 523 430.82/430.97 c 413s | 21 | 4691125 | 1125745 | 6530 396 | 244 | 523 432.82/432.98 c 415s | 21 | 4708611 | 1130745 | 6530 397 | 244 | 523 434.92/435.01 c 417s | 21 | 4728678 | 1135845 | 6530 399 | 244 | 523 436.92/437.03 c 419s | 21 | 4746975 | 1141145 | 6530 400 | 244 | 523 438.93/439.09 c 421s | 21 | 4762934 | 1145745 | 6530 401 | 244 | 523 441.02/441.12 c 423s | 21 | 4782734 | 1150345 | 6530 403 | 244 | 523 443.02/443.13 c 425s | 21 | 4798845 | 1155045 | 6530 404 | 244 | 523 445.02/445.18 c 427s | 21 | 4817438 | 1159245 | 6530 405 | 244 | 523 447.02/447.18 c 429s | 21 | 4834412 | 1163445 | 6530 407 | 244 | 523 449.02/449.19 c 431s | 21 | 4850884 | 1168045 | 6530 408 | 244 | 523 451.03/451.20 c 433s | 21 | 4866207 | 1172445 | 6530 409 | 244 | 523 453.12/453.21 c 435s | 21 | 4890334 | 1177345 | 6530 411 | 244 | 523 455.12/455.28 c 437s | 21 | 4912364 | 1182145 | 6530 412 | 244 | 523 457.22/457.32 c 439s | 21 | 4932380 | 1186745 | 6530 413 | 244 | 523 459.22/459.35 c 441s | 21 | 4952198 | 1190345 | 6530 414 | 244 | 523 461.21/461.39 c 443s | 21 | 4970168 | 1194145 | 6530 415 | 244 | 523 463.31/463.42 c 445s | 21 | 4989023 | 1198645 | 6530 417 | 244 | 523 465.32/465.44 c 447s | 21 | 5010715 | 1203245 | 6530 418 | 244 | 523 467.31/467.47 c 449s | 21 | 5033084 | 1208145 | 6530 420 | 244 | 523 469.31/469.49 c 451s | 21 | 5057472 | 1213045 | 6530 421 | 244 | 523 471.42/471.51 c 453s | 21 | 5082932 | 1218345 | 6530 423 | 244 | 523 473.42/473.54 c 455s | 21 | 5106913 | 1223145 | 6530 424 | 244 | 523 475.42/475.56 c 457s | 21 | 5129232 | 1228045 | 6530 425 | 244 | 523 477.43/477.60 c 459s | 21 | 5154762 | 1232945 | 6530 427 | 244 | 523 479.52/479.61 c 461s | 21 | 5180359 | 1238045 | 6530 428 | 244 | 523 481.52/481.62 c 463s | 21 | 5203882 | 1243045 | 6530 430 | 244 | 523 483.52/483.63 c 465s | 21 | 5221871 | 1247145 | 6530 431 | 244 | 523 485.52/485.66 c 467s | 21 | 5245883 | 1251945 | 6530 432 | 244 | 523 487.52/487.69 c 469s | 21 | 5272902 | 1257045 | 6530 434 | 244 | 523 489.62/489.71 c 471s | 21 | 5293797 | 1261845 | 6530 435 | 244 | 523 491.62/491.74 c 473s | 21 | 5318506 | 1266545 | 6530 436 | 244 | 523 493.62/493.77 c 475s | 21 | 5342099 | 1271545 | 6530 438 | 244 | 523 495.61/495.79 c 477s | 21 | 5365351 | 1276445 | 6530 439 | 244 | 523 497.71/497.82 c 479s | 21 | 5392850 | 1281445 | 6530 441 | 244 | 523 499.71/499.84 c 481s | 21 | 5416613 | 1286245 | 6530 442 | 244 | 523 501.72/501.88 c 483s | 21 | 5439264 | 1290845 | 6530 444 | 244 | 523 503.71/503.90 c 486s | 21 | 5467065 | 1296045 | 6530 445 | 244 | 523 505.81/505.93 c 488s | 21 | 5492243 | 1301145 | 6530 447 | 244 | 523 507.81/507.95 c 490s | 21 | 5517665 | 1306445 | 6530 448 | 244 | 523 509.81/509.99 c 492s | 21 | 5540216 | 1311145 | 6530 449 | 244 | 523 511.91/512.03 c 494s | 21 | 5563734 | 1315545 | 6530 451 | 244 | 523 513.91/514.05 c 496s | 21 | 5591405 | 1320845 | 6530 452 | 244 | 523 515.92/516.10 c 498s | 21 | 5611988 | 1325445 | 6530 454 | 244 | 523 518.01/518.13 c 500s | 21 | 5629554 | 1328545 | 6530 454 | 244 | 523 520.01/520.16 c 502s | 21 | 5647791 | 1332345 | 6530 456 | 244 | 523 522.01/522.16 c 504s | 21 | 5667527 | 1336745 | 6530 457 | 244 | 523 524.01/524.20 c 506s | 21 | 5684085 | 1340445 | 6530 458 | 244 | 523 526.11/526.20 c 508s | 21 | 5700707 | 1344645 | 6530 459 | 244 | 523 528.11/528.22 c 510s | 21 | 5717969 | 1348945 | 6530 460 | 244 | 523 530.11/530.24 c 512s | 21 | 5734965 | 1353145 | 6530 462 | 244 | 523 532.11/532.25 c 514s | 21 | 5751751 | 1357545 | 6530 463 | 244 | 523 534.11/534.26 c 516s | 21 | 5767872 | 1361445 | 6530 464 | 244 | 523 536.11/536.27 c 518s | 21 | 5790535 | 1366045 | 6530 465 | 244 | 523 538.21/538.30 c 520s | 21 | 5810085 | 1370745 | 6530 467 | 244 | 523 540.21/540.31 c 522s | 21 | 5824538 | 1374545 | 6530 468 | 244 | 523 542.20/542.33 c 524s | 21 | 5839500 | 1378845 | 6530 469 | 244 | 523 544.20/544.35 c 526s | 21 | 5856602 | 1383145 | 6530 470 | 244 | 523 546.20/546.36 c 528s | 21 | 5875224 | 1387845 | 6530 472 | 244 | 523 548.20/548.38 c 530s | 21 | 5895342 | 1392645 | 6530 473 | 244 | 523 550.30/550.41 c 532s | 21 | 5915147 | 1397745 | 6530 475 | 244 | 523 552.31/552.42 c 534s | 21 | 5933987 | 1402545 | 6530 476 | 244 | 523 554.30/554.44 c 536s | 21 | 5949573 | 1406645 | 6530 477 | 244 | 523 556.30/556.46 c 538s | 21 | 5969082 | 1411045 | 6530 478 | 244 | 523 558.30/558.46 c 540s | 21 | 5994253 | 1416045 | 6530 480 | 244 | 523 560.40/560.50 c 542s | 21 | 6015649 | 1420845 | 6530 481 | 244 | 523 562.40/562.51 c 544s | 21 | 6041185 | 1426145 | 7184 483 | 244 | 523 564.42/564.51 c 546s | 21 | 6059257 | 1430245 | 7184 484 | 244 | 523 566.41/566.55 c 548s | 21 | 6079829 | 1434745 | 7184 485 | 244 | 523 568.41/568.57 c 550s | 21 | 6103659 | 1439345 | 7184 486 | 244 | 523 570.41/570.58 c 552s | 21 | 6129081 | 1444645 | 7184 487 | 244 | 523 572.51/572.62 c 554s | 21 | 6152644 | 1449345 | 7184 489 | 244 | 523 574.51/574.63 c 556s | 21 | 6175874 | 1454245 | 7184 490 | 244 | 523 576.51/576.68 c 558s | 21 | 6193827 | 1458645 | 7184 491 | 244 | 523 578.51/578.68 c 560s | 21 | 6214076 | 1463145 | 7184 492 | 244 | 523 580.60/580.70 c 562s | 21 | 6236471 | 1467545 | 7184 494 | 244 | 523 582.60/582.73 c 564s | 21 | 6258578 | 1472545 | 7184 495 | 244 | 523 584.60/584.74 c 566s | 21 | 6282343 | 1477545 | 7184 496 | 244 | 523 586.60/586.76 c 568s | 21 | 6306635 | 1482045 | 7184 497 | 244 | 523 588.61/588.79 c 570s | 21 | 6330691 | 1486845 | 7184 499 | 244 | 523 590.71/590.81 c 572s | 21 | 6354111 | 1491545 | 7184 500 | 244 | 523 592.70/592.83 c 574s | 21 | 6377143 | 1496245 | 7184 501 | 244 | 523 594.70/594.85 c 576s | 21 | 6396993 | 1500245 | 7184 502 | 244 | 523 594.90/595.01 c 577s | 22 | 6399104 | 1500622 | 7184 502 | 244 | 523 596.90/597.02 c 579s | 22 | 6416506 | 1504222 | 7184 503 | 244 | 523 598.90/599.05 c 581s | 22 | 6435077 | 1508422 | 7184 504 | 244 | 523 601.00/601.12 c 583s | 22 | 6456149 | 1512722 | 7184 506 | 244 | 523 603.10/603.24 c 585s | 22 | 6474489 | 1516622 | 7184 507 | 244 | 523 605.10/605.28 c 587s | 22 | 6491893 | 1520722 | 7184 508 | 244 | 523 607.20/607.31 c 589s | 22 | 6511766 | 1525322 | 7184 509 | 244 | 523 609.19/609.32 c 591s | 22 | 6531232 | 1529422 | 7184 510 | 244 | 523 611.19/611.34 c 593s | 22 | 6553869 | 1533922 | 7184 511 | 244 | 523 613.19/613.36 c 595s | 22 | 6578790 | 1538522 | 7184 512 | 244 | 523 615.19/615.36 c 597s | 22 | 6602053 | 1543222 | 7184 514 | 244 | 523 617.20/617.38 c 599s | 22 | 6621071 | 1547222 | 7184 515 | 244 | 523 619.30/619.41 c 601s | 22 | 6641198 | 1551422 | 7184 516 | 244 | 523 621.29/621.41 c 603s | 22 | 6667992 | 1556222 | 7184 517 | 244 | 523 623.29/623.42 c 605s | 22 | 6686737 | 1560722 | 7184 518 | 244 | 523 625.29/625.45 c 607s | 22 | 6708979 | 1565222 | 7184 519 | 244 | 523 627.29/627.48 c 609s | 22 | 6727833 | 1569522 | 7184 521 | 244 | 523 629.39/629.52 c 611s | 22 | 6750725 | 1574322 | 7184 522 | 244 | 523 631.40/631.55 c 613s | 22 | 6770955 | 1578822 | 7184 523 | 244 | 523 633.39/633.59 c 615s | 22 | 6790228 | 1583022 | 7184 524 | 244 | 523 635.49/635.61 c 617s | 22 | 6813845 | 1587822 | 7184 525 | 244 | 523 637.49/637.64 c 619s | 22 | 6836404 | 1593022 | 7184 527 | 244 | 523 639.49/639.68 c 621s | 22 | 6858726 | 1597622 | 7184 528 | 244 | 523 641.49/641.69 c 623s | 22 | 6883180 | 1602522 | 7184 529 | 244 | 523 643.49/643.70 c 625s | 22 | 6909343 | 1607722 | 7184 531 | 244 | 523 645.59/645.73 c 627s | 22 | 6934722 | 1612422 | 7184 532 | 244 | 523 647.60/647.75 c 629s | 22 | 6965782 | 1617922 | 7184 533 | 244 | 523 649.80/649.92 c 632s | 22 | 6989680 | 1623222 | 7184 535 | 244 | 523 651.79/651.95 c 634s | 22 | 7011512 | 1627522 | 7184 536 | 244 | 523 653.79/653.97 c 636s | 22 | 7038052 | 1632522 | 7184 537 | 244 | 523 655.89/656.01 c 638s | 22 | 7060934 | 1636822 | 7184 538 | 244 | 523 657.90/658.02 c 640s | 22 | 7087472 | 1641922 | 7184 540 | 244 | 523 659.89/660.03 c 642s | 22 | 7113864 | 1647122 | 7184 541 | 244 | 523 661.89/662.06 c 644s | 22 | 7137396 | 1651722 | 7184 542 | 244 | 523 663.89/664.07 c 646s | 22 | 7162407 | 1656722 | 7184 544 | 244 | 523 665.89/666.09 c 648s | 22 | 7190038 | 1661822 | 7184 545 | 244 | 523 667.99/668.13 c 650s | 22 | 7213805 | 1666322 | 7184 546 | 244 | 523 670.00/670.14 c 652s | 22 | 7239850 | 1671222 | 7184 547 | 244 | 523 671.99/672.17 c 654s | 22 | 7263422 | 1675422 | 7184 549 | 244 | 523 674.09/674.20 c 656s | 22 | 7285632 | 1679722 | 7184 550 | 244 | 523 676.09/676.22 c 658s | 22 | 7309418 | 1684522 | 7184 551 | 244 | 523 678.09/678.24 c 660s | 22 | 7332814 | 1689222 | 7184 552 | 244 | 523 680.09/680.29 c 662s | 22 | 7357493 | 1694122 | 7184 554 | 244 | 523 682.19/682.32 c 664s | 22 | 7378961 | 1698822 | 7184 555 | 244 | 523 684.19/684.34 c 666s | 22 | 7402528 | 1703922 | 7184 556 | 244 | 523 686.19/686.38 c 668s | 22 | 7427306 | 1708622 | 7184 557 | 244 | 523 688.19/688.38 c 670s | 22 | 7448980 | 1712922 | 7184 559 | 244 | 523 690.29/690.42 c 672s | 22 | 7472170 | 1718022 | 7184 560 | 244 | 523 692.28/692.44 c 674s | 22 | 7498052 | 1723422 | 7184 561 | 244 | 523 694.28/694.47 c 676s | 22 | 7519357 | 1728122 | 7184 563 | 244 | 523 696.39/696.58 c 678s | 22 | 7536982 | 1732022 | 7184 564 | 244 | 523 698.38/698.59 c 680s | 22 | 7556090 | 1736322 | 7184 565 | 244 | 523 700.48/700.60 c 682s | 22 | 7577648 | 1741022 | 7184 566 | 244 | 523 702.48/702.60 c 684s | 22 | 7597957 | 1745722 | 7184 567 | 244 | 523 704.48/704.61 c 686s | 22 | 7620574 | 1750722 | 7184 568 | 244 | 523 706.48/706.62 c 688s | 22 | 7642801 | 1755722 | 7184 570 | 244 | 523 708.49/708.63 c 690s | 22 | 7663786 | 1760122 | 7184 571 | 244 | 523 710.48/710.64 c 692s | 22 | 7687466 | 1765022 | 7184 572 | 244 | 523 712.48/712.66 c 694s | 22 | 7711586 | 1770222 | 7184 574 | 244 | 523 714.58/714.70 c 696s | 22 | 7739905 | 1776022 | 7184 575 | 244 | 523 716.58/716.71 c 698s | 22 | 7758730 | 1780422 | 7184 576 | 244 | 523 718.58/718.77 c 700s | 22 | 7782232 | 1784822 | 7184 578 | 244 | 523 720.58/720.79 c 702s | 22 | 7804679 | 1790022 | 7184 579 | 244 | 523 722.68/722.81 c 704s | 22 | 7825711 | 1794722 | 7184 580 | 244 | 523 724.68/724.81 c 706s | 22 | 7848703 | 1799122 | 7184 581 | 244 | 523 726.68/726.82 c 708s | 22 | 7870841 | 1803622 | 7184 582 | 244 | 523 728.68/728.85 c 710s | 22 | 7890158 | 1807622 | 7184 584 | 244 | 523 730.68/730.89 c 713s | 22 | 7914906 | 1812022 | 7184 585 | 244 | 523 732.78/732.90 c 715s | 22 | 7938374 | 1817022 | 7184 586 | 244 | 523 734.78/734.94 c 717s | 22 | 7960697 | 1821722 | 7184 587 | 244 | 523 736.78/736.96 c 719s | 22 | 7981600 | 1826122 | 7184 588 | 244 | 523 738.77/738.96 c 721s | 22 | 8006989 | 1831022 | 7184 590 | 244 | 523 740.77/740.98 c 723s | 22 | 8031433 | 1835822 | 7184 591 | 244 | 523 742.87/743.01 c 725s | 22 | 8053767 | 1840522 | 7184 592 | 244 | 523 744.87/745.06 c 727s | 22 | 8071986 | 1845022 | 7184 593 | 244 | 523 746.88/747.07 c 729s | 22 | 8094700 | 1849522 | 7184 595 | 244 | 523 748.87/749.08 c 731s | 22 | 8119002 | 1854822 | 7184 596 | 244 | 523 750.97/751.10 c 733s | 22 | 8139202 | 1859522 | 7184 597 | 244 | 523 752.97/753.11 c 735s | 22 | 8162844 | 1864422 | 7184 599 | 244 | 523 754.97/755.12 c 737s | 22 | 8184766 | 1869222 | 7184 600 | 244 | 523 756.97/757.14 c 739s | 22 | 8206533 | 1873722 | 7184 601 | 244 | 523 758.98/759.18 c 741s | 22 | 8225684 | 1878722 | 7184 602 | 244 | 523 761.07/761.21 c 743s | 22 | 8245805 | 1883522 | 7184 604 | 244 | 523 763.07/763.23 c 745s | 22 | 8268914 | 1888822 | 7184 605 | 244 | 523 765.07/765.25 c 747s | 22 | 8292381 | 1893922 | 7184 606 | 244 | 523 767.07/767.26 c 749s | 22 | 8314950 | 1899222 | 7184 608 | 244 | 523 769.07/769.26 c 751s | 22 | 8339035 | 1903822 | 7184 609 | 244 | 523 771.07/771.29 c 753s | 22 | 8364248 | 1908922 | 7184 610 | 244 | 523 773.17/773.30 c 755s | 22 | 8390776 | 1913922 | 7184 612 | 244 | 523 775.17/775.32 c 757s | 22 | 8413077 | 1918122 | 7184 613 | 244 | 523 777.17/777.35 c 759s | 22 | 8436242 | 1923022 | 7184 614 | 244 | 523 779.17/779.36 c 761s | 22 | 8459211 | 1927422 | 7184 615 | 244 | 523 781.27/781.40 c 763s | 22 | 8482260 | 1931822 | 7184 616 | 244 | 523 783.27/783.44 c 765s | 22 | 8511764 | 1936622 | 7184 618 | 244 | 523 785.27/785.46 c 767s | 22 | 8537284 | 1941522 | 7184 619 | 244 | 523 787.37/787.50 c 769s | 22 | 8559419 | 1945622 | 7184 620 | 244 | 523 789.37/789.53 c 771s | 22 | 8579005 | 1950322 | 7184 621 | 244 | 523 791.37/791.56 c 773s | 22 | 8599791 | 1954822 | 7184 622 | 244 | 523 793.37/793.58 c 775s | 22 | 8616215 | 1958922 | 7184 624 | 244 | 523 795.47/795.61 c 777s | 22 | 8636138 | 1963222 | 7184 625 | 244 | 523 797.48/797.63 c 779s | 22 | 8655068 | 1967722 | 7184 626 | 244 | 523 799.47/799.67 c 781s | 22 | 8676824 | 1972322 | 7184 627 | 244 | 523 801.47/801.67 c 783s | 22 | 8695031 | 1976822 | 7184 628 | 244 | 523 803.57/803.71 c 785s | 22 | 8714497 | 1981322 | 7184 629 | 244 | 523 805.57/805.74 c 787s | 22 | 8730706 | 1985122 | 7184 630 | 244 | 523 807.57/807.78 c 789s | 22 | 8753037 | 1989522 | 7184 632 | 244 | 523 809.58/809.80 c 791s | 22 | 8779930 | 1994422 | 7184 633 | 244 | 523 811.67/811.81 c 793s | 22 | 8801371 | 1998722 | 7184 634 | 244 | 523 813.67/813.84 c 795s | 22 | 8824297 | 2003822 | 7184 635 | 244 | 523 815.67/815.86 c 797s | 22 | 8848662 | 2008722 | 7184 637 | 244 | 523 817.77/817.91 c 800s | 22 | 8872040 | 2013622 | 7184 638 | 244 | 523 819.77/819.93 c 802s | 22 | 8896803 | 2018622 | 7184 639 | 244 | 523 821.77/821.97 c 804s | 22 | 8923942 | 2024022 | 7184 641 | 244 | 523 823.76/823.99 c 806s | 22 | 8948601 | 2028722 | 7184 642 | 244 | 523 825.86/826.03 c 808s | 22 | 8971236 | 2033922 | 7184 643 | 244 | 523 827.96/828.10 c 810s | 22 | 8990187 | 2038022 | 7184 644 | 244 | 523 829.96/830.16 c 812s | 22 | 9011586 | 2042822 | 7184 646 | 244 | 523 831.96/832.17 c 814s | 22 | 9034956 | 2047422 | 7184 647 | 244 | 523 834.06/834.21 c 816s | 22 | 9059973 | 2052522 | 7184 648 | 244 | 523 836.07/836.22 c 818s | 22 | 9085345 | 2057522 | 7184 650 | 244 | 523 838.06/838.24 c 820s | 22 | 9104637 | 2062022 | 7184 651 | 244 | 523 840.06/840.24 c 822s | 22 | 9124336 | 2066322 | 7184 652 | 244 | 523 842.06/842.25 c 824s | 22 | 9148275 | 2071522 | 7184 653 | 244 | 523 844.06/844.26 c 826s | 22 | 9169645 | 2076222 | 7184 655 | 244 | 523 846.06/846.29 c 828s | 22 | 9191217 | 2081322 | 7184 656 | 244 | 523 848.17/848.32 c 830s | 22 | 9216078 | 2086622 | 7184 657 | 244 | 523 850.16/850.32 c 832s | 22 | 9233497 | 2090622 | 7184 658 | 244 | 523 852.16/852.34 c 834s | 22 | 9256957 | 2095222 | 7184 660 | 244 | 523 854.16/854.35 c 836s | 22 | 9277426 | 2099722 | 7184 661 | 244 | 523 856.16/856.39 c 838s | 22 | 9297508 | 2104522 | 7184 662 | 244 | 523 858.16/858.39 c 840s | 22 | 9316868 | 2108822 | 7184 663 | 244 | 523 860.26/860.42 c 842s | 22 | 9336857 | 2113322 | 7184 664 | 244 | 523 862.26/862.43 c 844s | 22 | 9357769 | 2117922 | 7184 666 | 244 | 523 864.26/864.46 c 846s | 22 | 9378619 | 2122822 | 7184 667 | 244 | 523 866.26/866.49 c 848s | 22 | 9399283 | 2127522 | 7184 668 | 244 | 523 868.36/868.51 c 850s | 22 | 9421303 | 2132022 | 7184 669 | 244 | 523 870.35/870.55 c 852s | 22 | 9443074 | 2136022 | 7184 670 | 244 | 523 872.36/872.59 c 854s | 22 | 9465665 | 2140622 | 7184 672 | 244 | 523 874.35/874.60 c 856s | 22 | 9488973 | 2145322 | 7184 673 | 244 | 523 876.45/876.63 c 858s | 22 | 9510725 | 2149722 | 7184 674 | 244 | 523 878.45/878.66 c 860s | 22 | 9529645 | 2154222 | 7184 675 | 244 | 523 880.45/880.68 c 862s | 22 | 9547512 | 2158422 | 7184 676 | 244 | 523 882.55/882.71 c 864s | 22 | 9568361 | 2163122 | 7184 677 | 244 | 523 884.55/884.73 c 866s | 22 | 9588859 | 2167722 | 7903 679 | 244 | 523 886.56/886.75 c 868s | 22 | 9611620 | 2172322 | 7903 680 | 244 | 523 888.55/888.77 c 870s | 22 | 9633665 | 2176822 | 7903 681 | 244 | 523 890.55/890.77 c 872s | 22 | 9655705 | 2181522 | 7903 682 | 244 | 523 892.55/892.78 c 874s | 22 | 9678560 | 2185822 | 7903 683 | 244 | 523 894.65/894.81 c 876s | 22 | 9701715 | 2190522 | 7903 684 | 244 | 523 896.65/896.84 c 878s | 22 | 9726399 | 2195522 | 7903 685 | 244 | 523 898.66/898.86 c 880s | 22 | 9749557 | 2200322 | 7903 686 | 244 | 523 900.65/900.87 c 882s | 22 | 9770384 | 2204922 | 7903 687 | 244 | 523 902.65/902.89 c 885s | 22 | 9791209 | 2209422 | 7903 689 | 244 | 523 904.75/904.91 c 887s | 22 | 9817488 | 2214122 | 7903 690 | 244 | 523 906.75/906.94 c 889s | 22 | 9839211 | 2218422 | 7903 691 | 244 | 523 908.85/909.06 c 891s | 22 | 9863044 | 2222822 | 7903 692 | 244 | 523 910.86/911.07 c 893s | 22 | 9880834 | 2226622 | 7903 693 | 244 | 523 912.96/913.11 c 895s | 22 | 9901681 | 2231122 | 7903 694 | 244 | 523 914.95/915.11 c 897s | 22 | 9925641 | 2235722 | 7903 695 | 244 | 523 916.95/917.18 c 899s | 22 | 9944460 | 2240022 | 7903 696 | 244 | 523 919.05/919.22 c 901s | 22 | 9959000 | 2243122 | 7903 697 | 244 | 523 921.05/921.24 c 903s | 22 | 9983362 | 2248122 | 7903 698 | 244 | 523 922.35/922.55 c 904s | 23 | 9996924 | 2251038 | 7903 699 | 244 | 523 924.35/924.56 c 906s | 23 | 10014793 | 2255338 | 7903 700 | 244 | 523 926.35/926.56 c 908s | 23 | 10033967 | 2259938 | 7903 701 | 244 | 523 928.36/928.57 c 910s | 23 | 10057335 | 2264838 | 7903 702 | 244 | 523 930.35/930.57 c 912s | 23 | 10081792 | 2269738 | 7903 703 | 244 | 523 932.35/932.59 c 914s | 23 | 10103392 | 2275138 | 7903 704 | 244 | 523 934.45/934.62 c 916s | 23 | 10126738 | 2280138 | 7903 706 | 244 | 523 936.45/936.69 c 918s | 23 | 10146775 | 2285038 | 7903 707 | 244 | 523 938.45/938.69 c 920s | 23 | 10169997 | 2289738 | 7903 708 | 244 | 523 940.56/940.71 c 922s | 23 | 10192237 | 2294538 | 7903 709 | 244 | 523 942.55/942.74 c 924s | 23 | 10214797 | 2299438 | 7903 710 | 244 | 523 944.55/944.75 c 926s | 23 | 10235278 | 2303838 | 7903 711 | 244 | 523 946.55/946.75 c 928s | 23 | 10260236 | 2308938 | 7903 713 | 244 | 523 948.55/948.78 c 930s | 23 | 10285048 | 2314138 | 7903 714 | 244 | 523 950.65/950.81 c 932s | 23 | 10308199 | 2319238 | 7903 715 | 244 | 523 952.65/952.82 c 934s | 23 | 10330369 | 2323738 | 7903 716 | 244 | 523 954.65/954.83 c 936s | 23 | 10353317 | 2328538 | 7903 717 | 244 | 523 956.65/956.86 c 938s | 23 | 10375446 | 2333438 | 7903 718 | 244 | 523 958.65/958.87 c 940s | 23 | 10398577 | 2338438 | 7903 720 | 244 | 523 960.65/960.89 c 943s | 23 | 10424374 | 2343538 | 7903 721 | 244 | 523 962.74/962.92 c 945s | 23 | 10450149 | 2348638 | 7903 722 | 244 | 523 964.75/964.95 c 947s | 23 | 10473859 | 2353538 | 7903 723 | 244 | 523 966.74/966.97 c 949s | 23 | 10487929 | 2356438 | 7903 724 | 244 | 523 968.84/969.00 c 951s | 23 | 10512251 | 2361138 | 7903 725 | 244 | 523 970.84/971.01 c 953s | 23 | 10541651 | 2366438 | 7903 726 | 244 | 523 972.84/973.02 c 955s | 23 | 10565783 | 2370838 | 7903 727 | 244 | 523 974.84/975.07 c 957s | 23 | 10588134 | 2375038 | 7903 728 | 244 | 523 976.94/977.11 c 959s | 23 | 10611543 | 2379338 | 7903 729 | 244 | 523 978.94/979.14 c 961s | 23 | 10632659 | 2383738 | 7903 731 | 244 | 523 980.94/981.16 c 963s | 23 | 10657333 | 2389238 | 7903 732 | 244 | 523 982.94/983.19 c 965s | 23 | 10679664 | 2394138 | 7903 733 | 244 | 523 985.04/985.20 c 967s | 23 | 10701283 | 2398938 | 7903 734 | 244 | 523 987.04/987.23 c 969s | 23 | 10725666 | 2403938 | 7903 735 | 244 | 523 989.03/989.27 c 971s | 23 | 10751591 | 2408838 | 7903 737 | 244 | 523 991.05/991.28 c 973s | 23 | 10773865 | 2414138 | 7903 738 | 244 | 523 993.14/993.30 c 975s | 23 | 10798088 | 2419238 | 7903 739 | 244 | 523 995.14/995.35 c 977s | 23 | 10819807 | 2423838 | 7903 740 | 244 | 523 997.14/997.37 c 979s | 23 | 10845786 | 2428938 | 7903 741 | 244 | 523 999.24/999.44 c 981s | 23 | 10866016 | 2433338 | 7903 742 | 244 | 523 1001.24/1001.46 c 983s | 23 | 10889029 | 2438338 | 7903 744 | 244 | 523 1003.25/1003.48 c 985s | 23 | 10909513 | 2443138 | 7903 745 | 244 | 523 1005.35/1005.52 c 987s | 23 | 10934339 | 2448138 | 7903 746 | 244 | 523 1007.34/1007.55 c 989s | 23 | 10962007 | 2453338 | 7903 747 | 244 | 523 1009.54/1009.73 c 991s | 23 | 10985252 | 2457738 | 7903 748 | 244 | 523 1011.54/1011.75 c 993s | 23 | 11013672 | 2462338 | 7903 749 | 244 | 523 1013.54/1013.76 c 995s | 23 | 11041845 | 2467338 | 7903 751 | 244 | 523 1015.54/1015.76 c 997s | 23 | 11070014 | 2471938 | 7903 752 | 244 | 523 1017.54/1017.79 c 999s | 23 | 11091036 | 2476638 | 7903 753 | 244 | 523 1019.53/1019.79 c 1001s | 23 | 11115454 | 2481938 | 7903 754 | 244 | 523 1021.63/1021.85 c 1003s | 23 | 11142794 | 2487438 | 7903 756 | 244 | 523 1023.63/1023.87 c 1005s | 23 | 11164637 | 2492438 | 7903 757 | 244 | 523 1025.63/1025.89 c 1008s | 23 | 11196678 | 2498038 | 7903 758 | 244 | 523 1027.73/1027.93 c 1010s | 23 | 11222473 | 2503238 | 7903 759 | 244 | 523 1029.73/1029.95 c 1012s | 23 | 11248153 | 2508638 | 7903 761 | 244 | 523 1031.73/1031.98 c 1014s | 23 | 11272826 | 2513738 | 7903 762 | 244 | 523 1033.94/1034.15 c 1016s | 23 | 11293122 | 2517638 | 7903 763 | 244 | 523 1035.94/1036.16 c 1018s | 23 | 11319903 | 2523038 | 7903 764 | 244 | 523 1037.94/1038.17 c 1020s | 23 | 11342011 | 2528838 | 7903 765 | 244 | 523 1039.93/1040.19 c 1022s | 23 | 11362455 | 2533938 | 7903 767 | 244 | 523 1042.03/1042.20 c 1024s | 23 | 11382427 | 2538738 | 7903 768 | 244 | 523 1044.03/1044.23 c 1026s | 23 | 11407328 | 2543638 | 7903 769 | 244 | 523 1046.04/1046.26 c 1028s | 23 | 11430972 | 2548238 | 7903 770 | 244 | 523 1048.03/1048.27 c 1030s | 23 | 11448660 | 2552538 | 7903 771 | 244 | 523 1050.03/1050.28 c 1032s | 23 | 11469186 | 2557838 | 7903 772 | 244 | 523 1052.03/1052.29 c 1034s | 23 | 11491547 | 2563538 | 7903 774 | 244 | 523 1054.13/1054.30 c 1036s | 23 | 11517211 | 2569238 | 7903 775 | 244 | 523 1056.13/1056.33 c 1038s | 23 | 11538578 | 2574838 | 7903 777 | 244 | 523 1058.13/1058.34 c 1040s | 23 | 11561052 | 2580738 | 7903 778 | 244 | 523 1060.12/1060.36 c 1042s | 23 | 11580773 | 2585938 | 7903 779 | 244 | 523 1062.12/1062.37 c 1044s | 23 | 11595569 | 2589938 | 7903 780 | 244 | 523 1064.12/1064.37 c 1046s | 23 | 11614101 | 2593938 | 7903 781 | 244 | 523 1066.12/1066.39 c 1048s | 23 | 11633675 | 2598238 | 7903 782 | 244 | 523 1068.22/1068.42 c 1050s | 23 | 11654379 | 2602338 | 7903 783 | 244 | 523 1070.22/1070.42 c 1052s | 23 | 11674401 | 2606238 | 7903 784 | 244 | 523 1072.22/1072.43 c 1054s | 23 | 11694658 | 2610738 | 7903 785 | 244 | 523 1074.22/1074.46 c 1056s | 23 | 11715789 | 2614638 | 7903 786 | 244 | 523 1076.22/1076.47 c 1058s | 23 | 11740175 | 2619238 | 7903 787 | 244 | 523 1078.32/1078.50 c 1060s | 23 | 11759633 | 2623638 | 7903 788 | 244 | 523 1080.31/1080.50 c 1062s | 23 | 11778281 | 2628838 | 7903 790 | 244 | 523 1082.32/1082.51 c 1064s | 23 | 11797541 | 2633238 | 7903 791 | 244 | 523 1084.31/1084.53 c 1066s | 23 | 11819907 | 2637838 | 7903 792 | 244 | 523 1086.31/1086.54 c 1068s | 23 | 11842352 | 2642538 | 7903 793 | 244 | 523 1088.31/1088.55 c 1070s | 23 | 11864031 | 2646638 | 7903 794 | 244 | 523 1090.31/1090.57 c 1072s | 23 | 11886920 | 2651938 | 7903 795 | 244 | 523 1092.31/1092.59 c 1074s | 23 | 11911821 | 2657838 | 7903 797 | 244 | 523 1094.30/1094.59 c 1076s | 23 | 11934381 | 2663138 | 7903 798 | 244 | 523 1096.50/1096.72 c 1078s | 23 | 11954271 | 2667738 | 7903 799 | 244 | 523 1098.50/1098.73 c 1080s | 23 | 11978103 | 2673538 | 7903 800 | 244 | 523 1100.50/1100.77 c 1082s | 23 | 12001716 | 2678738 | 7903 802 | 244 | 523 1102.50/1102.78 c 1084s | 23 | 12026707 | 2684338 | 7903 803 | 244 | 523 1104.60/1104.81 c 1086s | 23 | 12050225 | 2689938 | 7903 804 | 244 | 523 1106.60/1106.83 c 1088s | 23 | 12073547 | 2695638 | 7903 806 | 244 | 523 1108.60/1108.87 c 1090s | 23 | 12098651 | 2701138 | 7903 807 | 244 | 523 1110.59/1110.89 c 1093s | 23 | 12123360 | 2706238 | 7903 808 | 244 | 523 1112.79/1113.09 c 1095s | 23 | 12138121 | 2709738 | 7903 809 | 244 | 523 1114.89/1115.11 c 1097s | 23 | 12156342 | 2713638 | 7903 810 | 244 | 523 1116.89/1117.15 c 1099s | 23 | 12173672 | 2717938 | 7903 811 | 244 | 523 1118.89/1119.17 c 1101s | 23 | 12193044 | 2722738 | 7903 812 | 244 | 523 1120.89/1121.19 c 1103s | 23 | 12211006 | 2726938 | 7903 813 | 244 | 523 1122.99/1123.21 c 1105s | 23 | 12231598 | 2731038 | 7903 814 | 244 | 523 1124.98/1125.25 c 1107s | 23 | 12255920 | 2736038 | 7903 816 | 244 | 523 1126.98/1127.26 c 1109s | 23 | 12278384 | 2741438 | 7903 817 | 244 | 523 1128.99/1129.28 c 1111s | 23 | 12298478 | 2745238 | 7903 818 | 244 | 523 1131.09/1131.33 c 1113s | 23 | 12316143 | 2748938 | 7903 819 | 244 | 523 1133.09/1133.33 c 1115s | 23 | 12335508 | 2752738 | 7903 820 | 244 | 523 1135.09/1135.36 c 1117s | 23 | 12359742 | 2757638 | 7903 821 | 244 | 523 1137.09/1137.39 c 1119s | 23 | 12380508 | 2762138 | 7903 822 | 244 | 523 1139.18/1139.41 c 1121s | 23 | 12400252 | 2766338 | 7903 823 | 244 | 523 1141.18/1141.44 c 1123s | 23 | 12425191 | 2771538 | 7903 824 | 244 | 523 1143.18/1143.44 c 1125s | 23 | 12447185 | 2776038 | 7903 825 | 244 | 523 1145.28/1145.50 c 1127s | 23 | 12472084 | 2781438 | 7903 826 | 244 | 523 1147.29/1147.53 c 1129s | 23 | 12499751 | 2786638 | 7903 828 | 244 | 523 1149.28/1149.54 c 1131s | 23 | 12523910 | 2792038 | 7903 829 | 244 | 523 1151.28/1151.55 c 1133s | 23 | 12545795 | 2797238 | 7903 830 | 244 | 523 1153.28/1153.57 c 1135s | 23 | 12567478 | 2802238 | 7903 832 | 244 | 523 1155.28/1155.58 c 1137s | 23 | 12590506 | 2807638 | 7903 833 | 244 | 523 1157.28/1157.59 c 1139s | 23 | 12609114 | 2812438 | 7903 834 | 244 | 523 1159.28/1159.60 c 1141s | 23 | 12630329 | 2817938 | 7903 835 | 244 | 523 1161.37/1161.62 c 1143s | 23 | 12652713 | 2822438 | 7903 836 | 244 | 523 1163.37/1163.68 c 1145s | 23 | 12677533 | 2827238 | 7903 838 | 244 | 523 1165.37/1165.69 c 1147s | 23 | 12697570 | 2831638 | 7903 839 | 244 | 523 1167.47/1167.71 c 1149s | 23 | 12719395 | 2837038 | 7903 840 | 244 | 523 1169.47/1169.76 c 1151s | 23 | 12735915 | 2840738 | 7903 841 | 244 | 523 1171.47/1171.78 c 1153s | 23 | 12755236 | 2845038 | 7903 842 | 244 | 523 1173.47/1173.79 c 1155s | 23 | 12778911 | 2851238 | 7903 843 | 244 | 523 1175.57/1175.82 c 1157s | 23 | 12800767 | 2857138 | 7903 845 | 244 | 523 1177.57/1177.85 c 1159s | 23 | 12825611 | 2862538 | 7903 846 | 244 | 523 1179.56/1179.89 c 1162s | 23 | 12846557 | 2867638 | 7903 847 | 244 | 523 1181.66/1181.91 c 1164s | 23 | 12867694 | 2872438 | 7903 848 | 244 | 523 1183.66/1183.95 c 1166s | 23 | 12890317 | 2877738 | 7903 850 | 244 | 523 1185.66/1185.96 c 1168s | 23 | 12909199 | 2881938 | 7903 851 | 244 | 523 1187.66/1187.96 c 1170s | 23 | 12926025 | 2886438 | 7903 852 | 244 | 523 1189.66/1189.97 c 1172s | 23 | 12945057 | 2891338 | 7903 853 | 244 | 523 1191.65/1191.98 c 1174s | 23 | 12960868 | 2895638 | 7903 854 | 244 | 523 1193.75/1194.01 c 1176s | 23 | 12980330 | 2900238 | 7903 855 | 244 | 523 1195.75/1196.04 c 1178s | 23 | 12999033 | 2904838 | 7903 856 | 244 | 523 1197.76/1198.06 c 1180s | 23 | 13020921 | 2909738 | 7903 857 | 244 | 523 1199.75/1200.08 c 1182s | 23 | 13042607 | 2914838 | 7903 859 | 244 | 523 1201.75/1202.08 c 1184s | 23 | 13065712 | 2920638 | 7903 860 | 244 | 523 1203.85/1204.11 c 1186s | 23 | 13088139 | 2926038 | 7903 861 | 244 | 523 1205.85/1206.12 c 1188s | 23 | 13111639 | 2931738 | 7903 863 | 244 | 523 1207.85/1208.13 c 1190s | 23 | 13134338 | 2937138 | 7903 864 | 244 | 523 1209.85/1210.17 c 1192s | 23 | 13151297 | 2941938 | 7903 865 | 244 | 523 1211.85/1212.19 c 1194s | 23 | 13171154 | 2946738 | 7903 866 | 244 | 523 1213.95/1214.21 c 1196s | 23 | 13193893 | 2952838 | 7903 868 | 244 | 523 1215.95/1216.25 c 1198s | 23 | 13215572 | 2957938 | 7903 869 | 244 | 523 1217.94/1218.26 c 1200s | 23 | 13238547 | 2963538 | 7903 870 | 244 | 523 1219.94/1220.28 c 1202s | 23 | 13258035 | 2968538 | 7903 872 | 244 | 523 1222.05/1222.31 c 1204s | 23 | 13283562 | 2974138 | 7903 873 | 244 | 523 1224.15/1224.43 c 1206s | 23 | 13299355 | 2977538 | 7903 874 | 244 | 523 1226.15/1226.44 c 1208s | 23 | 13318695 | 2982538 | 7903 875 | 244 | 523 1228.15/1228.45 c 1210s | 23 | 13340708 | 2987638 | 7903 876 | 244 | 523 1230.15/1230.47 c 1212s | 23 | 13360377 | 2992938 | 7903 877 | 244 | 523 1232.24/1232.51 c 1214s | 23 | 13384672 | 2998338 | 7903 879 | 244 | 523 1234.24/1234.51 c 1216s | 23 | 13399894 | 3001838 | 7903 880 | 244 | 523 1236.25/1236.52 c 1218s | 23 | 13419345 | 3006838 | 7903 881 | 244 | 523 1238.24/1238.54 c 1220s | 23 | 13446647 | 3012738 | 7903 882 | 244 | 523 1240.24/1240.58 c 1222s | 23 | 13466993 | 3017838 | 7903 884 | 244 | 523 1242.23/1242.59 c 1224s | 23 | 13483407 | 3021638 | 7903 884 | 244 | 523 1244.33/1244.60 c 1226s | 23 | 13509778 | 3027538 | 7903 886 | 244 | 523 1246.33/1246.65 c 1228s | 23 | 13529430 | 3032838 | 7903 887 | 244 | 523 1248.34/1248.65 c 1230s | 23 | 13554244 | 3038438 | 7903 888 | 244 | 523 1250.33/1250.66 c 1232s | 23 | 13568042 | 3041938 | 7903 889 | 244 | 523 1252.33/1252.69 c 1234s | 23 | 13588482 | 3046338 | 7903 890 | 244 | 523 1254.33/1254.69 c 1236s | 23 | 13612889 | 3051538 | 7903 892 | 244 | 523 1256.43/1256.72 c 1238s | 23 | 13635140 | 3057138 | 7903 893 | 244 | 523 1258.43/1258.75 c 1240s | 23 | 13656738 | 3062338 | 7903 894 | 244 | 523 1260.43/1260.79 c 1242s | 23 | 13676998 | 3067038 | 7903 895 | 244 | 523 1262.73/1263.03 c 1245s | 23 | 13700021 | 3072538 | 7903 897 | 244 | 523 1264.72/1265.06 c 1247s | 23 | 13726657 | 3078038 | 7903 898 | 244 | 523 1266.72/1267.09 c 1249s | 23 | 13748847 | 3083438 | 7903 899 | 244 | 523 1268.82/1269.13 c 1251s | 23 | 13769217 | 3088238 | 7903 900 | 244 | 523 1270.82/1271.13 c 1253s | 23 | 13789003 | 3092938 | 7903 902 | 244 | 523 1272.82/1273.16 c 1255s | 23 | 13811649 | 3097838 | 7903 903 | 244 | 523 1274.82/1275.19 c 1257s | 23 | 13834274 | 3103238 | 7903 904 | 244 | 523 1276.92/1277.21 c 1259s | 23 | 13858523 | 3109038 | 7903 905 | 244 | 523 1278.92/1279.26 c 1261s | 23 | 13875855 | 3113438 | 7903 907 | 244 | 523 1280.91/1281.29 c 1263s | 23 | 13895081 | 3118938 | 7903 908 | 244 | 523 1283.01/1283.35 c 1265s | 23 | 13913219 | 3123938 | 7903 909 | 244 | 523 1285.01/1285.38 c 1267s | 23 | 13929419 | 3128138 | 7903 910 | 244 | 523 1287.11/1287.41 c 1269s | 23 | 13946078 | 3132638 | 7903 911 | 244 | 523 1289.12/1289.46 c 1271s | 23 | 13963937 | 3137138 | 7903 912 | 244 | 523 1291.22/1291.51 c 1273s | 23 | 13976123 | 3140038 | 7903 913 | 244 | 523 1293.21/1293.52 c 1275s | 23 | 13999268 | 3145538 | 7903 914 | 244 | 523 1295.21/1295.55 c 1277s | 23 | 14019838 | 3150538 | 7903 915 | 244 | 523 1297.21/1297.55 c 1279s | 23 | 14036647 | 3155038 | 7903 917 | 244 | 523 1299.21/1299.57 c 1281s | 23 | 14057578 | 3160438 | 7903 918 | 244 | 523 1301.31/1301.60 c 1283s | 23 | 14078763 | 3165638 | 7903 919 | 244 | 523 1303.31/1303.64 c 1285s | 23 | 14096472 | 3170338 | 7903 920 | 244 | 523 1305.31/1305.65 c 1287s | 23 | 14118751 | 3175538 | 7903 922 | 244 | 523 1307.30/1307.65 c 1289s | 23 | 14140105 | 3180138 | 7903 923 | 244 | 523 1309.30/1309.68 c 1291s | 23 | 14160120 | 3185038 | 7903 924 | 244 | 523 1311.31/1311.69 c 1293s | 23 | 14176442 | 3189338 | 7903 925 | 244 | 523 1313.41/1313.70 c 1295s | 23 | 14197564 | 3194538 | 7903 926 | 244 | 523 1315.52/1315.85 c 1297s | 23 | 14220459 | 3199838 | 7903 927 | 244 | 523 1317.51/1317.86 c 1299s | 23 | 14243433 | 3205338 | 7903 929 | 244 | 523 1319.51/1319.87 c 1301s | 23 | 14263714 | 3210238 | 7903 930 | 244 | 523 1321.50/1321.87 c 1303s | 23 | 14280138 | 3213738 | 7903 931 | 244 | 523 1323.50/1323.88 c 1305s | 23 | 14305255 | 3218938 | 7903 932 | 244 | 523 1325.50/1325.89 c 1308s | 23 | 14330313 | 3224138 | 7903 933 | 244 | 523 1327.61/1327.93 c 1310s | 23 | 14352921 | 3229338 | 7903 934 | 244 | 523 1329.60/1329.96 c 1312s | 23 | 14370697 | 3233538 | 7903 936 | 244 | 523 1331.60/1331.97 c 1314s | 23 | 14393201 | 3238938 | 7903 937 | 244 | 523 1333.60/1333.97 c 1316s | 23 | 14406991 | 3242738 | 7903 938 | 244 | 523 1335.59/1335.98 c 1318s | 23 | 14430093 | 3246938 | 7903 939 | 244 | 523 1337.69/1338.02 c 1320s | 23 | 14450281 | 3251738 | 7903 940 | 244 | 523 1339.70/1340.04 c 1322s | 23 | 14470978 | 3257038 | 7903 941 | 244 | 523 1341.69/1342.05 c 1324s | 23 | 14490751 | 3261938 | 7903 942 | 244 | 523 1343.69/1344.07 c 1326s | 23 | 14510169 | 3266038 | 7903 943 | 244 | 523 1345.69/1346.09 c 1328s | 23 | 14531721 | 3271138 | 7903 945 | 244 | 523 1347.79/1348.10 c 1330s | 23 | 14552878 | 3276338 | 7903 946 | 244 | 523 1349.78/1350.14 c 1332s | 23 | 14575686 | 3282138 | 7903 947 | 244 | 523 1351.79/1352.15 c 1334s | 23 | 14594960 | 3287538 | 8694 948 | 244 | 523 1353.78/1354.18 c 1336s | 23 | 14614569 | 3292438 | 8694 949 | 244 | 523 1355.89/1356.20 c 1338s | 23 | 14630375 | 3296438 | 8694 950 | 244 | 523 1357.89/1358.21 c 1340s | 23 | 14648357 | 3300938 | 8694 951 | 244 | 523 1359.89/1360.21 c 1342s | 23 | 14668071 | 3306638 | 8694 953 | 244 | 523 1361.89/1362.22 c 1344s | 23 | 14685478 | 3311038 | 8694 954 | 244 | 523 1363.89/1364.25 c 1346s | 23 | 14701849 | 3315738 | 8694 955 | 244 | 523 1365.88/1366.27 c 1348s | 23 | 14721228 | 3320538 | 8694 956 | 244 | 523 1367.88/1368.28 c 1350s | 23 | 14741572 | 3325538 | 8694 957 | 244 | 523 1369.98/1370.30 c 1352s | 23 | 14755933 | 3329038 | 8694 958 | 244 | 523 1371.98/1372.32 c 1354s | 23 | 14775785 | 3333438 | 8694 958 | 244 | 523 1373.98/1374.33 c 1356s | 23 | 14796688 | 3338338 | 8694 960 | 244 | 523 1375.98/1376.36 c 1358s | 23 | 14817249 | 3343638 | 8694 961 | 244 | 523 1377.98/1378.40 c 1360s | 23 | 14840509 | 3348738 | 8694 962 | 244 | 523 1380.08/1380.42 c 1362s | 23 | 14864343 | 3353638 | 8694 963 | 244 | 523 1382.58/1382.91 c 1365s | 23 | 14883864 | 3357838 | 8694 964 | 244 | 523 1384.57/1384.91 c 1367s | 23 | 14901528 | 3361938 | 8694 965 | 244 | 523 1386.57/1386.92 c 1369s | 23 | 14923318 | 3367038 | 8694 966 | 244 | 523 1388.67/1389.06 c 1371s | 23 | 14940874 | 3371338 | 8694 967 | 244 | 523 1390.66/1391.09 c 1373s | 23 | 14964278 | 3376238 | 8694 968 | 244 | 523 1390.86/1391.25 c 1373s | 24 | 14966234 | 3376662 | 8694 968 | 244 | 523 1392.96/1393.30 c 1375s | 24 | 14991010 | 3381862 | 8694 969 | 244 | 523 1394.96/1395.33 c 1377s | 24 | 15011733 | 3386162 | 8694 970 | 244 | 523 1396.96/1397.35 c 1379s | 24 | 15029014 | 3390362 | 8694 971 | 244 | 523 1398.97/1399.37 c 1381s | 24 | 15047814 | 3395062 | 8694 972 | 244 | 523 1400.96/1401.37 c 1383s | 24 | 15067449 | 3399562 | 8694 973 | 244 | 523 1403.06/1403.41 c 1385s | 24 | 15088094 | 3404362 | 8694 974 | 244 | 523 1405.06/1405.46 c 1387s | 24 | 15107514 | 3409262 | 8694 975 | 244 | 523 1407.06/1407.49 c 1389s | 24 | 15125685 | 3413762 | 8694 976 | 244 | 523 1409.15/1409.51 c 1391s | 24 | 15141769 | 3417662 | 8694 977 | 244 | 523 1411.16/1411.55 c 1393s | 24 | 15161294 | 3422462 | 8694 978 | 244 | 523 1413.15/1413.58 c 1395s | 24 | 15185579 | 3427462 | 8694 979 | 244 | 523 1415.25/1415.60 c 1397s | 24 | 15209713 | 3432862 | 8694 980 | 244 | 523 1417.25/1417.60 c 1399s | 24 | 15225964 | 3436762 | 8694 981 | 244 | 523 1419.25/1419.60 c 1401s | 24 | 15249232 | 3442062 | 8694 982 | 244 | 523 1421.24/1421.67 c 1403s | 24 | 15262043 | 3444962 | 8694 983 | 244 | 523 1423.34/1423.71 c 1405s | 24 | 15279708 | 3449462 | 8694 984 | 244 | 523 1425.35/1425.74 c 1407s | 24 | 15302429 | 3454562 | 8694 985 | 244 | 523 1427.34/1427.74 c 1409s | 24 | 15321196 | 3458862 | 8694 986 | 244 | 523 1429.34/1429.75 c 1411s | 24 | 15336431 | 3463262 | 8694 987 | 244 | 523 1431.34/1431.75 c 1413s | 24 | 15360024 | 3468262 | 8694 988 | 244 | 523 1433.34/1433.76 c 1415s | 24 | 15381018 | 3472962 | 8694 989 | 244 | 523 1435.35/1435.79 c 1417s | 24 | 15401934 | 3477562 | 8694 990 | 244 | 523 1437.45/1437.81 c 1419s | 24 | 15420205 | 3481562 | 8694 991 | 244 | 523 1439.55/1439.99 c 1422s | 24 | 15436777 | 3485362 | 8694 992 | 244 | 523 1441.64/1442.01 c 1424s | 24 | 15456286 | 3489662 | 8694 993 | 244 | 523 1443.64/1444.02 c 1426s | 24 | 15475808 | 3494762 | 8694 994 | 244 | 523 1445.64/1446.04 c 1428s | 24 | 15491904 | 3498562 | 8694 995 | 244 | 523 1447.64/1448.07 c 1430s | 24 | 15511371 | 3503262 | 8694 996 | 244 | 523 1449.65/1450.09 c 1432s | 24 | 15529195 | 3507362 | 8694 997 | 244 | 523 1451.64/1452.09 c 1434s | 24 | 15548355 | 3511962 | 8694 998 | 244 | 523 1453.74/1454.12 c 1436s | 24 | 15564200 | 3516162 | 8694 999 | 244 | 523 1455.73/1456.14 c 1438s | 24 | 15583927 | 3520562 | 8694 1000 | 244 | 523 1457.73/1458.17 c 1440s | 24 | 15604161 | 3524962 | 8694 1001 | 244 | 523 1459.83/1460.21 c 1442s | 24 | 15620237 | 3529162 | 8694 1002 | 244 | 523 1461.83/1462.26 c 1444s | 24 | 15635527 | 3532762 | 8694 1002 | 244 | 523 1463.83/1464.29 c 1446s | 24 | 15654433 | 3536862 | 8694 1003 | 244 | 523 1465.93/1466.32 c 1448s | 24 | 15674464 | 3541462 | 8694 1004 | 244 | 523 1467.92/1468.32 c 1450s | 24 | 15696882 | 3545962 | 8694 1005 | 244 | 523 1469.92/1470.35 c 1452s | 24 | 15718037 | 3550662 | 8694 1006 | 244 | 523 1471.92/1472.37 c 1454s | 24 | 15741009 | 3555762 | 8694 1007 | 244 | 523 1474.02/1474.41 c 1456s | 24 | 15757969 | 3559762 | 8694 1008 | 244 | 523 1476.02/1476.44 c 1458s | 24 | 15772394 | 3563362 | 8694 1009 | 244 | 523 1478.02/1478.47 c 1460s | 24 | 15792124 | 3567362 | 8694 1010 | 244 | 523 1480.01/1480.49 c 1462s | 24 | 15816729 | 3572262 | 8694 1011 | 244 | 523 1482.11/1482.54 c 1464s | 24 | 15833628 | 3575862 | 8694 1012 | 244 | 523 1484.21/1484.68 c 1466s | 24 | 15850282 | 3580062 | 8694 1013 | 244 | 523 1486.31/1486.70 c 1468s | 24 | 15871707 | 3584762 | 8694 1014 | 244 | 523 1488.31/1488.72 c 1470s | 24 | 15892488 | 3589062 | 8694 1015 | 244 | 523 1490.31/1490.76 c 1472s | 24 | 15915119 | 3593762 | 8694 1016 | 244 | 523 1492.31/1492.78 c 1474s | 24 | 15933609 | 3597862 | 8694 1017 | 244 | 523 1494.41/1494.81 c 1476s | 24 | 15952962 | 3602562 | 8694 1018 | 244 | 523 1496.50/1496.95 c 1479s | 24 | 15972825 | 3607262 | 8694 1019 | 244 | 523 1498.60/1499.01 c 1481s | 24 | 15988897 | 3610962 | 8694 1020 | 244 | 523 1500.60/1501.03 c 1483s | 24 | 16007410 | 3615162 | 8694 1020 | 244 | 523 1502.60/1503.06 c 1485s | 24 | 16023111 | 3619262 | 8694 1021 | 244 | 523 1504.60/1505.06 c 1487s | 24 | 16042477 | 3623862 | 8694 1022 | 244 | 523 1506.60/1507.06 c 1489s | 24 | 16062752 | 3628462 | 8694 1023 | 244 | 523 1508.60/1509.06 c 1491s | 24 | 16084116 | 3633462 | 8694 1024 | 244 | 523 1510.60/1511.07 c 1493s | 24 | 16105838 | 3638262 | 8694 1026 | 244 | 523 1512.60/1513.07 c 1495s | 24 | 16125338 | 3643062 | 8694 1027 | 244 | 523 1514.60/1515.07 c 1497s | 24 | 16144459 | 3647862 | 8694 1028 | 244 | 523 1516.71/1517.11 c 1499s | 24 | 16162014 | 3652162 | 8694 1029 | 244 | 523 1518.70/1519.14 c 1501s | 24 | 16182476 | 3656962 | 8694 1030 | 244 | 523 1520.69/1521.16 c 1503s | 24 | 16198586 | 3660462 | 8694 1030 | 244 | 523 1522.79/1523.22 c 1505s | 24 | 16219409 | 3665462 | 8694 1032 | 244 | 523 1524.79/1525.22 c 1507s | 24 | 16242756 | 3670262 | 8694 1033 | 244 | 523 1526.79/1527.23 c 1509s | 24 | 16262550 | 3674762 | 8694 1034 | 244 | 523 1528.80/1529.24 c 1511s | 24 | 16282346 | 3679562 | 8694 1035 | 244 | 523 1530.79/1531.27 c 1513s | 24 | 16298813 | 3683362 | 8694 1035 | 244 | 523 1532.79/1533.29 c 1515s | 24 | 16318520 | 3687362 | 8694 1036 | 244 | 523 1534.89/1535.30 c 1517s | 24 | 16339493 | 3691862 | 8694 1037 | 244 | 523 1536.89/1537.36 c 1519s | 24 | 16361588 | 3696362 | 8694 1038 | 244 | 523 1538.89/1539.38 c 1521s | 24 | 16380050 | 3700562 | 8694 1039 | 244 | 523 1540.89/1541.38 c 1523s | 24 | 16396806 | 3704862 | 8694 1040 | 244 | 523 1542.98/1543.42 c 1525s | 24 | 16413929 | 3708862 | 8694 1041 | 244 | 523 1544.98/1545.45 c 1527s | 24 | 16436520 | 3713562 | 8694 1042 | 244 | 523 1546.98/1547.47 c 1529s | 24 | 16458379 | 3718362 | 8694 1043 | 244 | 523 1548.98/1549.47 c 1531s | 24 | 16482089 | 3723162 | 8694 1044 | 244 | 523 1551.17/1551.61 c 1533s | 24 | 16502647 | 3728062 | 8694 1045 | 244 | 523 1553.17/1553.67 c 1535s | 24 | 16521035 | 3732662 | 8694 1046 | 244 | 523 1555.27/1555.73 c 1537s | 24 | 16540693 | 3736862 | 8694 1047 | 244 | 523 1557.28/1557.76 c 1539s | 24 | 16564490 | 3741362 | 8694 1048 | 244 | 523 1559.37/1559.82 c 1541s | 24 | 16583497 | 3745462 | 8694 1049 | 244 | 523 1561.36/1561.84 c 1543s | 24 | 16602083 | 3749262 | 8694 1050 | 244 | 523 1563.36/1563.89 c 1546s | 24 | 16624017 | 3753662 | 8694 1051 | 244 | 523 1565.47/1565.93 c 1548s | 24 | 16647951 | 3758162 | 8694 1052 | 244 | 523 1567.46/1567.93 c 1550s | 24 | 16663475 | 3761662 | 8694 1053 | 244 | 523 1569.47/1569.94 c 1552s | 24 | 16684314 | 3765862 | 8694 1054 | 244 | 523 1571.46/1571.96 c 1554s | 24 | 16701108 | 3769462 | 8694 1054 | 244 | 523 1573.46/1573.96 c 1556s | 24 | 16724097 | 3774262 | 8694 1055 | 244 | 523 1575.46/1575.97 c 1558s | 24 | 16744782 | 3778562 | 8694 1056 | 244 | 523 1577.56/1578.03 c 1560s | 24 | 16763083 | 3782662 | 8694 1057 | 244 | 523 1579.56/1580.08 c 1562s | 24 | 16780864 | 3787262 | 8694 1058 | 244 | 523 1581.65/1582.12 c 1564s | 24 | 16803337 | 3791662 | 8694 1059 | 244 | 523 1583.66/1584.16 c 1566s | 24 | 16821684 | 3796262 | 8694 1060 | 244 | 523 1585.75/1586.21 c 1568s | 24 | 16836848 | 3799862 | 8694 1061 | 244 | 523 1587.75/1588.23 c 1570s | 24 | 16853241 | 3803962 | 8694 1062 | 244 | 523 1589.75/1590.25 c 1572s | 24 | 16876706 | 3808862 | 8694 1063 | 244 | 523 1591.75/1592.25 c 1574s | 24 | 16897655 | 3813362 | 8694 1064 | 244 | 523 1593.74/1594.29 c 1576s | 24 | 16920002 | 3817262 | 8694 1065 | 244 | 523 1595.75/1596.30 c 1578s | 24 | 16937069 | 3820862 | 8694 1066 | 244 | 523 1597.84/1598.33 c 1580s | 24 | 16958985 | 3825762 | 8694 1067 | 244 | 523 1599.84/1600.37 c 1582s | 24 | 16980552 | 3830262 | 8694 1068 | 244 | 523 1601.84/1602.39 c 1584s | 24 | 17000299 | 3834962 | 8694 1069 | 244 | 523 1603.94/1604.40 c 1586s | 24 | 17018590 | 3839162 | 8694 1070 | 244 | 523 1605.93/1606.41 c 1588s | 24 | 17039738 | 3844062 | 8694 1071 | 244 | 523 1607.94/1608.42 c 1590s | 24 | 17062602 | 3848562 | 8694 1072 | 244 | 523 1609.93/1610.46 c 1592s | 24 | 17086930 | 3853562 | 8694 1073 | 244 | 523 1611.94/1612.47 c 1594s | 24 | 17102106 | 3856562 | 8694 1074 | 244 | 523 1613.94/1614.49 c 1596s | 24 | 17120996 | 3860762 | 8694 1075 | 244 | 523 1616.04/1616.51 c 1598s | 24 | 17145448 | 3865762 | 8694 1076 | 244 | 523 1618.04/1618.52 c 1600s | 24 | 17167371 | 3870062 | 8694 1077 | 244 | 523 1620.04/1620.52 c 1602s | 24 | 17185392 | 3873962 | 8694 1077 | 244 | 523 1622.03/1622.54 c 1604s | 24 | 17205521 | 3878962 | 8694 1079 | 244 | 523 1624.03/1624.56 c 1606s | 24 | 17223817 | 3883362 | 8694 1080 | 244 | 523 1626.03/1626.58 c 1608s | 24 | 17245564 | 3888362 | 8694 1081 | 244 | 523 1628.13/1628.62 c 1610s | 24 | 17265255 | 3893262 | 8694 1082 | 244 | 523 1630.13/1630.63 c 1612s | 24 | 17284986 | 3897862 | 8694 1083 | 244 | 523 1632.22/1632.74 c 1614s | 24 | 17303454 | 3901562 | 8694 1084 | 244 | 523 1634.23/1634.75 c 1616s | 24 | 17326803 | 3906162 | 8694 1085 | 244 | 523 1636.22/1636.76 c 1618s | 24 | 17351839 | 3911162 | 8694 1086 | 244 | 523 1638.22/1638.78 c 1620s | 24 | 17372819 | 3915262 | 8694 1087 | 244 | 523 1640.32/1640.82 c 1622s | 24 | 17391323 | 3919462 | 8694 1087 | 244 | 523 1642.32/1642.86 c 1624s | 24 | 17410957 | 3924062 | 8694 1088 | 244 | 523 1644.32/1644.87 c 1626s | 24 | 17433555 | 3928862 | 8694 1090 | 244 | 523 1646.32/1646.90 c 1629s | 24 | 17452618 | 3932762 | 8694 1090 | 244 | 523 1648.42/1648.92 c 1631s | 24 | 17474936 | 3937462 | 8694 1091 | 244 | 523 1650.41/1650.95 c 1633s | 24 | 17495369 | 3941562 | 8694 1092 | 244 | 523 1652.41/1652.97 c 1635s | 24 | 17515760 | 3946262 | 8694 1093 | 244 | 523 1654.51/1655.01 c 1637s | 24 | 17536764 | 3950862 | 8694 1094 | 244 | 523 1656.51/1657.04 c 1639s | 24 | 17556467 | 3955862 | 8694 1095 | 244 | 523 1658.51/1659.05 c 1641s | 24 | 17573610 | 3959762 | 8694 1096 | 244 | 523 1660.50/1661.09 c 1643s | 24 | 17588286 | 3962862 | 8694 1097 | 244 | 523 1662.60/1663.11 c 1645s | 24 | 17610014 | 3967362 | 8694 1098 | 244 | 523 1664.60/1665.11 c 1647s | 24 | 17628967 | 3971762 | 8694 1099 | 244 | 523 1666.60/1667.15 c 1649s | 24 | 17649113 | 3976462 | 8694 1100 | 244 | 523 1668.60/1669.17 c 1651s | 24 | 17670421 | 3980662 | 8694 1101 | 244 | 523 1670.70/1671.21 c 1653s | 24 | 17686180 | 3984162 | 8694 1102 | 244 | 523 1672.70/1673.23 c 1655s | 24 | 17704660 | 3988962 | 8694 1103 | 244 | 523 1674.70/1675.26 c 1657s | 24 | 17720770 | 3992962 | 8694 1104 | 244 | 523 1676.70/1677.26 c 1659s | 24 | 17737795 | 3996762 | 8694 1104 | 244 | 523 1678.80/1679.31 c 1661s | 24 | 17760105 | 4000962 | 8694 1105 | 244 | 523 1680.80/1681.36 c 1663s | 24 | 17779929 | 4005462 | 8694 1106 | 244 | 523 1682.80/1683.38 c 1665s | 24 | 17800228 | 4009962 | 8694 1107 | 244 | 523 1684.90/1685.43 c 1667s | 24 | 17823810 | 4014362 | 8694 1108 | 244 | 523 1687.29/1687.87 c 1669s | 24 | 17841301 | 4018162 | 8694 1109 | 244 | 523 1689.31/1689.88 c 1671s | 24 | 17856956 | 4021762 | 8694 1110 | 244 | 523 1691.29/1691.89 c 1674s | 24 | 17874458 | 4025762 | 8694 1111 | 244 | 523 1693.60/1694.17 c 1676s | 24 | 17894075 | 4030062 | 8694 1112 | 244 | 523 1695.59/1696.17 c 1678s | 24 | 17915680 | 4034562 | 8694 1113 | 244 | 523 1697.59/1698.19 c 1680s | 24 | 17937621 | 4039362 | 8694 1114 | 244 | 523 1699.69/1700.23 c 1682s | 24 | 17954298 | 4042862 | 8694 1115 | 244 | 523 1701.69/1702.26 c 1684s | 24 | 17976123 | 4047562 | 8694 1116 | 244 | 523 1703.69/1704.28 c 1686s | 24 | 17993276 | 4051562 | 8694 1117 | 244 | 523 1705.80/1706.35 c 1688s | 24 | 18011659 | 4056162 | 8694 1118 | 244 | 523 1707.79/1708.36 c 1690s | 24 | 18028877 | 4060262 | 8694 1118 | 244 | 523 1709.79/1710.37 c 1692s | 24 | 18045002 | 4063762 | 8694 1119 | 244 | 523 1711.89/1712.41 c 1694s | 24 | 18060932 | 4067362 | 8694 1120 | 244 | 523 1713.89/1714.44 c 1696s | 24 | 18079949 | 4071262 | 8694 1121 | 244 | 523 1715.89/1716.44 c 1698s | 24 | 18099623 | 4075762 | 8694 1122 | 244 | 523 1717.90/1718.44 c 1700s | 24 | 18119997 | 4079762 | 8694 1123 | 244 | 523 1719.89/1720.47 c 1702s | 24 | 18140150 | 4084062 | 8694 1124 | 244 | 523 1721.89/1722.49 c 1704s | 24 | 18159285 | 4088662 | 8694 1125 | 244 | 523 1723.99/1724.51 c 1706s | 24 | 18170521 | 4091362 | 8694 1125 | 244 | 523 1725.99/1726.53 c 1708s | 24 | 18192355 | 4096462 | 8694 1126 | 244 | 523 1727.99/1728.57 c 1710s | 24 | 18212599 | 4101262 | 8694 1127 | 244 | 523 1730.09/1730.61 c 1712s | 24 | 18229072 | 4105462 | 8694 1128 | 244 | 523 1732.09/1732.62 c 1714s | 24 | 18247751 | 4109462 | 8694 1129 | 244 | 523 1734.09/1734.63 c 1716s | 24 | 18266441 | 4114362 | 8694 1130 | 244 | 523 1736.09/1736.64 c 1718s | 24 | 18287390 | 4118262 | 8694 1131 | 244 | 523 1738.08/1738.66 c 1720s | 24 | 18304124 | 4122562 | 8694 1132 | 244 | 523 1740.08/1740.66 c 1722s | 24 | 18324120 | 4127462 | 8694 1133 | 244 | 523 1742.09/1742.68 c 1724s | 24 | 18339001 | 4131062 | 8694 1134 | 244 | 523 1744.19/1744.71 c 1726s | 24 | 18357094 | 4135462 | 8694 1135 | 244 | 523 1746.18/1746.71 c 1728s | 24 | 18374313 | 4139662 | 8694 1136 | 244 | 523 1748.18/1748.75 c 1730s | 24 | 18391909 | 4143862 | 8694 1137 | 244 | 523 1750.48/1751.06 c 1733s | 24 | 18408747 | 4148062 | 8694 1138 | 244 | 523 1752.58/1753.11 c 1735s | 24 | 18428796 | 4152662 | 8694 1139 | 244 | 523 1754.58/1755.13 c 1737s | 24 | 18448571 | 4157662 | 8694 1140 | 244 | 523 1756.58/1757.14 c 1739s | 24 | 18468489 | 4162562 | 8694 1141 | 244 | 523 1758.59/1759.15 c 1741s | 24 | 18486504 | 4167162 | 8694 1142 | 244 | 523 1760.58/1761.16 c 1743s | 24 | 18504016 | 4171462 | 8694 1143 | 244 | 523 1762.58/1763.18 c 1745s | 24 | 18521790 | 4176162 | 8694 1144 | 244 | 523 1764.58/1765.18 c 1747s | 24 | 18538827 | 4180962 | 8694 1145 | 244 | 523 1766.58/1767.19 c 1749s | 24 | 18554912 | 4184862 | 8694 1146 | 244 | 523 1768.68/1769.21 c 1751s | 24 | 18571640 | 4189262 | 8694 1147 | 244 | 523 1770.68/1771.24 c 1753s | 24 | 18591161 | 4193462 | 8694 1148 | 244 | 523 1772.68/1773.25 c 1755s | 24 | 18614077 | 4198262 | 8694 1149 | 244 | 523 1774.68/1775.26 c 1757s | 24 | 18630431 | 4202362 | 8694 1150 | 244 | 523 1776.68/1777.29 c 1759s | 24 | 18650582 | 4206562 | 8694 1151 | 244 | 523 1778.78/1779.33 c 1761s | 24 | 18671857 | 4210862 | 8694 1152 | 244 | 523 1780.78/1781.37 c 1763s | 24 | 18692801 | 4214462 | 8694 1152 | 244 | 523 1782.78/1783.37 c 1765s | 24 | 18713935 | 4218562 | 8694 1153 | 244 | 523 1784.77/1785.39 c 1767s | 24 | 18734620 | 4222462 | 8694 1154 | 244 | 523 1786.87/1787.42 c 1769s | 24 | 18757410 | 4226662 | 8694 1155 | 244 | 523 1788.87/1789.46 c 1771s | 24 | 18775864 | 4230762 | 8694 1156 | 244 | 523 1790.97/1791.54 c 1773s | 24 | 18795374 | 4235262 | 8694 1157 | 244 | 523 1792.97/1793.56 c 1775s | 24 | 18813193 | 4239462 | 8694 1158 | 244 | 523 1795.07/1795.62 c 1777s | 24 | 18824571 | 4241962 | 8694 1158 | 244 | 523 1797.08/1797.65 c 1779s | 24 | 18845832 | 4246662 | 8694 1159 | 244 | 523 1799.08/1799.68 c 1781s | 24 | 18865706 | 4251562 | 8694 1160 | 244 | 523
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-4079790-1465250328/watcher-4079790-1465250328 -o /tmp/evaluation-result-4079790-1465250328/solver-4079790-1465250328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079790-1465250328.opb pid=4810 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.12 2.18 2.18 3/179 4813 /proc/meminfo: memFree=29182420/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 2857 0 0 0 0 0 0 0 20 0 4 0 106965889 781643776 3217 33554432000 4194304 16246674 140733615129664 140733615129088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 191599 3227 441 2943 0 188493 0 [pid=4813/tid=4814] ppid=4810 vsize=780732 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 799469568 3285 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=785852 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 804712448 3302 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=789948 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106965889 808906752 3320 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.12 2.18 2.18 3/179 4813 /proc/meminfo: memFree=29182420/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 25394 0 0 0 5 4 0 0 20 0 4 0 106965889 1247350784 25741 33554432000 4194304 16246674 140733615129664 140733615129088 5531437 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 304529 25749 785 2943 0 301423 0 [pid=4813/tid=4814] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 25756 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 25763 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 25769 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1218116 [startup+0.200516 s] /proc/loadavg: 2.12 2.18 2.18 3/179 4813 /proc/meminfo: memFree=29182420/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 43404 0 0 0 12 6 0 0 20 0 4 0 106965889 1247350784 43752 33554432000 4194304 16246674 140733615129664 140733615129088 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 304529 43757 785 2943 0 301423 0 [pid=4813/tid=4814] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 43759 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 43765 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 43774 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300564 s] /proc/loadavg: 2.12 2.18 2.18 3/179 4813 /proc/meminfo: memFree=29182420/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 60869 0 0 0 20 9 0 0 20 0 4 0 106965889 1247350784 61216 33554432000 4194304 16246674 140733615129664 140733615129088 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 304529 61220 785 2943 0 301423 0 [pid=4813/tid=4814] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 61221 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 61223 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 61225 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1218116 [startup+0.700425 s] /proc/loadavg: 2.12 2.18 2.18 3/179 4813 /proc/meminfo: memFree=29182420/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 129053 0 0 0 51 18 0 0 20 0 4 0 106965889 1247350784 129400 33554432000 4194304 16246674 140733615129664 140733615129088 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 304529 129408 785 2943 0 301423 0 [pid=4813/tid=4814] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 129412 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 129417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106965889 1247350784 129422 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1218116 [startup+1.50045 s] /proc/loadavg: 2.11 2.18 2.18 3/183 4817 /proc/meminfo: memFree=28494256/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1221188 CPUtime=1.48 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 172047 0 0 0 124 24 0 0 20 0 4 0 106965889 1250496512 172372 33554432000 4194304 16246674 140733615129664 140733615128976 5522898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 305297 172372 843 2943 0 302191 0 [pid=4813/tid=4814] ppid=4810 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1250496512 172372 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1250496512 172372 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1250496512 172372 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10043 s] /proc/loadavg: 2.11 2.18 2.18 4/183 4817 /proc/meminfo: memFree=28114808/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 266788 0 0 0 270 39 0 0 20 0 4 0 106965889 1334382592 267113 33554432000 4194304 16246674 140733615129664 140733615111552 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 325777 267113 843 2943 0 322671 0 [pid=4813/tid=4814] ppid=4810 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1334382592 267113 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1334382592 267113 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1334382592 267113 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1303108 [startup+6.30043 s] /proc/loadavg: 2.10 2.18 2.18 4/183 4817 /proc/meminfo: memFree=28110224/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 267834 0 0 0 590 39 0 0 20 0 4 0 106965889 1338576896 268159 33554432000 4194304 16246674 140733615129664 140733615111552 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 326801 268159 844 2943 0 323695 0 [pid=4813/tid=4814] ppid=4810 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1338576896 268159 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1338576896 268159 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1338576896 268159 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1307204 [startup+12.7004 s] /proc/loadavg: 2.17 2.19 2.18 5/183 4817 /proc/meminfo: memFree=28109920/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1315396 CPUtime=12.69 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 269938 0 0 0 1229 40 0 0 20 0 4 0 106965889 1346965504 270263 33554432000 4194304 16246674 140733615129664 140733615111552 6022736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 328849 270263 844 2943 0 325743 0 [pid=4813/tid=4814] ppid=4810 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1346965504 270263 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1346965504 270263 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1346965504 270263 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1315396 [startup+25.5073 s] /proc/loadavg: 2.27 2.21 2.19 4/183 4817 /proc/meminfo: memFree=28099412/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1319492 CPUtime=25.49 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 270741 0 0 0 2509 40 0 0 20 0 4 0 106965889 1351159808 271066 33554432000 4194304 16246674 140733615129664 140733615111552 5670488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 329873 271066 847 2943 0 326767 0 [pid=4813/tid=4814] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271066 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271066 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271066 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1319492 [startup+51.1005 s] /proc/loadavg: 2.25 2.21 2.19 4/183 4817 /proc/meminfo: memFree=28098176/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1319492 CPUtime=51.08 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 270965 0 0 0 5068 40 0 0 20 0 4 0 106965889 1351159808 271290 33554432000 4194304 16246674 140733615129664 140733615112664 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 329873 271290 847 2943 0 326767 0 [pid=4813/tid=4814] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271290 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271290 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1351159808 271290 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1319492 [startup+102.3 s] /proc/loadavg: 2.15 2.19 2.18 4/184 4821 /proc/meminfo: memFree=28083580/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1320516 CPUtime=102.28 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 271221 0 0 0 10187 41 0 0 20 0 4 0 106965889 1352208384 271546 33554432000 4194304 16246674 140733615129664 140733615111552 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 330129 271546 847 2943 0 327023 0 [pid=4813/tid=4814] ppid=4810 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1352208384 271546 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1352208384 271546 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1352208384 271546 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1320516 ################ # More data... # ################ /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276415 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.25 2.23 2.18 4/183 4875 /proc/meminfo: memFree=28015828/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1361.99 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276274 0 0 0 136144 55 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140733615111552 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276416 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1339972 [startup+1422.3 s] /proc/loadavg: 2.26 2.23 2.18 4/183 4877 /proc/meminfo: memFree=28015364/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1421.94 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276312 0 0 0 142139 55 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140733615112664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276416 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1339972 [startup+1482.3 s] /proc/loadavg: 2.15 2.20 2.18 3/183 4926 /proc/meminfo: memFree=28046532/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1481.91 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276350 0 0 0 148135 56 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140733615128840 5522913 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276416 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1339972 [startup+1542.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 4927 /proc/meminfo: memFree=28046720/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1541.88 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276389 0 0 0 154131 57 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140733615111552 5707798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276416 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1339972 [startup+1602.3 s] /proc/loadavg: 2.23 2.22 2.18 3/183 4928 /proc/meminfo: memFree=28046620/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1601.84 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276434 0 0 0 160127 57 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140733615111552 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276416 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276416 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1339972 [startup+1662.31 s] /proc/loadavg: 2.26 2.23 2.18 3/183 4929 /proc/meminfo: memFree=28046652/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1661.81 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276474 0 0 0 166123 58 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140733615111552 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276417 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452892232880 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) 1339972 [startup+1722.3 s] /proc/loadavg: 2.14 2.20 2.18 3/183 4931 /proc/meminfo: memFree=28046592/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1721.79 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276482 0 0 0 172120 59 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140733615111552 5673687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276417 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1339972 [startup+1782.3 s] /proc/loadavg: 2.24 2.22 2.18 4/183 4932 /proc/meminfo: memFree=28045188/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1781.78 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276482 0 0 0 178119 59 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140733615111552 5600241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276417 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1339972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.19 2.21 2.18 3/183 4933 /proc/meminfo: memFree=28045304/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1800.08 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276482 0 0 0 179948 60 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140733615111552 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276417 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1339972 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 4813 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.19 2.21 2.18 3/183 4933 /proc/meminfo: memFree=28045304/32872528 swapFree=16384/1696552 [pid=4813] ppid=4810 vsize=1339972 CPUtime=1800.08 cores=1,3,5,7 /proc/4813/stat : 4813 (toysat) R 4810 4813 1166 0 -1 4202496 276482 0 0 0 179948 60 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140733615111552 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4813/statm: 334993 276417 849 2943 0 331887 0 [pid=4813/tid=4814] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4814/stat : 4814 (toysat) S 4810 4813 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452913196272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4813/tid=4815] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4815/stat : 4815 (toysat) S 4810 4813 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452902706416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4813/tid=4816] ppid=4810 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/4813/task/4816/stat : 4816 (toysat) S 4810 4813 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106965889 1372131328 276417 33554432000 4194304 16246674 140733615129664 140452892232880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1339972 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.49 CPU system time (s): 0.599908 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1339972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.599908 maximum resident set size= 1105668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276482 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= 406 involuntary context switches= 1963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9431 second user time and 9.98548 second system time The end
Begin job on node125 at 2016-06-06 23:58:48 IDJOB=4079790 IDBENCH=25006 IDSOLVER=2542 FILE ID=node125/4079790-1465250328 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_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-4079790-1465250328/watcher-4079790-1465250328 -o /tmp/evaluation-result-4079790-1465250328/solver-4079790-1465250328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079790-1465250328.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ea4ff8014cd873922b6021da249fa157 RANDOM SEED=1081858313 node125.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 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.56 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.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29182692 kB Buffers: 55616 kB Cached: 133860 kB SwapCached: 2016 kB Active: 1198356 kB Inactive: 89160 kB Active(anon): 1099016 kB Inactive(anon): 1380 kB Active(file): 99340 kB Inactive(file): 87780 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16272 kB Writeback: 0 kB AnonPages: 2793744 kB Mapped: 10756 kB Shmem: 0 kB Slab: 569428 kB SReclaimable: 13052 kB SUnreclaim: 556376 kB KernelStack: 1480 kB PageTables: 9620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2938672 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71700 MiB End job on node125 at 2016-06-07 00:28:49