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 | OPT | 35 | 4.98424 | 4.98457 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb |
| MD5SUM | 8c1b16c8c16304b0c31b222fe698dea9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 35 |
| Best CPU time to get the best result obtained on this benchmark | 4.98424 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | NO |
| Number of variables | 7936 |
| Total number of constraints | 288 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 288 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 480 |
| Number of terms in the objective function | 7936 |
| Biggest coefficient in the objective function | 1807 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 530504 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 530504 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T02:29:03+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-4099905-1466209743.opb"] 0.00/0.01 c use --random-gen="3795016048 2838885055 2040492026 3392024137 490162180 2811105346 3222926050 2202382849 2135246547 3645554183 580054599 1817530892 3153420853 1146782998 554387321 3083484283 3114226326 1896620431 3179201514 2952225457 2881874775 3587569214 3763537628 3254284703 562772638 2240837617 2563353265 854697396 1169305936 3889214922 905905052 1232258994 1898948110 151090631 2306057244 1147772338 2966045407 2267231524 3567250532 1572047888 903270524 3516830091 566922021 1641328932 2201423974 98585798 4127234328 3342785177 2538886742 3809805884 17193688 2315996038 2682009195 632929336 571490026 3607795362 49366723 3250880132 4290892616 2940530326 3502162425 1908623069 2737256435 4075082105 2036723913 2068922469 1865928585 3704813572 1784391898 3856206703 607308229 723101689 4011191118 2847392923 2759986071 1922432367 895668222 1908404561 603572634 3420724373 2326664661 1936293916 2972302420 1353615980 1584238440 509703436 3133777481 3647723402 2161539995 456995453 2949678887 72340089 4234787813 4899321 513854473 1545120092 1151804829 3184129335 1595116098 3090025620 2037257157 3829172367 3325263400 171865403 2171719608 175191559 1059094885 2261506486 3475278886 3112359746 3891541788 2824389895 1405966057 3956894224 2816730769 3727966678 493227813 1918654491 216075522 2193188163 3881455602 3661900241 4012243733 3317677048 1471243845 1435249775 2394942406 2031231121 357469348 4222816997 2336550667 3801852976 1137483995 3451650008 719010634 2821080742 1363827808 1392685024 430654762 3194837571 472766969 1708577265 3485938287 586038708 1691046688 2316436910 1047837091 828244429 3054941063 2165530360 3338291696 4204214464 3453560458 1031792297 2914203868 2752386013 123199980 1256963038 2230073054 3502799499 3318356350 3264227365 3315082654 2370881686 2839556021 3816799372 1446792542 3565555545 1515728096 3069857334 1227755850 1600947467 3883797132 891660027 1563566528 138621569 3754068851 2924118629 237196285 554185340 661898159 2663734493 3092137035 4020304225 2617258591 1703357520 298970487 4249566494 3382824194 563712839 4073850486 1619782257 3810693875 482761370 961982152 851387751 2097244037 2239427838 2324138323 2822533978 736095776 1003954300 460943058 293684386 2692763638 498529163 1576989114 3147077711 2340915977 861908434 4224201339 1570991602 1676573174 907060477 2447967080 1716563668 2352862660 4257280779 1638260540 701519520 1172886044 3783713991 1762263514 2713208151 2021420836 1045564299 3242588755 8993964 737794241 2145985972 1364785520 3460338138 1074588474 4027280422 28428677 288204960 2059878198 2012494090 866122919 3481209780 2621768503 508431245 2709809327 2352964586 2894519833 4172493914 3121865641 3424034860 2218539310 2469477919 64404305 208675968 2839680976 842901746 841924489 3939300006 255 362436" option to reproduce the execution 0.00/0.07 c #vars 7936 0.00/0.07 c #constraints 288 0.09/0.17 c BCD2: Hardening is enabled. 0.09/0.17 c BCD2: BiasedSearch is enabled. 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 | 2752 0 | 4161 | 0 0.09/0.18 c 0.0s | 0 | 274 | 0 | 2752 0 | 4161 | 0 0.09/0.18 c #cpu_time = 0.011s 0.09/0.18 c #wall_clock_time = 0.011s 0.09/0.18 c #decision = 274 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 o 275 0.19/0.20 c BCD2: hardening fixes 522 literals 0.19/0.20 c BCD2: updating upper bound: 530504 -> 274 0.19/0.21 c BCD2: 0 <= obj <= 274 0.19/0.21 c BCD2: #cores=0, #unrelaxed=7414, #relaxed=0, #hardened=522 0.19/0.21 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.22 c 0.0s | 0 | 21 | 1 | 2752 0 | 4161 | 0 0.19/0.22 c #cpu_time = 0.004s 0.19/0.22 c #wall_clock_time = 0.004s 0.19/0.22 c #decision = 21 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.22 c lower bound updated to 1 0.19/0.22 c BCD2: 1 <= obj <= 274 0.19/0.22 c BCD2: #cores=1, #unrelaxed=7398, #relaxed=16, #hardened=522 0.19/0.22 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.22 c 0.0s | 0 | 24 | 1 | 2752 0 | 4161 | 0 0.19/0.22 c #cpu_time = 0.004s 0.19/0.22 c #wall_clock_time = 0.004s 0.19/0.22 c #decision = 24 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.22 c lower bound updated to 2 0.19/0.23 c BCD2: 2 <= obj <= 274 0.19/0.23 c BCD2: #cores=2, #unrelaxed=7382, #relaxed=32, #hardened=522 0.19/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.23 c 0.0s | 0 | 27 | 1 | 2752 0 | 4161 | 0 0.19/0.23 c #cpu_time = 0.004s 0.19/0.23 c #wall_clock_time = 0.004s 0.19/0.23 c #decision = 27 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 1 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.23 c lower bound updated to 3 0.19/0.23 c BCD2: 3 <= obj <= 274 0.19/0.23 c BCD2: #cores=3, #unrelaxed=7366, #relaxed=48, #hardened=522 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.25 c 0.0s | 0 | 29 | 1 | 2752 0 | 4161 | 0 0.19/0.25 c #cpu_time = 0.020s 0.19/0.25 c #wall_clock_time = 0.020s 0.19/0.25 c #decision = 29 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 1 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.25 c lower bound updated to 4 0.19/0.26 c BCD2: hardening fixes 48 literals 0.19/0.26 c BCD2: 4 <= obj <= 274 0.19/0.26 c BCD2: #cores=4, #unrelaxed=7302, #relaxed=64, #hardened=570 0.19/0.26 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.26 c 0.0s | 0 | 38 | 1 | 2752 0 | 4161 | 0 0.19/0.26 c #cpu_time = 0.004s 0.19/0.26 c #wall_clock_time = 0.004s 0.19/0.26 c #decision = 38 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 1 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.26 c lower bound updated to 5 0.19/0.26 c BCD2: 5 <= obj <= 274 0.19/0.26 c BCD2: #cores=5, #unrelaxed=7286, #relaxed=80, #hardened=570 0.19/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.27 c 0.0s | 0 | 41 | 1 | 2752 0 | 4161 | 0 0.19/0.27 c #cpu_time = 0.005s 0.19/0.27 c #wall_clock_time = 0.005s 0.19/0.27 c #decision = 41 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 1 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.27 c lower bound updated to 6 0.19/0.27 c BCD2: 6 <= obj <= 274 0.19/0.27 c BCD2: #cores=6, #unrelaxed=7270, #relaxed=96, #hardened=570 0.19/0.27 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.28 c 0.0s | 0 | 44 | 1 | 2752 0 | 4161 | 0 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 44 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 1 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.28 c lower bound updated to 7 0.19/0.28 c BCD2: 7 <= obj <= 274 0.19/0.28 c BCD2: #cores=7, #unrelaxed=7254, #relaxed=112, #hardened=570 0.19/0.28 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.28 c 0.0s | 0 | 47 | 1 | 2752 0 | 4161 | 0 0.19/0.28 c #cpu_time = 0.005s 0.19/0.28 c #wall_clock_time = 0.005s 0.19/0.28 c #decision = 47 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 1 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.28 c lower bound updated to 8 0.19/0.29 c BCD2: 8 <= obj <= 274 0.19/0.29 c BCD2: #cores=8, #unrelaxed=7238, #relaxed=128, #hardened=570 0.19/0.29 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.19/0.29 c 0.0s | 0 | 50 | 1 | 2752 0 | 4161 | 0 0.19/0.29 c #cpu_time = 0.005s 0.19/0.29 c #wall_clock_time = 0.005s 0.19/0.29 c #decision = 50 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 1 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.29 c lower bound updated to 9 0.19/0.29 c BCD2: 9 <= obj <= 274 0.19/0.29 c BCD2: #cores=9, #unrelaxed=7222, #relaxed=144, #hardened=570 0.19/0.29 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.30 c 0.0s | 0 | 52 | 1 | 2752 0 | 4161 | 0 0.29/0.30 c #cpu_time = 0.005s 0.29/0.30 c #wall_clock_time = 0.005s 0.29/0.30 c #decision = 52 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 1 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.30 c lower bound updated to 10 0.29/0.30 c BCD2: 10 <= obj <= 274 0.29/0.30 c BCD2: #cores=10, #unrelaxed=7206, #relaxed=160, #hardened=570 0.29/0.30 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.31 c 0.0s | 0 | 38 | 1 | 2752 0 | 4161 | 0 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 38 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 1 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.31 c lower bound updated to 11 0.29/0.31 c BCD2: 11 <= obj <= 274 0.29/0.31 c BCD2: #cores=11, #unrelaxed=7190, #relaxed=176, #hardened=570 0.29/0.31 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.31 c 0.0s | 0 | 40 | 1 | 2752 0 | 4161 | 0 0.29/0.31 c #cpu_time = 0.005s 0.29/0.31 c #wall_clock_time = 0.005s 0.29/0.31 c #decision = 40 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 1 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.31 c lower bound updated to 12 0.29/0.32 c BCD2: 12 <= obj <= 274 0.29/0.32 c BCD2: #cores=12, #unrelaxed=7174, #relaxed=192, #hardened=570 0.29/0.32 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.32 c 0.0s | 0 | 43 | 1 | 2752 0 | 4161 | 0 0.29/0.32 c #cpu_time = 0.004s 0.29/0.32 c #wall_clock_time = 0.004s 0.29/0.32 c #decision = 43 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 1 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.32 c lower bound updated to 13 0.29/0.32 c BCD2: 13 <= obj <= 274 0.29/0.32 c BCD2: #cores=13, #unrelaxed=7158, #relaxed=208, #hardened=570 0.29/0.32 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.33 c 0.0s | 0 | 45 | 1 | 2752 0 | 4161 | 0 0.29/0.33 c #cpu_time = 0.005s 0.29/0.33 c #wall_clock_time = 0.005s 0.29/0.33 c #decision = 45 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 1 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.33 c lower bound updated to 14 0.29/0.33 c BCD2: 14 <= obj <= 274 0.29/0.33 c BCD2: #cores=14, #unrelaxed=7142, #relaxed=224, #hardened=570 0.29/0.33 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.34 c 0.0s | 0 | 43 | 1 | 2752 0 | 4161 | 0 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 43 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 1 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.34 c lower bound updated to 15 0.29/0.34 c BCD2: 15 <= obj <= 274 0.29/0.34 c BCD2: #cores=15, #unrelaxed=7126, #relaxed=240, #hardened=570 0.29/0.34 c BCD2: #sat=1 #unsat=16 bias=16/17 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.34 c 0.0s | 0 | 31 | 1 | 2752 0 | 4161 | 0 0.29/0.34 c #cpu_time = 0.005s 0.29/0.34 c #wall_clock_time = 0.005s 0.29/0.34 c #decision = 31 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 1 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.34 c lower bound updated to 16 0.29/0.35 c BCD2: 16 <= obj <= 274 0.29/0.35 c BCD2: #cores=16, #unrelaxed=7110, #relaxed=256, #hardened=570 0.29/0.35 c BCD2: #sat=1 #unsat=17 bias=17/18 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.36 c 0.0s | 0 | 311 | 13 | 2752 0 | 4161 | 0 0.29/0.36 c #cpu_time = 0.009s 0.29/0.36 c #wall_clock_time = 0.009s 0.29/0.36 c #decision = 311 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 13 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 214: cost of the new core is >=1 0.29/0.36 c lower bound updated to 17 0.29/0.36 c BCD2: 17 <= obj <= 274 0.29/0.36 c BCD2: #cores=17, #unrelaxed=6896, #relaxed=470, #hardened=570 0.29/0.36 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 0 0.29/0.37 c 0.0s | 0 | 352 | 0 | 2752 0 | 4161 | 0 0.29/0.37 c #cpu_time = 0.005s 0.29/0.37 c #wall_clock_time = 0.005s 0.29/0.37 c #decision = 352 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 225: cost of the new core is >=1 0.29/0.37 c lower bound updated to 18 0.29/0.37 c BCD2: 18 <= obj <= 274 0.29/0.37 c BCD2: #cores=18, #unrelaxed=6671, #relaxed=695, #hardened=570 0.29/0.37 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 1 0.29/0.37 c 0.0s | 0 | 362 | 0 | 2752 0 | 4161 | 1 0.29/0.37 c #cpu_time = 0.005s 0.29/0.37 c #wall_clock_time = 0.005s 0.29/0.37 c #decision = 362 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 204: cost of the new core is >=1 0.29/0.37 c lower bound updated to 19 0.29/0.38 c BCD2: 19 <= obj <= 274 0.29/0.38 c BCD2: #cores=19, #unrelaxed=6467, #relaxed=899, #hardened=570 0.29/0.38 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 2 0.29/0.38 c 0.0s | 0 | 387 | 0 | 2752 0 | 4161 | 2 0.29/0.38 c #cpu_time = 0.005s 0.29/0.38 c #wall_clock_time = 0.005s 0.29/0.38 c #decision = 387 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 216: cost of the new core is >=1 0.29/0.38 c lower bound updated to 20 0.29/0.39 c BCD2: 20 <= obj <= 274 0.29/0.39 c BCD2: #cores=20, #unrelaxed=6251, #relaxed=1115, #hardened=570 0.29/0.39 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 3 0.29/0.39 c 0.0s | 0 | 490 | 0 | 2752 0 | 4161 | 3 0.29/0.39 c #cpu_time = 0.005s 0.29/0.39 c #wall_clock_time = 0.005s 0.29/0.39 c #decision = 490 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 204: cost of the new core is >=1 0.29/0.39 c lower bound updated to 21 0.39/0.40 c BCD2: 21 <= obj <= 274 0.39/0.40 c BCD2: #cores=21, #unrelaxed=6047, #relaxed=1319, #hardened=570 0.39/0.40 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 2752 0 | 4161 | 4 0.39/0.41 c 0.0s | 0 | 542 | 13 | 2752 0 | 4161 | 4 0.39/0.41 c #cpu_time = 0.010s 0.39/0.41 c #wall_clock_time = 0.010s 0.39/0.41 c #decision = 542 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 13 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 214: cost of the new core is >=1 0.39/0.41 c lower bound updated to 22 0.39/0.41 c BCD2: 22 <= obj <= 274 0.39/0.41 c BCD2: #cores=22, #unrelaxed=5833, #relaxed=1533, #hardened=570 0.39/0.41 c BCD2: #sat=1 #unsat=23 bias=23/24 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 4 0.39/0.42 c 0.0s | 0 | 576 | 0 | 2752 0 | 4161 | 4 0.39/0.42 c #cpu_time = 0.005s 0.39/0.42 c #wall_clock_time = 0.005s 0.39/0.42 c #decision = 576 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 216: cost of the new core is >=1 0.39/0.42 c lower bound updated to 23 0.39/0.42 c BCD2: 23 <= obj <= 274 0.39/0.42 c BCD2: #cores=23, #unrelaxed=5617, #relaxed=1749, #hardened=570 0.39/0.42 c BCD2: #sat=1 #unsat=24 bias=24/25 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 5 0.39/0.43 c 0.0s | 0 | 589 | 0 | 2752 0 | 4161 | 5 0.39/0.43 c #cpu_time = 0.005s 0.39/0.43 c #wall_clock_time = 0.005s 0.39/0.43 c #decision = 589 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 204: cost of the new core is >=1 0.39/0.43 c lower bound updated to 24 0.39/0.43 c BCD2: 24 <= obj <= 274 0.39/0.43 c BCD2: #cores=24, #unrelaxed=5413, #relaxed=1953, #hardened=570 0.39/0.43 c BCD2: #sat=1 #unsat=25 bias=25/26 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 6 0.39/0.44 c 0.0s | 0 | 640 | 13 | 2752 0 | 4161 | 6 0.39/0.44 c #cpu_time = 0.011s 0.39/0.44 c #wall_clock_time = 0.011s 0.39/0.44 c #decision = 640 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 13 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 214: cost of the new core is >=1 0.39/0.44 c lower bound updated to 25 0.39/0.45 c BCD2: 25 <= obj <= 274 0.39/0.45 c BCD2: #cores=25, #unrelaxed=5199, #relaxed=2167, #hardened=570 0.39/0.45 c BCD2: #sat=1 #unsat=26 bias=26/27 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 6 0.39/0.46 c 0.0s | 0 | 2523 | 14 | 2752 0 | 4161 | 6 0.39/0.46 c #cpu_time = 0.012s 0.39/0.46 c #wall_clock_time = 0.012s 0.39/0.46 c #decision = 2523 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 14 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 422: cost of the new core is >=1 0.39/0.46 c lower bound updated to 26 0.39/0.46 c BCD2: 26 <= obj <= 274 0.39/0.46 c BCD2: #cores=26, #unrelaxed=4777, #relaxed=2589, #hardened=570 0.39/0.46 c BCD2: #sat=1 #unsat=27 bias=27/28 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 6 0.39/0.47 c 0.0s | 0 | 501 | 0 | 2752 0 | 4161 | 6 0.39/0.47 c #cpu_time = 0.005s 0.39/0.47 c #wall_clock_time = 0.005s 0.39/0.47 c #decision = 501 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 225: cost of the new core is >=1 0.39/0.47 c lower bound updated to 27 0.39/0.48 c BCD2: 27 <= obj <= 274 0.39/0.48 c BCD2: #cores=27, #unrelaxed=4552, #relaxed=2814, #hardened=570 0.39/0.48 c BCD2: #sat=1 #unsat=28 bias=28/29 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 7 0.39/0.48 c 0.0s | 0 | 529 | 0 | 2752 0 | 4161 | 7 0.39/0.48 c #cpu_time = 0.006s 0.39/0.48 c #wall_clock_time = 0.006s 0.39/0.48 c #decision = 529 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 225: cost of the new core is >=1 0.39/0.48 c lower bound updated to 28 0.39/0.49 c BCD2: 28 <= obj <= 274 0.39/0.49 c BCD2: #cores=28, #unrelaxed=4327, #relaxed=3039, #hardened=570 0.39/0.49 c BCD2: #sat=1 #unsat=29 bias=29/30 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 8 0.39/0.49 c 0.0s | 0 | 545 | 0 | 2752 0 | 4161 | 8 0.39/0.49 c #cpu_time = 0.006s 0.39/0.49 c #wall_clock_time = 0.006s 0.39/0.49 c #decision = 545 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 225: cost of the new core is >=1 0.39/0.49 c lower bound updated to 29 0.49/0.50 c BCD2: 29 <= obj <= 274 0.49/0.50 c BCD2: #cores=29, #unrelaxed=4102, #relaxed=3264, #hardened=570 0.49/0.50 c BCD2: #sat=1 #unsat=30 bias=30/31 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 9 0.49/0.50 c 0.0s | 0 | 498 | 0 | 2752 0 | 4161 | 9 0.49/0.50 c #cpu_time = 0.006s 0.49/0.50 c #wall_clock_time = 0.006s 0.49/0.50 c #decision = 498 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 216: cost of the new core is >=1 0.49/0.50 c lower bound updated to 30 0.49/0.51 c BCD2: 30 <= obj <= 274 0.49/0.51 c BCD2: #cores=30, #unrelaxed=3886, #relaxed=3480, #hardened=570 0.49/0.51 c BCD2: #sat=1 #unsat=31 bias=31/32 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 10 0.49/0.51 c 0.0s | 0 | 324 | 0 | 2752 0 | 4161 | 10 0.49/0.51 c #cpu_time = 0.006s 0.49/0.51 c #wall_clock_time = 0.006s 0.49/0.51 c #decision = 324 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 225: cost of the new core is >=1 0.49/0.52 c lower bound updated to 31 0.49/0.52 c BCD2: 31 <= obj <= 274 0.49/0.52 c BCD2: #cores=31, #unrelaxed=3661, #relaxed=3705, #hardened=570 0.49/0.52 c BCD2: #sat=1 #unsat=32 bias=32/33 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 2752 0 | 4161 | 11 0.69/0.78 c 0.3s | 1 | 16511 | 100 | 3028 0 | 4161 | 11 1.69/1.74 c 1.2s | 2 | 28962 | 250 | 3331 0 | 4161 | 11 2.69/2.77 c 2.2s | 3 | 36103 | 475 | 3665 0 | 4161 | 11 3.29/3.40 c 2.9s | 4 | 37514 | 813 | 4032 0 | 4161 | 11 3.39/3.45 c 2.9s | 4 | 37653 | 836 | 4032 0 | 4161 | 11 3.39/3.45 c #cpu_time = 2.933s 3.39/3.45 c #wall_clock_time = 2.933s 3.39/3.45 c #decision = 37653 3.39/3.45 c #random_decision = 172 3.39/3.45 c #conflict = 836 3.39/3.45 c #restart = 4 3.39/3.45 c BCD2: relaxing 28 and merging with 1 cores into a new core of size 450: cost of the new core is >=2 3.39/3.45 c lower bound updated to 32 3.39/3.46 c BCD2: 32 <= obj <= 274 3.39/3.46 c BCD2: #cores=31, #unrelaxed=3633, #relaxed=3733, #hardened=570 3.39/3.46 c BCD2: #sat=1 #unsat=33 bias=33/34 3.39/3.46 c Solving starts ... 3.39/3.46 c ============================[ Search Statistics ]============================ 3.39/3.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.39/3.46 c | | | | Limit GC | Var | Constra 3.39/3.46 c ============================================================================= 3.39/3.46 c 0.0s | 0 | 0 | 0 | 4032 0 | 4162 | 11 3.49/3.54 c 0.1s | 1 | 282 | 100 | 4032 0 | 4162 | 12 3.59/3.69 c 0.2s | 2 | 571 | 250 | 4032 0 | 4162 | 12 3.69/3.73 c 0.3s | 2 | 729 | 320 | 4032 0 | 4162 | 12 3.69/3.73 c #cpu_time = 0.274s 3.69/3.73 c #wall_clock_time = 0.274s 3.69/3.73 c #decision = 729 3.69/3.73 c #random_decision = 7 3.69/3.73 c #conflict = 320 3.69/3.73 c #restart = 2 3.69/3.73 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 228: cost of the new core is >=2 3.69/3.73 c lower bound updated to 33 3.69/3.73 c BCD2: 33 <= obj <= 274 3.69/3.73 c BCD2: #cores=31, #unrelaxed=3619, #relaxed=3747, #hardened=570 3.69/3.73 c BCD2: #sat=1 #unsat=34 bias=34/35 3.69/3.74 c Solving starts ... 3.69/3.74 c ============================[ Search Statistics ]============================ 3.69/3.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.74 c | | | | Limit GC | Var | Constra 3.69/3.74 c ============================================================================= 3.69/3.74 c 0.0s | 0 | 0 | 0 | 4032 0 | 4163 | 13 3.79/3.84 c 0.1s | 1 | 630 | 100 | 4436 0 | 4163 | 14 3.89/3.98 c 0.2s | 1 | 831 | 243 | 4436 0 | 4163 | 14 3.89/3.98 c #cpu_time = 0.241s 3.89/3.98 c #wall_clock_time = 0.241s 3.89/3.98 c #decision = 831 3.89/3.98 c #random_decision = 1 3.89/3.98 c #conflict = 243 3.89/3.98 c #restart = 1 3.89/3.98 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 228: cost of the new core is >=2 3.89/3.98 c lower bound updated to 34 3.89/3.98 c BCD2: 34 <= obj <= 274 3.89/3.98 c BCD2: #cores=31, #unrelaxed=3605, #relaxed=3761, #hardened=570 3.89/3.98 c BCD2: #sat=1 #unsat=35 bias=35/36 3.89/3.98 c Solving starts ... 3.89/3.98 c ============================[ Search Statistics ]============================ 3.89/3.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.98 c | | | | Limit GC | Var | Constra 3.89/3.98 c ============================================================================= 3.89/3.98 c 0.0s | 0 | 0 | 0 | 4436 0 | 4164 | 15 3.99/4.09 c 0.1s | 1 | 809 | 100 | 4436 0 | 4164 | 16 4.19/4.24 c 0.3s | 2 | 1066 | 250 | 4436 0 | 4164 | 16 4.29/4.40 c 0.3s | 2 | 1210 | 325 | 4436 0 | 4164 | 16 4.29/4.40 c #cpu_time = 0.295s 4.29/4.40 c #wall_clock_time = 0.295s 4.29/4.40 c #decision = 1210 4.29/4.40 c #random_decision = 9 4.29/4.40 c #conflict = 325 4.29/4.40 c #restart = 2 4.29/4.40 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 228: cost of the new core is >=2 4.29/4.40 c lower bound updated to 35 4.29/4.40 c BCD2: 35 <= obj <= 274 4.29/4.40 c BCD2: #cores=31, #unrelaxed=3591, #relaxed=3775, #hardened=570 4.29/4.40 c BCD2: #sat=1 #unsat=36 bias=36/37 4.29/4.40 c Solving starts ... 4.29/4.40 c ============================[ Search Statistics ]============================ 4.29/4.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.40 c | | | | Limit GC | Var | Constra 4.29/4.40 c ============================================================================= 4.29/4.40 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 17 4.29/4.40 c 0.0s | 0 | 1718 | 4 | 4436 0 | 4165 | 18 4.29/4.40 c #cpu_time = 0.024s 4.29/4.40 c #wall_clock_time = 0.024s 4.29/4.40 c #decision = 1718 4.29/4.40 c #random_decision = 8 4.29/4.40 c #conflict = 4 4.29/4.40 c #restart = 0 4.29/4.40 o 108 4.29/4.40 c BCD2: hardening fixes 464 literals 4.29/4.40 c BCD2: updating upper bound: 274 -> 107 4.29/4.40 c BCD2: 35 <= obj <= 107 4.29/4.40 c BCD2: #cores=31, #unrelaxed=3127, #relaxed=3775, #hardened=1034 4.29/4.40 c BCD2: #sat=2 #unsat=36 bias=36/38 4.29/4.40 c Solving starts ... 4.29/4.40 c ============================[ Search Statistics ]============================ 4.29/4.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.40 c | | | | Limit GC | Var | Constra 4.29/4.40 c ============================================================================= 4.29/4.40 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 19 4.29/4.40 c 0.1s | 0 | 1566 | 21 | 4436 0 | 4165 | 19 4.29/4.40 c #cpu_time = 0.049s 4.29/4.40 c #wall_clock_time = 0.049s 4.29/4.40 c #decision = 1566 4.29/4.40 c #random_decision = 2 4.29/4.40 c #conflict = 21 4.29/4.40 c #restart = 0 4.29/4.40 o 92 4.29/4.40 c BCD2: hardening fixes 105 literals 4.29/4.40 c BCD2: updating upper bound: 107 -> 91 4.29/4.40 c BCD2: 35 <= obj <= 91 4.29/4.40 c BCD2: #cores=31, #unrelaxed=3022, #relaxed=3775, #hardened=1139 4.29/4.40 c BCD2: #sat=3 #unsat=36 bias=36/39 4.29/4.40 c Solving starts ... 4.29/4.40 c ============================[ Search Statistics ]============================ 4.29/4.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.40 c | | | | Limit GC | Var | Constra 4.29/4.40 c ============================================================================= 4.29/4.40 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 20 4.40/4.41 c 0.0s | 0 | 445 | 0 | 4436 0 | 4165 | 20 4.40/4.41 c #cpu_time = 0.016s 4.40/4.41 c #wall_clock_time = 0.016s 4.40/4.41 c #decision = 445 4.40/4.41 c #random_decision = 2 4.40/4.41 c #conflict = 0 4.40/4.41 c #restart = 0 4.40/4.41 o 87 4.40/4.41 c BCD2: updating upper bound: 91 -> 86 4.40/4.42 c BCD2: 35 <= obj <= 86 4.40/4.42 c BCD2: #cores=31, #unrelaxed=3022, #relaxed=3775, #hardened=1139 4.40/4.42 c BCD2: #sat=4 #unsat=36 bias=36/40 4.40/4.42 c Solving starts ... 4.40/4.42 c ============================[ Search Statistics ]============================ 4.40/4.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.42 c | | | | Limit GC | Var | Constra 4.40/4.42 c ============================================================================= 4.40/4.42 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 21 4.40/4.44 c 0.0s | 0 | 490 | 0 | 4436 0 | 4165 | 21 4.40/4.44 c #cpu_time = 0.014s 4.40/4.44 c #wall_clock_time = 0.014s 4.40/4.44 c #decision = 490 4.40/4.44 c #random_decision = 0 4.40/4.44 c #conflict = 0 4.40/4.44 c #restart = 0 4.40/4.44 o 78 4.40/4.45 c BCD2: hardening fixes 129 literals 4.40/4.45 c BCD2: updating upper bound: 86 -> 77 4.40/4.46 c BCD2: 35 <= obj <= 77 4.40/4.46 c BCD2: #cores=31, #unrelaxed=2893, #relaxed=3775, #hardened=1268 4.40/4.46 c BCD2: #sat=5 #unsat=36 bias=36/41 4.40/4.46 c Solving starts ... 4.40/4.46 c ============================[ Search Statistics ]============================ 4.40/4.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.46 c | | | | Limit GC | Var | Constra 4.40/4.46 c ============================================================================= 4.40/4.46 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 22 4.40/4.47 c 0.0s | 0 | 438 | 0 | 4436 0 | 4165 | 22 4.40/4.47 c #cpu_time = 0.014s 4.40/4.47 c #wall_clock_time = 0.014s 4.40/4.47 c #decision = 438 4.40/4.47 c #random_decision = 0 4.40/4.47 c #conflict = 0 4.40/4.47 c #restart = 0 4.40/4.47 o 69 4.40/4.48 c BCD2: hardening fixes 70 literals 4.40/4.48 c BCD2: updating upper bound: 77 -> 68 4.40/4.49 c BCD2: 35 <= obj <= 68 4.40/4.49 c BCD2: #cores=31, #unrelaxed=2823, #relaxed=3775, #hardened=1338 4.40/4.49 c BCD2: #sat=6 #unsat=36 bias=36/42 4.40/4.49 c Solving starts ... 4.40/4.49 c ============================[ Search Statistics ]============================ 4.40/4.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.49 c | | | | Limit GC | Var | Constra 4.40/4.49 c ============================================================================= 4.40/4.49 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 23 4.50/4.51 c 0.0s | 0 | 492 | 0 | 4436 0 | 4165 | 23 4.50/4.51 c #cpu_time = 0.014s 4.50/4.51 c #wall_clock_time = 0.014s 4.50/4.51 c #decision = 492 4.50/4.51 c #random_decision = 2 4.50/4.51 c #conflict = 0 4.50/4.51 c #restart = 0 4.50/4.51 o 64 4.50/4.51 c BCD2: hardening fixes 57 literals 4.50/4.51 c BCD2: updating upper bound: 68 -> 63 4.50/4.52 c BCD2: 35 <= obj <= 63 4.50/4.52 c BCD2: #cores=31, #unrelaxed=2766, #relaxed=3775, #hardened=1395 4.50/4.52 c BCD2: #sat=7 #unsat=36 bias=36/43 4.50/4.52 c Solving starts ... 4.50/4.52 c ============================[ Search Statistics ]============================ 4.50/4.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.50/4.52 c | | | | Limit GC | Var | Constra 4.50/4.52 c ============================================================================= 4.50/4.52 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 24 4.50/4.54 c 0.0s | 0 | 455 | 0 | 4436 0 | 4165 | 24 4.50/4.54 c #cpu_time = 0.014s 4.50/4.54 c #wall_clock_time = 0.014s 4.50/4.54 c #decision = 455 4.50/4.54 c #random_decision = 1 4.50/4.54 c #conflict = 0 4.50/4.54 c #restart = 0 4.50/4.54 o 59 4.50/4.54 c BCD2: hardening fixes 26 literals 4.50/4.54 c BCD2: updating upper bound: 63 -> 58 4.50/4.55 c BCD2: 35 <= obj <= 58 4.50/4.55 c BCD2: #cores=31, #unrelaxed=2740, #relaxed=3775, #hardened=1421 4.50/4.55 c BCD2: #sat=8 #unsat=36 bias=36/44 4.50/4.56 c Solving starts ... 4.50/4.56 c ============================[ Search Statistics ]============================ 4.50/4.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.50/4.56 c | | | | Limit GC | Var | Constra 4.50/4.56 c ============================================================================= 4.50/4.56 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 25 4.50/4.57 c 0.0s | 0 | 476 | 0 | 4436 0 | 4165 | 25 4.50/4.57 c #cpu_time = 0.014s 4.50/4.57 c #wall_clock_time = 0.014s 4.50/4.57 c #decision = 476 4.50/4.57 c #random_decision = 1 4.50/4.57 c #conflict = 0 4.50/4.57 c #restart = 0 4.50/4.57 o 54 4.50/4.58 c BCD2: hardening fixes 125 literals 4.50/4.58 c BCD2: updating upper bound: 58 -> 53 4.50/4.59 c BCD2: 35 <= obj <= 53 4.50/4.59 c BCD2: #cores=31, #unrelaxed=2615, #relaxed=3775, #hardened=1546 4.50/4.59 c BCD2: #sat=9 #unsat=36 bias=36/45 4.50/4.59 c Solving starts ... 4.50/4.59 c ============================[ Search Statistics ]============================ 4.50/4.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.50/4.59 c | | | | Limit GC | Var | Constra 4.50/4.59 c ============================================================================= 4.50/4.59 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 26 4.59/4.60 c 0.0s | 0 | 436 | 0 | 4436 0 | 4165 | 26 4.59/4.60 c #cpu_time = 0.014s 4.59/4.60 c #wall_clock_time = 0.014s 4.59/4.60 c #decision = 436 4.59/4.60 c #random_decision = 0 4.59/4.60 c #conflict = 0 4.59/4.60 c #restart = 0 4.59/4.61 o 49 4.59/4.63 c BCD2: hardening fixes 105 literals 4.59/4.63 c BCD2: updating upper bound: 53 -> 48 4.59/4.64 c BCD2: 35 <= obj <= 48 4.59/4.64 c BCD2: #cores=31, #unrelaxed=2510, #relaxed=3775, #hardened=1651 4.59/4.64 c BCD2: #sat=10 #unsat=36 bias=36/46 4.59/4.64 c Solving starts ... 4.59/4.64 c ============================[ Search Statistics ]============================ 4.59/4.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.64 c | | | | Limit GC | Var | Constra 4.59/4.64 c ============================================================================= 4.59/4.64 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 27 4.59/4.66 c 0.0s | 0 | 449 | 0 | 4436 0 | 4165 | 27 4.59/4.66 c #cpu_time = 0.014s 4.59/4.66 c #wall_clock_time = 0.014s 4.59/4.66 c #decision = 449 4.59/4.66 c #random_decision = 1 4.59/4.66 c #conflict = 0 4.59/4.66 c #restart = 0 4.59/4.66 o 44 4.59/4.66 c BCD2: hardening fixes 199 literals 4.59/4.66 c BCD2: updating upper bound: 48 -> 43 4.59/4.67 c BCD2: 35 <= obj <= 43 4.59/4.67 c BCD2: #cores=31, #unrelaxed=2311, #relaxed=3775, #hardened=1850 4.59/4.67 c BCD2: #sat=11 #unsat=36 bias=36/47 4.59/4.67 c Solving starts ... 4.59/4.67 c ============================[ Search Statistics ]============================ 4.59/4.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.67 c | | | | Limit GC | Var | Constra 4.59/4.67 c ============================================================================= 4.59/4.67 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 28 4.69/4.77 c 0.1s | 1 | 160 | 100 | 4436 0 | 4165 | 28 4.79/4.85 c 0.2s | 1 | 1188 | 174 | 4436 0 | 4165 | 28 4.79/4.85 c #cpu_time = 0.182s 4.79/4.85 c #wall_clock_time = 0.182s 4.79/4.85 c #decision = 1188 4.79/4.85 c #random_decision = 4 4.79/4.85 c #conflict = 174 4.79/4.85 c #restart = 1 4.79/4.85 o 39 4.79/4.86 c BCD2: hardening fixes 339 literals 4.79/4.86 c BCD2: updating upper bound: 43 -> 38 4.79/4.87 c BCD2: 35 <= obj <= 38 4.79/4.87 c BCD2: #cores=31, #unrelaxed=1972, #relaxed=3775, #hardened=2189 4.79/4.87 c BCD2: #sat=12 #unsat=36 bias=36/48 4.79/4.87 c Solving starts ... 4.79/4.87 c ============================[ Search Statistics ]============================ 4.79/4.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.87 c | | | | Limit GC | Var | Constra 4.79/4.87 c ============================================================================= 4.79/4.87 c 0.0s | 0 | 0 | 0 | 4436 0 | 4165 | 29 4.89/4.91 c 0.0s | 0 | 744 | 37 | 4436 0 | 4165 | 29 4.89/4.91 c #cpu_time = 0.040s 4.89/4.91 c #wall_clock_time = 0.040s 4.89/4.91 c #decision = 744 4.89/4.91 c #random_decision = 3 4.89/4.91 c #conflict = 37 4.89/4.91 c #restart = 0 4.89/4.91 o 35 4.89/4.91 s OPTIMUM FOUND 4.89/4.92 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 4.89/4.92 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 4.89/4.92 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 4.89/4.92 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 4.89/4.92 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 4.89/4.92 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 4.89/4.92 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 4.89/4.92 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 4.89/4.92 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 4.89/4.92 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 4.89/4.92 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 4.89/4.92 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 4.89/4.92 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 4.89/4.92 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 4.89/4.92 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 4.89/4.92 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 4.89/4.92 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 4.89/4.92 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 4.89/4.92 v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 4.89/4.92 v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 4.89/4.92 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 4.89/4.92 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 4.89/4.92 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 4.89/4.92 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 4.89/4.92 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 4.89/4.92 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 4.89/4.92 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 4.89/4.92 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 4.89/4.92 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 4.89/4.92 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 4.89/4.92 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 4.89/4.92 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 4.89/4.92 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 4.89/4.92 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 4.89/4.92 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 4.89/4.92 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 4.89/4.92 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 4.89/4.92 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 4.89/4.92 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 4.89/4.92 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 4.89/4.92 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 4.89/4.92 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 4.89/4.92 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 4.89/4.92 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 4.89/4.92 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 4.89/4.92 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 4.89/4.92 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 4.89/4.92 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 4.89/4.92 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 4.89/4.92 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 4.89/4.92 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 4.89/4.92 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 4.89/4.92 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 4.89/4.92 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 4.89/4.92 v -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 4.89/4.92 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 4.89/4.92 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 4.89/4.92 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 4.89/4.92 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 4.89/4.92 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 4.89/4.92 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 4.89/4.92 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 4.89/4.92 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 4.89/4.92 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 4.89/4.92 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 4.89/4.92 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 4.89/4.92 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 4.89/4.92 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 4.89/4.92 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 4.89/4.92 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 4.89/4.92 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 4.89/4.92 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 4.89/4.92 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 4.89/4.92 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 4.89/4.92 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 4.89/4.92 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 4.89/4.92 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 4.89/4.92 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 4.89/4.92 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 4.89/4.92 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 4.89/4.92 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 4.89/4.92 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 4.89/4.92 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 4.89/4.92 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 4.89/4.92 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 4.89/4.92 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 4.89/4.92 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 4.89/4.92 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 4.89/4.92 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 4.89/4.92 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 4.89/4.92 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 4.89/4.92 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 4.89/4.92 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 4.89/4.92 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 4.89/4.92 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 4.89/4.92 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 4.89/4.92 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 4.89/4.92 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 4.89/4.92 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 4.89/4.92 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 4.89/4.92 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 4.89/4.92 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 4.89/4.92 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 4.89/4.92 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 4.89/4.92 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 4.89/4.92 v x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 4.89/4.92 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 4.89/4.92 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 4.89/4.92 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 4.89/4.92 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 4.89/4.92 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 4.89/4.92 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 4.89/4.92 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 4.89/4.92 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 4.89/4.92 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 4.89/4.92 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 4.89/4.92 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 4.89/4.92 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 4.89/4.92 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 4.89/4.92 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 4.89/4.92 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 4.89/4.92 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 4.89/4.92 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 4.89/4.92 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 4.89/4.92 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 4.89/4.92 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 4.89/4.92 v -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 4.89/4.92 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 4.89/4.92 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 4.89/4.92 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 4.89/4.92 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 4.89/4.92 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 4.89/4.92 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 4.89/4.92 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 4.89/4.92 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 4.89/4.92 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 4.89/4.92 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 4.89/4.92 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 4.89/4.92 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 4.89/4.92 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 4.89/4.92 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 4.89/4.92 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 4.89/4.92 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 4.89/4.92 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 4.89/4.92 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 4.89/4.92 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 4.89/4.92 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 4.89/4.92 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 4.89/4.92 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 4.89/4.92 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 4.89/4.92 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 4.89/4.92 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 4.89/4.92 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 4.89/4.92 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 4.89/4.92 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 4.89/4.92 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 4.89/4.92 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 4.89/4.92 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 4.89/4.92 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 4.89/4.92 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 4.89/4.92 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 4.89/4.92 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 4.89/4.92 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 4.89/4.92 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 4.89/4.92 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 4.89/4.92 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 4.89/4.92 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 4.89/4.92 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 4.89/4.92 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 4.89/4.92 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 4.89/4.92 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 4.89/4.92 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 4.89/4.92 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 4.89/4.92 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 4.89/4.92 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 4.89/4.92 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 4.89/4.92 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 4.89/4.92 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 4.89/4.92 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 4.89/4.92 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 4.89/4.92 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 4.89/4.92 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 4.89/4.92 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 4.89/4.92 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 4.89/4.92 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 4.89/4.92 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 4.89/4.92 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 4.89/4.92 v -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 4.89/4.92 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 4.89/4.92 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 4.89/4.92 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 4.89/4.92 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 4.89/4.92 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 4.89/4.92 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 4.89/4.92 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 4.89/4.92 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 4.89/4.92 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 4.89/4.92 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 4.89/4.92 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 4.89/4.92 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 4.89/4.92 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 4.89/4.92 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 4.89/4.92 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 4.89/4.92 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 4.89/4.92 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 4.89/4.92 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 4.89/4.92 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 4.89/4.92 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 4.89/4.92 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 4.89/4.92 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 4.89/4.92 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 4.89/4.92 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 4.89/4.92 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 4.89/4.92 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 4.89/4.92 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 4.89/4.92 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 4.89/4.92 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 4.89/4.92 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 4.89/4.92 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 4.89/4.92 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 4.89/4.92 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 4.89/4.92 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 4.89/4.92 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 4.89/4.92 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 4.89/4.92 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 4.89/4.92 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 4.89/4.92 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 4.89/4.92 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 4.89/4.92 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 4.89/4.92 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 4.89/4.92 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 4.89/4.92 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 4.89/4.92 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 4.89/4.92 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 4.89/4.92 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 4.89/4.92 v -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 4.89/4.92 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 4.89/4.92 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 4.89/4.92 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 4.89/4.92 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 4.89/4.92 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 4.89/4.92 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 4.89/4.92 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 4.89/4.92 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 4.89/4.92 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 4.89/4.92 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 4.89/4.92 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 4.89/4.92 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 4.89/4.92 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 4.89/4.92 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 4.89/4.92 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 4.89/4.92 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 4.89/4.92 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 4.89/4.92 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 4.89/4.92 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 4.89/4.92 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 4.89/4.92 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 4.89/4.92 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 4.89/4.92 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 4.89/4.92 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 4.89/4.92 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 4.89/4.92 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 4.89/4.92 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 4.89/4.92 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 4.89/4.92 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 4.89/4.92 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 4.89/4.92 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 4.89/4.92 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 4.89/4.92 v x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 4.89/4.92 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 4.89/4.92 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 4.89/4.92 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 4.89/4.92 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 4.89/4.92 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 4.89/4.92 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 4.89/4.92 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 4.89/4.92 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 4.89/4.92 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 4.89/4.92 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 4.89/4.92 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 4.89/4.92 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 4.89/4.92 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 4.89/4.92 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 4.89/4.92 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 4.89/4.92 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 4.89/4.92 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 4.89/4.92 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 4.89/4.92 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 4.89/4.92 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 4.89/4.92 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 4.89/4.92 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 4.89/4.92 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 4.89/4.92 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 4.89/4.92 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 4.89/4.92 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 4.89/4.92 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 4.89/4.92 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 4.89/4.92 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 4.89/4.92 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 4.89/4.92 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 4.89/4.92 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 4.89/4.92 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 4.89/4.92 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 4.89/4.92 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 4.89/4.92 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 4.89/4.92 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 4.89/4.92 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 4.89/4.92 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 4.89/4.92 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 4.89/4.92 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 4.89/4.92 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 4.89/4.92 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 4.89/4.92 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 4.89/4.92 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 4.89/4.92 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 4.89/4.92 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 4.89/4.92 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 4.89/4.92 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 4.89/4.92 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 4.89/4.92 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 4.89/4.92 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 4.89/4.92 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 4.89/4.92 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 4.89/4.92 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 4.89/4.92 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 4.89/4.92 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 4.89/4.92 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 4.89/4.92 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 4.89/4.92 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 4.89/4.92 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 4.89/4.92 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 4.89/4.92 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 4.89/4.92 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 4.89/4.92 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 4.89/4.92 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 4.89/4.92 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 4.89/4.92 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 4.89/4.92 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 4.89/4.92 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 4.89/4.92 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 4.89/4.92 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 4.89/4.92 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 4.89/4.92 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 4.89/4.92 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 4.89/4.92 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 4.89/4.92 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 4.89/4.92 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 4.89/4.92 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 4.89/4.92 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 4.89/4.92 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 4.89/4.92 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 4.89/4.92 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 4.89/4.92 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 4.89/4.92 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 4.89/4.92 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 4.89/4.92 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 4.89/4.92 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 4.89/4.92 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 4.89/4.92 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 4.89/4.92 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 4.89/4.92 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 4.89/4.92 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 4.89/4.92 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 4.89/4.92 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 4.89/4.92 v -x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 4.89/4.92 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 4.89/4.92 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 4.89/4.92 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 4.89/4.92 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 4.89/4.92 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 4.89/4.92 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 4.89/4.92 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 4.89/4.92 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 4.89/4.92 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 4.89/4.92 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 4.89/4.92 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 4.89/4.92 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 4.89/4.92 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 4.89/4.92 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 4.89/4.92 v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 4.89/4.92 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 4.89/4.92 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 4.89/4.92 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 4.89/4.92 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 4.89/4.92 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 4.89/4.92 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 4.89/4.92 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 4.89/4.92 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 4.89/4.92 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 4.89/4.92 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 4.89/4.92 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 4.89/4.92 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 4.89/4.92 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 4.89/4.92 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 4.89/4.92 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 4.89/4.92 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 4.89/4.92 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 4.89/4.92 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 4.89/4.92 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 4.89/4.92 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 4.89/4.92 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 4.89/4.92 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 4.89/4.92 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 4.89/4.92 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 4.89/4.92 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 4.89/4.92 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 4.89/4.92 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 4.89/4.92 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 4.89/4.92 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 4.89/4.92 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 4.89/4.92 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 4.89/4.92 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 4.89/4.92 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 4.89/4.92 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 4.89/4.92 v -x4141 -x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 4.89/4.92 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 4.89/4.92 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 4.89/4.92 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 4.89/4.92 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 4.89/4.92 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 4.89/4.92 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 4.89/4.92 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 4.89/4.92 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 4.89/4.92 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 4.89/4.92 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 4.89/4.92 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 4.89/4.92 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 4.89/4.92 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 4.89/4.92 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 4.89/4.92 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 4.89/4.92 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 4.89/4.92 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 4.89/4.92 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 4.89/4.92 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 4.89/4.92 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 4.89/4.92 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 4.89/4.92 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 4.89/4.92 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 4.89/4.92 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 4.89/4.92 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 4.89/4.92 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 4.89/4.92 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 4.89/4.92 v -x4421 -x4422 -x4423 -x4424 -x4425 x4426 -x4427 -x4428 -x4429 -x4430 4.89/4.92 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 4.89/4.92 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 4.89/4.92 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 4.89/4.92 v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 4.89/4.92 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 4.89/4.92 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 4.89/4.92 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 4.89/4.92 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 4.89/4.92 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 4.89/4.92 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 4.89/4.92 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 4.89/4.92 v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 4.89/4.92 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 4.89/4.92 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 4.89/4.92 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 4.89/4.92 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 4.89/4.92 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 4.89/4.92 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 4.89/4.92 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 4.89/4.92 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 4.89/4.92 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 4.89/4.92 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 4.89/4.92 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 4.89/4.92 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 4.89/4.92 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 4.89/4.92 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 4.89/4.92 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 4.89/4.92 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 4.89/4.92 v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 4.89/4.92 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 4.89/4.92 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 4.89/4.92 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 4.89/4.92 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 4.89/4.92 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 4.89/4.92 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 4.89/4.92 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 4.89/4.92 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 4.89/4.92 v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 4.89/4.92 v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 4.89/4.92 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 4.89/4.92 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 4.89/4.92 v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 4.89/4.92 v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 4.89/4.92 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 4.89/4.92 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 4.89/4.92 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 4.89/4.92 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 4.89/4.92 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 4.89/4.92 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 4.89/4.92 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 4.89/4.92 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 4.89/4.92 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 4.89/4.92 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 4.89/4.92 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 4.89/4.92 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 4.89/4.92 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 4.89/4.92 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 4.89/4.92 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 4.89/4.92 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 4.89/4.92 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 4.89/4.92 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 4.89/4.92 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 4.89/4.92 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 4.89/4.92 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 4.89/4.92 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 4.89/4.92 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 4.89/4.92 v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 4.89/4.92 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 4.89/4.92 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 4.89/4.92 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 4.89/4.92 v -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 4.89/4.92 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 4.89/4.92 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 4.89/4.92 v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 4.89/4.92 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 4.89/4.92 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 4.89/4.92 v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 4.89/4.92 v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 4.89/4.92 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 4.89/4.92 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 4.89/4.92 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 4.89/4.92 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 4.89/4.92 v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 4.89/4.92 v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 4.89/4.92 v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 4.89/4.92 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 4.89/4.92 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 4.89/4.92 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 4.89/4.92 v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 4.89/4.92 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 4.89/4.92 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 4.89/4.92 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 4.89/4.92 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 4.89/4.92 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 4.89/4.92 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 4.89/4.92 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 4.89/4.92 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 4.89/4.92 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 4.89/4.92 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 4.89/4.92 v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 4.89/4.92 v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 4.89/4.92 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 4.89/4.92 v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 4.89/4.92 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 4.89/4.92 v -x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 4.89/4.92 v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 4.89/4.92 v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 4.89/4.92 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 4.89/4.92 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 4.89/4.92 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 4.89/4.92 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 4.89/4.92 v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 4.89/4.92 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 4.89/4.92 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 4.89/4.92 v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 4.89/4.92 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 4.89/4.92 v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 4.89/4.92 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 4.89/4.92 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 4.89/4.92 v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 4.89/4.92 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 4.89/4.92 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 4.89/4.92 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 4.89/4.92 v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 4.89/4.92 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 4.89/4.92 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 4.89/4.92 v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 4.89/4.92 v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 4.89/4.92 v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 4.89/4.92 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 4.89/4.92 v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 4.89/4.92 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 4.89/4.92 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 4.89/4.92 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 4.89/4.92 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 4.89/4.92 v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 4.89/4.92 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 4.89/4.92 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 4.89/4.92 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 4.89/4.92 v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 4.89/4.92 v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 4.89/4.92 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 4.89/4.92 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 4.89/4.92 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 4.89/4.92 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 4.89/4.92 v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 4.89/4.92 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 4.89/4.92 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 4.89/4.92 v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 4.89/4.92 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 4.89/4.92 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 4.89/4.92 v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 4.89/4.92 v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 4.89/4.92 v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 4.89/4.92 v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 4.89/4.92 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 4.89/4.92 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 4.89/4.92 v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 4.89/4.92 v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 4.89/4.92 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 4.89/4.92 v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 4.89/4.92 v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 4.89/4.92 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 4.89/4.92 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 4.89/4.92 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 4.89/4.92 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 4.89/4.92 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 4.89/4.92 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 4.89/4.92 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 4.89/4.92 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 4.89/4.92 v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 4.89/4.92 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 4.89/4.92 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 4.89/4.92 v -x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 4.89/4.92 v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 4.89/4.92 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 4.89/4.92 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 4.89/4.92 v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 4.89/4.92 v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 4.89/4.92 v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 4.89/4.92 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 4.89/4.92 v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 4.89/4.92 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 4.89/4.92 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 4.89/4.92 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 4.89/4.92 v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 4.89/4.92 v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 4.89/4.92 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 4.89/4.92 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 4.89/4.92 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 4.89/4.92 v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 4.89/4.92 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 4.89/4.92 v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 4.89/4.92 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 4.89/4.92 v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 4.89/4.92 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 4.89/4.92 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 4.89/4.92 v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 4.89/4.92 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 4.89/4.92 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 4.89/4.92 v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 4.89/4.92 v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 4.89/4.92 v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 4.89/4.92 v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 4.89/4.92 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 4.89/4.92 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 4.89/4.92 v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 4.89/4.92 v -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 4.89/4.92 v -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 4.89/4.92 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 4.89/4.92 v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 4.89/4.92 v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 4.89/4.92 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 4.89/4.92 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 4.89/4.92 v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 4.89/4.92 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 4.89/4.92 v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 4.89/4.92 v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 4.89/4.92 v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 4.89/4.92 v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 4.89/4.92 v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 4.89/4.92 v x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 4.89/4.92 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 4.89/4.92 v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 4.89/4.92 v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 4.89/4.92 v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 4.89/4.92 v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 4.89/4.92 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 4.89/4.92 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 4.89/4.92 v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 4.89/4.92 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 4.89/4.92 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 4.89/4.92 v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 4.89/4.92 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 4.89/4.92 v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 4.89/4.92 v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 4.89/4.92 v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 4.89/4.92 v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 4.89/4.92 v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 4.89/4.92 v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 4.89/4.92 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 4.89/4.92 v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 4.89/4.92 v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 4.89/4.92 v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 4.89/4.92 v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 4.89/4.92 v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 4.89/4.92 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 4.89/4.92 v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 4.89/4.92 v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 4.89/4.92 v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 4.89/4.92 v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 4.89/4.92 v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 4.89/4.92 v -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 4.89/4.92 v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 4.89/4.92 v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 4.89/4.92 v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 4.89/4.92 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 4.89/4.92 v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 4.89/4.92 v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 4.89/4.92 v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 4.89/4.92 v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 4.89/4.92 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 4.89/4.92 v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 4.89/4.92 v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 4.89/4.92 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 4.89/4.92 v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 4.89/4.92 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 4.89/4.92 v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 4.89/4.92 v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 4.89/4.92 v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 4.89/4.92 v -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 4.89/4.92 v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 4.89/4.92 v -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 4.89/4.92 v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 4.89/4.92 v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 4.89/4.92 v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 4.89/4.92 v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 4.89/4.92 v -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 4.89/4.92 v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 4.89/4.92 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 4.89/4.92 v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 4.89/4.92 v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 4.89/4.92 v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 4.89/4.92 v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 4.89/4.92 v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 4.89/4.92 v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 4.89/4.92 v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 4.89/4.92 v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 4.89/4.92 v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 4.89/4.92 v -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 4.89/4.92 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 4.89/4.92 v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 4.89/4.92 v -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 4.89/4.92 v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 4.89/4.92 v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 4.89/4.92 v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 4.89/4.92 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 4.89/4.92 v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 4.89/4.92 v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 x7420 4.89/4.92 v -x7421 -x7422 -x7423 -x7424 -x7425 x7426 -x7427 -x7428 -x7429 -x7430 4.89/4.92 v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 4.89/4.92 v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 4.89/4.92 v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 4.89/4.92 v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 4.89/4.92 v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 4.89/4.92 v -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 4.89/4.92 v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 4.89/4.92 v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 4.89/4.92 v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 4.89/4.92 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 4.89/4.92 v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 4.89/4.92 v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 4.89/4.92 v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 4.89/4.92 v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 4.89/4.92 v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 4.89/4.92 v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 4.89/4.92 v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 4.89/4.92 v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 4.89/4.92 v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 4.89/4.92 v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 4.89/4.92 v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 4.89/4.92 v -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 4.89/4.92 v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 4.89/4.92 v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 4.89/4.92 v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 4.89/4.92 v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 4.89/4.92 v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 -x7700 4.89/4.92 v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 4.89/4.92 v -x7711 -x7712 -x7713 -x7714 -x7715 x7716 -x7717 -x7718 -x7719 -x7720 4.89/4.92 v -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 4.89/4.92 v -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 4.89/4.92 v -x7741 -x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 4.89/4.92 v -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 x7759 x7760 4.89/4.92 v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 4.89/4.92 v -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 4.89/4.92 v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 4.89/4.92 v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 4.89/4.92 v -x7801 x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 4.89/4.92 v -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 x7819 -x7820 4.89/4.92 v -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 4.89/4.92 v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 4.89/4.92 v -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 4.89/4.92 v -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 4.89/4.92 v -x7861 -x7862 x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 4.89/4.92 v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 4.89/4.92 v -x7881 -x7882 -x7883 -x7884 -x7885 x7886 -x7887 -x7888 -x7889 -x7890 4.89/4.92 v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 4.89/4.92 v -x7901 x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 4.89/4.92 v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 4.89/4.92 v -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 x7928 -x7929 -x7930 4.89/4.92 v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 4.89/4.92 c total CPU time = 4.924s 4.89/4.92 c total wall clock time = 4.924s
OK 35
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-4099905-1466209743/watcher-4099905-1466209743 -o /tmp/evaluation-result-4099905-1466209743/solver-4099905-1466209743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099905-1466209743.opb pid=11967 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.10 2.08 2.01 3/172 11970 /proc/meminfo: memFree=31463992/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 2750 0 0 0 0 0 0 0 20 0 4 0 23019928 753332224 2600 33554432000 4194304 16246674 140736430384336 140736430383760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 184687 2609 441 2943 0 181581 0 [pid=11970/tid=11971] ppid=11967 vsize=753084 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 771158016 2668 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 775352320 2684 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=762300 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019928 780595200 2700 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.10 2.08 2.01 3/172 11970 /proc/meminfo: memFree=31463992/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1297988 CPUtime=0.09 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 24776 0 0 0 6 3 0 0 20 0 4 0 23019928 1329139712 24563 33554432000 4194304 16246674 140736430384336 140736430383648 12367245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 324497 24574 834 2943 0 321391 0 [pid=11970/tid=11971] ppid=11967 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1329139712 24579 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1329139712 24586 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1329139712 24592 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1297988 [startup+0.20045 s] /proc/loadavg: 2.10 2.08 2.01 3/172 11970 /proc/meminfo: memFree=31463992/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=0.19 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 38355 0 0 0 14 5 0 0 20 0 4 0 23019928 1341722624 38142 33554432000 4194304 16246674 140736430384336 140736430383648 12416236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 38142 881 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38142 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38142 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38142 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1310276 [startup+0.300428 s] /proc/loadavg: 2.10 2.08 2.01 3/172 11970 /proc/meminfo: memFree=31463992/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=0.29 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 38422 0 0 0 24 5 0 0 20 0 4 0 23019928 1341722624 38209 33554432000 4194304 16246674 140736430384336 140736430383648 5842276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 38209 913 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38209 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38209 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 38209 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1310276 [startup+0.700386 s] /proc/loadavg: 2.10 2.08 2.01 3/172 11970 /proc/meminfo: memFree=31463992/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=0.69 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 49683 0 0 0 62 7 0 0 20 0 4 0 23019928 1341722624 49470 33554432000 4194304 16246674 140736430384336 140736430367328 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 49471 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 49472 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 49472 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 49473 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1310276 [startup+1.50039 s] /proc/loadavg: 2.10 2.08 2.01 3/183 11988 /proc/meminfo: memFree=30733012/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=1.49 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 222201 0 0 0 121 28 0 0 20 0 4 0 23019928 1341722624 221989 33554432000 4194304 16246674 140736430384336 140736430366208 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 222001 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 222001 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 222005 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 222007 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1310276 [startup+3.1004 s] /proc/loadavg: 2.09 2.08 2.01 3/183 11988 /proc/meminfo: memFree=29953776/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=3.09 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268788 0 0 0 276 33 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 140736430366208 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268575 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913287683248 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) 1310276 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11970 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20046 s] /proc/loadavg: 2.09 2.08 2.01 3/183 11988 /proc/meminfo: memFree=29953776/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=3.19 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268788 0 0 0 286 33 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 140736430366208 5722853 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268575 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 1310276 [startup+4.00039 s] /proc/loadavg: 2.09 2.08 2.01 3/183 11988 /proc/meminfo: memFree=29922900/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=3.99 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268788 0 0 0 366 33 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 140736430367328 5598428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268575 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 1310276 [startup+4.40034 s] /proc/loadavg: 2.09 2.08 2.01 4/183 11988 /proc/meminfo: memFree=29669048/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=4.4 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268788 0 0 0 406 34 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 140736430367328 13962591 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268575 917 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268575 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 1310276 [startup+4.80039 s] /proc/loadavg: 2.09 2.08 2.01 4/183 11988 /proc/meminfo: memFree=29669048/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=4.79 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268789 0 0 0 445 34 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 140736430383432 5823891 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268576 918 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 1310276 [startup+4.90038 s] /proc/loadavg: 2.09 2.08 2.01 4/183 11988 /proc/meminfo: memFree=29669048/32872528 swapFree=534252/566956 [pid=11970] ppid=11967 vsize=1310276 CPUtime=4.89 cores=0,2,4,6 /proc/11970/stat : 11970 (toysat) R 11967 11970 10353 0 -1 4202496 268789 0 0 0 455 34 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 140736430383432 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11970/statm: 327569 268576 918 2943 0 324463 0 [pid=11970/tid=11971] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11971/stat : 11971 (toysat) S 11967 11970 10353 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913308646640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11970/tid=11972] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11972/stat : 11972 (toysat) S 11967 11970 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913298156784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11970/tid=11973] ppid=11967 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11970/task/11973/stat : 11973 (toysat) S 11967 11970 10353 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23019928 1341722624 268576 33554432000 4194304 16246674 140736430384336 139913287683248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 1310276 Child status: 0 Real time (s): 4.98457 CPU time (s): 4.98424 CPU user time (s): 4.5843 CPU system time (s): 0.399939 CPU usage (%): 99.9935 Max. virtual memory (cumulated for all children) (KiB): 1310276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.5843 system time used= 0.399939 maximum resident set size= 1074316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268792 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= 20 involuntary context switches= 6 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.014997 second user time and 0.032994 second system time The end
Begin job on node138 at 2016-06-18 02:29:03 IDJOB=4099905 IDBENCH=1549 IDSOLVER=2542 FILE ID=node138/4099905-1466209743 RUNJOBID= node138-1466206053-10369 PBS_JOBID= 19918139 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099905-1466209743/watcher-4099905-1466209743 -o /tmp/evaluation-result-4099905-1466209743/solver-4099905-1466209743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099905-1466209743.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c1b16c8c16304b0c31b222fe698dea9 RANDOM SEED=797336184 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31464900 kB Buffers: 43332 kB Cached: 85324 kB SwapCached: 1056 kB Active: 72356 kB Inactive: 63384 kB Active(anon): 8076 kB Inactive(anon): 1192 kB Active(file): 64280 kB Inactive(file): 62192 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 17472 kB Writeback: 4 kB AnonPages: 585436 kB Mapped: 7244 kB Shmem: 0 kB Slab: 572712 kB SReclaimable: 16604 kB SUnreclaim: 556108 kB KernelStack: 1536 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 668008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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= 71692 MiB End job on node138 at 2016-06-18 02:29:08