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 | 5.32719 | 5.33099 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb |
| MD5SUM | eacfeaf84791543db8ee3be1e77f11f6 |
| 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 | 5.32719 |
| 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 | YES |
| Number of variables | 8959 |
| Total number of constraints | 323 |
| 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 | 323 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 510 |
| Number of terms in the objective function | 8959 |
| Biggest coefficient in the objective function | 1746 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 531501 |
| 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 | 531501 |
| 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:09+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-4099985-1466209749.opb"] 0.00/0.01 c use --random-gen="101811070 4163271439 1518778535 1493776666 1858568360 3866663858 589895803 2952472817 4111400026 834787237 3621206425 3899033856 2720139270 4016546777 4097097012 2454770712 1370478825 2965650596 3047694984 3172802986 2848005140 1413334645 3589225436 91907801 4265985354 3749639245 2987501713 2817493936 1877858686 4257788516 88658394 72758057 2811433579 368712500 2827570018 737494935 849527398 407021933 24215391 3087705973 1794306437 3316762077 1118373280 1560616331 760830769 3323600224 1607071590 4093248953 239039151 2849796625 3301747151 806921995 2974600265 355373560 4106176286 1380830576 632664994 736289998 353189948 4009009323 2110412485 3370210829 3136919598 1432157747 1828491855 520766862 825201653 2309242561 4096211385 3254329784 933813936 288691624 2630195467 4208746691 4157385547 3201196948 2414709569 3118348206 995792957 3521298621 3025238887 2306985381 3260518120 3507965754 1235892889 1846018746 1637140572 446440526 2394359818 3183605236 2929355086 830464767 1690724699 176220110 3065375074 511628715 2304721413 2419573798 2590866181 971477979 1341039756 436328337 3677595184 571192116 1887099236 3331035321 3742362213 415514086 2867521388 2504158406 1662968326 1930050911 2188465872 2914895986 4242338921 402792773 3145976481 1768749010 738463510 2637007875 2909392033 3887164143 1028456507 1648120306 1058123335 2113553387 2355824219 1736306091 1838797917 2174354964 1455565478 2144957295 1941975990 4250367241 3102206405 2232745293 1191075709 4037569026 930837430 2950062212 3324882622 366795015 3695535843 4098163597 3328459455 2324377354 3321746152 1663671349 1485427018 2909269772 3022521967 2195021329 1953313656 1395004432 2250127452 3608080612 2591543425 2671699222 2730265409 1170782894 2444573552 3864638575 3640874495 761062314 2494757768 3106338344 2144839463 3266751936 3490553745 3959940812 4024296662 3896781448 1594631563 1175184198 2330179990 4261637573 25253484 3865089940 3625282732 3666123974 2841416214 2456788193 440610341 2376155664 747415026 3798811210 763970844 3935071090 3036020009 1088456445 4247072267 2546337088 3952182806 1963974394 3058229182 3631139065 1639467561 412073603 65752860 3449646145 1025096830 468950021 2546832519 2422955565 386949994 1479534125 781753983 637456554 804791560 2851421959 2959970593 2334482922 4144026277 2758012282 771985327 2259374406 2615924936 172299210 554084835 2364385337 2731448669 3876358367 3599699097 4287701481 2239455089 1626324554 610540022 611560688 1197407494 463819606 4098528205 127093610 806684894 2070094397 4135598433 1990032631 3315515508 2706335342 36866000 1182086503 2019030021 3793273050 339310146 1471960035 3546546594 92830854 1430587249 454444027 2358604774 2182380262 180477246 3279945948 181476974 3443863006 1904779314 3533661939 255 362436" option to reproduce the execution 0.00/0.08 c #vars 8959 0.00/0.08 c #constraints 323 0.08/0.19 c BCD2: Hardening is enabled. 0.08/0.19 c BCD2: BiasedSearch is enabled. 0.08/0.19 c Solving starts ... 0.08/0.19 c ============================[ Search Statistics ]============================ 0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.19 c | | | | Limit GC | Var | Constra 0.08/0.19 c ============================================================================= 0.08/0.19 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 0 0.19/0.20 c 0.0s | 0 | 305 | 0 | 3105 0 | 4628 | 0 0.19/0.20 c #cpu_time = 0.012s 0.19/0.20 c #wall_clock_time = 0.012s 0.19/0.20 c #decision = 305 0.19/0.20 c #random_decision = 1 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 o 307 0.19/0.23 c BCD2: hardening fixes 522 literals 0.19/0.23 c BCD2: updating upper bound: 531501 -> 306 0.19/0.24 c BCD2: 0 <= obj <= 306 0.19/0.24 c BCD2: #cores=0, #unrelaxed=8437, #relaxed=0, #hardened=522 0.19/0.24 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 0 0.19/0.25 c 0.0s | 0 | 35 | 1 | 3105 0 | 4628 | 0 0.19/0.25 c #cpu_time = 0.005s 0.19/0.25 c #wall_clock_time = 0.005s 0.19/0.25 c #decision = 35 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 17: cost of the new core is >=1 0.19/0.25 c lower bound updated to 1 0.19/0.25 c BCD2: hardening fixes 26 literals 0.19/0.25 c BCD2: 1 <= obj <= 306 0.19/0.25 c BCD2: #cores=1, #unrelaxed=8394, #relaxed=17, #hardened=548 0.19/0.25 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 0 0.19/0.26 c 0.0s | 0 | 37 | 1 | 3105 0 | 4628 | 0 0.19/0.26 c #cpu_time = 0.005s 0.19/0.26 c #wall_clock_time = 0.005s 0.19/0.26 c #decision = 37 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 17: cost of the new core is >=1 0.19/0.26 c lower bound updated to 2 0.19/0.26 c BCD2: 2 <= obj <= 306 0.19/0.26 c BCD2: #cores=2, #unrelaxed=8377, #relaxed=34, #hardened=548 0.19/0.26 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 3105 0 | 4628 | 0 0.19/0.27 c 0.0s | 0 | 40 | 1 | 3105 0 | 4628 | 0 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 40 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 17: cost of the new core is >=1 0.19/0.27 c lower bound updated to 3 0.19/0.27 c BCD2: 3 <= obj <= 306 0.19/0.27 c BCD2: #cores=3, #unrelaxed=8360, #relaxed=51, #hardened=548 0.19/0.27 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 3105 0 | 4628 | 0 0.19/0.28 c 0.0s | 0 | 48 | 1 | 3105 0 | 4628 | 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 = 48 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 17: cost of the new core is >=1 0.19/0.28 c lower bound updated to 4 0.19/0.28 c BCD2: 4 <= obj <= 306 0.19/0.28 c BCD2: #cores=4, #unrelaxed=8343, #relaxed=68, #hardened=548 0.19/0.28 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 3105 0 | 4628 | 0 0.19/0.28 c 0.0s | 0 | 51 | 1 | 3105 0 | 4628 | 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 = 51 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 17: cost of the new core is >=1 0.19/0.28 c lower bound updated to 5 0.19/0.29 c BCD2: 5 <= obj <= 306 0.19/0.29 c BCD2: #cores=5, #unrelaxed=8326, #relaxed=85, #hardened=548 0.19/0.29 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 3105 0 | 4628 | 0 0.19/0.29 c 0.0s | 0 | 54 | 1 | 3105 0 | 4628 | 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 = 54 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 17: cost of the new core is >=1 0.19/0.29 c lower bound updated to 6 0.19/0.30 c BCD2: 6 <= obj <= 306 0.19/0.30 c BCD2: #cores=6, #unrelaxed=8309, #relaxed=102, #hardened=548 0.19/0.30 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.30 c Solving starts ... 0.19/0.30 c ============================[ Search Statistics ]============================ 0.19/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.30 c | | | | Limit GC | Var | Constra 0.19/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 0 0.29/0.30 c 0.0s | 0 | 56 | 1 | 3105 0 | 4628 | 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 = 56 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 17: cost of the new core is >=1 0.29/0.30 c lower bound updated to 7 0.29/0.30 c BCD2: 7 <= obj <= 306 0.29/0.30 c BCD2: #cores=7, #unrelaxed=8292, #relaxed=119, #hardened=548 0.29/0.30 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 3105 0 | 4628 | 0 0.29/0.31 c 0.0s | 0 | 59 | 1 | 3105 0 | 4628 | 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 = 59 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 17: cost of the new core is >=1 0.29/0.31 c lower bound updated to 8 0.29/0.31 c BCD2: 8 <= obj <= 306 0.29/0.31 c BCD2: #cores=8, #unrelaxed=8275, #relaxed=136, #hardened=548 0.29/0.31 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 3105 0 | 4628 | 0 0.29/0.32 c 0.0s | 0 | 63 | 1 | 3105 0 | 4628 | 0 0.29/0.32 c #cpu_time = 0.005s 0.29/0.32 c #wall_clock_time = 0.005s 0.29/0.32 c #decision = 63 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 17: cost of the new core is >=1 0.29/0.32 c lower bound updated to 9 0.29/0.32 c BCD2: 9 <= obj <= 306 0.29/0.32 c BCD2: #cores=9, #unrelaxed=8258, #relaxed=153, #hardened=548 0.29/0.32 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 3105 0 | 4628 | 0 0.29/0.33 c 0.0s | 0 | 65 | 1 | 3105 0 | 4628 | 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 = 65 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 17: cost of the new core is >=1 0.29/0.33 c lower bound updated to 10 0.29/0.33 c BCD2: 10 <= obj <= 306 0.29/0.33 c BCD2: #cores=10, #unrelaxed=8241, #relaxed=170, #hardened=548 0.29/0.33 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 3105 0 | 4628 | 0 0.29/0.33 c 0.0s | 0 | 50 | 1 | 3105 0 | 4628 | 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 = 50 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.34 c BCD2: found a new core of size 17: cost of the new core is >=1 0.29/0.34 c lower bound updated to 11 0.29/0.34 c BCD2: 11 <= obj <= 306 0.29/0.34 c BCD2: #cores=11, #unrelaxed=8224, #relaxed=187, #hardened=548 0.29/0.34 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 3105 0 | 4628 | 0 0.29/0.34 c 0.0s | 0 | 52 | 1 | 3105 0 | 4628 | 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 = 52 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 17: cost of the new core is >=1 0.29/0.34 c lower bound updated to 12 0.29/0.35 c BCD2: 12 <= obj <= 306 0.29/0.35 c BCD2: #cores=12, #unrelaxed=8207, #relaxed=204, #hardened=548 0.29/0.35 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 3105 0 | 4628 | 0 0.29/0.35 c 0.0s | 0 | 55 | 1 | 3105 0 | 4628 | 0 0.29/0.35 c #cpu_time = 0.005s 0.29/0.35 c #wall_clock_time = 0.005s 0.29/0.35 c #decision = 55 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 1 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 17: cost of the new core is >=1 0.29/0.35 c lower bound updated to 13 0.29/0.35 c BCD2: 13 <= obj <= 306 0.29/0.35 c BCD2: #cores=13, #unrelaxed=8190, #relaxed=221, #hardened=548 0.29/0.35 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 3105 0 | 4628 | 0 0.29/0.36 c 0.0s | 0 | 59 | 1 | 3105 0 | 4628 | 0 0.29/0.36 c #cpu_time = 0.005s 0.29/0.36 c #wall_clock_time = 0.005s 0.29/0.36 c #decision = 59 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 1 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 17: cost of the new core is >=1 0.29/0.36 c lower bound updated to 14 0.29/0.36 c BCD2: 14 <= obj <= 306 0.29/0.36 c BCD2: #cores=14, #unrelaxed=8173, #relaxed=238, #hardened=548 0.29/0.36 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 3105 0 | 4628 | 0 0.29/0.37 c 0.0s | 0 | 60 | 1 | 3105 0 | 4628 | 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 = 60 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 1 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 17: cost of the new core is >=1 0.29/0.37 c lower bound updated to 15 0.29/0.39 c BCD2: 15 <= obj <= 306 0.29/0.39 c BCD2: #cores=15, #unrelaxed=8156, #relaxed=255, #hardened=548 0.29/0.39 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 3105 0 | 4628 | 0 0.29/0.40 c 0.0s | 0 | 46 | 1 | 3105 0 | 4628 | 0 0.29/0.40 c #cpu_time = 0.005s 0.29/0.40 c #wall_clock_time = 0.005s 0.29/0.40 c #decision = 46 0.29/0.40 c #random_decision = 0 0.29/0.40 c #conflict = 1 0.29/0.40 c #restart = 0 0.29/0.40 c BCD2: found a new core of size 17: cost of the new core is >=1 0.29/0.40 c lower bound updated to 16 0.39/0.40 c BCD2: 16 <= obj <= 306 0.39/0.40 c BCD2: #cores=16, #unrelaxed=8139, #relaxed=272, #hardened=548 0.39/0.40 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 3105 0 | 4628 | 0 0.39/0.40 c 0.0s | 0 | 33 | 1 | 3105 0 | 4628 | 0 0.39/0.40 c #cpu_time = 0.005s 0.39/0.40 c #wall_clock_time = 0.005s 0.39/0.40 c #decision = 33 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 1 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 17: cost of the new core is >=1 0.39/0.40 c lower bound updated to 17 0.39/0.41 c BCD2: 17 <= obj <= 306 0.39/0.41 c BCD2: #cores=17, #unrelaxed=8122, #relaxed=289, #hardened=548 0.39/0.41 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 3105 0 | 4628 | 0 0.39/0.41 c 0.0s | 0 | 518 | 0 | 3105 0 | 4628 | 0 0.39/0.41 c #cpu_time = 0.005s 0.39/0.41 c #wall_clock_time = 0.005s 0.39/0.41 c #decision = 518 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 245: cost of the new core is >=1 0.39/0.41 c lower bound updated to 18 0.39/0.42 c BCD2: 18 <= obj <= 306 0.39/0.42 c BCD2: #cores=18, #unrelaxed=7877, #relaxed=534, #hardened=548 0.39/0.42 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 3105 0 | 4628 | 1 0.39/0.42 c 0.0s | 0 | 533 | 0 | 3105 0 | 4628 | 1 0.39/0.42 c #cpu_time = 0.006s 0.39/0.42 c #wall_clock_time = 0.006s 0.39/0.42 c #decision = 533 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 245: cost of the new core is >=1 0.39/0.42 c lower bound updated to 19 0.39/0.43 c BCD2: 19 <= obj <= 306 0.39/0.43 c BCD2: #cores=19, #unrelaxed=7632, #relaxed=779, #hardened=548 0.39/0.43 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 3105 0 | 4628 | 2 0.39/0.43 c 0.0s | 0 | 562 | 0 | 3105 0 | 4628 | 2 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 = 562 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 245: cost of the new core is >=1 0.39/0.43 c lower bound updated to 20 0.39/0.44 c BCD2: 20 <= obj <= 306 0.39/0.44 c BCD2: #cores=20, #unrelaxed=7387, #relaxed=1024, #hardened=548 0.39/0.44 c BCD2: #sat=1 #unsat=21 bias=21/22 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 3 0.39/0.45 c 0.0s | 0 | 656 | 14 | 3105 0 | 4628 | 3 0.39/0.45 c #cpu_time = 0.011s 0.39/0.45 c #wall_clock_time = 0.011s 0.39/0.45 c #decision = 656 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 14 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 232: cost of the new core is >=1 0.39/0.45 c lower bound updated to 21 0.39/0.45 c BCD2: 21 <= obj <= 306 0.39/0.45 c BCD2: #cores=21, #unrelaxed=7155, #relaxed=1256, #hardened=548 0.39/0.45 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 3105 0 | 4628 | 3 0.39/0.46 c 0.0s | 0 | 697 | 0 | 3105 0 | 4628 | 3 0.39/0.46 c #cpu_time = 0.005s 0.39/0.46 c #wall_clock_time = 0.005s 0.39/0.46 c #decision = 697 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 245: cost of the new core is >=1 0.39/0.46 c lower bound updated to 22 0.39/0.46 c BCD2: 22 <= obj <= 306 0.39/0.46 c BCD2: #cores=22, #unrelaxed=6910, #relaxed=1501, #hardened=548 0.39/0.46 c BCD2: #sat=1 #unsat=23 bias=23/24 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 4 0.39/0.47 c 0.0s | 0 | 713 | 0 | 3105 0 | 4628 | 4 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 = 713 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 234: cost of the new core is >=1 0.39/0.47 c lower bound updated to 23 0.39/0.47 c BCD2: 23 <= obj <= 306 0.39/0.47 c BCD2: #cores=23, #unrelaxed=6676, #relaxed=1735, #hardened=548 0.39/0.47 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 3105 0 | 4628 | 5 0.39/0.48 c 0.0s | 0 | 727 | 0 | 3105 0 | 4628 | 5 0.39/0.48 c #cpu_time = 0.005s 0.39/0.48 c #wall_clock_time = 0.005s 0.39/0.48 c #decision = 727 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 234: cost of the new core is >=1 0.39/0.48 c lower bound updated to 24 0.39/0.48 c BCD2: 24 <= obj <= 306 0.39/0.48 c BCD2: #cores=24, #unrelaxed=6442, #relaxed=1969, #hardened=548 0.39/0.48 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 3105 0 | 4628 | 6 0.39/0.49 c 0.0s | 0 | 765 | 0 | 3105 0 | 4628 | 6 0.39/0.49 c #cpu_time = 0.005s 0.39/0.49 c #wall_clock_time = 0.005s 0.39/0.49 c #decision = 765 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 245: cost of the new core is >=1 0.39/0.49 c lower bound updated to 25 0.39/0.49 c BCD2: 25 <= obj <= 306 0.39/0.49 c BCD2: #cores=25, #unrelaxed=6197, #relaxed=2214, #hardened=548 0.39/0.49 c BCD2: #sat=1 #unsat=26 bias=26/27 0.39/0.50 c Solving starts ... 0.39/0.50 c ============================[ Search Statistics ]============================ 0.39/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.50 c | | | | Limit GC | Var | Constra 0.39/0.50 c ============================================================================= 0.39/0.50 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 7 0.49/0.50 c 0.0s | 0 | 794 | 0 | 3105 0 | 4628 | 7 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 = 794 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 234: cost of the new core is >=1 0.49/0.50 c lower bound updated to 26 0.49/0.51 c BCD2: 26 <= obj <= 306 0.49/0.51 c BCD2: #cores=26, #unrelaxed=5963, #relaxed=2448, #hardened=548 0.49/0.51 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 3105 0 | 4628 | 8 0.49/0.52 c 0.0s | 0 | 2607 | 14 | 3105 0 | 4628 | 8 0.49/0.52 c #cpu_time = 0.012s 0.49/0.52 c #wall_clock_time = 0.012s 0.49/0.52 c #decision = 2607 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 14 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 428: cost of the new core is >=1 0.49/0.52 c lower bound updated to 27 0.49/0.52 c BCD2: 27 <= obj <= 306 0.49/0.52 c BCD2: #cores=27, #unrelaxed=5535, #relaxed=2876, #hardened=548 0.49/0.52 c BCD2: #sat=1 #unsat=28 bias=28/29 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 8 0.49/0.53 c 0.0s | 0 | 629 | 0 | 3105 0 | 4628 | 8 0.49/0.53 c #cpu_time = 0.007s 0.49/0.53 c #wall_clock_time = 0.007s 0.49/0.53 c #decision = 629 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 221: cost of the new core is >=1 0.49/0.53 c lower bound updated to 28 0.49/0.54 c BCD2: 28 <= obj <= 306 0.49/0.54 c BCD2: #cores=28, #unrelaxed=5314, #relaxed=3097, #hardened=548 0.49/0.54 c BCD2: #sat=1 #unsat=29 bias=29/30 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 9 0.49/0.54 c 0.0s | 0 | 658 | 0 | 3105 0 | 4628 | 9 0.49/0.54 c #cpu_time = 0.006s 0.49/0.54 c #wall_clock_time = 0.006s 0.49/0.54 c #decision = 658 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 221: cost of the new core is >=1 0.49/0.54 c lower bound updated to 29 0.49/0.55 c BCD2: 29 <= obj <= 306 0.49/0.55 c BCD2: #cores=29, #unrelaxed=5093, #relaxed=3318, #hardened=548 0.49/0.55 c BCD2: #sat=1 #unsat=30 bias=30/31 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 10 0.49/0.55 c 0.0s | 0 | 711 | 0 | 3105 0 | 4628 | 10 0.49/0.55 c #cpu_time = 0.006s 0.49/0.55 c #wall_clock_time = 0.006s 0.49/0.55 c #decision = 711 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 245: cost of the new core is >=1 0.49/0.55 c lower bound updated to 30 0.49/0.56 c BCD2: 30 <= obj <= 306 0.49/0.56 c BCD2: #cores=30, #unrelaxed=4848, #relaxed=3563, #hardened=548 0.49/0.56 c BCD2: #sat=1 #unsat=31 bias=31/32 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 11 0.49/0.57 c 0.0s | 0 | 725 | 0 | 3105 0 | 4628 | 11 0.49/0.57 c #cpu_time = 0.006s 0.49/0.57 c #wall_clock_time = 0.006s 0.49/0.57 c #decision = 725 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 245: cost of the new core is >=1 0.49/0.57 c lower bound updated to 31 0.49/0.57 c BCD2: 31 <= obj <= 306 0.49/0.57 c BCD2: #cores=31, #unrelaxed=4603, #relaxed=3808, #hardened=548 0.49/0.57 c BCD2: #sat=1 #unsat=32 bias=32/33 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 12 0.49/0.58 c 0.0s | 0 | 512 | 0 | 3105 0 | 4628 | 12 0.49/0.58 c #cpu_time = 0.006s 0.49/0.58 c #wall_clock_time = 0.006s 0.49/0.58 c #decision = 512 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 247: cost of the new core is >=1 0.49/0.58 c lower bound updated to 32 0.49/0.58 c BCD2: 32 <= obj <= 306 0.49/0.58 c BCD2: #cores=32, #unrelaxed=4356, #relaxed=4055, #hardened=548 0.49/0.58 c BCD2: #sat=1 #unsat=33 bias=33/34 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 13 0.49/0.59 c 0.0s | 0 | 307 | 0 | 3105 0 | 4628 | 13 0.49/0.59 c #cpu_time = 0.006s 0.49/0.59 c #wall_clock_time = 0.006s 0.49/0.59 c #decision = 307 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 234: cost of the new core is >=1 0.49/0.59 c lower bound updated to 33 0.49/0.59 c BCD2: 33 <= obj <= 306 0.49/0.59 c BCD2: #cores=33, #unrelaxed=4122, #relaxed=4289, #hardened=548 0.49/0.59 c BCD2: #sat=1 #unsat=34 bias=34/35 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 3105 0 | 4628 | 14 0.89/0.97 c 0.4s | 1 | 12912 | 100 | 3416 0 | 4628 | 14 1.79/1.88 c 1.3s | 2 | 28158 | 250 | 3758 0 | 4628 | 14 2.79/2.83 c 2.2s | 3 | 35378 | 475 | 4134 0 | 4628 | 14 3.49/3.57 c 3.0s | 4 | 38608 | 813 | 4548 0 | 4628 | 14 4.09/4.16 c 3.6s | 5 | 42850 | 1320 | 5003 0 | 4628 | 14 4.19/4.23 c 3.6s | 5 | 43126 | 1388 | 5003 0 | 4628 | 14 4.19/4.23 c #cpu_time = 3.629s 4.19/4.23 c #wall_clock_time = 3.638s 4.19/4.23 c #decision = 43126 4.19/4.23 c #random_decision = 235 4.19/4.23 c #conflict = 1388 4.19/4.23 c #restart = 5 4.19/4.23 c BCD2: relaxing 27 and merging with 1 cores into a new core of size 455: cost of the new core is >=2 4.19/4.23 c lower bound updated to 34 4.19/4.24 c BCD2: 34 <= obj <= 306 4.19/4.24 c BCD2: #cores=33, #unrelaxed=4095, #relaxed=4316, #hardened=548 4.19/4.24 c BCD2: #sat=1 #unsat=35 bias=35/36 4.19/4.24 c Solving starts ... 4.19/4.24 c ============================[ Search Statistics ]============================ 4.19/4.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.24 c | | | | Limit GC | Var | Constra 4.19/4.24 c ============================================================================= 4.19/4.24 c 0.0s | 0 | 0 | 0 | 5003 0 | 4629 | 14 4.29/4.36 c 0.1s | 1 | 516 | 100 | 5003 0 | 4629 | 15 4.49/4.55 c 0.3s | 2 | 795 | 250 | 5003 0 | 4629 | 15 4.49/4.59 c 0.3s | 2 | 913 | 321 | 5003 0 | 4629 | 15 4.49/4.59 c #cpu_time = 0.345s 4.49/4.59 c #wall_clock_time = 0.346s 4.49/4.59 c #decision = 913 4.49/4.59 c #random_decision = 3 4.49/4.59 c #conflict = 321 4.49/4.59 c #restart = 2 4.79/4.82 c BCD2: relaxing 15 and merging with 1 cores into a new core of size 247: cost of the new core is >=2 4.79/4.82 c lower bound updated to 35 4.79/4.82 c BCD2: 35 <= obj <= 306 4.79/4.82 c BCD2: #cores=33, #unrelaxed=4080, #relaxed=4331, #hardened=548 4.79/4.82 c BCD2: #sat=1 #unsat=36 bias=36/37 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 16 4.79/4.82 c 0.0s | 0 | 2048 | 0 | 5003 0 | 4630 | 17 4.79/4.82 c #cpu_time = 0.025s 4.79/4.82 c #wall_clock_time = 0.026s 4.79/4.82 c #decision = 2048 4.79/4.82 c #random_decision = 6 4.79/4.82 c #conflict = 0 4.79/4.82 c #restart = 0 4.79/4.82 o 91 4.79/4.82 c BCD2: hardening fixes 629 literals 4.79/4.82 c BCD2: updating upper bound: 306 -> 90 4.79/4.82 c BCD2: 35 <= obj <= 90 4.79/4.82 c BCD2: #cores=33, #unrelaxed=3451, #relaxed=4331, #hardened=1177 4.79/4.82 c BCD2: #sat=2 #unsat=36 bias=36/38 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 18 4.79/4.82 c 0.1s | 0 | 801 | 27 | 5003 0 | 4630 | 18 4.79/4.82 c #cpu_time = 0.056s 4.79/4.82 c #wall_clock_time = 0.056s 4.79/4.82 c #decision = 801 4.79/4.82 c #random_decision = 2 4.79/4.82 c #conflict = 27 4.79/4.82 c #restart = 0 4.79/4.82 o 74 4.79/4.82 c BCD2: hardening fixes 238 literals 4.79/4.82 c BCD2: updating upper bound: 90 -> 73 4.79/4.82 c BCD2: 35 <= obj <= 73 4.79/4.82 c BCD2: #cores=33, #unrelaxed=3213, #relaxed=4331, #hardened=1415 4.79/4.82 c BCD2: #sat=3 #unsat=36 bias=36/39 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 19 4.79/4.82 c 0.0s | 0 | 187 | 0 | 5003 0 | 4630 | 19 4.79/4.82 c #cpu_time = 0.017s 4.79/4.82 c #wall_clock_time = 0.017s 4.79/4.82 c #decision = 187 4.79/4.82 c #random_decision = 1 4.79/4.82 c #conflict = 0 4.79/4.82 c #restart = 0 4.79/4.82 o 71 4.79/4.82 c BCD2: updating upper bound: 73 -> 70 4.79/4.82 c BCD2: 35 <= obj <= 70 4.79/4.82 c BCD2: #cores=33, #unrelaxed=3213, #relaxed=4331, #hardened=1415 4.79/4.82 c BCD2: #sat=4 #unsat=36 bias=36/40 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 20 4.79/4.82 c 0.0s | 0 | 261 | 0 | 5003 0 | 4630 | 20 4.79/4.82 c #cpu_time = 0.017s 4.79/4.82 c #wall_clock_time = 0.018s 4.79/4.82 c #decision = 261 4.79/4.82 c #random_decision = 0 4.79/4.82 c #conflict = 0 4.79/4.82 c #restart = 0 4.79/4.82 o 65 4.79/4.82 c BCD2: hardening fixes 51 literals 4.79/4.82 c BCD2: updating upper bound: 70 -> 64 4.79/4.82 c BCD2: 35 <= obj <= 64 4.79/4.82 c BCD2: #cores=33, #unrelaxed=3162, #relaxed=4331, #hardened=1466 4.79/4.82 c BCD2: #sat=5 #unsat=36 bias=36/41 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.79/4.82 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 21 4.79/4.82 c 0.0s | 0 | 208 | 0 | 5003 0 | 4630 | 21 4.79/4.82 c #cpu_time = 0.015s 4.79/4.82 c #wall_clock_time = 0.015s 4.79/4.82 c #decision = 208 4.79/4.82 c #random_decision = 0 4.79/4.82 c #conflict = 0 4.79/4.82 c #restart = 0 4.79/4.82 o 59 4.79/4.82 c BCD2: hardening fixes 83 literals 4.79/4.82 c BCD2: updating upper bound: 64 -> 58 4.79/4.83 c BCD2: 35 <= obj <= 58 4.79/4.83 c BCD2: #cores=33, #unrelaxed=3079, #relaxed=4331, #hardened=1549 4.79/4.83 c BCD2: #sat=6 #unsat=36 bias=36/42 4.79/4.83 c Solving starts ... 4.79/4.83 c ============================[ Search Statistics ]============================ 4.79/4.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.83 c | | | | Limit GC | Var | Constra 4.79/4.83 c ============================================================================= 4.79/4.83 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 22 4.79/4.84 c 0.0s | 0 | 269 | 0 | 5003 0 | 4630 | 22 4.79/4.84 c #cpu_time = 0.015s 4.79/4.84 c #wall_clock_time = 0.015s 4.79/4.84 c #decision = 269 4.79/4.84 c #random_decision = 0 4.79/4.84 c #conflict = 0 4.79/4.84 c #restart = 0 4.79/4.85 o 53 4.79/4.85 c BCD2: hardening fixes 155 literals 4.79/4.85 c BCD2: updating upper bound: 58 -> 52 4.79/4.86 c BCD2: 35 <= obj <= 52 4.79/4.86 c BCD2: #cores=33, #unrelaxed=2924, #relaxed=4331, #hardened=1704 4.79/4.86 c BCD2: #sat=7 #unsat=36 bias=36/43 4.79/4.86 c Solving starts ... 4.79/4.86 c ============================[ Search Statistics ]============================ 4.79/4.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.86 c | | | | Limit GC | Var | Constra 4.79/4.86 c ============================================================================= 4.79/4.86 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 23 4.79/4.88 c 0.0s | 0 | 208 | 0 | 5003 0 | 4630 | 23 4.79/4.88 c #cpu_time = 0.015s 4.79/4.88 c #wall_clock_time = 0.015s 4.79/4.88 c #decision = 208 4.79/4.88 c #random_decision = 0 4.79/4.88 c #conflict = 0 4.79/4.88 c #restart = 0 4.79/4.88 o 50 4.79/4.89 c BCD2: hardening fixes 51 literals 4.79/4.89 c BCD2: updating upper bound: 52 -> 49 4.88/4.92 c BCD2: 35 <= obj <= 49 4.88/4.92 c BCD2: #cores=33, #unrelaxed=2873, #relaxed=4331, #hardened=1755 4.88/4.92 c BCD2: #sat=8 #unsat=36 bias=36/44 4.88/4.92 c Solving starts ... 4.88/4.92 c ============================[ Search Statistics ]============================ 4.88/4.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.88/4.92 c | | | | Limit GC | Var | Constra 4.88/4.92 c ============================================================================= 4.88/4.92 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 24 4.88/4.94 c 0.0s | 0 | 272 | 0 | 5003 0 | 4630 | 24 4.88/4.94 c #cpu_time = 0.015s 4.88/4.94 c #wall_clock_time = 0.015s 4.88/4.94 c #decision = 272 4.88/4.94 c #random_decision = 0 4.88/4.94 c #conflict = 0 4.88/4.94 c #restart = 0 4.88/4.94 o 47 4.88/4.95 c BCD2: hardening fixes 83 literals 4.88/4.95 c BCD2: updating upper bound: 49 -> 46 4.88/4.96 c BCD2: 35 <= obj <= 46 4.88/4.96 c BCD2: #cores=33, #unrelaxed=2790, #relaxed=4331, #hardened=1838 4.88/4.96 c BCD2: #sat=9 #unsat=36 bias=36/45 4.88/4.96 c Solving starts ... 4.88/4.96 c ============================[ Search Statistics ]============================ 4.88/4.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.88/4.96 c | | | | Limit GC | Var | Constra 4.88/4.96 c ============================================================================= 4.88/4.96 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 25 4.88/4.98 c 0.0s | 0 | 204 | 0 | 5003 0 | 4630 | 25 4.88/4.98 c #cpu_time = 0.015s 4.88/4.98 c #wall_clock_time = 0.015s 4.88/4.98 c #decision = 204 4.88/4.98 c #random_decision = 0 4.88/4.98 c #conflict = 0 4.88/4.98 c #restart = 0 4.88/4.98 o 44 4.88/4.98 c BCD2: hardening fixes 206 literals 4.88/4.98 c BCD2: updating upper bound: 46 -> 43 4.88/5.00 c BCD2: 35 <= obj <= 43 4.88/5.00 c BCD2: #cores=33, #unrelaxed=2584, #relaxed=4331, #hardened=2044 4.88/5.00 c BCD2: #sat=10 #unsat=36 bias=36/46 4.98/5.00 c Solving starts ... 4.98/5.00 c ============================[ Search Statistics ]============================ 4.98/5.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.98/5.00 c | | | | Limit GC | Var | Constra 4.98/5.00 c ============================================================================= 4.98/5.00 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 26 4.98/5.01 c 0.0s | 0 | 252 | 0 | 5003 0 | 4630 | 26 4.98/5.01 c #cpu_time = 0.015s 4.98/5.01 c #wall_clock_time = 0.015s 4.98/5.01 c #decision = 252 4.98/5.01 c #random_decision = 0 4.98/5.01 c #conflict = 0 4.98/5.01 c #restart = 0 4.98/5.01 o 41 4.98/5.02 c BCD2: hardening fixes 212 literals 4.98/5.02 c BCD2: updating upper bound: 43 -> 40 4.98/5.03 c BCD2: 35 <= obj <= 40 4.98/5.03 c BCD2: #cores=33, #unrelaxed=2372, #relaxed=4331, #hardened=2256 4.98/5.03 c BCD2: #sat=11 #unsat=36 bias=36/47 4.98/5.03 c Solving starts ... 4.98/5.03 c ============================[ Search Statistics ]============================ 4.98/5.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.98/5.03 c | | | | Limit GC | Var | Constra 4.98/5.03 c ============================================================================= 4.98/5.03 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 27 4.98/5.05 c 0.0s | 0 | 203 | 0 | 5003 0 | 4630 | 27 4.98/5.05 c #cpu_time = 0.015s 4.98/5.05 c #wall_clock_time = 0.015s 4.98/5.05 c #decision = 203 4.98/5.05 c #random_decision = 0 4.98/5.05 c #conflict = 0 4.98/5.05 c #restart = 0 4.98/5.05 o 38 4.98/5.06 c BCD2: hardening fixes 366 literals 4.98/5.06 c BCD2: updating upper bound: 40 -> 37 4.98/5.07 c BCD2: 35 <= obj <= 37 4.98/5.07 c BCD2: #cores=33, #unrelaxed=2006, #relaxed=4331, #hardened=2622 4.98/5.07 c BCD2: #sat=12 #unsat=36 bias=36/48 4.98/5.07 c Solving starts ... 4.98/5.07 c ============================[ Search Statistics ]============================ 4.98/5.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.98/5.07 c | | | | Limit GC | Var | Constra 4.98/5.07 c ============================================================================= 4.98/5.07 c 0.0s | 0 | 0 | 0 | 5003 0 | 4630 | 28 5.08/5.17 c 0.1s | 1 | 353 | 100 | 5003 0 | 4630 | 28 5.18/5.25 c 0.2s | 1 | 1427 | 190 | 5003 0 | 4630 | 28 5.18/5.25 c #cpu_time = 0.178s 5.18/5.25 c #wall_clock_time = 0.179s 5.18/5.25 c #decision = 1427 5.18/5.25 c #random_decision = 4 5.18/5.25 c #conflict = 190 5.18/5.25 c #restart = 1 5.18/5.25 o 35 5.18/5.26 s OPTIMUM FOUND 5.18/5.26 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 5.18/5.26 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 5.18/5.26 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 5.18/5.26 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 5.18/5.26 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 5.18/5.26 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 5.18/5.26 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 5.18/5.26 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 5.18/5.26 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 5.18/5.26 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 5.18/5.26 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 5.18/5.26 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 5.18/5.26 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 5.18/5.26 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 5.18/5.26 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 5.18/5.26 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 5.18/5.26 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 5.18/5.26 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 5.18/5.26 v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 5.18/5.26 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 5.18/5.26 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 5.18/5.26 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 5.18/5.26 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 5.18/5.26 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 5.18/5.26 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 5.18/5.26 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 5.18/5.26 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 5.18/5.26 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 5.18/5.26 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 5.18/5.26 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 5.18/5.26 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 5.18/5.26 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 5.18/5.26 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 5.18/5.26 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 5.18/5.26 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 5.18/5.26 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 5.18/5.26 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 5.18/5.26 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 5.18/5.26 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 5.18/5.26 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 5.18/5.26 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 5.18/5.26 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 5.18/5.26 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 5.18/5.26 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 5.18/5.26 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 5.18/5.26 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 5.18/5.26 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 5.18/5.26 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 5.18/5.26 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 5.18/5.26 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 5.18/5.26 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 5.18/5.26 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 5.18/5.26 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 5.18/5.26 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 5.18/5.26 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 5.18/5.26 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 5.18/5.26 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 5.18/5.26 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 5.18/5.26 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 5.18/5.26 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 5.18/5.26 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 5.18/5.26 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 5.18/5.26 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 5.18/5.26 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 5.18/5.26 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 5.18/5.26 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 5.18/5.26 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 5.18/5.26 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 5.18/5.26 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 5.18/5.26 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 5.18/5.26 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 5.18/5.26 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 5.18/5.26 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 5.18/5.26 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 5.18/5.26 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 5.18/5.26 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 5.18/5.26 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 5.18/5.26 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 5.18/5.26 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 5.18/5.26 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 5.18/5.26 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 5.18/5.26 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 5.18/5.26 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 5.18/5.26 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 5.18/5.26 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 5.18/5.26 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 5.18/5.26 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 5.18/5.26 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 5.18/5.26 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 5.18/5.26 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 5.18/5.26 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 5.18/5.26 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 5.18/5.26 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 5.18/5.26 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 5.18/5.26 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 5.18/5.26 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 5.18/5.26 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 5.18/5.26 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 5.18/5.26 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 5.18/5.26 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 5.18/5.26 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 5.18/5.26 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 5.18/5.26 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 5.18/5.26 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 5.18/5.26 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 5.18/5.26 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 5.18/5.26 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 5.18/5.26 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 5.18/5.26 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 5.18/5.26 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 5.18/5.26 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 5.18/5.26 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 5.18/5.26 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 5.18/5.26 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 5.18/5.26 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 5.18/5.26 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 5.18/5.26 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 5.18/5.26 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 5.18/5.26 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 5.18/5.26 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 5.18/5.26 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 5.18/5.26 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 5.18/5.26 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 5.18/5.26 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 5.18/5.26 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 5.18/5.26 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 5.18/5.26 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 5.18/5.26 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 5.18/5.26 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 5.18/5.26 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 5.18/5.26 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 5.18/5.26 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 5.18/5.26 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 5.18/5.26 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 5.18/5.26 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 5.18/5.26 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 5.18/5.26 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 5.18/5.26 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 5.18/5.26 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 5.18/5.26 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 5.18/5.26 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 5.18/5.26 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 5.18/5.26 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 5.18/5.26 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 5.18/5.26 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 5.18/5.26 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 5.18/5.26 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 5.18/5.26 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 5.18/5.26 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 5.18/5.26 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 5.18/5.26 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 5.18/5.26 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 5.18/5.26 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 5.18/5.26 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 5.18/5.26 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 5.18/5.26 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 5.18/5.26 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 5.18/5.26 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 5.18/5.26 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 5.18/5.26 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 5.18/5.26 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 5.18/5.26 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 5.18/5.26 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 5.18/5.26 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 5.18/5.26 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 5.18/5.26 v -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 5.18/5.26 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 5.18/5.26 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 5.18/5.26 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 5.18/5.26 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 5.18/5.26 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 5.18/5.26 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 5.18/5.26 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 5.18/5.26 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 5.18/5.26 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 5.18/5.26 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 5.18/5.26 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 5.18/5.26 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 5.18/5.26 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 5.18/5.26 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 5.18/5.26 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 5.18/5.26 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 5.18/5.26 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 5.18/5.26 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 5.18/5.26 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 5.18/5.26 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 5.18/5.26 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 5.18/5.26 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 5.18/5.26 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 5.18/5.26 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 5.18/5.26 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 5.18/5.26 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 5.18/5.26 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 5.18/5.26 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 5.18/5.26 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 5.18/5.26 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 5.18/5.26 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 5.18/5.26 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 5.18/5.26 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 5.18/5.26 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 5.18/5.26 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 5.18/5.26 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 5.18/5.26 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 5.18/5.26 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 5.18/5.26 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 5.18/5.26 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 5.18/5.26 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 5.18/5.26 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 5.18/5.26 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 5.18/5.26 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 5.18/5.26 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 5.18/5.26 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 5.18/5.26 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 5.18/5.26 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 5.18/5.26 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 5.18/5.26 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 5.18/5.26 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 5.18/5.26 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 5.18/5.26 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 5.18/5.26 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 5.18/5.26 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 5.18/5.26 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 5.18/5.26 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 5.18/5.26 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 5.18/5.26 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 5.18/5.26 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 5.18/5.26 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 5.18/5.26 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 5.18/5.26 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 5.18/5.26 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 5.18/5.26 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 5.18/5.26 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 5.18/5.26 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 5.18/5.26 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 5.18/5.26 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 5.18/5.26 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 5.18/5.26 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 5.18/5.26 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 5.18/5.26 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 5.18/5.26 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 5.18/5.26 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 5.18/5.26 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 5.18/5.26 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 5.18/5.26 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 5.18/5.26 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 5.18/5.26 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 5.18/5.26 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 5.18/5.26 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 5.18/5.26 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 5.18/5.26 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 5.18/5.26 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 5.18/5.26 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 5.18/5.26 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 5.18/5.26 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 5.18/5.26 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 5.18/5.26 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 5.18/5.26 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 5.18/5.26 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 5.18/5.26 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 5.18/5.26 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 5.18/5.26 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 5.18/5.26 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 5.18/5.26 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 5.18/5.26 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 5.18/5.26 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 5.18/5.26 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 5.18/5.26 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 5.18/5.26 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 5.18/5.26 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 5.18/5.26 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 5.18/5.26 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 5.18/5.26 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 5.18/5.26 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 5.18/5.26 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 5.18/5.26 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 5.18/5.26 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 5.18/5.26 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 5.18/5.26 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 5.18/5.26 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 5.18/5.26 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 5.18/5.26 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 5.18/5.26 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 5.18/5.26 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 5.18/5.26 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 5.18/5.26 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 5.18/5.26 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 5.18/5.26 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 5.18/5.26 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 5.18/5.26 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 5.18/5.26 v -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 5.18/5.26 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 5.18/5.26 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 5.18/5.26 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 5.18/5.26 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 5.18/5.26 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 5.18/5.26 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 5.18/5.26 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 5.18/5.26 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 5.18/5.26 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 5.18/5.26 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 5.18/5.26 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 5.18/5.26 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 5.18/5.26 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 5.18/5.26 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 5.18/5.26 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 5.18/5.26 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 5.18/5.26 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 5.18/5.26 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 5.18/5.26 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 5.18/5.26 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 5.18/5.26 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 5.18/5.26 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 5.18/5.26 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 5.18/5.26 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 5.18/5.26 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 5.18/5.26 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 5.18/5.26 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 5.18/5.26 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 5.18/5.26 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 5.18/5.26 v -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 5.18/5.26 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 5.18/5.26 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 5.18/5.26 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 5.18/5.26 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 5.18/5.26 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 5.18/5.26 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 5.18/5.26 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 5.18/5.26 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 5.18/5.26 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 5.18/5.26 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 5.18/5.26 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 5.18/5.26 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 5.18/5.26 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 5.18/5.26 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 5.18/5.26 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 5.18/5.26 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 5.18/5.26 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 5.18/5.26 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 5.18/5.26 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 5.18/5.26 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 5.18/5.26 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 5.18/5.26 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 5.18/5.26 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 5.18/5.26 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 5.18/5.26 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 5.18/5.26 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 5.18/5.26 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 5.18/5.26 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 5.18/5.26 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 5.18/5.26 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 5.18/5.26 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 5.18/5.26 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 5.18/5.26 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 5.18/5.26 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 5.18/5.26 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 5.18/5.26 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 5.18/5.26 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 5.18/5.26 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 5.18/5.26 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 5.18/5.26 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 5.18/5.26 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 5.18/5.26 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 5.18/5.26 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 5.18/5.26 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 5.18/5.26 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 5.18/5.26 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 5.18/5.26 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 5.18/5.26 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 5.18/5.26 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 5.18/5.26 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 5.18/5.26 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 5.18/5.26 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 5.18/5.26 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 5.18/5.26 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 5.18/5.26 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 5.18/5.26 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 5.18/5.26 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 5.18/5.26 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 5.18/5.26 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 5.18/5.26 v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 5.18/5.26 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 5.18/5.26 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 5.18/5.26 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 5.18/5.26 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 5.18/5.26 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 5.18/5.26 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 5.18/5.26 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 5.18/5.26 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 5.18/5.26 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 5.18/5.26 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 5.18/5.26 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 5.18/5.26 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 5.18/5.26 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 5.18/5.26 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 5.18/5.26 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 5.18/5.26 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 5.18/5.26 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 5.18/5.26 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 5.18/5.26 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 5.18/5.26 v -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 5.18/5.26 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 5.18/5.26 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 5.18/5.26 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 5.18/5.26 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 5.18/5.26 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 5.18/5.26 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 5.18/5.26 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 5.18/5.26 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 5.18/5.26 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 5.18/5.26 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 5.18/5.26 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 5.18/5.26 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 5.18/5.26 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 5.18/5.26 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 5.18/5.26 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 5.18/5.26 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 5.18/5.26 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 5.18/5.26 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 5.18/5.26 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 5.18/5.26 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 5.18/5.26 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 5.18/5.26 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 5.18/5.26 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 5.18/5.26 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 5.18/5.26 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 5.18/5.26 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 5.18/5.26 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 5.18/5.26 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 5.18/5.26 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 5.18/5.26 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 5.18/5.26 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 5.18/5.26 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 5.18/5.26 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 5.18/5.26 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 5.18/5.26 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 5.18/5.26 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 5.18/5.26 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 5.18/5.26 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 5.18/5.26 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 5.18/5.26 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 5.18/5.26 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 5.18/5.26 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 5.18/5.26 v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 5.18/5.26 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 5.18/5.26 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 5.18/5.26 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 5.18/5.26 v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 5.18/5.26 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 5.18/5.26 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 5.18/5.26 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 5.18/5.26 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 5.18/5.26 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 5.18/5.26 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 5.18/5.26 v -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 5.18/5.26 v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 5.18/5.26 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 5.18/5.26 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 5.18/5.26 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 5.18/5.26 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 5.18/5.26 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 5.18/5.26 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 5.18/5.26 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 5.18/5.26 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 5.18/5.26 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 5.18/5.26 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 5.18/5.26 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 5.18/5.26 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 5.18/5.26 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 5.18/5.26 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 5.18/5.26 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 5.18/5.26 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 5.18/5.26 v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 5.18/5.26 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 5.18/5.26 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 5.18/5.26 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 5.18/5.26 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 5.18/5.26 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 5.18/5.26 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 5.18/5.26 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 5.18/5.26 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 5.18/5.26 v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 5.18/5.26 v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 5.18/5.26 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 5.18/5.26 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 5.18/5.26 v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 5.18/5.26 v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 5.18/5.26 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 5.18/5.26 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 5.18/5.26 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 5.18/5.26 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 5.18/5.26 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 5.18/5.26 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 5.18/5.26 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 5.18/5.26 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 5.18/5.26 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 5.18/5.26 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 5.18/5.26 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 5.18/5.26 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 5.18/5.26 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 5.18/5.26 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 5.18/5.26 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 5.18/5.26 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 5.18/5.26 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 5.18/5.26 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 5.18/5.26 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 5.18/5.26 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 5.18/5.26 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 5.18/5.26 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 5.18/5.26 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 5.18/5.26 v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 5.18/5.26 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 5.18/5.26 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 5.18/5.26 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 5.18/5.26 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 5.18/5.26 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 5.18/5.26 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 5.18/5.26 v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 5.18/5.26 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 5.18/5.26 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 5.18/5.26 v -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 5.18/5.26 v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 5.18/5.26 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 5.18/5.26 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 5.18/5.26 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 5.18/5.26 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 5.18/5.26 v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 5.18/5.26 v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 5.18/5.26 v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 5.18/5.26 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 5.18/5.26 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 5.18/5.26 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 5.18/5.26 v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 5.18/5.26 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 5.18/5.26 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 5.18/5.26 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 5.18/5.26 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 5.18/5.26 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 5.18/5.26 v -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 5.18/5.26 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 5.18/5.26 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 5.18/5.26 v -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 5.18/5.26 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 5.18/5.26 v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 5.18/5.26 v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 5.18/5.26 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 5.18/5.26 v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 5.18/5.26 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 5.18/5.26 v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 5.18/5.26 v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 5.18/5.26 v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 5.18/5.26 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 5.18/5.26 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 5.18/5.26 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 5.18/5.26 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 5.18/5.26 v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 5.18/5.26 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 5.18/5.26 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 5.18/5.26 v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 5.18/5.26 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 5.18/5.26 v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 5.18/5.26 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 5.18/5.26 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 5.18/5.26 v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 5.18/5.26 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 5.18/5.26 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 5.18/5.26 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 5.18/5.26 v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 5.18/5.26 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 5.18/5.26 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 5.18/5.26 v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 5.18/5.26 v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 5.18/5.26 v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 5.18/5.26 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 5.18/5.26 v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 5.18/5.26 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 5.18/5.26 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 5.18/5.26 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 5.18/5.26 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 5.18/5.26 v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 5.18/5.26 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 5.18/5.26 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 5.18/5.26 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 5.18/5.26 v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 5.18/5.26 v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 5.18/5.26 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 5.18/5.26 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 5.18/5.26 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 5.18/5.26 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 5.18/5.26 v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 5.18/5.26 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 5.18/5.26 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 5.18/5.26 v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 5.18/5.26 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 5.18/5.26 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 5.18/5.26 v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 5.18/5.26 v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 5.18/5.26 v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 5.18/5.26 v -x5971 x5972 -x5973 x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 5.18/5.26 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 5.18/5.26 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 5.18/5.26 v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 5.18/5.26 v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 5.18/5.26 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 5.18/5.26 v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 5.18/5.26 v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 5.18/5.26 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 5.18/5.26 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 5.18/5.26 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 5.18/5.26 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 5.18/5.26 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 5.18/5.26 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 5.18/5.26 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 5.18/5.26 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 5.18/5.26 v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 5.18/5.26 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 5.18/5.26 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 5.18/5.26 v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 5.18/5.26 v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 5.18/5.26 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 5.18/5.26 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 5.18/5.26 v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 5.18/5.26 v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 5.18/5.26 v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 5.18/5.26 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 5.18/5.26 v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 5.18/5.26 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 5.18/5.26 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 5.18/5.26 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 5.18/5.26 v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 5.18/5.26 v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 5.18/5.26 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 5.18/5.26 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 5.18/5.26 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 5.18/5.26 v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 5.18/5.26 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 5.18/5.26 v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 5.18/5.26 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 5.18/5.26 v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 5.18/5.26 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 5.18/5.26 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 5.18/5.26 v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 5.18/5.26 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 5.18/5.26 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 5.18/5.26 v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 5.18/5.26 v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 5.18/5.26 v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 5.18/5.26 v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 5.18/5.26 v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 5.18/5.26 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 5.18/5.26 v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 5.18/5.26 v -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 5.18/5.26 v -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 5.18/5.26 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 5.18/5.26 v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 5.18/5.26 v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 5.18/5.26 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 5.18/5.26 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 5.18/5.26 v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 5.18/5.26 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 5.18/5.26 v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 5.18/5.26 v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 5.18/5.26 v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 5.18/5.26 v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 5.18/5.26 v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 5.18/5.26 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 5.18/5.26 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 5.18/5.26 v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 5.18/5.26 v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 5.18/5.26 v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 5.18/5.26 v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 5.18/5.26 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 5.18/5.26 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 5.18/5.26 v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 5.18/5.26 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 5.18/5.26 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 5.18/5.26 v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 5.18/5.26 v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 5.18/5.26 v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 5.18/5.26 v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 5.18/5.26 v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 5.18/5.26 v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 5.18/5.26 v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 5.18/5.26 v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 5.18/5.26 v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 5.18/5.26 v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 5.18/5.26 v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 5.18/5.26 v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 5.18/5.26 v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 5.18/5.26 v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 5.18/5.26 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 5.18/5.26 v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 5.18/5.26 v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 5.18/5.26 v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 5.18/5.26 v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 5.18/5.26 v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 5.18/5.26 v -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 5.18/5.26 v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 5.18/5.26 v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 5.18/5.26 v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 5.18/5.26 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 5.18/5.26 v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 5.18/5.26 v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 5.18/5.26 v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 5.18/5.26 v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 5.18/5.26 v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 5.18/5.26 v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 5.18/5.26 v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 5.18/5.26 v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 5.18/5.26 v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 5.18/5.26 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 5.18/5.26 v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 5.18/5.26 v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 5.18/5.26 v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 5.18/5.26 v -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 5.18/5.26 v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 5.18/5.26 v -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 5.18/5.26 v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 5.18/5.26 v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 5.18/5.26 v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 5.18/5.26 v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 5.18/5.26 v -x7201 -x7202 x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 5.18/5.26 v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 5.18/5.26 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 5.18/5.26 v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 5.18/5.26 v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 5.18/5.26 v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 5.18/5.26 v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 5.18/5.26 v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 5.18/5.26 v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 5.18/5.26 v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 5.18/5.26 v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 5.18/5.26 v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 5.18/5.26 v -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 5.18/5.26 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 5.18/5.26 v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 5.18/5.26 v -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 5.18/5.26 v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 5.18/5.26 v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 5.18/5.26 v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 5.18/5.26 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 5.18/5.26 v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 5.18/5.26 v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 5.18/5.26 v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 5.18/5.26 v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 5.18/5.26 v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 5.18/5.26 v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 5.18/5.26 v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 5.18/5.26 v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 5.18/5.26 v -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 5.18/5.26 v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 5.18/5.26 v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 5.18/5.26 v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 5.18/5.26 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 5.18/5.26 v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 5.18/5.26 v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 5.18/5.26 v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 5.18/5.26 v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 5.18/5.26 v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 5.18/5.26 v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 5.18/5.26 v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 5.18/5.26 v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 5.18/5.26 v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 5.18/5.26 v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 5.18/5.26 v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 5.18/5.26 v -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 5.18/5.26 v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 5.18/5.26 v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 5.18/5.26 v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 5.18/5.26 v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 5.18/5.26 v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 5.18/5.26 v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 5.18/5.26 v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 5.18/5.26 v -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 5.18/5.26 v -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 5.18/5.26 v -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 5.18/5.26 v -x7751 -x7752 -x7753 -x7754 x7755 -x7756 -x7757 -x7758 -x7759 -x7760 5.18/5.26 v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 5.18/5.26 v -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 5.18/5.26 v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 5.18/5.26 v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 5.18/5.26 v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 5.18/5.26 v -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 5.18/5.26 v -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 5.18/5.26 v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 5.18/5.26 v -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 5.18/5.26 v -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 5.18/5.26 v -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 5.18/5.26 v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 5.18/5.26 v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 5.18/5.26 v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 5.18/5.26 v -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 5.18/5.26 v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 5.18/5.26 v -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 5.18/5.26 v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 5.18/5.26 v -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 5.18/5.26 v -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 5.18/5.26 v -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 5.18/5.26 v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 5.18/5.26 v -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 5.18/5.26 v -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 5.18/5.26 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 5.18/5.26 v -x8011 -x8012 x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 5.18/5.26 v -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 5.18/5.26 v -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 5.18/5.26 v -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 5.18/5.26 v -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 5.18/5.26 v -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 5.18/5.26 v -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 5.18/5.26 v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 5.18/5.26 v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 5.18/5.26 v -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 5.18/5.26 v -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 5.18/5.26 v -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 5.18/5.26 v -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 5.18/5.26 v -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 5.18/5.26 v -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 5.18/5.26 v -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 5.18/5.26 v -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 5.18/5.26 v -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 5.18/5.26 v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 5.18/5.26 v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 5.18/5.26 v -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 5.18/5.26 v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 5.18/5.26 v -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 5.18/5.26 v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 5.18/5.26 v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 5.18/5.26 v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 5.18/5.26 v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 5.18/5.26 v -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 5.18/5.26 v -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 5.18/5.26 v -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 5.18/5.26 v -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 5.18/5.26 v -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 5.18/5.26 v -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 5.18/5.26 v -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 5.18/5.26 v -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 5.18/5.26 v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 5.18/5.26 v -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 5.18/5.26 v -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 5.18/5.26 v -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 5.18/5.26 v -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 5.18/5.26 v -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 5.18/5.26 v -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 5.18/5.26 v -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 5.18/5.26 v -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 5.18/5.26 v -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 5.18/5.26 v -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 5.18/5.26 v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 5.18/5.26 v -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 5.18/5.26 v -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 5.18/5.26 v -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 5.18/5.26 v -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 5.18/5.26 v -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 5.18/5.26 v -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 5.18/5.26 v -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 5.18/5.26 v -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 x8557 -x8558 -x8559 -x8560 5.18/5.26 v -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 5.18/5.26 v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 5.18/5.26 v -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 5.18/5.26 v -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 5.18/5.26 v -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 5.18/5.26 v -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 5.18/5.26 v -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 5.18/5.26 v -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 5.18/5.26 v -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 5.18/5.26 v -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 5.18/5.26 v -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 5.18/5.26 v -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 x8677 -x8678 -x8679 -x8680 5.18/5.26 v -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 5.18/5.26 v -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 5.18/5.26 v -x8701 -x8702 -x8703 -x8704 x8705 -x8706 -x8707 -x8708 -x8709 -x8710 5.18/5.26 v -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 5.18/5.26 v -x8721 -x8722 -x8723 -x8724 -x8725 x8726 -x8727 -x8728 -x8729 -x8730 5.18/5.26 v -x8731 -x8732 -x8733 x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 5.18/5.26 v -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 5.18/5.26 v -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 5.18/5.26 v -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 5.18/5.26 v -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 x8777 -x8778 -x8779 -x8780 5.18/5.26 v -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 5.18/5.26 v -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 5.18/5.26 v -x8801 -x8802 -x8803 x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 5.18/5.26 v -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 5.18/5.26 v -x8821 x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 5.18/5.26 v -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 5.18/5.26 v -x8841 -x8842 -x8843 x8844 -x8845 -x8846 -x8847 -x8848 -x8849 x8850 5.18/5.26 v x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 5.18/5.26 v -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 x8870 5.18/5.26 v -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 5.18/5.26 v -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 x8888 -x8889 -x8890 5.18/5.26 v -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 5.18/5.26 v -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 5.18/5.26 v x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 5.18/5.26 v -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 x8929 -x8930 5.18/5.26 v -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 x8938 -x8939 -x8940 5.18/5.26 v -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 5.18/5.26 v -x8951 -x8952 -x8953 -x8954 -x8955 x8956 -x8957 -x8958 -x8959 5.18/5.26 c total CPU time = 5.253s 5.18/5.26 c total wall clock time = 5.267s
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-4099985-1466209749/watcher-4099985-1466209749 -o /tmp/evaluation-result-4099985-1466209749/solver-4099985-1466209749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099985-1466209749.opb pid=15856 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.04 2.11 2.09 3/179 15859 /proc/meminfo: memFree=28614912/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=700860 CPUtime=0 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 23021509 717680640 2974 33554432000 4194304 16246674 140736128906064 140736128905488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 175983 2983 441 2943 0 172877 0 [pid=15859/tid=15860] ppid=15856 vsize=718268 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 735506432 3042 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=722364 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 739700736 3057 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=726460 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 743895040 3074 33554432000 4194304 16246674 140736128906064 140526296755376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.04 2.11 2.09 3/179 15859 /proc/meminfo: memFree=28614912/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 26534 0 0 0 5 3 0 0 20 0 4 0 23021509 1333334016 26833 33554432000 4194304 16246674 140736128906064 140736128905376 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 325521 26840 835 2943 0 322415 0 [pid=15859/tid=15860] ppid=15856 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1333334016 26847 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1333334016 26854 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1333334016 26860 33554432000 4194304 16246674 140736128906064 140526296755376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.20051 s] /proc/loadavg: 2.04 2.11 2.09 3/179 15859 /proc/meminfo: memFree=28614912/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=0.19 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 40843 0 0 0 13 6 0 0 20 0 4 0 23021509 1342771200 41143 33554432000 4194304 16246674 140736128906064 140736128905376 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 41150 872 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 41155 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 41162 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 41169 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+0.300458 s] /proc/loadavg: 2.04 2.11 2.09 3/179 15859 /proc/meminfo: memFree=28614912/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=0.29 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 41933 0 0 0 23 6 0 0 20 0 4 0 23021509 1342771200 42232 33554432000 4194304 16246674 140736128906064 140736128905376 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 42232 912 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 42232 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 42232 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 42232 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+0.700395 s] /proc/loadavg: 2.04 2.11 2.09 3/179 15859 /proc/meminfo: memFree=28614912/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=0.69 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 45151 0 0 0 63 6 0 0 20 0 4 0 23021509 1342771200 45450 33554432000 4194304 16246674 140736128906064 140736128889056 5721559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 45450 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 45450 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 45450 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 45450 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+1.50039 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=28073068/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=1.49 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 238587 0 0 0 116 33 0 0 20 0 4 0 23021509 1342771200 238886 33554432000 4194304 16246674 140736128906064 140736128889056 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 238902 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 238910 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 238920 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 238929 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+3.10043 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538744/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=3.09 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 269041 0 0 0 272 37 0 0 20 0 4 0 23021509 1342771200 269340 33554432000 4194304 16246674 140736128906064 140736128887936 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 269340 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15859 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20048 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538744/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=3.19 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 269041 0 0 0 282 37 0 0 20 0 4 0 23021509 1342771200 269340 33554432000 4194304 16246674 140736128906064 140736128887936 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 269340 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+4.00035 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538496/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=3.99 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 269041 0 0 0 362 37 0 0 20 0 4 0 23021509 1342771200 269340 33554432000 4194304 16246674 140736128906064 140736128887936 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 269340 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+4.80041 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538616/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=4.79 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 269041 0 0 0 442 37 0 0 20 0 4 0 23021509 1342771200 269340 33554432000 4194304 16246674 140736128906064 140736128889056 5842693 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 269340 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526296755376 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) 1311300 [startup+5.2004 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538616/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=1311300 CPUtime=5.18 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) R 15856 15859 14522 0 -1 4202496 269041 0 0 0 481 37 0 0 20 0 4 0 23021509 1342771200 269340 33554432000 4194304 16246674 140736128906064 140736128889056 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 327825 269340 916 2943 0 324719 0 [pid=15859/tid=15860] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15860/stat : 15860 (toysat) S 15856 15859 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526387965168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15859/tid=15861] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15861/stat : 15861 (toysat) S 15856 15859 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526377475312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) S 15856 15859 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021510 1342771200 269340 33554432000 4194304 16246674 140736128906064 140526296755376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 1311300 [startup+5.3004 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15863 /proc/meminfo: memFree=27538616/32872528 swapFree=1191052/1305516 [pid=15859] ppid=15856 vsize=0 CPUtime=5.29 cores=0,2,4,6 /proc/15859/stat : 15859 (toysat) Z 15856 15859 14522 0 -1 4202508 269044 0 0 0 488 41 0 0 20 0 2 0 23021509 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15859/statm: 0 0 0 0 0 0 0 [pid=15859/tid=15862] ppid=15856 vsize=0 CPUtime=0.02 cores=0,2,4,6 /proc/15859/task/15862/stat : 15862 (toysat) R 15856 15859 14522 0 -1 4203588 1 0 0 0 0 2 0 0 20 0 2 0 23021510 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.29 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 5.33099 CPU time (s): 5.32719 CPU user time (s): 4.88726 CPU system time (s): 0.439933 CPU usage (%): 99.9287 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.88726 system time used= 0.439933 maximum resident set size= 1077368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269044 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= 7 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.020996 second user time and 0.036994 second system time The end
Begin job on node127 at 2016-06-18 02:29:09 IDJOB=4099985 IDBENCH=1559 IDSOLVER=2542 FILE ID=node127/4099985-1466209749 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71716 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-ran17x17.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099985-1466209749/watcher-4099985-1466209749 -o /tmp/evaluation-result-4099985-1466209749/solver-4099985-1466209749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099985-1466209749.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6 RANDOM SEED=2050102140 node127.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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.769 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.56 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.769 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.769 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.56 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28615944 kB Buffers: 46424 kB Cached: 118060 kB SwapCached: 520 kB Active: 2166564 kB Inactive: 76656 kB Active(anon): 2079904 kB Inactive(anon): 816 kB Active(file): 86660 kB Inactive(file): 75840 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100220 kB Dirty: 16716 kB Writeback: 0 kB AnonPages: 3383784 kB Mapped: 10692 kB Shmem: 0 kB Slab: 572252 kB SReclaimable: 16664 kB SUnreclaim: 555588 kB KernelStack: 1512 kB PageTables: 10912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3528008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node127 at 2016-06-18 02:29:14