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.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
| MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1053 |
| Best CPU time to get the best result obtained on this benchmark | 0.405938 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1053 |
| Optimality of the best value was proved | YES |
| Number of variables | 304 |
| Total number of constraints | 671 |
| Number of constraints which are clauses | 671 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 304 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 12887 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 12887 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-06T18:32:18+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-4079546-1465230738.opb"] 0.00/0.01 c use --random-gen="2924628263 1272845313 3676910501 2797889681 1285637972 2312460030 2831357554 3353684954 3276441832 3464706702 4216810441 572099077 787374532 224857638 747796801 3068396126 2239924627 155376530 2026839787 2865388612 3701756083 2050747790 2353165160 2382579982 1914232325 1888905447 4142470054 651995550 2769631514 3528876552 3690074232 4158681778 1881203058 979529404 1989233903 3052824948 2767465207 4011678572 3967547461 1137955462 670479395 3115892218 196845727 1888893637 1317077973 54792909 2989899105 1930153856 3994183634 3296315578 2731804593 3040280713 2492720227 1238644747 495508504 24499243 2008124241 3204274987 520388847 475240719 3481077959 3978521418 2873234357 192593550 2904690693 1870469633 2312213416 3591737082 218111337 2324061715 3499813642 544949150 4247475025 4279809708 2382966166 1230601587 4138203885 589574771 3542725832 2005137289 1563257264 838856060 519491344 3879831393 3969030209 1639099530 619267705 185352310 2795950161 682422558 4259230415 2681574242 1402300592 3481599595 2212093425 4034057776 2792392474 33769927 3053961973 1041623021 3585566286 2913818287 4151870552 661920189 2529935506 1959997442 2322300697 4017758959 578119844 1061459060 311069637 3817670254 3119740441 130611317 1325278387 3742283573 3403216553 74823303 317927899 2105199101 2814723924 3810243291 353944496 3043719909 3258960210 270877761 1801802462 4132499826 1007555011 1231347374 643637049 608535294 216018119 2409170711 46473830 3625589737 3561597464 3413357220 2257215179 3491805656 2431480165 2795885876 799016680 2441928072 4075675060 1191746125 4044076076 4032147465 2442553688 1020067901 3651030668 1055526431 3466876486 2452058784 4270772126 1866922155 1026995991 3581604496 1895846467 715860997 388603508 1989343019 2864316596 2444272244 3800023836 1197696453 697371713 3667696781 871850632 996590792 2931442091 3208902889 557752072 2650291194 2690009997 3183346207 265126783 1537579334 3020470971 2414493937 300873584 1863184646 599938751 1234450722 902250901 1259796932 723258054 1354920209 4286422781 3305855438 2808818388 3395454443 2507232859 3969083942 4208812109 2420315006 846130810 266002155 2798959940 1002073754 2337616687 1786950522 628909706 1812257033 3380628799 1469197737 2222248593 2808471388 374424326 773097169 1748600295 3813585380 2410933442 1726135291 3269540988 3313051500 3918072240 451221910 1567445449 144060705 4110671097 4271852115 3536247936 1624626632 782249254 310251522 3177192160 4068632541 2510626858 1831087680 556347733 1951657760 3289162673 4209778781 1756333085 1439253835 1400103222 2319672836 2862941279 1802561323 1252259732 408852568 3305348046 3988190205 1019520092 359070247 2083889080 3103055962 2427843056 2530956687 2418933932 1873666214 1774970292 2981933232 3261148314 3414965485 255 362436" option to reproduce the execution 0.00/0.02 c #vars 304 0.00/0.02 c #constraints 671 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 0 0.00/0.03 c 0.0s | 0 | 267 | 0 | 323 0 | 1 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 267 0.00/0.03 c #random_decision = 3 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 12277 0.00/0.03 c BCD2: updating upper bound: 12887 -> 12276 0.00/0.04 c BCD2: 0 <= obj <= 12276 0.00/0.04 c BCD2: #cores=0, #unrelaxed=304, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 0 0.00/0.04 c 0.0s | 0 | 169 | 0 | 323 0 | 1 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 169 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=42 0.00/0.04 c lower bound updated to 42 0.00/0.04 c BCD2: 42 <= obj <= 12276 0.00/0.04 c BCD2: #cores=1, #unrelaxed=301, #relaxed=3, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 1 0.00/0.04 c 0.0s | 0 | 172 | 0 | 323 0 | 1 | 1 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 172 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=42 0.00/0.04 c lower bound updated to 84 0.00/0.04 c BCD2: 84 <= obj <= 12276 0.00/0.04 c BCD2: #cores=2, #unrelaxed=298, #relaxed=6, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 2 0.00/0.04 c 0.0s | 0 | 173 | 0 | 323 0 | 1 | 2 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 173 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=42 0.00/0.04 c lower bound updated to 126 0.00/0.05 c BCD2: 126 <= obj <= 12276 0.00/0.05 c BCD2: #cores=3, #unrelaxed=297, #relaxed=7, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 2 0.00/0.05 c 0.0s | 0 | 180 | 0 | 323 0 | 1 | 2 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 180 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=42 0.00/0.05 c lower bound updated to 168 0.00/0.05 c BCD2: 168 <= obj <= 12276 0.00/0.05 c BCD2: #cores=4, #unrelaxed=293, #relaxed=11, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 3 0.00/0.05 c 0.0s | 0 | 185 | 1 | 323 0 | 1 | 3 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 185 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 22: cost of the new core is >=42 0.00/0.05 c lower bound updated to 210 0.00/0.05 c BCD2: 210 <= obj <= 12276 0.00/0.05 c BCD2: #cores=5, #unrelaxed=271, #relaxed=33, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 3 0.00/0.05 c 0.0s | 0 | 162 | 0 | 323 0 | 1 | 3 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 162 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=34 0.00/0.05 c lower bound updated to 244 0.00/0.06 c BCD2: 244 <= obj <= 12276 0.00/0.06 c BCD2: #cores=6, #unrelaxed=268, #relaxed=36, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 323 0 | 1 | 4 0.00/0.06 c 0.0s | 0 | 161 | 0 | 323 0 | 1 | 4 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 = 161 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=34 0.00/0.06 c lower bound updated to 278 0.00/0.06 c BCD2: 278 <= obj <= 12276 0.00/0.06 c BCD2: #cores=7, #unrelaxed=265, #relaxed=39, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 323 0 | 1 | 5 0.00/0.06 c 0.0s | 0 | 160 | 0 | 323 0 | 1 | 5 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 = 160 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=34 0.00/0.06 c lower bound updated to 312 0.00/0.06 c BCD2: 312 <= obj <= 12276 0.00/0.06 c BCD2: #cores=8, #unrelaxed=262, #relaxed=42, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 323 0 | 1 | 6 0.00/0.06 c 0.0s | 0 | 159 | 0 | 323 0 | 1 | 6 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 = 159 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 3: cost of the new core is >=34 0.00/0.06 c lower bound updated to 346 0.00/0.06 c BCD2: 346 <= obj <= 12276 0.00/0.06 c BCD2: #cores=9, #unrelaxed=259, #relaxed=45, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 323 0 | 1 | 7 0.00/0.07 c 0.0s | 0 | 158 | 0 | 323 0 | 1 | 7 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 = 158 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 9: cost of the new core is >=34 0.00/0.07 c lower bound updated to 380 0.00/0.07 c BCD2: 380 <= obj <= 12276 0.00/0.07 c BCD2: #cores=10, #unrelaxed=250, #relaxed=54, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 323 0 | 1 | 8 0.00/0.07 c 0.0s | 0 | 152 | 0 | 323 0 | 1 | 8 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 = 152 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 13: cost of the new core is >=34 0.00/0.07 c lower bound updated to 414 0.00/0.07 c BCD2: 414 <= obj <= 12276 0.00/0.07 c BCD2: #cores=11, #unrelaxed=237, #relaxed=67, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 323 0 | 1 | 8 0.00/0.07 c 0.0s | 0 | 142 | 0 | 323 0 | 1 | 8 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 = 142 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 9: cost of the new core is >=34 0.00/0.07 c lower bound updated to 448 0.00/0.08 c BCD2: 448 <= obj <= 12276 0.00/0.08 c BCD2: #cores=12, #unrelaxed=228, #relaxed=76, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 323 0 | 1 | 9 0.00/0.08 c 0.0s | 0 | 136 | 0 | 323 0 | 1 | 9 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 = 136 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 12: cost of the new core is >=34 0.00/0.08 c lower bound updated to 482 0.00/0.08 c BCD2: 482 <= obj <= 12276 0.00/0.08 c BCD2: #cores=13, #unrelaxed=216, #relaxed=88, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 323 0 | 1 | 9 0.00/0.08 c 0.0s | 0 | 163 | 0 | 323 0 | 1 | 9 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 = 163 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 18: cost of the new core is >=32 0.00/0.08 c lower bound updated to 514 0.00/0.08 c BCD2: 514 <= obj <= 12276 0.00/0.08 c BCD2: #cores=14, #unrelaxed=198, #relaxed=106, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 323 0 | 1 | 10 0.00/0.08 c 0.0s | 0 | 148 | 0 | 323 0 | 1 | 10 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 = 148 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 20: cost of the new core is >=32 0.00/0.08 c lower bound updated to 546 0.00/0.09 c BCD2: 546 <= obj <= 12276 0.00/0.09 c BCD2: #cores=15, #unrelaxed=178, #relaxed=126, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 323 0 | 1 | 10 0.00/0.09 c 0.0s | 0 | 131 | 0 | 323 0 | 1 | 10 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 131 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 18: cost of the new core is >=32 0.00/0.09 c lower bound updated to 578 0.00/0.09 c BCD2: 578 <= obj <= 12276 0.00/0.09 c BCD2: #cores=16, #unrelaxed=160, #relaxed=144, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 323 0 | 1 | 11 0.00/0.09 c 0.0s | 0 | 116 | 0 | 323 0 | 1 | 11 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 116 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 20: cost of the new core is >=32 0.00/0.09 c lower bound updated to 610 0.00/0.09 c BCD2: 610 <= obj <= 12276 0.00/0.09 c BCD2: #cores=17, #unrelaxed=140, #relaxed=164, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 323 0 | 1 | 11 0.09/0.10 c 0.0s | 0 | 99 | 0 | 323 0 | 1 | 11 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 99 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 4: cost of the new core is >=32 0.09/0.10 c lower bound updated to 642 0.09/0.10 c BCD2: 642 <= obj <= 12276 0.09/0.10 c BCD2: #cores=18, #unrelaxed=136, #relaxed=168, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 12 0.09/0.10 c 0.0s | 0 | 205 | 1 | 323 0 | 1 | 12 0.09/0.10 c #cpu_time = 0.001s 0.09/0.10 c #wall_clock_time = 0.001s 0.09/0.10 c #decision = 205 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 1 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 12: cost of the new core is >=25 0.09/0.10 c lower bound updated to 667 0.09/0.10 c BCD2: 667 <= obj <= 12276 0.09/0.10 c BCD2: #cores=19, #unrelaxed=124, #relaxed=180, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=20 bias=20/21 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 323 0 | 1 | 12 0.09/0.11 c 0.0s | 0 | 243 | 1 | 323 0 | 2 | 25 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 243 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=25 0.09/0.11 c lower bound updated to 692 0.09/0.11 c BCD2: 692 <= obj <= 12276 0.09/0.11 c BCD2: #cores=20, #unrelaxed=123, #relaxed=181, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=21 bias=21/22 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 323 0 | 2 | 25 0.09/0.11 c 0.0s | 0 | 191 | 1 | 323 0 | 2 | 25 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 191 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 5: cost of the new core is >=25 0.09/0.11 c lower bound updated to 717 0.09/0.11 c BCD2: 717 <= obj <= 12276 0.09/0.11 c BCD2: #cores=21, #unrelaxed=118, #relaxed=186, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=22 bias=22/23 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 323 0 | 2 | 25 0.09/0.11 c 0.0s | 0 | 191 | 1 | 323 0 | 2 | 25 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 191 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 4: cost of the new core is >=25 0.09/0.11 c lower bound updated to 742 0.09/0.12 c BCD2: 742 <= obj <= 12276 0.09/0.12 c BCD2: #cores=22, #unrelaxed=114, #relaxed=190, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=23 bias=23/24 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 323 0 | 2 | 25 0.09/0.12 c 0.0s | 0 | 247 | 1 | 323 0 | 3 | 36 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 247 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 1: cost of the new core is >=25 0.09/0.12 c lower bound updated to 767 0.09/0.12 c BCD2: 767 <= obj <= 12276 0.09/0.12 c BCD2: #cores=23, #unrelaxed=113, #relaxed=191, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=24 bias=24/25 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 323 0 | 3 | 36 0.09/0.12 c 0.0s | 0 | 127 | 0 | 323 0 | 3 | 36 0.09/0.12 c #cpu_time = 0.001s 0.09/0.12 c #wall_clock_time = 0.001s 0.09/0.12 c #decision = 127 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 9: cost of the new core is >=25 0.09/0.12 c lower bound updated to 792 0.09/0.13 c BCD2: 792 <= obj <= 12276 0.09/0.13 c BCD2: #cores=24, #unrelaxed=104, #relaxed=200, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=25 bias=25/26 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 323 0 | 3 | 36 0.09/0.13 c 0.0s | 0 | 360 | 0 | 323 0 | 3 | 36 0.09/0.13 c #cpu_time = 0.002s 0.09/0.13 c #wall_clock_time = 0.002s 0.09/0.13 c #decision = 360 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 o 1367 0.09/0.13 c BCD2: updating upper bound: 12276 -> 1366 0.09/0.13 c BCD2: 792 <= obj <= 1366 0.09/0.13 c BCD2: #cores=24, #unrelaxed=104, #relaxed=200, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=25 bias=25/27 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 323 0 | 3 | 37 0.09/0.14 c 0.0s | 0 | 98 | 2 | 323 0 | 3 | 37 0.09/0.14 c #cpu_time = 0.002s 0.09/0.14 c #wall_clock_time = 0.002s 0.09/0.14 c #decision = 98 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 2 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: relaxing 27 and merging with 9 cores into a new core of size 147: cost of the new core is >=306 0.09/0.14 c lower bound updated to 793 0.09/0.14 c BCD2: 793 <= obj <= 1366 0.09/0.14 c BCD2: #cores=16, #unrelaxed=77, #relaxed=227, #hardened=0 0.09/0.14 c BCD2: #sat=2 #unsat=26 bias=26/28 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 323 0 | 105 | 37 0.09/0.15 c 0.0s | 0 | 136 | 16 | 323 0 | 105 | 232 0.09/0.15 c #cpu_time = 0.006s 0.09/0.15 c #wall_clock_time = 0.006s 0.09/0.15 c #decision = 136 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 16 0.09/0.15 c #restart = 0 0.09/0.15 o 1155 0.09/0.15 c BCD2: updating upper bound: 1366 -> 1154 0.09/0.15 c BCD2: 793 <= obj <= 1154 0.09/0.15 c BCD2: #cores=16, #unrelaxed=77, #relaxed=227, #hardened=0 0.09/0.15 c BCD2: #sat=3 #unsat=26 bias=26/29 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 323 0 | 105 | 233 0.09/0.15 c 0.0s | 0 | 32 | 0 | 323 0 | 105 | 233 0.09/0.15 c #cpu_time = 0.001s 0.09/0.15 c #wall_clock_time = 0.001s 0.09/0.15 c #decision = 32 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 14: cost of the new core is >=50 0.09/0.15 c lower bound updated to 809 0.09/0.15 c BCD2: 809 <= obj <= 1154 0.09/0.15 c BCD2: #cores=16, #unrelaxed=75, #relaxed=229, #hardened=0 0.09/0.15 c BCD2: #sat=3 #unsat=27 bias=27/30 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 323 0 | 119 | 233 0.09/0.16 c 0.0s | 0 | 60 | 2 | 323 0 | 119 | 260 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.002s 0.09/0.16 c #decision = 60 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 2 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 23: cost of the new core is >=85 0.09/0.16 c lower bound updated to 810 0.09/0.16 c BCD2: 810 <= obj <= 1154 0.09/0.16 c BCD2: #cores=15, #unrelaxed=75, #relaxed=229, #hardened=0 0.09/0.16 c BCD2: #sat=3 #unsat=28 bias=28/31 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 323 0 | 135 | 260 0.09/0.16 c 0.0s | 0 | 75 | 0 | 323 0 | 135 | 291 0.09/0.16 c #cpu_time = 0.001s 0.09/0.16 c #wall_clock_time = 0.001s 0.09/0.16 c #decision = 75 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 10: cost of the new core is >=75 0.09/0.16 c BCD2: refineLB: 68 -> 75 0.09/0.16 c lower bound updated to 818 0.09/0.16 c BCD2: 818 <= obj <= 1154 0.09/0.16 c BCD2: #cores=14, #unrelaxed=73, #relaxed=231, #hardened=0 0.09/0.16 c BCD2: #sat=3 #unsat=29 bias=29/32 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 323 0 | 155 | 291 0.09/0.16 c 0.0s | 0 | 183 | 8 | 323 0 | 155 | 329 0.09/0.16 c #cpu_time = 0.003s 0.09/0.16 c #wall_clock_time = 0.003s 0.09/0.16 c #decision = 183 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 8 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: relaxing 10 and merging with 3 cores into a new core of size 55: cost of the new core is >=169 0.09/0.16 c lower bound updated to 834 0.09/0.17 c BCD2: 834 <= obj <= 1154 0.09/0.17 c BCD2: #cores=12, #unrelaxed=63, #relaxed=241, #hardened=0 0.09/0.17 c BCD2: #sat=3 #unsat=30 bias=30/33 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 323 0 | 189 | 329 0.09/0.18 c 0.0s | 1 | 339 | 100 | 356 0 | 189 | 395 0.19/0.20 c 0.0s | 2 | 798 | 250 | 392 0 | 189 | 395 0.19/0.22 c 0.1s | 3 | 1258 | 475 | 432 0 | 189 | 395 0.19/0.27 c 0.1s | 4 | 1925 | 813 | 476 0 | 189 | 395 0.29/0.33 c 0.2s | 5 | 2918 | 1320 | 524 2 | 189 | 395 0.29/0.39 c 0.2s | 5 | 3749 | 1752 | 524 3 | 189 | 395 0.29/0.39 c #cpu_time = 0.219s 0.29/0.39 c #wall_clock_time = 0.220s 0.29/0.39 c #decision = 3749 0.29/0.39 c #random_decision = 6 0.29/0.39 c #conflict = 1752 0.29/0.39 c #restart = 5 0.29/0.39 c BCD2: relaxing 20 and merging with 1 cores into a new core of size 75: cost of the new core is >=194 0.29/0.39 c lower bound updated to 859 0.29/0.39 c BCD2: 859 <= obj <= 1154 0.29/0.39 c BCD2: #cores=12, #unrelaxed=43, #relaxed=261, #hardened=0 0.29/0.39 c BCD2: #sat=3 #unsat=31 bias=31/34 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 524 0 | 190 | 395 0.39/0.41 c 0.0s | 1 | 411 | 100 | 524 0 | 190 | 396 0.39/0.43 c 0.0s | 2 | 741 | 250 | 524 0 | 190 | 396 0.39/0.46 c 0.1s | 3 | 1255 | 475 | 577 0 | 190 | 396 0.49/0.51 c 0.1s | 4 | 1971 | 813 | 577 0 | 190 | 396 0.49/0.58 c 0.2s | 5 | 3068 | 1320 | 577 2 | 190 | 396 0.59/0.69 c 0.3s | 6 | 4643 | 2081 | 635 3 | 190 | 396 0.79/0.83 c 0.4s | 7 | 7084 | 3223 | 699 5 | 190 | 396 0.99/1.00 c 0.6s | 8 | 10199 | 4936 | 699 9 | 190 | 396 1.20/1.26 c 0.9s | 9 | 15231 | 7506 | 769 13 | 190 | 396 1.39/1.41 c 1.0s | 9 | 18594 | 9002 | 769 16 | 191 | 397 1.39/1.41 c #cpu_time = 1.014s 1.39/1.41 c #wall_clock_time = 1.017s 1.39/1.41 c #decision = 18594 1.39/1.41 c #random_decision = 27 1.39/1.41 c #conflict = 9002 1.39/1.41 c #restart = 9 1.39/1.41 c BCD2: updating lower bound of a core 1.39/1.41 c lower bound updated to 914 1.39/1.41 c BCD2: 914 <= obj <= 1154 1.39/1.41 c BCD2: #cores=12, #unrelaxed=43, #relaxed=261, #hardened=0 1.39/1.41 c BCD2: #sat=3 #unsat=32 bias=32/35 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 769 0 | 191 | 398 1.39/1.43 c 0.0s | 1 | 285 | 100 | 769 0 | 191 | 398 1.39/1.45 c 0.0s | 2 | 583 | 250 | 769 0 | 191 | 398 1.39/1.48 c 0.1s | 3 | 1132 | 475 | 769 0 | 191 | 398 1.49/1.53 c 0.1s | 4 | 1852 | 813 | 846 0 | 191 | 398 1.59/1.60 c 0.2s | 5 | 2908 | 1320 | 846 1 | 191 | 398 1.69/1.71 c 0.3s | 6 | 4251 | 2081 | 846 2 | 191 | 398 1.79/1.87 c 0.5s | 7 | 6167 | 3223 | 846 4 | 191 | 398 2.09/2.10 c 0.7s | 8 | 9403 | 4936 | 846 7 | 191 | 398 2.30/2.36 c 0.9s | 9 | 14800 | 7506 | 931 11 | 191 | 398 2.69/2.73 c 1.3s | 9 | 21043 | 10900 | 931 16 | 192 | 399 2.69/2.73 c #cpu_time = 1.311s 2.69/2.73 c #wall_clock_time = 1.314s 2.69/2.73 c #decision = 21043 2.69/2.73 c #random_decision = 49 2.69/2.73 c #conflict = 10900 2.69/2.73 c #restart = 9 2.69/2.73 c BCD2: updating lower bound of a core 2.69/2.73 c lower bound updated to 919 2.69/2.73 c BCD2: 919 <= obj <= 1154 2.69/2.73 c BCD2: #cores=12, #unrelaxed=43, #relaxed=261, #hardened=0 2.69/2.73 c BCD2: #sat=3 #unsat=33 bias=33/36 2.69/2.73 c Solving starts ... 2.69/2.73 c ============================[ Search Statistics ]============================ 2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.73 c | | | | Limit GC | Var | Constra 2.69/2.73 c ============================================================================= 2.69/2.73 c 0.0s | 0 | 0 | 0 | 931 0 | 192 | 400 2.69/2.74 c 0.0s | 1 | 229 | 100 | 931 0 | 192 | 400 2.69/2.76 c 0.0s | 2 | 610 | 250 | 931 0 | 192 | 400 2.69/2.78 c 0.1s | 3 | 1183 | 475 | 931 0 | 192 | 400 2.79/2.82 c 0.1s | 4 | 1844 | 813 | 931 0 | 192 | 400 2.79/2.87 c 0.1s | 5 | 2981 | 1320 | 931 1 | 192 | 400 2.89/2.95 c 0.2s | 6 | 4382 | 2081 | 931 2 | 192 | 400 2.99/3.01 c 0.3s | 6 | 5242 | 2535 | 931 3 | 192 | 400 2.99/3.01 c #cpu_time = 0.275s 2.99/3.01 c #wall_clock_time = 0.276s 2.99/3.01 c #decision = 5242 2.99/3.01 c #random_decision = 6 2.99/3.01 c #conflict = 2535 2.99/3.01 c #restart = 6 2.99/3.01 o 1082 2.99/3.01 c BCD2: updating upper bound: 1154 -> 1081 2.99/3.01 c BCD2: 919 <= obj <= 1081 2.99/3.01 c BCD2: #cores=12, #unrelaxed=43, #relaxed=261, #hardened=0 2.99/3.01 c BCD2: #sat=4 #unsat=33 bias=33/37 2.99/3.01 c Solving starts ... 2.99/3.01 c ============================[ Search Statistics ]============================ 2.99/3.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.01 c | | | | Limit GC | Var | Constra 2.99/3.01 c ============================================================================= 2.99/3.01 c 0.0s | 0 | 0 | 0 | 931 0 | 192 | 401 2.99/3.01 c 0.0s | 0 | 32 | 0 | 931 0 | 192 | 401 2.99/3.01 c #cpu_time = 0.002s 2.99/3.01 c #wall_clock_time = 0.002s 2.99/3.01 c #decision = 32 2.99/3.01 c #random_decision = 0 2.99/3.01 c #conflict = 0 2.99/3.01 c #restart = 0 2.99/3.01 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=79 2.99/3.01 c BCD2: refineLB: 77 -> 79 2.99/3.01 c lower bound updated to 922 2.99/3.01 c BCD2: 922 <= obj <= 1081 2.99/3.01 c BCD2: #cores=11, #unrelaxed=42, #relaxed=262, #hardened=0 2.99/3.01 c BCD2: #sat=4 #unsat=34 bias=34/38 2.99/3.02 c Solving starts ... 2.99/3.02 c ============================[ Search Statistics ]============================ 2.99/3.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.02 c | | | | Limit GC | Var | Constra 2.99/3.02 c ============================================================================= 2.99/3.02 c 0.0s | 0 | 0 | 0 | 931 0 | 221 | 401 2.99/3.02 c 0.0s | 0 | 54 | 3 | 931 0 | 221 | 458 2.99/3.02 c #cpu_time = 0.002s 2.99/3.02 c #wall_clock_time = 0.002s 2.99/3.02 c #decision = 54 2.99/3.02 c #random_decision = 0 2.99/3.02 c #conflict = 3 2.99/3.02 c #restart = 0 2.99/3.02 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 14: cost of the new core is >=113 2.99/3.02 c BCD2: refineLB: 112 -> 113 2.99/3.02 c lower bound updated to 924 2.99/3.02 c BCD2: 924 <= obj <= 1081 2.99/3.02 c BCD2: #cores=10, #unrelaxed=39, #relaxed=265, #hardened=0 2.99/3.02 c BCD2: #sat=4 #unsat=35 bias=35/39 2.99/3.02 c Solving starts ... 2.99/3.02 c ============================[ Search Statistics ]============================ 2.99/3.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.02 c | | | | Limit GC | Var | Constra 2.99/3.02 c ============================================================================= 2.99/3.02 c 0.0s | 0 | 0 | 0 | 931 0 | 225 | 458 2.99/3.02 c 0.0s | 0 | 44 | 1 | 931 0 | 225 | 464 2.99/3.02 c #cpu_time = 0.001s 2.99/3.02 c #wall_clock_time = 0.001s 2.99/3.02 c #decision = 44 2.99/3.02 c #random_decision = 0 2.99/3.02 c #conflict = 1 2.99/3.02 c #restart = 0 2.99/3.02 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 17: cost of the new core is >=116 2.99/3.02 c lower bound updated to 927 2.99/3.02 c BCD2: 927 <= obj <= 1081 2.99/3.02 c BCD2: #cores=10, #unrelaxed=36, #relaxed=268, #hardened=0 2.99/3.02 c BCD2: #sat=4 #unsat=36 bias=36/40 2.99/3.02 c Solving starts ... 2.99/3.02 c ============================[ Search Statistics ]============================ 2.99/3.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.02 c | | | | Limit GC | Var | Constra 2.99/3.02 c ============================================================================= 2.99/3.02 c 0.0s | 0 | 0 | 0 | 931 0 | 226 | 464 2.99/3.04 c 0.0s | 1 | 277 | 100 | 931 0 | 226 | 465 2.99/3.06 c 0.0s | 2 | 697 | 250 | 931 0 | 226 | 465 3.09/3.10 c 0.1s | 3 | 1279 | 475 | 931 0 | 226 | 465 3.09/3.16 c 0.1s | 4 | 2088 | 813 | 931 1 | 226 | 465 3.19/3.25 c 0.2s | 5 | 3325 | 1320 | 931 2 | 226 | 465 3.30/3.39 c 0.4s | 6 | 5136 | 2081 | 1025 3 | 226 | 465 3.59/3.61 c 0.6s | 7 | 7117 | 3223 | 1025 4 | 226 | 465 3.89/3.92 c 0.9s | 8 | 10626 | 4936 | 1025 7 | 227 | 483 4.40/4.42 c 1.4s | 9 | 14674 | 7506 | 1025 10 | 227 | 483 5.09/5.11 c 2.1s | 10 | 21167 | 11361 | 1025 16 | 227 | 483 5.39/5.42 c 2.4s | 10 | 23848 | 13031 | 1025 18 | 227 | 483 5.39/5.42 c #cpu_time = 2.391s 5.39/5.42 c #wall_clock_time = 2.397s 5.39/5.42 c #decision = 23848 5.39/5.42 c #random_decision = 72 5.39/5.42 c #conflict = 13031 5.39/5.42 c #restart = 10 5.39/5.42 c BCD2: relaxing 31 and merging with 5 cores into a new core of size 217: cost of the new core is >=557 5.39/5.42 c lower bound updated to 928 5.39/5.42 c BCD2: 928 <= obj <= 1081 5.39/5.42 c BCD2: #cores=6, #unrelaxed=5, #relaxed=299, #hardened=0 5.39/5.42 c BCD2: #sat=4 #unsat=37 bias=37/41 5.39/5.42 c Solving starts ... 5.39/5.42 c ============================[ Search Statistics ]============================ 5.39/5.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.42 c | | | | Limit GC | Var | Constra 5.39/5.42 c ============================================================================= 5.39/5.42 c 0.0s | 0 | 0 | 0 | 1025 0 | 253 | 483 5.39/5.45 c 0.0s | 1 | 359 | 100 | 1025 0 | 253 | 537 5.39/5.48 c 0.1s | 2 | 777 | 250 | 1025 0 | 253 | 537 5.50/5.53 c 0.1s | 3 | 1597 | 475 | 1025 0 | 253 | 537 5.60/5.61 c 0.2s | 4 | 2509 | 813 | 1025 0 | 253 | 537 5.69/5.73 c 0.3s | 5 | 3908 | 1320 | 1025 1 | 253 | 537 5.89/5.91 c 0.5s | 6 | 6064 | 2081 | 1128 2 | 253 | 537 6.09/6.17 c 0.8s | 7 | 9714 | 3223 | 1128 3 | 253 | 537 6.49/6.58 c 1.2s | 8 | 14023 | 4936 | 1128 6 | 253 | 537 7.09/7.15 c 1.7s | 9 | 21766 | 7506 | 1128 9 | 254 | 547 7.99/8.02 c 2.6s | 10 | 31424 | 11361 | 1128 15 | 254 | 547 9.29/9.36 c 3.9s | 11 | 45316 | 17144 | 1128 23 | 254 | 547 11.29/11.37 c 5.9s | 11 | 68068 | 25744 | 1241 34 | 254 | 547 11.29/11.38 c 6.0s | 12 | 68242 | 25819 | 1241 34 | 254 | 547 13.38/13.40 c 8.0s | 12 | 86593 | 35319 | 1241 46 | 254 | 547 14.08/14.16 c 8.7s | 13 | 93260 | 38832 | 1241 51 | 254 | 547 16.08/16.17 c 10.8s | 13 | 113659 | 48332 | 1241 63 | 254 | 547 18.08/18.18 c 12.8s | 13 | 131161 | 58032 | 1366 75 | 254 | 547 18.18/18.24 c 12.8s | 14 | 131784 | 58352 | 1366 75 | 254 | 547 20.18/20.25 c 14.8s | 14 | 150779 | 67452 | 1366 86 | 254 | 547 22.18/22.25 c 16.8s | 14 | 168881 | 76652 | 1366 97 | 254 | 547 24.19/24.26 c 18.8s | 14 | 191048 | 85052 | 1366 107 | 254 | 547 24.78/24.84 c 19.4s | 15 | 198093 | 87632 | 1366 110 | 254 | 547 26.78/26.85 c 21.4s | 15 | 220783 | 96532 | 1503 120 | 254 | 547 28.78/28.86 c 23.4s | 15 | 244067 | 105232 | 1503 130 | 254 | 547 30.79/30.87 c 25.5s | 15 | 267451 | 114132 | 1503 140 | 254 | 547 32.78/32.89 c 27.5s | 15 | 287488 | 123132 | 1503 150 | 254 | 547 34.68/34.71 c 29.3s | 16 | 304527 | 131552 | 1503 159 | 254 | 547 36.68/36.73 c 31.3s | 16 | 321832 | 140452 | 1503 169 | 254 | 547 38.68/38.73 c 33.3s | 16 | 341068 | 149452 | 1503 179 | 254 | 547 40.69/40.74 c 35.3s | 16 | 359203 | 158352 | 1503 189 | 254 | 547 42.69/42.77 c 37.3s | 16 | 386036 | 166952 | 1654 198 | 254 | 547 44.69/44.77 c 39.4s | 16 | 407921 | 175552 | 1654 206 | 254 | 547 46.68/46.78 c 41.4s | 16 | 424252 | 183652 | 1654 215 | 254 | 547 48.68/48.79 c 43.4s | 16 | 450549 | 192452 | 1654 224 | 254 | 547 49.88/49.93 c 44.5s | 17 | 463458 | 197432 | 1654 229 | 254 | 547 51.88/51.93 c 46.5s | 17 | 484182 | 205932 | 1654 237 | 254 | 547 53.89/53.95 c 48.5s | 17 | 504386 | 214332 | 1654 246 | 254 | 547 55.88/55.97 c 50.6s | 17 | 524488 | 222332 | 1654 254 | 254 | 547 57.88/57.99 c 52.6s | 17 | 545350 | 230232 | 1654 262 | 254 | 547 59.88/59.99 c 54.6s | 17 | 563576 | 238132 | 1654 270 | 254 | 547 61.98/62.02 c 56.6s | 17 | 582792 | 246232 | 1654 278 | 254 | 547 63.98/64.02 c 58.6s | 17 | 601498 | 253932 | 1654 286 | 254 | 547 65.99/66.04 c 60.6s | 17 | 619241 | 261832 | 1820 294 | 254 | 547 67.98/68.06 c 62.6s | 17 | 639031 | 269832 | 1820 301 | 254 | 547 69.98/70.06 c 64.6s | 17 | 654415 | 278132 | 1820 309 | 254 | 547 71.98/72.06 c 66.6s | 17 | 674136 | 286132 | 1820 316 | 254 | 547 73.98/74.09 c 68.7s | 17 | 694081 | 293932 | 1820 324 | 254 | 547 74.58/74.65 c 69.2s | 18 | 700522 | 296252 | 1820 326 | 254 | 547 76.58/76.66 c 71.2s | 18 | 726774 | 304952 | 1820 334 | 254 | 547 78.58/78.68 c 73.3s | 18 | 751815 | 313852 | 1820 342 | 254 | 547 80.58/80.69 c 75.3s | 18 | 774020 | 322052 | 1820 350 | 254 | 547 82.58/82.69 c 77.3s | 18 | 796225 | 330352 | 1820 358 | 254 | 547 84.68/84.71 c 79.3s | 18 | 821594 | 338752 | 1820 366 | 254 | 547 86.68/86.73 c 81.3s | 18 | 840880 | 347152 | 1820 374 | 254 | 547 88.68/88.73 c 83.3s | 18 | 864271 | 355052 | 1820 381 | 254 | 547 90.68/90.75 c 85.3s | 18 | 889515 | 363752 | 1820 389 | 254 | 547 92.67/92.76 c 87.3s | 18 | 913742 | 372152 | 1820 397 | 254 | 547 94.68/94.76 c 89.3s | 18 | 935585 | 380452 | 1820 405 | 254 | 547 96.67/96.78 c 91.4s | 18 | 955842 | 388452 | 1820 412 | 254 | 547 98.67/98.78 c 93.4s | 18 | 976090 | 396552 | 1820 420 | 254 | 547 100.77/100.80 c 95.4s | 18 | 993235 | 405252 | 2003 428 | 254 | 547 102.77/102.81 c 97.4s | 18 | 1009654 | 414052 | 2003 436 | 254 | 547 104.77/104.83 c 99.4s | 18 | 1025679 | 422252 | 2003 443 | 254 | 547 106.78/106.83 c 101s | 18 | 1048359 | 430352 | 2003 450 | 254 | 547 108.77/108.85 c 103s | 18 | 1068344 | 438852 | 2003 457 | 254 | 547 110.17/110.26 c 104s | 19 | 1080414 | 444482 | 2003 462 | 254 | 547 112.18/112.26 c 106s | 19 | 1104086 | 453082 | 2003 469 | 254 | 547 114.17/114.27 c 108s | 19 | 1123195 | 461182 | 2003 476 | 254 | 547 116.17/116.28 c 110s | 19 | 1144305 | 469782 | 2003 484 | 254 | 547 118.17/118.28 c 112s | 19 | 1165137 | 477982 | 2003 491 | 254 | 547 120.17/120.29 c 114s | 19 | 1185420 | 485982 | 2003 498 | 254 | 547 122.17/122.29 c 116s | 19 | 1208263 | 494182 | 2003 505 | 254 | 547 124.27/124.31 c 118s | 19 | 1230685 | 502782 | 2003 512 | 254 | 547 126.27/126.31 c 120s | 19 | 1249793 | 510782 | 2003 519 | 254 | 547 128.27/128.32 c 122s | 19 | 1271243 | 519082 | 2003 526 | 254 | 547 130.27/130.34 c 124s | 19 | 1291815 | 527082 | 2003 533 | 254 | 547 132.26/132.36 c 126s | 19 | 1313244 | 534982 | 2003 540 | 254 | 547 134.27/134.39 c 128s | 19 | 1334248 | 543382 | 2003 547 | 254 | 547 136.38/136.43 c 131s | 19 | 1355330 | 551982 | 2003 555 | 254 | 547 138.37/138.44 c 133s | 19 | 1376629 | 560282 | 2003 562 | 254 | 547 140.37/140.44 c 135s | 19 | 1397463 | 568782 | 2003 569 | 254 | 547 142.37/142.45 c 137s | 19 | 1417002 | 576882 | 2003 576 | 254 | 547 144.37/144.46 c 139s | 19 | 1435872 | 584882 | 2003 583 | 254 | 547 146.37/146.48 c 141s | 19 | 1456115 | 593182 | 2003 590 | 254 | 547 148.37/148.48 c 143s | 19 | 1475134 | 601082 | 2003 597 | 254 | 547 150.37/150.48 c 145s | 19 | 1491386 | 608082 | 2003 603 | 254 | 547 152.47/152.50 c 147s | 19 | 1508749 | 615582 | 2003 609 | 254 | 547 154.47/154.51 c 149s | 19 | 1524609 | 622982 | 2003 616 | 254 | 547 156.46/156.52 c 151s | 19 | 1543302 | 630782 | 2204 622 | 254 | 547 158.47/158.52 c 153s | 19 | 1563523 | 638482 | 2204 628 | 254 | 547 160.46/160.53 c 155s | 19 | 1585148 | 646382 | 2204 634 | 254 | 547 162.46/162.55 c 157s | 19 | 1605427 | 654382 | 2204 640 | 254 | 547 164.46/164.57 c 159s | 19 | 1626235 | 662082 | 2204 647 | 254 | 547 165.76/165.86 c 160s | 20 | 1637416 | 666827 | 2204 650 | 254 | 547 167.76/167.86 c 162s | 20 | 1658633 | 674527 | 2204 656 | 254 | 547 169.76/169.86 c 164s | 20 | 1676402 | 681927 | 2204 662 | 254 | 547 171.76/171.88 c 166s | 20 | 1691826 | 689027 | 2204 668 | 254 | 547 173.76/173.89 c 168s | 20 | 1708112 | 696627 | 2204 674 | 254 | 547 175.86/175.90 c 170s | 20 | 1726834 | 704627 | 2204 680 | 254 | 547 177.86/177.91 c 172s | 20 | 1747407 | 712427 | 2204 686 | 254 | 547 179.87/179.91 c 174s | 20 | 1769040 | 720527 | 2204 693 | 254 | 547 181.87/181.92 c 176s | 20 | 1791669 | 728727 | 2204 699 | 254 | 547 183.86/183.93 c 178s | 20 | 1809387 | 736727 | 2204 706 | 254 | 547 185.87/185.94 c 180s | 20 | 1831311 | 745227 | 2204 712 | 254 | 547 187.86/187.94 c 182s | 20 | 1853298 | 753727 | 2204 719 | 254 | 547 189.86/189.94 c 184s | 20 | 1873983 | 762027 | 2204 726 | 254 | 547 191.86/191.96 c 186s | 20 | 1891530 | 770427 | 2204 732 | 254 | 547 193.86/193.97 c 188s | 20 | 1910017 | 778427 | 2204 739 | 254 | 547 195.87/195.99 c 190s | 20 | 1926398 | 786327 | 2204 745 | 254 | 547 197.97/198.01 c 192s | 20 | 1947142 | 794327 | 2204 751 | 254 | 547 199.96/200.01 c 194s | 20 | 1967438 | 802227 | 2204 757 | 254 | 547 201.96/202.03 c 196s | 20 | 1991724 | 810527 | 2204 764 | 254 | 547 203.96/204.04 c 198s | 20 | 2011612 | 818627 | 2204 770 | 254 | 547 205.96/206.05 c 200s | 20 | 2031703 | 826527 | 2204 777 | 254 | 547 207.96/208.07 c 202s | 20 | 2050303 | 834127 | 2204 783 | 254 | 547 209.96/210.09 c 204s | 20 | 2070757 | 842227 | 2204 789 | 254 | 547 212.06/212.12 c 206s | 20 | 2087261 | 849827 | 2204 795 | 254 | 547 214.06/214.12 c 208s | 20 | 2104561 | 857127 | 2204 801 | 254 | 547 216.06/216.14 c 210s | 20 | 2124817 | 864827 | 2204 807 | 254 | 547 218.05/218.14 c 212s | 20 | 2142609 | 872327 | 2204 813 | 254 | 547 220.06/220.17 c 214s | 20 | 2164512 | 880427 | 2204 820 | 254 | 547 222.05/222.18 c 216s | 20 | 2186244 | 888827 | 2204 826 | 254 | 547 224.15/224.20 c 218s | 20 | 2204119 | 896427 | 2204 832 | 254 | 547 226.15/226.21 c 220s | 20 | 2218336 | 903627 | 2204 838 | 254 | 547 228.15/228.21 c 222s | 20 | 2236567 | 911727 | 2204 844 | 254 | 547 230.15/230.23 c 224s | 20 | 2255423 | 919327 | 2204 850 | 254 | 547 232.16/232.24 c 226s | 20 | 2278185 | 927327 | 2204 857 | 254 | 547 234.15/234.26 c 228s | 20 | 2299482 | 935127 | 2204 863 | 254 | 547 236.15/236.28 c 230s | 20 | 2320985 | 943127 | 2204 869 | 254 | 547 238.25/238.30 c 232s | 20 | 2341371 | 951027 | 2204 875 | 254 | 547 240.25/240.32 c 234s | 20 | 2359512 | 958227 | 2425 881 | 254 | 547 242.25/242.35 c 236s | 20 | 2379597 | 965827 | 2425 886 | 254 | 547 244.26/244.36 c 238s | 20 | 2399005 | 973327 | 2425 892 | 254 | 547 246.26/246.36 c 240s | 20 | 2415527 | 980427 | 2425 897 | 254 | 547 248.25/248.38 c 242s | 20 | 2430870 | 987227 | 2425 902 | 254 | 547 250.25/250.38 c 244s | 20 | 2448306 | 994227 | 2425 907 | 254 | 547 251.96/252.01 c 246s | 21 | 2463841 | 1000345 | 2425 911 | 254 | 547 253.95/254.01 c 248s | 21 | 2486639 | 1007945 | 2425 917 | 254 | 547 255.95/256.01 c 250s | 21 | 2504300 | 1015645 | 2425 923 | 254 | 547 257.95/258.03 c 252s | 21 | 2524002 | 1023545 | 2425 928 | 254 | 547 259.95/260.03 c 254s | 21 | 2542712 | 1031045 | 2425 934 | 254 | 547 261.95/262.06 c 256s | 21 | 2560689 | 1038745 | 2425 939 | 254 | 547 263.96/264.07 c 258s | 21 | 2579797 | 1046645 | 2425 945 | 254 | 547 265.95/266.08 c 260s | 21 | 2599424 | 1054445 | 2425 951 | 254 | 547 267.95/268.09 c 262s | 21 | 2617119 | 1062245 | 2425 957 | 254 | 547 270.05/270.11 c 264s | 21 | 2633092 | 1069845 | 2425 962 | 254 | 547 272.05/272.13 c 266s | 21 | 2654369 | 1077745 | 2425 968 | 254 | 547 274.05/274.15 c 268s | 21 | 2676510 | 1085945 | 2425 974 | 254 | 547 276.05/276.17 c 270s | 21 | 2697992 | 1094145 | 2425 980 | 254 | 547 278.04/278.20 c 272s | 21 | 2714268 | 1101845 | 2425 985 | 254 | 547 280.14/280.22 c 274s | 21 | 2731052 | 1109545 | 2425 991 | 254 | 547 282.14/282.22 c 276s | 21 | 2749697 | 1117245 | 2425 996 | 254 | 547 284.14/284.23 c 278s | 21 | 2772194 | 1124845 | 2425 1002 | 254 | 547 286.14/286.23 c 280s | 21 | 2791975 | 1132545 | 2425 1008 | 254 | 547 288.15/288.25 c 282s | 21 | 2807971 | 1139645 | 2425 1013 | 254 | 547 290.14/290.27 c 284s | 21 | 2824574 | 1146845 | 2425 1018 | 254 | 547 292.14/292.28 c 286s | 21 | 2842297 | 1154745 | 2425 1024 | 254 | 547 294.24/294.30 c 288s | 21 | 2862629 | 1162645 | 2425 1030 | 254 | 547 296.24/296.33 c 290s | 21 | 2881649 | 1170445 | 2425 1035 | 254 | 547 298.24/298.35 c 292s | 21 | 2901724 | 1178145 | 2425 1041 | 254 | 547 300.25/300.36 c 294s | 21 | 2920692 | 1185945 | 2425 1047 | 254 | 547 302.24/302.38 c 296s | 21 | 2940430 | 1193545 | 2425 1052 | 254 | 547 304.25/304.39 c 298s | 21 | 2957961 | 1200945 | 2425 1058 | 254 | 547 306.25/306.39 c 300s | 21 | 2975728 | 1208545 | 2425 1063 | 254 | 547 308.35/308.42 c 302s | 21 | 2992210 | 1215845 | 2425 1068 | 254 | 547 310.34/310.42 c 305s | 21 | 3009066 | 1222945 | 2425 1074 | 254 | 547 312.35/312.43 c 307s | 21 | 3026598 | 1230445 | 2425 1079 | 254 | 547 314.34/314.44 c 309s | 21 | 3044153 | 1238045 | 2425 1085 | 254 | 547 316.34/316.44 c 311s | 21 | 3060254 | 1245345 | 2425 1090 | 254 | 547 318.34/318.48 c 313s | 21 | 3075231 | 1252545 | 2425 1095 | 254 | 547 320.34/320.49 c 315s | 21 | 3089410 | 1259245 | 2425 1100 | 254 | 547 322.44/322.51 c 317s | 21 | 3105186 | 1266345 | 2425 1105 | 254 | 547 324.45/324.54 c 319s | 21 | 3121268 | 1273645 | 2425 1110 | 254 | 547 326.44/326.56 c 321s | 21 | 3136222 | 1280845 | 2425 1116 | 254 | 547 328.44/328.57 c 323s | 21 | 3154124 | 1288545 | 2425 1121 | 254 | 547 330.44/330.59 c 325s | 21 | 3170152 | 1295845 | 2425 1127 | 254 | 547 332.54/332.61 c 327s | 21 | 3187694 | 1303745 | 2425 1132 | 254 | 547 334.54/334.62 c 329s | 21 | 3206651 | 1311245 | 2425 1138 | 254 | 547 336.54/336.63 c 331s | 21 | 3222793 | 1318645 | 2425 1143 | 254 | 547 338.54/338.63 c 333s | 21 | 3238972 | 1325545 | 2425 1148 | 254 | 547 340.54/340.66 c 335s | 21 | 3257029 | 1333045 | 2425 1154 | 254 | 547 342.54/342.69 c 337s | 21 | 3275539 | 1340845 | 2425 1160 | 254 | 547 344.54/344.69 c 339s | 21 | 3294669 | 1348645 | 2425 1165 | 254 | 547 346.64/346.71 c 341s | 21 | 3316262 | 1356945 | 2425 1171 | 254 | 547 348.64/348.72 c 343s | 21 | 3337816 | 1365145 | 2425 1177 | 254 | 547 350.63/350.74 c 345s | 21 | 3358941 | 1373345 | 2425 1183 | 254 | 547 352.63/352.75 c 347s | 21 | 3375943 | 1381045 | 2425 1189 | 254 | 547 354.63/354.79 c 349s | 21 | 3393611 | 1388845 | 2425 1195 | 254 | 547 356.73/356.80 c 351s | 21 | 3412033 | 1396545 | 2425 1200 | 254 | 547 358.73/358.80 c 353s | 21 | 3428318 | 1403845 | 2425 1205 | 254 | 547 360.74/360.81 c 355s | 21 | 3445953 | 1411245 | 2425 1211 | 254 | 547 362.73/362.82 c 357s | 21 | 3460909 | 1418445 | 2425 1216 | 254 | 547 364.73/364.82 c 359s | 21 | 3477667 | 1425545 | 2425 1221 | 254 | 547 366.73/366.82 c 361s | 21 | 3495178 | 1432945 | 2425 1227 | 254 | 547 368.73/368.84 c 363s | 21 | 3513397 | 1440445 | 2425 1232 | 254 | 547 370.74/370.86 c 365s | 21 | 3528195 | 1447345 | 2425 1237 | 254 | 547 372.73/372.88 c 367s | 21 | 3543498 | 1454445 | 2668 1242 | 254 | 547 374.73/374.89 c 369s | 21 | 3561900 | 1461745 | 2668 1247 | 254 | 547 376.83/376.90 c 371s | 21 | 3578545 | 1468945 | 2668 1252 | 254 | 547 378.83/378.91 c 373s | 21 | 3597571 | 1476745 | 2668 1257 | 254 | 547 380.83/380.92 c 375s | 21 | 3613119 | 1484045 | 2668 1262 | 254 | 547 382.83/382.93 c 377s | 21 | 3629425 | 1491245 | 2668 1267 | 254 | 547 384.83/384.96 c 379s | 21 | 3647312 | 1498545 | 2668 1272 | 254 | 547 385.43/385.54 c 380s | 22 | 3651971 | 1500622 | 2668 1273 | 254 | 547 387.43/387.55 c 382s | 22 | 3669997 | 1508622 | 2668 1278 | 254 | 547 389.43/389.57 c 384s | 22 | 3688581 | 1517022 | 2668 1284 | 254 | 547 391.42/391.59 c 386s | 22 | 3706061 | 1525522 | 2668 1290 | 254 | 547 393.42/393.59 c 388s | 22 | 3723150 | 1532922 | 2668 1295 | 254 | 547 395.52/395.60 c 390s | 22 | 3743531 | 1540822 | 2668 1300 | 254 | 547 397.53/397.60 c 392s | 22 | 3760478 | 1548322 | 2668 1305 | 254 | 547 399.53/399.60 c 394s | 22 | 3775318 | 1556122 | 2668 1310 | 254 | 547 401.54/401.62 c 396s | 22 | 3793328 | 1564222 | 2668 1316 | 254 | 547 403.53/403.63 c 398s | 22 | 3811007 | 1571522 | 2668 1321 | 254 | 547 405.53/405.64 c 400s | 22 | 3828935 | 1579322 | 2668 1326 | 254 | 547 407.53/407.65 c 402s | 22 | 3845911 | 1587522 | 2668 1331 | 254 | 547 409.53/409.68 c 404s | 22 | 3863309 | 1595222 | 2668 1337 | 254 | 547 411.53/411.69 c 406s | 22 | 3882714 | 1603022 | 2668 1342 | 254 | 547 413.64/413.72 c 408s | 22 | 3900952 | 1610322 | 2668 1347 | 254 | 547 415.63/415.75 c 410s | 22 | 3919290 | 1618122 | 2668 1352 | 254 | 547 417.63/417.76 c 412s | 22 | 3938610 | 1625822 | 2668 1357 | 254 | 547 419.63/419.76 c 414s | 22 | 3955858 | 1633822 | 2668 1362 | 254 | 547 421.63/421.79 c 416s | 22 | 3973199 | 1641422 | 2668 1367 | 254 | 547 423.73/423.81 c 418s | 22 | 3990034 | 1648622 | 2668 1372 | 254 | 547 425.73/425.83 c 420s | 22 | 4006014 | 1655522 | 2668 1377 | 254 | 547 427.73/427.84 c 422s | 22 | 4023750 | 1663222 | 2668 1382 | 254 | 547 429.73/429.86 c 424s | 22 | 4044051 | 1670622 | 2668 1387 | 254 | 547 431.73/431.87 c 426s | 22 | 4061876 | 1677922 | 2668 1392 | 254 | 547 433.73/433.89 c 428s | 22 | 4081345 | 1685422 | 2668 1397 | 254 | 547 435.82/435.91 c 430s | 22 | 4100141 | 1692822 | 2668 1402 | 254 | 547 437.83/437.91 c 432s | 22 | 4115075 | 1699422 | 2668 1406 | 254 | 547 439.82/439.92 c 434s | 22 | 4130780 | 1706322 | 2668 1411 | 254 | 547 441.82/441.92 c 436s | 22 | 4148802 | 1713622 | 2668 1416 | 254 | 547 443.82/443.95 c 438s | 22 | 4164318 | 1720722 | 2668 1421 | 254 | 547 445.82/445.97 c 440s | 22 | 4181300 | 1727722 | 2668 1425 | 254 | 547 447.82/447.98 c 442s | 22 | 4198829 | 1734722 | 2668 1430 | 254 | 547 449.83/449.98 c 444s | 22 | 4215213 | 1741422 | 2668 1434 | 254 | 547 451.82/451.99 c 446s | 22 | 4231919 | 1748122 | 2668 1439 | 254 | 547 453.92/454.02 c 448s | 22 | 4247275 | 1756422 | 2668 1445 | 254 | 547 455.92/456.03 c 450s | 22 | 4264851 | 1764022 | 2668 1450 | 254 | 547 457.92/458.05 c 452s | 22 | 4282578 | 1771922 | 2668 1455 | 254 | 547 459.92/460.08 c 454s | 22 | 4301830 | 1779822 | 2668 1460 | 254 | 547 461.92/462.09 c 456s | 22 | 4320812 | 1787322 | 2668 1465 | 254 | 547 463.91/464.10 c 458s | 22 | 4339155 | 1794522 | 2668 1470 | 254 | 547 466.01/466.10 c 460s | 22 | 4358286 | 1801922 | 2668 1475 | 254 | 547 468.01/468.12 c 462s | 22 | 4378247 | 1810122 | 2668 1480 | 254 | 547 470.02/470.13 c 464s | 22 | 4395848 | 1817522 | 2668 1485 | 254 | 547 472.02/472.14 c 466s | 22 | 4411909 | 1824422 | 2668 1490 | 254 | 547 474.03/474.17 c 468s | 22 | 4430035 | 1832222 | 2668 1495 | 254 | 547 476.02/476.18 c 470s | 22 | 4450487 | 1839822 | 2668 1500 | 254 | 547 478.12/478.21 c 472s | 22 | 4470908 | 1847722 | 2668 1506 | 254 | 547 480.12/480.21 c 474s | 22 | 4486292 | 1855022 | 2668 1510 | 254 | 547 482.12/482.22 c 476s | 22 | 4503662 | 1862422 | 2668 1515 | 254 | 547 484.12/484.25 c 478s | 22 | 4522057 | 1870022 | 2668 1521 | 254 | 547 486.13/486.26 c 480s | 22 | 4539320 | 1877622 | 2668 1526 | 254 | 547 488.12/488.27 c 482s | 22 | 4556706 | 1885222 | 2668 1531 | 254 | 547 490.12/490.29 c 484s | 22 | 4579509 | 1893022 | 2668 1536 | 254 | 547 492.22/492.30 c 486s | 22 | 4598160 | 1900422 | 2668 1541 | 254 | 547 494.22/494.33 c 488s | 22 | 4613860 | 1907322 | 2668 1546 | 254 | 547 496.22/496.33 c 490s | 22 | 4631356 | 1914422 | 2668 1550 | 254 | 547 498.22/498.34 c 492s | 22 | 4649493 | 1921922 | 2668 1555 | 254 | 547 500.21/500.34 c 494s | 22 | 4666387 | 1929522 | 2668 1560 | 254 | 547 502.21/502.37 c 496s | 22 | 4681211 | 1936522 | 2668 1565 | 254 | 547 504.21/504.38 c 498s | 22 | 4696740 | 1943822 | 2668 1570 | 254 | 547 506.21/506.39 c 500s | 22 | 4712678 | 1950922 | 2668 1575 | 254 | 547 508.31/508.42 c 502s | 22 | 4729736 | 1958122 | 2668 1580 | 254 | 547 510.32/510.42 c 504s | 22 | 4748737 | 1965722 | 2668 1585 | 254 | 547 512.31/512.43 c 507s | 22 | 4768824 | 1973322 | 2668 1590 | 254 | 547 514.31/514.48 c 509s | 22 | 4787443 | 1980522 | 2668 1595 | 254 | 547 516.31/516.49 c 511s | 22 | 4805504 | 1987922 | 2668 1600 | 254 | 547 518.41/518.52 c 513s | 22 | 4821040 | 1995522 | 2668 1605 | 254 | 547 520.41/520.56 c 515s | 22 | 4837343 | 2002922 | 2668 1610 | 254 | 547 522.42/522.58 c 517s | 22 | 4860452 | 2010522 | 2668 1615 | 254 | 547 524.51/524.60 c 519s | 22 | 4879471 | 2017822 | 2668 1620 | 254 | 547 526.51/526.61 c 521s | 22 | 4899112 | 2025222 | 2668 1624 | 254 | 547 528.51/528.62 c 523s | 22 | 4918883 | 2032522 | 2668 1629 | 254 | 547 530.51/530.65 c 525s | 22 | 4936774 | 2039622 | 2668 1634 | 254 | 547 532.51/532.66 c 527s | 22 | 4954223 | 2046522 | 2668 1639 | 254 | 547 534.52/534.70 c 529s | 22 | 4971992 | 2053722 | 2668 1644 | 254 | 547 536.61/536.72 c 531s | 22 | 4989375 | 2061222 | 2668 1649 | 254 | 547 538.61/538.73 c 533s | 22 | 5007926 | 2068822 | 2668 1654 | 254 | 547 540.61/540.75 c 535s | 22 | 5024894 | 2076222 | 2668 1659 | 254 | 547 542.61/542.76 c 537s | 22 | 5040969 | 2083622 | 2668 1664 | 254 | 547 544.61/544.78 c 539s | 22 | 5058123 | 2091022 | 2668 1668 | 254 | 547 546.61/546.79 c 541s | 22 | 5073297 | 2098122 | 2668 1673 | 254 | 547 548.71/548.81 c 543s | 22 | 5092471 | 2105622 | 2668 1678 | 254 | 547 550.71/550.83 c 545s | 22 | 5110049 | 2113422 | 2668 1683 | 254 | 547 552.71/552.84 c 547s | 22 | 5125974 | 2120422 | 2668 1688 | 254 | 547 554.70/554.86 c 549s | 22 | 5142139 | 2127122 | 2668 1693 | 254 | 547 556.70/556.87 c 551s | 22 | 5158281 | 2134022 | 2668 1697 | 254 | 547 558.71/558.88 c 553s | 22 | 5174117 | 2140922 | 2668 1702 | 254 | 547 560.70/560.89 c 555s | 22 | 5189640 | 2147622 | 2668 1706 | 254 | 547 562.80/562.91 c 557s | 22 | 5205488 | 2154622 | 2668 1711 | 254 | 547 564.80/564.92 c 559s | 22 | 5221652 | 2161922 | 2668 1716 | 254 | 547 566.80/566.94 c 561s | 22 | 5238243 | 2169022 | 2668 1721 | 254 | 547 568.80/568.96 c 563s | 22 | 5256274 | 2176322 | 2668 1725 | 254 | 547 570.81/570.97 c 565s | 22 | 5272375 | 2183322 | 2668 1730 | 254 | 547 572.80/572.97 c 567s | 22 | 5290606 | 2190422 | 2668 1735 | 254 | 547 574.90/575.00 c 569s | 22 | 5304956 | 2196922 | 2668 1739 | 254 | 547 576.90/577.02 c 571s | 22 | 5320869 | 2203622 | 2935 1743 | 254 | 547 578.90/579.05 c 573s | 22 | 5338120 | 2210522 | 2935 1747 | 254 | 547 580.90/581.08 c 575s | 22 | 5352398 | 2216922 | 2935 1751 | 254 | 547 582.91/583.09 c 577s | 22 | 5366419 | 2223322 | 2935 1755 | 254 | 547 585.00/585.12 c 579s | 22 | 5379972 | 2229822 | 2935 1759 | 254 | 547 587.00/587.15 c 581s | 22 | 5393453 | 2235922 | 2935 1763 | 254 | 547 589.00/589.17 c 583s | 22 | 5408606 | 2242322 | 2935 1767 | 254 | 547 591.00/591.19 c 585s | 22 | 5422235 | 2248622 | 2935 1771 | 254 | 547 591.70/591.90 c 586s | 23 | 5428191 | 2251038 | 2935 1772 | 254 | 547 593.80/593.91 c 588s | 23 | 5445836 | 2258438 | 2935 1777 | 254 | 547 595.80/595.93 c 590s | 23 | 5461436 | 2265938 | 2935 1781 | 254 | 547 597.80/597.93 c 592s | 23 | 5479161 | 2273138 | 2935 1786 | 254 | 547 599.80/599.95 c 594s | 23 | 5498989 | 2281238 | 2935 1791 | 254 | 547 601.80/601.96 c 596s | 23 | 5518335 | 2288738 | 2935 1795 | 254 | 547 603.80/603.98 c 598s | 23 | 5541990 | 2296638 | 2935 1800 | 254 | 547 605.89/606.00 c 600s | 23 | 5561685 | 2304338 | 2935 1805 | 254 | 547 607.89/608.03 c 602s | 23 | 5583423 | 2312038 | 2935 1810 | 254 | 547 609.89/610.03 c 604s | 23 | 5602305 | 2319438 | 2935 1814 | 254 | 547 611.89/612.05 c 606s | 23 | 5620316 | 2326638 | 2935 1819 | 254 | 547 613.89/614.05 c 608s | 23 | 5636890 | 2333838 | 2935 1823 | 254 | 547 615.90/616.06 c 610s | 23 | 5654841 | 2340938 | 2935 1827 | 254 | 547 617.89/618.08 c 612s | 23 | 5671687 | 2348138 | 2935 1832 | 254 | 547 619.89/620.09 c 614s | 23 | 5688149 | 2355338 | 2935 1836 | 254 | 547 621.99/622.11 c 616s | 23 | 5708413 | 2362938 | 2935 1841 | 254 | 547 623.99/624.11 c 618s | 23 | 5726611 | 2370138 | 2935 1845 | 254 | 547 625.98/626.14 c 620s | 23 | 5743622 | 2377438 | 2935 1850 | 254 | 547 627.99/628.16 c 622s | 23 | 5757853 | 2384538 | 2935 1854 | 254 | 547 629.98/630.19 c 624s | 23 | 5774089 | 2391938 | 2935 1859 | 254 | 547 632.09/632.20 c 626s | 23 | 5790127 | 2399138 | 2935 1863 | 254 | 547 634.09/634.21 c 628s | 23 | 5808355 | 2406538 | 2935 1868 | 254 | 547 636.09/636.24 c 630s | 23 | 5826555 | 2413738 | 2935 1872 | 254 | 547 638.09/638.26 c 632s | 23 | 5845995 | 2420938 | 2935 1877 | 254 | 547 640.09/640.27 c 634s | 23 | 5864834 | 2428638 | 2935 1881 | 254 | 547 642.09/642.28 c 636s | 23 | 5885718 | 2436738 | 2935 1886 | 254 | 547 644.09/644.29 c 638s | 23 | 5903979 | 2444438 | 2935 1891 | 254 | 547 646.18/646.31 c 640s | 23 | 5923025 | 2451938 | 2935 1896 | 254 | 547 648.18/648.31 c 642s | 23 | 5941695 | 2459338 | 2935 1900 | 254 | 547 650.18/650.34 c 644s | 23 | 5959220 | 2466938 | 2935 1905 | 254 | 547 652.19/652.36 c 646s | 23 | 5976673 | 2474438 | 2935 1909 | 254 | 547 654.18/654.37 c 648s | 23 | 5993073 | 2482138 | 2935 1914 | 254 | 547 656.18/656.39 c 650s | 23 | 6011226 | 2489738 | 2935 1919 | 254 | 547 658.28/658.41 c 652s | 23 | 6029130 | 2497138 | 2935 1923 | 254 | 547 660.28/660.43 c 655s | 23 | 6046701 | 2504238 | 2935 1928 | 254 | 547 662.28/662.45 c 657s | 23 | 6065653 | 2511738 | 2935 1932 | 254 | 547 664.28/664.46 c 659s | 23 | 6081941 | 2519038 | 2935 1937 | 254 | 547 666.27/666.48 c 661s | 23 | 6099445 | 2526338 | 2935 1941 | 254 | 547 668.37/668.50 c 663s | 23 | 6117298 | 2533638 | 2935 1946 | 254 | 547 670.37/670.51 c 665s | 23 | 6132998 | 2540738 | 2935 1950 | 254 | 547 672.37/672.53 c 667s | 23 | 6152453 | 2548738 | 2935 1955 | 254 | 547 674.37/674.55 c 669s | 23 | 6167927 | 2556138 | 2935 1960 | 254 | 547 676.38/676.56 c 671s | 23 | 6186903 | 2563538 | 2935 1964 | 254 | 547 678.37/678.58 c 673s | 23 | 6207435 | 2571338 | 2935 1969 | 254 | 547 680.47/680.60 c 675s | 23 | 6227483 | 2578838 | 2935 1973 | 254 | 547 682.47/682.60 c 677s | 23 | 6249000 | 2586338 | 2935 1978 | 254 | 547 684.47/684.62 c 679s | 23 | 6264973 | 2593338 | 2935 1982 | 254 | 547 686.46/686.64 c 681s | 23 | 6280528 | 2600538 | 2935 1987 | 254 | 547 688.47/688.66 c 683s | 23 | 6298827 | 2608038 | 2935 1991 | 254 | 547 690.46/690.66 c 685s | 23 | 6317163 | 2615238 | 2935 1996 | 254 | 547 692.46/692.67 c 687s | 23 | 6336625 | 2622738 | 2935 2001 | 254 | 547 694.46/694.68 c 689s | 23 | 6355853 | 2630538 | 2935 2005 | 254 | 547 696.46/696.69 c 691s | 23 | 6373735 | 2637938 | 2935 2010 | 254 | 547 698.56/698.71 c 693s | 23 | 6388725 | 2644838 | 2935 2014 | 254 | 547 700.56/700.72 c 695s | 23 | 6407246 | 2652138 | 2935 2019 | 254 | 547 702.56/702.74 c 697s | 23 | 6426227 | 2659938 | 2935 2023 | 254 | 547 704.56/704.74 c 699s | 23 | 6444325 | 2667738 | 2935 2028 | 254 | 547 706.55/706.75 c 701s | 23 | 6460539 | 2675538 | 2935 2033 | 254 | 547 708.55/708.77 c 703s | 23 | 6476807 | 2683538 | 2935 2038 | 254 | 547 710.56/710.77 c 705s | 23 | 6494622 | 2691238 | 2935 2043 | 254 | 547 712.55/712.79 c 707s | 23 | 6511885 | 2698838 | 2935 2047 | 254 | 547 714.55/714.79 c 709s | 23 | 6528508 | 2706538 | 2935 2052 | 254 | 547 716.55/716.79 c 711s | 23 | 6545616 | 2714238 | 2935 2057 | 254 | 547 718.65/718.81 c 713s | 23 | 6562606 | 2721638 | 2935 2061 | 254 | 547 720.65/720.82 c 715s | 23 | 6580224 | 2728838 | 2935 2066 | 254 | 547 722.66/722.84 c 717s | 23 | 6597750 | 2736238 | 2935 2070 | 254 | 547 724.65/724.85 c 719s | 23 | 6615377 | 2743738 | 2935 2075 | 254 | 547 726.64/726.87 c 721s | 23 | 6633006 | 2751238 | 2935 2079 | 254 | 547 728.64/728.89 c 723s | 23 | 6649322 | 2758238 | 2935 2084 | 254 | 547 730.74/730.90 c 725s | 23 | 6667203 | 2765638 | 2935 2088 | 254 | 547 732.74/732.91 c 727s | 23 | 6684808 | 2773038 | 2935 2093 | 254 | 547 734.75/734.94 c 729s | 23 | 6700810 | 2780738 | 2935 2098 | 254 | 547 736.74/736.95 c 731s | 23 | 6715298 | 2787938 | 2935 2102 | 254 | 547 738.74/738.98 c 733s | 23 | 6731499 | 2795238 | 2935 2107 | 254 | 547 740.84/741.00 c 735s | 23 | 6750423 | 2802538 | 2935 2111 | 254 | 547 742.84/743.00 c 737s | 23 | 6768434 | 2809938 | 2935 2116 | 254 | 547 744.84/745.01 c 739s | 23 | 6786378 | 2817638 | 2935 2120 | 254 | 547 746.84/747.02 c 741s | 23 | 6805155 | 2824938 | 2935 2125 | 254 | 547 748.84/749.02 c 743s | 23 | 6825341 | 2832638 | 2935 2130 | 254 | 547 750.84/751.03 c 745s | 23 | 6842035 | 2840938 | 2935 2135 | 254 | 547 752.84/753.04 c 747s | 23 | 6857536 | 2849238 | 2935 2140 | 254 | 547 754.84/755.07 c 749s | 23 | 6874867 | 2856838 | 2935 2144 | 254 | 547 756.83/757.08 c 751s | 23 | 6889733 | 2864638 | 2935 2149 | 254 | 547 758.94/759.10 c 753s | 23 | 6903753 | 2872238 | 2935 2154 | 254 | 547 760.93/761.10 c 755s | 23 | 6917822 | 2879838 | 2935 2159 | 254 | 547 762.93/763.11 c 757s | 23 | 6932995 | 2887238 | 2935 2163 | 254 | 547 764.93/765.12 c 759s | 23 | 6947123 | 2894538 | 2935 2168 | 254 | 547 766.93/767.14 c 761s | 23 | 6965498 | 2902038 | 2935 2172 | 254 | 547 768.93/769.16 c 763s | 23 | 6980738 | 2909238 | 2935 2177 | 254 | 547 770.94/771.17 c 765s | 23 | 6998748 | 2916538 | 2935 2181 | 254 | 547 772.93/773.18 c 767s | 23 | 7016429 | 2924238 | 2935 2186 | 254 | 547 774.93/775.18 c 769s | 23 | 7033069 | 2932038 | 2935 2191 | 254 | 547 776.93/777.19 c 771s | 23 | 7050158 | 2939338 | 2935 2195 | 254 | 547 779.03/779.21 c 773s | 23 | 7070341 | 2946838 | 2935 2200 | 254 | 547 781.03/781.21 c 775s | 23 | 7089049 | 2954038 | 2935 2204 | 254 | 547 783.04/783.22 c 777s | 23 | 7106736 | 2961438 | 2935 2209 | 254 | 547 785.03/785.22 c 779s | 23 | 7124036 | 2968938 | 2935 2213 | 254 | 547 787.03/787.24 c 781s | 23 | 7138461 | 2976138 | 2935 2218 | 254 | 547 789.03/789.25 c 783s | 23 | 7157496 | 2983938 | 2935 2223 | 254 | 547 791.03/791.25 c 785s | 23 | 7173041 | 2991138 | 2935 2227 | 254 | 547 793.03/793.27 c 787s | 23 | 7189427 | 2998438 | 2935 2232 | 254 | 547 795.03/795.28 c 789s | 23 | 7202510 | 3006238 | 2935 2236 | 254 | 547 797.02/797.29 c 791s | 23 | 7217485 | 3013338 | 2935 2241 | 254 | 547 799.12/799.30 c 793s | 23 | 7233996 | 3020238 | 2935 2245 | 254 | 547 801.12/801.31 c 795s | 23 | 7248646 | 3026838 | 2935 2249 | 254 | 547 803.12/803.32 c 797s | 23 | 7266378 | 3034238 | 2935 2253 | 254 | 547 805.13/805.33 c 799s | 23 | 7282322 | 3041238 | 2935 2258 | 254 | 547 807.12/807.35 c 801s | 23 | 7298207 | 3048338 | 2935 2262 | 254 | 547 809.12/809.37 c 803s | 23 | 7312418 | 3055238 | 2935 2266 | 254 | 547 811.11/811.39 c 805s | 23 | 7326679 | 3061938 | 2935 2270 | 254 | 547 813.21/813.42 c 807s | 23 | 7342499 | 3068838 | 2935 2275 | 254 | 547 815.21/815.42 c 810s | 23 | 7358122 | 3075738 | 2935 2279 | 254 | 547 817.21/817.44 c 812s | 23 | 7374240 | 3082838 | 2935 2283 | 254 | 547 819.21/819.44 c 814s | 23 | 7391109 | 3089938 | 2935 2288 | 254 | 547 821.21/821.46 c 816s | 23 | 7406260 | 3096938 | 2935 2292 | 254 | 547 823.21/823.47 c 818s | 23 | 7421402 | 3103938 | 2935 2296 | 254 | 547 825.21/825.49 c 820s | 23 | 7438975 | 3111238 | 2935 2301 | 254 | 547 827.30/827.51 c 822s | 23 | 7456332 | 3118838 | 2935 2305 | 254 | 547 829.31/829.52 c 824s | 23 | 7474105 | 3126338 | 2935 2310 | 254 | 547 831.30/831.54 c 826s | 23 | 7491138 | 3133738 | 2935 2314 | 254 | 547 833.30/833.56 c 828s | 23 | 7507645 | 3141038 | 2935 2319 | 254 | 547 835.30/835.57 c 830s | 23 | 7523823 | 3147938 | 2935 2323 | 254 | 547 837.30/837.59 c 832s | 23 | 7540804 | 3155638 | 2935 2328 | 254 | 547 839.40/839.61 c 834s | 23 | 7560442 | 3163138 | 2935 2333 | 254 | 547 841.40/841.63 c 836s | 23 | 7578378 | 3170638 | 2935 2337 | 254 | 547 843.39/843.65 c 838s | 23 | 7596452 | 3178238 | 2935 2342 | 254 | 547 845.39/845.69 c 840s | 23 | 7615227 | 3185938 | 2935 2347 | 254 | 547 847.39/847.69 c 842s | 23 | 7629683 | 3193138 | 2935 2351 | 254 | 547 849.49/849.73 c 844s | 23 | 7647290 | 3200438 | 2935 2355 | 254 | 547 851.49/851.74 c 846s | 23 | 7663527 | 3207238 | 2935 2360 | 254 | 547 853.50/853.77 c 848s | 23 | 7680257 | 3214338 | 2935 2364 | 254 | 547 855.49/855.80 c 850s | 23 | 7699960 | 3221738 | 2935 2369 | 254 | 547 857.58/857.83 c 852s | 23 | 7715245 | 3228738 | 2935 2373 | 254 | 547 859.58/859.84 c 854s | 23 | 7730184 | 3235538 | 2935 2377 | 254 | 547 861.58/861.84 c 856s | 23 | 7747219 | 3242538 | 2935 2381 | 254 | 547 863.58/863.85 c 858s | 23 | 7761428 | 3249438 | 2935 2386 | 254 | 547 865.59/865.88 c 860s | 23 | 7779310 | 3256538 | 2935 2390 | 254 | 547 867.58/867.89 c 862s | 23 | 7795335 | 3263238 | 2935 2394 | 254 | 547 869.68/869.90 c 864s | 23 | 7810394 | 3270138 | 2935 2398 | 254 | 547 871.68/871.92 c 866s | 23 | 7824333 | 3276638 | 2935 2402 | 254 | 547 873.68/873.93 c 868s | 23 | 7837986 | 3283238 | 2935 2406 | 254 | 547 875.68/875.95 c 870s | 23 | 7852514 | 3289938 | 2935 2410 | 254 | 547 877.68/877.97 c 872s | 23 | 7868979 | 3296838 | 2935 2415 | 254 | 547 879.67/879.99 c 874s | 23 | 7883939 | 3303438 | 2935 2419 | 254 | 547 881.77/882.02 c 876s | 23 | 7899696 | 3310638 | 2935 2423 | 254 | 547 883.77/884.03 c 878s | 23 | 7914600 | 3317738 | 3229 2427 | 254 | 547 885.77/886.03 c 880s | 23 | 7929785 | 3324238 | 3229 2431 | 254 | 547 887.77/888.04 c 882s | 23 | 7943654 | 3330738 | 3229 2434 | 254 | 547 889.78/890.04 c 884s | 23 | 7957856 | 3337038 | 3229 2438 | 254 | 547 891.77/892.06 c 886s | 23 | 7974921 | 3344238 | 3229 2442 | 254 | 547 893.77/894.07 c 888s | 23 | 7993552 | 3351538 | 3229 2446 | 254 | 547 895.77/896.08 c 890s | 23 | 8008929 | 3358938 | 3229 2450 | 254 | 547 897.77/898.09 c 892s | 23 | 8024954 | 3365938 | 3229 2454 | 254 | 547 899.77/900.09 c 894s | 23 | 8042239 | 3373138 | 3229 2458 | 254 | 547 900.77/901.01 c 895s | 24 | 8051066 | 3376662 | 3229 2460 | 254 | 547 902.76/903.01 c 897s | 24 | 8067426 | 3383562 | 3229 2464 | 254 | 547 904.76/905.04 c 899s | 24 | 8086762 | 3391162 | 3229 2469 | 254 | 547 906.76/907.04 c 901s | 24 | 8105780 | 3398662 | 3229 2473 | 254 | 547 908.76/909.06 c 903s | 24 | 8122845 | 3405862 | 3229 2477 | 254 | 547 910.76/911.07 c 905s | 24 | 8142041 | 3413762 | 3229 2481 | 254 | 547 912.77/913.08 c 907s | 24 | 8160562 | 3421262 | 3229 2486 | 254 | 547 914.86/915.11 c 909s | 24 | 8182254 | 3428962 | 3229 2490 | 254 | 547 916.85/917.13 c 911s | 24 | 8202738 | 3436462 | 3229 2494 | 254 | 547 918.85/919.15 c 913s | 24 | 8220935 | 3444062 | 3229 2498 | 254 | 547 920.85/921.16 c 915s | 24 | 8240665 | 3452162 | 3229 2503 | 254 | 547 922.85/923.18 c 917s | 24 | 8261443 | 3460062 | 3229 2507 | 254 | 547 924.86/925.19 c 919s | 24 | 8278666 | 3467562 | 3229 2512 | 254 | 547 926.95/927.20 c 921s | 24 | 8297124 | 3475262 | 3229 2516 | 254 | 547 928.95/929.20 c 923s | 24 | 8321113 | 3483562 | 3229 2521 | 254 | 547 930.95/931.21 c 925s | 24 | 8339632 | 3491462 | 3229 2525 | 254 | 547 932.95/933.23 c 927s | 24 | 8357242 | 3499462 | 3229 2530 | 254 | 547 934.95/935.24 c 929s | 24 | 8375187 | 3507062 | 3229 2534 | 254 | 547 936.95/937.25 c 931s | 24 | 8394002 | 3514562 | 3229 2538 | 254 | 547 938.94/939.27 c 933s | 24 | 8415166 | 3522462 | 3229 2543 | 254 | 547 940.94/941.29 c 935s | 24 | 8439171 | 3530562 | 3229 2547 | 254 | 547 943.04/943.31 c 937s | 24 | 8456546 | 3537862 | 3229 2551 | 254 | 547 945.04/945.31 c 939s | 24 | 8474978 | 3545062 | 3229 2555 | 254 | 547 947.04/947.33 c 941s | 24 | 8497109 | 3552562 | 3229 2560 | 254 | 547 949.05/949.35 c 943s | 24 | 8516312 | 3559762 | 3229 2564 | 254 | 547 951.04/951.37 c 945s | 24 | 8533981 | 3567262 | 3229 2568 | 254 | 547 953.04/953.37 c 947s | 24 | 8552743 | 3574362 | 3229 2572 | 254 | 547 955.05/955.39 c 949s | 24 | 8571872 | 3581762 | 3229 2576 | 254 | 547 957.14/957.40 c 951s | 24 | 8591468 | 3589462 | 3229 2580 | 254 | 547 959.14/959.42 c 953s | 24 | 8609457 | 3596762 | 3229 2584 | 254 | 547 961.15/961.43 c 956s | 24 | 8626943 | 3603562 | 3229 2588 | 254 | 547 963.14/963.45 c 958s | 24 | 8645959 | 3610662 | 3229 2592 | 254 | 547 965.14/965.46 c 960s | 24 | 8665687 | 3618262 | 3229 2597 | 254 | 547 967.14/967.47 c 962s | 24 | 8687700 | 3626262 | 3229 2601 | 254 | 547 969.14/969.49 c 964s | 24 | 8706883 | 3633762 | 3229 2605 | 254 | 547 971.24/971.50 c 966s | 24 | 8726323 | 3641262 | 3229 2609 | 254 | 547 973.25/973.53 c 968s | 24 | 8744046 | 3648762 | 3229 2614 | 254 | 547 975.24/975.53 c 970s | 24 | 8762333 | 3655962 | 3229 2618 | 254 | 547 977.24/977.57 c 972s | 24 | 8782219 | 3663762 | 3229 2622 | 254 | 547 979.24/979.57 c 974s | 24 | 8801621 | 3671662 | 3229 2627 | 254 | 547 981.23/981.58 c 976s | 24 | 8820018 | 3679462 | 3229 2631 | 254 | 547 983.33/983.60 c 978s | 24 | 8839127 | 3686862 | 3229 2635 | 254 | 547 985.23/985.60 c 980s | 24 | 8857001 | 3694262 | 3229 2639 | 254 | 547 987.33/987.61 c 982s | 24 | 8876221 | 3702062 | 3229 2644 | 254 | 547 989.33/989.61 c 984s | 24 | 8897022 | 3709862 | 3229 2648 | 254 | 547 991.33/991.62 c 986s | 24 | 8915392 | 3717262 | 3229 2652 | 254 | 547 993.33/993.63 c 988s | 24 | 8932126 | 3724462 | 3229 2656 | 254 | 547 995.34/995.65 c 990s | 24 | 8950655 | 3732162 | 3229 2661 | 254 | 547 997.33/997.67 c 992s | 24 | 8972896 | 3739762 | 3229 2665 | 254 | 547 999.33/999.69 c 994s | 24 | 8992639 | 3747262 | 3229 2669 | 254 | 547 1001.33/1001.70 c 996s | 24 | 9010110 | 3754262 | 3229 2673 | 254 | 547 1003.42/1003.72 c 998s | 24 | 9028505 | 3761462 | 3229 2677 | 254 | 547 1005.42/1005.75 c 1000s | 24 | 9045692 | 3768462 | 3229 2681 | 254 | 547 1007.43/1007.77 c 1002s | 24 | 9064564 | 3775562 | 3229 2685 | 254 | 547 1009.42/1009.79 c 1004s | 24 | 9083269 | 3782762 | 3229 2689 | 254 | 547 1011.42/1011.79 c 1006s | 24 | 9103252 | 3790362 | 3229 2693 | 254 | 547 1013.52/1013.80 c 1008s | 24 | 9123151 | 3798062 | 3229 2698 | 254 | 547 1015.52/1015.82 c 1010s | 24 | 9140341 | 3805262 | 3229 2702 | 254 | 547 1017.52/1017.83 c 1012s | 24 | 9159028 | 3812662 | 3229 2706 | 254 | 547 1019.52/1019.86 c 1014s | 24 | 9178368 | 3820262 | 3229 2710 | 254 | 547 1021.51/1021.87 c 1016s | 24 | 9200846 | 3828362 | 3229 2715 | 254 | 547 1023.51/1023.89 c 1018s | 24 | 9220151 | 3835762 | 3229 2719 | 254 | 547 1025.61/1025.90 c 1020s | 24 | 9239256 | 3843262 | 3229 2723 | 254 | 547 1027.61/1027.92 c 1022s | 24 | 9259430 | 3850862 | 3229 2728 | 254 | 547 1029.61/1029.94 c 1024s | 24 | 9276298 | 3858062 | 3229 2732 | 254 | 547 1031.62/1031.95 c 1026s | 24 | 9295893 | 3865462 | 3229 2736 | 254 | 547 1033.61/1033.98 c 1028s | 24 | 9311939 | 3872162 | 3229 2740 | 254 | 547 1035.71/1036.01 c 1030s | 24 | 9330978 | 3879662 | 3229 2744 | 254 | 547 1037.70/1038.01 c 1032s | 24 | 9349365 | 3887162 | 3229 2748 | 254 | 547 1039.70/1040.01 c 1034s | 24 | 9370256 | 3895062 | 3229 2752 | 254 | 547 1041.70/1042.03 c 1036s | 24 | 9386208 | 3902062 | 3229 2756 | 254 | 547 1043.71/1044.05 c 1038s | 24 | 9403405 | 3908962 | 3229 2760 | 254 | 547 1045.70/1046.06 c 1040s | 24 | 9422888 | 3915862 | 3229 2764 | 254 | 547 1047.70/1048.09 c 1042s | 24 | 9442593 | 3923162 | 3229 2768 | 254 | 547 1049.80/1050.10 c 1044s | 24 | 9461918 | 3930262 | 3229 2772 | 254 | 547 1051.80/1052.12 c 1046s | 24 | 9481451 | 3937362 | 3229 2776 | 254 | 547 1053.79/1054.12 c 1048s | 24 | 9499114 | 3944262 | 3229 2780 | 254 | 547 1055.80/1056.14 c 1050s | 24 | 9517836 | 3951762 | 3229 2784 | 254 | 547 1057.79/1058.14 c 1052s | 24 | 9535864 | 3959162 | 3229 2789 | 254 | 547 1059.79/1060.16 c 1054s | 24 | 9557310 | 3967362 | 3229 2793 | 254 | 547 1061.79/1062.16 c 1056s | 24 | 9577163 | 3975162 | 3229 2798 | 254 | 547 1063.79/1064.17 c 1058s | 24 | 9597458 | 3982862 | 3229 2802 | 254 | 547 1065.79/1066.19 c 1060s | 24 | 9617137 | 3990362 | 3229 2806 | 254 | 547 1067.90/1068.20 c 1062s | 24 | 9633834 | 3997562 | 3229 2810 | 254 | 547 1069.89/1070.22 c 1064s | 24 | 9651272 | 4004862 | 3229 2814 | 254 | 547 1071.89/1072.23 c 1066s | 24 | 9666938 | 4011862 | 3229 2818 | 254 | 547 1073.89/1074.23 c 1068s | 24 | 9684737 | 4019162 | 3229 2822 | 254 | 547 1075.89/1076.24 c 1070s | 24 | 9701489 | 4025962 | 3229 2826 | 254 | 547 1077.89/1078.24 c 1072s | 24 | 9720215 | 4033262 | 3229 2830 | 254 | 547 1079.90/1080.26 c 1074s | 24 | 9739073 | 4040562 | 3229 2834 | 254 | 547 1081.89/1082.26 c 1076s | 24 | 9755286 | 4047462 | 3229 2838 | 254 | 547 1083.89/1084.28 c 1078s | 24 | 9774416 | 4054962 | 3229 2842 | 254 | 547 1085.98/1086.32 c 1080s | 24 | 9792822 | 4062262 | 3229 2847 | 254 | 547 1087.98/1088.33 c 1082s | 24 | 9811181 | 4069162 | 3229 2850 | 254 | 547 1089.98/1090.35 c 1084s | 24 | 9835066 | 4077162 | 3229 2855 | 254 | 547 1091.99/1092.36 c 1086s | 24 | 9855033 | 4084862 | 3229 2859 | 254 | 547 1093.98/1094.38 c 1088s | 24 | 9875208 | 4092562 | 3229 2864 | 254 | 547 1095.98/1096.39 c 1090s | 24 | 9891498 | 4099662 | 3229 2868 | 254 | 547 1098.08/1098.40 c 1092s | 24 | 9910801 | 4107462 | 3229 2872 | 254 | 547 1100.08/1100.41 c 1094s | 24 | 9928375 | 4114762 | 3229 2876 | 254 | 547 1102.08/1102.41 c 1096s | 24 | 9944883 | 4121962 | 3229 2880 | 254 | 547 1104.08/1104.44 c 1099s | 24 | 9964873 | 4129562 | 3229 2884 | 254 | 547 1106.07/1106.44 c 1101s | 24 | 9983574 | 4136462 | 3229 2888 | 254 | 547 1108.07/1108.46 c 1103s | 24 | 10001612 | 4143562 | 3229 2892 | 254 | 547 1110.07/1110.47 c 1105s | 24 | 10018867 | 4150562 | 3229 2896 | 254 | 547 1112.07/1112.48 c 1107s | 24 | 10038571 | 4157662 | 3229 2900 | 254 | 547 1114.08/1114.49 c 1109s | 24 | 10058094 | 4164662 | 3229 2904 | 254 | 547 1116.17/1116.52 c 1111s | 24 | 10076564 | 4171462 | 3229 2908 | 254 | 547 1118.17/1118.52 c 1113s | 24 | 10092155 | 4177862 | 3229 2912 | 254 | 547 1120.17/1120.54 c 1115s | 24 | 10111380 | 4185262 | 3229 2916 | 254 | 547 1122.17/1122.55 c 1117s | 24 | 10126479 | 4192062 | 3229 2920 | 254 | 547 1124.17/1124.55 c 1119s | 24 | 10141432 | 4200262 | 3229 2924 | 254 | 547 1126.17/1126.57 c 1121s | 24 | 10159624 | 4208262 | 3229 2929 | 254 | 547 1128.16/1128.59 c 1123s | 24 | 10182006 | 4216562 | 3229 2933 | 254 | 547 1130.16/1130.59 c 1125s | 24 | 10200076 | 4223862 | 3229 2937 | 254 | 547 1132.16/1132.59 c 1127s | 24 | 10221017 | 4231662 | 3229 2942 | 254 | 547 1134.26/1134.60 c 1129s | 24 | 10239655 | 4239462 | 3229 2946 | 254 | 547 1136.26/1136.61 c 1131s | 24 | 10258733 | 4247262 | 3229 2951 | 254 | 547 1138.26/1138.63 c 1133s | 24 | 10275531 | 4255662 | 3229 2955 | 254 | 547 1140.26/1140.65 c 1135s | 24 | 10291317 | 4263262 | 3229 2960 | 254 | 547 1142.25/1142.65 c 1137s | 24 | 10309237 | 4270962 | 3229 2964 | 254 | 547 1144.25/1144.68 c 1139s | 24 | 10326360 | 4278962 | 3229 2969 | 254 | 547 1146.25/1146.69 c 1141s | 24 | 10344848 | 4286662 | 3229 2973 | 254 | 547 1148.35/1148.74 c 1143s | 24 | 10363491 | 4293962 | 3229 2977 | 254 | 547 1150.36/1150.75 c 1145s | 24 | 10379961 | 4302762 | 3229 2982 | 254 | 547 1152.35/1152.76 c 1147s | 24 | 10395505 | 4311162 | 3229 2987 | 254 | 547 1154.35/1154.78 c 1149s | 24 | 10416716 | 4319462 | 3229 2991 | 254 | 547 1156.34/1156.79 c 1151s | 24 | 10434277 | 4326962 | 3229 2996 | 254 | 547 1158.44/1158.80 c 1153s | 24 | 10455975 | 4335162 | 3229 3000 | 254 | 547 1160.44/1160.81 c 1155s | 24 | 10473043 | 4343262 | 3229 3005 | 254 | 547 1162.45/1162.83 c 1157s | 24 | 10487968 | 4351562 | 3229 3009 | 254 | 547 1164.45/1164.85 c 1159s | 24 | 10501832 | 4359662 | 3229 3014 | 254 | 547 1166.44/1166.87 c 1161s | 24 | 10516510 | 4367562 | 3229 3018 | 254 | 547 1168.44/1168.89 c 1163s | 24 | 10531357 | 4376162 | 3229 3023 | 254 | 547 1170.54/1170.90 c 1165s | 24 | 10545133 | 4384662 | 3229 3028 | 254 | 547 1172.54/1172.91 c 1167s | 24 | 10559688 | 4392762 | 3229 3033 | 254 | 547 1174.55/1174.92 c 1169s | 24 | 10575711 | 4401062 | 3229 3037 | 254 | 547 1176.53/1176.93 c 1171s | 24 | 10592165 | 4408862 | 3229 3042 | 254 | 547 1178.53/1178.94 c 1173s | 24 | 10606359 | 4416862 | 3229 3046 | 254 | 547 1180.53/1180.96 c 1175s | 24 | 10620794 | 4424962 | 3229 3051 | 254 | 547 1182.53/1182.97 c 1177s | 24 | 10634513 | 4433462 | 3229 3056 | 254 | 547 1184.53/1184.99 c 1179s | 24 | 10650051 | 4441762 | 3229 3060 | 254 | 547 1186.63/1187.02 c 1181s | 24 | 10663810 | 4449562 | 3229 3065 | 254 | 547 1188.63/1189.02 c 1183s | 24 | 10679390 | 4457562 | 3229 3069 | 254 | 547 1190.63/1191.03 c 1185s | 24 | 10698102 | 4465762 | 3229 3074 | 254 | 547 1192.63/1193.04 c 1187s | 24 | 10715526 | 4473862 | 3229 3078 | 254 | 547 1194.62/1195.06 c 1189s | 24 | 10733016 | 4481362 | 3229 3083 | 254 | 547 1196.62/1197.06 c 1191s | 24 | 10747956 | 4489562 | 3229 3087 | 254 | 547 1198.63/1199.08 c 1193s | 24 | 10760865 | 4497362 | 3229 3092 | 254 | 547 1200.62/1201.08 c 1195s | 24 | 10778893 | 4505462 | 3229 3096 | 254 | 547 1202.62/1203.09 c 1197s | 24 | 10795774 | 4513562 | 3229 3101 | 254 | 547 1204.62/1205.09 c 1199s | 24 | 10810909 | 4520962 | 3229 3105 | 254 | 547 1206.71/1207.10 c 1201s | 24 | 10823729 | 4528362 | 3229 3109 | 254 | 547 1208.71/1209.10 c 1203s | 24 | 10837002 | 4535962 | 3229 3114 | 254 | 547 1210.72/1211.11 c 1205s | 24 | 10850768 | 4543562 | 3229 3118 | 254 | 547 1212.71/1213.13 c 1207s | 24 | 10864236 | 4551562 | 3229 3122 | 254 | 547 1214.71/1215.14 c 1209s | 24 | 10877711 | 4559462 | 3229 3127 | 254 | 547 1216.71/1217.15 c 1211s | 24 | 10896280 | 4567662 | 3229 3131 | 254 | 547 1218.71/1219.16 c 1213s | 24 | 10912280 | 4575362 | 3229 3136 | 254 | 547 1220.71/1221.17 c 1215s | 24 | 10929562 | 4583262 | 3229 3140 | 254 | 547 1222.71/1223.18 c 1217s | 24 | 10946709 | 4590762 | 3229 3144 | 254 | 547 1224.80/1225.20 c 1219s | 24 | 10966811 | 4598262 | 3229 3149 | 254 | 547 1226.81/1227.22 c 1221s | 24 | 10986637 | 4605762 | 3229 3153 | 254 | 547 1228.81/1229.22 c 1223s | 24 | 11004424 | 4613362 | 3229 3157 | 254 | 547 1230.81/1231.22 c 1225s | 24 | 11018534 | 4620562 | 3229 3161 | 254 | 547 1232.82/1233.24 c 1227s | 24 | 11033097 | 4628462 | 3229 3166 | 254 | 547 1234.81/1235.27 c 1229s | 24 | 11047705 | 4636262 | 3229 3170 | 254 | 547 1236.81/1237.28 c 1231s | 24 | 11061384 | 4643762 | 3229 3174 | 254 | 547 1238.91/1239.30 c 1233s | 24 | 11078575 | 4651162 | 3229 3179 | 254 | 547 1240.91/1241.33 c 1235s | 24 | 11094447 | 4657862 | 3229 3182 | 254 | 547 1242.90/1243.35 c 1237s | 24 | 11109988 | 4665062 | 3229 3186 | 254 | 547 1244.91/1245.37 c 1239s | 24 | 11124589 | 4672662 | 3229 3191 | 254 | 547 1246.90/1247.38 c 1241s | 24 | 11139979 | 4679762 | 3229 3195 | 254 | 547 1249.00/1249.40 c 1243s | 24 | 11159081 | 4686962 | 3229 3199 | 254 | 547 1251.00/1251.41 c 1245s | 24 | 11175925 | 4693862 | 3229 3203 | 254 | 547 1253.00/1253.41 c 1247s | 24 | 11192495 | 4700962 | 3229 3207 | 254 | 547 1255.00/1255.42 c 1250s | 24 | 11208490 | 4708162 | 3229 3211 | 254 | 547 1257.00/1257.44 c 1252s | 24 | 11223464 | 4715662 | 3229 3215 | 254 | 547 1259.00/1259.46 c 1254s | 24 | 11239405 | 4722862 | 3229 3219 | 254 | 547 1261.00/1261.48 c 1256s | 24 | 11258035 | 4730062 | 3229 3223 | 254 | 547 1263.10/1263.50 c 1258s | 24 | 11273920 | 4736562 | 3229 3227 | 254 | 547 1265.10/1265.52 c 1260s | 24 | 11291095 | 4743262 | 3229 3231 | 254 | 547 1267.09/1267.53 c 1262s | 24 | 11305026 | 4749662 | 3229 3234 | 254 | 547 1269.10/1269.54 c 1264s | 24 | 11320564 | 4756362 | 3229 3238 | 254 | 547 1271.09/1271.54 c 1266s | 24 | 11336341 | 4762962 | 3229 3242 | 254 | 547 1273.09/1273.56 c 1268s | 24 | 11350929 | 4770062 | 3229 3246 | 254 | 547 1275.09/1275.57 c 1270s | 24 | 11367868 | 4777262 | 3229 3250 | 254 | 547 1277.09/1277.58 c 1272s | 24 | 11385277 | 4784362 | 3229 3254 | 254 | 547 1279.09/1279.59 c 1274s | 24 | 11399437 | 4791662 | 3229 3258 | 254 | 547 1281.20/1281.61 c 1276s | 24 | 11413643 | 4798962 | 3229 3262 | 254 | 547 1283.19/1283.63 c 1278s | 24 | 11430915 | 4807362 | 3229 3267 | 254 | 547 1285.19/1285.64 c 1280s | 24 | 11445400 | 4815062 | 3229 3271 | 254 | 547 1287.19/1287.66 c 1282s | 24 | 11459117 | 4822862 | 3229 3275 | 254 | 547 1289.19/1289.67 c 1284s | 24 | 11478867 | 4830762 | 3229 3280 | 254 | 547 1291.19/1291.69 c 1286s | 24 | 11494861 | 4838362 | 3229 3284 | 254 | 547 1293.30/1293.71 c 1288s | 24 | 11512482 | 4845462 | 3229 3288 | 254 | 547 1295.29/1295.71 c 1290s | 24 | 11530517 | 4852762 | 3229 3292 | 254 | 547 1297.29/1297.72 c 1292s | 24 | 11546555 | 4860062 | 3229 3296 | 254 | 547 1299.29/1299.74 c 1294s | 24 | 11564288 | 4867362 | 3229 3301 | 254 | 547 1301.29/1301.75 c 1296s | 24 | 11578974 | 4874562 | 3229 3305 | 254 | 547 1303.29/1303.76 c 1298s | 24 | 11596257 | 4882662 | 3229 3309 | 254 | 547 1305.29/1305.77 c 1300s | 24 | 11613110 | 4890362 | 3229 3314 | 254 | 547 1307.29/1307.78 c 1302s | 24 | 11628839 | 4897862 | 3229 3318 | 254 | 547 1309.38/1309.81 c 1304s | 24 | 11645679 | 4905862 | 3229 3322 | 254 | 547 1311.38/1311.82 c 1306s | 24 | 11660528 | 4913362 | 3229 3326 | 254 | 547 1313.38/1313.82 c 1308s | 24 | 11674917 | 4921562 | 3229 3331 | 254 | 547 1315.38/1315.84 c 1310s | 24 | 11692091 | 4929962 | 3229 3336 | 254 | 547 1317.40/1317.85 c 1312s | 24 | 11705564 | 4938062 | 3229 3340 | 254 | 547 1319.39/1319.86 c 1314s | 24 | 11721364 | 4945862 | 3229 3345 | 254 | 547 1321.39/1321.88 c 1316s | 24 | 11738415 | 4953862 | 3229 3349 | 254 | 547 1323.49/1323.90 c 1318s | 24 | 11754730 | 4961862 | 3229 3354 | 254 | 547 1325.49/1325.92 c 1320s | 24 | 11770261 | 4969662 | 3229 3358 | 254 | 547 1327.49/1327.94 c 1322s | 24 | 11789440 | 4977462 | 3229 3363 | 254 | 547 1329.50/1329.96 c 1324s | 24 | 11807422 | 4984962 | 3229 3367 | 254 | 547 1331.49/1331.99 c 1326s | 24 | 11827261 | 4992862 | 3552 3371 | 254 | 547 1333.59/1334.01 c 1328s | 24 | 11845434 | 5000362 | 3552 3375 | 254 | 547 1335.59/1336.03 c 1330s | 24 | 11860086 | 5007162 | 3552 3379 | 254 | 547 1337.59/1338.04 c 1332s | 24 | 11875312 | 5014762 | 3552 3383 | 254 | 547 1339.59/1340.06 c 1334s | 24 | 11890697 | 5022162 | 3552 3386 | 254 | 547 1341.59/1342.07 c 1336s | 24 | 11909699 | 5029662 | 3552 3390 | 254 | 547 1343.58/1344.09 c 1338s | 24 | 11926421 | 5036962 | 3552 3394 | 254 | 547 1345.68/1346.10 c 1340s | 24 | 11943894 | 5044162 | 3552 3398 | 254 | 547 1347.68/1348.11 c 1342s | 24 | 11960722 | 5051462 | 3552 3401 | 254 | 547 1349.68/1350.12 c 1344s | 24 | 11979299 | 5058862 | 3552 3405 | 254 | 547 1351.38/1351.83 c 1346s | 25 | 11995733 | 5065098 | 3552 3409 | 254 | 547 1353.38/1353.83 c 1348s | 25 | 12014222 | 5072598 | 3552 3412 | 254 | 547 1355.38/1355.84 c 1350s | 25 | 12031960 | 5080098 | 3552 3416 | 254 | 547 1357.38/1357.85 c 1352s | 25 | 12050653 | 5087598 | 3552 3420 | 254 | 547 1359.38/1359.88 c 1354s | 25 | 12068994 | 5095298 | 3552 3424 | 254 | 547 1361.39/1361.88 c 1356s | 25 | 12087507 | 5102898 | 3552 3428 | 254 | 547 1363.48/1363.90 c 1358s | 25 | 12106632 | 5110598 | 3552 3432 | 254 | 547 1365.48/1365.90 c 1360s | 25 | 12122531 | 5117798 | 3552 3436 | 254 | 547 1367.48/1367.92 c 1362s | 25 | 12137553 | 5124798 | 3552 3439 | 254 | 547 1369.48/1369.93 c 1364s | 25 | 12152303 | 5131698 | 3552 3443 | 254 | 547 1371.48/1371.95 c 1366s | 25 | 12169115 | 5139298 | 3552 3447 | 254 | 547 1373.48/1373.96 c 1368s | 25 | 12185023 | 5146698 | 3552 3451 | 254 | 547 1375.48/1375.99 c 1370s | 25 | 12202452 | 5154298 | 3552 3455 | 254 | 547 1377.58/1378.02 c 1372s | 25 | 12218581 | 5161498 | 3552 3458 | 254 | 547 1379.58/1380.05 c 1374s | 25 | 12234822 | 5168498 | 3552 3462 | 254 | 547 1381.57/1382.05 c 1376s | 25 | 12250821 | 5175598 | 3552 3466 | 254 | 547 1383.57/1384.07 c 1378s | 25 | 12264813 | 5182298 | 3552 3469 | 254 | 547 1385.58/1386.09 c 1380s | 25 | 12279390 | 5189098 | 3552 3473 | 254 | 547 1387.67/1388.12 c 1382s | 25 | 12294968 | 5195898 | 3552 3476 | 254 | 547 1389.67/1390.14 c 1384s | 25 | 12310728 | 5202698 | 3552 3480 | 254 | 547 1391.67/1392.15 c 1386s | 25 | 12329017 | 5210098 | 3552 3483 | 254 | 547 1393.67/1394.16 c 1388s | 25 | 12351465 | 5218298 | 3552 3488 | 254 | 547 1395.67/1396.17 c 1390s | 25 | 12370778 | 5226098 | 3552 3492 | 254 | 547 1397.68/1398.18 c 1392s | 25 | 12389319 | 5234098 | 3552 3496 | 254 | 547 1399.67/1400.19 c 1394s | 25 | 12408522 | 5241898 | 3552 3500 | 254 | 547 1401.77/1402.20 c 1396s | 25 | 12426759 | 5249398 | 3552 3504 | 254 | 547 1403.77/1404.21 c 1398s | 25 | 12442713 | 5256498 | 3552 3507 | 254 | 547 1405.78/1406.21 c 1400s | 25 | 12461457 | 5263798 | 3552 3511 | 254 | 547 1407.78/1408.22 c 1402s | 25 | 12482560 | 5271298 | 3552 3515 | 254 | 547 1409.78/1410.24 c 1404s | 25 | 12505561 | 5279098 | 3552 3519 | 254 | 547 1411.78/1412.27 c 1406s | 25 | 12524633 | 5286498 | 3552 3523 | 254 | 547 1413.78/1414.27 c 1408s | 25 | 12541354 | 5293598 | 3552 3527 | 254 | 547 1415.78/1416.27 c 1410s | 25 | 12560379 | 5300998 | 3552 3530 | 254 | 547 1417.77/1418.28 c 1412s | 25 | 12576215 | 5308398 | 3552 3534 | 254 | 547 1419.78/1420.29 c 1414s | 25 | 12591115 | 5315398 | 3552 3538 | 254 | 547 1421.77/1422.29 c 1416s | 25 | 12609720 | 5322598 | 3552 3542 | 254 | 547 1423.87/1424.31 c 1418s | 25 | 12625284 | 5329598 | 3552 3545 | 254 | 547 1425.87/1426.32 c 1420s | 25 | 12642477 | 5336798 | 3552 3549 | 254 | 547 1427.87/1428.32 c 1422s | 25 | 12658608 | 5344098 | 3552 3553 | 254 | 547 1429.87/1430.33 c 1424s | 25 | 12674160 | 5351198 | 3552 3556 | 254 | 547 1431.88/1432.36 c 1426s | 25 | 12688948 | 5358498 | 3552 3560 | 254 | 547 1433.87/1434.38 c 1428s | 25 | 12705303 | 5365698 | 3552 3564 | 254 | 547 1435.87/1436.39 c 1430s | 25 | 12724343 | 5372998 | 3552 3568 | 254 | 547 1437.97/1438.41 c 1432s | 25 | 12741525 | 5380298 | 3552 3571 | 254 | 547 1439.97/1440.44 c 1435s | 25 | 12759737 | 5387498 | 3552 3575 | 254 | 547 1441.97/1442.46 c 1437s | 25 | 12776078 | 5394498 | 3552 3579 | 254 | 547 1443.97/1444.47 c 1439s | 25 | 12793429 | 5401698 | 3552 3582 | 254 | 547 1445.97/1446.47 c 1441s | 25 | 12812491 | 5408998 | 3552 3586 | 254 | 547 1447.97/1448.48 c 1443s | 25 | 12830065 | 5415998 | 3552 3590 | 254 | 547 1450.07/1450.50 c 1445s | 25 | 12848277 | 5423398 | 3552 3594 | 254 | 547 1452.07/1452.52 c 1447s | 25 | 12866251 | 5430898 | 3552 3598 | 254 | 547 1454.07/1454.53 c 1449s | 25 | 12881970 | 5437798 | 3552 3601 | 254 | 547 1456.07/1456.54 c 1451s | 25 | 12898977 | 5445098 | 3552 3605 | 254 | 547 1458.07/1458.56 c 1453s | 25 | 12914172 | 5452498 | 3552 3609 | 254 | 547 1460.07/1460.56 c 1455s | 25 | 12929816 | 5459898 | 3552 3612 | 254 | 547 1462.06/1462.57 c 1457s | 25 | 12944697 | 5466898 | 3552 3616 | 254 | 547 1464.06/1464.59 c 1459s | 25 | 12959626 | 5473898 | 3552 3620 | 254 | 547 1466.16/1466.61 c 1461s | 25 | 12981056 | 5481798 | 3552 3624 | 254 | 547 1468.17/1468.63 c 1463s | 25 | 13000832 | 5489298 | 3552 3628 | 254 | 547 1470.16/1470.64 c 1465s | 25 | 13016827 | 5496298 | 3552 3631 | 254 | 547 1472.16/1472.65 c 1467s | 25 | 13033106 | 5503698 | 3552 3635 | 254 | 547 1474.16/1474.67 c 1469s | 25 | 13050751 | 5510998 | 3552 3639 | 254 | 547 1476.16/1476.67 c 1471s | 25 | 13068116 | 5518298 | 3552 3643 | 254 | 547 1478.16/1478.67 c 1473s | 25 | 13081062 | 5524898 | 3552 3646 | 254 | 547 1480.17/1480.70 c 1475s | 25 | 13097047 | 5531798 | 3552 3650 | 254 | 547 1482.26/1482.72 c 1477s | 25 | 13111593 | 5539298 | 3552 3653 | 254 | 547 1484.26/1484.74 c 1479s | 25 | 13127732 | 5547298 | 3552 3658 | 254 | 547 1486.26/1486.76 c 1481s | 25 | 13150533 | 5554898 | 3552 3662 | 254 | 547 1488.26/1488.78 c 1483s | 25 | 13168389 | 5562298 | 3552 3665 | 254 | 547 1490.36/1490.80 c 1485s | 25 | 13185663 | 5569398 | 3552 3669 | 254 | 547 1492.36/1492.81 c 1487s | 25 | 13201461 | 5576698 | 3552 3673 | 254 | 547 1494.36/1494.85 c 1489s | 25 | 13217720 | 5583698 | 3552 3676 | 254 | 547 1496.36/1496.87 c 1491s | 25 | 13234921 | 5590998 | 3552 3680 | 254 | 547 1498.36/1498.89 c 1493s | 25 | 13254833 | 5598598 | 3552 3684 | 254 | 547 1500.45/1500.92 c 1495s | 25 | 13275685 | 5606198 | 3552 3688 | 254 | 547 1502.45/1502.94 c 1497s | 25 | 13296198 | 5613398 | 3552 3692 | 254 | 547 1504.46/1504.98 c 1499s | 25 | 13315979 | 5620598 | 3552 3695 | 254 | 547 1506.46/1506.98 c 1501s | 25 | 13331202 | 5627398 | 3552 3699 | 254 | 547 1508.46/1508.99 c 1503s | 25 | 13347506 | 5634398 | 3552 3703 | 254 | 547 1510.46/1510.99 c 1505s | 25 | 13361449 | 5641298 | 3552 3706 | 254 | 547 1512.56/1513.02 c 1507s | 25 | 13378861 | 5648498 | 3552 3710 | 254 | 547 1514.56/1515.04 c 1509s | 25 | 13392819 | 5655998 | 3552 3714 | 254 | 547 1516.57/1517.07 c 1511s | 25 | 13408630 | 5663098 | 3552 3717 | 254 | 547 1518.56/1519.09 c 1513s | 25 | 13427014 | 5670698 | 3552 3721 | 254 | 547 1520.66/1521.11 c 1515s | 25 | 13444735 | 5678298 | 3552 3725 | 254 | 547 1522.66/1523.12 c 1517s | 25 | 13462040 | 5685898 | 3552 3729 | 254 | 547 1524.66/1525.12 c 1519s | 25 | 13479460 | 5693398 | 3552 3733 | 254 | 547 1526.66/1527.13 c 1521s | 25 | 13492509 | 5701098 | 3552 3737 | 254 | 547 1528.66/1529.15 c 1523s | 25 | 13508331 | 5708398 | 3552 3741 | 254 | 547 1530.65/1531.18 c 1525s | 25 | 13522244 | 5715598 | 3552 3745 | 254 | 547 1532.65/1533.18 c 1527s | 25 | 13538186 | 5722898 | 3552 3748 | 254 | 547 1534.65/1535.18 c 1529s | 25 | 13558842 | 5730398 | 3552 3752 | 254 | 547 1536.65/1537.20 c 1531s | 25 | 13575491 | 5737398 | 3552 3756 | 254 | 547 1538.75/1539.20 c 1533s | 25 | 13590386 | 5744498 | 3552 3759 | 254 | 547 1540.76/1541.24 c 1535s | 25 | 13602409 | 5751198 | 3552 3763 | 254 | 547 1542.75/1543.26 c 1537s | 25 | 13620754 | 5758998 | 3552 3767 | 254 | 547 1544.75/1545.27 c 1539s | 25 | 13640011 | 5766498 | 3552 3771 | 254 | 547 1546.85/1547.30 c 1541s | 25 | 13656294 | 5773498 | 3552 3774 | 254 | 547 1548.85/1549.32 c 1543s | 25 | 13672435 | 5780698 | 3552 3778 | 254 | 547 1550.85/1551.34 c 1545s | 25 | 13690324 | 5787998 | 3552 3782 | 254 | 547 1552.86/1553.38 c 1547s | 25 | 13709869 | 5795398 | 3552 3786 | 254 | 547 1554.96/1555.41 c 1549s | 25 | 13727870 | 5802898 | 3552 3790 | 254 | 547 1556.95/1557.43 c 1552s | 25 | 13746847 | 5810698 | 3552 3794 | 254 | 547 1558.95/1559.45 c 1554s | 25 | 13763517 | 5817898 | 3552 3797 | 254 | 547 1560.95/1561.47 c 1556s | 25 | 13780563 | 5825498 | 3552 3801 | 254 | 547 1562.95/1563.47 c 1558s | 25 | 13799933 | 5832998 | 3552 3805 | 254 | 547 1564.95/1565.48 c 1560s | 25 | 13817500 | 5839898 | 3552 3809 | 254 | 547 1566.95/1567.49 c 1562s | 25 | 13833531 | 5846698 | 3552 3812 | 254 | 547 1569.05/1569.52 c 1564s | 25 | 13850509 | 5853498 | 3552 3816 | 254 | 547 1571.05/1571.52 c 1566s | 25 | 13867470 | 5860298 | 3552 3819 | 254 | 547 1573.04/1573.55 c 1568s | 25 | 13884000 | 5867298 | 3552 3823 | 254 | 547 1575.04/1575.57 c 1570s | 25 | 13898574 | 5873598 | 3552 3826 | 254 | 547 1577.05/1577.58 c 1572s | 25 | 13913475 | 5879798 | 3552 3829 | 254 | 547 1579.04/1579.59 c 1574s | 25 | 13926626 | 5886198 | 3552 3833 | 254 | 547 1581.14/1581.62 c 1576s | 25 | 13942700 | 5892698 | 3552 3836 | 254 | 547 1583.15/1583.64 c 1578s | 25 | 13958593 | 5899098 | 3552 3839 | 254 | 547 1585.15/1585.65 c 1580s | 25 | 13971334 | 5905098 | 3552 3842 | 254 | 547 1587.15/1587.65 c 1582s | 25 | 13983931 | 5910998 | 3552 3845 | 254 | 547 1589.16/1589.68 c 1584s | 25 | 13995192 | 5916798 | 3552 3848 | 254 | 547 1591.15/1591.68 c 1586s | 25 | 14011010 | 5923098 | 3552 3852 | 254 | 547 1593.15/1593.69 c 1588s | 25 | 14029500 | 5930098 | 3552 3855 | 254 | 547 1595.25/1595.70 c 1590s | 25 | 14046594 | 5936998 | 3552 3859 | 254 | 547 1597.25/1597.70 c 1592s | 25 | 14063429 | 5944198 | 3552 3863 | 254 | 547 1599.25/1599.73 c 1594s | 25 | 14079026 | 5951198 | 3552 3866 | 254 | 547 1601.25/1601.74 c 1596s | 25 | 14096549 | 5958098 | 3552 3870 | 254 | 547 1603.25/1603.77 c 1598s | 25 | 14112104 | 5965098 | 3552 3873 | 254 | 547 1605.35/1605.80 c 1600s | 25 | 14128342 | 5971998 | 3552 3877 | 254 | 547 1607.35/1607.82 c 1602s | 25 | 14143125 | 5978398 | 3552 3880 | 254 | 547 1609.35/1609.85 c 1604s | 25 | 14158046 | 5984798 | 3552 3884 | 254 | 547 1611.34/1611.85 c 1606s | 25 | 14175377 | 5991698 | 3552 3887 | 254 | 547 1613.35/1613.85 c 1608s | 25 | 14191480 | 5998298 | 3552 3891 | 254 | 547 1615.34/1615.86 c 1610s | 25 | 14208058 | 6005398 | 3552 3894 | 254 | 547 1617.34/1617.86 c 1612s | 25 | 14226572 | 6012698 | 3552 3898 | 254 | 547 1619.34/1619.89 c 1614s | 25 | 14240681 | 6019498 | 3552 3901 | 254 | 547 1621.44/1621.92 c 1616s | 25 | 14255820 | 6026198 | 3552 3905 | 254 | 547 1623.44/1623.93 c 1618s | 25 | 14273054 | 6033098 | 3552 3908 | 254 | 547 1625.45/1625.96 c 1620s | 25 | 14290469 | 6040398 | 3552 3912 | 254 | 547 1627.44/1627.98 c 1622s | 25 | 14308572 | 6047798 | 3552 3916 | 254 | 547 1629.44/1629.99 c 1624s | 25 | 14325001 | 6054998 | 3552 3920 | 254 | 547 1631.54/1632.00 c 1626s | 25 | 14343493 | 6062298 | 3552 3924 | 254 | 547 1633.54/1634.00 c 1628s | 25 | 14362785 | 6069698 | 3552 3927 | 254 | 547 1635.54/1636.00 c 1630s | 25 | 14379661 | 6076698 | 3552 3931 | 254 | 547 1637.55/1638.05 c 1632s | 25 | 14395056 | 6083598 | 3552 3935 | 254 | 547 1639.54/1640.06 c 1634s | 25 | 14411385 | 6090898 | 3552 3938 | 254 | 547 1641.54/1642.09 c 1636s | 25 | 14426242 | 6097798 | 3552 3942 | 254 | 547 1643.64/1644.10 c 1638s | 25 | 14444738 | 6105198 | 3552 3946 | 254 | 547 1645.64/1646.11 c 1640s | 25 | 14462960 | 6112398 | 3552 3949 | 254 | 547 1647.64/1648.12 c 1642s | 25 | 14480252 | 6119798 | 3552 3953 | 254 | 547 1649.64/1650.14 c 1644s | 25 | 14495207 | 6126598 | 3552 3957 | 254 | 547 1651.63/1652.15 c 1646s | 25 | 14508619 | 6133298 | 3552 3960 | 254 | 547 1653.63/1654.16 c 1648s | 25 | 14522639 | 6139898 | 3552 3964 | 254 | 547 1655.63/1656.18 c 1650s | 25 | 14535110 | 6146298 | 3552 3967 | 254 | 547 1657.63/1658.19 c 1652s | 25 | 14549534 | 6152798 | 3552 3970 | 254 | 547 1659.73/1660.20 c 1654s | 25 | 14565572 | 6159698 | 3552 3974 | 254 | 547 1661.74/1662.21 c 1656s | 25 | 14580284 | 6166398 | 3552 3977 | 254 | 547 1663.73/1664.23 c 1658s | 25 | 14596398 | 6173298 | 3552 3981 | 254 | 547 1665.73/1666.24 c 1660s | 25 | 14613280 | 6180298 | 3552 3984 | 254 | 547 1667.73/1668.26 c 1662s | 25 | 14629062 | 6186898 | 3552 3988 | 254 | 547 1669.73/1670.27 c 1664s | 25 | 14646519 | 6194098 | 3552 3992 | 254 | 547 1671.83/1672.30 c 1666s | 25 | 14663617 | 6201098 | 3552 3995 | 254 | 547 1673.84/1674.31 c 1668s | 25 | 14680682 | 6208098 | 3552 3999 | 254 | 547 1675.84/1676.32 c 1670s | 25 | 14696886 | 6214698 | 3552 4002 | 254 | 547 1677.84/1678.35 c 1672s | 25 | 14711866 | 6221398 | 3552 4006 | 254 | 547 1679.84/1680.37 c 1674s | 25 | 14727597 | 6228198 | 3552 4009 | 254 | 547 1681.84/1682.37 c 1676s | 25 | 14742542 | 6234598 | 3552 4012 | 254 | 547 1683.84/1684.37 c 1678s | 25 | 14756379 | 6240898 | 3552 4016 | 254 | 547 1685.84/1686.40 c 1680s | 25 | 14771212 | 6247798 | 3552 4019 | 254 | 547 1687.93/1688.43 c 1683s | 25 | 14785269 | 6254198 | 3552 4023 | 254 | 547 1689.93/1690.43 c 1685s | 25 | 14797309 | 6260198 | 3552 4026 | 254 | 547 1691.93/1692.45 c 1687s | 25 | 14811170 | 6266598 | 3552 4029 | 254 | 547 1693.93/1694.48 c 1689s | 25 | 14827193 | 6273798 | 3552 4033 | 254 | 547 1696.03/1696.50 c 1691s | 25 | 14844046 | 6280598 | 3552 4036 | 254 | 547 1698.04/1698.51 c 1693s | 25 | 14861817 | 6287998 | 3552 4040 | 254 | 547 1699.63/1700.13 c 1694s | 25 | 14874208 | 6294126 | 3552 4043 | 254 | 547 1699.63/1700.13 c #cpu_time = 1690.143s 1699.63/1700.13 c #wall_clock_time = 1694.709s 1699.63/1700.13 c #decision = 14874208 1699.63/1700.13 c #random_decision = 54499 1699.63/1700.13 c #conflict = 6294126 1699.63/1700.13 c #restart = 25 1699.63/1700.13 o 1053 1699.63/1700.13 c BCD2: updating upper bound: 1081 -> 1052 1699.63/1700.13 c BCD2: 928 <= obj <= 1052 1699.63/1700.13 c BCD2: #cores=6, #unrelaxed=5, #relaxed=299, #hardened=0 1699.63/1700.13 c BCD2: #sat=5 #unsat=37 bias=37/42 1699.63/1700.13 c Solving starts ... 1699.63/1700.13 c ============================[ Search Statistics ]============================ 1699.63/1700.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1699.63/1700.13 c | | | | Limit GC | Var | Constra 1699.63/1700.13 c ============================================================================= 1699.63/1700.13 c 0.0s | 0 | 0 | 0 | 3552 0 | 254 | 548 1699.63/1700.16 c 0.0s | 1 | 388 | 100 | 3552 0 | 254 | 548 1699.73/1700.21 c 0.1s | 2 | 784 | 250 | 3552 0 | 254 | 548 1699.73/1700.28 c 0.1s | 3 | 1357 | 475 | 3552 0 | 254 | 548 1699.93/1700.40 c 0.3s | 4 | 2343 | 813 | 3552 1 | 254 | 548 1700.03/1700.54 c 0.4s | 5 | 3718 | 1320 | 3552 1 | 254 | 548 1700.33/1700.81 c 0.7s | 6 | 5365 | 2081 | 3552 1 | 254 | 548 1700.53/1701.09 c 1.0s | 7 | 7657 | 3223 | 3552 2 | 254 | 548 1701.03/1701.53 c 1.4s | 8 | 11497 | 4936 | 3552 3 | 254 | 548 1701.63/1702.18 c 2.0s | 9 | 16182 | 7506 | 3552 4 | 254 | 548 1702.53/1703.08 c 2.9s | 10 | 22250 | 11361 | 3552 6 | 254 | 548 1703.93/1704.43 c 4.3s | 11 | 31950 | 17144 | 3552 9 | 254 | 548 1705.93/1706.43 c 6.3s | 11 | 47602 | 25644 | 3552 13 | 254 | 548 1705.93/1706.47 c 6.3s | 12 | 48314 | 25819 | 3552 13 | 254 | 548 1707.93/1708.48 c 8.3s | 12 | 64254 | 34319 | 3552 18 | 254 | 548 1709.03/1709.53 c 9.4s | 13 | 72310 | 38832 | 3552 20 | 254 | 548 1711.03/1711.53 c 11.4s | 13 | 89860 | 47032 | 3552 24 | 254 | 548 1713.03/1713.54 c 13.4s | 13 | 104528 | 55632 | 3552 29 | 254 | 548 1713.73/1714.21 c 14.1s | 14 | 109001 | 58352 | 3552 30 | 254 | 548 1715.73/1716.22 c 16.1s | 14 | 123807 | 66752 | 3552 35 | 254 | 548 1717.73/1718.24 c 18.1s | 14 | 137957 | 74852 | 3552 39 | 254 | 548 1719.72/1720.25 c 20.1s | 14 | 151670 | 83052 | 3552 43 | 254 | 548 1720.92/1721.43 c 21.3s | 15 | 159300 | 87632 | 3552 45 | 254 | 548 1722.92/1723.44 c 23.3s | 15 | 180905 | 95232 | 3552 49 | 254 | 548 1724.92/1725.44 c 25.3s | 15 | 203854 | 102832 | 3552 53 | 254 | 548 1726.92/1727.46 c 27.3s | 15 | 222894 | 110232 | 3552 57 | 254 | 548 1728.92/1729.48 c 29.4s | 15 | 240674 | 117732 | 3552 61 | 254 | 548 1730.93/1731.49 c 31.4s | 15 | 256552 | 125632 | 3552 65 | 254 | 548 1732.42/1732.90 c 32.8s | 16 | 269480 | 131552 | 3552 68 | 254 | 548 1734.42/1734.91 c 34.8s | 16 | 285148 | 139052 | 3552 72 | 254 | 548 1736.43/1736.92 c 36.8s | 16 | 299961 | 147452 | 3552 76 | 254 | 548 1738.42/1738.93 c 38.8s | 16 | 316394 | 155152 | 3552 80 | 254 | 548 1740.42/1740.93 c 40.8s | 16 | 332783 | 162652 | 3552 84 | 254 | 548 1742.42/1742.97 c 42.8s | 16 | 349402 | 170252 | 3552 88 | 254 | 548 1744.42/1744.97 c 44.8s | 16 | 366974 | 178252 | 3552 92 | 254 | 548 1746.43/1746.99 c 46.9s | 16 | 387906 | 186052 | 3552 96 | 254 | 548 1748.53/1749.02 c 48.9s | 16 | 408980 | 193452 | 3552 100 | 254 | 548 1749.52/1750.05 c 49.9s | 17 | 420054 | 197432 | 3552 102 | 254 | 548 1751.52/1752.07 c 51.9s | 17 | 439519 | 204832 | 3552 106 | 254 | 548 1753.52/1754.07 c 53.9s | 17 | 457151 | 211832 | 3552 110 | 254 | 548 1755.52/1756.08 c 55.9s | 17 | 473149 | 218632 | 3552 113 | 254 | 548 1757.52/1758.09 c 58.0s | 17 | 489515 | 226032 | 3552 117 | 254 | 548 1759.63/1760.11 c 60.0s | 17 | 506045 | 233032 | 3552 121 | 254 | 548 1761.62/1762.11 c 62.0s | 17 | 524191 | 240132 | 3552 124 | 254 | 548 1763.62/1764.13 c 64.0s | 17 | 538712 | 246732 | 3552 128 | 254 | 548 1765.62/1766.15 c 66.0s | 17 | 557200 | 253532 | 3552 131 | 254 | 548 1767.62/1768.17 c 68.0s | 17 | 572395 | 260232 | 3552 135 | 254 | 548 1769.62/1770.20 c 70.1s | 17 | 589297 | 267532 | 3552 139 | 254 | 548 1771.62/1772.20 c 72.1s | 17 | 604272 | 275032 | 3552 142 | 254 | 548 1773.72/1774.20 c 74.1s | 17 | 617144 | 282132 | 3552 146 | 254 | 548 1775.72/1776.22 c 76.1s | 17 | 630416 | 290032 | 3552 150 | 254 | 548 1777.41/1777.91 c 77.8s | 18 | 641599 | 296252 | 3552 153 | 254 | 548 1779.42/1779.94 c 79.8s | 18 | 657623 | 303952 | 3552 157 | 254 | 548 1781.41/1781.97 c 81.8s | 18 | 673707 | 311852 | 3552 162 | 254 | 548 1783.41/1783.98 c 83.8s | 18 | 688477 | 319752 | 3552 166 | 254 | 548 1785.41/1785.98 c 85.9s | 18 | 705704 | 327252 | 3552 169 | 254 | 548 1787.52/1788.00 c 87.9s | 18 | 719995 | 334652 | 3552 173 | 254 | 548 1789.52/1790.01 c 89.9s | 18 | 734653 | 342552 | 3552 177 | 254 | 548 1791.53/1792.06 c 91.9s | 18 | 747275 | 350052 | 3552 181 | 254 | 548 1793.52/1794.08 c 93.9s | 18 | 762262 | 357252 | 3552 185 | 254 | 548 1795.62/1796.10 c 96.0s | 18 | 779129 | 364452 | 3552 189 | 254 | 548 1797.62/1798.11 c 98.0s | 18 | 796073 | 371952 | 3552 193 | 254 | 548 1799.62/1800.14 c 100s | 18 | 812677 | 379652 | 3552 197 | 254 | 548
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-4079546-1465230738/watcher-4079546-1465230738 -o /tmp/evaluation-result-4079546-1465230738/solver-4079546-1465230738 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079546-1465230738.opb pid=15565 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.21 2.22 2.21 3/179 15568 /proc/meminfo: memFree=29114680/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 2922 0 0 0 0 0 0 0 20 0 4 0 105006123 798420992 2772 33554432000 4194304 16246674 140736318777104 140736318776528 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 195695 2783 441 2943 0 192589 0 [pid=15568/tid=15569] ppid=15565 vsize=797116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 816246784 2840 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 821489664 2857 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=806332 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105006123 825683968 2874 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.21 2.22 2.21 3/179 15568 /proc/meminfo: memFree=29114680/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 28513 0 0 0 5 4 0 0 20 0 4 0 105006123 1247350784 28350 33554432000 4194304 16246674 140736318777104 140736318776528 5531437 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 304529 28359 788 2943 0 301423 0 [pid=15568/tid=15569] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 28366 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 28373 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 28378 33554432000 4194304 16246674 140736318777104 140166850137264 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.200438 s] /proc/loadavg: 2.21 2.22 2.21 3/179 15568 /proc/meminfo: memFree=29114680/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 51171 0 0 0 12 7 0 0 20 0 4 0 105006123 1247350784 51008 33554432000 4194304 16246674 140736318777104 140736318776528 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 304529 51021 790 2943 0 301423 0 [pid=15568/tid=15569] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 51024 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 51029 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 51036 33554432000 4194304 16246674 140736318777104 140166850137264 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.300468 s] /proc/loadavg: 2.21 2.22 2.21 3/179 15568 /proc/meminfo: memFree=29114680/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 71446 0 0 0 19 10 0 0 20 0 4 0 105006123 1247350784 71283 33554432000 4194304 16246674 140736318777104 140736318776528 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 304529 71289 790 2943 0 301423 0 [pid=15568/tid=15569] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 71296 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 71302 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105006123 1247350784 71307 33554432000 4194304 16246674 140736318777104 140166850137264 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.700394 s] /proc/loadavg: 2.21 2.22 2.21 3/179 15568 /proc/meminfo: memFree=29114680/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1219140 CPUtime=0.69 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 141526 0 0 0 49 20 0 0 20 0 4 0 105006123 1248399360 141364 33554432000 4194304 16246674 140736318777104 140736318760096 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 304785 141373 791 2943 0 301679 0 [pid=15568/tid=15569] ppid=15565 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1248399360 141378 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1248399360 141383 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105006123 1248399360 141385 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1219140 [startup+1.50039 s] /proc/loadavg: 2.21 2.22 2.21 3/183 15572 /proc/meminfo: memFree=28490352/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 170100 0 0 0 125 24 0 0 20 0 4 0 105006123 1250496512 169916 33554432000 4194304 16246674 140736318777104 140736318758976 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 305297 169924 847 2943 0 302191 0 [pid=15568/tid=15569] ppid=15565 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1250496512 169926 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1250496512 169932 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1250496512 169937 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1221188 [startup+3.1004 s] /proc/loadavg: 2.21 2.22 2.21 3/183 15572 /proc/meminfo: memFree=28049144/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1304132 CPUtime=3.09 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 266850 0 0 0 273 36 0 0 20 0 4 0 105006123 1335431168 266665 33554432000 4194304 16246674 140736318777104 140736318760104 5522890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 326033 266665 847 2943 0 322927 0 [pid=15568/tid=15569] ppid=15565 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1335431168 266665 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1335431168 266665 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1335431168 266665 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1304132 [startup+6.30041 s] /proc/loadavg: 2.20 2.22 2.21 3/183 15572 /proc/meminfo: memFree=28044684/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 267803 0 0 0 593 36 0 0 20 0 4 0 105006123 1338576896 267618 33554432000 4194304 16246674 140736318777104 140736318758976 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 326801 267618 847 2943 0 323695 0 [pid=15568/tid=15569] ppid=15565 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1338576896 267618 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1338576896 267618 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1338576896 267618 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1307204 [startup+12.7004 s] /proc/loadavg: 2.18 2.21 2.21 4/183 15572 /proc/meminfo: memFree=28043576/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1311300 CPUtime=12.68 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 268785 0 0 0 1232 36 0 0 20 0 4 0 105006123 1342771200 268600 33554432000 4194304 16246674 140736318777104 140736318760104 13906985 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 327825 268600 847 2943 0 324719 0 [pid=15568/tid=15569] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268600 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268600 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268600 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.35 2.25 2.22 3/183 15572 /proc/meminfo: memFree=28041240/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1311300 CPUtime=25.48 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 268919 0 0 0 2512 36 0 0 20 0 4 0 105006123 1342771200 268734 33554432000 4194304 16246674 140736318777104 140736318760104 6022064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 327825 268734 847 2943 0 324719 0 [pid=15568/tid=15569] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268734 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268734 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268734 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1311300 [startup+51.1005 s] /proc/loadavg: 2.31 2.24 2.22 4/183 15572 /proc/meminfo: memFree=28040700/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 268920 0 0 0 5071 37 0 0 20 0 4 0 105006123 1342771200 268735 33554432000 4194304 16246674 140736318777104 140736318760104 5808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 327825 268735 848 2943 0 324719 0 [pid=15568/tid=15569] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268735 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268735 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268735 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1311300 [startup+102.3 s] /proc/loadavg: 2.44 2.28 2.23 4/183 15573 /proc/meminfo: memFree=28040632/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1311300 CPUtime=102.28 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 268923 0 0 0 10191 37 0 0 20 0 4 0 105006123 1342771200 268738 33554432000 4194304 16246674 140736318777104 140736318758976 5808568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 327825 268738 851 2943 0 324719 0 [pid=15568/tid=15569] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268738 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268738 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1342771200 268738 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1311300 ################ # More data... # ################ /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.23 2.23 2.19 3/183 15653 /proc/meminfo: memFree=28294300/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1361.88 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 136138 50 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.25 2.23 2.19 4/183 15655 /proc/meminfo: memFree=28294716/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1421.88 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 142137 51 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5598492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.26 2.24 2.19 3/183 15656 /proc/meminfo: memFree=28294624/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1481.86 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 148135 51 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1327684 [startup+1542.31 s] /proc/loadavg: 2.17 2.22 2.18 4/183 15657 /proc/meminfo: memFree=28294532/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1541.86 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 154134 52 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318760104 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.16 2.21 2.18 3/183 15658 /proc/meminfo: memFree=28294936/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1601.85 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 160132 53 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.16 2.20 2.18 3/183 15659 /proc/meminfo: memFree=28294576/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1661.83 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 166130 53 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1327684 [startup+1722.3 s] /proc/loadavg: 2.10 2.17 2.17 3/184 15664 /proc/meminfo: memFree=28294752/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1721.82 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 172128 54 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1327684 [startup+1782.3 s] /proc/loadavg: 2.03 2.14 2.16 3/184 15688 /proc/meminfo: memFree=28293760/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1781.81 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 178127 54 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318758976 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 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) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.14 2.16 3/183 15688 /proc/meminfo: memFree=28294224/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1800.02 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 179947 55 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318760104 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1327684 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 15568 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.14 2.16 3/183 15688 /proc/meminfo: memFree=28294224/32872528 swapFree=16636/1570076 [pid=15568] ppid=15565 vsize=1327684 CPUtime=1800.02 cores=0,2,4,6 /proc/15568/stat : 15568 (toysat) R 15565 15568 13075 0 -1 4202496 273413 0 0 0 179947 55 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140736318760104 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15568/statm: 331921 273091 852 2943 0 328815 0 [pid=15568/tid=15569] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15569/stat : 15569 (toysat) S 15565 15568 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166871100656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15568/tid=15570] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15570/stat : 15570 (toysat) S 15565 15568 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166860610800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15568/tid=15571] ppid=15565 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/15568/task/15571/stat : 15571 (toysat) S 15565 15568 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105006123 1359548416 273091 33554432000 4194304 16246674 140736318777104 140166850137264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.48 CPU system time (s): 0.551916 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.551916 maximum resident set size= 1092364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273413 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= 407 involuntary context switches= 1867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.98724 second user time and 7.04493 second system time The end
Begin job on node140 at 2016-06-06 18:32:18 IDJOB=4079546 IDBENCH=2020 IDSOLVER=2542 FILE ID=node140/4079546-1465230738 RUNJOBID= node140-1465216678-13091 PBS_JOBID= 19843199 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079546-1465230738/watcher-4079546-1465230738 -o /tmp/evaluation-result-4079546-1465230738/solver-4079546-1465230738 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079546-1465230738.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED=1468161125 node140.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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.768 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.768 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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29115472 kB Buffers: 25460 kB Cached: 84824 kB SwapCached: 1756 kB Active: 1433268 kB Inactive: 50236 kB Active(anon): 1373100 kB Inactive(anon): 2612 kB Active(file): 60168 kB Inactive(file): 47624 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098596 kB Dirty: 16360 kB Writeback: 0 kB AnonPages: 2942640 kB Mapped: 10476 kB Shmem: 0 kB Slab: 567052 kB SReclaimable: 11252 kB SUnreclaim: 555800 kB KernelStack: 1480 kB PageTables: 9476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3087368 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1769472 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= 71708 MiB End job on node140 at 2016-06-06 19:02:18