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.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb |
| MD5SUM | ad6a54c52a655cd32798948a75156c0a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 0.180972 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14 |
| Optimality of the best value was proved | YES |
| Number of variables | 372 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 372 |
| Biggest coefficient in the objective function | 38551 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 524556 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262142 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524556 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T02:29:08+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-4099977-1466209748.opb"] 0.00/0.01 c use --random-gen="3900493470 1643151434 711221365 2073055027 1980417234 963262686 1353417717 1328237378 3415435588 4158338794 3937014425 4205931669 1313165143 2607455666 2206527530 725872201 2586360618 4253089013 2550508352 1833405634 927963733 3432574267 3020274264 1709329996 3092290423 1760841587 3025355020 2364313221 4143090350 3934698758 3031264993 2758600403 2552197722 926477165 547241495 2154104919 1865629742 1659902780 3308962408 3782747460 1904560822 2673808757 4207120057 88248825 1266899591 3512257050 3653954263 2801875060 1467138292 344846971 2002166012 3134771866 1741079618 184703322 4223249241 1044997499 355332747 1169078997 613727976 2205506971 3634606660 2193233773 3737612470 498704908 668816075 1812337770 2662305283 2163842928 415634094 1181577564 2272207631 3397476337 3791696590 186746750 123405179 1841423150 4147156763 484742210 194014592 782089824 4041227614 2202952336 545476822 3685071235 2164468198 3068934657 2863269885 714745709 1728544036 450605570 1125401307 619151667 786390329 2432237470 497113834 1620819023 3294391341 294105641 3528146201 3429097318 530471007 4222593636 527176366 2663448003 903095248 3568258284 2044531950 1866571865 3965172873 1917635240 1892687778 2901576887 3156629946 2632544624 1832023975 4246151922 828401397 79009090 2471482149 3534753932 1898712520 3133160724 4284384553 1742149355 3342426893 1314014339 1691071526 3616489247 702687485 3520291914 372185017 1769996510 1224419561 587056103 3463302332 1120027984 456285643 1931288447 416509540 3315573541 293981901 1892311908 2205136212 3723665159 3691013819 3945758040 3443904406 1173161762 3989109587 908494056 3839007055 2605086880 209217435 1505536679 2108426745 883849681 195555078 2980839674 621355437 2381812122 667795743 75364951 2089970532 2256846241 4256525080 409365976 279504453 1300569765 602219327 3496510751 1500385390 968620218 1767634623 3762631873 2421346098 2786391639 1987623369 4067570049 3074541340 1908222527 4031203317 455804722 214786369 3701602319 2991650710 3922726812 3832536199 2168166905 34145925 1220983410 3593731958 1848026944 2612300570 2824041251 3100550846 2241476846 902648717 153851417 4067406 1119667674 4147104281 113130592 3489734708 3112061271 1362777909 1959615575 2134184210 3683076388 4288485983 2214020323 2925516514 4090663150 85397470 423019320 2164395438 805608026 485657038 184121373 1788024354 1863941520 3068689664 3769705852 2980963047 3413987944 1499050704 28645488 3001224932 1316904834 111290565 2281160792 1094206367 2238511641 1613612244 75342585 2251905869 2193439328 2861762421 2871685677 3394833998 2939170201 680984217 4234616496 1701391938 2631906355 3152418024 355689977 3007710745 714995741 3682260130 2320962223 487852825 1810159450 965444819 3951457314 620685522 1314974980 255 362436" option to reproduce the execution 0.00/0.01 c #vars 372 0.00/0.01 c #constraints 19 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 132 0 | 182 | 0 0.00/0.04 c 0.0s | 1 | 121 | 100 | 132 0 | 182 | 0 0.00/0.06 c 0.0s | 1 | 239 | 167 | 146 0 | 182 | 0 0.00/0.06 c #cpu_time = 0.042s 0.00/0.06 c #wall_clock_time = 0.042s 0.00/0.06 c #decision = 239 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 167 0.00/0.06 c #restart = 1 0.00/0.06 o 23 0.00/0.06 c BCD2: hardening fixes 125 literals 0.00/0.06 c BCD2: updating upper bound: 524556 -> 22 0.00/0.06 c BCD2: 0 <= obj <= 22 0.00/0.06 c BCD2: #cores=0, #unrelaxed=247, #relaxed=0, #hardened=125 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.06 c 0.0s | 0 | 4 | 1 | 146 0 | 182 | 0 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 4 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to 1 0.00/0.06 c BCD2: 1 <= obj <= 22 0.00/0.06 c BCD2: #cores=1, #unrelaxed=244, #relaxed=3, #hardened=125 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.06 c 0.0s | 0 | 5 | 1 | 146 0 | 182 | 0 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 5 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.06 c lower bound updated to 2 0.00/0.06 c BCD2: 2 <= obj <= 22 0.00/0.06 c BCD2: #cores=2, #unrelaxed=241, #relaxed=6, #hardened=125 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.07 c 0.0s | 0 | 6 | 1 | 146 0 | 182 | 0 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 6 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.07 c lower bound updated to 3 0.00/0.07 c BCD2: 3 <= obj <= 22 0.00/0.07 c BCD2: #cores=3, #unrelaxed=238, #relaxed=9, #hardened=125 0.00/0.07 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.07 c 0.0s | 0 | 6 | 1 | 146 0 | 182 | 0 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 6 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.07 c lower bound updated to 4 0.00/0.07 c BCD2: hardening fixes 1 literals 0.00/0.07 c BCD2: 4 <= obj <= 22 0.00/0.07 c BCD2: #cores=4, #unrelaxed=234, #relaxed=12, #hardened=126 0.00/0.07 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.07 c 0.0s | 0 | 58 | 1 | 146 0 | 182 | 0 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 58 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 39: cost of the new core is >=1 0.00/0.07 c lower bound updated to 5 0.00/0.07 c BCD2: 5 <= obj <= 22 0.00/0.07 c BCD2: #cores=5, #unrelaxed=195, #relaxed=51, #hardened=126 0.00/0.07 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.07 c 0.0s | 0 | 67 | 1 | 146 0 | 182 | 0 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 67 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 40: cost of the new core is >=1 0.00/0.07 c lower bound updated to 6 0.00/0.07 c BCD2: 6 <= obj <= 22 0.00/0.07 c BCD2: #cores=6, #unrelaxed=155, #relaxed=91, #hardened=126 0.00/0.07 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.07 c 0.0s | 0 | 73 | 0 | 146 0 | 182 | 0 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 73 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 42: cost of the new core is >=1 0.00/0.07 c lower bound updated to 7 0.00/0.07 c BCD2: hardening fixes 8 literals 0.00/0.07 c BCD2: 7 <= obj <= 22 0.00/0.07 c BCD2: #cores=7, #unrelaxed=105, #relaxed=133, #hardened=134 0.00/0.07 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.08 c 0.0s | 0 | 62 | 0 | 146 0 | 182 | 0 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 62 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 41: cost of the new core is >=1 0.00/0.08 c lower bound updated to 8 0.00/0.08 c BCD2: 8 <= obj <= 22 0.00/0.08 c BCD2: #cores=8, #unrelaxed=64, #relaxed=174, #hardened=134 0.00/0.08 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 146 0 | 182 | 0 0.00/0.09 c 0.0s | 0 | 197 | 85 | 161 0 | 182 | 0 0.00/0.09 c #cpu_time = 0.016s 0.00/0.09 c #wall_clock_time = 0.016s 0.00/0.09 c #decision = 197 0.00/0.09 c #random_decision = 1 0.00/0.09 c #conflict = 85 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 45: cost of the new core is >=2 0.00/0.09 c lower bound updated to 9 0.00/0.09 c BCD2: 9 <= obj <= 22 0.00/0.09 c BCD2: #cores=8, #unrelaxed=61, #relaxed=177, #hardened=134 0.00/0.09 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 161 0 | 183 | 0 0.09/0.11 c 0.0s | 1 | 154 | 100 | 161 0 | 183 | 1 0.09/0.15 c 0.1s | 2 | 417 | 250 | 178 0 | 183 | 1 0.19/0.22 c 0.1s | 3 | 983 | 475 | 178 1 | 183 | 1 0.29/0.33 c 0.2s | 4 | 2051 | 813 | 196 3 | 183 | 1 0.38/0.48 c 0.4s | 5 | 3286 | 1320 | 216 5 | 183 | 1 0.58/0.68 c 0.6s | 6 | 4792 | 2081 | 238 8 | 183 | 1 0.89/0.91 c 0.8s | 7 | 6526 | 3223 | 262 12 | 183 | 1 1.19/1.27 c 1.2s | 8 | 9967 | 4936 | 289 18 | 183 | 1 1.69/1.70 c 1.6s | 9 | 16033 | 7506 | 318 28 | 183 | 1 2.30/2.38 c 2.3s | 10 | 23622 | 11361 | 350 41 | 183 | 1 3.30/3.32 c 3.2s | 11 | 33249 | 17144 | 386 60 | 183 | 1 4.79/4.80 c 4.7s | 12 | 46054 | 25819 | 425 86 | 183 | 1 6.79/6.81 c 6.7s | 12 | 64194 | 37119 | 425 119 | 183 | 1 7.09/7.13 c 7.0s | 13 | 66414 | 38832 | 468 124 | 183 | 1 9.09/9.15 c 9.1s | 13 | 84283 | 49632 | 468 155 | 183 | 1 10.69/10.73 c 10.6s | 14 | 98026 | 58352 | 515 180 | 183 | 1 12.69/12.75 c 12.7s | 14 | 113136 | 69052 | 515 208 | 183 | 1 14.69/14.76 c 14.7s | 14 | 128362 | 79352 | 515 234 | 183 | 1 16.19/16.28 c 16.2s | 15 | 140237 | 87632 | 567 255 | 183 | 1 18.19/18.28 c 18.2s | 15 | 156583 | 98832 | 567 282 | 183 | 1 20.18/20.28 c 20.2s | 15 | 173913 | 108632 | 567 306 | 183 | 1 22.18/22.29 c 22.2s | 15 | 190334 | 119432 | 567 334 | 183 | 1 24.19/24.30 c 24.2s | 15 | 202964 | 128832 | 567 358 | 183 | 1 24.78/24.82 c 24.7s | 16 | 207406 | 131552 | 624 365 | 183 | 1 26.78/26.82 c 26.7s | 16 | 221818 | 141752 | 624 390 | 183 | 1 28.78/28.82 c 28.7s | 16 | 236566 | 151752 | 624 415 | 183 | 1 30.79/30.82 c 30.7s | 16 | 250961 | 161052 | 624 438 | 183 | 1 32.78/32.83 c 32.7s | 16 | 264528 | 171452 | 624 464 | 183 | 1 34.78/34.83 c 34.7s | 16 | 276168 | 180752 | 624 487 | 183 | 1 36.78/36.83 c 36.7s | 16 | 290901 | 190752 | 624 513 | 183 | 1 38.28/38.30 c 38.2s | 17 | 300181 | 197432 | 687 530 | 183 | 1 40.28/40.31 c 40.2s | 17 | 313732 | 206932 | 687 552 | 183 | 1 42.28/42.32 c 42.2s | 17 | 327027 | 216132 | 687 573 | 183 | 1 42.58/42.60 c 42.5s | 17 | 328825 | 217185 | 687 576 | 183 | 1 42.58/42.60 c #cpu_time = 42.509s 42.58/42.60 c #wall_clock_time = 42.507s 42.58/42.60 c #decision = 328825 42.58/42.60 c #random_decision = 1181 42.58/42.60 c #conflict = 217185 42.58/42.60 c #restart = 17 42.58/42.60 c BCD2: relaxing 13 and merging with 7 cores into a new core of size 187: cost of the new core is >=9 42.58/42.60 c lower bound updated to 10 42.58/42.60 c BCD2: 10 <= obj <= 22 42.58/42.60 c BCD2: #cores=2, #unrelaxed=48, #relaxed=190, #hardened=134 42.58/42.60 c BCD2: #sat=1 #unsat=11 bias=11/12 42.58/42.60 c Solving starts ... 42.58/42.60 c ============================[ Search Statistics ]============================ 42.58/42.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 42.58/42.60 c | | | | Limit GC | Var | Constra 42.58/42.60 c ============================================================================= 42.58/42.60 c 0.0s | 0 | 0 | 0 | 687 0 | 190 | 1 42.58/42.61 c 0.0s | 0 | 111 | 0 | 687 0 | 190 | 8 42.58/42.61 c #cpu_time = 0.007s 42.58/42.61 c #wall_clock_time = 0.007s 42.58/42.61 c #decision = 111 42.58/42.61 c #random_decision = 0 42.58/42.61 c #conflict = 0 42.58/42.61 c #restart = 0 42.58/42.61 o 19 42.58/42.61 c BCD2: hardening fixes 4 literals 42.58/42.61 c BCD2: updating upper bound: 22 -> 18 42.58/42.61 c BCD2: 10 <= obj <= 18 42.58/42.61 c BCD2: #cores=2, #unrelaxed=44, #relaxed=190, #hardened=138 42.58/42.61 c BCD2: #sat=2 #unsat=11 bias=11/13 42.58/42.61 c Solving starts ... 42.58/42.61 c ============================[ Search Statistics ]============================ 42.58/42.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 42.58/42.61 c | | | | Limit GC | Var | Constra 42.58/42.61 c ============================================================================= 42.58/42.61 c 0.0s | 0 | 0 | 0 | 687 0 | 190 | 9 42.58/42.64 c 0.0s | 1 | 271 | 100 | 687 0 | 190 | 9 42.58/42.67 c 0.1s | 2 | 872 | 250 | 687 0 | 190 | 9 42.68/42.73 c 0.1s | 3 | 1701 | 475 | 687 0 | 190 | 9 42.78/42.83 c 0.2s | 4 | 2674 | 813 | 687 0 | 190 | 9 42.89/42.97 c 0.4s | 5 | 4027 | 1320 | 687 1 | 190 | 9 43.18/43.22 c 0.6s | 6 | 5841 | 2081 | 687 3 | 190 | 9 43.48/43.55 c 0.9s | 7 | 8961 | 3223 | 687 5 | 190 | 9 43.99/44.05 c 1.4s | 8 | 13221 | 4936 | 687 8 | 190 | 9 44.68/44.73 c 2.1s | 9 | 20988 | 7506 | 687 14 | 190 | 9 45.28/45.37 c 2.8s | 9 | 28394 | 9422 | 687 18 | 190 | 9 45.28/45.37 c #cpu_time = 2.757s 45.28/45.37 c #wall_clock_time = 2.757s 45.28/45.37 c #decision = 28394 45.28/45.37 c #random_decision = 84 45.28/45.37 c #conflict = 9422 45.28/45.37 c #restart = 9 45.28/45.37 o 16 45.28/45.37 c BCD2: hardening fixes 11 literals 45.28/45.37 c BCD2: updating upper bound: 18 -> 15 45.28/45.37 c BCD2: 10 <= obj <= 15 45.28/45.37 c BCD2: #cores=2, #unrelaxed=33, #relaxed=190, #hardened=149 45.28/45.37 c BCD2: #sat=3 #unsat=11 bias=11/14 45.28/45.37 c Solving starts ... 45.28/45.37 c ============================[ Search Statistics ]============================ 45.28/45.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 45.28/45.37 c | | | | Limit GC | Var | Constra 45.28/45.37 c ============================================================================= 45.28/45.37 c 0.0s | 0 | 0 | 0 | 687 0 | 190 | 10 45.38/45.40 c 0.0s | 1 | 449 | 100 | 687 0 | 190 | 10 45.38/45.45 c 0.1s | 2 | 1736 | 250 | 687 0 | 190 | 10 45.48/45.51 c 0.1s | 3 | 3196 | 475 | 687 1 | 190 | 10 45.58/45.61 c 0.2s | 4 | 5040 | 813 | 687 1 | 190 | 10 45.68/45.76 c 0.4s | 5 | 7188 | 1320 | 687 2 | 190 | 10 45.88/45.98 c 0.6s | 6 | 9592 | 2081 | 687 4 | 190 | 10 46.28/46.37 c 1.0s | 7 | 13049 | 3223 | 687 6 | 190 | 10 46.78/46.88 c 1.5s | 8 | 19138 | 4936 | 687 10 | 190 | 10 47.38/47.49 c 2.1s | 9 | 32141 | 7506 | 687 16 | 190 | 10 48.48/48.51 c 3.1s | 10 | 47607 | 11361 | 687 23 | 190 | 10 49.78/49.84 c 4.5s | 11 | 68939 | 17144 | 687 36 | 190 | 10 51.78/51.87 c 6.5s | 11 | 96201 | 25344 | 687 53 | 190 | 10 51.98/52.02 c 6.6s | 12 | 98735 | 25819 | 687 54 | 190 | 10 53.98/54.02 c 8.7s | 12 | 113221 | 33319 | 687 70 | 190 | 10 55.38/55.42 c 10.1s | 13 | 125309 | 38832 | 687 82 | 190 | 10 57.38/57.43 c 12.1s | 13 | 156054 | 47532 | 687 101 | 190 | 10 59.39/59.43 c 14.1s | 13 | 178323 | 55832 | 687 119 | 190 | 10 59.98/60.05 c 14.7s | 14 | 183695 | 58352 | 687 124 | 190 | 10 61.98/62.05 c 16.7s | 14 | 200217 | 66252 | 687 142 | 190 | 10 63.98/64.08 c 18.7s | 14 | 215162 | 74452 | 756 158 | 190 | 10 65.99/66.08 c 20.7s | 14 | 235698 | 82152 | 756 174 | 190 | 10 67.38/67.42 c 22.0s | 15 | 248587 | 87632 | 756 185 | 190 | 10 69.39/69.43 c 24.1s | 15 | 277383 | 96332 | 756 203 | 190 | 10 71.38/71.44 c 26.1s | 15 | 297089 | 105332 | 756 220 | 190 | 10 73.38/73.45 c 28.1s | 15 | 323062 | 114132 | 756 238 | 190 | 10 75.38/75.45 c 30.1s | 15 | 345499 | 122432 | 756 255 | 190 | 10 77.38/77.46 c 32.1s | 15 | 364982 | 130732 | 756 271 | 190 | 10 77.58/77.69 c 32.3s | 16 | 366348 | 131552 | 756 273 | 190 | 10 79.68/79.71 c 34.3s | 16 | 385538 | 139952 | 756 290 | 190 | 10 81.68/81.71 c 36.3s | 16 | 413998 | 147752 | 756 306 | 190 | 10 83.68/83.72 c 38.4s | 16 | 437290 | 155752 | 756 322 | 190 | 10 85.68/85.73 c 40.4s | 16 | 461319 | 164252 | 756 339 | 190 | 10 87.68/87.73 c 42.4s | 16 | 484100 | 172652 | 756 356 | 190 | 10 89.68/89.75 c 44.4s | 16 | 509103 | 181652 | 756 374 | 190 | 10 91.68/91.76 c 46.4s | 16 | 540819 | 190952 | 756 392 | 190 | 10 93.18/93.29 c 47.9s | 17 | 560869 | 197432 | 756 405 | 190 | 10 95.17/95.29 c 49.9s | 17 | 581237 | 205332 | 756 421 | 190 | 10 97.27/97.30 c 51.9s | 17 | 607995 | 213332 | 756 437 | 190 | 10 99.27/99.31 c 53.9s | 17 | 636566 | 221232 | 832 451 | 190 | 10 101.28/101.32 c 56.0s | 17 | 660065 | 229332 | 832 466 | 190 | 10 103.27/103.34 c 58.0s | 17 | 683703 | 236632 | 832 480 | 190 | 10 105.27/105.35 c 60.0s | 17 | 704231 | 243732 | 832 493 | 190 | 10 107.27/107.37 c 62.0s | 17 | 724155 | 251532 | 832 508 | 190 | 10 109.27/109.39 c 64.0s | 17 | 748759 | 259132 | 832 522 | 190 | 10 111.37/111.41 c 66.0s | 17 | 773101 | 266732 | 832 536 | 190 | 10 113.38/113.41 c 68.0s | 17 | 794098 | 274032 | 832 550 | 190 | 10 115.37/115.43 c 70.1s | 17 | 815304 | 282032 | 832 565 | 190 | 10 117.37/117.43 c 72.1s | 17 | 833678 | 289432 | 832 579 | 190 | 10 119.07/119.12 c 73.7s | 18 | 849443 | 296252 | 832 592 | 190 | 10 121.07/121.14 c 75.8s | 18 | 871232 | 305052 | 832 608 | 190 | 10 123.07/123.15 c 77.8s | 18 | 896603 | 312752 | 832 622 | 190 | 10 125.07/125.15 c 79.8s | 18 | 927683 | 320652 | 832 637 | 190 | 10 127.07/127.17 c 81.8s | 18 | 958832 | 328452 | 832 652 | 190 | 10 129.07/129.17 c 83.8s | 18 | 983160 | 336552 | 832 667 | 190 | 10 131.17/131.20 c 85.8s | 18 | 1004728 | 344952 | 832 683 | 190 | 10 133.17/133.21 c 87.8s | 18 | 1027299 | 353552 | 832 698 | 190 | 10 135.16/135.22 c 89.9s | 18 | 1051522 | 361652 | 832 713 | 190 | 10 137.16/137.24 c 91.9s | 18 | 1073003 | 369852 | 832 729 | 190 | 10 139.16/139.27 c 93.9s | 18 | 1098767 | 377452 | 832 743 | 190 | 10 141.16/141.27 c 95.9s | 18 | 1123997 | 385752 | 832 758 | 190 | 10 143.16/143.28 c 97.9s | 18 | 1154802 | 394252 | 832 774 | 190 | 10 145.17/145.28 c 99.9s | 18 | 1179495 | 401552 | 832 787 | 190 | 10 147.26/147.30 c 101s | 18 | 1203199 | 408752 | 832 801 | 190 | 10 149.26/149.33 c 103s | 18 | 1225683 | 416052 | 832 814 | 190 | 10 151.26/151.34 c 105s | 18 | 1251898 | 423152 | 832 827 | 190 | 10 153.26/153.36 c 107s | 18 | 1271772 | 429852 | 832 840 | 190 | 10 155.26/155.36 c 109s | 18 | 1302794 | 437652 | 916 854 | 190 | 10 157.06/157.11 c 111s | 19 | 1331750 | 444482 | 916 865 | 190 | 10 159.06/159.12 c 113s | 19 | 1359805 | 452782 | 916 880 | 190 | 10 161.06/161.13 c 115s | 19 | 1387439 | 461482 | 916 895 | 190 | 10 163.06/163.15 c 117s | 19 | 1411056 | 469382 | 916 908 | 190 | 10 165.07/165.15 c 119s | 19 | 1437090 | 477382 | 916 922 | 190 | 10 167.07/167.18 c 121s | 19 | 1463245 | 484482 | 916 934 | 190 | 10 169.06/169.19 c 123s | 19 | 1487329 | 491282 | 916 946 | 190 | 10 171.16/171.21 c 125s | 19 | 1509228 | 498982 | 916 959 | 190 | 10 173.16/173.22 c 127s | 19 | 1541069 | 507382 | 916 973 | 190 | 10 175.16/175.22 c 129s | 19 | 1566889 | 515182 | 916 987 | 190 | 10 177.17/177.23 c 131s | 19 | 1594033 | 522582 | 916 999 | 190 | 10 179.16/179.24 c 133s | 19 | 1621306 | 530182 | 916 1013 | 190 | 10 181.16/181.25 c 135s | 19 | 1650357 | 537782 | 916 1026 | 190 | 10 183.16/183.28 c 137s | 19 | 1679342 | 545682 | 916 1039 | 190 | 10 185.16/185.29 c 139s | 19 | 1706016 | 553082 | 916 1052 | 190 | 10 187.26/187.30 c 141s | 19 | 1727433 | 561482 | 916 1066 | 190 | 10 189.27/189.32 c 143s | 19 | 1751648 | 569382 | 916 1080 | 190 | 10 191.26/191.34 c 145s | 19 | 1771806 | 576782 | 916 1093 | 190 | 10 193.26/193.35 c 147s | 19 | 1791116 | 583682 | 916 1105 | 190 | 10 195.26/195.37 c 149s | 19 | 1810188 | 590782 | 916 1117 | 190 | 10 197.26/197.38 c 152s | 19 | 1827968 | 597882 | 916 1129 | 190 | 10 199.36/199.40 c 154s | 19 | 1847049 | 605082 | 916 1142 | 190 | 10 201.36/201.42 c 156s | 19 | 1867615 | 612682 | 916 1154 | 190 | 10 203.36/203.43 c 158s | 19 | 1890814 | 620482 | 916 1168 | 190 | 10 205.36/205.43 c 160s | 19 | 1914635 | 628082 | 916 1181 | 190 | 10 207.36/207.46 c 162s | 19 | 1937641 | 636382 | 916 1195 | 190 | 10 209.36/209.48 c 164s | 19 | 1957736 | 644782 | 916 1209 | 190 | 10 211.45/211.50 c 166s | 19 | 1977642 | 652782 | 916 1222 | 190 | 10 213.46/213.50 c 168s | 19 | 2000400 | 660182 | 916 1235 | 190 | 10 215.15/215.25 c 169s | 20 | 2017700 | 666827 | 916 1246 | 190 | 10 217.15/217.26 c 171s | 20 | 2044974 | 674927 | 916 1260 | 190 | 10 219.15/219.27 c 173s | 20 | 2067231 | 682027 | 916 1272 | 190 | 10 221.16/221.28 c 175s | 20 | 2086937 | 689127 | 916 1285 | 190 | 10 223.15/223.28 c 177s | 20 | 2109502 | 696427 | 916 1297 | 190 | 10 225.25/225.30 c 179s | 20 | 2129718 | 703827 | 916 1310 | 190 | 10 227.25/227.30 c 181s | 20 | 2149025 | 711127 | 916 1323 | 190 | 10 229.25/229.34 c 183s | 20 | 2170208 | 718127 | 916 1335 | 190 | 10 231.25/231.34 c 185s | 20 | 2192469 | 725327 | 916 1348 | 190 | 10 233.26/233.35 c 187s | 20 | 2213979 | 733627 | 916 1362 | 190 | 10 235.25/235.37 c 190s | 20 | 2241676 | 742927 | 916 1378 | 190 | 10 237.25/237.38 c 192s | 20 | 2268865 | 751827 | 916 1393 | 190 | 10 239.25/239.39 c 194s | 20 | 2297134 | 760527 | 916 1408 | 190 | 10 241.35/241.40 c 196s | 20 | 2325723 | 769327 | 1008 1422 | 190 | 10 243.35/243.42 c 198s | 20 | 2351895 | 777927 | 1008 1436 | 190 | 10 245.35/245.45 c 200s | 20 | 2378097 | 786727 | 1008 1450 | 190 | 10 247.35/247.46 c 202s | 20 | 2404397 | 795727 | 1008 1464 | 190 | 10 249.35/249.47 c 204s | 20 | 2428893 | 804527 | 1008 1478 | 190 | 10 251.35/251.48 c 206s | 20 | 2459394 | 813227 | 1008 1491 | 190 | 10 253.35/253.49 c 208s | 20 | 2484283 | 822327 | 1008 1506 | 190 | 10 255.45/255.51 c 210s | 20 | 2511017 | 831027 | 1008 1520 | 190 | 10 257.46/257.52 c 212s | 20 | 2540893 | 840027 | 1008 1534 | 190 | 10 259.45/259.54 c 214s | 20 | 2566928 | 848427 | 1008 1547 | 190 | 10 261.45/261.54 c 216s | 20 | 2592482 | 856827 | 1008 1561 | 190 | 10 263.45/263.55 c 218s | 20 | 2617698 | 865027 | 1008 1574 | 190 | 10 265.45/265.55 c 220s | 20 | 2641009 | 873527 | 1008 1587 | 190 | 10 267.45/267.56 c 222s | 20 | 2661979 | 881527 | 1008 1600 | 190 | 10 269.46/269.58 c 224s | 20 | 2680800 | 889827 | 1008 1613 | 190 | 10 271.45/271.59 c 226s | 20 | 2705039 | 897827 | 1008 1626 | 190 | 10 273.55/273.60 c 228s | 20 | 2725227 | 906127 | 1008 1639 | 190 | 10 275.55/275.62 c 230s | 20 | 2748140 | 914427 | 1008 1652 | 190 | 10 277.55/277.62 c 232s | 20 | 2769330 | 922527 | 1008 1665 | 190 | 10 279.55/279.62 c 234s | 20 | 2791957 | 931327 | 1008 1679 | 190 | 10 281.55/281.64 c 236s | 20 | 2814657 | 938827 | 1008 1690 | 190 | 10 283.54/283.65 c 238s | 20 | 2836866 | 946427 | 1008 1702 | 190 | 10 285.54/285.66 c 240s | 20 | 2860019 | 953727 | 1008 1714 | 190 | 10 287.54/287.68 c 242s | 20 | 2882983 | 961727 | 1008 1726 | 190 | 10 289.54/289.69 c 244s | 20 | 2912678 | 970127 | 1008 1740 | 190 | 10 291.64/291.70 c 246s | 20 | 2938221 | 978827 | 1008 1753 | 190 | 10 293.65/293.72 c 248s | 20 | 2964394 | 987327 | 1008 1767 | 190 | 10 295.64/295.74 c 250s | 20 | 2990407 | 995227 | 1008 1780 | 190 | 10 296.84/296.98 c 251s | 21 | 3007735 | 1000345 | 1008 1788 | 190 | 10 298.94/299.01 c 253s | 21 | 3042106 | 1008145 | 1008 1800 | 190 | 10 300.94/301.02 c 255s | 21 | 3067203 | 1015945 | 1008 1812 | 190 | 10 302.94/303.05 c 257s | 21 | 3097444 | 1024245 | 1008 1826 | 190 | 10 304.94/305.06 c 259s | 21 | 3125034 | 1032345 | 1008 1839 | 190 | 10 306.95/307.06 c 261s | 21 | 3157931 | 1040745 | 1008 1852 | 190 | 10 308.94/309.08 c 263s | 21 | 3184562 | 1049445 | 1008 1866 | 190 | 10 310.94/311.09 c 265s | 21 | 3209229 | 1058445 | 1008 1880 | 190 | 10 312.94/313.09 c 267s | 21 | 3236500 | 1068045 | 1008 1895 | 190 | 10 315.04/315.10 c 269s | 21 | 3261844 | 1076245 | 1008 1908 | 190 | 10 317.04/317.11 c 271s | 21 | 3286476 | 1084145 | 1008 1921 | 190 | 10 319.04/319.12 c 273s | 21 | 3314776 | 1092245 | 1008 1934 | 190 | 10 321.04/321.12 c 275s | 21 | 3335960 | 1100545 | 1008 1948 | 190 | 10 323.04/323.15 c 277s | 21 | 3356930 | 1108445 | 1008 1960 | 190 | 10 325.04/325.16 c 279s | 21 | 3375030 | 1116645 | 1008 1973 | 190 | 10 327.04/327.17 c 281s | 21 | 3396004 | 1125145 | 1008 1987 | 190 | 10 329.03/329.19 c 283s | 21 | 3424084 | 1134245 | 1008 2002 | 190 | 10 331.14/331.20 c 285s | 21 | 3450722 | 1143645 | 1008 2017 | 190 | 10 333.13/333.21 c 287s | 21 | 3476102 | 1153045 | 1008 2032 | 190 | 10 335.13/335.22 c 289s | 21 | 3503078 | 1162045 | 1008 2046 | 190 | 10 337.13/337.24 c 291s | 21 | 3531052 | 1170945 | 1008 2060 | 190 | 10 339.13/339.25 c 293s | 21 | 3558983 | 1179945 | 1008 2075 | 190 | 10 341.13/341.25 c 295s | 21 | 3585598 | 1189245 | 1008 2090 | 190 | 10 343.14/343.27 c 297s | 21 | 3612911 | 1198345 | 1008 2104 | 190 | 10 345.13/345.29 c 299s | 21 | 3640305 | 1207445 | 1008 2119 | 190 | 10 347.23/347.30 c 301s | 21 | 3663818 | 1216745 | 1008 2134 | 190 | 10 349.23/349.32 c 303s | 21 | 3687231 | 1226345 | 1008 2149 | 190 | 10 351.23/351.33 c 305s | 21 | 3713009 | 1235245 | 1008 2163 | 190 | 10 353.23/353.34 c 307s | 21 | 3737953 | 1244445 | 1008 2178 | 190 | 10 355.24/355.36 c 309s | 21 | 3764581 | 1253245 | 1008 2192 | 190 | 10 357.23/357.37 c 311s | 21 | 3790213 | 1262145 | 1008 2207 | 190 | 10 359.23/359.38 c 314s | 21 | 3818795 | 1271145 | 1109 2220 | 190 | 10 361.23/361.39 c 316s | 21 | 3844005 | 1280445 | 1109 2234 | 190 | 10 363.23/363.39 c 318s | 21 | 3871273 | 1289445 | 1109 2248 | 190 | 10 365.23/365.39 c 320s | 21 | 3897501 | 1298245 | 1109 2261 | 190 | 10 367.33/367.41 c 322s | 21 | 3920081 | 1307045 | 1109 2273 | 190 | 10 369.33/369.43 c 324s | 21 | 3948929 | 1315145 | 1109 2285 | 190 | 10 371.33/371.45 c 326s | 21 | 3979053 | 1323045 | 1109 2297 | 190 | 10 373.34/373.46 c 328s | 21 | 4007560 | 1330745 | 1109 2308 | 190 | 10 375.34/375.48 c 330s | 21 | 4039167 | 1338445 | 1109 2320 | 190 | 10 377.34/377.49 c 332s | 21 | 4068936 | 1345945 | 1109 2331 | 190 | 10 379.44/379.51 c 334s | 21 | 4102613 | 1354045 | 1109 2343 | 190 | 10 381.43/381.53 c 336s | 21 | 4138246 | 1361745 | 1109 2354 | 190 | 10 383.43/383.53 c 338s | 21 | 4169655 | 1369845 | 1109 2366 | 190 | 10 385.43/385.54 c 340s | 21 | 4197103 | 1377145 | 1109 2377 | 190 | 10 387.43/387.55 c 342s | 21 | 4222375 | 1383745 | 1109 2387 | 190 | 10 389.44/389.56 c 344s | 21 | 4252985 | 1391945 | 1109 2399 | 190 | 10 391.43/391.56 c 346s | 21 | 4282097 | 1400045 | 1109 2411 | 190 | 10 393.43/393.58 c 348s | 21 | 4313608 | 1407645 | 1109 2422 | 190 | 10 395.43/395.59 c 350s | 21 | 4342046 | 1414945 | 1109 2433 | 190 | 10 397.53/397.60 c 352s | 21 | 4368197 | 1422545 | 1109 2445 | 190 | 10 399.53/399.62 c 354s | 21 | 4394224 | 1430245 | 1109 2456 | 190 | 10 401.54/401.63 c 356s | 21 | 4416703 | 1438345 | 1109 2468 | 190 | 10 403.53/403.64 c 358s | 21 | 4441557 | 1446445 | 1109 2480 | 190 | 10 405.53/405.66 c 360s | 21 | 4464555 | 1455245 | 1109 2493 | 190 | 10 407.53/407.68 c 362s | 21 | 4488098 | 1463545 | 1109 2505 | 190 | 10 409.62/409.70 c 364s | 21 | 4504463 | 1470745 | 1109 2516 | 190 | 10 411.62/411.71 c 366s | 21 | 4521079 | 1478045 | 1109 2527 | 190 | 10 413.63/413.71 c 368s | 21 | 4549209 | 1484845 | 1109 2537 | 190 | 10 415.62/415.73 c 370s | 21 | 4580481 | 1492245 | 1109 2549 | 190 | 10 417.62/417.75 c 372s | 21 | 4603669 | 1499345 | 1109 2559 | 190 | 10 418.03/418.12 c 372s | 22 | 4607805 | 1500622 | 1109 2561 | 190 | 10 420.02/420.12 c 374s | 22 | 4627279 | 1507422 | 1109 2571 | 190 | 10 422.02/422.13 c 376s | 22 | 4647927 | 1515222 | 1109 2583 | 190 | 10 424.02/424.16 c 378s | 22 | 4666896 | 1523322 | 1109 2595 | 190 | 10 426.02/426.17 c 380s | 22 | 4684068 | 1531422 | 1109 2607 | 190 | 10 428.02/428.18 c 382s | 22 | 4703959 | 1539622 | 1109 2619 | 190 | 10 430.03/430.20 c 384s | 22 | 4725862 | 1547822 | 1109 2631 | 190 | 10 432.12/432.22 c 386s | 22 | 4748790 | 1555922 | 1109 2644 | 190 | 10 434.12/434.24 c 388s | 22 | 4772467 | 1564122 | 1109 2655 | 190 | 10 436.12/436.25 c 390s | 22 | 4791538 | 1571322 | 1109 2666 | 190 | 10 438.12/438.25 c 392s | 22 | 4806841 | 1578422 | 1109 2677 | 190 | 10 440.12/440.25 c 394s | 22 | 4830960 | 1585722 | 1109 2687 | 190 | 10 442.12/442.27 c 396s | 22 | 4852309 | 1593122 | 1109 2698 | 190 | 10 444.12/444.28 c 398s | 22 | 4878509 | 1601522 | 1109 2711 | 190 | 10 446.22/446.30 c 400s | 22 | 4900072 | 1608622 | 1109 2721 | 190 | 10 448.22/448.31 c 402s | 22 | 4917725 | 1615822 | 1109 2732 | 190 | 10 450.22/450.32 c 404s | 22 | 4936686 | 1622822 | 1109 2742 | 190 | 10 452.22/452.34 c 406s | 22 | 4959277 | 1630222 | 1109 2753 | 190 | 10 454.22/454.36 c 408s | 22 | 4980297 | 1637122 | 1109 2763 | 190 | 10 456.21/456.37 c 411s | 22 | 4998719 | 1644222 | 1109 2774 | 190 | 10 458.21/458.38 c 413s | 22 | 5017385 | 1650922 | 1109 2784 | 190 | 10 460.31/460.41 c 415s | 22 | 5034133 | 1657322 | 1109 2793 | 190 | 10 462.31/462.44 c 417s | 22 | 5050857 | 1663822 | 1109 2803 | 190 | 10 464.31/464.45 c 419s | 22 | 5071049 | 1670822 | 1109 2814 | 190 | 10 466.32/466.46 c 421s | 22 | 5093780 | 1678022 | 1109 2824 | 190 | 10 468.31/468.46 c 423s | 22 | 5109465 | 1684622 | 1109 2834 | 190 | 10 470.31/470.47 c 425s | 22 | 5126670 | 1691122 | 1109 2844 | 190 | 10 472.31/472.48 c 427s | 22 | 5152109 | 1697722 | 1109 2854 | 190 | 10 474.31/474.49 c 429s | 22 | 5170260 | 1704522 | 1109 2864 | 190 | 10 476.32/476.49 c 431s | 22 | 5194361 | 1710822 | 1109 2873 | 190 | 10 478.31/478.50 c 433s | 22 | 5216983 | 1717722 | 1109 2884 | 190 | 10 480.41/480.52 c 435s | 22 | 5235387 | 1724822 | 1109 2894 | 190 | 10 482.41/482.54 c 437s | 22 | 5248922 | 1730922 | 1109 2903 | 190 | 10 484.41/484.54 c 439s | 22 | 5261193 | 1737122 | 1109 2912 | 190 | 10 486.41/486.57 c 441s | 22 | 5283313 | 1744322 | 1109 2923 | 190 | 10 488.42/488.58 c 443s | 22 | 5307944 | 1751422 | 1109 2934 | 190 | 10 490.41/490.60 c 445s | 22 | 5327485 | 1758522 | 1109 2944 | 190 | 10 492.51/492.60 c 447s | 22 | 5343372 | 1766022 | 1109 2955 | 190 | 10 494.51/494.62 c 449s | 22 | 5358365 | 1772822 | 1109 2966 | 190 | 10 496.51/496.62 c 451s | 22 | 5377608 | 1779522 | 1109 2976 | 190 | 10 498.51/498.64 c 453s | 22 | 5395552 | 1786422 | 1109 2986 | 190 | 10 500.51/500.67 c 455s | 22 | 5411957 | 1794122 | 1109 2997 | 190 | 10 502.51/502.67 c 457s | 22 | 5431296 | 1802522 | 1109 3009 | 190 | 10 504.52/504.69 c 459s | 22 | 5449765 | 1811222 | 1109 3022 | 190 | 10 506.61/506.70 c 461s | 22 | 5469988 | 1819922 | 1109 3035 | 190 | 10 508.61/508.71 c 463s | 22 | 5489062 | 1828622 | 1109 3048 | 190 | 10 510.61/510.71 c 465s | 22 | 5509152 | 1836622 | 1109 3059 | 190 | 10 512.62/512.72 c 467s | 22 | 5537806 | 1843822 | 1109 3070 | 190 | 10 514.61/514.74 c 469s | 22 | 5568417 | 1851322 | 1109 3081 | 190 | 10 516.61/516.74 c 471s | 22 | 5593799 | 1858422 | 1109 3092 | 190 | 10 518.61/518.76 c 473s | 22 | 5610129 | 1865922 | 1109 3103 | 190 | 10 520.61/520.78 c 475s | 22 | 5646377 | 1873322 | 1109 3114 | 190 | 10 522.61/522.79 c 477s | 22 | 5664439 | 1880922 | 1109 3126 | 190 | 10 524.62/524.79 c 479s | 22 | 5680545 | 1888522 | 1109 3137 | 190 | 10 526.61/526.79 c 481s | 22 | 5700591 | 1895922 | 1109 3148 | 190 | 10 528.71/528.81 c 483s | 22 | 5717924 | 1903422 | 1109 3159 | 190 | 10 530.71/530.82 c 485s | 22 | 5734238 | 1910722 | 1109 3170 | 190 | 10 532.71/532.83 c 487s | 22 | 5750949 | 1917622 | 1109 3180 | 190 | 10 534.70/534.85 c 489s | 22 | 5766196 | 1924422 | 1109 3190 | 190 | 10 536.71/536.87 c 491s | 22 | 5783747 | 1931522 | 1109 3201 | 190 | 10 538.70/538.87 c 493s | 22 | 5800130 | 1939222 | 1109 3212 | 190 | 10 540.70/540.88 c 495s | 22 | 5819711 | 1947222 | 1109 3224 | 190 | 10 542.70/542.89 c 497s | 22 | 5837787 | 1954522 | 1109 3234 | 190 | 10 544.80/544.90 c 499s | 22 | 5856333 | 1962422 | 1109 3246 | 190 | 10 546.80/546.91 c 501s | 22 | 5875887 | 1970322 | 1109 3258 | 190 | 10 548.81/548.92 c 503s | 22 | 5894449 | 1977322 | 1109 3268 | 190 | 10 550.80/550.93 c 505s | 22 | 5914309 | 1985322 | 1109 3280 | 190 | 10 552.80/552.95 c 507s | 22 | 5933952 | 1993222 | 1109 3291 | 190 | 10 554.80/554.95 c 509s | 22 | 5951517 | 2001222 | 1109 3303 | 190 | 10 556.80/556.96 c 511s | 22 | 5977091 | 2010222 | 1220 3316 | 190 | 10 558.81/558.98 c 513s | 22 | 6006297 | 2018422 | 1220 3327 | 190 | 10 560.81/560.99 c 515s | 22 | 6034113 | 2027222 | 1220 3340 | 190 | 10 562.91/563.01 c 517s | 22 | 6063304 | 2036122 | 1220 3352 | 190 | 10 564.91/565.01 c 519s | 22 | 6089353 | 2044122 | 1220 3363 | 190 | 10 566.91/567.02 c 521s | 22 | 6110559 | 2052822 | 1220 3375 | 190 | 10 568.91/569.03 c 523s | 22 | 6135285 | 2060822 | 1220 3386 | 190 | 10 570.91/571.04 c 525s | 22 | 6162998 | 2067922 | 1220 3396 | 190 | 10 572.90/573.06 c 527s | 22 | 6190472 | 2075622 | 1220 3406 | 190 | 10 574.90/575.08 c 529s | 22 | 6212971 | 2083622 | 1220 3417 | 190 | 10 577.00/577.10 c 531s | 22 | 6243713 | 2091522 | 1220 3428 | 190 | 10 579.00/579.10 c 533s | 22 | 6270578 | 2098722 | 1220 3438 | 190 | 10 581.00/581.10 c 535s | 22 | 6292154 | 2106322 | 1220 3449 | 190 | 10 583.01/583.11 c 537s | 22 | 6315554 | 2113822 | 1220 3459 | 190 | 10 585.00/585.12 c 539s | 22 | 6340254 | 2121622 | 1220 3470 | 190 | 10 587.00/587.13 c 541s | 22 | 6362671 | 2129222 | 1220 3480 | 190 | 10 589.00/589.15 c 543s | 22 | 6386049 | 2137222 | 1220 3492 | 190 | 10 591.00/591.15 c 545s | 22 | 6412910 | 2145422 | 1220 3503 | 190 | 10 593.00/593.17 c 547s | 22 | 6434454 | 2153322 | 1220 3514 | 190 | 10 595.01/595.18 c 549s | 22 | 6459157 | 2161422 | 1220 3525 | 190 | 10 597.00/597.19 c 551s | 22 | 6480803 | 2170222 | 1220 3537 | 190 | 10 599.10/599.21 c 553s | 22 | 6508367 | 2178522 | 1220 3548 | 190 | 10 601.10/601.21 c 555s | 22 | 6533850 | 2186722 | 1220 3559 | 190 | 10 603.10/603.21 c 557s | 22 | 6557683 | 2194922 | 1220 3571 | 190 | 10 605.10/605.22 c 559s | 22 | 6576027 | 2202822 | 1220 3582 | 190 | 10 607.11/607.23 c 561s | 22 | 6596843 | 2210822 | 1220 3593 | 190 | 10 609.10/609.26 c 563s | 22 | 6612774 | 2218222 | 1220 3603 | 190 | 10 611.10/611.27 c 565s | 22 | 6627969 | 2225422 | 1220 3613 | 190 | 10 613.10/613.29 c 567s | 22 | 6645646 | 2233022 | 1220 3623 | 190 | 10 615.20/615.30 c 569s | 22 | 6661243 | 2241122 | 1220 3634 | 190 | 10 617.20/617.31 c 571s | 22 | 6677597 | 2248922 | 1220 3645 | 190 | 10 617.70/617.86 c 572s | 23 | 6682227 | 2251038 | 1220 3648 | 190 | 10 619.70/619.88 c 574s | 23 | 6707855 | 2259338 | 1220 3659 | 190 | 10 621.80/621.90 c 576s | 23 | 6733798 | 2267938 | 1220 3671 | 190 | 10 623.80/623.90 c 578s | 23 | 6760085 | 2276138 | 1220 3682 | 190 | 10 625.80/625.91 c 580s | 23 | 6786049 | 2284038 | 1220 3692 | 190 | 10 627.79/627.92 c 582s | 23 | 6805904 | 2291338 | 1220 3703 | 190 | 10 629.79/629.95 c 584s | 23 | 6823727 | 2298838 | 1220 3713 | 190 | 10 631.79/631.96 c 586s | 23 | 6844821 | 2306438 | 1220 3723 | 190 | 10 633.79/633.97 c 588s | 23 | 6862205 | 2314038 | 1220 3734 | 190 | 10 635.89/636.00 c 590s | 23 | 6884540 | 2321438 | 1220 3744 | 190 | 10 637.90/638.03 c 592s | 23 | 6905144 | 2329538 | 1220 3754 | 190 | 10 639.89/640.03 c 594s | 23 | 6927197 | 2337338 | 1220 3765 | 190 | 10 641.89/642.04 c 596s | 23 | 6948757 | 2344938 | 1220 3775 | 190 | 10 643.89/644.05 c 598s | 23 | 6969806 | 2352538 | 1220 3785 | 190 | 10 645.89/646.05 c 600s | 23 | 6991550 | 2360238 | 1220 3796 | 190 | 10 647.89/648.06 c 602s | 23 | 7010952 | 2368338 | 1220 3807 | 190 | 10 649.89/650.06 c 604s | 23 | 7032115 | 2376438 | 1220 3818 | 190 | 10 651.89/652.08 c 606s | 23 | 7053236 | 2384638 | 1220 3829 | 190 | 10 653.89/654.09 c 608s | 23 | 7073448 | 2392338 | 1220 3840 | 190 | 10 655.89/656.10 c 610s | 23 | 7091346 | 2400338 | 1220 3850 | 190 | 10 657.99/658.11 c 612s | 23 | 7107967 | 2408838 | 1220 3862 | 190 | 10 659.99/660.12 c 614s | 23 | 7126370 | 2417238 | 1220 3873 | 190 | 10 661.99/662.14 c 616s | 23 | 7145330 | 2426138 | 1220 3885 | 190 | 10 663.98/664.16 c 618s | 23 | 7176659 | 2433338 | 1220 3895 | 190 | 10 665.98/666.17 c 620s | 23 | 7205989 | 2441538 | 1220 3906 | 190 | 10 667.98/668.17 c 622s | 23 | 7234363 | 2449238 | 1220 3916 | 190 | 10 669.98/670.18 c 624s | 23 | 7261444 | 2457038 | 1220 3927 | 190 | 10 672.09/672.21 c 626s | 23 | 7286268 | 2464838 | 1220 3937 | 190 | 10 674.08/674.22 c 628s | 23 | 7317578 | 2472338 | 1220 3948 | 190 | 10 676.08/676.24 c 630s | 23 | 7342137 | 2480738 | 1220 3959 | 190 | 10 678.08/678.26 c 632s | 23 | 7368146 | 2488538 | 1220 3970 | 190 | 10 680.08/680.29 c 634s | 23 | 7389454 | 2495938 | 1220 3980 | 190 | 10 682.18/682.31 c 636s | 23 | 7416025 | 2504138 | 1220 3991 | 190 | 10 684.19/684.31 c 638s | 23 | 7442546 | 2512238 | 1220 4001 | 190 | 10 686.18/686.33 c 640s | 23 | 7465414 | 2519438 | 1220 4011 | 190 | 10 688.18/688.35 c 642s | 23 | 7496020 | 2526738 | 1220 4021 | 190 | 10 690.18/690.37 c 644s | 23 | 7515931 | 2533538 | 1220 4031 | 190 | 10 692.18/692.37 c 647s | 23 | 7544247 | 2540338 | 1220 4040 | 190 | 10 694.18/694.39 c 649s | 23 | 7566418 | 2547338 | 1220 4050 | 190 | 10 696.28/696.40 c 651s | 23 | 7589068 | 2554238 | 1220 4059 | 190 | 10 698.29/698.42 c 653s | 23 | 7610447 | 2561238 | 1220 4069 | 190 | 10 700.29/700.43 c 655s | 23 | 7627531 | 2567438 | 1220 4077 | 190 | 10 702.29/702.43 c 657s | 23 | 7647240 | 2574338 | 1220 4086 | 190 | 10 704.29/704.43 c 659s | 23 | 7666214 | 2581438 | 1220 4096 | 190 | 10 706.28/706.44 c 661s | 23 | 7683030 | 2588538 | 1220 4106 | 190 | 10 708.29/708.45 c 663s | 23 | 7702999 | 2595738 | 1220 4116 | 190 | 10 710.28/710.46 c 665s | 23 | 7723320 | 2603038 | 1220 4126 | 190 | 10 712.28/712.48 c 667s | 23 | 7742446 | 2610638 | 1220 4136 | 190 | 10 714.28/714.49 c 669s | 23 | 7759932 | 2617938 | 1220 4146 | 190 | 10 716.38/716.50 c 671s | 23 | 7776109 | 2624938 | 1220 4155 | 190 | 10 718.38/718.51 c 673s | 23 | 7798547 | 2632238 | 1220 4165 | 190 | 10 720.39/720.51 c 675s | 23 | 7820355 | 2639338 | 1220 4175 | 190 | 10 722.38/722.53 c 677s | 23 | 7840621 | 2646238 | 1220 4184 | 190 | 10 724.38/724.55 c 679s | 23 | 7865072 | 2654238 | 1220 4195 | 190 | 10 726.38/726.56 c 681s | 23 | 7891408 | 2662438 | 1220 4206 | 190 | 10 728.38/728.57 c 683s | 23 | 7913520 | 2670538 | 1220 4217 | 190 | 10 730.39/730.57 c 685s | 23 | 7935356 | 2678138 | 1220 4227 | 190 | 10 732.38/732.58 c 687s | 23 | 7956155 | 2685138 | 1220 4237 | 190 | 10 734.38/734.59 c 689s | 23 | 7972095 | 2691938 | 1220 4246 | 190 | 10 736.38/736.60 c 691s | 23 | 8002331 | 2698938 | 1220 4256 | 190 | 10 738.48/738.60 c 693s | 23 | 8029108 | 2706338 | 1220 4266 | 190 | 10 740.48/740.62 c 695s | 23 | 8055382 | 2713638 | 1220 4277 | 190 | 10 742.48/742.63 c 697s | 23 | 8079472 | 2720338 | 1220 4286 | 190 | 10 744.48/744.65 c 699s | 23 | 8103146 | 2727638 | 1220 4296 | 190 | 10 746.48/746.66 c 701s | 23 | 8125883 | 2735638 | 1220 4307 | 190 | 10 748.48/748.66 c 703s | 23 | 8149426 | 2743838 | 1220 4318 | 190 | 10 750.47/750.68 c 705s | 23 | 8174321 | 2752338 | 1220 4329 | 190 | 10 752.57/752.70 c 707s | 23 | 8197109 | 2760438 | 1220 4340 | 190 | 10 754.58/754.72 c 709s | 23 | 8222813 | 2768538 | 1220 4351 | 190 | 10 756.57/756.73 c 711s | 23 | 8244588 | 2776738 | 1220 4363 | 190 | 10 758.57/758.73 c 713s | 23 | 8265192 | 2785138 | 1220 4374 | 190 | 10 760.57/760.75 c 715s | 23 | 8286890 | 2793138 | 1220 4384 | 190 | 10 762.57/762.76 c 717s | 23 | 8306082 | 2801038 | 1220 4395 | 190 | 10 764.57/764.78 c 719s | 23 | 8329996 | 2808638 | 1220 4406 | 190 | 10 766.58/766.80 c 721s | 23 | 8349548 | 2816138 | 1220 4416 | 190 | 10 768.67/768.80 c 723s | 23 | 8367427 | 2823738 | 1220 4426 | 190 | 10 770.66/770.82 c 725s | 23 | 8386998 | 2831438 | 1220 4437 | 190 | 10 772.66/772.83 c 727s | 23 | 8408604 | 2839838 | 1220 4448 | 190 | 10 774.66/774.84 c 729s | 23 | 8431750 | 2848138 | 1220 4459 | 190 | 10 776.66/776.84 c 731s | 23 | 8456509 | 2856338 | 1220 4471 | 190 | 10 778.67/778.86 c 733s | 23 | 8475750 | 2864638 | 1220 4482 | 190 | 10 780.66/780.87 c 735s | 23 | 8496835 | 2872638 | 1220 4493 | 190 | 10 782.66/782.89 c 737s | 23 | 8518804 | 2881138 | 1220 4504 | 190 | 10 784.76/784.90 c 739s | 23 | 8542001 | 2889338 | 1220 4515 | 190 | 10 786.76/786.90 c 741s | 23 | 8563332 | 2897538 | 1220 4527 | 190 | 10 788.76/788.91 c 743s | 23 | 8581927 | 2905638 | 1220 4538 | 190 | 10 790.76/790.93 c 745s | 23 | 8602227 | 2914038 | 1220 4549 | 190 | 10 792.75/792.93 c 747s | 23 | 8621802 | 2921938 | 1220 4560 | 190 | 10 794.75/794.93 c 749s | 23 | 8644240 | 2930038 | 1220 4571 | 190 | 10 796.75/796.94 c 751s | 23 | 8662155 | 2937938 | 1220 4582 | 190 | 10 798.75/798.97 c 753s | 23 | 8683295 | 2945338 | 1220 4592 | 190 | 10 800.76/800.99 c 755s | 23 | 8701387 | 2953238 | 1220 4603 | 190 | 10 802.86/803.02 c 757s | 23 | 8718637 | 2960638 | 1220 4613 | 190 | 10 804.85/805.04 c 759s | 23 | 8734140 | 2967538 | 1220 4622 | 190 | 10 806.85/807.04 c 761s | 23 | 8755470 | 2974938 | 1220 4632 | 190 | 10 808.85/809.07 c 763s | 23 | 8772454 | 2982238 | 1220 4642 | 190 | 10 810.85/811.09 c 765s | 23 | 8788511 | 2989438 | 1220 4652 | 190 | 10 812.85/813.09 c 767s | 23 | 8804715 | 2996338 | 1220 4662 | 190 | 10 814.95/815.11 c 769s | 23 | 8825741 | 3003538 | 1220 4671 | 190 | 10 816.94/817.11 c 771s | 23 | 8844617 | 3011138 | 1220 4682 | 190 | 10 818.94/819.13 c 773s | 23 | 8866977 | 3018038 | 1220 4691 | 190 | 10 820.94/821.15 c 775s | 23 | 8886880 | 3024938 | 1220 4701 | 190 | 10 822.94/823.16 c 777s | 23 | 8899739 | 3031638 | 1220 4710 | 190 | 10 824.94/825.17 c 779s | 23 | 8912219 | 3038038 | 1220 4719 | 190 | 10 826.94/827.19 c 781s | 23 | 8925517 | 3044438 | 1220 4727 | 190 | 10 829.04/829.20 c 783s | 23 | 8947760 | 3052938 | 1220 4739 | 190 | 10 831.03/831.20 c 785s | 23 | 8967417 | 3061538 | 1220 4750 | 190 | 10 833.03/833.22 c 787s | 23 | 8987422 | 3068938 | 1220 4760 | 190 | 10 835.03/835.26 c 789s | 23 | 9003751 | 3075738 | 1220 4770 | 190 | 10 837.04/837.27 c 791s | 23 | 9025517 | 3082638 | 1220 4779 | 190 | 10 839.03/839.29 c 793s | 23 | 9042665 | 3089638 | 1220 4789 | 190 | 10 841.14/841.30 c 795s | 23 | 9061477 | 3098038 | 1220 4800 | 190 | 10 843.14/843.30 c 797s | 23 | 9080069 | 3106638 | 1220 4812 | 190 | 10 845.14/845.31 c 799s | 23 | 9101564 | 3115038 | 1220 4823 | 190 | 10 847.14/847.33 c 801s | 23 | 9119773 | 3123638 | 1220 4834 | 190 | 10 849.14/849.33 c 803s | 23 | 9137963 | 3131538 | 1342 4844 | 190 | 10 851.13/851.35 c 805s | 23 | 9154548 | 3137838 | 1342 4852 | 190 | 10 853.13/853.35 c 807s | 23 | 9168069 | 3143738 | 1342 4860 | 190 | 10 855.13/855.37 c 809s | 23 | 9183515 | 3149838 | 1342 4867 | 190 | 10 857.13/857.37 c 812s | 23 | 9197301 | 3155838 | 1342 4875 | 190 | 10 859.23/859.40 c 814s | 23 | 9215410 | 3162538 | 1342 4883 | 190 | 10 861.24/861.41 c 816s | 23 | 9234366 | 3169238 | 1342 4892 | 190 | 10 863.23/863.43 c 818s | 23 | 9256341 | 3177438 | 1342 4902 | 190 | 10 865.23/865.43 c 820s | 23 | 9278032 | 3185838 | 1342 4912 | 190 | 10 867.23/867.45 c 822s | 23 | 9298749 | 3194738 | 1342 4923 | 190 | 10 869.23/869.47 c 824s | 23 | 9321302 | 3202938 | 1342 4934 | 190 | 10 871.22/871.49 c 826s | 23 | 9337597 | 3210238 | 1342 4943 | 190 | 10 873.23/873.50 c 828s | 23 | 9355257 | 3217338 | 1342 4952 | 190 | 10 875.32/875.53 c 830s | 23 | 9377908 | 3224438 | 1342 4961 | 190 | 10 877.32/877.54 c 832s | 23 | 9395676 | 3231238 | 1342 4970 | 190 | 10 879.32/879.57 c 834s | 23 | 9413025 | 3238338 | 1342 4978 | 190 | 10 881.42/881.60 c 836s | 23 | 9426008 | 3245038 | 1342 4987 | 190 | 10 883.42/883.63 c 838s | 23 | 9449276 | 3252738 | 1342 4996 | 190 | 10 885.43/885.64 c 840s | 23 | 9477543 | 3260438 | 1342 5006 | 190 | 10 887.42/887.67 c 842s | 23 | 9500917 | 3268038 | 1342 5016 | 190 | 10 889.42/889.68 c 844s | 23 | 9524386 | 3275838 | 1342 5025 | 190 | 10 891.41/891.68 c 846s | 23 | 9548622 | 3283138 | 1342 5035 | 190 | 10 893.51/893.70 c 848s | 23 | 9573244 | 3290838 | 1342 5044 | 190 | 10 895.51/895.73 c 850s | 23 | 9590794 | 3297938 | 1342 5053 | 190 | 10 897.52/897.76 c 852s | 23 | 9610143 | 3305038 | 1342 5062 | 190 | 10 899.51/899.78 c 854s | 23 | 9634675 | 3312438 | 1342 5071 | 190 | 10 901.61/901.80 c 856s | 23 | 9659377 | 3320438 | 1342 5081 | 190 | 10 903.61/903.80 c 858s | 23 | 9682920 | 3327738 | 1342 5091 | 190 | 10 905.61/905.82 c 860s | 23 | 9701110 | 3335238 | 1342 5100 | 190 | 10 907.61/907.84 c 862s | 23 | 9717407 | 3342838 | 1342 5110 | 190 | 10 909.61/909.88 c 864s | 23 | 9737774 | 3350838 | 1342 5120 | 190 | 10 911.60/911.89 c 866s | 23 | 9760213 | 3359038 | 1342 5130 | 190 | 10 913.70/913.90 c 868s | 23 | 9779435 | 3366338 | 1342 5139 | 190 | 10 915.70/915.90 c 870s | 23 | 9801115 | 3373938 | 1342 5149 | 190 | 10 916.30/916.59 c 871s | 24 | 9809885 | 3376662 | 1342 5152 | 190 | 10 918.31/918.60 c 873s | 24 | 9837560 | 3384762 | 1342 5162 | 190 | 10 920.40/920.60 c 875s | 24 | 9862863 | 3392762 | 1342 5172 | 190 | 10 922.40/922.61 c 877s | 24 | 9889327 | 3400562 | 1342 5182 | 190 | 10 924.40/924.62 c 879s | 24 | 9915872 | 3408962 | 1342 5193 | 190 | 10 926.40/926.65 c 881s | 24 | 9946834 | 3417962 | 1342 5204 | 190 | 10 928.40/928.65 c 883s | 24 | 9970107 | 3424962 | 1342 5213 | 190 | 10 930.40/930.66 c 885s | 24 | 9991646 | 3432062 | 1342 5222 | 190 | 10 932.39/932.67 c 887s | 24 | 10016953 | 3439662 | 1342 5232 | 190 | 10 934.39/934.68 c 889s | 24 | 10043095 | 3447362 | 1342 5241 | 190 | 10 936.49/936.70 c 891s | 24 | 10067537 | 3454762 | 1342 5251 | 190 | 10 938.49/938.71 c 893s | 24 | 10096569 | 3462562 | 1342 5260 | 190 | 10 940.49/940.74 c 895s | 24 | 10122703 | 3470662 | 1342 5271 | 190 | 10 942.49/942.74 c 897s | 24 | 10152548 | 3478262 | 1342 5280 | 190 | 10 944.49/944.76 c 899s | 24 | 10176598 | 3486162 | 1342 5290 | 190 | 10 946.49/946.77 c 901s | 24 | 10199686 | 3493862 | 1342 5300 | 190 | 10 948.49/948.77 c 903s | 24 | 10223852 | 3501662 | 1342 5310 | 190 | 10 950.48/950.78 c 905s | 24 | 10244777 | 3509562 | 1342 5320 | 190 | 10 952.58/952.80 c 907s | 24 | 10269273 | 3517762 | 1342 5330 | 190 | 10 954.59/954.81 c 909s | 24 | 10291506 | 3525962 | 1342 5341 | 190 | 10 956.58/956.82 c 911s | 24 | 10314739 | 3533562 | 1342 5351 | 190 | 10 958.58/958.83 c 913s | 24 | 10335434 | 3541062 | 1342 5360 | 190 | 10 960.58/960.83 c 915s | 24 | 10356286 | 3548662 | 1342 5370 | 190 | 10 962.58/962.85 c 917s | 24 | 10377622 | 3556962 | 1342 5380 | 190 | 10 964.59/964.86 c 919s | 24 | 10398399 | 3565162 | 1342 5391 | 190 | 10 966.58/966.88 c 921s | 24 | 10420065 | 3573462 | 1342 5401 | 190 | 10 968.59/968.89 c 923s | 24 | 10440909 | 3581262 | 1342 5411 | 190 | 10 970.69/970.92 c 925s | 24 | 10465800 | 3588562 | 1342 5420 | 190 | 10 972.69/972.92 c 927s | 24 | 10487415 | 3596362 | 1342 5430 | 190 | 10 974.68/974.93 c 929s | 24 | 10512770 | 3604562 | 1342 5440 | 190 | 10 976.69/976.95 c 931s | 24 | 10534537 | 3612262 | 1342 5450 | 190 | 10 978.68/978.96 c 933s | 24 | 10556930 | 3620262 | 1342 5460 | 190 | 10 980.68/980.97 c 935s | 24 | 10577599 | 3628262 | 1342 5470 | 190 | 10 982.68/982.97 c 937s | 24 | 10596662 | 3636262 | 1342 5480 | 190 | 10 984.68/984.98 c 939s | 24 | 10615539 | 3644062 | 1342 5490 | 190 | 10 986.78/987.01 c 941s | 24 | 10636690 | 3651762 | 1342 5500 | 190 | 10 988.78/989.02 c 943s | 24 | 10656232 | 3659562 | 1342 5509 | 190 | 10 990.77/991.03 c 945s | 24 | 10677588 | 3667662 | 1342 5519 | 190 | 10 992.77/993.06 c 947s | 24 | 10696833 | 3675862 | 1342 5530 | 190 | 10 994.77/995.08 c 949s | 24 | 10712520 | 3683762 | 1342 5540 | 190 | 10 996.77/997.08 c 951s | 24 | 10730709 | 3691362 | 1342 5549 | 190 | 10 998.77/999.09 c 953s | 24 | 10752531 | 3699262 | 1342 5559 | 190 | 10 1000.77/1001.10 c 955s | 24 | 10778079 | 3707062 | 1342 5569 | 190 | 10 1002.86/1003.10 c 957s | 24 | 10806895 | 3714662 | 1342 5579 | 190 | 10 1004.86/1005.13 c 959s | 24 | 10837030 | 3722562 | 1342 5588 | 190 | 10 1006.86/1007.15 c 961s | 24 | 10864669 | 3730562 | 1342 5598 | 190 | 10 1008.86/1009.15 c 963s | 24 | 10886230 | 3738562 | 1342 5609 | 190 | 10 1010.86/1011.16 c 965s | 24 | 10913932 | 3746062 | 1342 5618 | 190 | 10 1012.87/1013.17 c 967s | 24 | 10938252 | 3754062 | 1342 5628 | 190 | 10 1014.86/1015.20 c 969s | 24 | 10965457 | 3762362 | 1342 5638 | 190 | 10 1016.96/1017.21 c 971s | 24 | 10988390 | 3770662 | 1342 5649 | 190 | 10 1018.96/1019.22 c 973s | 24 | 11007502 | 3778362 | 1342 5659 | 190 | 10 1020.95/1021.24 c 975s | 24 | 11027637 | 3786362 | 1342 5669 | 190 | 10 1022.95/1023.25 c 977s | 24 | 11048081 | 3794362 | 1342 5679 | 190 | 10 1024.96/1025.27 c 979s | 24 | 11071114 | 3802462 | 1342 5689 | 190 | 10 1026.95/1027.28 c 981s | 24 | 11094141 | 3810362 | 1342 5699 | 190 | 10 1028.95/1029.29 c 983s | 24 | 11117694 | 3818462 | 1342 5710 | 190 | 10 1031.05/1031.30 c 985s | 24 | 11139856 | 3826662 | 1342 5720 | 190 | 10 1033.05/1033.32 c 987s | 24 | 11167321 | 3834762 | 1342 5730 | 190 | 10 1035.05/1035.33 c 989s | 24 | 11191690 | 3843162 | 1342 5741 | 190 | 10 1037.06/1037.33 c 991s | 24 | 11216431 | 3851562 | 1342 5752 | 190 | 10 1039.05/1039.33 c 993s | 24 | 11241760 | 3859362 | 1342 5761 | 190 | 10 1041.05/1041.34 c 995s | 24 | 11269209 | 3867362 | 1342 5772 | 190 | 10 1043.05/1043.35 c 997s | 24 | 11296284 | 3875062 | 1342 5781 | 190 | 10 1045.05/1045.35 c 999s | 24 | 11323246 | 3882762 | 1342 5791 | 190 | 10 1047.05/1047.38 c 1002s | 24 | 11344100 | 3890862 | 1342 5801 | 190 | 10 1049.04/1049.40 c 1004s | 24 | 11364997 | 3898962 | 1342 5812 | 190 | 10 1051.14/1051.40 c 1006s | 24 | 11387741 | 3907162 | 1342 5822 | 190 | 10 1053.14/1053.42 c 1008s | 24 | 11413094 | 3914862 | 1342 5832 | 190 | 10 1055.14/1055.42 c 1010s | 24 | 11435106 | 3922862 | 1342 5842 | 190 | 10 1057.14/1057.44 c 1012s | 24 | 11453758 | 3929762 | 1342 5851 | 190 | 10 1059.15/1059.45 c 1014s | 24 | 11468149 | 3937262 | 1342 5860 | 190 | 10 1061.14/1061.46 c 1016s | 24 | 11489684 | 3945262 | 1342 5870 | 190 | 10 1063.14/1063.47 c 1018s | 24 | 11512748 | 3953662 | 1342 5881 | 190 | 10 1065.14/1065.47 c 1020s | 24 | 11534693 | 3962062 | 1342 5891 | 190 | 10 1067.23/1067.50 c 1022s | 24 | 11562170 | 3969462 | 1342 5900 | 190 | 10 1069.23/1069.50 c 1024s | 24 | 11581939 | 3976562 | 1342 5909 | 190 | 10 1071.14/1071.50 c 1026s | 24 | 11598646 | 3983462 | 1342 5918 | 190 | 10 1073.23/1073.52 c 1028s | 24 | 11622614 | 3990762 | 1342 5927 | 190 | 10 1075.23/1075.53 c 1030s | 24 | 11647995 | 3998362 | 1342 5937 | 190 | 10 1077.23/1077.54 c 1032s | 24 | 11677684 | 4005362 | 1342 5946 | 190 | 10 1079.23/1079.57 c 1034s | 24 | 11701153 | 4012062 | 1342 5954 | 190 | 10 1081.22/1081.60 c 1036s | 24 | 11722503 | 4018862 | 1342 5963 | 190 | 10 1083.33/1083.62 c 1038s | 24 | 11745827 | 4025662 | 1342 5971 | 190 | 10 1085.32/1085.62 c 1040s | 24 | 11768483 | 4032662 | 1342 5980 | 190 | 10 1087.32/1087.64 c 1042s | 24 | 11792629 | 4040562 | 1342 5990 | 190 | 10 1089.32/1089.66 c 1044s | 24 | 11814961 | 4048562 | 1342 6000 | 190 | 10 1091.32/1091.66 c 1046s | 24 | 11835439 | 4056362 | 1342 6010 | 190 | 10 1093.32/1093.68 c 1048s | 24 | 11860327 | 4065062 | 1342 6021 | 190 | 10 1095.42/1095.70 c 1050s | 24 | 11886004 | 4073162 | 1342 6031 | 190 | 10 1097.42/1097.71 c 1052s | 24 | 11910234 | 4080962 | 1342 6041 | 190 | 10 1099.42/1099.73 c 1054s | 24 | 11932047 | 4088762 | 1342 6050 | 190 | 10 1101.41/1101.75 c 1056s | 24 | 11950972 | 4096362 | 1342 6060 | 190 | 10 1103.41/1103.77 c 1058s | 24 | 11973934 | 4103962 | 1342 6070 | 190 | 10 1105.41/1105.78 c 1060s | 24 | 11994669 | 4111062 | 1342 6078 | 190 | 10 1107.42/1107.79 c 1062s | 24 | 12015227 | 4118562 | 1342 6088 | 190 | 10 1109.51/1109.82 c 1064s | 24 | 12036817 | 4126062 | 1342 6097 | 190 | 10 1111.51/1111.84 c 1066s | 24 | 12060236 | 4133562 | 1342 6107 | 190 | 10 1113.51/1113.85 c 1068s | 24 | 12082802 | 4141462 | 1342 6117 | 190 | 10 1115.51/1115.87 c 1070s | 24 | 12104631 | 4149362 | 1342 6127 | 190 | 10 1117.51/1117.88 c 1072s | 24 | 12125573 | 4157762 | 1342 6137 | 190 | 10 1119.61/1119.90 c 1074s | 24 | 12146600 | 4165762 | 1342 6147 | 190 | 10 1121.60/1121.91 c 1076s | 24 | 12166773 | 4173662 | 1342 6157 | 190 | 10 1123.60/1123.93 c 1078s | 24 | 12184173 | 4181662 | 1342 6168 | 190 | 10 1125.60/1125.94 c 1080s | 24 | 12205282 | 4189362 | 1342 6177 | 190 | 10 1127.60/1127.95 c 1082s | 24 | 12229410 | 4196662 | 1342 6187 | 190 | 10 1129.60/1129.95 c 1084s | 24 | 12255491 | 4204062 | 1342 6196 | 190 | 10 1131.60/1131.98 c 1086s | 24 | 12279097 | 4211862 | 1342 6206 | 190 | 10 1133.70/1134.00 c 1088s | 24 | 12305326 | 4219962 | 1342 6216 | 190 | 10 1135.70/1136.02 c 1090s | 24 | 12330056 | 4228062 | 1342 6226 | 190 | 10 1137.70/1138.03 c 1092s | 24 | 12353212 | 4236262 | 1342 6237 | 190 | 10 1139.69/1140.06 c 1094s | 24 | 12376978 | 4243962 | 1342 6247 | 190 | 10 1141.69/1142.09 c 1096s | 24 | 12398549 | 4251762 | 1342 6257 | 190 | 10 1143.80/1144.11 c 1098s | 24 | 12420030 | 4259162 | 1342 6266 | 190 | 10 1145.79/1146.11 c 1100s | 24 | 12441113 | 4266862 | 1342 6276 | 190 | 10 1147.79/1148.11 c 1102s | 24 | 12464420 | 4274562 | 1342 6285 | 190 | 10 1149.78/1150.12 c 1104s | 24 | 12483587 | 4282162 | 1342 6295 | 190 | 10 1151.79/1152.12 c 1106s | 24 | 12503756 | 4289862 | 1342 6305 | 190 | 10 1153.79/1154.13 c 1108s | 24 | 12528939 | 4297162 | 1342 6314 | 190 | 10 1155.80/1156.13 c 1110s | 24 | 12548226 | 4304662 | 1342 6324 | 190 | 10 1157.79/1158.14 c 1112s | 24 | 12566037 | 4312062 | 1342 6333 | 190 | 10 1159.79/1160.14 c 1114s | 24 | 12584831 | 4319562 | 1342 6343 | 190 | 10 1161.79/1162.16 c 1116s | 24 | 12606337 | 4327262 | 1342 6352 | 190 | 10 1163.79/1164.16 c 1118s | 24 | 12626408 | 4334762 | 1342 6362 | 190 | 10 1165.79/1166.17 c 1120s | 24 | 12643456 | 4342462 | 1342 6372 | 190 | 10 1167.79/1168.18 c 1122s | 24 | 12666032 | 4349962 | 1342 6381 | 190 | 10 1169.78/1170.18 c 1124s | 24 | 12688278 | 4357562 | 1342 6391 | 190 | 10 1171.88/1172.21 c 1126s | 24 | 12707643 | 4365062 | 1342 6401 | 190 | 10 1173.88/1174.21 c 1128s | 24 | 12726553 | 4372262 | 1342 6410 | 190 | 10 1175.88/1176.23 c 1130s | 24 | 12746341 | 4380162 | 1342 6420 | 190 | 10 1177.89/1178.24 c 1132s | 24 | 12765192 | 4387962 | 1342 6429 | 190 | 10 1179.88/1180.27 c 1134s | 24 | 12788757 | 4395062 | 1342 6438 | 190 | 10 1181.88/1182.28 c 1136s | 24 | 12805450 | 4402162 | 1342 6447 | 190 | 10 1183.88/1184.29 c 1138s | 24 | 12827503 | 4409662 | 1342 6457 | 190 | 10 1185.98/1186.32 c 1140s | 24 | 12852796 | 4417462 | 1342 6466 | 190 | 10 1187.98/1188.33 c 1142s | 24 | 12882623 | 4424862 | 1342 6476 | 190 | 10 1189.98/1190.35 c 1144s | 24 | 12907237 | 4432662 | 1342 6486 | 190 | 10 1191.97/1192.35 c 1146s | 24 | 12928485 | 4441262 | 1342 6496 | 190 | 10 1193.97/1194.38 c 1149s | 24 | 12951945 | 4449162 | 1342 6506 | 190 | 10 1196.07/1196.41 c 1151s | 24 | 12979775 | 4456062 | 1342 6515 | 190 | 10 1198.07/1198.44 c 1153s | 24 | 13009236 | 4463162 | 1342 6524 | 190 | 10 1200.07/1200.47 c 1155s | 24 | 13030078 | 4469962 | 1342 6533 | 190 | 10 1202.07/1202.48 c 1157s | 24 | 13047328 | 4476262 | 1342 6540 | 190 | 10 1204.07/1204.49 c 1159s | 24 | 13071898 | 4482962 | 1342 6549 | 190 | 10 1206.16/1206.50 c 1161s | 24 | 13091743 | 4489762 | 1342 6558 | 190 | 10 1208.16/1208.51 c 1163s | 24 | 13111996 | 4496462 | 1342 6566 | 190 | 10 1210.16/1210.53 c 1165s | 24 | 13136899 | 4503762 | 1342 6575 | 190 | 10 1212.16/1212.55 c 1167s | 24 | 13158470 | 4511262 | 1342 6585 | 190 | 10 1214.17/1214.56 c 1169s | 24 | 13183439 | 4518762 | 1342 6594 | 190 | 10 1216.16/1216.57 c 1171s | 24 | 13201150 | 4526262 | 1342 6604 | 190 | 10 1218.16/1218.59 c 1173s | 24 | 13223587 | 4534262 | 1342 6614 | 190 | 10 1220.26/1220.60 c 1175s | 24 | 13250091 | 4542362 | 1342 6624 | 190 | 10 1222.26/1222.61 c 1177s | 24 | 13273350 | 4550362 | 1342 6634 | 190 | 10 1224.26/1224.63 c 1179s | 24 | 13301473 | 4558362 | 1342 6644 | 190 | 10 1226.26/1226.66 c 1181s | 24 | 13327734 | 4565962 | 1342 6654 | 190 | 10 1228.26/1228.67 c 1183s | 24 | 13349025 | 4573262 | 1342 6663 | 190 | 10 1230.25/1230.68 c 1185s | 24 | 13373069 | 4581062 | 1342 6673 | 190 | 10 1232.35/1232.71 c 1187s | 24 | 13388136 | 4588562 | 1342 6682 | 190 | 10 1234.35/1234.73 c 1189s | 24 | 13407512 | 4595962 | 1342 6692 | 190 | 10 1236.35/1236.74 c 1191s | 24 | 13427370 | 4603062 | 1342 6701 | 190 | 10 1238.36/1238.76 c 1193s | 24 | 13444377 | 4610062 | 1342 6709 | 190 | 10 1240.35/1240.78 c 1195s | 24 | 13468126 | 4617862 | 1342 6719 | 190 | 10 1242.36/1242.79 c 1197s | 24 | 13491321 | 4625262 | 1342 6729 | 190 | 10 1244.45/1244.81 c 1199s | 24 | 13516751 | 4632562 | 1342 6738 | 190 | 10 1246.45/1246.83 c 1201s | 24 | 13540681 | 4640062 | 1342 6748 | 190 | 10 1248.45/1248.84 c 1203s | 24 | 13561816 | 4647162 | 1342 6757 | 190 | 10 1250.45/1250.86 c 1205s | 24 | 13577338 | 4654362 | 1342 6766 | 190 | 10 1252.45/1252.89 c 1207s | 24 | 13596305 | 4661762 | 1342 6775 | 190 | 10 1254.55/1254.90 c 1209s | 24 | 13621250 | 4669862 | 1342 6786 | 190 | 10 1256.55/1256.91 c 1211s | 24 | 13645162 | 4677562 | 1342 6795 | 190 | 10 1258.55/1258.92 c 1213s | 24 | 13672117 | 4685462 | 1342 6805 | 190 | 10 1260.54/1260.92 c 1215s | 24 | 13695771 | 4693462 | 1342 6816 | 190 | 10 1262.55/1262.95 c 1217s | 24 | 13720879 | 4701962 | 1342 6826 | 190 | 10 1264.54/1264.96 c 1219s | 24 | 13744327 | 4710562 | 1342 6837 | 190 | 10 1266.54/1266.97 c 1221s | 24 | 13763091 | 4718762 | 1342 6847 | 190 | 10 1268.54/1268.98 c 1223s | 24 | 13789530 | 4726562 | 1342 6857 | 190 | 10 1270.54/1270.98 c 1225s | 24 | 13811448 | 4734162 | 1342 6867 | 190 | 10 1272.64/1273.00 c 1227s | 24 | 13834389 | 4742662 | 1342 6877 | 190 | 10 1274.64/1275.01 c 1229s | 24 | 13858106 | 4750862 | 1342 6888 | 190 | 10 1276.63/1277.01 c 1231s | 24 | 13882995 | 4759262 | 1342 6898 | 190 | 10 1278.63/1279.03 c 1233s | 24 | 13905690 | 4767962 | 1342 6909 | 190 | 10 1280.63/1281.04 c 1235s | 24 | 13925931 | 4774962 | 1342 6919 | 190 | 10 1282.63/1283.05 c 1237s | 24 | 13943441 | 4781962 | 1342 6927 | 190 | 10 1284.63/1285.07 c 1239s | 24 | 13965643 | 4788962 | 1342 6936 | 190 | 10 1286.63/1287.09 c 1241s | 24 | 13992184 | 4797562 | 1342 6947 | 190 | 10 1288.63/1289.09 c 1243s | 24 | 14015564 | 4804462 | 1477 6956 | 190 | 10 1290.72/1291.11 c 1245s | 24 | 14034834 | 4811262 | 1477 6964 | 190 | 10 1292.72/1293.14 c 1247s | 24 | 14058042 | 4818462 | 1477 6972 | 190 | 10 1294.72/1295.17 c 1249s | 24 | 14080164 | 4825262 | 1477 6980 | 190 | 10 1296.72/1297.19 c 1251s | 24 | 14103762 | 4832162 | 1477 6988 | 190 | 10 1298.83/1299.21 c 1253s | 24 | 14123286 | 4838662 | 1477 6996 | 190 | 10 1300.82/1301.22 c 1255s | 24 | 14143030 | 4845362 | 1477 7003 | 190 | 10 1302.82/1303.23 c 1257s | 24 | 14162069 | 4852962 | 1477 7012 | 190 | 10 1304.81/1305.23 c 1259s | 24 | 14184413 | 4860062 | 1477 7020 | 190 | 10 1306.81/1307.26 c 1261s | 24 | 14209035 | 4867262 | 1477 7029 | 190 | 10 1308.81/1309.29 c 1263s | 24 | 14238829 | 4874762 | 1477 7037 | 190 | 10 1310.92/1311.30 c 1265s | 24 | 14263827 | 4882162 | 1477 7046 | 190 | 10 1312.91/1313.31 c 1267s | 24 | 14286890 | 4890162 | 1477 7055 | 190 | 10 1314.91/1315.31 c 1269s | 24 | 14307878 | 4898362 | 1477 7065 | 190 | 10 1316.91/1317.33 c 1271s | 24 | 14334245 | 4906162 | 1477 7074 | 190 | 10 1318.91/1319.35 c 1273s | 24 | 14353103 | 4914062 | 1477 7083 | 190 | 10 1320.90/1321.37 c 1275s | 24 | 14377206 | 4921962 | 1477 7092 | 190 | 10 1322.91/1323.37 c 1278s | 24 | 14396224 | 4929662 | 1477 7101 | 190 | 10 1324.90/1325.39 c 1280s | 24 | 14416354 | 4937262 | 1477 7110 | 190 | 10 1327.00/1327.40 c 1282s | 24 | 14437366 | 4945062 | 1477 7119 | 190 | 10 1329.00/1329.42 c 1284s | 24 | 14457557 | 4953062 | 1477 7128 | 190 | 10 1331.00/1331.45 c 1286s | 24 | 14476844 | 4960762 | 1477 7137 | 190 | 10 1333.00/1333.46 c 1288s | 24 | 14495401 | 4967562 | 1477 7145 | 190 | 10 1335.01/1335.46 c 1290s | 24 | 14515096 | 4974462 | 1477 7154 | 190 | 10 1337.00/1337.49 c 1292s | 24 | 14534257 | 4981962 | 1477 7162 | 190 | 10 1339.00/1339.49 c 1294s | 24 | 14547857 | 4989162 | 1477 7171 | 190 | 10 1341.10/1341.51 c 1296s | 24 | 14562841 | 4996462 | 1477 7179 | 190 | 10 1343.09/1343.54 c 1298s | 24 | 14582151 | 5003962 | 1477 7188 | 190 | 10 1345.09/1345.54 c 1300s | 24 | 14597045 | 5010962 | 1477 7196 | 190 | 10 1347.10/1347.55 c 1302s | 24 | 14615078 | 5018962 | 1477 7205 | 190 | 10 1349.09/1349.56 c 1304s | 24 | 14648776 | 5026662 | 1477 7214 | 190 | 10 1351.09/1351.58 c 1306s | 24 | 14680466 | 5034562 | 1477 7223 | 190 | 10 1353.09/1353.59 c 1308s | 24 | 14705284 | 5042162 | 1477 7232 | 190 | 10 1355.19/1355.61 c 1310s | 24 | 14724760 | 5049662 | 1477 7241 | 190 | 10 1357.19/1357.61 c 1312s | 24 | 14747499 | 5057162 | 1477 7250 | 190 | 10 1359.20/1359.62 c 1314s | 24 | 14765998 | 5064562 | 1477 7258 | 190 | 10 1359.30/1359.75 c 1314s | 25 | 14767796 | 5065098 | 1477 7259 | 190 | 10 1361.29/1361.77 c 1316s | 25 | 14787520 | 5072498 | 1477 7267 | 190 | 10 1363.28/1363.78 c 1318s | 25 | 14805098 | 5080198 | 1477 7276 | 190 | 10 1365.28/1365.78 c 1320s | 25 | 14825572 | 5087698 | 1477 7285 | 190 | 10 1367.38/1367.81 c 1322s | 25 | 14842754 | 5094998 | 1477 7293 | 190 | 10 1369.38/1369.84 c 1324s | 25 | 14861502 | 5102698 | 1477 7302 | 190 | 10 1371.39/1371.85 c 1326s | 25 | 14879447 | 5110198 | 1477 7311 | 190 | 10 1373.39/1373.89 c 1328s | 25 | 14897716 | 5117398 | 1477 7319 | 190 | 10 1375.49/1375.91 c 1330s | 25 | 14915888 | 5124898 | 1477 7328 | 190 | 10 1377.49/1377.93 c 1332s | 25 | 14937666 | 5132498 | 1477 7337 | 190 | 10 1379.49/1379.95 c 1334s | 25 | 14954659 | 5140198 | 1477 7346 | 190 | 10 1381.48/1381.96 c 1336s | 25 | 14975205 | 5148498 | 1477 7355 | 190 | 10 1383.49/1383.97 c 1338s | 25 | 14990875 | 5156298 | 1477 7364 | 190 | 10 1385.48/1385.98 c 1340s | 25 | 15009609 | 5164298 | 1477 7373 | 190 | 10 1387.48/1387.99 c 1342s | 25 | 15032642 | 5172398 | 1477 7382 | 190 | 10 1389.58/1390.02 c 1344s | 25 | 15051688 | 5180198 | 1477 7391 | 190 | 10 1391.58/1392.04 c 1346s | 25 | 15069388 | 5187898 | 1477 7400 | 190 | 10 1393.58/1394.05 c 1348s | 25 | 15085850 | 5195598 | 1477 7409 | 190 | 10 1395.58/1396.07 c 1350s | 25 | 15101646 | 5203598 | 1477 7418 | 190 | 10 1397.58/1398.09 c 1352s | 25 | 15120728 | 5211198 | 1477 7427 | 190 | 10 1399.58/1400.09 c 1354s | 25 | 15145668 | 5218198 | 1477 7435 | 190 | 10 1401.67/1402.11 c 1356s | 25 | 15171168 | 5224998 | 1477 7443 | 190 | 10 1403.67/1404.11 c 1358s | 25 | 15193545 | 5231698 | 1477 7451 | 190 | 10 1405.67/1406.11 c 1360s | 25 | 15213488 | 5238698 | 1477 7459 | 190 | 10 1407.68/1408.13 c 1362s | 25 | 15234317 | 5245898 | 1477 7468 | 190 | 10 1409.67/1410.14 c 1364s | 25 | 15251396 | 5252998 | 1477 7476 | 190 | 10 1411.67/1412.16 c 1366s | 25 | 15272497 | 5260898 | 1477 7485 | 190 | 10 1413.67/1414.16 c 1368s | 25 | 15296471 | 5268498 | 1477 7494 | 190 | 10 1415.77/1416.20 c 1370s | 25 | 15315392 | 5276198 | 1477 7503 | 190 | 10 1417.77/1418.20 c 1372s | 25 | 15336661 | 5283298 | 1477 7511 | 190 | 10 1419.78/1420.22 c 1374s | 25 | 15353141 | 5290498 | 1477 7519 | 190 | 10 1421.77/1422.23 c 1376s | 25 | 15370228 | 5297798 | 1477 7528 | 190 | 10 1423.77/1424.26 c 1378s | 25 | 15388744 | 5305398 | 1477 7537 | 190 | 10 1425.77/1426.26 c 1380s | 25 | 15406979 | 5313098 | 1477 7545 | 190 | 10 1427.77/1428.28 c 1382s | 25 | 15428804 | 5320598 | 1477 7554 | 190 | 10 1429.87/1430.30 c 1384s | 25 | 15451936 | 5328498 | 1477 7563 | 190 | 10 1431.77/1432.30 c 1386s | 25 | 15470562 | 5336198 | 1477 7572 | 190 | 10 1433.87/1434.33 c 1388s | 25 | 15490964 | 5344098 | 1477 7581 | 190 | 10 1435.87/1436.35 c 1390s | 25 | 15507568 | 5351098 | 1477 7590 | 190 | 10 1437.87/1438.38 c 1393s | 25 | 15523956 | 5358298 | 1477 7598 | 190 | 10 1439.87/1440.38 c 1395s | 25 | 15544715 | 5365598 | 1477 7607 | 190 | 10 1441.96/1442.40 c 1397s | 25 | 15565725 | 5372998 | 1477 7615 | 190 | 10 1443.97/1444.41 c 1399s | 25 | 15581361 | 5380398 | 1477 7624 | 190 | 10 1445.96/1446.42 c 1401s | 25 | 15600085 | 5387598 | 1477 7632 | 190 | 10 1447.96/1448.43 c 1403s | 25 | 15617527 | 5394898 | 1477 7641 | 190 | 10 1449.96/1450.44 c 1405s | 25 | 15640444 | 5401998 | 1477 7649 | 190 | 10 1451.96/1452.47 c 1407s | 25 | 15659462 | 5409298 | 1477 7658 | 190 | 10 1453.96/1454.48 c 1409s | 25 | 15679597 | 5416398 | 1477 7666 | 190 | 10 1456.07/1456.51 c 1411s | 25 | 15696604 | 5423398 | 1477 7674 | 190 | 10 1458.06/1458.52 c 1413s | 25 | 15723924 | 5430398 | 1477 7682 | 190 | 10 1460.06/1460.54 c 1415s | 25 | 15744366 | 5437598 | 1477 7690 | 190 | 10 1462.06/1462.56 c 1417s | 25 | 15766361 | 5445598 | 1477 7700 | 190 | 10 1464.06/1464.59 c 1419s | 25 | 15789636 | 5453898 | 1477 7709 | 190 | 10 1466.16/1466.60 c 1421s | 25 | 15812169 | 5461998 | 1477 7719 | 190 | 10 1468.17/1468.61 c 1423s | 25 | 15829788 | 5469398 | 1477 7727 | 190 | 10 1470.16/1470.63 c 1425s | 25 | 15849374 | 5476698 | 1477 7736 | 190 | 10 1472.16/1472.63 c 1427s | 25 | 15863725 | 5483398 | 1477 7744 | 190 | 10 1474.16/1474.63 c 1429s | 25 | 15876987 | 5490198 | 1477 7752 | 190 | 10 1476.16/1476.65 c 1431s | 25 | 15897440 | 5497498 | 1477 7760 | 190 | 10 1478.16/1478.66 c 1433s | 25 | 15914222 | 5504698 | 1477 7768 | 190 | 10 1480.17/1480.69 c 1435s | 25 | 15939186 | 5511498 | 1477 7776 | 190 | 10 1482.16/1482.69 c 1437s | 25 | 15961688 | 5518598 | 1477 7784 | 190 | 10 1484.26/1484.71 c 1439s | 25 | 15980947 | 5526098 | 1477 7793 | 190 | 10 1486.26/1486.72 c 1441s | 25 | 16001464 | 5533598 | 1477 7801 | 190 | 10 1488.26/1488.73 c 1443s | 25 | 16020189 | 5541098 | 1477 7810 | 190 | 10 1490.26/1490.73 c 1445s | 25 | 16037137 | 5548498 | 1477 7819 | 190 | 10 1492.26/1492.73 c 1447s | 25 | 16054013 | 5555698 | 1477 7827 | 190 | 10 1494.25/1494.74 c 1449s | 25 | 16069908 | 5563198 | 1477 7835 | 190 | 10 1496.25/1496.74 c 1451s | 25 | 16083963 | 5570698 | 1477 7844 | 190 | 10 1498.25/1498.75 c 1453s | 25 | 16099750 | 5578498 | 1477 7853 | 190 | 10 1500.25/1500.78 c 1455s | 25 | 16113810 | 5585498 | 1477 7861 | 190 | 10 1502.35/1502.81 c 1457s | 25 | 16128645 | 5592398 | 1477 7869 | 190 | 10 1504.36/1504.82 c 1459s | 25 | 16152859 | 5599598 | 1477 7878 | 190 | 10 1506.35/1506.82 c 1461s | 25 | 16169931 | 5606698 | 1477 7886 | 190 | 10 1508.35/1508.85 c 1463s | 25 | 16190948 | 5613498 | 1477 7894 | 190 | 10 1510.35/1510.87 c 1465s | 25 | 16215696 | 5620898 | 1477 7902 | 190 | 10 1512.35/1512.87 c 1467s | 25 | 16239151 | 5629198 | 1477 7912 | 190 | 10 1514.45/1514.90 c 1469s | 25 | 16260267 | 5637298 | 1477 7921 | 190 | 10 1516.35/1516.90 c 1471s | 25 | 16276689 | 5644698 | 1477 7930 | 190 | 10 1518.45/1518.91 c 1473s | 25 | 16295757 | 5652598 | 1477 7939 | 190 | 10 1520.45/1520.94 c 1475s | 25 | 16311618 | 5659298 | 1477 7947 | 190 | 10 1522.45/1522.96 c 1477s | 25 | 16327351 | 5666298 | 1477 7955 | 190 | 10 1524.45/1524.99 c 1479s | 25 | 16343533 | 5673298 | 1477 7963 | 190 | 10 1526.55/1527.01 c 1481s | 25 | 16362697 | 5680798 | 1477 7972 | 190 | 10 1528.55/1529.03 c 1483s | 25 | 16381032 | 5688598 | 1477 7981 | 190 | 10 1530.55/1531.03 c 1485s | 25 | 16398371 | 5695698 | 1477 7989 | 190 | 10 1532.55/1533.04 c 1487s | 25 | 16415394 | 5702198 | 1477 7997 | 190 | 10 1534.55/1535.05 c 1489s | 25 | 16430477 | 5708798 | 1477 8004 | 190 | 10 1536.55/1537.06 c 1491s | 25 | 16442862 | 5715098 | 1477 8011 | 190 | 10 1538.55/1539.08 c 1493s | 25 | 16458127 | 5721298 | 1477 8019 | 190 | 10 1540.54/1541.10 c 1495s | 25 | 16475424 | 5727698 | 1477 8026 | 190 | 10 1542.64/1543.10 c 1497s | 25 | 16489164 | 5734198 | 1477 8034 | 190 | 10 1544.65/1545.11 c 1499s | 25 | 16508809 | 5741198 | 1477 8042 | 190 | 10 1546.65/1547.14 c 1501s | 25 | 16524449 | 5747998 | 1477 8050 | 190 | 10 1548.65/1549.16 c 1503s | 25 | 16545912 | 5755898 | 1477 8059 | 190 | 10 1550.66/1551.17 c 1505s | 25 | 16568360 | 5763198 | 1477 8067 | 190 | 10 1552.65/1553.18 c 1507s | 25 | 16587827 | 5770698 | 1477 8076 | 190 | 10 1554.65/1555.19 c 1509s | 25 | 16607930 | 5778098 | 1477 8085 | 190 | 10 1556.65/1557.19 c 1511s | 25 | 16627366 | 5785498 | 1477 8093 | 190 | 10 1558.75/1559.20 c 1513s | 25 | 16647288 | 5793298 | 1477 8102 | 190 | 10 1560.75/1561.20 c 1515s | 25 | 16665579 | 5800998 | 1477 8111 | 190 | 10 1562.76/1563.21 c 1517s | 25 | 16683261 | 5808198 | 1477 8120 | 190 | 10 1564.75/1565.21 c 1519s | 25 | 16705276 | 5814998 | 1477 8128 | 190 | 10 1566.75/1567.23 c 1521s | 25 | 16723347 | 5821298 | 1477 8135 | 190 | 10 1568.75/1569.23 c 1523s | 25 | 16745259 | 5827698 | 1477 8143 | 190 | 10 1570.75/1571.24 c 1525s | 25 | 16763548 | 5833898 | 1477 8150 | 190 | 10 1572.75/1573.25 c 1527s | 25 | 16777451 | 5840698 | 1477 8158 | 190 | 10 1574.75/1575.27 c 1529s | 25 | 16797709 | 5847698 | 1477 8166 | 190 | 10 1576.85/1577.30 c 1531s | 25 | 16814807 | 5854798 | 1477 8174 | 190 | 10 1578.85/1579.31 c 1533s | 25 | 16831835 | 5861398 | 1477 8182 | 190 | 10 1580.84/1581.33 c 1535s | 25 | 16849754 | 5868798 | 1477 8191 | 190 | 10 1582.84/1583.35 c 1537s | 25 | 16870189 | 5876398 | 1477 8200 | 190 | 10 1584.84/1585.36 c 1539s | 25 | 16885263 | 5884298 | 1477 8209 | 190 | 10 1586.85/1587.38 c 1542s | 25 | 16900415 | 5891698 | 1477 8217 | 190 | 10 1588.94/1589.40 c 1544s | 25 | 16917912 | 5898698 | 1477 8225 | 190 | 10 1590.94/1591.43 c 1546s | 25 | 16934451 | 5905898 | 1477 8234 | 190 | 10 1592.94/1593.46 c 1548s | 25 | 16953327 | 5913298 | 1477 8242 | 190 | 10 1594.94/1595.47 c 1550s | 25 | 16971068 | 5919598 | 1477 8250 | 190 | 10 1596.94/1597.49 c 1552s | 25 | 16989398 | 5926698 | 1477 8258 | 190 | 10 1598.95/1599.49 c 1554s | 25 | 17004438 | 5933498 | 1477 8266 | 190 | 10 1601.04/1601.51 c 1556s | 25 | 17024829 | 5941298 | 1477 8275 | 190 | 10 1603.04/1603.53 c 1558s | 25 | 17039742 | 5948798 | 1477 8284 | 190 | 10 1605.04/1605.56 c 1560s | 25 | 17057223 | 5956498 | 1477 8293 | 190 | 10 1607.04/1607.57 c 1562s | 25 | 17075121 | 5964198 | 1477 8301 | 190 | 10 1609.04/1609.59 c 1564s | 25 | 17096881 | 5971898 | 1477 8310 | 190 | 10 1611.05/1611.59 c 1566s | 25 | 17116361 | 5979298 | 1477 8319 | 190 | 10 1613.14/1613.60 c 1568s | 25 | 17140952 | 5986598 | 1477 8328 | 190 | 10 1615.14/1615.62 c 1570s | 25 | 17163357 | 5993498 | 1477 8336 | 190 | 10 1617.14/1617.64 c 1572s | 25 | 17183601 | 6000598 | 1477 8344 | 190 | 10 1619.14/1619.64 c 1574s | 25 | 17204196 | 6007598 | 1477 8352 | 190 | 10 1621.14/1621.64 c 1576s | 25 | 17228168 | 6014798 | 1477 8361 | 190 | 10 1623.14/1623.67 c 1578s | 25 | 17243235 | 6022198 | 1477 8369 | 190 | 10 1625.14/1625.67 c 1580s | 25 | 17258723 | 6030098 | 1477 8379 | 190 | 10 1627.13/1627.68 c 1582s | 25 | 17283840 | 6036798 | 1477 8386 | 190 | 10 1629.13/1629.68 c 1584s | 25 | 17304702 | 6044098 | 1477 8395 | 190 | 10 1631.13/1631.69 c 1586s | 25 | 17324368 | 6051698 | 1477 8404 | 190 | 10 1633.23/1633.70 c 1588s | 25 | 17345132 | 6058798 | 1477 8412 | 190 | 10 1635.24/1635.70 c 1590s | 25 | 17361443 | 6066698 | 1477 8421 | 190 | 10 1637.23/1637.72 c 1592s | 25 | 17377700 | 6074598 | 1477 8431 | 190 | 10 1639.23/1639.72 c 1594s | 25 | 17393438 | 6082298 | 1477 8440 | 190 | 10 1641.23/1641.73 c 1596s | 25 | 17413502 | 6089298 | 1477 8448 | 190 | 10 1643.23/1643.74 c 1598s | 25 | 17439359 | 6096298 | 1477 8456 | 190 | 10 1645.24/1645.75 c 1600s | 25 | 17460100 | 6103698 | 1477 8465 | 190 | 10 1647.23/1647.77 c 1602s | 25 | 17478328 | 6110898 | 1477 8474 | 190 | 10 1649.23/1649.78 c 1604s | 25 | 17494217 | 6117698 | 1477 8482 | 190 | 10 1651.23/1651.79 c 1606s | 25 | 17515710 | 6124698 | 1477 8490 | 190 | 10 1653.33/1653.82 c 1608s | 25 | 17536987 | 6131498 | 1477 8498 | 190 | 10 1655.33/1655.82 c 1610s | 25 | 17557389 | 6138298 | 1477 8506 | 190 | 10 1657.33/1657.85 c 1612s | 25 | 17576667 | 6144798 | 1477 8514 | 190 | 10 1659.33/1659.87 c 1614s | 25 | 17597015 | 6151398 | 1477 8522 | 190 | 10 1661.43/1661.90 c 1616s | 25 | 17616679 | 6158298 | 1477 8530 | 190 | 10 1663.43/1663.92 c 1618s | 25 | 17633071 | 6165298 | 1477 8538 | 190 | 10 1665.43/1665.94 c 1620s | 25 | 17651302 | 6172398 | 1477 8547 | 190 | 10 1667.43/1667.95 c 1622s | 25 | 17672645 | 6179598 | 1477 8555 | 190 | 10 1669.44/1669.98 c 1624s | 25 | 17690643 | 6186798 | 1477 8564 | 190 | 10 1671.43/1671.99 c 1626s | 25 | 17716303 | 6193498 | 1477 8571 | 190 | 10 1673.53/1674.01 c 1628s | 25 | 17735861 | 6200498 | 1477 8580 | 190 | 10 1675.53/1676.03 c 1630s | 25 | 17750161 | 6207298 | 1477 8588 | 190 | 10 1677.53/1678.06 c 1632s | 25 | 17766432 | 6214498 | 1477 8596 | 190 | 10 1679.53/1680.08 c 1634s | 25 | 17780716 | 6221498 | 1477 8605 | 190 | 10 1681.54/1682.09 c 1636s | 25 | 17795159 | 6228198 | 1477 8613 | 190 | 10 1683.53/1684.09 c 1638s | 25 | 17810219 | 6234998 | 1477 8621 | 190 | 10 1685.53/1686.09 c 1640s | 25 | 17821960 | 6241798 | 1477 8629 | 190 | 10 1687.63/1688.10 c 1642s | 25 | 17834540 | 6248598 | 1477 8637 | 190 | 10 1689.63/1690.13 c 1644s | 25 | 17851446 | 6255498 | 1477 8645 | 190 | 10 1691.63/1692.16 c 1646s | 25 | 17866691 | 6262398 | 1477 8653 | 190 | 10 1693.64/1694.17 c 1648s | 25 | 17880135 | 6268898 | 1477 8661 | 190 | 10 1695.63/1696.20 c 1650s | 25 | 17893310 | 6275798 | 1477 8669 | 190 | 10 1697.73/1698.20 c 1652s | 25 | 17907651 | 6282498 | 1477 8677 | 190 | 10 1699.73/1700.22 c 1654s | 25 | 17922853 | 6289398 | 1477 8685 | 190 | 10 1701.73/1702.23 c 1656s | 25 | 17939888 | 6296598 | 1477 8694 | 190 | 10 1703.73/1704.24 c 1658s | 25 | 17955566 | 6303798 | 1477 8702 | 190 | 10 1705.73/1706.26 c 1660s | 25 | 17974492 | 6311398 | 1477 8711 | 190 | 10 1707.73/1708.27 c 1662s | 25 | 17991162 | 6319198 | 1477 8720 | 190 | 10 1709.73/1710.29 c 1664s | 25 | 18008354 | 6326898 | 1477 8729 | 190 | 10 1711.72/1712.29 c 1666s | 25 | 18026279 | 6334398 | 1477 8737 | 190 | 10 1713.82/1714.30 c 1668s | 25 | 18044132 | 6341598 | 1477 8746 | 190 | 10 1715.82/1716.32 c 1670s | 25 | 18064411 | 6349098 | 1477 8754 | 190 | 10 1717.83/1718.33 c 1672s | 25 | 18085774 | 6356398 | 1477 8763 | 190 | 10 1719.82/1720.36 c 1674s | 25 | 18109188 | 6362698 | 1477 8770 | 190 | 10 1721.82/1722.37 c 1677s | 25 | 18129473 | 6369598 | 1477 8778 | 190 | 10 1723.82/1724.38 c 1679s | 25 | 18147594 | 6376298 | 1477 8786 | 190 | 10 1725.82/1726.38 c 1681s | 25 | 18167208 | 6383098 | 1477 8794 | 190 | 10 1727.82/1728.38 c 1683s | 25 | 18183063 | 6390098 | 1477 8802 | 190 | 10 1729.93/1730.41 c 1685s | 25 | 18203760 | 6396998 | 1477 8811 | 190 | 10 1731.92/1732.44 c 1687s | 25 | 18220680 | 6404298 | 1477 8819 | 190 | 10 1733.92/1734.47 c 1689s | 25 | 18243082 | 6412498 | 1477 8829 | 190 | 10 1735.92/1736.48 c 1691s | 25 | 18263317 | 6419598 | 1477 8837 | 190 | 10 1737.92/1738.49 c 1693s | 25 | 18279521 | 6426298 | 1477 8845 | 190 | 10 1740.02/1740.50 c 1695s | 25 | 18303314 | 6433298 | 1477 8853 | 190 | 10 1742.03/1742.51 c 1697s | 25 | 18322682 | 6440098 | 1477 8861 | 190 | 10 1744.02/1744.53 c 1699s | 25 | 18340005 | 6446898 | 1477 8869 | 190 | 10 1746.02/1746.57 c 1701s | 25 | 18361994 | 6453798 | 1477 8877 | 190 | 10 1748.02/1748.59 c 1703s | 25 | 18385208 | 6460698 | 1477 8885 | 190 | 10 1750.12/1750.60 c 1705s | 25 | 18409102 | 6467798 | 1477 8893 | 190 | 10 1752.12/1752.63 c 1707s | 25 | 18434574 | 6474898 | 1477 8902 | 190 | 10 1754.12/1754.64 c 1709s | 25 | 18455857 | 6481798 | 1477 8910 | 190 | 10 1756.12/1756.64 c 1711s | 25 | 18481918 | 6488498 | 1477 8917 | 190 | 10 1758.12/1758.67 c 1713s | 25 | 18503263 | 6495098 | 1477 8925 | 190 | 10 1760.12/1760.68 c 1715s | 25 | 18521066 | 6501298 | 1477 8932 | 190 | 10 1762.12/1762.69 c 1717s | 25 | 18539324 | 6507598 | 1477 8940 | 190 | 10 1764.11/1764.69 c 1719s | 25 | 18567212 | 6514298 | 1477 8947 | 190 | 10 1766.22/1766.71 c 1721s | 25 | 18592179 | 6521198 | 1477 8955 | 190 | 10 1768.21/1768.72 c 1723s | 25 | 18610859 | 6527998 | 1477 8963 | 190 | 10 1770.21/1770.72 c 1725s | 25 | 18632993 | 6534498 | 1477 8971 | 190 | 10 1772.21/1772.74 c 1727s | 25 | 18652803 | 6541098 | 1477 8978 | 190 | 10 1774.21/1774.76 c 1729s | 25 | 18674459 | 6547698 | 1477 8986 | 190 | 10 1776.21/1776.77 c 1731s | 25 | 18692820 | 6554098 | 1477 8994 | 190 | 10 1778.22/1778.78 c 1733s | 25 | 18705760 | 6560298 | 1477 9001 | 190 | 10 1780.21/1780.78 c 1735s | 25 | 18726987 | 6567398 | 1477 9009 | 190 | 10 1782.31/1782.81 c 1737s | 25 | 18748160 | 6574198 | 1477 9017 | 190 | 10 1784.31/1784.84 c 1739s | 25 | 18768344 | 6580998 | 1477 9025 | 190 | 10 1786.31/1786.87 c 1741s | 25 | 18786761 | 6587498 | 1477 9032 | 190 | 10 1788.31/1788.87 c 1743s | 25 | 18808689 | 6593698 | 1477 9039 | 190 | 10 1790.32/1790.88 c 1745s | 25 | 18832004 | 6600398 | 1477 9047 | 190 | 10 1792.31/1792.88 c 1747s | 25 | 18858281 | 6607398 | 1477 9055 | 190 | 10 1794.31/1794.89 c 1749s | 25 | 18881108 | 6614298 | 1477 9063 | 190 | 10 1796.41/1796.90 c 1751s | 25 | 18903201 | 6621198 | 1477 9072 | 190 | 10 1798.41/1798.90 c 1753s | 25 | 18927416 | 6627998 | 1477 9080 | 190 | 10
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-4099977-1466209748/watcher-4099977-1466209748 -o /tmp/evaluation-result-4099977-1466209748/solver-4099977-1466209748 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099977-1466209748.opb pid=12030 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.09 2.08 2.01 3/179 12033 /proc/meminfo: memFree=30743128/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 2573 0 0 0 0 0 0 0 20 0 4 0 23020461 707194880 2934 33554432000 4194304 16246674 140737160726512 140737160725936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 173423 2944 441 2943 0 170317 0 [pid=12033/tid=12034] ppid=12030 vsize=709052 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 726069248 3005 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=713148 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 730263552 3022 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=717244 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 734457856 3038 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.09 2.08 2.01 3/179 12033 /proc/meminfo: memFree=30743128/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 21588 0 0 0 6 3 0 0 20 0 4 0 23020461 1247350784 21936 33554432000 4194304 16246674 140737160726512 140737160709504 5531957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 304529 21949 788 2943 0 301423 0 [pid=12033/tid=12034] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 21959 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 21969 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 21976 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1218116 [startup+0.20044 s] /proc/loadavg: 2.09 2.08 2.01 3/179 12033 /proc/meminfo: memFree=30743128/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 41227 0 0 0 14 5 0 0 20 0 4 0 23020461 1247350784 41576 33554432000 4194304 16246674 140737160726512 140737160709504 5721660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 304529 41589 790 2943 0 301423 0 [pid=12033/tid=12034] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 41592 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 41596 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 41604 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300471 s] /proc/loadavg: 2.09 2.08 2.01 3/179 12033 /proc/meminfo: memFree=30743128/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 62635 0 0 0 20 9 0 0 20 0 4 0 23020461 1247350784 62983 33554432000 4194304 16246674 140737160726512 140737160709504 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 304529 62990 790 2943 0 301423 0 [pid=12033/tid=12034] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 62992 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 62997 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 63005 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700349 s] /proc/loadavg: 2.09 2.08 2.01 3/179 12033 /proc/meminfo: memFree=30743128/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 149403 0 0 0 48 21 0 0 20 0 4 0 23020461 1247350784 149751 33554432000 4194304 16246674 140737160726512 140737160709504 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 304529 149757 790 2943 0 301423 0 [pid=12033/tid=12034] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 149762 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 149766 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1247350784 149774 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1218116 [startup+1.50035 s] /proc/loadavg: 2.09 2.08 2.01 4/183 12037 /proc/meminfo: memFree=29833512/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 245855 0 0 0 114 35 0 0 20 0 4 0 23020461 1248399360 246181 33554432000 4194304 16246674 140737160726512 140737160725824 5709848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 304785 246181 850 2943 0 301679 0 [pid=12033/tid=12034] ppid=12030 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1248399360 246181 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1248399360 246181 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1248399360 246181 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10039 s] /proc/loadavg: 2.16 2.09 2.01 3/183 12037 /proc/meminfo: memFree=29673676/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 267461 0 0 0 271 38 0 0 20 0 4 0 23020461 1337528320 267787 33554432000 4194304 16246674 140737160726512 140737160708416 6011992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 326545 267787 851 2943 0 323439 0 [pid=12033/tid=12034] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267787 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267787 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267787 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1306180 [startup+6.30041 s] /proc/loadavg: 2.16 2.09 2.01 3/183 12037 /proc/meminfo: memFree=29672256/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 267599 0 0 0 591 38 0 0 20 0 4 0 23020461 1337528320 267925 33554432000 4194304 16246674 140737160726512 140737160708416 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 326545 267925 852 2943 0 323439 0 [pid=12033/tid=12034] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267925 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267925 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267925 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.14 2.09 2.01 3/183 12037 /proc/meminfo: memFree=29673096/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 267630 0 0 0 1231 38 0 0 20 0 4 0 23020461 1337528320 267956 33554432000 4194304 16246674 140737160726512 140737160708416 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 326545 267956 852 2943 0 323439 0 [pid=12033/tid=12034] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267956 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267956 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1337528320 267956 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1306180 [startup+25.5005 s] /proc/loadavg: 2.12 2.08 2.01 3/183 12037 /proc/meminfo: memFree=29662396/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 267898 0 0 0 2510 38 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 140737160708416 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 326801 268224 852 2943 0 323695 0 [pid=12033/tid=12034] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.16 2.09 2.01 3/183 12037 /proc/meminfo: memFree=29623988/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 267898 0 0 0 5070 38 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 140737160708416 5599986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 326801 268224 852 2943 0 323695 0 [pid=12033/tid=12034] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1338576896 268224 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1307204 [startup+102.3 s] /proc/loadavg: 2.06 2.08 2.01 3/184 12041 /proc/meminfo: memFree=29396028/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 268319 0 0 0 10189 39 0 0 20 0 4 0 23020461 1340674048 268645 33554432000 4194304 16246674 140737160726512 140737160708416 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 327313 268645 852 2943 0 324207 0 [pid=12033/tid=12034] ppid=12030 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1340674048 268645 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1340674048 268645 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1340674048 268645 33554432000 4194304 16246674 140737160726512 139800044629168 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) 1309252 ################ # More data... # ################ /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272578 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.11 2.16 2.09 3/183 12073 /proc/meminfo: memFree=29204476/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1361.89 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272361 0 0 0 136140 49 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 5852145 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1323588 [startup+1422.3 s] /proc/loadavg: 2.22 2.17 2.10 3/183 12075 /proc/meminfo: memFree=29204520/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1421.87 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 142137 50 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1323588 [startup+1482.3 s] /proc/loadavg: 2.21 2.17 2.10 3/183 12076 /proc/meminfo: memFree=29204656/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1481.86 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 148136 50 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1323588 [startup+1542.31 s] /proc/loadavg: 2.25 2.18 2.10 3/183 12077 /proc/meminfo: memFree=29204652/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1541.85 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 154135 50 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160709512 5601477 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1323588 [startup+1602.3 s] /proc/loadavg: 2.10 2.15 2.09 3/183 12078 /proc/meminfo: memFree=29204524/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1601.84 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 160133 51 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160725688 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1323588 [startup+1662.3 s] /proc/loadavg: 2.03 2.12 2.08 3/183 12079 /proc/meminfo: memFree=29204528/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1661.83 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 166131 52 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 5659504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1323588 [startup+1722.3 s] /proc/loadavg: 2.12 2.13 2.09 3/183 12081 /proc/meminfo: memFree=29204288/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1721.82 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 172130 52 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1323588 [startup+1782.3 s] /proc/loadavg: 2.14 2.13 2.09 3/183 12082 /proc/meminfo: memFree=29204160/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1781.81 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 178129 52 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1323588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.12 2.09 3/183 12131 /proc/meminfo: memFree=30128820/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1800.01 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 179949 52 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1323588 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 12033 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.12 2.09 3/183 12131 /proc/meminfo: memFree=30128820/32872528 swapFree=534252/566956 [pid=12033] ppid=12030 vsize=1323588 CPUtime=1800.01 cores=0,2,4,6 /proc/12033/stat : 12033 (toysat) R 12030 12033 10353 0 -1 4202496 272388 0 0 0 179949 52 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 140737160708416 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12033/statm: 330897 272579 854 2943 0 327791 0 [pid=12033/tid=12034] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12034/stat : 12034 (toysat) S 12030 12033 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800142130416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12033/tid=12035] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12035/stat : 12035 (toysat) S 12030 12033 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800131640560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12033/tid=12036] ppid=12030 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12033/task/12036/stat : 12036 (toysat) S 12030 12033 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020461 1355354112 272579 33554432000 4194304 16246674 140737160726512 139800044629168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1323588 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.5 CPU system time (s): 0.52592 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1323588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.52592 maximum resident set size= 1090316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272388 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= 404 involuntary context switches= 1855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.50116 second user time and 8.35873 second system time The end
Begin job on node138 at 2016-06-18 02:29:08 IDJOB=4099977 IDBENCH=1558 IDSOLVER=2542 FILE ID=node138/4099977-1466209748 RUNJOBID= node138-1466206053-10369 PBS_JOBID= 19918139 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099977-1466209748/watcher-4099977-1466209748 -o /tmp/evaluation-result-4099977-1466209748/solver-4099977-1466209748 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099977-1466209748.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ad6a54c52a655cd32798948a75156c0a RANDOM SEED=297808864 node138.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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 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.395 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.395 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.395 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.395 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.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.54 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.395 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: 30744284 kB Buffers: 43412 kB Cached: 108356 kB SwapCached: 1056 kB Active: 789300 kB Inactive: 63720 kB Active(anon): 702600 kB Inactive(anon): 1192 kB Active(file): 86700 kB Inactive(file): 62528 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 39484 kB Writeback: 0 kB AnonPages: 1267680 kB Mapped: 10868 kB Shmem: 0 kB Slab: 574256 kB SReclaimable: 17252 kB SUnreclaim: 557004 kB KernelStack: 1520 kB PageTables: 7448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1858512 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node138 at 2016-06-18 02:59:09