Trace number 4504299
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb |
| MD5SUM | 1542385ac037132e9cf985b37fe6e57c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5950590 |
| Best CPU time to get the best result obtained on this benchmark | 10.1892 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 74088000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3666159515 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 74088000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3666159515 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4504299-1751440709.opb'
0.00/0.02 c read 0.58MB (7.82ms)
0.00/0.02 c [cnf: #variables 6810 #clauses 15098 #duplicates 105 #arr 49860]
0.00/0.02 c output proof to 'PROOFDIR/proof-4504299-1751440709'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 446] (11.73ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 15x2, generating row predicate
0.00/0.03 c found row 15x2, generating row predicate
0.00/0.03 c (1.98ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 48668 #edges 153240]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.94*10^222 #generators 394] (8.14ms)
0.00/0.04 c
0.00/0.04 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04 c ran it=0, +gens=5
0.00/0.08 c con best_support=4, best_gens=394, +gens=123
0.00/0.08 c (44.40ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=20)
0.00/0.08 c added predicates for 522 generators (0.09ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 568 #add_vars 6]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4504299-1751440709.opb.pre'
0.00/0.09 c wrote 0.60MB (1.52ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 44.40ms 56.63% optimize_gens
0.00/0.09 c 11.73ms 14.96% approx_orbits
0.00/0.09 c 8.14ms 10.38% detect_generic
0.00/0.09 c 7.82ms 9.97% parse
0.00/0.09 c 2.48ms 3.16% other
0.00/0.09 c 1.98ms 2.52% detect_special
0.00/0.09 c 1.52ms 1.93% output
0.00/0.09 c 0.26ms 0.33% finalize_order
0.00/0.09 c 0.09ms 0.11% break_generic
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 78.40ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.07/0.20 c #variables 6816 #constraints 16089
0.07/0.20 c objective is ce32
0.17/0.23 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.23 c initial counting CF 32, 64, 128, Arb: 3076 , 0 , 0 , 0
0.17/0.23 c bounds 35074197 >= -15 @ 0.110333
0.17/0.29 c rational objective 2.22217e+06
0.37/0.41 c bounds 35047317 >= -15 @ 0.28728
0.37/0.47 c bounds 34998223 >= -15 @ 0.34276
0.37/0.49 c bounds 24921299 >= -15 @ 0.359807
0.37/0.49 c bounds 22034805 >= -15 @ 0.363893
0.47/0.51 c bounds 21993221 >= -15 @ 0.383388
0.47/0.52 c bounds 21988971 >= -15 @ 0.386919
0.47/0.54 c bounds 21945417 >= -15 @ 0.406316
0.47/0.57 c bounds 21929837 >= -15 @ 0.431893
0.47/0.58 c bounds 21921366 >= -15 @ 0.442738
0.56/0.60 c bounds 21903271 >= -15 @ 0.468436
0.56/0.62 c bounds 19414631 >= -15 @ 0.480697
0.56/0.66 c bounds 19414106 >= -15 @ 0.526889
0.66/0.70 c bounds 19389341 >= -15 @ 0.567781
0.66/0.74 c bounds 19388761 >= -15 @ 0.603575
0.66/0.79 c bounds 19367791 >= -15 @ 0.654118
0.76/0.81 c bounds 19321921 >= -15 @ 0.671365
0.96/1.07 c bounds 8773217 >= -15 @ 0.923541
0.96/1.09 c bounds 8748017 >= -15 @ 0.942604
0.96/1.10 c bounds 8743328 >= -15 @ 0.946636
1.07/1.11 c bounds 8711560 >= -15 @ 0.954922
1.07/1.13 c bounds 8693910 >= -15 @ 0.978594
1.26/1.35 c bounds 8686638 >= -15 @ 1.18421
2.85/2.98 c #Conflicts: 1000 | #Constraints: 17125
2.85/2.98 c bounds 6907619 >= -15 @ 2.7587
2.85/2.98 c bounds 6884579 >= -15 @ 2.76365
2.96/3.03 c bounds 6881380 >= -15 @ 2.80418
2.96/3.03 c bounds 6879084 >= -15 @ 2.80938
2.96/3.04 c bounds 6870060 >= -15 @ 2.81403
2.96/3.04 c bounds 6322534 >= -15 @ 2.82055
2.96/3.09 c bounds 6313024 >= -15 @ 2.86274
3.05/3.12 c bounds 6159889 >= -15 @ 2.89862
3.05/3.14 c bounds 6118305 >= -15 @ 2.91991
3.05/3.15 c bounds 6116820 >= -15 @ 2.93004
3.05/3.17 c bounds 6091822 >= -15 @ 2.94645
3.05/3.18 c bounds 6074172 >= -15 @ 2.95211
3.05/3.19 c bounds 6007332 >= -15 @ 2.96084
3.16/3.22 c bounds 5990092 >= -15 @ 2.99665
3.16/3.23 c bounds 5977530 >= -15 @ 3.00118
3.26/3.33 c bounds 5973540 >= -15 @ 3.09784
3.35/3.44 c bounds 5961310 >= -15 @ 3.20166
3.85/3.91 c #Conflicts: 2000 | #Constraints: 18147
3.85/3.91 c INPROCESSING
3.85/3.91 c GARBAGE COLLECT
3.85/3.91 c rational objective 2.2268e+06
17.82/17.92 c #Conflicts: 3000 | #Constraints: 17791
17.82/17.92 c #Conflicts: 4000 | #Constraints: 18809
17.82/17.92 c INPROCESSING
17.82/17.92 c GARBAGE COLLECT
17.82/17.92 c #Conflicts: 5000 | #Constraints: 18184
17.82/17.92 c #Conflicts: 6000 | #Constraints: 19267
17.82/17.92 c INPROCESSING
17.82/17.92 c GARBAGE COLLECT
17.82/17.92 c #Conflicts: 7000 | #Constraints: 15328
17.82/17.92 c #Conflicts: 8000 | #Constraints: 16337
17.82/17.92 c bounds 5950590 >= -15 @ 17.2565
26.30/26.49 c #Conflicts: 9000 | #Constraints: 17441
26.30/26.49 c INPROCESSING
26.30/26.49 c GARBAGE COLLECT
26.30/26.49 c #Conflicts: 10000 | #Constraints: 16172
26.30/26.49 c #Conflicts: 11000 | #Constraints: 17173
26.30/26.49 c #Conflicts: 12000 | #Constraints: 18182
26.30/26.49 c INPROCESSING
26.30/26.49 c GARBAGE COLLECT
26.30/26.49 c rational objective 5.34307e+06
33.68/33.82 c #Conflicts: 13000 | #Constraints: 16603
33.68/33.82 c #Conflicts: 14000 | #Constraints: 17612
33.68/33.82 c #Conflicts: 15000 | #Constraints: 18620
33.68/33.82 c INPROCESSING
33.68/33.82 c GARBAGE COLLECT
33.68/33.82 c rational objective 5.37046e+06
41.36/41.55 c #Conflicts: 16000 | #Constraints: 16256
41.36/41.55 c #Conflicts: 17000 | #Constraints: 17265
41.36/41.55 c #Conflicts: 18000 | #Constraints: 18273
41.36/41.55 c INPROCESSING
41.36/41.55 c GARBAGE COLLECT
41.36/41.55 c rational objective 5.44669e+06
50.84/51.01 c #Conflicts: 19000 | #Constraints: 16283
50.84/51.01 c #Conflicts: 20000 | #Constraints: 17301
50.84/51.01 c #Conflicts: 21000 | #Constraints: 18304
50.84/51.01 c INPROCESSING
50.84/51.01 c GARBAGE COLLECT
50.84/51.01 c rational objective 5.46857e+06
59.91/60.11 c #Conflicts: 22000 | #Constraints: 16084
59.91/60.11 c #Conflicts: 23000 | #Constraints: 17094
59.91/60.11 c #Conflicts: 24000 | #Constraints: 18099
59.91/60.11 c #Conflicts: 25000 | #Constraints: 19108
59.91/60.11 c INPROCESSING
59.91/60.11 c GARBAGE COLLECT
59.91/60.11 c rational objective 5.46489e+06
69.29/69.55 c #Conflicts: 26000 | #Constraints: 12959
69.29/69.55 c #Conflicts: 27000 | #Constraints: 13968
69.29/69.55 c #Conflicts: 28000 | #Constraints: 15014
69.29/69.55 c #Conflicts: 29000 | #Constraints: 16022
69.29/69.55 c INPROCESSING
69.29/69.55 c GARBAGE COLLECT
69.29/69.55 c rational objective 5.53629e+06
76.88/77.18 c #Conflicts: 30000 | #Constraints: 8367
76.88/77.18 c #Conflicts: 31000 | #Constraints: 9370
76.88/77.18 c #Conflicts: 32000 | #Constraints: 10381
76.88/77.18 c #Conflicts: 33000 | #Constraints: 11387
76.88/77.18 c INPROCESSING
76.88/77.18 c GARBAGE COLLECT
76.88/77.18 c rational objective 5.53449e+06
82.95/83.21 c #Conflicts: 34000 | #Constraints: 8537
82.95/83.21 c #Conflicts: 35000 | #Constraints: 9544
82.95/83.21 c #Conflicts: 36000 | #Constraints: 10548
82.95/83.21 c bounds 5950590 >= 5950590 @ 80.8152
82.95/83.21 c cpu time 80.8152 s
82.95/83.21 c deterministic time 4886675899 4.89e+09
82.95/83.21 c optimization time 0.079828 s
82.95/83.21 c total solve time 80.6598 s
82.95/83.21 c core-guided solve time 41.3576 s
82.95/83.21 c propagation time 33.2347 s
82.95/83.21 c conflict analysis time 39.3815 s
82.95/83.21 c propagations 14678512
82.95/83.21 c resolve steps 371141
82.95/83.21 c decisions 156617
82.95/83.21 c conflicts 36178
82.95/83.21 c restarts 125
82.95/83.21 c inprocessing phases 11
82.95/83.21 c garbage collections 11 ,( 100.00 )
82.95/83.21 c input clauses 12989 ,( 80.53 )
82.95/83.21 c input cardinalities 25 ,( 0.15 )
82.95/83.21 c input general constraints 3116 ,( 19.32 )
82.95/83.21 c input average constraint length 12.40
82.95/83.21 c input average constraint degree 3120403.56
82.95/83.21 c learned clauses 6833 ,( 18.58 )
82.95/83.21 c learned cardinalities 171 ,( 0.46 )
82.95/83.21 c learned general constraints 29782 ,( 80.96 )
82.95/83.21 c learned average constraint length 616.73
82.95/83.21 c learned average constraint degree 7090370892.74
82.95/83.21 c watched CF 32, 64, 128, Arb: 3500 , 0 , 0 , 0
82.95/83.21 c counting CF 32, 64, 128, Arb: 29399 , 0 , 0 , 0
82.95/83.21 c watched constraints 3500 ,( 10.64 )
82.95/83.21 c counting constraints 29398 ,( 89.36 )
82.95/83.21 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3136880 , 1088334 , 157015514 ,( 2395792 , 154619722 )
82.95/83.21 c gcd simplifications 1345
82.95/83.21 c detected cardinalities 28
82.95/83.21 c weakened non-implied lits 44038741
82.95/83.21 c weakened non-implying lits 49716
82.95/83.21 c original variables 6816
82.95/83.21 c clausal propagations 2098263
82.95/83.21 c cardinality propagations 427622
82.95/83.21 c watched propagations 5685
82.95/83.21 c counting propagations 11912603
82.95/83.21 c watch lookups 330285370
82.95/83.21 c watch backjump lookups 0
82.95/83.21 c watch checks 259994986
82.95/83.21 c propagation checks 4091358332
82.95/83.21 c constraint additions 175286056
82.95/83.21 c trail pops 14866054
82.95/83.21 c formula constraints 16089
82.95/83.21 c learned constraints 36011
82.95/83.21 c bound constraints 41
82.95/83.21 c core-guided constraints 0
82.95/83.21 c encountered formula constraints 233414
82.95/83.21 c encountered learned constraints 137614
82.95/83.21 c encountered bound constraints 2813
82.95/83.21 c encountered core-guided constraints 0
82.95/83.21 c LP total time 11.8587 s
82.95/83.21 c LP solve time 8.95 s
82.95/83.21 c LP constraints added 16145
82.95/83.21 c LP constraints removed 33
82.95/83.21 c LP pivots internal 36370
82.95/83.21 c LP pivots root 13601
82.95/83.21 c LP calls 703
82.95/83.21 c LP optimalities 94
82.95/83.21 c LP no pivot count 0
82.95/83.21 c LP infeasibilities 600
82.95/83.21 c LP valid Farkas constraints 596
82.95/83.21 c LP learned Farkas constraints 166
82.95/83.21 c LP basis resets 11
82.95/83.21 c LP cycling count 1
82.95/83.21 c LP singular count 2
82.95/83.21 c LP no primal count 0
82.95/83.21 c LP no farkas count 3
82.95/83.21 c LP other issue count 5
82.95/83.21 c LP Gomory cuts 13
82.95/83.21 c LP learned cuts 43
82.95/83.21 c LP deleted cuts 33
82.95/83.21 c LP encountered Gomory constraints 32
82.95/83.21 c LP encountered Farkas constraints 31045
82.95/83.21 c LP encountered learned Farkas constraints 2235
82.95/83.21 c CG auxiliary variables introduced 0
82.95/83.21 c CG solutions found 40
82.95/83.21 c CG cores constructed 0
82.95/83.21 c CG core cardinality constraints returned 0
82.95/83.21 c CG unit cores 0
82.95/83.21 c CG single cores 0
82.95/83.21 c CG blocks removed during cardinality reduction 0
82.95/83.21 c CG first core best 0
82.95/83.21 c CG decision core best 0
82.95/83.21 c CG core reduction tie 0
82.95/83.21 c CG core degree average 0.00
82.95/83.21 c CG core slack average 0.00
82.95/83.21 c CG core upper bound improvements 0
82.95/83.21 c STR number of successful calls 0
82.95/83.21 c STR number of unsuccessful calls 0
82.95/83.21 c STR number of inconclusive calls 0
82.95/83.21 c STR number of successful attempts 0
82.95/83.21 c STR number of unsuccessful attempts 0
82.95/83.21 c STR number of inconclusive attempts 0
82.95/83.21 c STR average degree increase per successful call inf
82.95/83.21 c STR average degree increase per successful attempt inf
82.95/83.21 c STR total number of conflicts for successful attempts 0
82.95/83.21 c STR total number of conflicts for unsuccessful attempts 0
82.95/83.21 c STR total number of conflicts for inconclusive attempts 0
82.95/83.21 c STR average number of conflicts per successful attempt inf
82.95/83.21 c STR average number of conflicts per unsuccessful attempt inf
82.95/83.21 c STR average number of conflicts per inconclusive attempt inf
82.95/83.21 c AVG.sumWPerc 85.10
82.95/83.21 c bigint constraints 0
82.95/83.21 o 5950590
82.95/83.21 s OPTIMUM FOUND
82.95/83.21 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 x6552 -x6553 -x6554 -x6555 x6556 -x6557 -x6558 -x6559 -x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 x6579 x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 x6729 x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802 x6803 -x6804 x6805 -x6806 -x6807 -x6808 -x6809 -x6810
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 2 09:31:02 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 5950590 <= obj <= 5950590
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 5950590 <= obj <= 5950590
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62488 MiB free)
memory of node 1: 64465 MiB (63944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504299-1751440709/watcher-4504299-1751440709 -o /tmp/evaluation-result-4504299-1751440709/solver-4504299-1751440709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751437078-65402 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504299-1751440709.opb PROOFDIR/proof-4504299-1751440709
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64SLinux 5.14.0-503.14.1.el9_5.x86_64Starting watchdog threadi
Current StackSize limit: 8192 KiB
solver pid=65846, runsolver pid=65843
[startup+0.100057 s]*
/proc/loadavg: 4.21 4.15 4.12 5/270 65849
/proc/meminfo: memFree=129423340/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=57300 memory=10624 CPUtime=0 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 862 0 0 0 0 0 0 0 20 0 1 0 59750361 58675200 2656 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 14325 2656 2016 1147 0 1752 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61492 KiB
Current children cumulated memory: 13568 KiB
[startup+0.205567 s]*
/proc/loadavg: 4.21 4.15 4.12 4/275 65859
/proc/meminfo: memFree=129407576/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=74236 memory=29496 CPUtime=0.1 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 5422 0 0 0 8 2 0 0 20 0 1 0 59750361 76017664 7374 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 18559 7374 2368 1147 0 5986 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78428 KiB
Current children cumulated memory: 32440 KiB
[startup+0.305533 s]*
/proc/loadavg: 4.21 4.15 4.12 6/276 65860
/proc/meminfo: memFree=129241272/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=82908 memory=38328 CPUtime=0.2 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 7590 0 0 0 18 2 0 0 20 0 1 0 59750361 84897792 9582 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 20727 9582 2432 1147 0 8154 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87100 KiB
Current children cumulated memory: 41272 KiB
[startup+0.700194 s]
/proc/loadavg: 4.21 4.15 4.12 5/276 65860
/proc/meminfo: memFree=129189484/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=91736 memory=48716 CPUtime=0.59 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 9621 0 0 0 56 3 0 0 20 0 1 0 59750361 93937664 12179 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 22934 12179 2464 1147 0 10361 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 95928 KiB
Current children cumulated memory: 51660 KiB
[startup+1.5002 s]
/proc/loadavg: 4.21 4.15 4.12 5/276 65860
/proc/meminfo: memFree=128848796/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=105980 memory=61772 CPUtime=1.39 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 12972 0 0 0 132 7 0 0 20 0 1 0 59750361 108523520 15443 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 26495 15443 2464 1147 0 13922 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 110172 KiB
Current children cumulated memory: 64716 KiB
[startup+3.10554 s]
/proc/loadavg: 4.19 4.15 4.12 5/276 65861
/proc/meminfo: memFree=128710588/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=124328 memory=80748 CPUtime=2.98 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 17186 0 0 0 287 11 0 0 20 0 1 0 59750361 127311872 20187 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 31082 20187 2464 1147 0 18509 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 128520 KiB
Current children cumulated memory: 83692 KiB
[startup+6.30018 s]
/proc/loadavg: 4.19 4.15 4.12 5/276 65861
/proc/meminfo: memFree=127624292/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=143432 memory=96156 CPUtime=6.17 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 20558 0 0 0 597 20 0 0 20 0 1 0 59750361 146874368 24039 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 35858 24039 2464 1147 0 23285 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 147624 KiB
Current children cumulated memory: 99100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.12 5/276 65861
/proc/meminfo: memFree=127005944/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=174068 memory=119480 CPUtime=12.55 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 25387 0 0 0 1218 37 0 0 20 0 1 0 59750361 178245632 29870 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 43517 29870 2464 1147 0 30944 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 178260 KiB
Current children cumulated memory: 122424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.12 5/276 65862
/proc/meminfo: memFree=125016652/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=203292 memory=153976 CPUtime=25.32 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 31944 0 0 0 2463 69 0 0 20 0 1 0 59750361 208171008 38494 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 50823 38494 2464 1147 0 38250 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 207484 KiB
Current children cumulated memory: 156920 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.14 4.12 5/276 65862
/proc/meminfo: memFree=121846172/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=246108 memory=184472 CPUtime=50.87 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 37976 0 0 0 4959 128 0 0 20 0 1 0 59750361 252014592 46118 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 61527 46118 2528 1147 0 48954 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 250300 KiB
Current children cumulated memory: 187416 KiB
[startup+85.9297 s]
# the end of solver process 65846 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=80.8953 s, system=2.53272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.15 4.14 4.12 5/276 65862
/proc/meminfo: memFree=121846172/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=246108 memory=184472 CPUtime=50.96 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 37976 0 0 0 4968 128 0 0 20 0 1 0 59750361 252014592 46118 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 61527 46118 2528 1147 0 48954 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 250300 KiB
Current children cumulated memory: 187416 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.12 4.13 4.12 5/276 65863
/proc/meminfo: memFree=120154368/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=253360 memory=192152 CPUtime=63.74 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 39905 0 0 0 6214 160 0 0 20 0 1 0 59750361 259440640 48038 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 63340 48038 2528 1147 0 50767 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 257552 KiB
Current children cumulated memory: 195096 KiB
[startup+76.8002 s]
/proc/loadavg: 4.10 4.13 4.12 5/276 65863
/proc/meminfo: memFree=118533760/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195480 CPUtime=76.5 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 40752 0 0 0 7456 194 0 0 20 0 1 0 59750361 262606848 48870 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48870 2528 1147 0 51540 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198424 KiB
[startup+80.0002 s]*
/proc/loadavg: 4.17 4.14 4.12 5/276 65864
/proc/meminfo: memFree=118194676/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=79.7 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 40770 0 0 0 7768 202 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 79.77 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
[startup+83.2001 s]
/proc/loadavg: 4.16 4.14 4.12 5/276 65864
/proc/meminfo: memFree=117957396/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=82.88 cores=1,3
/proc/65849/stat : 65849 (roundingsat) R 65846 65846 64562 0 -1 4194304 40776 0 0 0 8079 209 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 82.95 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
[startup+84.8002 s]
/proc/loadavg: 4.16 4.14 4.12 7/276 65864
/proc/meminfo: memFree=117905380/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=83.22 cores=1,3
/proc/65849/stat : 65849 (roundingsat) D 65846 65846 64562 0 -1 4194304 40776 0 0 0 8082 240 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 83.29 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
[startup+85.6002 s]
/proc/loadavg: 4.16 4.14 4.12 5/276 65864
/proc/meminfo: memFree=117855988/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=83.26 cores=1,3
/proc/65849/stat : 65849 (roundingsat) D 65846 65846 64562 0 -1 4194304 40776 0 0 0 8082 244 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 83.33 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
[startup+85.8002 s]
/proc/loadavg: 4.16 4.14 4.12 5/276 65864
/proc/meminfo: memFree=117855988/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=83.32 cores=1,3
/proc/65849/stat : 65849 (roundingsat) D 65846 65846 64562 0 -1 4194304 40776 0 0 0 8082 250 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 83.39 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
[startup+85.9002 s]
/proc/loadavg: 4.16 4.14 4.12 5/276 65864
/proc/meminfo: memFree=117855988/131250000 swapFree=33009904/33010684
[pid=65846] ppid=65843 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/65846/stat : 65846 (run-opt-ls-log.) S 65843 65846 64562 0 -1 4194304 241 6525 0 0 0 0 6 1 20 0 1 0 59750352 4292608 736 18446744073709551615 93912591212544 93912592107077 140722801965952 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93912592346128 93912592393872 93912605446144 140722801969435 140722801969633 140722801969633 140722801975235 0
/proc/65846/statm: 1048 736 672 219 0 110 0
[pid=65849] ppid=65846 vsize=256452 memory=195608 CPUtime=83.32 cores=1,3
/proc/65849/stat : 65849 (roundingsat) D 65846 65846 64562 0 -1 4194304 40776 0 0 0 8082 250 0 0 20 0 1 0 59750361 262606848 48902 18446744073709551615 4227072 8923433 140736706502576 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15781888 140736706509046 140736706509352 140736706509352 140736706514922 0
/proc/65849/statm: 64113 48902 2528 1147 0 51540 0
Current children cumulated CPU time: 83.39 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 198552 KiB
Child status: 0
Real time (s): 85.9298
CPU time (s): 83.428
CPU user time (s): 80.8953
CPU system time (s): 2.53272
CPU usage (%): 97.0886
Max. virtual memory (cumulated for all children) (KiB): 260644
Max. memory (cumulated for all children) (KiB): 198552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.8953
system time used= 2.53272
maximum resident set size= 195608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4955736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62351
involuntary context switches= 132
# summary of solver processes directly reported to runsolver:
# pid: 65846
# total CPU time (s): 83.428
# total CPU user time (s): 80.8953
# total CPU system time (s): 2.53272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184227 second user time and 0.41646 second system time
The end
Launcher Data
Begin job on nodeC033 at 2025-07-02 09:18:29
IDJOB=4504299
IDBENCH=155651
IDSOLVER=3356
FILE ID=nodeC033/4504299-1751440709
RUNJOBID= nodeC033-1751437078-65402
SLURM_JOB_ID= 9598376
Free space on /tmp= 429884 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504299-1751440709/watcher-4504299-1751440709 -o /tmp/evaluation-result-4504299-1751440709/solver-4504299-1751440709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751437078-65402 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504299-1751440709.opb PROOFDIR/proof-4504299-1751440709
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=768626766
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.050
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129493652 kB
MemAvailable: 129514188 kB
Buffers: 2128 kB
Cached: 817536 kB
SwapCached: 68 kB
Active: 875792 kB
Inactive: 256120 kB
Active(anon): 306152 kB
Inactive(anon): 24484 kB
Active(file): 569640 kB
Inactive(file): 231636 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88044 kB
Writeback: 0 kB
AnonPages: 315652 kB
Mapped: 113976 kB
Shmem: 18028 kB
KReclaimable: 116996 kB
Slab: 210004 kB
SReclaimable: 116996 kB
SUnreclaim: 93008 kB
KernelStack: 4368 kB
PageTables: 3656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 669760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 90112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429820 MiB
End job on nodeC033 at 2025-07-02 09:19:55