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.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
| MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 1.22881 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 5256 |
| Total number of constraints | 15614 |
| Number of constraints which are clauses | 15614 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2531 |
| 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 | 2531 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2531 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:54:38+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-4079841-1465250078.opb"] 0.00/0.01 c use --random-gen="344301329 3652606513 697725226 1940421408 698460220 592900947 3671458122 1549385266 2979663225 1538690159 3748048266 3067358204 3921433496 3178008948 3192618214 3154491333 1356046695 3355509071 258704701 4180937704 1598792215 873157023 3447863989 151907020 1127075056 2410715486 1113833727 2731399918 773411626 1182027756 3030049539 3010437306 1242298353 4052516797 2810109620 134764713 1942411460 1655234963 550416206 3649460472 494373735 649241201 1827297209 1604587008 2563814919 2047399297 3590409373 4153844753 1629539209 1364226145 3098833465 2987342982 1588823344 590865465 2588336619 847397874 1853370032 3514261873 1278123887 4098401722 2068755593 4255970495 2164349252 3292532204 253659037 3401380672 580380737 2491199604 1909358380 2528342691 564375928 2492597555 3087702355 456359381 3017893499 1249485434 1594750986 3306949916 1286648198 2274179612 807644306 3700173919 1792035527 1247088877 3303465938 1052376381 633097910 3224348709 3376444136 4012082684 2142629399 1237675155 235210156 3226697285 3728053776 3838508788 2031591194 4283338660 2675522905 1113111801 462404162 1939305469 2016461309 2477682703 3095757571 3937928953 2513599192 3162590017 2348691279 4120063687 1834462429 2247854446 2613023151 578168779 936468355 2086286858 1630024134 1239765059 1603639201 1443540994 3564083966 1599247533 1068657079 103034862 7185452 3946015713 1056190547 3078146245 1493670386 694199458 2599557247 1258590437 2488440504 1977706554 2968292412 4069491592 1041499027 4218482456 956048141 2339382362 460302299 2874238786 4252669105 2185886986 3160520368 2021566876 781440713 769002263 2028611478 2482234548 2459522172 4116294538 1706982796 1231312273 24984384 3211645346 774533233 4094817795 2153317652 3402560340 181296077 3710144434 3217659857 1850044653 3224688394 217559729 1834991210 1568530474 2813043087 3005347871 113671859 406699967 3928712584 3327045891 3514196452 3146668134 1463358642 2201291776 4166947434 1919640588 3640612987 3492026486 1498879579 2218398289 1647698788 4125420366 2420512503 1513954478 3730595572 3001777811 71710932 1676264035 2910808033 521991205 2090991467 2303047562 2152649369 4092470751 1780614022 3303524530 3477257785 1444415864 2714890961 932343382 2953030622 3419634928 940904661 2066714765 2814034434 2878883941 2980835395 3415611555 184389611 2719130412 740389222 2281075988 2667550669 1559852 149149766 1975370890 1677143920 2485545956 1769503516 4202024577 3652349349 2144887940 2559548556 609303763 2545779743 235396910 1142740181 739547793 1690432370 1663389410 1674780147 2477253595 3321153831 29770594 130488989 1640224756 2596789805 3161202424 3720692944 1949825112 1751166356 888423797 1951005282 2193512712 116853863 1666691231 4282963572 977998623 2303335757 1502366798 1679326036 4215311757 255 362436" option to reproduce the execution 0.09/0.13 c #vars 5256 0.09/0.13 c #constraints 15614 0.28/0.31 c BCD2: Hardening is enabled. 0.28/0.31 c BCD2: BiasedSearch is enabled. 0.28/0.31 c Solving starts ... 0.28/0.31 c ============================[ Search Statistics ]============================ 0.28/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.31 c | | | | Limit GC | Var | Constra 0.28/0.31 c ============================================================================= 0.28/0.31 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 0 0.28/0.35 c 0.0s | 0 | 1548 | 0 | 6882 0 | 444 | 983 0.28/0.35 c #cpu_time = 0.034s 0.28/0.35 c #wall_clock_time = 0.034s 0.28/0.35 c #decision = 1548 0.28/0.35 c #random_decision = 6 0.28/0.35 c #conflict = 0 0.28/0.35 c #restart = 0 0.28/0.35 o 1548 0.28/0.38 c BCD2: updating upper bound: 2531 -> 1547 0.28/0.38 c BCD2: 0 <= obj <= 1547 0.28/0.38 c BCD2: #cores=0, #unrelaxed=2531, #relaxed=0, #hardened=0 0.28/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2 0.28/0.38 c Solving starts ... 0.28/0.38 c ============================[ Search Statistics ]============================ 0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.38 c | | | | Limit GC | Var | Constra 0.28/0.38 c ============================================================================= 0.28/0.38 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.41 c 0.0s | 0 | 30 | 1 | 6882 0 | 444 | 983 0.39/0.41 c #cpu_time = 0.025s 0.39/0.41 c #wall_clock_time = 0.025s 0.39/0.41 c #decision = 30 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 1 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 4: cost of the new core is >=1 0.39/0.41 c lower bound updated to 1 0.39/0.41 c BCD2: 1 <= obj <= 1547 0.39/0.41 c BCD2: #cores=1, #unrelaxed=2527, #relaxed=4, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.42 c 0.0s | 0 | 43 | 0 | 6882 0 | 444 | 983 0.39/0.42 c #cpu_time = 0.007s 0.39/0.42 c #wall_clock_time = 0.007s 0.39/0.42 c #decision = 43 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.42 c lower bound updated to 2 0.39/0.42 c BCD2: 2 <= obj <= 1547 0.39/0.42 c BCD2: #cores=2, #unrelaxed=2514, #relaxed=17, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=3 bias=3/4 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.43 c 0.0s | 0 | 114 | 0 | 6882 0 | 444 | 983 0.39/0.43 c #cpu_time = 0.008s 0.39/0.43 c #wall_clock_time = 0.008s 0.39/0.43 c #decision = 114 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 9: cost of the new core is >=1 0.39/0.43 c lower bound updated to 3 0.39/0.45 c BCD2: 3 <= obj <= 1547 0.39/0.45 c BCD2: #cores=3, #unrelaxed=2505, #relaxed=26, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=4 bias=4/5 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.45 c 0.0s | 0 | 394 | 0 | 6882 0 | 444 | 983 0.39/0.45 c #cpu_time = 0.007s 0.39/0.45 c #wall_clock_time = 0.007s 0.39/0.45 c #decision = 394 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 28: cost of the new core is >=1 0.39/0.45 c lower bound updated to 4 0.39/0.45 c BCD2: 4 <= obj <= 1547 0.39/0.45 c BCD2: #cores=4, #unrelaxed=2477, #relaxed=54, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=5 bias=5/6 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.46 c 0.0s | 0 | 386 | 0 | 6882 0 | 444 | 983 0.39/0.46 c #cpu_time = 0.006s 0.39/0.46 c #wall_clock_time = 0.006s 0.39/0.46 c #decision = 386 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 15: cost of the new core is >=1 0.39/0.46 c lower bound updated to 5 0.39/0.46 c BCD2: 5 <= obj <= 1547 0.39/0.46 c BCD2: #cores=5, #unrelaxed=2462, #relaxed=69, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=6 bias=6/7 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.47 c 0.0s | 0 | 382 | 0 | 6882 0 | 444 | 983 0.39/0.47 c #cpu_time = 0.006s 0.39/0.47 c #wall_clock_time = 0.006s 0.39/0.47 c #decision = 382 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.47 c lower bound updated to 6 0.39/0.47 c BCD2: 6 <= obj <= 1547 0.39/0.47 c BCD2: #cores=6, #unrelaxed=2449, #relaxed=82, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=7 bias=7/8 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.48 c 0.0s | 0 | 377 | 0 | 6882 0 | 444 | 983 0.39/0.48 c #cpu_time = 0.006s 0.39/0.48 c #wall_clock_time = 0.006s 0.39/0.48 c #decision = 377 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.48 c lower bound updated to 7 0.39/0.48 c BCD2: 7 <= obj <= 1547 0.39/0.48 c BCD2: #cores=7, #unrelaxed=2438, #relaxed=93, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=8 bias=8/9 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.49 c 0.0s | 0 | 441 | 0 | 6882 0 | 444 | 983 0.39/0.49 c #cpu_time = 0.006s 0.39/0.49 c #wall_clock_time = 0.006s 0.39/0.49 c #decision = 441 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 39: cost of the new core is >=1 0.39/0.49 c lower bound updated to 8 0.39/0.49 c BCD2: 8 <= obj <= 1547 0.39/0.49 c BCD2: #cores=8, #unrelaxed=2399, #relaxed=132, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=9 bias=9/10 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.39/0.50 c 0.0s | 0 | 892 | 0 | 6882 0 | 444 | 983 0.39/0.50 c #cpu_time = 0.008s 0.39/0.50 c #wall_clock_time = 0.008s 0.39/0.50 c #decision = 892 0.39/0.50 c #random_decision = 0 0.39/0.50 c #conflict = 0 0.39/0.50 c #restart = 0 0.39/0.50 c BCD2: found a new core of size 33: cost of the new core is >=1 0.39/0.50 c lower bound updated to 9 0.49/0.50 c BCD2: 9 <= obj <= 1547 0.49/0.50 c BCD2: #cores=9, #unrelaxed=2366, #relaxed=165, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=10 bias=10/11 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.51 c 0.0s | 0 | 935 | 0 | 6882 0 | 444 | 983 0.49/0.51 c #cpu_time = 0.007s 0.49/0.51 c #wall_clock_time = 0.007s 0.49/0.51 c #decision = 935 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 86: cost of the new core is >=1 0.49/0.51 c lower bound updated to 10 0.49/0.51 c BCD2: 10 <= obj <= 1547 0.49/0.51 c BCD2: #cores=10, #unrelaxed=2280, #relaxed=251, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=11 bias=11/12 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.52 c 0.0s | 0 | 890 | 0 | 6882 0 | 444 | 983 0.49/0.52 c #cpu_time = 0.007s 0.49/0.52 c #wall_clock_time = 0.007s 0.49/0.52 c #decision = 890 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 43: cost of the new core is >=1 0.49/0.52 c lower bound updated to 11 0.49/0.52 c BCD2: 11 <= obj <= 1547 0.49/0.52 c BCD2: #cores=11, #unrelaxed=2237, #relaxed=294, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=12 bias=12/13 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.52 c 0.0s | 0 | 1010 | 0 | 6882 0 | 444 | 983 0.49/0.52 c #cpu_time = 0.007s 0.49/0.52 c #wall_clock_time = 0.007s 0.49/0.52 c #decision = 1010 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 84: cost of the new core is >=1 0.49/0.52 c lower bound updated to 12 0.49/0.53 c BCD2: 12 <= obj <= 1547 0.49/0.53 c BCD2: #cores=12, #unrelaxed=2153, #relaxed=378, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=13 bias=13/14 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.54 c 0.0s | 0 | 966 | 0 | 6882 0 | 444 | 983 0.49/0.54 c #cpu_time = 0.007s 0.49/0.54 c #wall_clock_time = 0.007s 0.49/0.54 c #decision = 966 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 9: cost of the new core is >=1 0.49/0.54 c lower bound updated to 13 0.49/0.54 c BCD2: 13 <= obj <= 1547 0.49/0.54 c BCD2: #cores=13, #unrelaxed=2144, #relaxed=387, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=14 bias=14/15 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.55 c 0.0s | 0 | 1181 | 0 | 6882 0 | 444 | 983 0.49/0.55 c #cpu_time = 0.007s 0.49/0.55 c #wall_clock_time = 0.007s 0.49/0.55 c #decision = 1181 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 87: cost of the new core is >=1 0.49/0.55 c lower bound updated to 14 0.49/0.55 c BCD2: 14 <= obj <= 1547 0.49/0.55 c BCD2: #cores=14, #unrelaxed=2057, #relaxed=474, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=15 bias=15/16 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.56 c 0.0s | 0 | 1133 | 0 | 6882 0 | 444 | 983 0.49/0.56 c #cpu_time = 0.007s 0.49/0.56 c #wall_clock_time = 0.007s 0.49/0.56 c #decision = 1133 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 32: cost of the new core is >=1 0.49/0.56 c lower bound updated to 15 0.49/0.56 c BCD2: 15 <= obj <= 1547 0.49/0.56 c BCD2: #cores=15, #unrelaxed=2025, #relaxed=506, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=16 bias=16/17 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.57 c 0.0s | 0 | 1108 | 0 | 6882 0 | 444 | 983 0.49/0.57 c #cpu_time = 0.007s 0.49/0.57 c #wall_clock_time = 0.007s 0.49/0.57 c #decision = 1108 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 3: cost of the new core is >=1 0.49/0.57 c lower bound updated to 16 0.49/0.57 c BCD2: 16 <= obj <= 1547 0.49/0.57 c BCD2: #cores=16, #unrelaxed=2022, #relaxed=509, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=17 bias=17/18 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.58 c 0.0s | 0 | 1397 | 0 | 6882 0 | 444 | 983 0.49/0.58 c #cpu_time = 0.008s 0.49/0.58 c #wall_clock_time = 0.008s 0.49/0.58 c #decision = 1397 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 57: cost of the new core is >=1 0.49/0.58 c lower bound updated to 17 0.49/0.58 c BCD2: 17 <= obj <= 1547 0.49/0.58 c BCD2: #cores=17, #unrelaxed=1965, #relaxed=566, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=18 bias=18/19 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.49/0.59 c 0.0s | 0 | 1418 | 0 | 6882 0 | 444 | 983 0.49/0.59 c #cpu_time = 0.007s 0.49/0.59 c #wall_clock_time = 0.007s 0.49/0.59 c #decision = 1418 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 33: cost of the new core is >=1 0.49/0.59 c lower bound updated to 18 0.49/0.59 c BCD2: 18 <= obj <= 1547 0.49/0.59 c BCD2: #cores=18, #unrelaxed=1932, #relaxed=599, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=19 bias=19/20 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.59/0.60 c 0.0s | 0 | 1586 | 0 | 6882 0 | 444 | 983 0.59/0.60 c #cpu_time = 0.008s 0.59/0.60 c #wall_clock_time = 0.008s 0.59/0.60 c #decision = 1586 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 c BCD2: found a new core of size 77: cost of the new core is >=1 0.59/0.60 c lower bound updated to 19 0.59/0.60 c BCD2: 19 <= obj <= 1547 0.59/0.60 c BCD2: #cores=19, #unrelaxed=1855, #relaxed=676, #hardened=0 0.59/0.60 c BCD2: #sat=1 #unsat=20 bias=20/21 0.59/0.60 c Solving starts ... 0.59/0.60 c ============================[ Search Statistics ]============================ 0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.60 c | | | | Limit GC | Var | Constra 0.59/0.60 c ============================================================================= 0.59/0.60 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.59/0.61 c 0.0s | 0 | 1611 | 0 | 6882 0 | 444 | 983 0.59/0.61 c #cpu_time = 0.008s 0.59/0.61 c #wall_clock_time = 0.008s 0.59/0.61 c #decision = 1611 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 37: cost of the new core is >=1 0.59/0.61 c lower bound updated to 20 0.59/0.61 c BCD2: 20 <= obj <= 1547 0.59/0.61 c BCD2: #cores=20, #unrelaxed=1818, #relaxed=713, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=21 bias=21/22 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.59/0.62 c 0.0s | 0 | 1615 | 0 | 6882 0 | 444 | 983 0.59/0.62 c #cpu_time = 0.008s 0.59/0.62 c #wall_clock_time = 0.008s 0.59/0.62 c #decision = 1615 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 0 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: found a new core of size 42: cost of the new core is >=1 0.59/0.62 c lower bound updated to 21 0.59/0.62 c BCD2: 21 <= obj <= 1547 0.59/0.62 c BCD2: #cores=21, #unrelaxed=1776, #relaxed=755, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=22 bias=22/23 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 983 0.59/0.64 c 0.0s | 0 | 2225 | 0 | 6882 0 | 444 | 983 0.59/0.64 c #cpu_time = 0.012s 0.59/0.64 c #wall_clock_time = 0.012s 0.59/0.64 c #decision = 2225 0.59/0.64 c #random_decision = 3 0.59/0.64 c #conflict = 0 0.59/0.64 c #restart = 0 0.59/0.64 o 43 0.59/0.64 c BCD2: updating upper bound: 1547 -> 42 0.59/0.65 c BCD2: 21 <= obj <= 42 0.59/0.65 c BCD2: #cores=21, #unrelaxed=1776, #relaxed=755, #hardened=0 0.59/0.65 c BCD2: #sat=2 #unsat=22 bias=22/24 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 6882 0 | 444 | 984 0.59/0.67 c 0.0s | 0 | 4612 | 7 | 6882 0 | 444 | 984 0.59/0.67 c #cpu_time = 0.016s 0.59/0.67 c #wall_clock_time = 0.016s 0.59/0.67 c #decision = 4612 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 7 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: relaxing 7 and merging with 2 cores into a new core of size 24: cost of the new core is >=3 0.59/0.67 c lower bound updated to 22 0.59/0.67 c BCD2: 22 <= obj <= 42 0.59/0.67 c BCD2: #cores=20, #unrelaxed=1769, #relaxed=762, #hardened=0 0.59/0.67 c BCD2: #sat=2 #unsat=23 bias=23/25 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 6882 0 | 450 | 984 0.69/0.72 c 0.0s | 1 | 2724 | 100 | 7571 0 | 450 | 994 0.69/0.79 c 0.1s | 2 | 10665 | 250 | 8329 0 | 450 | 994 0.89/0.91 c 0.2s | 3 | 17838 | 475 | 9162 0 | 450 | 994 0.99/1.07 c 0.4s | 3 | 30949 | 772 | 9162 0 | 450 | 994 0.99/1.07 c #cpu_time = 0.400s 0.99/1.07 c #wall_clock_time = 0.401s 0.99/1.07 c #decision = 30949 0.99/1.07 c #random_decision = 10 0.99/1.07 c #conflict = 772 0.99/1.07 c #restart = 3 0.99/1.07 o 32 0.99/1.07 c BCD2: updating upper bound: 42 -> 31 0.99/1.08 c BCD2: 22 <= obj <= 31 0.99/1.08 c BCD2: #cores=20, #unrelaxed=1769, #relaxed=762, #hardened=0 0.99/1.08 c BCD2: #sat=3 #unsat=23 bias=23/26 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 9162 0 | 450 | 995 1.09/1.11 c 0.0s | 0 | 3233 | 38 | 10079 0 | 450 | 995 1.09/1.11 c #cpu_time = 0.026s 1.09/1.11 c #wall_clock_time = 0.026s 1.09/1.11 c #decision = 3233 1.09/1.11 c #random_decision = 0 1.09/1.11 c #conflict = 38 1.09/1.11 c #restart = 0 1.09/1.11 c BCD2: relaxing 22 and merging with 3 cores into a new core of size 66: cost of the new core is >=6 1.09/1.11 c lower bound updated to 23 1.09/1.11 c BCD2: 23 <= obj <= 31 1.09/1.11 c BCD2: #cores=18, #unrelaxed=1747, #relaxed=784, #hardened=0 1.09/1.11 c BCD2: #sat=3 #unsat=24 bias=24/27 1.09/1.11 c Solving starts ... 1.09/1.11 c ============================[ Search Statistics ]============================ 1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.11 c | | | | Limit GC | Var | Constra 1.09/1.11 c ============================================================================= 1.09/1.11 c 0.0s | 0 | 0 | 0 | 10079 0 | 459 | 995 1.09/1.14 c 0.0s | 1 | 1808 | 100 | 10079 0 | 459 | 1010 1.09/1.17 c 0.1s | 2 | 3741 | 250 | 10079 0 | 459 | 1010 1.19/1.24 c 0.1s | 3 | 5864 | 475 | 10079 0 | 459 | 1010 1.29/1.38 c 0.3s | 4 | 10658 | 813 | 11087 0 | 459 | 1010 1.58/1.62 c 0.5s | 5 | 13356 | 1320 | 12196 0 | 459 | 1010 1.88/1.94 c 0.8s | 6 | 16485 | 2081 | 12196 0 | 459 | 1010 2.39/2.44 c 1.3s | 7 | 20441 | 3223 | 13416 0 | 459 | 1010 2.49/2.58 c 1.5s | 7 | 22754 | 3530 | 13416 0 | 459 | 1010 2.49/2.58 c #cpu_time = 1.463s 2.49/2.58 c #wall_clock_time = 1.467s 2.49/2.58 c #decision = 22754 2.49/2.58 c #random_decision = 12 2.49/2.58 c #conflict = 3530 2.49/2.58 c #restart = 7 2.49/2.58 c BCD2: relaxing 138 and merging with 16 cores into a new core of size 865: cost of the new core is >=22 2.49/2.58 c lower bound updated to 24 2.49/2.58 c BCD2: 24 <= obj <= 31 2.49/2.58 c BCD2: #cores=3, #unrelaxed=1609, #relaxed=922, #hardened=0 2.49/2.58 c BCD2: #sat=3 #unsat=25 bias=25/28 2.49/2.58 c Solving starts ... 2.49/2.58 c ============================[ Search Statistics ]============================ 2.49/2.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.58 c | | | | Limit GC | Var | Constra 2.49/2.58 c ============================================================================= 2.49/2.58 c 0.0s | 0 | 0 | 0 | 13416 0 | 507 | 1010 2.79/2.81 c 0.2s | 1 | 3652 | 100 | 13416 0 | 507 | 1090 2.99/3.02 c 0.4s | 2 | 6902 | 250 | 13416 0 | 507 | 1090 3.29/3.37 c 0.8s | 3 | 10575 | 475 | 13416 0 | 507 | 1090 3.69/3.78 c 1.2s | 4 | 15780 | 813 | 14758 0 | 507 | 1090 4.29/4.37 c 1.8s | 5 | 21987 | 1320 | 14758 0 | 507 | 1090 5.38/5.42 c 2.8s | 6 | 32298 | 2081 | 14758 0 | 507 | 1090 6.98/7.01 c 4.4s | 7 | 41443 | 3223 | 16234 0 | 507 | 1090 9.09/9.13 c 6.5s | 7 | 61053 | 4523 | 16234 0 | 507 | 1090 9.79/9.82 c 7.2s | 8 | 66057 | 4936 | 16234 0 | 507 | 1090 11.79/11.87 c 9.3s | 8 | 80120 | 6236 | 16234 0 | 507 | 1090 13.89/13.90 c 11.3s | 9 | 91852 | 7506 | 17858 0 | 507 | 1090 15.89/15.91 c 13.3s | 9 | 104241 | 8706 | 17858 0 | 507 | 1090 17.99/18.04 c 15.5s | 9 | 111117 | 9906 | 17858 0 | 507 | 1090 20.19/20.22 c 17.6s | 9 | 125111 | 11206 | 17858 0 | 507 | 1090 20.49/20.51 c 17.9s | 10 | 126298 | 11361 | 17858 0 | 507 | 1090 22.49/22.53 c 19.9s | 10 | 134036 | 12361 | 17858 0 | 507 | 1090 24.59/24.61 c 22.0s | 10 | 148303 | 13461 | 19644 0 | 507 | 1090 26.59/26.65 c 24.1s | 10 | 157490 | 14561 | 19644 0 | 507 | 1090 28.79/28.85 c 26.3s | 10 | 169441 | 15661 | 19644 0 | 507 | 1090 30.99/31.02 c 28.4s | 10 | 183497 | 16661 | 19644 0 | 507 | 1090 31.99/32.09 c 29.5s | 11 | 190280 | 17144 | 19644 0 | 507 | 1090 34.19/34.24 c 31.7s | 11 | 201538 | 18044 | 19644 0 | 507 | 1090 36.48/36.53 c 33.9s | 11 | 210815 | 18944 | 19644 0 | 507 | 1090 38.59/38.63 c 36.0s | 11 | 223887 | 19844 | 19644 0 | 507 | 1090 40.58/40.69 c 38.1s | 11 | 237757 | 20844 | 19644 0 | 507 | 1090 42.68/42.78 c 40.2s | 11 | 246695 | 21744 | 21609 0 | 507 | 1090 44.78/44.80 c 42.2s | 11 | 254821 | 22644 | 21609 0 | 507 | 1090 46.88/46.97 c 44.4s | 11 | 266285 | 23644 | 21609 0 | 507 | 1090 48.88/48.97 c 46.4s | 11 | 278140 | 24544 | 21609 0 | 507 | 1090 51.08/51.15 c 48.6s | 11 | 288933 | 25444 | 21609 1 | 507 | 1090 51.79/51.82 c 49.2s | 12 | 294438 | 25819 | 21609 1 | 507 | 1090 53.78/53.90 c 51.3s | 12 | 306329 | 26919 | 21609 1 | 507 | 1090 55.98/56.09 c 53.5s | 12 | 315047 | 28019 | 21609 1 | 507 | 1090 58.08/58.18 c 55.6s | 12 | 321387 | 29019 | 21609 1 | 507 | 1090 60.28/60.33 c 57.8s | 12 | 328938 | 30019 | 21609 1 | 507 | 1090 62.38/62.48 c 59.9s | 12 | 339383 | 31019 | 21609 1 | 507 | 1090 64.58/64.67 c 62.1s | 12 | 349032 | 32019 | 21609 1 | 507 | 1090 66.78/66.83 c 64.2s | 12 | 360778 | 33119 | 21609 1 | 507 | 1090 68.98/69.01 c 66.4s | 12 | 368910 | 34219 | 21609 1 | 507 | 1090 71.18/71.20 c 68.6s | 12 | 374373 | 35319 | 23770 1 | 507 | 1090 73.28/73.33 c 70.7s | 12 | 382919 | 36319 | 23770 1 | 507 | 1090 75.48/75.51 c 72.9s | 12 | 388373 | 37219 | 23770 1 | 507 | 1090 77.68/77.71 c 75.1s | 12 | 394730 | 38119 | 23770 1 | 507 | 1090 78.98/79.09 c 76.5s | 13 | 402673 | 38832 | 23770 1 | 507 | 1090 81.07/81.13 c 78.5s | 13 | 415428 | 39832 | 23770 2 | 507 | 1090 83.17/83.24 c 80.7s | 13 | 426322 | 41032 | 23770 2 | 507 | 1090 85.27/85.38 c 82.8s | 13 | 434016 | 42032 | 23770 2 | 507 | 1090 87.57/87.61 c 85.0s | 13 | 443334 | 43032 | 23770 2 | 507 | 1090 89.67/89.72 c 87.1s | 13 | 452571 | 44032 | 23770 2 | 507 | 1090 91.67/91.79 c 89.2s | 13 | 462674 | 45032 | 23770 2 | 507 | 1090 93.87/93.90 c 91.3s | 13 | 474572 | 46032 | 23770 2 | 507 | 1090 96.07/96.10 c 93.5s | 13 | 483586 | 47032 | 23770 2 | 507 | 1090 98.08/98.12 c 95.5s | 13 | 492794 | 48032 | 23770 2 | 507 | 1090 100.18/100.25 c 97.7s | 13 | 501009 | 49032 | 23770 2 | 507 | 1090 102.17/102.28 c 99.7s | 13 | 509583 | 50132 | 23770 2 | 507 | 1090 104.37/104.50 c 101s | 13 | 522408 | 51232 | 23770 2 | 507 | 1090 106.57/106.65 c 104s | 13 | 531311 | 52232 | 23770 2 | 507 | 1090 108.57/108.67 c 106s | 13 | 540159 | 53132 | 23770 3 | 507 | 1090 110.77/110.85 c 108s | 13 | 545839 | 54132 | 26148 3 | 507 | 1090 112.77/112.87 c 110s | 13 | 553910 | 55032 | 26148 3 | 507 | 1090 114.87/114.97 c 112s | 13 | 566006 | 56232 | 26148 3 | 507 | 1090 116.87/116.99 c 114s | 13 | 579292 | 57532 | 26148 3 | 507 | 1090 118.27/118.36 c 115s | 14 | 586238 | 58352 | 26148 3 | 507 | 1090 120.36/120.46 c 117s | 14 | 599567 | 59352 | 26148 3 | 507 | 1090 122.46/122.51 c 119s | 14 | 609613 | 60452 | 26148 3 | 507 | 1090 124.57/124.62 c 122s | 14 | 619693 | 61652 | 26148 3 | 507 | 1090 126.58/126.68 c 124s | 14 | 629112 | 62752 | 26148 3 | 507 | 1090 128.57/128.69 c 126s | 14 | 639263 | 63752 | 26148 3 | 507 | 1090 130.77/130.82 c 128s | 14 | 651279 | 64952 | 26148 3 | 507 | 1090 133.08/133.11 c 130s | 14 | 662103 | 65952 | 26148 3 | 507 | 1090 135.28/135.35 c 132s | 14 | 670399 | 66852 | 26148 3 | 507 | 1090 137.37/137.41 c 134s | 14 | 677252 | 67552 | 26148 3 | 507 | 1090 139.46/139.50 c 136s | 14 | 684658 | 68252 | 26148 3 | 507 | 1090 141.46/141.59 c 139s | 14 | 692894 | 68952 | 26148 3 | 507 | 1090 143.66/143.76 c 141s | 14 | 703237 | 69852 | 26148 4 | 507 | 1090 145.66/145.78 c 143s | 14 | 713430 | 70852 | 26148 4 | 507 | 1090 147.76/147.80 c 145s | 14 | 724503 | 71852 | 26148 4 | 507 | 1090 149.76/149.88 c 147s | 14 | 735697 | 72852 | 26148 4 | 507 | 1090 151.96/152.03 c 149s | 14 | 747352 | 73952 | 26148 4 | 507 | 1090 154.07/154.17 c 151s | 14 | 755247 | 74952 | 26148 4 | 507 | 1090 156.27/156.39 c 153s | 14 | 764916 | 75952 | 26148 4 | 507 | 1090 158.37/158.44 c 155s | 14 | 773375 | 76852 | 26148 4 | 507 | 1090 160.36/160.46 c 157s | 14 | 783116 | 77752 | 26148 4 | 507 | 1090 162.36/162.47 c 159s | 14 | 791564 | 78752 | 26148 4 | 507 | 1090 164.56/164.64 c 162s | 14 | 801928 | 79852 | 26148 4 | 507 | 1090 166.66/166.72 c 164s | 14 | 811865 | 80952 | 26148 4 | 507 | 1090 168.76/168.87 c 166s | 14 | 820107 | 81852 | 26148 4 | 507 | 1090 170.96/171.07 c 168s | 14 | 829308 | 82752 | 28763 4 | 507 | 1090 173.06/173.12 c 170s | 14 | 836356 | 83652 | 28763 4 | 507 | 1090 175.06/175.13 c 172s | 14 | 841930 | 84452 | 28763 4 | 507 | 1090 177.06/177.18 c 174s | 14 | 848992 | 85352 | 28763 4 | 507 | 1090 179.26/179.31 c 176s | 14 | 855965 | 86352 | 28763 4 | 507 | 1090 181.35/181.44 c 178s | 14 | 863244 | 87152 | 28763 5 | 507 | 1090 182.46/182.58 c 179s | 15 | 869323 | 87632 | 28763 5 | 507 | 1090 184.66/184.77 c 182s | 15 | 881005 | 88632 | 28763 5 | 507 | 1090 186.76/186.88 c 184s | 15 | 890316 | 89732 | 28763 5 | 507 | 1090 188.86/188.90 c 186s | 15 | 898276 | 90732 | 28763 5 | 507 | 1090 190.96/191.09 c 188s | 15 | 907572 | 91832 | 28763 5 | 507 | 1090 193.15/193.24 c 190s | 15 | 912205 | 92832 | 28763 5 | 507 | 1090 195.25/195.33 c 192s | 15 | 920502 | 93832 | 28763 5 | 507 | 1090 197.35/197.41 c 194s | 15 | 927931 | 94732 | 28763 5 | 507 | 1090 199.45/199.55 c 196s | 15 | 936269 | 95532 | 28763 5 | 507 | 1090 201.45/201.55 c 198s | 15 | 948651 | 96532 | 28763 5 | 507 | 1090 203.56/203.69 c 201s | 15 | 959066 | 97432 | 28763 5 | 507 | 1090 205.75/205.84 c 203s | 15 | 966135 | 98332 | 28763 5 | 507 | 1090 207.95/208.01 c 205s | 15 | 974700 | 99232 | 28763 5 | 507 | 1090 210.05/210.11 c 207s | 15 | 982352 | 100232 | 28763 5 | 507 | 1090 212.15/212.22 c 209s | 15 | 988457 | 101132 | 28763 5 | 507 | 1090 214.24/214.30 c 211s | 15 | 997656 | 101932 | 28763 5 | 507 | 1090 216.24/216.36 c 213s | 15 | 1003764 | 102832 | 28763 5 | 507 | 1090 218.35/218.48 c 215s | 15 | 1011704 | 103732 | 28763 6 | 507 | 1090 220.35/220.49 c 217s | 15 | 1017184 | 104732 | 28763 6 | 507 | 1090 222.45/222.53 c 219s | 15 | 1022056 | 105732 | 28763 6 | 507 | 1090 224.55/224.66 c 222s | 15 | 1027841 | 106832 | 28763 6 | 507 | 1090 226.65/226.75 c 224s | 15 | 1031984 | 107732 | 28763 6 | 507 | 1090 228.75/228.84 c 226s | 15 | 1038698 | 108632 | 28763 6 | 507 | 1090 230.95/231.03 c 228s | 15 | 1047649 | 109532 | 28763 6 | 507 | 1090 232.94/233.07 c 230s | 15 | 1056837 | 110432 | 28763 6 | 507 | 1090 234.94/235.08 c 232s | 15 | 1065450 | 111332 | 28763 6 | 507 | 1090 237.14/237.20 c 234s | 15 | 1073688 | 112332 | 28763 6 | 507 | 1090 239.14/239.23 c 236s | 15 | 1079892 | 113232 | 28763 6 | 507 | 1090 241.24/241.32 c 238s | 15 | 1086919 | 114132 | 28763 6 | 507 | 1090 243.34/243.41 c 240s | 15 | 1090617 | 115032 | 28763 6 | 507 | 1090 245.64/245.75 c 243s | 15 | 1098120 | 115832 | 28763 6 | 507 | 1090 247.84/247.94 c 245s | 15 | 1106283 | 116732 | 28763 6 | 507 | 1090 249.84/249.97 c 247s | 15 | 1116014 | 117632 | 28763 6 | 507 | 1090 252.04/252.15 c 249s | 15 | 1125234 | 118532 | 28763 6 | 507 | 1090 254.15/254.24 c 251s | 15 | 1134750 | 119432 | 28763 7 | 507 | 1090 256.14/256.25 c 253s | 15 | 1144036 | 120432 | 28763 7 | 507 | 1090 258.24/258.36 c 255s | 15 | 1153698 | 121532 | 28763 7 | 507 | 1090 260.44/260.54 c 257s | 15 | 1158972 | 122632 | 28763 7 | 507 | 1090 262.54/262.63 c 260s | 15 | 1165801 | 123732 | 28763 7 | 507 | 1090 264.54/264.66 c 262s | 15 | 1175003 | 124732 | 28763 7 | 507 | 1090 266.64/266.77 c 264s | 15 | 1183477 | 125832 | 28763 7 | 507 | 1090 268.74/268.89 c 266s | 15 | 1189110 | 126832 | 31640 7 | 507 | 1090 270.73/270.89 c 268s | 15 | 1193875 | 127832 | 31640 7 | 507 | 1090 272.84/272.98 c 270s | 15 | 1198460 | 128832 | 31640 7 | 507 | 1090 275.04/275.11 c 272s | 15 | 1205930 | 129732 | 31640 7 | 507 | 1090 277.03/277.18 c 274s | 15 | 1214681 | 130632 | 31640 7 | 507 | 1090 279.13/279.20 c 276s | 16 | 1224543 | 131552 | 31640 7 | 507 | 1090 281.13/281.28 c 278s | 16 | 1230787 | 132452 | 31640 7 | 507 | 1090 283.33/283.43 c 280s | 16 | 1236539 | 133352 | 31640 7 | 507 | 1090 285.53/285.69 c 283s | 16 | 1241033 | 134352 | 31640 7 | 507 | 1090 287.63/287.73 c 285s | 16 | 1244753 | 134952 | 31640 7 | 507 | 1090 289.73/289.81 c 287s | 16 | 1249300 | 135652 | 31640 7 | 507 | 1090 291.82/291.95 c 289s | 16 | 1257512 | 136452 | 31640 7 | 507 | 1090 294.12/294.24 c 291s | 16 | 1265077 | 137352 | 31640 7 | 507 | 1090 296.32/296.42 c 293s | 16 | 1272102 | 138052 | 31640 7 | 507 | 1090 298.52/298.66 c 296s | 16 | 1278102 | 138752 | 31640 8 | 507 | 1090 300.73/300.82 c 298s | 16 | 1282295 | 139252 | 31640 8 | 507 | 1090 302.83/302.97 c 300s | 16 | 1290188 | 140152 | 31640 8 | 507 | 1090 305.03/305.13 c 302s | 16 | 1299804 | 141152 | 31640 8 | 507 | 1090 307.12/307.20 c 304s | 16 | 1309220 | 142052 | 31640 8 | 507 | 1090 309.13/309.22 c 306s | 16 | 1316744 | 142952 | 31640 8 | 507 | 1090 311.33/311.47 c 308s | 16 | 1324399 | 143652 | 31640 8 | 507 | 1090 313.43/313.59 c 311s | 16 | 1338044 | 144752 | 31640 8 | 507 | 1090 315.63/315.75 c 313s | 16 | 1349324 | 145952 | 31640 8 | 507 | 1090 317.83/317.94 c 315s | 16 | 1360171 | 147052 | 31640 8 | 507 | 1090 320.03/320.18 c 317s | 16 | 1369678 | 148052 | 31640 8 | 507 | 1090 322.12/322.24 c 319s | 16 | 1377599 | 148952 | 31640 8 | 507 | 1090 324.22/324.37 c 321s | 16 | 1385873 | 149852 | 31640 8 | 507 | 1090 326.32/326.43 c 323s | 16 | 1392201 | 150652 | 31640 8 | 507 | 1090 328.42/328.56 c 325s | 16 | 1399513 | 151652 | 31640 8 | 507 | 1090 330.52/330.66 c 328s | 16 | 1406223 | 152452 | 31640 8 | 507 | 1090 332.82/332.97 c 330s | 16 | 1412208 | 153152 | 31640 8 | 507 | 1090 335.12/335.25 c 332s | 16 | 1418777 | 153952 | 31640 8 | 507 | 1090 337.12/337.27 c 334s | 16 | 1425876 | 154752 | 31640 8 | 507 | 1090 339.42/339.52 c 336s | 16 | 1433400 | 155652 | 31640 8 | 507 | 1090 341.52/341.61 c 339s | 16 | 1438581 | 156452 | 31640 9 | 507 | 1090 343.62/343.78 c 341s | 16 | 1445131 | 157552 | 31640 9 | 507 | 1090 345.71/345.84 c 343s | 16 | 1457437 | 158752 | 31640 9 | 507 | 1090 347.72/347.86 c 345s | 16 | 1461946 | 159252 | 31640 9 | 507 | 1090 349.82/349.95 c 347s | 16 | 1469392 | 160052 | 31640 9 | 507 | 1090 351.92/352.01 c 349s | 16 | 1477368 | 161152 | 31640 9 | 507 | 1090 354.01/354.14 c 351s | 16 | 1488386 | 162352 | 31640 9 | 507 | 1090 356.01/356.14 c 353s | 16 | 1498882 | 163452 | 31640 9 | 507 | 1090 358.11/358.28 c 355s | 16 | 1507574 | 164552 | 31640 9 | 507 | 1090 360.21/360.35 c 357s | 16 | 1517972 | 165652 | 31640 9 | 507 | 1090 362.31/362.41 c 359s | 16 | 1526293 | 166652 | 31640 9 | 507 | 1090 364.31/364.49 c 361s | 16 | 1536385 | 167652 | 31640 9 | 507 | 1090 366.51/366.68 c 364s | 16 | 1541869 | 168752 | 31640 9 | 507 | 1090 368.61/368.74 c 366s | 16 | 1547476 | 169552 | 31640 9 | 507 | 1090 370.72/370.89 c 368s | 16 | 1557993 | 170752 | 31640 9 | 507 | 1090 372.82/372.98 c 370s | 16 | 1567772 | 171752 | 31640 9 | 507 | 1090 374.91/375.08 c 372s | 16 | 1575885 | 172752 | 31640 9 | 507 | 1090 377.31/377.48 c 374s | 16 | 1584112 | 173652 | 31640 10 | 507 | 1090 379.41/379.58 c 376s | 16 | 1592193 | 174752 | 31640 10 | 507 | 1090 381.50/381.64 c 379s | 16 | 1599973 | 175752 | 31640 10 | 507 | 1090 383.70/383.80 c 381s | 16 | 1608414 | 176852 | 31640 10 | 507 | 1090 385.80/385.95 c 383s | 16 | 1615661 | 177652 | 31640 10 | 507 | 1090 387.90/388.00 c 385s | 16 | 1623668 | 178552 | 31640 10 | 507 | 1090 390.00/390.16 c 387s | 16 | 1634922 | 179552 | 31640 10 | 507 | 1090 392.10/392.26 c 389s | 16 | 1641320 | 180552 | 31640 10 | 507 | 1090 394.20/394.31 c 391s | 16 | 1645390 | 181452 | 31640 10 | 507 | 1090 396.30/396.41 c 393s | 16 | 1652951 | 182352 | 31640 10 | 507 | 1090 398.40/398.58 c 396s | 16 | 1663650 | 183452 | 31640 10 | 507 | 1090 400.60/400.70 c 398s | 16 | 1672475 | 184452 | 31640 10 | 507 | 1090 402.70/402.83 c 400s | 16 | 1682175 | 185452 | 31640 10 | 507 | 1090 404.70/404.89 c 402s | 16 | 1691207 | 186352 | 31640 10 | 507 | 1090 406.90/407.01 c 404s | 16 | 1698435 | 187152 | 31640 10 | 507 | 1090 409.20/409.37 c 406s | 16 | 1707778 | 188052 | 31640 10 | 507 | 1090 411.49/411.62 c 409s | 16 | 1715538 | 188952 | 31640 10 | 507 | 1090 413.50/413.63 c 411s | 16 | 1723550 | 189752 | 31640 10 | 507 | 1090 415.59/415.71 c 413s | 16 | 1731250 | 190552 | 31640 10 | 507 | 1090 417.59/417.72 c 415s | 16 | 1737379 | 191252 | 31640 11 | 507 | 1090 419.69/419.81 c 417s | 16 | 1742100 | 191852 | 34804 11 | 507 | 1090 421.79/421.93 c 419s | 16 | 1751251 | 192952 | 34804 11 | 507 | 1090 423.89/424.02 c 421s | 16 | 1760640 | 193952 | 34804 11 | 507 | 1090 426.09/426.24 c 423s | 16 | 1773557 | 195052 | 34804 11 | 507 | 1090 428.19/428.30 c 425s | 16 | 1783861 | 196052 | 34804 11 | 507 | 1090 430.19/430.39 c 427s | 16 | 1790054 | 196952 | 34804 11 | 507 | 1090 431.39/431.57 c 428s | 17 | 1793217 | 197432 | 34804 11 | 507 | 1090 433.49/433.60 c 431s | 17 | 1805566 | 198332 | 34804 11 | 507 | 1090 435.59/435.77 c 433s | 17 | 1814548 | 199332 | 34804 11 | 507 | 1090 437.69/437.88 c 435s | 17 | 1822453 | 200332 | 34804 11 | 507 | 1090 439.79/440.00 c 437s | 17 | 1829312 | 201332 | 34804 11 | 507 | 1090 441.89/442.07 c 439s | 17 | 1838360 | 202532 | 34804 11 | 507 | 1090 443.99/444.19 c 441s | 17 | 1847491 | 203832 | 34804 11 | 507 | 1090 446.19/446.30 c 443s | 17 | 1856836 | 205132 | 34804 11 | 507 | 1090 448.19/448.33 c 445s | 17 | 1865443 | 206232 | 34804 11 | 507 | 1090 450.19/450.39 c 447s | 17 | 1872629 | 207232 | 34804 11 | 507 | 1090 452.49/452.61 c 450s | 17 | 1878964 | 208232 | 34804 11 | 507 | 1090 454.58/454.71 c 452s | 17 | 1886798 | 209232 | 34804 11 | 507 | 1090 456.68/456.84 c 454s | 17 | 1897938 | 210332 | 34804 11 | 507 | 1090 458.78/458.96 c 456s | 17 | 1904362 | 211332 | 34804 11 | 507 | 1090 460.79/460.99 c 458s | 17 | 1909880 | 212132 | 34804 12 | 507 | 1090 462.89/463.07 c 460s | 17 | 1919420 | 213232 | 34804 12 | 507 | 1090 464.99/465.14 c 462s | 17 | 1930013 | 214432 | 34804 12 | 507 | 1090 466.99/467.19 c 464s | 17 | 1936950 | 215532 | 34804 12 | 507 | 1090 469.09/469.25 c 466s | 17 | 1943969 | 216432 | 34804 12 | 507 | 1090 471.19/471.38 c 468s | 17 | 1950561 | 217332 | 34804 12 | 507 | 1090 473.39/473.54 c 470s | 17 | 1957965 | 218332 | 34804 12 | 507 | 1090 475.49/475.69 c 473s | 17 | 1964984 | 219332 | 34804 12 | 507 | 1090 477.59/477.77 c 475s | 17 | 1972432 | 220232 | 34804 12 | 507 | 1090 479.69/479.80 c 477s | 17 | 1979758 | 221232 | 34804 12 | 507 | 1090 481.69/481.90 c 479s | 17 | 1987147 | 222132 | 34804 12 | 507 | 1090 483.89/484.07 c 481s | 17 | 1993696 | 223032 | 34804 12 | 507 | 1090 486.09/486.22 c 483s | 17 | 1999653 | 223932 | 34804 12 | 507 | 1090 488.08/488.25 c 485s | 17 | 2006023 | 224732 | 34804 12 | 507 | 1090 490.28/490.42 c 487s | 17 | 2011748 | 225632 | 34804 12 | 507 | 1090 492.48/492.65 c 490s | 17 | 2017214 | 226532 | 34804 12 | 507 | 1090 494.68/494.82 c 492s | 17 | 2026726 | 227332 | 34804 12 | 507 | 1090 496.67/496.85 c 494s | 17 | 2035727 | 228332 | 34804 12 | 507 | 1090 498.67/498.89 c 496s | 17 | 2040355 | 229232 | 34804 12 | 507 | 1090 500.77/500.96 c 498s | 17 | 2046447 | 229932 | 34804 12 | 507 | 1090 502.87/503.01 c 500s | 17 | 2052693 | 230632 | 34804 12 | 507 | 1090 504.97/505.14 c 502s | 17 | 2061183 | 231532 | 34804 13 | 507 | 1090 507.17/507.32 c 504s | 17 | 2069432 | 232532 | 34804 13 | 507 | 1090 509.27/509.44 c 506s | 17 | 2077157 | 233332 | 34804 13 | 507 | 1090 511.37/511.52 c 508s | 17 | 2085105 | 234132 | 34804 13 | 507 | 1090 513.37/513.58 c 511s | 17 | 2094388 | 235032 | 34804 13 | 507 | 1090 515.57/515.73 c 513s | 17 | 2100933 | 235932 | 34804 13 | 507 | 1090 517.76/517.97 c 515s | 17 | 2106901 | 236732 | 34804 13 | 507 | 1090 519.86/520.09 c 517s | 17 | 2112854 | 237632 | 34804 13 | 507 | 1090 521.96/522.14 c 519s | 17 | 2120374 | 238532 | 34804 13 | 507 | 1090 523.97/524.18 c 521s | 17 | 2126518 | 239332 | 34804 13 | 507 | 1090 526.27/526.41 c 523s | 17 | 2133259 | 240232 | 34804 13 | 507 | 1090 528.36/528.53 c 525s | 17 | 2140607 | 241032 | 34804 13 | 507 | 1090 530.56/530.76 c 528s | 17 | 2146421 | 241832 | 34804 13 | 507 | 1090 532.66/532.84 c 530s | 17 | 2154066 | 242732 | 34804 13 | 507 | 1090 534.76/534.94 c 532s | 17 | 2160942 | 243632 | 34804 13 | 507 | 1090 536.86/537.02 c 534s | 17 | 2167141 | 244632 | 34804 13 | 507 | 1090 538.97/539.12 c 536s | 17 | 2176035 | 245632 | 34804 13 | 507 | 1090 541.17/541.32 c 538s | 17 | 2182689 | 246532 | 34804 13 | 507 | 1090 543.27/543.44 c 540s | 17 | 2192396 | 247632 | 34804 13 | 507 | 1090 545.36/545.58 c 542s | 17 | 2200606 | 248732 | 34804 13 | 507 | 1090 547.66/547.80 c 545s | 17 | 2207667 | 249732 | 34804 13 | 507 | 1090 549.86/550.04 c 547s | 17 | 2213267 | 250532 | 34804 14 | 507 | 1090 551.95/552.15 c 549s | 17 | 2222205 | 251632 | 34804 14 | 507 | 1090 554.05/554.23 c 551s | 17 | 2229927 | 252632 | 34804 14 | 507 | 1090 556.25/556.41 c 553s | 17 | 2236916 | 253632 | 34804 14 | 507 | 1090 558.45/558.65 c 556s | 17 | 2244789 | 254632 | 34804 14 | 507 | 1090 560.45/560.66 c 558s | 17 | 2252812 | 255532 | 34804 14 | 507 | 1090 562.65/562.88 c 560s | 17 | 2260582 | 256432 | 34804 14 | 507 | 1090 564.65/564.89 c 562s | 17 | 2265702 | 257232 | 34804 14 | 507 | 1090 566.94/567.12 c 564s | 17 | 2271664 | 258132 | 34804 14 | 507 | 1090 569.04/569.23 c 566s | 17 | 2277858 | 258932 | 34804 14 | 507 | 1090 571.24/571.44 c 568s | 17 | 2286486 | 259832 | 34804 14 | 507 | 1090 573.34/573.52 c 570s | 17 | 2292037 | 260632 | 34804 14 | 507 | 1090 575.54/575.76 c 573s | 17 | 2300064 | 261632 | 34804 14 | 507 | 1090 577.64/577.83 c 575s | 17 | 2305576 | 262532 | 34804 14 | 507 | 1090 579.65/579.84 c 577s | 17 | 2311657 | 263432 | 34804 14 | 507 | 1090 581.64/581.87 c 579s | 17 | 2317415 | 264232 | 34804 14 | 507 | 1090 583.74/583.96 c 581s | 17 | 2324778 | 265132 | 34804 14 | 507 | 1090 585.94/586.16 c 583s | 17 | 2335822 | 266232 | 34804 14 | 507 | 1090 588.04/588.25 c 585s | 17 | 2338886 | 266732 | 34804 14 | 507 | 1090 590.13/590.30 c 587s | 17 | 2343246 | 267432 | 34804 14 | 507 | 1090 592.23/592.47 c 589s | 17 | 2353047 | 268532 | 34804 14 | 507 | 1090 594.43/594.61 c 592s | 17 | 2358151 | 269432 | 34804 14 | 507 | 1090 596.43/596.69 c 594s | 17 | 2367869 | 270632 | 34804 15 | 507 | 1090 598.54/598.72 c 596s | 17 | 2374111 | 271632 | 34804 15 | 507 | 1090 601.74/601.96 c 599s | 17 | 2379980 | 272732 | 34804 15 | 507 | 1090 603.74/603.99 c 601s | 17 | 2390225 | 273732 | 34804 15 | 507 | 1090 605.94/606.17 c 603s | 17 | 2401551 | 275032 | 34804 15 | 507 | 1090 608.03/608.24 c 605s | 17 | 2409197 | 276132 | 34804 15 | 507 | 1090 610.13/610.30 c 607s | 17 | 2415828 | 277132 | 34804 15 | 507 | 1090 612.23/612.40 c 609s | 17 | 2424288 | 278232 | 34804 15 | 507 | 1090 614.33/614.52 c 611s | 17 | 2433487 | 279332 | 34804 15 | 507 | 1090 616.33/616.56 c 613s | 17 | 2441413 | 280332 | 34804 15 | 507 | 1090 618.43/618.61 c 616s | 17 | 2454133 | 281732 | 34804 15 | 507 | 1090 620.43/620.65 c 618s | 17 | 2461434 | 282732 | 34804 15 | 507 | 1090 622.63/622.81 c 620s | 17 | 2468650 | 283832 | 34804 15 | 507 | 1090 624.73/624.97 c 622s | 17 | 2477366 | 284832 | 34804 15 | 507 | 1090 626.83/627.06 c 624s | 17 | 2485440 | 285832 | 34804 15 | 507 | 1090 628.92/629.18 c 626s | 17 | 2494274 | 286932 | 34804 15 | 507 | 1090 631.02/631.26 c 628s | 17 | 2499874 | 287832 | 34804 15 | 507 | 1090 633.12/633.35 c 630s | 17 | 2506944 | 288832 | 34804 15 | 507 | 1090 635.22/635.40 c 632s | 17 | 2512961 | 289632 | 34804 16 | 507 | 1090 637.31/637.54 c 634s | 17 | 2520630 | 290632 | 38285 16 | 507 | 1090 639.51/639.71 c 637s | 17 | 2530912 | 291732 | 38285 16 | 507 | 1090 641.61/641.86 c 639s | 17 | 2537513 | 292732 | 38285 16 | 507 | 1090 643.71/643.90 c 641s | 17 | 2544929 | 293732 | 38285 16 | 508 | 1831 645.82/646.01 c 643s | 17 | 2551918 | 294632 | 38285 16 | 508 | 1831 647.82/648.06 c 645s | 17 | 2556688 | 295532 | 38285 16 | 508 | 1831 649.21/649.49 c 646s | 18 | 2562393 | 296252 | 38285 16 | 508 | 1831 651.51/651.70 c 649s | 18 | 2570908 | 297252 | 38285 16 | 508 | 1831 653.61/653.89 c 651s | 18 | 2580038 | 298352 | 38285 16 | 508 | 1831 655.71/655.92 c 653s | 18 | 2586927 | 299152 | 38285 16 | 508 | 1831 657.71/657.95 c 655s | 18 | 2595272 | 300152 | 38285 16 | 508 | 1831 659.70/659.97 c 657s | 18 | 2604063 | 301052 | 38285 16 | 508 | 1831 661.90/662.18 c 659s | 18 | 2614535 | 302052 | 38285 16 | 508 | 1831 664.00/664.20 c 661s | 18 | 2622871 | 302952 | 38285 16 | 508 | 1831 666.09/666.35 c 663s | 18 | 2630620 | 303952 | 38285 16 | 508 | 1831 668.20/668.40 c 665s | 18 | 2635704 | 304852 | 38285 16 | 508 | 1831 670.20/670.40 c 667s | 18 | 2644330 | 305752 | 38285 16 | 508 | 1831 672.20/672.44 c 669s | 18 | 2651420 | 306752 | 38285 16 | 508 | 1831 674.40/674.63 c 672s | 18 | 2658511 | 307852 | 38285 16 | 508 | 1831 676.40/676.65 c 674s | 18 | 2668259 | 308852 | 38285 16 | 508 | 1831 678.60/678.85 c 676s | 18 | 2674065 | 309852 | 38285 16 | 508 | 1831 680.60/680.86 c 678s | 18 | 2681001 | 310552 | 38285 16 | 508 | 1831 682.80/683.02 c 680s | 18 | 2687611 | 311452 | 38285 16 | 508 | 1831 684.89/685.14 c 682s | 18 | 2692146 | 312252 | 38285 17 | 508 | 1831 686.99/687.27 c 684s | 18 | 2700195 | 313352 | 38285 17 | 508 | 1831 689.19/689.40 c 686s | 18 | 2707605 | 314452 | 38285 17 | 508 | 1831 691.29/691.59 c 689s | 18 | 2717418 | 315552 | 38285 17 | 508 | 1831 693.49/693.74 c 691s | 18 | 2723769 | 316552 | 38285 17 | 508 | 1831 695.69/695.90 c 693s | 18 | 2730634 | 317552 | 38285 17 | 508 | 1831 697.68/697.91 c 695s | 18 | 2738814 | 318552 | 38285 17 | 508 | 1831 699.78/700.06 c 697s | 18 | 2747578 | 319652 | 38285 17 | 508 | 1831 701.98/702.21 c 699s | 18 | 2753664 | 320652 | 38285 17 | 508 | 1831 703.98/704.23 c 701s | 18 | 2760319 | 321452 | 38285 17 | 508 | 1831 706.18/706.48 c 703s | 18 | 2767852 | 322352 | 38285 17 | 508 | 1831 708.28/708.57 c 705s | 18 | 2772797 | 323152 | 38285 17 | 508 | 1831 710.48/710.78 c 708s | 18 | 2778748 | 324052 | 38285 17 | 508 | 1831 712.58/712.82 c 710s | 18 | 2783641 | 324952 | 38285 17 | 508 | 1831 714.58/714.85 c 712s | 18 | 2787069 | 325752 | 38285 17 | 508 | 1831 716.57/716.87 c 714s | 18 | 2795968 | 326552 | 38285 17 | 508 | 1831 718.77/719.00 c 716s | 18 | 2804641 | 327452 | 38285 17 | 508 | 1831 720.87/721.16 c 718s | 18 | 2813060 | 328352 | 38285 17 | 508 | 1831 723.07/723.32 c 720s | 18 | 2821017 | 329252 | 38285 17 | 508 | 1831 725.07/725.38 c 722s | 18 | 2825199 | 329852 | 38285 17 | 508 | 1831 727.17/727.40 c 724s | 18 | 2831828 | 330752 | 38285 17 | 508 | 1831 729.27/729.53 c 726s | 18 | 2838168 | 331552 | 38285 17 | 508 | 1831 731.38/731.69 c 729s | 18 | 2846471 | 332552 | 38285 17 | 508 | 1831 733.77/734.04 c 731s | 18 | 2852763 | 333152 | 38285 18 | 508 | 1831 735.96/736.22 c 733s | 18 | 2864391 | 334552 | 38285 18 | 508 | 1831 738.06/738.37 c 735s | 18 | 2871540 | 335852 | 38285 18 | 508 | 1831 740.07/740.39 c 737s | 18 | 2881182 | 336952 | 38285 18 | 508 | 1831 742.16/742.50 c 739s | 18 | 2890592 | 338052 | 38285 18 | 508 | 1831 744.36/744.61 c 742s | 18 | 2899294 | 339152 | 38285 18 | 508 | 1831 746.66/746.92 c 744s | 18 | 2905568 | 340052 | 38285 18 | 508 | 1831 748.87/749.14 c 746s | 18 | 2911400 | 341052 | 38285 18 | 508 | 1831 750.86/751.18 c 748s | 18 | 2916061 | 341852 | 38285 18 | 508 | 1831 752.96/753.21 c 750s | 18 | 2924181 | 342752 | 38285 18 | 508 | 1831 755.06/755.32 c 752s | 18 | 2934944 | 343952 | 38285 18 | 508 | 1831 757.16/757.47 c 754s | 18 | 2942721 | 345052 | 38285 18 | 508 | 1831 759.36/759.68 c 757s | 18 | 2949804 | 346152 | 38285 18 | 508 | 1831 761.66/761.92 c 759s | 18 | 2954813 | 347052 | 38285 18 | 508 | 1831 763.66/763.99 c 761s | 18 | 2965524 | 348152 | 38285 18 | 508 | 1831 765.86/766.12 c 763s | 18 | 2976349 | 349252 | 38285 18 | 508 | 1831 767.86/768.18 c 765s | 18 | 2984443 | 350252 | 38285 18 | 508 | 1831 770.05/770.36 c 767s | 18 | 2990379 | 351152 | 38285 18 | 508 | 1831 772.06/772.37 c 769s | 18 | 2999767 | 352152 | 38285 18 | 508 | 1831 774.05/774.40 c 771s | 18 | 3006371 | 353152 | 38285 18 | 508 | 1831 776.15/776.44 c 773s | 18 | 3013464 | 354152 | 38285 19 | 508 | 1831 778.35/778.64 c 776s | 18 | 3022282 | 355152 | 38285 19 | 508 | 1831 780.55/780.85 c 778s | 18 | 3029151 | 356152 | 38285 19 | 508 | 1831 782.65/782.93 c 780s | 18 | 3038989 | 357352 | 38285 19 | 508 | 1831 784.75/785.01 c 782s | 18 | 3045540 | 358352 | 38285 19 | 508 | 1831 786.85/787.12 c 784s | 18 | 3054300 | 359452 | 38285 19 | 508 | 1831 789.04/789.32 c 786s | 18 | 3060973 | 360552 | 38285 19 | 508 | 1831 791.14/791.47 c 788s | 18 | 3067447 | 361552 | 38285 19 | 508 | 1831 793.14/793.48 c 790s | 18 | 3073294 | 362552 | 38285 19 | 508 | 1831 795.34/795.70 c 793s | 18 | 3079179 | 363452 | 38285 19 | 508 | 1831 797.44/797.75 c 795s | 18 | 3087972 | 364452 | 38285 19 | 508 | 1831 799.55/799.81 c 797s | 18 | 3094874 | 365452 | 38285 19 | 508 | 1831 801.54/801.82 c 799s | 18 | 3102256 | 366452 | 38285 19 | 508 | 1831 803.64/803.93 c 801s | 18 | 3107411 | 367352 | 38285 19 | 508 | 1831 805.84/806.10 c 803s | 18 | 3115849 | 368352 | 38285 19 | 508 | 1831 807.85/808.15 c 805s | 18 | 3122424 | 369152 | 38285 19 | 508 | 1831 810.05/810.35 c 807s | 18 | 3128138 | 369952 | 38285 19 | 508 | 1831 812.25/812.59 c 810s | 18 | 3136260 | 370952 | 38285 19 | 508 | 1831 814.45/814.70 c 812s | 18 | 3143140 | 371952 | 38285 19 | 508 | 1831 816.64/816.93 c 814s | 18 | 3147566 | 372752 | 38285 19 | 508 | 1831 818.74/819.07 c 816s | 18 | 3153346 | 373652 | 38285 19 | 508 | 1831 821.24/821.58 c 818s | 18 | 3159341 | 374452 | 38285 20 | 508 | 1831 823.54/823.84 c 821s | 18 | 3166276 | 375352 | 38285 20 | 508 | 1831 825.74/826.03 c 823s | 18 | 3176030 | 376452 | 38285 20 | 508 | 1831 827.84/828.10 c 825s | 18 | 3182569 | 377552 | 38285 20 | 508 | 1831 829.84/830.19 c 827s | 18 | 3192625 | 378552 | 38285 20 | 508 | 1831 831.94/832.20 c 829s | 18 | 3200696 | 379752 | 38285 20 | 508 | 1831 834.04/834.36 c 831s | 18 | 3208377 | 381052 | 38285 20 | 508 | 1831 836.14/836.44 c 833s | 18 | 3214725 | 382152 | 38285 20 | 508 | 1831 838.24/838.50 c 835s | 18 | 3220770 | 383052 | 38285 20 | 508 | 1831 840.24/840.51 c 837s | 18 | 3232835 | 384152 | 38285 20 | 508 | 1831 842.24/842.53 c 839s | 18 | 3242397 | 385152 | 38285 20 | 508 | 1831 844.33/844.69 c 842s | 18 | 3252250 | 386252 | 38285 20 | 508 | 1831 846.53/846.87 c 844s | 18 | 3262289 | 387352 | 38285 20 | 508 | 1831 848.53/848.88 c 846s | 18 | 3270188 | 388352 | 38285 20 | 508 | 1831 850.83/851.10 c 848s | 18 | 3276203 | 389252 | 38285 20 | 508 | 1831 852.93/853.23 c 850s | 18 | 3282219 | 390152 | 38285 20 | 508 | 1831 855.13/855.40 c 852s | 18 | 3287462 | 390952 | 38285 20 | 508 | 1831 857.23/857.56 c 854s | 18 | 3294541 | 391852 | 38285 20 | 508 | 1831 859.23/859.58 c 856s | 18 | 3302547 | 392752 | 38285 20 | 508 | 1831 861.43/861.79 c 859s | 18 | 3307109 | 393652 | 38285 20 | 508 | 1831 863.63/863.90 c 861s | 18 | 3312847 | 394452 | 38285 20 | 508 | 1831 865.83/866.16 c 863s | 18 | 3320242 | 395352 | 38285 21 | 508 | 1831 867.93/868.20 c 865s | 18 | 3329504 | 396552 | 38285 21 | 508 | 1831 870.03/870.36 c 867s | 18 | 3336228 | 397652 | 38285 21 | 508 | 1831 872.24/872.56 c 869s | 18 | 3344393 | 398752 | 38285 21 | 508 | 1831 874.34/874.64 c 872s | 18 | 3351641 | 399852 | 38285 21 | 508 | 1831 876.44/876.79 c 874s | 18 | 3359652 | 400952 | 38285 21 | 508 | 1831 878.53/878.84 c 876s | 18 | 3367319 | 401952 | 38285 21 | 508 | 1831 880.63/880.95 c 878s | 18 | 3374763 | 403052 | 38285 21 | 508 | 1831 882.73/883.08 c 880s | 18 | 3380936 | 404052 | 38285 21 | 508 | 1831 884.83/885.12 c 882s | 18 | 3386270 | 405052 | 38285 21 | 508 | 1831 886.83/887.16 c 884s | 18 | 3392192 | 405952 | 38285 21 | 508 | 1831 889.03/889.31 c 886s | 18 | 3401205 | 406952 | 38285 21 | 508 | 1831 891.13/891.40 c 888s | 18 | 3408941 | 408052 | 38285 21 | 508 | 1831 893.23/893.55 c 890s | 18 | 3417449 | 409052 | 38285 21 | 508 | 1831 895.23/895.58 c 893s | 18 | 3426258 | 409952 | 38285 21 | 508 | 1831 897.43/897.72 c 895s | 18 | 3434097 | 410952 | 38285 21 | 508 | 1831 899.53/899.89 c 897s | 18 | 3438593 | 411852 | 38285 21 | 508 | 1831 901.73/902.10 c 899s | 18 | 3446992 | 412752 | 38285 21 | 508 | 1831 903.93/904.28 c 901s | 18 | 3455876 | 413752 | 38285 21 | 508 | 1831 906.03/906.35 c 903s | 18 | 3463639 | 414652 | 38285 21 | 508 | 1831 908.23/908.56 c 905s | 18 | 3470600 | 415552 | 38285 21 | 508 | 1831 910.32/910.65 c 908s | 18 | 3476437 | 416352 | 38285 21 | 508 | 1831 912.52/912.84 c 910s | 18 | 3482023 | 417152 | 38285 22 | 508 | 1831 914.73/915.02 c 912s | 18 | 3488851 | 418052 | 38285 22 | 508 | 1831 916.83/917.17 c 914s | 18 | 3495463 | 418952 | 38285 22 | 508 | 1831 918.93/919.21 c 916s | 18 | 3502527 | 419852 | 38285 22 | 508 | 1831 920.93/921.27 c 918s | 18 | 3508425 | 420652 | 38285 22 | 508 | 1831 923.13/923.47 c 920s | 18 | 3517009 | 421652 | 38285 22 | 508 | 1831 925.33/925.67 c 923s | 18 | 3523616 | 422652 | 38285 22 | 508 | 1831 927.53/927.83 c 925s | 18 | 3530821 | 423552 | 38285 22 | 508 | 1831 929.73/930.03 c 927s | 18 | 3536055 | 424352 | 38285 22 | 508 | 1831 931.83/932.12 c 929s | 18 | 3539696 | 425052 | 38285 22 | 508 | 1831 934.03/934.32 c 931s | 18 | 3544073 | 425852 | 38285 22 | 508 | 1831 936.23/936.54 c 933s | 18 | 3547589 | 426452 | 38285 22 | 508 | 1831 938.33/938.60 c 936s | 18 | 3556063 | 427452 | 38285 22 | 508 | 1831 940.53/940.85 c 938s | 18 | 3564225 | 428352 | 38285 22 | 508 | 1831 942.73/943.01 c 940s | 18 | 3569506 | 429152 | 38285 22 | 508 | 1831 944.93/945.23 c 942s | 18 | 3577949 | 430052 | 38285 22 | 508 | 1831 947.23/947.52 c 944s | 18 | 3583648 | 430952 | 38285 22 | 508 | 1831 949.42/949.72 c 947s | 18 | 3587132 | 431452 | 38285 22 | 508 | 1831 951.42/951.73 c 949s | 18 | 3593870 | 432352 | 38285 22 | 508 | 1831 953.53/953.86 c 951s | 18 | 3602386 | 433252 | 38285 22 | 508 | 1831 955.63/955.93 c 953s | 18 | 3608865 | 434052 | 38285 22 | 508 | 1831 957.83/958.14 c 955s | 18 | 3615740 | 434952 | 38285 22 | 508 | 1831 959.92/960.28 c 957s | 18 | 3621463 | 435852 | 38285 22 | 508 | 1831 962.12/962.50 c 959s | 18 | 3626145 | 436652 | 38285 22 | 508 | 1831 964.32/964.68 c 962s | 18 | 3628548 | 437452 | 42114 22 | 508 | 1831 966.42/966.79 c 964s | 18 | 3635043 | 438252 | 42114 22 | 508 | 1831 968.52/968.85 c 966s | 18 | 3640269 | 439052 | 42114 22 | 508 | 1831 970.72/971.01 c 968s | 18 | 3645333 | 439752 | 42114 22 | 508 | 1831 972.92/973.20 c 970s | 18 | 3654696 | 440652 | 42114 22 | 508 | 1831 975.02/975.39 c 972s | 18 | 3663114 | 441652 | 42114 23 | 508 | 1831 977.22/977.57 c 974s | 18 | 3669524 | 442652 | 42114 23 | 508 | 1831 979.32/979.67 c 977s | 18 | 3678521 | 443452 | 42114 23 | 508 | 1831 981.32/981.69 c 979s | 18 | 3686560 | 444252 | 42114 23 | 508 | 1831 981.82/982.16 c 979s | 19 | 3688504 | 444482 | 42114 23 | 508 | 1831 983.92/984.27 c 981s | 19 | 3699767 | 445482 | 42114 23 | 508 | 1831 986.01/986.34 c 983s | 19 | 3705135 | 445982 | 42114 23 | 508 | 1831 988.11/988.44 c 985s | 19 | 3717378 | 447182 | 42114 23 | 508 | 1831 990.31/990.60 c 988s | 19 | 3728413 | 448582 | 42114 23 | 508 | 1831 992.31/992.67 c 990s | 19 | 3736687 | 449682 | 42114 23 | 508 | 1831 994.41/994.74 c 992s | 19 | 3748471 | 450982 | 42114 23 | 508 | 1831 996.51/996.89 c 994s | 19 | 3757115 | 452282 | 42114 23 | 508 | 1831 998.71/999.01 c 996s | 19 | 3762507 | 453082 | 42114 23 | 508 | 1831 1000.72/1001.10 c 998s | 19 | 3770554 | 453882 | 42114 23 | 508 | 1831 1003.02/1003.32 c 1000s | 19 | 3777358 | 454782 | 42114 23 | 508 | 1831 1005.13/1005.43 c 1002s | 19 | 3785049 | 455682 | 42114 23 | 508 | 1831 1007.33/1007.61 c 1005s | 19 | 3793299 | 456582 | 42114 23 | 508 | 1831 1009.32/1009.65 c 1007s | 19 | 3798378 | 457382 | 42114 23 | 508 | 1831 1011.52/1011.86 c 1009s | 19 | 3805309 | 458282 | 42114 23 | 508 | 1831 1013.62/1013.93 c 1011s | 19 | 3812628 | 459182 | 42114 23 | 508 | 1831 1015.72/1016.04 c 1013s | 19 | 3819172 | 460082 | 42114 23 | 508 | 1831 1017.72/1018.08 c 1015s | 19 | 3825269 | 460882 | 42114 23 | 508 | 1831 1019.92/1020.21 c 1017s | 19 | 3832794 | 461782 | 42114 23 | 508 | 1831 1022.01/1022.38 c 1019s | 19 | 3837360 | 462582 | 42114 23 | 508 | 1831 1024.11/1024.49 c 1021s | 19 | 3844558 | 463582 | 42114 23 | 508 | 1831 1026.21/1026.53 c 1023s | 19 | 3850220 | 464382 | 42114 24 | 508 | 1831 1028.32/1028.68 c 1026s | 19 | 3854833 | 465282 | 42114 24 | 508 | 1831 1030.41/1030.79 c 1028s | 19 | 3860734 | 466082 | 42114 24 | 508 | 1831 1032.61/1032.92 c 1030s | 19 | 3868353 | 467082 | 42114 24 | 508 | 1831 1034.81/1035.12 c 1032s | 19 | 3876696 | 468082 | 42114 24 | 508 | 1831 1037.02/1037.30 c 1034s | 19 | 3881487 | 468782 | 42114 24 | 508 | 1831 1039.11/1039.49 c 1036s | 19 | 3888294 | 469682 | 42114 24 | 508 | 1831 1041.21/1041.55 c 1038s | 19 | 3894440 | 470682 | 42114 24 | 508 | 1831 1043.21/1043.59 c 1041s | 19 | 3899589 | 471582 | 42114 24 | 508 | 1831 1045.41/1045.76 c 1043s | 19 | 3905062 | 472582 | 42114 24 | 508 | 1831 1047.41/1047.78 c 1045s | 19 | 3911213 | 473382 | 42114 24 | 508 | 1831 1049.61/1049.99 c 1047s | 19 | 3920538 | 474382 | 42114 24 | 508 | 1831 1051.81/1052.13 c 1049s | 19 | 3927837 | 475382 | 42114 24 | 508 | 1831 1053.90/1054.23 c 1051s | 19 | 3933556 | 476182 | 42114 24 | 508 | 1831 1057.40/1057.71 c 1055s | 19 | 3936757 | 476582 | 42114 24 | 508 | 1831 1059.51/1059.82 c 1057s | 19 | 3946987 | 477482 | 42114 24 | 508 | 1831 1061.61/1061.93 c 1059s | 19 | 3954183 | 478382 | 42114 24 | 508 | 1831 1063.71/1064.03 c 1061s | 19 | 3959255 | 479082 | 42114 24 | 508 | 1831 1065.91/1066.27 c 1063s | 19 | 3963295 | 479782 | 42114 24 | 508 | 1831 1067.92/1068.28 c 1065s | 19 | 3970277 | 480582 | 42114 24 | 508 | 1831 1070.21/1070.57 c 1067s | 19 | 3977995 | 481382 | 42114 24 | 508 | 1831 1072.32/1072.68 c 1070s | 19 | 3983266 | 482082 | 42114 24 | 508 | 1831 1074.41/1074.73 c 1072s | 19 | 3987491 | 482782 | 42114 24 | 508 | 1831 1076.61/1076.92 c 1074s | 19 | 3993403 | 483582 | 42114 24 | 508 | 1831 1078.71/1079.08 c 1076s | 19 | 3998824 | 484282 | 42114 24 | 508 | 1831 1080.81/1081.11 c 1078s | 19 | 4002911 | 484982 | 42114 24 | 508 | 1831 1082.81/1083.11 c 1080s | 19 | 4006541 | 485582 | 42114 24 | 508 | 1831 1084.91/1085.20 c 1082s | 19 | 4012065 | 486282 | 42114 24 | 508 | 1831 1087.00/1087.30 c 1084s | 19 | 4019584 | 487082 | 42114 25 | 508 | 1831 1089.00/1089.36 c 1086s | 19 | 4028865 | 488382 | 42114 25 | 508 | 1831 1091.00/1091.38 c 1088s | 19 | 4038121 | 489282 | 42114 25 | 508 | 1831 1093.01/1093.40 c 1090s | 19 | 4047907 | 490582 | 42114 25 | 508 | 1831 1095.11/1095.47 c 1092s | 19 | 4056393 | 491582 | 42114 25 | 508 | 1831 1097.20/1097.59 c 1095s | 19 | 4064890 | 492682 | 42114 25 | 508 | 1831 1099.40/1099.71 c 1097s | 19 | 4071252 | 493782 | 42114 25 | 508 | 1831 1101.50/1101.86 c 1099s | 19 | 4080768 | 495082 | 42114 25 | 508 | 1831 1103.60/1103.90 c 1101s | 19 | 4090940 | 496282 | 42114 25 | 508 | 1831 1105.70/1106.06 c 1103s | 19 | 4101787 | 497482 | 42114 25 | 508 | 1831 1107.90/1108.28 c 1105s | 19 | 4108693 | 498682 | 42114 25 | 508 | 1831 1109.90/1110.29 c 1107s | 19 | 4115282 | 499682 | 42114 25 | 508 | 1831 1112.10/1112.46 c 1109s | 19 | 4127472 | 500882 | 42114 25 | 508 | 1831 1114.20/1114.52 c 1111s | 19 | 4137993 | 501982 | 42114 25 | 508 | 1831 1116.21/1116.56 c 1113s | 19 | 4147638 | 502982 | 42114 25 | 508 | 1831 1118.30/1118.63 c 1116s | 19 | 4155740 | 503982 | 42114 25 | 508 | 1831 1120.40/1120.76 c 1118s | 19 | 4165253 | 505082 | 42114 25 | 508 | 1831 1122.60/1122.93 c 1120s | 19 | 4174349 | 506182 | 42114 25 | 508 | 1831 1124.60/1124.93 c 1122s | 19 | 4180474 | 507082 | 42114 25 | 508 | 1831 1126.70/1127.07 c 1124s | 19 | 4186748 | 507982 | 42114 25 | 508 | 1831 1128.90/1129.28 c 1126s | 19 | 4195344 | 509082 | 42114 25 | 508 | 1831 1131.00/1131.35 c 1128s | 19 | 4203447 | 509982 | 42114 26 | 508 | 1831 1133.00/1133.35 c 1130s | 19 | 4212458 | 511082 | 42114 26 | 508 | 1831 1135.20/1135.53 c 1132s | 19 | 4222414 | 512382 | 42114 26 | 508 | 1831 1137.30/1137.61 c 1135s | 19 | 4228656 | 513482 | 42114 26 | 508 | 1831 1139.30/1139.64 c 1137s | 19 | 4236761 | 514582 | 42114 26 | 508 | 1831 1141.40/1141.72 c 1139s | 19 | 4246895 | 515782 | 42114 26 | 508 | 1831 1143.50/1143.86 c 1141s | 19 | 4255991 | 516882 | 42114 26 | 508 | 1831 1145.60/1145.93 c 1143s | 19 | 4263204 | 517882 | 42114 26 | 508 | 1831 1147.70/1148.08 c 1145s | 19 | 4270809 | 519082 | 42114 26 | 508 | 1831 1149.80/1150.16 c 1147s | 19 | 4280219 | 520182 | 42114 26 | 508 | 1831 1151.90/1152.28 c 1149s | 19 | 4287281 | 521282 | 42114 26 | 508 | 1831 1154.00/1154.33 c 1151s | 19 | 4293815 | 522282 | 42114 26 | 508 | 1831 1156.00/1156.34 c 1153s | 19 | 4301584 | 523382 | 42114 26 | 508 | 1831 1158.10/1158.43 c 1155s | 19 | 4307644 | 524382 | 42114 26 | 508 | 1831 1160.09/1160.49 c 1157s | 19 | 4313630 | 525482 | 42114 26 | 508 | 1831 1162.19/1162.60 c 1160s | 19 | 4319454 | 526582 | 42114 26 | 508 | 1831 1164.29/1164.69 c 1162s | 19 | 4324197 | 527682 | 42114 26 | 508 | 1831 1166.59/1166.92 c 1164s | 19 | 4329367 | 528682 | 42114 26 | 508 | 1831 1168.59/1168.94 c 1166s | 19 | 4333029 | 529582 | 42114 26 | 508 | 1831 1170.69/1171.05 c 1168s | 19 | 4336688 | 530482 | 42114 26 | 508 | 1831 1172.79/1173.14 c 1170s | 19 | 4340996 | 531382 | 42114 26 | 508 | 1831 1175.29/1175.69 c 1173s | 19 | 4348189 | 532182 | 42114 26 | 508 | 1831 1177.49/1177.85 c 1175s | 19 | 4354938 | 532882 | 42114 27 | 508 | 1831 1180.59/1180.94 c 1178s | 19 | 4361456 | 533782 | 42114 27 | 508 | 1831 1182.68/1183.06 c 1180s | 19 | 4366963 | 534482 | 42114 27 | 508 | 1831 1184.78/1185.11 c 1182s | 19 | 4371897 | 535282 | 42114 27 | 508 | 1831 1186.78/1187.12 c 1184s | 19 | 4377890 | 535982 | 42114 27 | 508 | 1831 1188.90/1189.25 c 1186s | 19 | 4384796 | 536882 | 42114 27 | 508 | 1831 1191.10/1191.44 c 1188s | 19 | 4392707 | 537782 | 42114 27 | 508 | 1831 1193.30/1193.65 c 1191s | 19 | 4398919 | 538682 | 42114 27 | 508 | 1831 1195.40/1195.76 c 1193s | 19 | 4406038 | 539682 | 42114 27 | 508 | 1831 1197.60/1197.92 c 1195s | 19 | 4413842 | 540582 | 42114 27 | 508 | 1831 1199.69/1200.08 c 1197s | 19 | 4418447 | 541382 | 42114 27 | 508 | 1831 1201.79/1202.16 c 1199s | 19 | 4423631 | 542082 | 42114 27 | 508 | 1831 1203.89/1204.26 c 1201s | 19 | 4427866 | 542882 | 42114 27 | 508 | 1831 1206.09/1206.48 c 1203s | 19 | 4432736 | 543682 | 42114 27 | 508 | 1831 1208.29/1208.64 c 1206s | 19 | 4439188 | 544482 | 42114 27 | 508 | 1831 1210.49/1210.86 c 1208s | 19 | 4443519 | 545182 | 42114 27 | 508 | 1831 1212.69/1213.04 c 1210s | 19 | 4449333 | 545982 | 42114 27 | 508 | 1831 1214.69/1215.07 c 1212s | 19 | 4454972 | 546782 | 42114 27 | 508 | 1831 1216.79/1217.12 c 1214s | 19 | 4460306 | 547582 | 42114 27 | 508 | 1831 1218.88/1219.21 c 1216s | 19 | 4466101 | 548282 | 42114 27 | 508 | 1831 1221.08/1221.46 c 1218s | 19 | 4471978 | 549082 | 42114 27 | 508 | 1831 1223.08/1223.49 c 1220s | 19 | 4478538 | 549782 | 42114 27 | 508 | 1831 1225.48/1225.82 c 1223s | 19 | 4484494 | 550582 | 42114 27 | 508 | 1831 1227.78/1228.13 c 1225s | 19 | 4490253 | 551282 | 42114 27 | 508 | 1831 1229.98/1230.32 c 1227s | 19 | 4494536 | 551882 | 42114 27 | 508 | 1831 1232.08/1232.47 c 1229s | 19 | 4500129 | 552682 | 42114 27 | 508 | 1831 1234.18/1234.50 c 1231s | 19 | 4507699 | 553682 | 42114 27 | 508 | 1831 1236.38/1236.78 c 1234s | 19 | 4513293 | 554582 | 42114 27 | 508 | 1831 1238.58/1238.92 c 1236s | 19 | 4518575 | 555382 | 42114 27 | 508 | 1831 1240.59/1240.96 c 1238s | 19 | 4523257 | 556182 | 42114 28 | 508 | 1831 1242.69/1243.06 c 1240s | 19 | 4530520 | 557182 | 42114 28 | 508 | 1831 1244.88/1245.25 c 1242s | 19 | 4537473 | 558182 | 42114 28 | 508 | 1831 1247.28/1247.61 c 1245s | 19 | 4542810 | 558882 | 42114 28 | 508 | 1831 1249.38/1249.76 c 1247s | 19 | 4548409 | 559782 | 42114 28 | 508 | 1831 1251.58/1251.91 c 1249s | 19 | 4554296 | 560882 | 42114 28 | 508 | 1831 1253.78/1254.12 c 1251s | 19 | 4561670 | 562082 | 42114 28 | 508 | 1831 1255.77/1256.13 c 1253s | 19 | 4568463 | 562982 | 42114 28 | 508 | 1831 1257.87/1258.27 c 1255s | 19 | 4575106 | 563982 | 42114 28 | 508 | 1831 1259.97/1260.38 c 1257s | 19 | 4582906 | 564982 | 42114 28 | 508 | 1831 1262.07/1262.44 c 1259s | 19 | 4591203 | 566082 | 42114 28 | 508 | 1831 1264.07/1264.47 c 1261s | 19 | 4595873 | 567282 | 42114 28 | 508 | 1831 1266.17/1266.59 c 1264s | 19 | 4601810 | 568382 | 42114 28 | 508 | 1831 1268.27/1268.64 c 1266s | 19 | 4609348 | 569382 | 42114 28 | 508 | 1831 1270.37/1270.79 c 1268s | 19 | 4620704 | 570482 | 42114 28 | 508 | 1831 1272.48/1272.88 c 1270s | 19 | 4629369 | 571582 | 42114 28 | 508 | 1831 1274.58/1274.97 c 1272s | 19 | 4636218 | 572582 | 42114 28 | 508 | 1831 1276.58/1277.00 c 1274s | 19 | 4641540 | 573682 | 42114 28 | 508 | 1831 1278.68/1279.08 c 1276s | 19 | 4649201 | 574682 | 42114 28 | 508 | 1831 1280.77/1281.13 c 1278s | 19 | 4655966 | 575682 | 42114 28 | 508 | 1831 1282.87/1283.21 c 1280s | 19 | 4661618 | 576682 | 42114 28 | 508 | 1831 1284.87/1285.27 c 1282s | 19 | 4667982 | 577582 | 42114 28 | 508 | 1831 1286.97/1287.35 c 1284s | 19 | 4675036 | 578482 | 42114 29 | 508 | 1831 1288.98/1289.36 c 1286s | 19 | 4681114 | 579482 | 42114 29 | 508 | 1831 1291.08/1291.46 c 1288s | 19 | 4689015 | 580582 | 42114 29 | 508 | 1831 1293.17/1293.50 c 1290s | 19 | 4695888 | 581582 | 42114 29 | 508 | 1831 1295.17/1295.59 c 1293s | 19 | 4702824 | 582582 | 42114 29 | 508 | 1831 1297.37/1297.77 c 1295s | 19 | 4711305 | 583682 | 42114 29 | 508 | 1831 1299.57/1299.93 c 1297s | 19 | 4718669 | 584782 | 42114 29 | 508 | 1831 1301.67/1302.09 c 1299s | 19 | 4725142 | 585582 | 42114 29 | 508 | 1831 1303.77/1304.10 c 1301s | 19 | 4730024 | 586382 | 42114 29 | 508 | 1831 1305.87/1306.29 c 1303s | 19 | 4734204 | 587082 | 42114 29 | 508 | 1831 1308.17/1308.50 c 1305s | 19 | 4740444 | 587882 | 42114 29 | 508 | 1831 1310.37/1310.73 c 1308s | 19 | 4744733 | 588582 | 42114 29 | 508 | 1831 1312.47/1312.85 c 1310s | 19 | 4749182 | 589282 | 42114 29 | 508 | 1831 1314.77/1315.13 c 1312s | 19 | 4755170 | 589982 | 42114 29 | 508 | 1831 1316.76/1317.15 c 1314s | 19 | 4758824 | 590682 | 42114 29 | 508 | 1831 1318.86/1319.25 c 1316s | 19 | 4762213 | 591382 | 42114 29 | 508 | 1831 1320.96/1321.32 c 1318s | 19 | 4766715 | 592082 | 42114 29 | 508 | 1831 1322.97/1323.32 c 1320s | 19 | 4772691 | 592782 | 42114 29 | 508 | 1831 1325.06/1325.46 c 1322s | 19 | 4779254 | 593482 | 42114 29 | 508 | 1831 1327.37/1327.79 c 1325s | 19 | 4784892 | 594182 | 42114 29 | 508 | 1831 1329.46/1329.89 c 1327s | 19 | 4788842 | 594882 | 42114 29 | 508 | 1831 1331.66/1332.06 c 1329s | 19 | 4793815 | 595682 | 42114 29 | 508 | 1831 1333.76/1334.15 c 1331s | 19 | 4798777 | 596582 | 42114 29 | 508 | 1831 1335.86/1336.25 c 1333s | 19 | 4802625 | 597382 | 42114 29 | 508 | 1831 1337.97/1338.38 c 1335s | 19 | 4808788 | 598182 | 42114 29 | 508 | 1831 1340.07/1340.48 c 1337s | 19 | 4815396 | 598982 | 42114 29 | 508 | 1831 1342.27/1342.69 c 1340s | 19 | 4820117 | 599782 | 42114 29 | 508 | 1831 1344.47/1344.83 c 1342s | 19 | 4826412 | 600682 | 42114 29 | 508 | 1831 1346.47/1346.84 c 1344s | 19 | 4830406 | 601382 | 42114 30 | 508 | 1831 1348.46/1348.87 c 1346s | 19 | 4834680 | 602182 | 42114 30 | 508 | 1831 1350.66/1351.02 c 1348s | 19 | 4840488 | 603182 | 42114 30 | 508 | 1831 1352.76/1353.16 c 1350s | 19 | 4845265 | 604182 | 42114 30 | 508 | 1831 1354.97/1355.31 c 1352s | 19 | 4849750 | 605182 | 42114 30 | 508 | 1831 1357.07/1357.44 c 1354s | 19 | 4856815 | 606182 | 42114 30 | 508 | 1831 1359.16/1359.50 c 1356s | 19 | 4862380 | 606982 | 42114 30 | 508 | 1831 1361.36/1361.71 c 1359s | 19 | 4868878 | 607782 | 42114 30 | 508 | 1831 1363.46/1363.88 c 1361s | 19 | 4877220 | 608682 | 42114 30 | 508 | 1831 1365.56/1365.90 c 1363s | 19 | 4883915 | 609582 | 42114 30 | 508 | 1831 1367.66/1368.01 c 1365s | 19 | 4890665 | 610382 | 42114 30 | 508 | 1831 1369.66/1370.02 c 1367s | 19 | 4895939 | 611182 | 42114 30 | 508 | 1831 1371.66/1372.07 c 1369s | 19 | 4901975 | 612082 | 42114 30 | 508 | 1831 1373.86/1374.28 c 1371s | 19 | 4907853 | 612982 | 42114 30 | 508 | 1831 1376.06/1376.44 c 1373s | 19 | 4912185 | 613882 | 42114 30 | 508 | 1831 1378.16/1378.54 c 1375s | 19 | 4917200 | 614582 | 42114 30 | 508 | 1831 1380.27/1380.63 c 1378s | 19 | 4922083 | 615282 | 42114 30 | 508 | 1831 1382.37/1382.77 c 1380s | 19 | 4927698 | 615982 | 42114 30 | 508 | 1831 1384.57/1384.91 c 1382s | 19 | 4932754 | 616782 | 42114 30 | 508 | 1831 1386.56/1386.97 c 1384s | 19 | 4938769 | 617582 | 42114 30 | 508 | 1831 1388.66/1389.09 c 1386s | 19 | 4943066 | 618382 | 42114 30 | 508 | 1831 1390.66/1391.10 c 1388s | 19 | 4948208 | 619182 | 42114 30 | 508 | 1831 1392.76/1393.15 c 1390s | 19 | 4953511 | 619882 | 42114 30 | 508 | 1831 1394.86/1395.28 c 1392s | 19 | 4958186 | 620582 | 42114 30 | 508 | 1831 1397.26/1397.61 c 1395s | 19 | 4963729 | 621282 | 42114 30 | 508 | 1831 1399.36/1399.72 c 1397s | 19 | 4968473 | 621982 | 42114 30 | 508 | 1831 1401.36/1401.72 c 1399s | 19 | 4972689 | 622582 | 42114 30 | 508 | 1831 1403.45/1403.86 c 1401s | 19 | 4975829 | 623282 | 42114 30 | 508 | 1831 1405.46/1405.87 c 1403s | 19 | 4980299 | 624082 | 42114 30 | 508 | 1831 1407.66/1408.06 c 1405s | 19 | 4985959 | 624882 | 42114 31 | 508 | 1831 1409.75/1410.17 c 1407s | 19 | 4990764 | 625782 | 42114 31 | 508 | 1831 1411.95/1412.35 c 1409s | 19 | 4996259 | 626782 | 42114 31 | 508 | 1831 1414.15/1414.56 c 1411s | 19 | 5001439 | 627782 | 42114 31 | 508 | 1831 1416.35/1416.72 c 1414s | 19 | 5008752 | 628882 | 42114 31 | 508 | 1831 1418.45/1418.85 c 1416s | 19 | 5014802 | 629882 | 42114 31 | 508 | 1831 1420.65/1421.02 c 1418s | 19 | 5019115 | 630782 | 42114 31 | 508 | 1831 1426.05/1426.41 c 1423s | 19 | 5020253 | 630982 | 42114 31 | 508 | 1831 1428.15/1428.53 c 1425s | 19 | 5028117 | 632082 | 42114 31 | 508 | 1831 1430.35/1430.71 c 1428s | 19 | 5034400 | 632882 | 42114 31 | 508 | 1831 1432.35/1432.74 c 1430s | 19 | 5043801 | 633882 | 42114 31 | 508 | 1831 1434.45/1434.81 c 1432s | 19 | 5055788 | 634982 | 42114 31 | 508 | 1831 1436.45/1436.84 c 1434s | 19 | 5064132 | 635982 | 42114 31 | 508 | 1831 1438.65/1439.00 c 1436s | 19 | 5074121 | 637082 | 42114 31 | 508 | 1831 1440.66/1441.06 c 1438s | 19 | 5081184 | 637982 | 42114 31 | 508 | 1831 1442.75/1443.17 c 1440s | 19 | 5089807 | 639082 | 42114 31 | 508 | 1831 1444.95/1445.31 c 1442s | 19 | 5099234 | 640282 | 42114 31 | 508 | 1831 1446.95/1447.35 c 1444s | 19 | 5103025 | 641282 | 42114 31 | 508 | 1831 1449.14/1449.55 c 1446s | 19 | 5111311 | 642282 | 42114 31 | 508 | 1831 1451.34/1451.75 c 1449s | 19 | 5119486 | 643282 | 42114 31 | 508 | 1831 1453.44/1453.80 c 1451s | 19 | 5124806 | 644182 | 42114 31 | 508 | 1831 1455.64/1456.01 c 1453s | 19 | 5130446 | 645182 | 42114 31 | 508 | 1831 1457.64/1458.07 c 1455s | 19 | 5136965 | 646082 | 42114 31 | 508 | 1831 1459.95/1460.31 c 1457s | 19 | 5143256 | 646982 | 42114 32 | 508 | 1831 1461.94/1462.38 c 1459s | 19 | 5148168 | 647782 | 42114 32 | 508 | 1831 1463.94/1464.38 c 1461s | 19 | 5152564 | 648682 | 42114 32 | 508 | 1831 1466.14/1466.51 c 1463s | 19 | 5158180 | 649582 | 42114 32 | 508 | 1831 1468.25/1468.67 c 1466s | 19 | 5164289 | 650482 | 42114 32 | 508 | 1831 1470.25/1470.68 c 1468s | 19 | 5173004 | 651482 | 42114 32 | 508 | 1831 1472.45/1472.87 c 1470s | 19 | 5177617 | 652582 | 42114 32 | 508 | 1831 1474.55/1474.93 c 1472s | 19 | 5185980 | 653682 | 42114 32 | 508 | 1831 1479.44/1479.83 c 1477s | 19 | 5195251 | 654682 | 42114 32 | 508 | 1831 1481.45/1481.87 c 1479s | 19 | 5203277 | 655882 | 42114 32 | 508 | 1831 1483.45/1483.90 c 1481s | 19 | 5213393 | 657082 | 42114 32 | 508 | 1831 1485.65/1486.07 c 1483s | 19 | 5220938 | 658282 | 46326 32 | 508 | 1831 1487.74/1488.15 c 1485s | 19 | 5227202 | 659282 | 46326 32 | 508 | 1831 1489.84/1490.24 c 1487s | 19 | 5236805 | 660282 | 46326 32 | 508 | 1831 1491.94/1492.37 c 1489s | 19 | 5244911 | 661382 | 46326 32 | 508 | 1831 1494.04/1494.49 c 1491s | 19 | 5253206 | 662482 | 46326 32 | 508 | 1831 1496.14/1496.53 c 1493s | 19 | 5261121 | 663482 | 46326 32 | 508 | 1831 1498.24/1498.63 c 1496s | 19 | 5267628 | 664382 | 46326 32 | 508 | 1831 1500.34/1500.73 c 1498s | 19 | 5275829 | 665482 | 46326 32 | 508 | 1831 1502.44/1502.84 c 1500s | 19 | 5284732 | 666582 | 46326 32 | 508 | 1831 1502.94/1503.31 c 1500s | 20 | 5286814 | 666827 | 46326 32 | 508 | 1831 1504.94/1505.38 c 1502s | 20 | 5293690 | 667727 | 46326 32 | 508 | 1831 1507.34/1507.76 c 1505s | 20 | 5298614 | 668427 | 46326 32 | 508 | 1831 1509.44/1509.83 c 1507s | 20 | 5301328 | 668927 | 46326 32 | 508 | 1831 1511.54/1512.00 c 1509s | 20 | 5307472 | 669827 | 46326 32 | 508 | 1831 1513.64/1514.08 c 1511s | 20 | 5313556 | 670527 | 46326 32 | 508 | 1831 1515.84/1516.21 c 1513s | 20 | 5319235 | 671227 | 46326 32 | 508 | 1831 1518.04/1518.46 c 1515s | 20 | 5325595 | 671927 | 46326 32 | 508 | 1831 1520.04/1520.47 c 1517s | 20 | 5329893 | 672527 | 46326 32 | 508 | 1831 1522.05/1522.48 c 1519s | 20 | 5333438 | 673127 | 46326 32 | 508 | 1831 1524.14/1524.56 c 1521s | 20 | 5342302 | 673827 | 46326 32 | 508 | 1831 1526.14/1526.58 c 1523s | 20 | 5349944 | 674527 | 46326 33 | 508 | 1831 1528.24/1528.68 c 1526s | 20 | 5357478 | 675427 | 46326 33 | 508 | 1831 1530.34/1530.70 c 1528s | 20 | 5364194 | 676327 | 46326 33 | 508 | 1831 1532.33/1532.76 c 1530s | 20 | 5371178 | 677227 | 46326 33 | 508 | 1831 1534.53/1534.94 c 1532s | 20 | 5377567 | 678127 | 46326 33 | 508 | 1831 1536.73/1537.17 c 1534s | 20 | 5384831 | 679027 | 46326 33 | 508 | 1831 1538.83/1539.26 c 1536s | 20 | 5391172 | 679827 | 46326 33 | 508 | 1831 1540.93/1541.36 c 1538s | 20 | 5396306 | 680627 | 46326 33 | 508 | 1831 1543.04/1543.42 c 1540s | 20 | 5404099 | 681427 | 46326 33 | 508 | 1831 1545.24/1545.66 c 1543s | 20 | 5410412 | 682327 | 46326 33 | 508 | 1831 1547.34/1547.77 c 1545s | 20 | 5416116 | 683127 | 46326 33 | 508 | 1831 1549.64/1550.04 c 1547s | 20 | 5422745 | 684027 | 46326 33 | 508 | 1831 1551.84/1552.27 c 1549s | 20 | 5428238 | 684927 | 46326 33 | 508 | 1831 1554.04/1554.42 c 1551s | 20 | 5432862 | 685627 | 46326 33 | 508 | 1831 1556.24/1556.65 c 1554s | 20 | 5438712 | 686327 | 46326 33 | 508 | 1831 1558.34/1558.79 c 1556s | 20 | 5443195 | 686927 | 46326 33 | 508 | 1831 1560.64/1561.04 c 1558s | 20 | 5449426 | 687627 | 46326 33 | 508 | 1831 1562.63/1563.05 c 1560s | 20 | 5452396 | 688127 | 46326 33 | 508 | 1831 1564.83/1565.29 c 1562s | 20 | 5456638 | 688727 | 46326 33 | 508 | 1831 1567.03/1567.46 c 1564s | 20 | 5467065 | 689527 | 46326 33 | 508 | 1831 1569.33/1569.71 c 1567s | 20 | 5475071 | 690427 | 46326 33 | 508 | 1831 1571.33/1571.77 c 1569s | 20 | 5480825 | 691127 | 46326 33 | 508 | 1831 1573.52/1573.98 c 1571s | 20 | 5486126 | 691827 | 46326 33 | 508 | 1831 1575.72/1576.16 c 1573s | 20 | 5492457 | 692527 | 46326 33 | 508 | 1831 1577.83/1578.21 c 1575s | 20 | 5499161 | 693327 | 46326 33 | 508 | 1831 1579.93/1580.38 c 1577s | 20 | 5505162 | 694127 | 46326 33 | 508 | 1831 1582.03/1582.41 c 1579s | 20 | 5510682 | 694827 | 46326 33 | 508 | 1831 1584.03/1584.41 c 1581s | 20 | 5516500 | 695527 | 46326 33 | 508 | 1831 1586.13/1586.51 c 1583s | 20 | 5522985 | 696327 | 46326 33 | 508 | 1831 1588.14/1588.54 c 1585s | 20 | 5530647 | 697127 | 46326 33 | 508 | 1831 1590.34/1590.77 c 1588s | 20 | 5535767 | 697927 | 46326 33 | 508 | 1831 1592.44/1592.82 c 1590s | 20 | 5540728 | 698527 | 46326 33 | 508 | 1831 1594.73/1595.12 c 1592s | 20 | 5547706 | 699227 | 46326 33 | 508 | 1831 1596.83/1597.24 c 1594s | 20 | 5555200 | 700127 | 46326 34 | 508 | 1831 1598.93/1599.33 c 1596s | 20 | 5563776 | 701027 | 46326 34 | 508 | 1831 1601.13/1601.54 c 1598s | 20 | 5570967 | 702027 | 46326 34 | 508 | 1831 1603.33/1603.71 c 1601s | 20 | 5577644 | 703027 | 46326 34 | 508 | 1831 1605.42/1605.89 c 1603s | 20 | 5585334 | 703927 | 46326 34 | 508 | 1831 1607.62/1608.02 c 1605s | 20 | 5595306 | 704927 | 46326 34 | 508 | 1831 1609.83/1610.20 c 1607s | 20 | 5605727 | 706127 | 46326 34 | 508 | 1831 1612.02/1612.46 c 1609s | 20 | 5614869 | 707127 | 46326 34 | 508 | 1831 1614.22/1614.64 c 1612s | 20 | 5620855 | 708127 | 46326 34 | 508 | 1831 1616.32/1616.77 c 1614s | 20 | 5630739 | 709227 | 46326 34 | 508 | 1831 1618.52/1618.99 c 1616s | 20 | 5638401 | 710227 | 46326 34 | 508 | 1831 1620.72/1621.14 c 1618s | 20 | 5646753 | 711127 | 46326 34 | 508 | 1831 1622.82/1623.26 c 1620s | 20 | 5652718 | 711927 | 46326 34 | 508 | 1831 1624.92/1625.36 c 1622s | 20 | 5659530 | 712627 | 46326 34 | 508 | 1831 1627.02/1627.40 c 1624s | 20 | 5666689 | 713527 | 46326 34 | 508 | 1831 1629.22/1629.65 c 1627s | 20 | 5671307 | 714327 | 46326 34 | 508 | 1831 1631.42/1631.83 c 1629s | 20 | 5679465 | 715327 | 46326 34 | 508 | 1831 1633.62/1634.02 c 1631s | 20 | 5685589 | 716227 | 46326 34 | 508 | 1831 1635.62/1636.07 c 1633s | 20 | 5692186 | 717127 | 46326 34 | 508 | 1831 1637.72/1638.11 c 1635s | 20 | 5697008 | 718027 | 46326 34 | 508 | 1831 1639.73/1640.15 c 1637s | 20 | 5702717 | 718827 | 46326 34 | 508 | 1831 1641.82/1642.21 c 1639s | 20 | 5711214 | 719727 | 46326 34 | 508 | 1831 1643.91/1644.39 c 1641s | 20 | 5716551 | 720527 | 46326 34 | 508 | 1831 1646.32/1646.78 c 1644s | 20 | 5724426 | 721527 | 46326 34 | 508 | 1831 1648.52/1648.95 c 1646s | 20 | 5733308 | 722627 | 46326 34 | 508 | 1831 1650.51/1650.96 c 1648s | 20 | 5738431 | 723527 | 46326 34 | 508 | 1831 1652.92/1653.31 c 1650s | 20 | 5745370 | 724327 | 46326 35 | 508 | 1831 1655.01/1655.41 c 1652s | 20 | 5754496 | 725227 | 46326 35 | 508 | 1831 1657.62/1658.01 c 1655s | 20 | 5763665 | 726227 | 46326 35 | 508 | 1831 1659.72/1660.14 c 1657s | 20 | 5770199 | 727127 | 46326 35 | 508 | 1831 1663.01/1663.42 c 1660s | 20 | 5772554 | 727527 | 46326 35 | 508 | 1831 1665.12/1665.55 c 1662s | 20 | 5778463 | 728527 | 46326 35 | 508 | 1831 1667.32/1667.74 c 1665s | 20 | 5787481 | 729527 | 46326 35 | 508 | 1831 1669.31/1669.79 c 1667s | 20 | 5796211 | 730527 | 46326 35 | 508 | 1831 1671.51/1671.91 c 1669s | 20 | 5802460 | 731527 | 46326 35 | 508 | 1831 1673.61/1674.02 c 1671s | 20 | 5809721 | 732527 | 46326 35 | 508 | 1831 1675.72/1676.19 c 1673s | 20 | 5817526 | 733527 | 46326 35 | 508 | 1831 1677.82/1678.28 c 1675s | 20 | 5823356 | 734527 | 46326 35 | 508 | 1831 1679.92/1680.38 c 1677s | 20 | 5828820 | 735427 | 46326 35 | 508 | 1831 1682.12/1682.53 c 1679s | 20 | 5834280 | 736327 | 46326 35 | 508 | 1831 1684.11/1684.58 c 1681s | 20 | 5841016 | 737327 | 46326 35 | 508 | 1831 1686.31/1686.76 c 1684s | 20 | 5849123 | 738227 | 46326 35 | 508 | 1831 1688.51/1688.91 c 1686s | 20 | 5856392 | 739027 | 46326 35 | 508 | 1831 1690.71/1691.11 c 1688s | 20 | 5863650 | 739927 | 46326 35 | 508 | 1831 1692.71/1693.18 c 1690s | 20 | 5871222 | 740827 | 46326 35 | 508 | 1831 1694.72/1695.20 c 1692s | 20 | 5879381 | 741827 | 46326 35 | 508 | 1831 1696.81/1697.23 c 1694s | 20 | 5886202 | 742627 | 46326 35 | 508 | 1831 1698.91/1699.34 c 1696s | 20 | 5893496 | 743527 | 46326 35 | 508 | 1831 1701.01/1701.40 c 1698s | 20 | 5898747 | 744327 | 46326 35 | 508 | 1831 1703.21/1703.60 c 1701s | 20 | 5905861 | 745327 | 46326 35 | 508 | 1831 1705.21/1705.66 c 1703s | 20 | 5913320 | 746227 | 46326 35 | 508 | 1831 1707.31/1707.79 c 1705s | 20 | 5917481 | 746927 | 46326 35 | 508 | 1831 1709.41/1709.87 c 1707s | 20 | 5923497 | 747627 | 46326 35 | 508 | 1831 1711.51/1711.98 c 1709s | 20 | 5931847 | 748427 | 46326 35 | 508 | 1831 1713.61/1714.05 c 1711s | 20 | 5938480 | 749227 | 46326 35 | 508 | 1831 1715.61/1716.06 c 1713s | 20 | 5942036 | 749927 | 46326 36 | 508 | 1831 1717.70/1718.16 c 1715s | 20 | 5950688 | 750927 | 46326 36 | 508 | 1831 1719.90/1720.32 c 1717s | 20 | 5958482 | 751927 | 46326 36 | 508 | 1831 1722.01/1722.40 c 1719s | 20 | 5962336 | 752727 | 46326 36 | 508 | 1831 1724.01/1724.44 c 1721s | 20 | 5971736 | 753727 | 46326 36 | 508 | 1831 1726.00/1726.48 c 1723s | 20 | 5979876 | 754727 | 46326 36 | 508 | 1831 1728.10/1728.59 c 1726s | 20 | 5987147 | 755727 | 46326 36 | 508 | 1831 1730.40/1730.81 c 1728s | 20 | 5995157 | 756727 | 46326 36 | 508 | 1831 1732.50/1732.94 c 1730s | 20 | 6003859 | 757827 | 46326 36 | 508 | 1831 1734.70/1735.16 c 1732s | 20 | 6010398 | 758827 | 46326 36 | 508 | 1831 1736.90/1737.33 c 1734s | 20 | 6020534 | 759927 | 46326 36 | 508 | 1831 1738.90/1739.38 c 1736s | 20 | 6026641 | 760927 | 46326 36 | 508 | 1831 1741.10/1741.54 c 1738s | 20 | 6033689 | 761827 | 46326 36 | 508 | 1831 1743.11/1743.56 c 1740s | 20 | 6040968 | 762727 | 46326 36 | 508 | 1831 1745.31/1745.74 c 1743s | 20 | 6049518 | 763627 | 46326 36 | 508 | 1831 1747.51/1747.96 c 1745s | 20 | 6058727 | 764527 | 46326 36 | 508 | 1831 1749.71/1750.20 c 1747s | 20 | 6066233 | 765427 | 46326 36 | 508 | 1831 1751.91/1752.40 c 1749s | 20 | 6074744 | 766427 | 46326 36 | 508 | 1831 1754.00/1754.48 c 1751s | 20 | 6082661 | 767227 | 46326 36 | 508 | 1831 1756.10/1756.53 c 1753s | 20 | 6089924 | 768027 | 46326 36 | 508 | 1831 1758.20/1758.68 c 1756s | 20 | 6099002 | 768827 | 46326 36 | 508 | 1831 1760.30/1760.76 c 1758s | 20 | 6107455 | 769627 | 46326 36 | 508 | 1831 1762.40/1762.87 c 1760s | 20 | 6113491 | 770427 | 46326 36 | 508 | 1831 1764.50/1764.98 c 1762s | 20 | 6119997 | 771127 | 46326 36 | 508 | 1831 1766.60/1767.03 c 1764s | 20 | 6124663 | 771727 | 46326 36 | 508 | 1831 1768.70/1769.11 c 1766s | 20 | 6133163 | 772527 | 46326 36 | 508 | 1831 1770.70/1771.14 c 1768s | 20 | 6142038 | 773327 | 46326 36 | 508 | 1831 1772.80/1773.20 c 1770s | 20 | 6150307 | 774127 | 46326 36 | 508 | 1831 1775.00/1775.43 c 1772s | 20 | 6159124 | 775027 | 46326 37 | 508 | 1831 1778.20/1778.60 c 1776s | 20 | 6168189 | 775927 | 46326 37 | 508 | 1831 1780.40/1780.80 c 1778s | 20 | 6176766 | 777027 | 46326 37 | 508 | 1831 1782.50/1782.95 c 1780s | 20 | 6184870 | 778027 | 46326 37 | 508 | 1831 1784.49/1784.97 c 1782s | 20 | 6190196 | 778727 | 46326 37 | 508 | 1831 1786.59/1787.05 c 1784s | 20 | 6198508 | 779727 | 46326 37 | 508 | 1831 1788.69/1789.14 c 1786s | 20 | 6207159 | 780827 | 46326 37 | 508 | 1831 1790.69/1791.16 c 1788s | 20 | 6214777 | 781827 | 46326 37 | 508 | 1831 1792.70/1793.18 c 1790s | 20 | 6221795 | 782827 | 46326 37 | 508 | 1831 1794.91/1795.36 c 1792s | 20 | 6232299 | 783927 | 46326 37 | 508 | 1831 1797.01/1797.45 c 1794s | 20 | 6241088 | 784927 | 46326 37 | 508 | 1831 1799.00/1799.48 c 1796s | 20 | 6249454 | 785927 | 46326 37 | 508 | 1831
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-4079841-1465250078/watcher-4079841-1465250078 -o /tmp/evaluation-result-4079841-1465250078/solver-4079841-1465250078 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079841-1465250078.opb pid=8290 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.06 2.01 3/179 8293 /proc/meminfo: memFree=30624240/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=661948 CPUtime=0 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 2456 0 0 0 0 0 0 0 20 0 4 0 106942459 677834752 3327 33554432000 4194304 16246674 140734590450832 140734590450256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 165999 3335 441 2943 0 162893 0 [pid=8293/tid=8294] ppid=8290 vsize=680380 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 696709120 3401 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=685500 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 701952000 3418 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 706146304 3434 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.08 2.06 2.01 3/179 8293 /proc/meminfo: memFree=30624240/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 28483 0 0 0 6 3 0 0 20 0 4 0 106942459 1249447936 29292 33554432000 4194304 16246674 140734590450832 140734590450144 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 305041 29292 800 2943 0 301935 0 [pid=8293/tid=8294] ppid=8290 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1249447936 29292 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1249447936 29292 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1249447936 29292 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200531 s] /proc/loadavg: 2.08 2.06 2.01 3/179 8293 /proc/meminfo: memFree=30624240/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1301060 CPUtime=0.18 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 48716 0 0 0 12 6 0 0 20 0 4 0 106942459 1332285440 49525 33554432000 4194304 16246674 140734590450832 140734590448640 6973253 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 325265 49525 834 2943 0 322159 0 [pid=8293/tid=8294] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 49525 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 49525 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 49525 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1301060 [startup+0.300487 s] /proc/loadavg: 2.08 2.06 2.01 3/179 8293 /proc/meminfo: memFree=30624240/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1301060 CPUtime=0.28 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 53956 0 0 0 21 7 0 0 20 0 4 0 106942459 1332285440 54765 33554432000 4194304 16246674 140734590450832 140734590448640 5589988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 325265 54772 838 2943 0 322159 0 [pid=8293/tid=8294] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 54777 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 54783 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1332285440 54788 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1301060 [startup+0.70041 s] /proc/loadavg: 2.08 2.06 2.01 3/179 8293 /proc/meminfo: memFree=30624240/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 65337 0 0 0 60 9 0 0 20 0 4 0 106942459 1343819776 66146 33554432000 4194304 16246674 140734590450832 140734590450144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 66146 910 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 66146 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 66146 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 66146 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50041 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8297 /proc/meminfo: memFree=30330472/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=1.48 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 110112 0 0 0 133 15 0 0 20 0 4 0 106942459 1343819776 110921 33554432000 4194304 16246674 140734590450832 140734590432704 5523709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 110926 910 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 110929 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 110935 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 110939 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1312324 [startup+3.1004 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8297 /proc/meminfo: memFree=29595524/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=3.09 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 269287 0 0 0 273 36 0 0 20 0 4 0 106942459 1343819776 270096 33554432000 4194304 16246674 140734590450832 140734590432704 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 270096 910 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270096 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270096 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270096 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1312324 [startup+6.30041 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8297 /proc/meminfo: memFree=29544444/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=6.28 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 269291 0 0 0 592 36 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140734590432704 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 270100 914 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.07 2.06 2.01 3/183 8297 /proc/meminfo: memFree=29544620/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 269291 0 0 0 1232 37 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140734590432704 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 270100 914 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8297 /proc/meminfo: memFree=29544836/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=25.49 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 269291 0 0 0 2512 37 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140734590432704 12467404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 270100 914 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.03 2.05 2.00 3/183 8297 /proc/meminfo: memFree=29544844/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 269291 0 0 0 5071 37 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140734590432704 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 328081 270100 914 2943 0 324975 0 [pid=8293/tid=8294] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1343819776 270100 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.301 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8298 /proc/meminfo: memFree=29517852/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1338948 CPUtime=102.28 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 275947 0 0 0 10189 39 0 0 20 0 4 0 106942459 1371082752 276756 33554432000 4194304 16246674 140734590450832 140734590432704 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 334737 276756 914 2943 0 331631 0 [pid=8293/tid=8294] ppid=8290 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1371082752 276756 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1371082752 276756 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1371082752 276756 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1338948 ################ # More data... # ################ /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1372740 [startup+1302.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 8449 /proc/meminfo: memFree=29537336/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1301.97 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 130103 94 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590449928 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1372740 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8450 /proc/meminfo: memFree=29536872/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1361.96 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 136100 96 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1372740 [startup+1422.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 8452 /proc/meminfo: memFree=29532888/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1421.95 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 142097 98 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590450008 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1372740 [startup+1482.3 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8453 /proc/meminfo: memFree=29532248/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1481.95 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 148077 118 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 6845877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1372740 [startup+1542.31 s] /proc/loadavg: 2.10 2.07 2.01 3/184 8457 /proc/meminfo: memFree=29532596/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1541.94 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 154074 120 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 5711518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1372740 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8458 /proc/meminfo: memFree=29532888/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1601.93 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 160072 121 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 12478324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1372740 [startup+1662.3 s] /proc/loadavg: 2.09 2.07 2.01 3/183 8459 /proc/meminfo: memFree=29533104/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1661.92 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 166065 127 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590450008 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1372740 [startup+1722.3 s] /proc/loadavg: 2.10 2.07 2.01 3/183 8461 /proc/meminfo: memFree=29533080/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1721.91 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 172061 130 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1372740 [startup+1782.3 s] /proc/loadavg: 2.08 2.07 2.00 3/183 8462 /proc/meminfo: memFree=29533180/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1781.9 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 178058 132 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 5711580 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1372740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.06 2.06 2.00 3/183 8463 /proc/meminfo: memFree=29532816/32872528 swapFree=11372/178980 [pid=8293] ppid=8290 vsize=1372740 CPUtime=1800 cores=0,2,4,6 /proc/8293/stat : 8293 (toysat) R 8290 8293 4590 0 -1 4202496 284634 0 0 0 179867 133 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140734590432704 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8293/statm: 343185 285208 915 2943 0 340079 0 [pid=8293/tid=8294] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8294/stat : 8294 (toysat) S 8290 8293 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082830879984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8293/tid=8295] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8295/stat : 8295 (toysat) S 8290 8293 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082820390128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8293/tid=8296] ppid=8290 vsize=1372740 CPUtime=0 cores=0,2,4,6 /proc/8293/task/8296/stat : 8296 (toysat) S 8290 8293 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106942459 1405685760 285208 33554432000 4194304 16246674 140734590450832 140082707164336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1372740 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 8293 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.01 CPU user time (s): 1798.68 CPU system time (s): 1.3318 CPU usage (%): 99.9778 Max. virtual memory (cumulated for all children) (KiB): 1372740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.68 system time used= 1.3318 maximum resident set size= 1140832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284634 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= 252 involuntary context switches= 1847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5713 second user time and 6.94994 second system time The end
Begin job on node105 at 2016-06-06 23:54:38 IDJOB=4079841 IDBENCH=24999 IDSOLVER=2542 FILE ID=node105/4079841-1465250078 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_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-4079841-1465250078/watcher-4079841-1465250078 -o /tmp/evaluation-result-4079841-1465250078/solver-4079841-1465250078 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079841-1465250078.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=900802449 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30625404 kB Buffers: 56776 kB Cached: 144060 kB SwapCached: 1756 kB Active: 1265288 kB Inactive: 100968 kB Active(anon): 1166044 kB Inactive(anon): 1508 kB Active(file): 99244 kB Inactive(file): 99460 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 16728 kB Writeback: 0 kB AnonPages: 1458004 kB Mapped: 10924 kB Shmem: 0 kB Slab: 569692 kB SReclaimable: 13324 kB SUnreclaim: 556368 kB KernelStack: 1520 kB PageTables: 6396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1489688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1439744 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= 71712 MiB End job on node105 at 2016-06-07 00:24:39