Trace number 4504434
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_6_mh.opb |
| MD5SUM | 5446b769e53b58ee9fdbc738c7aeea2d |
| 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 | 7586846 |
| Best CPU time to get the best result obtained on this benchmark | 2.60113 |
| 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 | 155720872 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 4264157729 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 155720872 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 4264157729 |
| 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 RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.08 c #variables 6810 #constraints 15626
0.00/0.08 c objective is ce32
0.00/0.09 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09 c initial counting CF 32, 64, 128, Arb: 3076 , 0 , 0 , 0
0.00/0.09 c GLOBAL bounds - >= -15 @ 0.054667
0.00/0.10 c GLOBAL bounds - >= -15 @ 0.057557
0.09/0.10 c GLOBAL bounds - >= -15 @ 0.061349
0.09/0.11 c GLOBAL bounds - >= -15 @ 0.067508
0.09/0.12 c GLOBAL bounds - >= -15 @ 0.070859
0.09/0.12 c GLOBAL bounds - >= -15 @ 0.076162
0.09/0.13 c GLOBAL bounds - >= -15 @ 0.083221
0.09/0.14 c GLOBAL bounds - >= -15 @ 0.087806
0.09/0.14 c GLOBAL bounds - >= -15 @ 0.091166
0.09/0.15 c GLOBAL bounds - >= -15 @ 0.09424
0.09/0.15 c GLOBAL bounds - >= -15 @ 0.099475
0.09/0.16 c GLOBAL bounds - >= -15 @ 0.107366
0.09/0.17 c GLOBAL bounds - >= -15 @ 0.112812
0.09/0.18 c GLOBAL bounds - >= -15 @ 0.118701
0.09/0.19 c GLOBAL bounds - >= -15 @ 0.127476
0.09/0.20 c GLOBAL bounds - >= -15 @ 0.133696
0.18/0.22 c GLOBAL bounds - >= -15 @ 0.150522
0.18/0.22 c GLOBAL bounds - >= -15 @ 0.153642
0.18/0.24 c GLOBAL bounds - >= -15 @ 0.161626
0.18/0.25 c GLOBAL bounds - >= -15 @ 0.177132
0.18/0.28 c GLOBAL bounds - >= 3576726 @ 0.203938
0.29/0.33 c rational objective 6.49822e+06
0.39/0.44 c GLOBAL bounds - >= 3576726 @ 0.352537
0.39/0.44 c GLOBAL bounds - >= 3576726 @ 0.355064
0.39/0.44 c GLOBAL bounds - >= 3576726 @ 0.355064
0.39/0.45 c GLOBAL bounds - >= 3576726 @ 0.35706
0.39/0.45 c GLOBAL bounds - >= 3576726 @ 0.357254
0.39/0.45 c GLOBAL bounds - >= 3576726 @ 0.359118
0.39/0.45 c GLOBAL bounds - >= 3576726 @ 0.359406
0.39/0.46 c GLOBAL bounds - >= 3576726 @ 0.361413
0.39/0.46 c GLOBAL bounds - >= 3576726 @ 0.361938
0.39/0.46 c GLOBAL bounds - >= 3576726 @ 0.365049
0.39/0.46 c GLOBAL bounds - >= 3576726 @ 0.365049
0.39/0.47 c GLOBAL bounds - >= 3576726 @ 0.367049
0.39/0.47 c GLOBAL bounds - >= 3576726 @ 0.367049
0.39/0.47 c GLOBAL bounds - >= 3576726 @ 0.369317
0.39/0.47 c GLOBAL bounds - >= 3576726 @ 0.369878
0.39/0.48 c GLOBAL bounds - >= 3576726 @ 0.371356
0.39/0.48 c GLOBAL bounds - >= 3576726 @ 0.371826
0.39/0.49 c GLOBAL bounds - >= 3576726 @ 0.374195
0.39/0.49 c GLOBAL bounds - >= 3576726 @ 0.374741
0.39/0.49 c GLOBAL bounds - >= 3576726 @ 0.377037
0.49/0.53 c GLOBAL bounds - >= 3576726 @ 0.410044
0.49/0.53 c GLOBAL bounds - >= 3576726 @ 0.412738
0.49/0.54 c GLOBAL bounds - >= 3576726 @ 0.418337
0.49/0.55 c GLOBAL bounds - >= 3576726 @ 0.423998
0.49/0.56 c GLOBAL bounds - >= 3576726 @ 0.430592
0.49/0.57 c GLOBAL bounds - >= 3576726 @ 0.438339
0.49/0.59 c GLOBAL bounds - >= 3576726 @ 0.459477
0.49/0.60 c GLOBAL bounds - >= 3576726 @ 0.466736
0.58/0.61 c GLOBAL bounds - >= 4106068 @ 0.480452
0.58/0.61 c GLOBAL bounds - >= 4106068 @ 0.482145
0.58/0.61 c GLOBAL bounds - >= 4106068 @ 0.482641
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.483069
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.483481
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.483916
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.484377
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.48484
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.485261
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.485542
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.488941
0.58/0.62 c GLOBAL bounds - >= 4106068 @ 0.4894
0.58/0.63 c GLOBAL bounds - >= 4106068 @ 0.492743
0.58/0.63 c GLOBAL bounds - >= 4106068 @ 0.493207
0.58/0.63 c GLOBAL bounds - >= 4106068 @ 0.495626
0.58/0.63 c GLOBAL bounds - >= 4106068 @ 0.496083
0.58/0.64 c GLOBAL bounds - >= 4106068 @ 0.5003
0.58/0.64 c GLOBAL bounds - >= 4106068 @ 0.500719
0.58/0.64 c GLOBAL bounds - >= 4106068 @ 0.501747
0.58/0.64 c GLOBAL bounds - >= 4106068 @ 0.502026
0.58/0.65 c GLOBAL bounds - >= 4106068 @ 0.50469
0.58/0.65 c GLOBAL bounds - >= 4106068 @ 0.505198
0.58/0.65 c GLOBAL bounds - >= 4106068 @ 0.507061
0.58/0.65 c GLOBAL bounds - >= 4106068 @ 0.507443
0.58/0.66 c GLOBAL bounds - >= 4106068 @ 0.509259
0.58/0.66 c GLOBAL bounds - >= 4106068 @ 0.509868
0.58/0.67 c GLOBAL bounds - >= 4106068 @ 0.511726
0.58/0.67 c GLOBAL bounds - >= 4106068 @ 0.512058
0.58/0.67 c GLOBAL bounds - >= 4106068 @ 0.514719
0.58/0.68 c GLOBAL bounds - >= 4106068 @ 0.526201
0.67/0.70 c GLOBAL bounds - >= 4106068 @ 0.541016
0.67/0.70 c GLOBAL bounds - >= 4106068 @ 0.54335
0.67/0.71 c GLOBAL bounds - >= 4106068 @ 0.549611
0.67/0.73 c GLOBAL bounds - >= 4106068 @ 0.559829
0.67/0.75 c GLOBAL bounds - >= 4413524 @ 0.586024
0.67/0.75 c GLOBAL bounds - >= 4413524 @ 0.588486
0.67/0.76 c GLOBAL bounds - >= 4413524 @ 0.594778
0.67/0.76 c GLOBAL bounds - >= 4413524 @ 0.596635
0.67/0.76 c GLOBAL bounds - >= 4413524 @ 0.59844
0.67/0.77 c GLOBAL bounds - >= 4413524 @ 0.600051
0.67/0.77 c GLOBAL bounds - >= 4413524 @ 0.602448
0.67/0.78 c GLOBAL bounds - >= 4413524 @ 0.605042
0.67/0.78 c GLOBAL bounds - >= 4413524 @ 0.606491
0.67/0.79 c GLOBAL bounds - >= 4413524 @ 0.608601
0.67/0.79 c GLOBAL bounds - >= 4413524 @ 0.610469
0.67/0.79 c GLOBAL bounds - >= 4413524 @ 0.61147
0.67/0.79 c GLOBAL bounds - >= 4413524 @ 0.613142
0.78/0.80 c GLOBAL bounds - >= 4413524 @ 0.614466
0.78/0.80 c GLOBAL bounds - >= 4413524 @ 0.616197
0.78/0.81 c GLOBAL bounds - >= 4413524 @ 0.618459
0.78/0.81 c GLOBAL bounds - >= 4413524 @ 0.620087
0.78/0.81 c GLOBAL bounds - >= 4413524 @ 0.625373
0.78/0.82 c GLOBAL bounds - >= 4413524 @ 0.628155
0.78/0.82 c GLOBAL bounds - >= 4413524 @ 0.631877
0.78/0.83 c GLOBAL bounds - >= 4413524 @ 0.634318
0.78/0.83 c GLOBAL bounds - >= 4413524 @ 0.638586
0.78/0.83 c GLOBAL bounds - >= 4413524 @ 0.641472
0.78/0.84 c GLOBAL bounds - >= 4413524 @ 0.644402
0.78/0.85 c GLOBAL bounds - >= 4413524 @ 0.650327
0.78/0.85 c GLOBAL bounds - >= 4413524 @ 0.656006
0.78/0.86 c GLOBAL bounds - >= 4413524 @ 0.658235
0.78/0.88 c GLOBAL bounds - >= 4413524 @ 0.673324
0.78/0.88 c GLOBAL bounds - >= 4413524 @ 0.676184
0.87/0.90 c GLOBAL bounds - >= 4413524 @ 0.69313
0.87/0.92 c GLOBAL bounds - >= 4773350 @ 0.707102
0.87/0.92 c GLOBAL bounds - >= 4773350 @ 0.711214
0.87/0.92 c GLOBAL bounds - >= 4773350 @ 0.713218
0.87/0.92 c GLOBAL bounds - >= 4773350 @ 0.715106
0.87/0.93 c GLOBAL bounds - >= 4773350 @ 0.716979
0.87/0.93 c GLOBAL bounds - >= 4773350 @ 0.718856
0.87/0.93 c GLOBAL bounds - >= 4773350 @ 0.721637
0.87/0.94 c GLOBAL bounds - >= 4773350 @ 0.724022
0.87/0.94 c GLOBAL bounds - >= 4773350 @ 0.72718
0.87/0.94 c GLOBAL bounds - >= 4773350 @ 0.728177
0.87/0.95 c GLOBAL bounds - >= 4773350 @ 0.730778
0.87/0.95 c GLOBAL bounds - >= 4773350 @ 0.732113
0.87/0.96 c GLOBAL bounds - >= 4773350 @ 0.735678
0.87/0.96 c GLOBAL bounds - >= 4773350 @ 0.73814
0.87/0.96 c GLOBAL bounds - >= 4773350 @ 0.740698
0.87/0.97 c GLOBAL bounds - >= 4773350 @ 0.742142
0.87/0.97 c GLOBAL bounds - >= 4773350 @ 0.744859
0.87/0.97 c GLOBAL bounds - >= 4773350 @ 0.746491
0.87/0.98 c GLOBAL bounds - >= 4773350 @ 0.748726
0.87/0.98 c GLOBAL bounds - >= 4773350 @ 0.751297
0.87/0.98 c GLOBAL bounds - >= 4773350 @ 0.755493
0.87/0.99 c GLOBAL bounds - >= 4773350 @ 0.757834
0.87/0.99 c GLOBAL bounds - >= 4773350 @ 0.760993
0.87/0.99 c GLOBAL bounds - >= 4773350 @ 0.763421
0.87/1.00 c GLOBAL bounds - >= 4773350 @ 0.765746
0.98/1.01 c GLOBAL bounds - >= 4773350 @ 0.770581
0.98/1.01 c GLOBAL bounds - >= 4773350 @ 0.775197
0.98/1.02 c GLOBAL bounds - >= 4773350 @ 0.779679
0.98/1.03 c GLOBAL bounds - >= 4773350 @ 0.783124
0.98/1.03 c GLOBAL bounds - >= 4773350 @ 0.787014
0.98/1.04 c GLOBAL bounds - >= 4773350 @ 0.790824
0.98/1.05 c GLOBAL bounds - >= 4773350 @ 0.797229
0.98/1.06 c GLOBAL bounds - >= 4773350 @ 0.805396
0.98/1.08 c GLOBAL bounds - >= 4773350 @ 0.824715
0.98/1.09 c GLOBAL bounds - >= 5277112 @ 0.835218
0.98/1.10 c GLOBAL bounds - >= 5277112 @ 0.84073
0.98/1.10 c GLOBAL bounds - >= 5277112 @ 0.842752
1.08/1.10 c GLOBAL bounds - >= 5277112 @ 0.844644
1.08/1.10 c GLOBAL bounds - >= 5277112 @ 0.846557
1.08/1.11 c GLOBAL bounds - >= 5277112 @ 0.849124
1.08/1.11 c GLOBAL bounds - >= 5277112 @ 0.851377
1.08/1.12 c GLOBAL bounds - >= 5277112 @ 0.854937
1.08/1.12 c GLOBAL bounds - >= 5277112 @ 0.856602
1.08/1.12 c GLOBAL bounds - >= 5277112 @ 0.860876
1.08/1.12 c GLOBAL bounds - >= 5277112 @ 0.863322
1.08/1.13 c GLOBAL bounds - >= 5277112 @ 0.865587
1.08/1.13 c GLOBAL bounds - >= 5277112 @ 0.867767
1.08/1.14 c GLOBAL bounds - >= 5277112 @ 0.869888
1.08/1.14 c GLOBAL bounds - >= 5277112 @ 0.872155
1.08/1.14 c GLOBAL bounds - >= 5277112 @ 0.874343
1.08/1.15 c GLOBAL bounds - >= 5277112 @ 0.876484
1.08/1.15 c GLOBAL bounds - >= 5277112 @ 0.878617
1.08/1.15 c GLOBAL bounds - >= 5277112 @ 0.880871
1.08/1.16 c GLOBAL bounds - >= 5277112 @ 0.884225
1.08/1.16 c GLOBAL bounds - >= 5277112 @ 0.886398
1.08/1.17 c GLOBAL bounds - >= 5277112 @ 0.889523
1.08/1.17 c GLOBAL bounds - >= 5277112 @ 0.891757
1.08/1.17 c GLOBAL bounds - >= 5277112 @ 0.893077
1.08/1.18 c GLOBAL bounds - >= 5277112 @ 0.897026
1.08/1.19 c GLOBAL bounds - >= 5277112 @ 0.900968
1.08/1.19 c GLOBAL bounds - >= 5277112 @ 0.905034
1.17/1.20 c GLOBAL bounds - >= 5277112 @ 0.909075
1.17/1.21 c GLOBAL bounds - >= 5277112 @ 0.916494
1.17/1.22 c GLOBAL bounds - >= 5277112 @ 0.920891
1.17/1.23 c GLOBAL bounds - >= 5277112 @ 0.928245
1.17/1.24 c GLOBAL bounds - >= 5277112 @ 0.939917
1.17/1.25 c GLOBAL bounds - >= 5277112 @ 0.945184
1.17/1.26 c GLOBAL bounds - >= 5277112 @ 0.955409
1.17/1.28 c GLOBAL bounds - >= 5277112 @ 0.968377
1.17/1.29 c GLOBAL bounds - >= 5277112 @ 0.981081
1.27/1.30 c GLOBAL bounds - >= 5354406 @ 0.985745
1.27/1.30 c GLOBAL bounds - >= 5354406 @ 0.990944
1.27/1.30 c GLOBAL bounds - >= 5354406 @ 0.992703
1.27/1.31 c GLOBAL bounds - >= 5354406 @ 0.994646
1.27/1.31 c GLOBAL bounds - >= 5354406 @ 0.996528
1.27/1.31 c GLOBAL bounds - >= 5354406 @ 0.998155
1.27/1.31 c GLOBAL bounds - >= 5354406 @ 0.999785
1.27/1.31 c GLOBAL bounds - >= 5354406 @ 1.00148
1.27/1.32 c GLOBAL bounds - >= 5354406 @ 1.0043
1.27/1.32 c GLOBAL bounds - >= 5354406 @ 1.00606
1.27/1.33 c GLOBAL bounds - >= 5354406 @ 1.00991
1.27/1.33 c GLOBAL bounds - >= 5354406 @ 1.01264
1.27/1.34 c GLOBAL bounds - >= 5354406 @ 1.01427
1.27/1.34 c GLOBAL bounds - >= 5354406 @ 1.01527
1.27/1.34 c GLOBAL bounds - >= 5354406 @ 1.01565
1.27/1.35 c GLOBAL bounds - >= 5354406 @ 1.01795
1.27/1.35 c GLOBAL bounds - >= 5354406 @ 1.01968
1.27/1.35 c GLOBAL bounds - >= 5354406 @ 1.02205
1.27/1.36 c GLOBAL bounds - >= 5354406 @ 1.02458
1.27/1.36 c GLOBAL bounds - >= 5354406 @ 1.02689
1.27/1.37 c GLOBAL bounds - >= 5354406 @ 1.02843
1.27/1.37 c GLOBAL bounds - >= 5354406 @ 1.03079
1.27/1.38 c GLOBAL bounds - >= 5354406 @ 1.03264
1.27/1.38 c GLOBAL bounds - >= 5354406 @ 1.0349
1.27/1.38 c GLOBAL bounds - >= 5354406 @ 1.03867
1.27/1.39 c GLOBAL bounds - >= 5354406 @ 1.041
1.27/1.39 c GLOBAL bounds - >= 5354406 @ 1.04441
1.37/1.40 c GLOBAL bounds - >= 5354406 @ 1.04837
1.37/1.40 c GLOBAL bounds - >= 5354406 @ 1.05279
1.37/1.41 c GLOBAL bounds - >= 5354406 @ 1.05503
1.37/1.42 c GLOBAL bounds - >= 5354406 @ 1.05983
1.37/1.43 c GLOBAL bounds - >= 5354406 @ 1.06485
1.37/1.43 c GLOBAL bounds - >= 5354406 @ 1.0705
1.37/1.45 c GLOBAL bounds - >= 5354406 @ 1.07973
1.37/1.47 c GLOBAL bounds - >= 5354406 @ 1.09988
1.37/1.48 c GLOBAL bounds - >= 5354406 @ 1.105
1.37/1.48 c GLOBAL bounds - >= 5677382 @ 1.1099
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.11431
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.11607
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.11807
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.12001
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.12191
1.37/1.49 c GLOBAL bounds - >= 5677382 @ 1.12369
1.47/1.50 c GLOBAL bounds - >= 5677382 @ 1.12547
1.47/1.50 c GLOBAL bounds - >= 5677382 @ 1.12949
1.47/1.50 c GLOBAL bounds - >= 5677382 @ 1.13166
1.47/1.51 c GLOBAL bounds - >= 5677382 @ 1.13362
1.47/1.51 c GLOBAL bounds - >= 5677382 @ 1.13613
1.47/1.52 c GLOBAL bounds - >= 5677382 @ 1.13775
1.47/1.52 c GLOBAL bounds - >= 5677382 @ 1.13997
1.47/1.53 c GLOBAL bounds - >= 5677382 @ 1.14338
1.47/1.53 c GLOBAL bounds - >= 5677382 @ 1.14579
1.47/1.53 c GLOBAL bounds - >= 5677382 @ 1.14837
1.47/1.54 c GLOBAL bounds - >= 5677382 @ 1.15051
1.47/1.54 c GLOBAL bounds - >= 5677382 @ 1.15391
1.47/1.54 c GLOBAL bounds - >= 5677382 @ 1.15494
1.47/1.55 c GLOBAL bounds - >= 5677382 @ 1.15761
1.47/1.55 c GLOBAL bounds - >= 5677382 @ 1.15893
1.47/1.56 c GLOBAL bounds - >= 5677382 @ 1.16241
1.47/1.56 c GLOBAL bounds - >= 5677382 @ 1.16448
1.47/1.56 c GLOBAL bounds - >= 5677382 @ 1.1678
1.47/1.57 c GLOBAL bounds - >= 5677382 @ 1.17019
1.47/1.57 c GLOBAL bounds - >= 5677382 @ 1.17461
1.47/1.58 c GLOBAL bounds - >= 5677382 @ 1.18033
1.47/1.59 c GLOBAL bounds - >= 5677382 @ 1.1826
1.47/1.59 c GLOBAL bounds - >= 5677382 @ 1.18786
1.58/1.60 c GLOBAL bounds - >= 5677382 @ 1.19048
1.58/1.61 c GLOBAL bounds - >= 5677382 @ 1.19337
1.58/1.61 c GLOBAL bounds - >= 5677382 @ 1.19768
1.58/1.62 c GLOBAL bounds - >= 5677382 @ 1.20139
1.58/1.62 c GLOBAL bounds - >= 5677382 @ 1.20582
1.58/1.63 c GLOBAL bounds - >= 5677382 @ 1.20866
1.58/1.64 c GLOBAL bounds - >= 5677382 @ 1.21199
1.58/1.65 c GLOBAL bounds - >= 5677382 @ 1.22047
1.58/1.65 c GLOBAL bounds - >= 5677382 @ 1.22441
1.58/1.66 c GLOBAL bounds - >= 5677382 @ 1.2313
1.58/1.69 c GLOBAL bounds - >= 5677382 @ 1.25341
1.58/1.69 c GLOBAL bounds - >= 5677382 @ 1.25867
1.68/1.70 c GLOBAL bounds - >= 5820566 @ 1.26383
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.26885
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.27086
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.27276
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.2746
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.27633
1.68/1.71 c GLOBAL bounds - >= 5820566 @ 1.27709
1.68/1.72 c GLOBAL bounds - >= 5820566 @ 1.27882
1.68/1.72 c GLOBAL bounds - >= 5820566 @ 1.28265
1.68/1.72 c GLOBAL bounds - >= 5820566 @ 1.28541
1.68/1.73 c GLOBAL bounds - >= 5820566 @ 1.28993
1.68/1.73 c GLOBAL bounds - >= 5820566 @ 1.29159
1.68/1.74 c GLOBAL bounds - >= 5820566 @ 1.29522
1.68/1.74 c GLOBAL bounds - >= 5820566 @ 1.29777
1.68/1.75 c GLOBAL bounds - >= 5820566 @ 1.30034
1.68/1.75 c GLOBAL bounds - >= 5820566 @ 1.30294
1.68/1.75 c GLOBAL bounds - >= 5820566 @ 1.30748
1.68/1.76 c GLOBAL bounds - >= 5820566 @ 1.31033
1.68/1.76 c GLOBAL bounds - >= 5820566 @ 1.31488
1.68/1.77 c GLOBAL bounds - >= 5820566 @ 1.31755
1.68/1.77 c GLOBAL bounds - >= 5820566 @ 1.32114
1.68/1.77 c GLOBAL bounds - >= 5820566 @ 1.32379
1.68/1.78 c GLOBAL bounds - >= 5820566 @ 1.32833
1.68/1.78 c GLOBAL bounds - >= 5820566 @ 1.33093
1.68/1.79 c GLOBAL bounds - >= 5820566 @ 1.33544
1.68/1.79 c GLOBAL bounds - >= 5820566 @ 1.33805
1.78/1.80 c GLOBAL bounds - >= 5820566 @ 1.34146
1.78/1.80 c GLOBAL bounds - >= 5820566 @ 1.34395
1.78/1.81 c GLOBAL bounds - >= 5820566 @ 1.34883
1.78/1.82 c GLOBAL bounds - >= 5820566 @ 1.35654
1.78/1.83 c GLOBAL bounds - >= 5820566 @ 1.36116
1.78/1.84 c GLOBAL bounds - >= 5820566 @ 1.36504
1.78/1.84 c GLOBAL bounds - >= 5820566 @ 1.37219
1.78/1.85 c GLOBAL bounds - >= 5820566 @ 1.37903
1.78/1.86 c GLOBAL bounds - >= 5820566 @ 1.38836
1.78/1.87 c GLOBAL bounds - >= 5820566 @ 1.39409
1.78/1.88 c GLOBAL bounds - >= 5820566 @ 1.39896
1.87/1.90 c GLOBAL bounds - >= 5820566 @ 1.41371
1.87/1.91 c GLOBAL bounds - >= 5820566 @ 1.42416
1.87/1.93 c GLOBAL bounds - >= 5820566 @ 1.44387
1.87/1.94 c GLOBAL bounds - >= 6204566 @ 1.44905
1.87/1.94 c GLOBAL bounds - >= 6204566 @ 1.45616
1.87/1.95 c GLOBAL bounds - >= 6204566 @ 1.45812
1.87/1.95 c GLOBAL bounds - >= 6204566 @ 1.46015
1.87/1.95 c GLOBAL bounds - >= 6204566 @ 1.4621
1.87/1.95 c GLOBAL bounds - >= 6204566 @ 1.4639
1.87/1.95 c GLOBAL bounds - >= 6204566 @ 1.46582
1.87/1.96 c GLOBAL bounds - >= 6204566 @ 1.46774
1.87/1.96 c GLOBAL bounds - >= 6204566 @ 1.46916
1.87/1.96 c GLOBAL bounds - >= 6204566 @ 1.47016
1.87/1.96 c GLOBAL bounds - >= 6204566 @ 1.47114
1.87/1.96 c GLOBAL bounds - >= 6204566 @ 1.47253
1.87/1.97 c GLOBAL bounds - >= 6204566 @ 1.47515
1.87/1.97 c GLOBAL bounds - >= 6204566 @ 1.4769
1.87/1.98 c GLOBAL bounds - >= 6204566 @ 1.48036
1.87/1.98 c GLOBAL bounds - >= 6204566 @ 1.48277
1.87/1.99 c GLOBAL bounds - >= 6204566 @ 1.48421
1.87/1.99 c GLOBAL bounds - >= 6204566 @ 1.48676
1.87/1.99 c GLOBAL bounds - >= 6204566 @ 1.48953
1.87/2.00 c GLOBAL bounds - >= 6204566 @ 1.49137
1.98/2.00 c GLOBAL bounds - >= 6204566 @ 1.49298
1.98/2.00 c GLOBAL bounds - >= 6204566 @ 1.49537
1.98/2.01 c GLOBAL bounds - >= 6204566 @ 1.49888
1.98/2.01 c GLOBAL bounds - >= 6204566 @ 1.50105
1.98/2.02 c GLOBAL bounds - >= 6204566 @ 1.50397
1.98/2.02 c GLOBAL bounds - >= 6204566 @ 1.50623
1.98/2.02 c GLOBAL bounds - >= 6204566 @ 1.51074
1.98/2.03 c GLOBAL bounds - >= 6204566 @ 1.51321
1.98/2.03 c GLOBAL bounds - >= 6204566 @ 1.51575
1.98/2.03 c GLOBAL bounds - >= 6204566 @ 1.51802
1.98/2.04 c GLOBAL bounds - >= 6204566 @ 1.52003
1.98/2.05 c GLOBAL bounds - >= 6204566 @ 1.52542
1.98/2.05 c GLOBAL bounds - >= 6204566 @ 1.52944
1.98/2.06 c GLOBAL bounds - >= 6204566 @ 1.534
1.98/2.07 c GLOBAL bounds - >= 6204566 @ 1.54144
1.98/2.08 c GLOBAL bounds - >= 6204566 @ 1.55056
1.98/2.09 c GLOBAL bounds - >= 6204566 @ 1.55196
1.98/2.10 c GLOBAL bounds - >= 6204566 @ 1.5605
2.08/2.11 c GLOBAL bounds - >= 6204566 @ 1.56555
2.08/2.12 c GLOBAL bounds - >= 6204566 @ 1.57274
2.08/2.13 c GLOBAL bounds - >= 6204566 @ 1.58652
2.08/2.15 c GLOBAL bounds - >= 6204566 @ 1.60225
2.08/2.16 c GLOBAL bounds - >= 6204566 @ 1.61124
2.08/2.17 c GLOBAL bounds - >= 6420508 @ 1.61949
2.08/2.18 c GLOBAL bounds - >= 6420508 @ 1.62577
2.08/2.18 c GLOBAL bounds - >= 6420508 @ 1.62677
2.08/2.18 c GLOBAL bounds - >= 6420508 @ 1.62825
2.08/2.18 c GLOBAL bounds - >= 6420508 @ 1.62994
2.08/2.18 c GLOBAL bounds - >= 6420508 @ 1.63182
2.08/2.19 c GLOBAL bounds - >= 6420508 @ 1.6335
2.08/2.19 c GLOBAL bounds - >= 6420508 @ 1.63744
2.08/2.19 c GLOBAL bounds - >= 6420508 @ 1.63935
2.17/2.20 c GLOBAL bounds - >= 6420508 @ 1.64273
2.17/2.20 c GLOBAL bounds - >= 6420508 @ 1.64447
2.17/2.20 c GLOBAL bounds - >= 6420508 @ 1.64811
2.17/2.21 c GLOBAL bounds - >= 6420508 @ 1.65028
2.17/2.21 c GLOBAL bounds - >= 6420508 @ 1.6545
2.17/2.21 c GLOBAL bounds - >= 6420508 @ 1.65652
2.17/2.22 c GLOBAL bounds - >= 6420508 @ 1.66035
2.17/2.22 c GLOBAL bounds - >= 6420508 @ 1.66185
2.17/2.23 c GLOBAL bounds - >= 6420508 @ 1.66525
2.17/2.23 c GLOBAL bounds - >= 6420508 @ 1.66678
2.17/2.24 c GLOBAL bounds - >= 6420508 @ 1.66942
2.17/2.24 c GLOBAL bounds - >= 6420508 @ 1.6717
2.17/2.24 c GLOBAL bounds - >= 6420508 @ 1.67653
2.17/2.24 c GLOBAL bounds - >= 6420508 @ 1.6784
2.17/2.25 c GLOBAL bounds - >= 6420508 @ 1.68234
2.17/2.25 c GLOBAL bounds - >= 6420508 @ 1.68475
2.17/2.26 c GLOBAL bounds - >= 6420508 @ 1.68603
2.17/2.27 c GLOBAL bounds - >= 6420508 @ 1.69008
2.17/2.27 c GLOBAL bounds - >= 6420508 @ 1.69347
2.17/2.28 c GLOBAL bounds - >= 6420508 @ 1.69976
2.17/2.29 c GLOBAL bounds - >= 6420508 @ 1.70608
2.28/2.30 c GLOBAL bounds - >= 6420508 @ 1.71056
2.28/2.30 c GLOBAL bounds - >= 6420508 @ 1.71531
2.28/2.31 c GLOBAL bounds - >= 6420508 @ 1.72286
2.28/2.31 c GLOBAL bounds - >= 6420508 @ 1.7231
2.28/2.32 c GLOBAL bounds - >= 6420508 @ 1.72701
2.28/2.32 c GLOBAL bounds - >= 6420508 @ 1.7289
2.28/2.32 c GLOBAL bounds - >= 6420508 @ 1.73074
2.28/2.32 c GLOBAL bounds - >= 6420508 @ 1.73255
2.28/2.33 c GLOBAL bounds - >= 6420508 @ 1.73429
2.28/2.33 c GLOBAL bounds - >= 6420508 @ 1.736
2.28/2.33 c GLOBAL bounds - >= 6420508 @ 1.73879
2.28/2.34 c GLOBAL bounds - >= 6420508 @ 1.74145
2.28/2.34 c GLOBAL bounds - >= 6420508 @ 1.74517
2.28/2.34 c GLOBAL bounds - >= 6420508 @ 1.74747
2.28/2.35 c GLOBAL bounds - >= 6420508 @ 1.74847
2.28/2.35 c GLOBAL bounds - >= 6420508 @ 1.75021
2.28/2.36 c GLOBAL bounds - >= 6420508 @ 1.75302
2.28/2.36 c GLOBAL bounds - >= 6420508 @ 1.75498
2.28/2.36 c GLOBAL bounds - >= 6420508 @ 1.75686
2.28/2.36 c GLOBAL bounds - >= 6420508 @ 1.75872
2.28/2.37 c GLOBAL bounds - >= 6420508 @ 1.76244
2.28/2.37 c GLOBAL bounds - >= 6420508 @ 1.76341
2.28/2.38 c GLOBAL bounds - >= 6420508 @ 1.76503
2.28/2.38 c GLOBAL bounds - >= 6420508 @ 1.76778
2.28/2.38 c GLOBAL bounds - >= 6420508 @ 1.77029
2.28/2.39 c GLOBAL bounds - >= 6420508 @ 1.77299
2.28/2.39 c GLOBAL bounds - >= 6420508 @ 1.77641
2.37/2.40 c GLOBAL bounds - >= 6420508 @ 1.77817
2.37/2.40 c GLOBAL bounds - >= 6420508 @ 1.78093
2.37/2.41 c GLOBAL bounds - >= 6420508 @ 1.78565
2.37/2.41 c GLOBAL bounds - >= 6420508 @ 1.79167
2.37/2.42 c GLOBAL bounds - >= 6420508 @ 1.7962
2.37/2.43 c GLOBAL bounds - >= 6420508 @ 1.80296
2.37/2.48 c GLOBAL bounds - >= 6420508 @ 1.8454
2.37/2.49 c GLOBAL bounds - >= 6420508 @ 1.8547
2.37/2.49 c GLOBAL bounds - >= 6684696 @ 1.85609
2.47/2.50 c GLOBAL bounds - >= 6684696 @ 1.86327
2.47/2.50 c GLOBAL bounds - >= 6684696 @ 1.86532
2.47/2.50 c GLOBAL bounds - >= 6684696 @ 1.86768
2.47/2.50 c GLOBAL bounds - >= 6684696 @ 1.86958
2.47/2.51 c GLOBAL bounds - >= 6684696 @ 1.87162
2.47/2.51 c GLOBAL bounds - >= 6684696 @ 1.87352
2.47/2.51 c GLOBAL bounds - >= 6684696 @ 1.87542
2.47/2.52 c GLOBAL bounds - >= 6684696 @ 1.88182
2.47/2.52 c GLOBAL bounds - >= 6684696 @ 1.88497
2.47/2.53 c GLOBAL bounds - >= 6684696 @ 1.88927
2.47/2.53 c GLOBAL bounds - >= 6684696 @ 1.89234
2.47/2.54 c GLOBAL bounds - >= 6684696 @ 1.89461
2.47/2.54 c GLOBAL bounds - >= 6684696 @ 1.89765
2.47/2.54 c GLOBAL bounds - >= 6684696 @ 1.89976
2.47/2.55 c GLOBAL bounds - >= 6684696 @ 1.90273
2.47/2.55 c GLOBAL bounds - >= 6684696 @ 1.90575
2.47/2.56 c GLOBAL bounds - >= 6684696 @ 1.90759
2.47/2.56 c GLOBAL bounds - >= 6684696 @ 1.91161
2.47/2.57 c GLOBAL bounds - >= 6684696 @ 1.91482
2.47/2.57 c GLOBAL bounds - >= 6684696 @ 1.91744
2.47/2.57 c GLOBAL bounds - >= 6684696 @ 1.92002
2.47/2.58 c GLOBAL bounds - >= 6684696 @ 1.92446
2.47/2.58 c GLOBAL bounds - >= 6684696 @ 1.92698
2.47/2.59 c GLOBAL bounds - >= 6684696 @ 1.92992
2.47/2.59 c GLOBAL bounds - >= 6684696 @ 1.93307
2.57/2.60 c GLOBAL bounds - >= 6684696 @ 1.93615
2.57/2.61 c GLOBAL bounds - >= 6684696 @ 1.94122
2.57/2.61 c GLOBAL bounds - >= 6684696 @ 1.94468
2.57/2.62 c GLOBAL bounds - >= 6684696 @ 1.94857
2.57/2.63 c GLOBAL bounds - >= 6684696 @ 1.95064
2.57/2.63 c GLOBAL bounds - >= 6684696 @ 1.95545
2.57/2.64 c GLOBAL bounds - >= 6684696 @ 1.96108
2.57/2.65 c GLOBAL bounds - >= 6684696 @ 1.96663
2.57/2.66 c GLOBAL bounds - >= 6684696 @ 1.97064
2.57/2.66 c GLOBAL bounds - >= 6684696 @ 1.97373
2.57/2.67 c GLOBAL bounds - >= 6684696 @ 1.98175
2.57/2.69 c GLOBAL bounds - >= 6684696 @ 1.99235
2.67/2.70 c GLOBAL bounds - >= 6684696 @ 2.0053
2.67/2.72 c GLOBAL bounds - >= 6896268 @ 2.02156
2.67/2.73 c GLOBAL bounds - >= 6896268 @ 2.0283
2.67/2.73 c GLOBAL bounds - >= 6896268 @ 2.03047
2.67/2.73 c GLOBAL bounds - >= 6896268 @ 2.03267
2.67/2.73 c GLOBAL bounds - >= 6896268 @ 2.03509
2.67/2.73 c GLOBAL bounds - >= 6896268 @ 2.03671
2.67/2.74 c GLOBAL bounds - >= 6896268 @ 2.04068
2.67/2.74 c GLOBAL bounds - >= 6896268 @ 2.04345
2.67/2.75 c GLOBAL bounds - >= 6896268 @ 2.04765
2.67/2.75 c GLOBAL bounds - >= 6896268 @ 2.04964
2.67/2.76 c #Conflicts: 1000 | #Constraints: 36099
2.67/2.76 c GLOBAL bounds - >= 6896268 @ 2.05212
2.67/2.76 c GLOBAL bounds - >= 6896268 @ 2.05422
2.67/2.76 c GLOBAL bounds - >= 6896268 @ 2.05762
2.67/2.77 c GLOBAL bounds - >= 6896268 @ 2.05941
2.67/2.77 c GLOBAL bounds - >= 6896268 @ 2.06337
2.67/2.77 c GLOBAL bounds - >= 6896268 @ 2.06533
2.67/2.78 c GLOBAL bounds - >= 6896268 @ 2.06826
2.67/2.78 c GLOBAL bounds - >= 6896268 @ 2.07096
2.67/2.79 c GLOBAL bounds - >= 6896268 @ 2.07395
2.67/2.79 c GLOBAL bounds - >= 6896268 @ 2.07647
2.77/2.80 c GLOBAL bounds - >= 6896268 @ 2.0794
2.77/2.80 c GLOBAL bounds - >= 6896268 @ 2.08193
2.77/2.81 c GLOBAL bounds - >= 6896268 @ 2.08511
2.77/2.81 c GLOBAL bounds - >= 6896268 @ 2.08751
2.77/2.81 c GLOBAL bounds - >= 6896268 @ 2.09144
2.77/2.82 c GLOBAL bounds - >= 6896268 @ 2.09665
2.77/2.83 c GLOBAL bounds - >= 6896268 @ 2.10206
2.77/2.84 c GLOBAL bounds - >= 6896268 @ 2.11049
2.77/2.85 c GLOBAL bounds - >= 6896268 @ 2.12264
2.77/2.86 c GLOBAL bounds - >= 6896268 @ 2.13113
2.77/2.87 c GLOBAL bounds - >= 6896268 @ 2.13994
2.77/2.89 c GLOBAL bounds - >= 6896268 @ 2.14939
2.77/2.90 c GLOBAL bounds - >= 6896268 @ 2.15637
2.87/2.90 c GLOBAL bounds - >= 6950408 @ 2.1637
2.87/2.91 c GLOBAL bounds - >= 6950408 @ 2.16836
2.87/2.91 c GLOBAL bounds - >= 6950408 @ 2.1712
2.87/2.92 c GLOBAL bounds - >= 6950408 @ 2.17377
2.87/2.92 c GLOBAL bounds - >= 6950408 @ 2.17604
2.87/2.93 c GLOBAL bounds - >= 6950408 @ 2.17922
2.87/2.93 c GLOBAL bounds - >= 6950408 @ 2.18015
2.87/2.94 c GLOBAL bounds - >= 6950408 @ 2.18328
2.87/2.94 c GLOBAL bounds - >= 6950408 @ 2.18436
2.87/2.94 c GLOBAL bounds - >= 6950408 @ 2.18677
2.87/2.95 c GLOBAL bounds - >= 6950408 @ 2.19075
2.87/2.95 c GLOBAL bounds - >= 6950408 @ 2.19384
2.87/2.96 c GLOBAL bounds - >= 6950408 @ 2.19798
2.87/2.96 c GLOBAL bounds - >= 6950408 @ 2.20124
2.87/2.97 c GLOBAL bounds - >= 6950408 @ 2.20424
2.87/2.97 c GLOBAL bounds - >= 6950408 @ 2.20629
2.87/2.98 c GLOBAL bounds - >= 6950408 @ 2.20973
2.87/2.98 c GLOBAL bounds - >= 6950408 @ 2.21271
2.87/2.99 c GLOBAL bounds - >= 6950408 @ 2.2172
2.87/2.99 c GLOBAL bounds - >= 6950408 @ 2.21978
2.87/3.00 c GLOBAL bounds - >= 6950408 @ 2.22333
2.97/3.00 c GLOBAL bounds - >= 6950408 @ 2.22709
2.97/3.01 c GLOBAL bounds - >= 6950408 @ 2.23528
2.97/3.02 c GLOBAL bounds - >= 6950408 @ 2.23967
2.97/3.03 c GLOBAL bounds - >= 6950408 @ 2.24499
2.97/3.03 c GLOBAL bounds - >= 6950408 @ 2.25027
2.97/3.05 c GLOBAL bounds - >= 6950408 @ 2.26153
2.97/3.05 c GLOBAL bounds - >= 6950408 @ 2.26566
2.97/3.06 c GLOBAL bounds - >= 6950408 @ 2.27006
2.97/3.08 c GLOBAL bounds - >= 6950408 @ 2.28462
2.97/3.09 c GLOBAL bounds - >= 6950408 @ 2.29157
2.97/3.10 c GLOBAL bounds - >= 6950408 @ 2.29938
3.08/3.11 c GLOBAL bounds - >= 6950408 @ 2.30673
3.08/3.11 c GLOBAL bounds - >= 6950408 @ 2.30842
3.08/3.12 c GLOBAL bounds - >= 6950408 @ 2.31371
3.08/3.14 c GLOBAL bounds - >= 7021866 @ 2.33347
3.08/3.14 c GLOBAL bounds - >= 7021866 @ 2.33772
3.08/3.15 c GLOBAL bounds - >= 7021866 @ 2.33978
3.08/3.15 c GLOBAL bounds - >= 7021866 @ 2.34181
3.08/3.15 c GLOBAL bounds - >= 7021866 @ 2.34386
3.08/3.15 c GLOBAL bounds - >= 7021866 @ 2.34596
3.08/3.15 c GLOBAL bounds - >= 7021866 @ 2.34801
3.08/3.16 c GLOBAL bounds - >= 7021866 @ 2.35009
3.08/3.16 c GLOBAL bounds - >= 7021866 @ 2.35215
3.08/3.16 c GLOBAL bounds - >= 7021866 @ 2.3536
3.08/3.17 c GLOBAL bounds - >= 7021866 @ 2.35659
3.08/3.17 c GLOBAL bounds - >= 7021866 @ 2.35925
3.08/3.18 c GLOBAL bounds - >= 7021866 @ 2.36384
3.08/3.18 c GLOBAL bounds - >= 7021866 @ 2.36736
3.08/3.19 c GLOBAL bounds - >= 7021866 @ 2.37227
3.08/3.19 c GLOBAL bounds - >= 7021866 @ 2.37575
3.16/3.20 c GLOBAL bounds - >= 7021866 @ 2.38024
3.16/3.20 c GLOBAL bounds - >= 7021866 @ 2.38359
3.16/3.21 c GLOBAL bounds - >= 7021866 @ 2.39044
3.16/3.21 c GLOBAL bounds - >= 7021866 @ 2.39301
3.16/3.22 c GLOBAL bounds - >= 7021866 @ 2.39607
3.16/3.22 c GLOBAL bounds - >= 7021866 @ 2.3985
3.16/3.23 c GLOBAL bounds - >= 7021866 @ 2.40198
3.16/3.23 c GLOBAL bounds - >= 7021866 @ 2.4042
3.16/3.24 c GLOBAL bounds - >= 7021866 @ 2.40813
3.16/3.24 c GLOBAL bounds - >= 7021866 @ 2.41056
3.16/3.25 c GLOBAL bounds - >= 7021866 @ 2.41341
3.16/3.25 c GLOBAL bounds - >= 7021866 @ 2.41592
3.16/3.26 c GLOBAL bounds - >= 7021866 @ 2.41835
3.16/3.27 c GLOBAL bounds - >= 7021866 @ 2.42187
3.16/3.27 c GLOBAL bounds - >= 7021866 @ 2.42738
3.16/3.28 c GLOBAL bounds - >= 7021866 @ 2.43398
3.16/3.29 c GLOBAL bounds - >= 7021866 @ 2.43751
3.27/3.30 c GLOBAL bounds - >= 7021866 @ 2.44287
3.27/3.30 c GLOBAL bounds - >= 7021866 @ 2.44921
3.27/3.31 c GLOBAL bounds - >= 7021866 @ 2.4573
3.27/3.32 c GLOBAL bounds - >= 7021866 @ 2.46575
3.27/3.37 c GLOBAL bounds - >= 7021866 @ 2.50125
3.27/3.37 c GLOBAL bounds - >= 7096592 @ 2.50513
3.27/3.38 c GLOBAL bounds - >= 7096592 @ 2.50884
3.27/3.38 c GLOBAL bounds - >= 7096592 @ 2.51101
3.27/3.38 c GLOBAL bounds - >= 7096592 @ 2.51306
3.27/3.38 c GLOBAL bounds - >= 7096592 @ 2.51516
3.27/3.38 c GLOBAL bounds - >= 7096592 @ 2.5172
3.27/3.39 c GLOBAL bounds - >= 7096592 @ 2.51928
3.27/3.39 c GLOBAL bounds - >= 7096592 @ 2.52132
3.27/3.39 c GLOBAL bounds - >= 7096592 @ 2.5257
3.37/3.40 c GLOBAL bounds - >= 7096592 @ 2.52809
3.37/3.40 c GLOBAL bounds - >= 7096592 @ 2.53183
3.37/3.41 c GLOBAL bounds - >= 7096592 @ 2.53489
3.37/3.41 c GLOBAL bounds - >= 7096592 @ 2.53603
3.37/3.42 c GLOBAL bounds - >= 7096592 @ 2.53856
3.37/3.42 c GLOBAL bounds - >= 7096592 @ 2.54352
3.37/3.42 c GLOBAL bounds - >= 7096592 @ 2.54665
3.37/3.43 c GLOBAL bounds - >= 7096592 @ 2.54977
3.37/3.43 c GLOBAL bounds - >= 7096592 @ 2.55286
3.37/3.44 c GLOBAL bounds - >= 7096592 @ 2.55734
3.37/3.44 c GLOBAL bounds - >= 7096592 @ 2.56025
3.37/3.45 c GLOBAL bounds - >= 7096592 @ 2.56339
3.37/3.45 c GLOBAL bounds - >= 7096592 @ 2.56637
3.37/3.46 c GLOBAL bounds - >= 7096592 @ 2.57164
3.37/3.46 c GLOBAL bounds - >= 7096592 @ 2.57396
3.37/3.47 c GLOBAL bounds - >= 7096592 @ 2.57661
3.37/3.47 c GLOBAL bounds - >= 7096592 @ 2.57995
3.37/3.48 c GLOBAL bounds - >= 7096592 @ 2.58426
3.37/3.48 c GLOBAL bounds - >= 7096592 @ 2.58793
3.37/3.49 c GLOBAL bounds - >= 7096592 @ 2.59367
3.47/3.50 c GLOBAL bounds - >= 7096592 @ 2.59791
3.47/3.51 c GLOBAL bounds - >= 7096592 @ 2.60259
3.47/3.51 c GLOBAL bounds - >= 7096592 @ 2.60559
3.47/3.53 c GLOBAL bounds - >= 7096592 @ 2.61843
3.47/3.54 c GLOBAL bounds - >= 7096592 @ 2.62732
3.47/3.55 c GLOBAL bounds - >= 7096592 @ 2.63182
3.47/3.55 c GLOBAL bounds - >= 7096592 @ 2.6347
3.47/3.57 c GLOBAL bounds - >= 7096592 @ 2.6442
3.47/3.58 c GLOBAL bounds - >= 7096592 @ 2.65076
3.47/3.58 c GLOBAL bounds - >= 7096592 @ 2.65566
3.47/3.59 c GLOBAL bounds - >= 7096592 @ 2.6614
3.57/3.60 c GLOBAL bounds - >= 7096592 @ 2.66474
3.57/3.60 c GLOBAL bounds - >= 7142166 @ 2.67117
3.57/3.61 c GLOBAL bounds - >= 7142166 @ 2.67619
3.57/3.61 c GLOBAL bounds - >= 7142166 @ 2.67801
3.57/3.62 c GLOBAL bounds - >= 7142166 @ 2.68494
3.57/3.62 c GLOBAL bounds - >= 7142166 @ 2.68783
3.57/3.63 c GLOBAL bounds - >= 7142166 @ 2.6972
3.57/3.64 c GLOBAL bounds - >= 7142166 @ 2.70092
3.57/3.64 c GLOBAL bounds - >= 7142166 @ 2.70445
3.57/3.65 c GLOBAL bounds - >= 7142166 @ 2.7083
3.57/3.65 c GLOBAL bounds - >= 7142166 @ 2.71074
3.57/3.66 c GLOBAL bounds - >= 7142166 @ 2.71465
3.57/3.66 c GLOBAL bounds - >= 7142166 @ 2.71907
3.57/3.67 c GLOBAL bounds - >= 7142166 @ 2.72286
3.57/3.67 c GLOBAL bounds - >= 7142166 @ 2.72523
3.57/3.68 c GLOBAL bounds - >= 7142166 @ 2.72882
3.57/3.68 c GLOBAL bounds - >= 7142166 @ 2.73218
3.57/3.69 c GLOBAL bounds - >= 7142166 @ 2.73581
3.57/3.69 c GLOBAL bounds - >= 7142166 @ 2.7392
3.67/3.70 c GLOBAL bounds - >= 7142166 @ 2.74286
3.67/3.70 c GLOBAL bounds - >= 7142166 @ 2.74734
3.67/3.71 c GLOBAL bounds - >= 7142166 @ 2.7505
3.67/3.71 c GLOBAL bounds - >= 7142166 @ 2.75441
3.67/3.72 c GLOBAL bounds - >= 7142166 @ 2.75806
3.67/3.73 c GLOBAL bounds - >= 7142166 @ 2.76212
3.67/3.76 c GLOBAL bounds - >= 7142166 @ 2.79217
3.67/3.77 c GLOBAL bounds - >= 7142166 @ 2.8043
3.67/3.78 c GLOBAL bounds - >= 7142166 @ 2.8091
3.67/3.79 c GLOBAL bounds - >= 7142166 @ 2.80995
3.67/3.79 c GLOBAL bounds - >= 7142166 @ 2.8159
3.76/3.80 c GLOBAL bounds - >= 7142166 @ 2.82275
3.76/3.81 c GLOBAL bounds - >= 7142166 @ 2.82769
3.76/3.82 c GLOBAL bounds - >= 7142166 @ 2.83933
3.76/3.83 c GLOBAL bounds - >= 7142166 @ 2.84315
3.76/3.83 c GLOBAL bounds - >= 7142166 @ 2.84591
3.76/3.84 c GLOBAL bounds - >= 7142166 @ 2.85127
3.76/3.85 c GLOBAL bounds - >= 7142166 @ 2.86243
5.26/5.36 c #Conflicts: 2000 | #Constraints: 48937
5.26/5.36 c INPROCESSING
5.26/5.36 c GARBAGE COLLECT
5.26/5.36 c GLOBAL bounds - >= 7442531 @ 4.34708
5.26/5.37 c GLOBAL bounds - >= 7442531 @ 4.35716
5.26/5.37 c GLOBAL bounds - >= 7442531 @ 4.35925
5.26/5.38 c GLOBAL bounds - >= 7442531 @ 4.36231
5.26/5.38 c GLOBAL bounds - >= 7442531 @ 4.36539
5.26/5.38 c GLOBAL bounds - >= 7442531 @ 4.36836
5.26/5.38 c GLOBAL bounds - >= 7442531 @ 4.37142
5.26/5.39 c GLOBAL bounds - >= 7442531 @ 4.3747
5.47/5.51 c GLOBAL bounds - >= 7442531 @ 4.49519
5.47/5.52 c GLOBAL bounds - >= 7442531 @ 4.49881
5.47/5.52 c GLOBAL bounds - >= 7442531 @ 4.50371
5.47/5.53 c GLOBAL bounds - >= 7442531 @ 4.50679
5.47/5.53 c GLOBAL bounds - >= 7442531 @ 4.51178
5.47/5.54 c GLOBAL bounds - >= 7442531 @ 4.51378
5.47/5.54 c GLOBAL bounds - >= 7442531 @ 4.51881
5.47/5.55 c GLOBAL bounds - >= 7442531 @ 4.52253
5.47/5.55 c GLOBAL bounds - >= 7442531 @ 4.52575
5.47/5.56 c GLOBAL bounds - >= 7442531 @ 4.5285
5.47/5.56 c GLOBAL bounds - >= 7442531 @ 4.53441
5.47/5.57 c GLOBAL bounds - >= 7442531 @ 4.53773
5.47/5.58 c GLOBAL bounds - >= 7442531 @ 4.54178
5.47/5.58 c GLOBAL bounds - >= 7442531 @ 4.54471
5.47/5.59 c GLOBAL bounds - >= 7442531 @ 4.5497
5.47/5.59 c GLOBAL bounds - >= 7442531 @ 4.55296
5.56/5.60 c GLOBAL bounds - >= 7442531 @ 4.55667
5.56/5.60 c GLOBAL bounds - >= 7442531 @ 4.56
5.56/5.61 c GLOBAL bounds - >= 7442531 @ 4.56581
5.56/5.61 c GLOBAL bounds - >= 7442531 @ 4.56962
5.56/5.62 c GLOBAL bounds - >= 7442531 @ 4.57545
5.56/5.64 c GLOBAL bounds - >= 7442531 @ 4.5886
5.56/5.66 c GLOBAL bounds - >= 7442531 @ 4.606
5.56/5.69 c GLOBAL bounds - >= 7442531 @ 4.63025
5.67/5.74 c GLOBAL bounds - >= 7442531 @ 4.68007
5.67/5.75 c GLOBAL bounds - >= 7442531 @ 4.68778
5.67/5.77 c GLOBAL bounds - >= 7442531 @ 4.71095
5.76/5.81 c GLOBAL bounds - >= 7442531 @ 4.75196
5.76/5.83 c GLOBAL bounds - >= 7442531 @ 4.76378
5.76/5.84 c GLOBAL bounds - >= 7442531 @ 4.77221
6.76/6.88 c #Conflicts: 3000 | #Constraints: 51226
6.76/6.88 c GLOBAL bounds - >= 7442531 @ 5.78926
6.86/6.91 c GLOBAL bounds - >= 7442531 @ 5.82483
9.95/10.03 c #Conflicts: 4000 | #Constraints: 52472
9.95/10.03 c INPROCESSING
9.95/10.03 c GARBAGE COLLECT
9.95/10.03 c GLOBAL bounds - >= 7511484 @ 8.90259
9.95/10.03 c GLOBAL bounds - >= 7511484 @ 8.90983
9.95/10.04 c GLOBAL bounds - >= 7511484 @ 8.91234
9.95/10.04 c GLOBAL bounds - >= 7511484 @ 8.91478
9.95/10.04 c GLOBAL bounds - >= 7511484 @ 8.91765
9.95/10.05 c GLOBAL bounds - >= 7511484 @ 8.92048
9.95/10.10 c GLOBAL bounds - >= 7511484 @ 8.97217
10.06/10.10 c GLOBAL bounds - >= 7511484 @ 8.97574
10.06/10.11 c GLOBAL bounds - >= 7511484 @ 8.98017
10.06/10.11 c GLOBAL bounds - >= 7511484 @ 8.98261
10.06/10.12 c GLOBAL bounds - >= 7511484 @ 8.98797
10.06/10.12 c GLOBAL bounds - >= 7511484 @ 8.99015
10.06/10.13 c GLOBAL bounds - >= 7511484 @ 8.99506
10.06/10.13 c GLOBAL bounds - >= 7511484 @ 8.99917
10.06/10.14 c GLOBAL bounds - >= 7511484 @ 9.00259
10.06/10.15 c GLOBAL bounds - >= 7511484 @ 9.00611
10.06/10.15 c GLOBAL bounds - >= 7511484 @ 9.01248
10.06/10.16 c GLOBAL bounds - >= 7511484 @ 9.01579
10.06/10.17 c GLOBAL bounds - >= 7511484 @ 9.02045
10.06/10.17 c GLOBAL bounds - >= 7511484 @ 9.02461
10.06/10.18 c GLOBAL bounds - >= 7511484 @ 9.03
10.06/10.18 c GLOBAL bounds - >= 7511484 @ 9.03326
10.06/10.19 c GLOBAL bounds - >= 7511484 @ 9.03803
10.06/10.19 c GLOBAL bounds - >= 7511484 @ 9.0403
10.15/10.20 c GLOBAL bounds - >= 7511484 @ 9.04432
10.15/10.20 c GLOBAL bounds - >= 7511484 @ 9.04986
10.15/10.22 c GLOBAL bounds - >= 7511484 @ 9.06473
10.15/10.23 c GLOBAL bounds - >= 7511484 @ 9.06969
10.15/10.24 c GLOBAL bounds - >= 7511484 @ 9.07693
10.15/10.25 c GLOBAL bounds - >= 7511484 @ 9.0834
10.15/10.26 c GLOBAL bounds - >= 7511484 @ 9.09478
10.15/10.27 c GLOBAL bounds - >= 7511484 @ 9.10053
10.15/10.27 c GLOBAL bounds - >= 7511484 @ 9.10487
10.15/10.28 c GLOBAL bounds - >= 7511484 @ 9.10951
10.15/10.29 c GLOBAL bounds - >= 7511484 @ 9.11489
10.25/10.30 c GLOBAL bounds - >= 7511484 @ 9.1192
10.25/10.31 c GLOBAL bounds - >= 7511484 @ 9.12924
10.25/10.32 c GLOBAL bounds - >= 7511484 @ 9.13441
10.25/10.33 c GLOBAL bounds - >= 7511484 @ 9.14115
10.25/10.33 c GLOBAL bounds - >= 7511484 @ 9.14634
10.45/10.51 c #Conflicts: 5000 | #Constraints: 54777
10.45/10.51 c GLOBAL bounds - >= 7511484 @ 9.31763
10.45/10.58 c GLOBAL bounds - >= 7511484 @ 9.38796
10.55/10.61 c GLOBAL bounds - >= 7511484 @ 9.4151
10.55/10.62 c GLOBAL bounds - >= 7511484 @ 9.42312
10.95/11.08 c GLOBAL bounds - >= 7511484 @ 9.87675
11.05/11.12 c GLOBAL bounds - >= 7511484 @ 9.91099
11.05/11.18 c GLOBAL bounds - >= 7511484 @ 9.96344
11.15/11.21 c GLOBAL bounds - >= 7511484 @ 9.99608
23.41/23.52 c #Conflicts: 6000 | #Constraints: 56741
23.41/23.52 c INPROCESSING
23.41/23.52 c GARBAGE COLLECT
23.41/23.52 c #Conflicts: 7000 | #Constraints: 55711
23.41/23.52 c #Conflicts: 8000 | #Constraints: 56711
23.41/23.52 c #Conflicts: 9000 | #Constraints: 57711
23.41/23.52 c INPROCESSING
23.41/23.52 c GARBAGE COLLECT
23.41/23.52 c #Conflicts: 10000 | #Constraints: 56426
23.41/23.52 c GLOBAL bounds - >= 7551711 @ 22.1999
23.41/23.53 c GLOBAL bounds - >= 7551711 @ 22.2119
23.41/23.53 c GLOBAL bounds - >= 7551711 @ 22.2141
23.41/23.54 c GLOBAL bounds - >= 7551711 @ 22.2171
23.41/23.54 c GLOBAL bounds - >= 7551711 @ 22.2193
23.41/23.54 c GLOBAL bounds - >= 7551711 @ 22.2214
23.41/23.56 c GLOBAL bounds - >= 7551711 @ 22.2351
23.41/23.56 c GLOBAL bounds - >= 7551711 @ 22.2395
23.41/23.57 c GLOBAL bounds - >= 7551711 @ 22.2473
23.41/23.58 c GLOBAL bounds 7601204 >= 7551711 @ 22.2527
23.52/23.65 c #Conflicts: 11000 | #Constraints: 57675
23.52/23.65 c GLOBAL bounds 7601204 >= 7551711 @ 22.3228
23.52/23.66 c GLOBAL bounds 7594676 >= 7551711 @ 22.3276
23.52/23.67 c GLOBAL bounds 7594676 >= 7551711 @ 22.3337
23.52/23.67 c GLOBAL bounds 7593518 >= 7551711 @ 22.3394
23.62/23.70 c GLOBAL bounds 7593518 >= 7551711 @ 22.3655
23.62/23.70 c GLOBAL bounds 7586846 >= 7551711 @ 22.3702
23.81/23.91 c GLOBAL bounds 7586846 >= 7551711 @ 22.5678
23.81/23.91 c GLOBAL bounds 7586846 >= 7551711 @ 22.5714
23.92/24.04 c GLOBAL bounds 7586846 >= 7551711 @ 22.6986
23.92/24.05 c GLOBAL bounds 7586846 >= 7551711 @ 22.7019
23.92/24.06 c GLOBAL bounds 7586846 >= 7551711 @ 22.7103
23.92/24.06 c GLOBAL bounds 7586846 >= 7551711 @ 22.7145
26.92/27.05 c #Conflicts: 12000 | #Constraints: 58700
26.92/27.05 c INPROCESSING
26.92/27.05 c GARBAGE COLLECT
26.92/27.05 c #Conflicts: 13000 | #Constraints: 56569
26.92/27.05 c GLOBAL bounds 7586846 >= 7551711 @ 25.6721
26.92/27.05 c GLOBAL bounds 7586846 >= 7551711 @ 25.6756
58.62/58.86 c #Conflicts: 14000 | #Constraints: 57572
58.62/58.86 c #Conflicts: 15000 | #Constraints: 58572
58.62/58.86 c INPROCESSING
58.62/58.86 c GARBAGE COLLECT
58.62/58.86 c #Conflicts: 16000 | #Constraints: 56821
58.62/58.86 c #Conflicts: 17000 | #Constraints: 57821
58.62/58.86 c #Conflicts: 18000 | #Constraints: 58821
58.62/58.86 c INPROCESSING
58.62/58.86 c GARBAGE COLLECT
58.62/58.86 c #Conflicts: 19000 | #Constraints: 56840
58.62/58.86 c #Conflicts: 20000 | #Constraints: 57840
58.62/58.86 c #Conflicts: 21000 | #Constraints: 58840
58.62/58.86 c INPROCESSING
58.62/58.86 c GARBAGE COLLECT
58.62/58.86 c #Conflicts: 22000 | #Constraints: 56604
58.62/58.86 c #Conflicts: 23000 | #Constraints: 57604
58.62/58.86 c #Conflicts: 24000 | #Constraints: 58604
58.62/58.86 c #Conflicts: 25000 | #Constraints: 59604
58.62/58.86 c INPROCESSING
58.62/58.86 c GARBAGE COLLECT
58.62/58.86 c #Conflicts: 26000 | #Constraints: 57247
58.62/58.86 c #Conflicts: 27000 | #Constraints: 58247
58.62/58.86 c #Conflicts: 28000 | #Constraints: 59247
58.62/58.86 c GLOBAL bounds 7586846 >= 7586846 @ 57.2817
58.62/58.86 c cpu time 57.2818 s
58.62/58.86 c deterministic time 15071096 1.51e+07
58.62/58.86 c optimization time 56.4636 s
58.62/58.86 c total solve time 0.771792 s
58.62/58.86 c core-guided solve time 0 s
58.62/58.86 c propagation time 0.563165 s
58.62/58.86 c conflict analysis time 0.044497 s
58.62/58.86 c propagations 1527486
58.62/58.86 c resolve steps 0
58.62/58.86 c decisions 514949
58.62/58.86 c conflicts 146
58.62/58.86 c restarts 2
58.62/58.86 c inprocessing phases 0
58.62/58.86 c garbage collections 0 ,( -nan )
58.62/58.86 c input clauses 12935 ,( 79.84 )
58.62/58.86 c input cardinalities 31 ,( 0.19 )
58.62/58.86 c input general constraints 3236 ,( 19.97 )
58.62/58.86 c input average constraint length 31.35
58.62/58.86 c input average constraint degree 27101444.41
58.62/58.86 c learned clauses 41 ,( 12.73 )
58.62/58.86 c learned cardinalities 5 ,( 1.55 )
58.62/58.86 c learned general constraints 276 ,( 85.71 )
58.62/58.86 c learned average constraint length 158.78
58.62/58.86 c learned average constraint degree 5510242.90
58.62/58.86 c watched CF 32, 64, 128, Arb: 264 , 0 , 0 , 0
58.62/58.86 c counting CF 32, 64, 128, Arb: 3152 , 97 , 0 , 0
58.62/58.86 c watched constraints 264 ,( 7.52 )
58.62/58.86 c counting constraints 3248 ,( 92.48 )
58.62/58.86 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 606317 , 2866 , 905947 ,( 73751 , 832196 )
58.62/58.86 c gcd simplifications 2
58.62/58.86 c detected cardinalities 0
58.62/58.86 c weakened non-implied lits 0
58.62/58.86 c weakened non-implying lits 0
58.62/58.86 c original variables 6810
58.62/58.86 c clausal propagations 592103
58.62/58.86 c cardinality propagations 1121
58.62/58.86 c watched propagations 1854
58.62/58.86 c counting propagations 533517
58.62/58.86 c watch lookups 2494214
58.62/58.86 c watch backjump lookups 0
58.62/58.86 c watch checks 4579962
58.62/58.86 c propagation checks 3830574
58.62/58.86 c constraint additions 80833
58.62/58.86 c trail pops 2042536
58.62/58.86 c formula constraints 15626
58.62/58.86 c learned constraints 321
58.62/58.86 c bound constraints 0
58.62/58.86 c core-guided constraints 0
58.62/58.86 c encountered formula constraints 65
58.62/58.86 c encountered learned constraints 26
58.62/58.86 c encountered bound constraints 0
58.62/58.86 c encountered core-guided constraints 0
58.62/58.86 c LP total time 0.586493 s
58.62/58.86 c LP solve time 0.43 s
58.62/58.86 c LP constraints added 15627
58.62/58.86 c LP constraints removed 0
58.62/58.86 c LP pivots internal 24
58.62/58.86 c LP pivots root 517
58.62/58.86 c LP calls 268
58.62/58.86 c LP optimalities 268
58.62/58.86 c LP no pivot count 266
58.62/58.86 c LP infeasibilities 0
58.62/58.86 c LP valid Farkas constraints 0
58.62/58.86 c LP learned Farkas constraints 0
58.62/58.86 c LP basis resets 0
58.62/58.86 c LP cycling count 0
58.62/58.86 c LP singular count 0
58.62/58.86 c LP no primal count 0
58.62/58.86 c LP no farkas count 0
58.62/58.86 c LP other issue count 0
58.62/58.86 c LP Gomory cuts 1
58.62/58.86 c LP learned cuts 0
58.62/58.86 c LP deleted cuts 0
58.62/58.86 c LP encountered Gomory constraints 0
58.62/58.86 c LP encountered Farkas constraints 0
58.62/58.86 c LP encountered learned Farkas constraints 0
58.62/58.86 c CG auxiliary variables introduced 370
58.62/58.86 c CG solutions found 4
58.62/58.86 c CG cores constructed 291
58.62/58.86 c CG core cardinality constraints returned 0
58.62/58.86 c CG unit cores 0
58.62/58.86 c CG single cores 0
58.62/58.86 c CG blocks removed during cardinality reduction 0
58.62/58.86 c CG first core best 0
58.62/58.86 c CG decision core best 0
58.62/58.86 c CG core reduction tie 0
58.62/58.86 c CG core degree average 0.00
58.62/58.86 c CG core slack average 0.00
58.62/58.86 c CG core upper bound improvements 0
58.62/58.86 c STR number of successful calls 0
58.62/58.86 c STR number of unsuccessful calls 0
58.62/58.86 c STR number of inconclusive calls 0
58.62/58.86 c STR number of successful attempts 0
58.62/58.86 c STR number of unsuccessful attempts 0
58.62/58.86 c STR number of inconclusive attempts 0
58.62/58.86 c STR average degree increase per successful call inf
58.62/58.86 c STR average degree increase per successful attempt inf
58.62/58.86 c STR total number of conflicts for successful attempts 0
58.62/58.86 c STR total number of conflicts for unsuccessful attempts 0
58.62/58.86 c STR total number of conflicts for inconclusive attempts 0
58.62/58.86 c STR average number of conflicts per successful attempt inf
58.62/58.86 c STR average number of conflicts per unsuccessful attempt inf
58.62/58.86 c STR average number of conflicts per inconclusive attempt inf
58.62/58.86 c AVG.sumWPerc 91.60
58.62/58.86 c bigint constraints 97
58.62/58.86 o 7586846
58.62/58.86 s OPTIMUM FOUND
58.62/58.86 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
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: 63665 MiB (62618 MiB free)
memory of node 1: 64507 MiB (63917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504434-1751460302/watcher-4504434-1751460302 -o /tmp/evaluation-result-4504434-1751460302/solver-4504434-1751460302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62204 --watchdog 3760 run-opt.sh HOME/instance-4504434-1751460302.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 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_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=62577, runsolver pid=62574
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.14 4.09 4/266 62587
/proc/meminfo: memFree=129541120/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=78612 memory=29836 CPUtime=0.09 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 5498 0 0 0 6 3 0 0 20 0 1 0 61710075 80498688 7459 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 19653 7459 2400 1147 0 7080 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82804 KiB
Current children cumulated memory: 32908 KiB
[startup+0.205398 s]*
/proc/loadavg: 4.07 4.14 4.09 4/265 62593
/proc/meminfo: memFree=129523840/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=79056 memory=32364 CPUtime=0.18 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 5619 0 0 0 13 5 0 0 20 0 1 0 61710075 80953344 8091 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 19764 8091 2400 1147 0 7191 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83248 KiB
Current children cumulated memory: 35436 KiB
[startup+0.305402 s]*
/proc/loadavg: 4.07 4.14 4.09 5/263 62596
/proc/meminfo: memFree=129514024/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=89120 memory=41140 CPUtime=0.29 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 7985 0 0 0 22 7 0 0 20 0 1 0 61710075 91258880 10285 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 22280 10285 2400 1147 0 9707 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93312 KiB
Current children cumulated memory: 44212 KiB
[startup+0.7002 s]
/proc/loadavg: 4.07 4.14 4.09 5/263 62611
/proc/meminfo: memFree=129477844/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=95076 memory=47028 CPUtime=0.67 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 9453 0 0 0 53 14 0 0 20 0 1 0 61710075 97357824 11757 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 23769 11757 2432 1147 0 11196 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 50100 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.14 4.09 5/268 62625
/proc/meminfo: memFree=129363584/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=112000 memory=62516 CPUtime=1.47 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 13316 0 0 0 112 35 0 0 20 0 1 0 61710075 114688000 15629 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 28000 15629 2432 1147 0 15427 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116192 KiB
Current children cumulated memory: 65588 KiB
[startup+3.10546 s]
/proc/loadavg: 4.22 4.17 4.10 5/268 62625
/proc/meminfo: memFree=127439616/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=143504 memory=96436 CPUtime=3.08 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 21834 0 0 0 230 78 0 0 20 0 1 0 61710075 146948096 24109 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 35876 24109 2432 1147 0 23303 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 147696 KiB
Current children cumulated memory: 99508 KiB
[startup+6.3002 s]
/proc/loadavg: 4.22 4.17 4.10 5/268 62625
/proc/meminfo: memFree=127007160/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=211080 memory=156700 CPUtime=6.26 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 34901 0 0 0 522 104 0 0 20 0 1 0 61710075 216145920 39175 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 52770 39175 2432 1147 0 40197 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 215272 KiB
Current children cumulated memory: 159772 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.20 4.11 5/268 62625
/proc/meminfo: memFree=126580196/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=315788 memory=239140 CPUtime=12.64 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 51421 0 0 0 1145 119 0 0 20 0 1 0 61710075 323366912 59785 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 78947 59785 2432 1147 0 66374 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 319980 KiB
Current children cumulated memory: 242212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.21 4.11 5/267 62625
/proc/meminfo: memFree=124834720/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=376400 memory=285496 CPUtime=25.41 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 59931 0 0 0 2413 128 0 0 20 0 1 0 61710075 385433600 71374 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 94100 71374 2432 1147 0 81527 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 380592 KiB
Current children cumulated memory: 288568 KiB
[startup+51.1055 s]
/proc/loadavg: 4.36 4.22 4.12 5/267 62626
/proc/meminfo: memFree=121532304/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=50.94 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 4956 138 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+58.8803 s]
# the end of solver process 62577 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=57.2865 s, system=1.42795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.36 4.22 4.12 5/267 62626
/proc/meminfo: memFree=121532304/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=51.05 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 4966 139 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+54.4002 s]
/proc/loadavg: 4.33 4.22 4.12 5/267 62626
/proc/meminfo: memFree=120727380/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=54.24 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 5284 140 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+56.0002 s]*
/proc/loadavg: 4.33 4.22 4.12 5/267 62626
/proc/meminfo: memFree=120411788/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=55.83 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 5443 140 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 55.83 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+57.6002 s]
/proc/loadavg: 4.33 4.22 4.12 5/267 62626
/proc/meminfo: memFree=120197644/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=57.42 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 5602 140 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 57.42 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+58.4002 s]
/proc/loadavg: 4.30 4.22 4.12 5/267 62626
/proc/meminfo: memFree=120076492/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=58.22 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 5682 140 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 58.22 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
[startup+58.8002 s]
/proc/loadavg: 4.30 4.22 4.12 5/267 62626
/proc/meminfo: memFree=120076492/131250000 swapFree=33010416/33010684
[pid=62577] ppid=62574 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/62577/stat : 62577 (run-opt.sh) S 62574 62577 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710075 4292608 768 18446744073709551615 94375860428800 94375861323333 140735772407424 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94375861562384 94375861610128 94375869038592 140735772416365 140735772416488 140735772416488 140735772422090 0
/proc/62577/statm: 1048 768 704 219 0 110 0
[pid=62579] ppid=62577 vsize=448780 memory=353736 CPUtime=58.62 cores=5,7
/proc/62579/stat : 62579 (roundingsat) R 62577 62577 62186 0 -1 4194304 72911 0 0 0 5722 140 0 0 20 0 1 0 61710075 459550720 88434 18446744073709551615 4227072 8923433 140730362782448 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37924864 140730362788258 140730362788392 140730362788392 140730362793962 0
/proc/62579/statm: 112195 88434 2432 1147 0 99622 0
Current children cumulated CPU time: 58.62 s
Current children cumulated vsize: 452972 KiB
Current children cumulated memory: 356808 KiB
Child status: 0
Real time (s): 58.8804
CPU time (s): 58.7144
CPU user time (s): 57.2865
CPU system time (s): 1.42795
CPU usage (%): 99.7182
Max. virtual memory (cumulated for all children) (KiB): 452972
Max. memory (cumulated for all children) (KiB): 356808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.2865
system time used= 1.42795
maximum resident set size= 353736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 98
# summary of solver processes directly reported to runsolver:
# pid: 62577
# total CPU time (s): 58.7144
# total CPU user time (s): 57.2865
# total CPU system time (s): 1.42795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.128485 second user time and 0.312778 second system time
The end
Launcher Data
Begin job on nodeC027 at 2025-07-02 14:45:02
IDJOB=4504434
IDBENCH=155659
IDSOLVER=3350
FILE ID=nodeC027/4504434-1751460302
RUNJOBID= nodeC027-1751456689-62204
SLURM_JOB_ID= 9598455
Free space on /tmp= 431108 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504434-1751460302/watcher-4504434-1751460302 -o /tmp/evaluation-result-4504434-1751460302/solver-4504434-1751460302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62204 --watchdog 3760 run-opt.sh HOME/instance-4504434-1751460302.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5446b769e53b58ee9fdbc738c7aeea2d
RANDOM SEED=1648829808
nodeC027 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.635
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 : 6999.29
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 : 3599.653
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 : 6999.29
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 : 3917.534
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 : 6999.29
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 : 3608.246
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 : 6999.29
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 : 3599.637
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 : 6999.29
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 : 3597.788
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 : 6999.29
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 : 3621.927
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 : 6999.29
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 : 3599.732
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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128887296 kB
MemAvailable: 128987860 kB
Buffers: 2488 kB
Cached: 901376 kB
SwapCached: 12 kB
Active: 1403532 kB
Inactive: 361668 kB
Active(anon): 876600 kB
Inactive(anon): 2792 kB
Active(file): 526932 kB
Inactive(file): 358876 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 73536 kB
Writeback: 0 kB
AnonPages: 848248 kB
Mapped: 110144 kB
Shmem: 18056 kB
KReclaimable: 107592 kB
Slab: 196380 kB
SReclaimable: 107592 kB
SUnreclaim: 88788 kB
KernelStack: 4372 kB
PageTables: 17612 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7953004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 131072 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431080 MiB
End job on nodeC027 at 2025-07-02 14:46:01