Trace number 4462473

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (1)OPT-12612 656.291 658.22

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.opb
MD5SUM5b15f8b0103f862f2083963c79e8ca36
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-12612
Best CPU time to get the best result obtained on this benchmark0.387698
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9905
Total number of constraints313
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)288
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2375
Number of terms in the objective function 9905
Biggest coefficient in the objective function 257
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1124116
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 257
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1124116
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 9905 #constraints 313
0.78/0.89	c bounds - >= -1124116 @ 0.014541
0.78/0.89	c bounds 0 >= -1124116 @ 0.125181
0.78/0.89	c bounds 0 >= -1123870 @ 0.129081
0.78/0.89	c bounds 0 >= -1123378 @ 0.132272
0.78/0.89	c bounds 0 >= -1123132 @ 0.13575
0.78/0.89	c bounds -738 >= -1123132 @ 0.140694
0.78/0.89	c bounds -1990 >= -1123132 @ 0.143763
0.78/0.89	c bounds -1990 >= -1122888 @ 0.147409
0.78/0.89	c bounds -1990 >= -1122162 @ 0.15133
0.78/0.89	c bounds -3200 >= -1122162 @ 0.153656
0.78/0.89	c bounds -3293 >= -1122162 @ 0.160126
0.78/0.89	c bounds -3293 >= -1121921 @ 0.163997
0.78/0.89	c bounds -3293 >= -1121680 @ 0.167845
0.78/0.89	c bounds -3293 >= -1121439 @ 0.172134
0.78/0.89	c bounds -3359 >= -1121439 @ 0.174794
0.78/0.89	c bounds -3359 >= -1121198 @ 0.179023
0.78/0.89	c bounds -3380 >= -1121198 @ 0.186656
0.78/0.89	c bounds -3462 >= -1121198 @ 0.197181
0.78/0.89	c bounds -3516 >= -1121198 @ 0.202521
0.78/0.89	c bounds -3516 >= -1120958 @ 0.206409
0.78/0.89	c bounds -3610 >= -1120958 @ 0.21146
0.78/0.89	c bounds -3610 >= -1120718 @ 0.215136
0.78/0.89	c bounds -3805 >= -1120718 @ 0.218323
0.78/0.89	c bounds -3805 >= -1120480 @ 0.22201
0.78/0.89	c bounds -3805 >= -1120243 @ 0.225561
0.78/0.89	c bounds -3955 >= -1120243 @ 0.229836
0.78/0.89	c bounds -3955 >= -1120005 @ 0.234021
0.78/0.89	c bounds -3955 >= -1119766 @ 0.237855
0.78/0.89	c bounds -3955 >= -1119292 @ 0.24225
0.78/0.89	c bounds -3982 >= -1119292 @ 0.248222
0.78/0.89	c bounds -3982 >= -1119055 @ 0.251993
0.78/0.89	c bounds -3982 >= -1118818 @ 0.258935
0.78/0.89	c bounds -4054 >= -1118818 @ 0.263688
0.78/0.89	c bounds -4098 >= -1118818 @ 0.271177
0.78/0.89	c bounds -4217 >= -1118818 @ 0.275522
0.78/0.89	c bounds -4374 >= -1118818 @ 0.281788
0.78/0.89	c bounds -4374 >= -1118582 @ 0.285893
0.78/0.89	c bounds -4374 >= -1118110 @ 0.289426
0.78/0.89	c bounds -4374 >= -1117874 @ 0.292983
0.78/0.89	c bounds -4399 >= -1117874 @ 0.299309
0.78/0.89	c bounds -4632 >= -1117874 @ 0.3005
0.78/0.89	c bounds -4632 >= -1117640 @ 0.30445
0.78/0.89	c bounds -4722 >= -1117640 @ 0.31957
0.78/0.89	c bounds -4722 >= -1117406 @ 0.324368
0.78/0.89	c bounds -4722 >= -1117172 @ 0.328097
0.78/0.89	c bounds -4783 >= -1117172 @ 0.333409
0.78/0.89	c bounds -4783 >= -1116939 @ 0.337862
0.78/0.89	c bounds -4783 >= -1116473 @ 0.341417
0.78/0.89	c bounds -4900 >= -1116473 @ 0.344633
0.78/0.89	c bounds -4900 >= -1116244 @ 0.348191
0.78/0.89	c bounds -4900 >= -1116014 @ 0.350805
0.78/0.89	c bounds -4900 >= -1115783 @ 0.354161
0.78/0.89	c bounds -4900 >= -1115553 @ 0.357628
0.78/0.89	c bounds -4900 >= -1115323 @ 0.36116
0.78/0.89	c bounds -4900 >= -1114865 @ 0.366051
0.78/0.89	c bounds -4955 >= -1114865 @ 0.370994
0.78/0.89	c bounds -4955 >= -1114407 @ 0.374583
0.78/0.89	c bounds -4955 >= -1114178 @ 0.379558
0.78/0.89	c bounds -5084 >= -1114178 @ 0.381777
0.78/0.89	c bounds -5312 >= -1114178 @ 0.385621
0.78/0.89	c bounds -5337 >= -1114178 @ 0.403407
0.78/0.89	c bounds -5337 >= -1113722 @ 0.407592
0.78/0.89	c bounds -5337 >= -1113266 @ 0.411485
0.78/0.89	c bounds -5400 >= -1113266 @ 0.447817
0.78/0.89	c bounds -5441 >= -1113266 @ 0.453087
0.78/0.89	c bounds -5524 >= -1113266 @ 0.45962
0.78/0.89	c bounds -5584 >= -1113266 @ 0.464731
0.78/0.89	c bounds -5633 >= -1113266 @ 0.473478
0.78/0.89	c bounds -5725 >= -1113266 @ 0.488323
0.78/0.89	c bounds -5751 >= -1113266 @ 0.509094
0.78/0.89	c bounds -5751 >= -1112812 @ 0.513276
0.78/0.89	c bounds -5751 >= -1112585 @ 0.517135
0.78/0.89	c bounds -5751 >= -1112358 @ 0.521518
0.78/0.89	c bounds -5751 >= -1112131 @ 0.524523
0.78/0.89	c bounds -5896 >= -1112131 @ 0.528486
0.78/0.89	c bounds -5896 >= -1111905 @ 0.532479
0.78/0.89	c bounds -5896 >= -1111679 @ 0.53625
0.78/0.89	c bounds -5896 >= -1111227 @ 0.540882
0.78/0.89	c bounds -5896 >= -1111001 @ 0.545029
0.78/0.89	c bounds -5978 >= -1111001 @ 0.550857
0.78/0.89	c bounds -5978 >= -1110776 @ 0.554271
0.78/0.89	c bounds -5978 >= -1110551 @ 0.558642
0.78/0.89	c bounds -5978 >= -1110326 @ 0.562915
0.78/0.89	c bounds -5978 >= -1110101 @ 0.566609
0.78/0.89	c bounds -5978 >= -1109651 @ 0.569401
0.78/0.89	c bounds -6034 >= -1109651 @ 0.571729
0.78/0.89	c bounds -6034 >= -1109427 @ 0.575469
0.78/0.89	c bounds -6034 >= -1109203 @ 0.579072
0.78/0.89	c bounds -6034 >= -1108979 @ 0.582657
0.78/0.89	c bounds -6034 >= -1108755 @ 0.586331
0.78/0.89	c bounds -6034 >= -1108531 @ 0.589998
0.78/0.89	c bounds -6034 >= -1108083 @ 0.594193
0.78/0.89	c bounds -6034 >= -1107859 @ 0.598505
0.78/0.89	c bounds -6034 >= -1107635 @ 0.601266
0.78/0.89	c bounds -6034 >= -1107411 @ 0.605259
0.78/0.89	c bounds -6125 >= -1107411 @ 0.609223
0.78/0.89	c bounds -6215 >= -1107411 @ 0.615436
0.78/0.89	c bounds -6261 >= -1107411 @ 0.618005
0.78/0.89	c bounds -6261 >= -1107188 @ 0.621894
0.78/0.89	c bounds -6261 >= -1106965 @ 0.626413
0.78/0.89	c bounds -6261 >= -1106519 @ 0.630407
0.78/0.89	c bounds -6261 >= -1106296 @ 0.63448
0.78/0.89	c bounds -6261 >= -1106073 @ 0.638465
0.78/0.89	c bounds -6324 >= -1106073 @ 0.645238
0.78/0.89	c bounds -6407 >= -1106073 @ 0.651745
0.78/0.89	c bounds -6445 >= -1106073 @ 0.662673
0.78/0.89	c bounds -6445 >= -1105629 @ 0.66662
0.78/0.89	c bounds -6445 >= -1105185 @ 0.670358
0.78/0.89	c bounds -6445 >= -1104963 @ 0.67405
1.99/2.05	c bounds -6445 >= -1104519 @ 0.678506
1.99/2.05	c bounds -6445 >= -1104297 @ 0.682641
1.99/2.05	c bounds -6445 >= -1104075 @ 0.688755
1.99/2.05	c bounds -6571 >= -1104075 @ 0.696299
1.99/2.05	c bounds -6716 >= -1104075 @ 0.701035
1.99/2.05	c bounds -6748 >= -1104075 @ 0.707317
1.99/2.05	c bounds -6748 >= -1103854 @ 0.711385
1.99/2.05	c bounds -6748 >= -1103633 @ 0.71442
1.99/2.05	c bounds -6748 >= -1103412 @ 0.718072
1.99/2.05	c bounds -6748 >= -1103191 @ 0.722236
1.99/2.05	c bounds -6748 >= -1102970 @ 0.726059
1.99/2.05	c bounds -6748 >= -1102307 @ 0.729036
1.99/2.05	c bounds -6773 >= -1102307 @ 0.733936
1.99/2.05	c bounds -6800 >= -1102307 @ 0.735881
1.99/2.05	c bounds -6881 >= -1102307 @ 0.739736
1.99/2.05	c bounds -6881 >= -1102087 @ 0.742896
1.99/2.05	c bounds -6881 >= -1101867 @ 0.74671
1.99/2.05	c bounds -6881 >= -1101647 @ 0.750768
1.99/2.05	c bounds -6881 >= -1101207 @ 0.754666
1.99/2.05	c bounds -6910 >= -1101207 @ 0.761542
1.99/2.05	c bounds -6910 >= -1100987 @ 0.765333
1.99/2.05	c bounds -6910 >= -1100767 @ 0.769635
1.99/2.05	c bounds -7016 >= -1100767 @ 0.77659
1.99/2.05	c bounds -7154 >= -1100767 @ 0.787791
1.99/2.05	c bounds -7154 >= -1100548 @ 0.792322
1.99/2.05	c bounds -7154 >= -1100329 @ 0.795858
1.99/2.05	c bounds -7154 >= -1099891 @ 0.799848
1.99/2.05	c bounds -7154 >= -1099453 @ 0.803462
1.99/2.05	c bounds -7154 >= -1099015 @ 0.807014
1.99/2.05	c bounds -7154 >= -1098796 @ 0.811079
1.99/2.05	c bounds -7154 >= -1098577 @ 0.815708
1.99/2.05	c bounds -7223 >= -1098577 @ 0.822153
1.99/2.05	c bounds -7312 >= -1098577 @ 0.851806
1.99/2.05	c bounds -7425 >= -1098577 @ 0.855136
1.99/2.05	c bounds -7435 >= -1098577 @ 0.857082
1.99/2.05	c bounds -7561 >= -1098577 @ 0.868286
1.99/2.05	c bounds -7561 >= -1098141 @ 0.872223
1.99/2.05	c bounds -7561 >= -1097705 @ 0.876475
1.99/2.05	c bounds -7561 >= -1097487 @ 0.8802
1.99/2.05	c bounds -7561 >= -1096833 @ 0.883881
1.99/2.05	c bounds -7561 >= -1096397 @ 0.886583
1.99/2.05	c bounds -7574 >= -1096397 @ 0.89386
1.99/2.05	c bounds -7574 >= -1096179 @ 0.935552
1.99/2.05	c bounds -7601 >= -1096179 @ 0.940405
1.99/2.05	c bounds -7614 >= -1096179 @ 0.944179
1.99/2.05	c bounds -7614 >= -1095745 @ 0.947875
1.99/2.05	c bounds -7614 >= -1095311 @ 0.951539
1.99/2.05	c bounds -7614 >= -1095094 @ 0.955822
1.99/2.05	c bounds -7668 >= -1095094 @ 0.960324
1.99/2.05	c bounds -7668 >= -1094877 @ 0.963473
1.99/2.05	c bounds -7668 >= -1094660 @ 0.967593
1.99/2.05	c bounds -7668 >= -1094443 @ 0.971221
1.99/2.05	c bounds -7676 >= -1094443 @ 0.978184
1.99/2.05	c bounds -7691 >= -1094443 @ 0.986384
1.99/2.05	c bounds -7691 >= -1094011 @ 0.990276
1.99/2.05	c bounds -7691 >= -1093795 @ 0.993906
1.99/2.05	c bounds -7691 >= -1093579 @ 0.997579
1.99/2.05	c bounds -7691 >= -1093363 @ 1.00155
1.99/2.05	c bounds -7791 >= -1093363 @ 1.00704
1.99/2.05	c bounds -7791 >= -1093147 @ 1.01083
1.99/2.05	c bounds -7791 >= -1092715 @ 1.01476
1.99/2.05	c bounds -7791 >= -1092499 @ 1.01926
1.99/2.05	c bounds -7791 >= -1092283 @ 1.0238
1.99/2.05	c bounds -7791 >= -1092067 @ 1.02783
1.99/2.05	c bounds -7791 >= -1091851 @ 1.03166
1.99/2.05	c bounds -7791 >= -1091419 @ 1.03532
1.99/2.05	c bounds -7791 >= -1091203 @ 1.03982
1.99/2.05	c bounds -7791 >= -1090987 @ 1.04383
1.99/2.05	c bounds -7870 >= -1090987 @ 1.05516
1.99/2.05	c bounds -8032 >= -1090987 @ 1.06056
1.99/2.05	c bounds -8070 >= -1090987 @ 1.06606
1.99/2.05	c bounds -8202 >= -1090987 @ 1.07413
1.99/2.05	c bounds -8202 >= -1090772 @ 1.07805
1.99/2.05	c bounds -8202 >= -1090342 @ 1.08092
1.99/2.05	c bounds -8202 >= -1089912 @ 1.08464
1.99/2.05	c bounds -8202 >= -1089697 @ 1.08784
1.99/2.05	c bounds -8202 >= -1089482 @ 1.09141
1.99/2.05	c bounds -8202 >= -1089267 @ 1.09579
1.99/2.05	c bounds -8202 >= -1088622 @ 1.10022
1.99/2.05	c bounds -8231 >= -1088622 @ 1.1354
1.99/2.05	c bounds -8231 >= -1088407 @ 1.14236
1.99/2.05	c bounds -8235 >= -1088407 @ 1.24367
1.99/2.05	c bounds -8354 >= -1088407 @ 1.25714
1.99/2.05	c bounds -8383 >= -1088407 @ 1.33704
1.99/2.05	c bounds -8383 >= -1088193 @ 1.34114
1.99/2.05	c bounds -8383 >= -1087765 @ 1.34555
1.99/2.05	c bounds -8383 >= -1087551 @ 1.34922
1.99/2.05	c bounds -8383 >= -1087337 @ 1.35361
1.99/2.05	c bounds -8383 >= -1087123 @ 1.35728
1.99/2.05	c bounds -8383 >= -1086909 @ 1.36093
1.99/2.05	c bounds -8383 >= -1086695 @ 1.36696
1.99/2.05	c bounds -8404 >= -1086695 @ 1.41248
1.99/2.05	c bounds -8405 >= -1086695 @ 1.44496
1.99/2.05	c bounds -8405 >= -1086482 @ 1.44872
1.99/2.05	c bounds -8405 >= -1086056 @ 1.45275
1.99/2.05	c bounds -8405 >= -1085417 @ 1.45722
1.99/2.05	c bounds -8405 >= -1084565 @ 1.46191
1.99/2.05	c bounds -8405 >= -1084352 @ 1.46559
1.99/2.05	c bounds -8405 >= -1084139 @ 1.46917
1.99/2.05	c bounds -8405 >= -1083926 @ 1.47289
1.99/2.05	c bounds -8405 >= -1083713 @ 1.47657
1.99/2.05	c bounds -8405 >= -1083500 @ 1.48028
1.99/2.05	c bounds -8405 >= -1083287 @ 1.48663
1.99/2.05	c bounds -8405 >= -1083074 @ 1.4963
1.99/2.05	c bounds -8429 >= -1083074 @ 1.54489
1.99/2.05	c bounds -8457 >= -1083074 @ 1.63516
1.99/2.05	c bounds -8457 >= -1082862 @ 1.63927
1.99/2.05	c bounds -8457 >= -1082650 @ 1.64305
1.99/2.05	c bounds -8457 >= -1082226 @ 1.64692
1.99/2.05	c bounds -8457 >= -1082014 @ 1.65062
9.17/9.26	c bounds -8457 >= -1081802 @ 1.65465
9.17/9.26	c bounds -8457 >= -1081166 @ 1.65841
9.17/9.26	c bounds -8457 >= -1080530 @ 1.66116
9.17/9.26	c bounds -8457 >= -1080318 @ 1.66485
9.17/9.26	c bounds -8457 >= -1080106 @ 1.66859
9.17/9.26	c bounds -8457 >= -1079894 @ 1.6733
9.17/9.26	c bounds -8457 >= -1079682 @ 1.6815
9.17/9.26	c bounds -8589 >= -1079682 @ 1.75385
9.17/9.26	c bounds -8598 >= -1079682 @ 1.90089
9.17/9.26	c bounds -8598 >= -1079471 @ 1.90491
9.17/9.26	c bounds -8598 >= -1079260 @ 1.90934
9.17/9.26	c bounds -8598 >= -1079049 @ 1.91133
9.17/9.26	c bounds -8598 >= -1078838 @ 1.91657
9.17/9.26	c bounds -8598 >= -1078627 @ 1.92033
9.17/9.26	c bounds -8598 >= -1078416 @ 1.92842
9.17/9.26	c bounds -8598 >= -1078205 @ 1.93423
9.17/9.26	c bounds -8637 >= -1078205 @ 2.71699
9.17/9.26	c bounds -8655 >= -1078205 @ 2.94728
9.17/9.26	c bounds -8688 >= -1078205 @ 3.02417
9.17/9.26	c bounds -8772 >= -1078205 @ 3.06457
9.17/9.26	c bounds -8888 >= -1078205 @ 3.2368
9.17/9.26	c bounds -8979 >= -1078205 @ 3.34033
9.17/9.26	c bounds -9095 >= -1078205 @ 3.43904
9.17/9.26	c bounds -9101 >= -1078205 @ 3.48847
9.17/9.26	c bounds -9108 >= -1078205 @ 3.54079
9.17/9.26	c bounds -9117 >= -1078205 @ 3.57949
9.17/9.26	c bounds -9117 >= -1077995 @ 3.58256
9.17/9.26	c bounds -9117 >= -1077785 @ 3.58554
9.17/9.26	c bounds -9117 >= -1076735 @ 3.59164
9.17/9.26	c bounds -9117 >= -1076525 @ 3.59547
9.17/9.26	c bounds -9117 >= -1075895 @ 3.60005
9.17/9.26	c bounds -9117 >= -1075685 @ 3.60387
9.17/9.26	c bounds -9117 >= -1075475 @ 3.60749
9.17/9.26	c bounds -9117 >= -1075265 @ 3.61497
9.17/9.26	c bounds -9117 >= -1075055 @ 3.67687
9.17/9.26	c bounds -9117 >= -1074845 @ 3.68454
9.17/9.26	c #Conflicts:       1000 | #Constraints:       1992
9.17/9.26	c bounds -9167 >= -1074845 @ 5.67858
9.17/9.26	c bounds -9170 >= -1074845 @ 5.85718
9.17/9.26	c bounds -9181 >= -1074845 @ 5.87133
9.17/9.26	c bounds -9185 >= -1074845 @ 6.44397
9.17/9.26	c bounds -9198 >= -1074845 @ 6.98559
9.17/9.26	c bounds -9240 >= -1074845 @ 8.18155
9.17/9.26	c bounds -9240 >= -1074636 @ 8.18547
9.17/9.26	c bounds -9240 >= -1074427 @ 8.19119
9.17/9.26	c bounds -9240 >= -1074218 @ 8.25018
9.17/9.26	c bounds -9240 >= -1073800 @ 8.25402
9.17/9.26	c bounds -9240 >= -1073591 @ 8.25781
9.17/9.26	c bounds -9240 >= -1073382 @ 8.2617
9.17/9.26	c bounds -9240 >= -1073173 @ 8.26858
9.17/9.26	c bounds -9240 >= -1072964 @ 8.27875
9.17/9.26	c bounds -9240 >= -1072755 @ 8.28761
9.17/9.26	c #Conflicts:       2000 | #Constraints:       3064
9.17/9.26	c INPROCESSING
9.17/9.26	c GARBAGE COLLECT
9.17/9.26	c rational objective -12616
22.33/22.42	c bounds -10397 >= -1072755 @ 8.95717
22.33/22.42	c bounds -10397 >= -1072547 @ 8.96123
22.33/22.42	c bounds -10397 >= -1072339 @ 8.96504
22.33/22.42	c bounds -10397 >= -1072131 @ 8.96777
22.33/22.42	c bounds -10397 >= -1071923 @ 8.9719
22.33/22.42	c bounds -10397 >= -1071507 @ 8.97481
22.33/22.42	c bounds -10397 >= -1071299 @ 8.97936
22.33/22.42	c bounds -10397 >= -1071091 @ 8.98529
22.33/22.42	c bounds -10397 >= -1070883 @ 8.98916
22.33/22.42	c bounds -10397 >= -1070675 @ 8.99324
22.33/22.42	c bounds -10397 >= -1070467 @ 8.99839
22.33/22.42	c bounds -10397 >= -1070259 @ 9.01168
22.33/22.42	c #Conflicts:       3000 | #Constraints:       2829
22.33/22.42	c bounds -10422 >= -1070259 @ 14.4408
22.33/22.42	c bounds -10425 >= -1070259 @ 14.523
22.33/22.42	c bounds -10426 >= -1070259 @ 14.6571
22.33/22.42	c bounds -10427 >= -1070259 @ 14.7312
22.33/22.42	c bounds -10434 >= -1070259 @ 14.9559
22.33/22.42	c bounds -10543 >= -1070259 @ 15.3028
22.33/22.42	c bounds -10579 >= -1070259 @ 16.0584
22.33/22.42	c bounds -10580 >= -1070259 @ 17.0767
22.33/22.42	c bounds -10586 >= -1070259 @ 17.1172
22.33/22.42	c bounds -10635 >= -1070259 @ 17.261
22.33/22.42	c #Conflicts:       4000 | #Constraints:       3865
22.33/22.42	c INPROCESSING
22.33/22.42	c GARBAGE COLLECT
22.33/22.42	c rational objective -12616
34.49/34.61	c bounds -10635 >= -1070052 @ 21.9723
34.49/34.61	c bounds -10635 >= -1069845 @ 21.9806
34.49/34.61	c bounds -10635 >= -1069431 @ 21.9946
34.49/34.61	c bounds -10635 >= -1069017 @ 22.0045
34.49/34.61	c bounds -10635 >= -1068810 @ 22.1072
34.49/34.61	c bounds -10635 >= -1068603 @ 22.1246
34.49/34.61	c bounds -10635 >= -1068396 @ 22.1327
34.49/34.61	c bounds -10635 >= -1068189 @ 22.142
34.49/34.61	c bounds -10635 >= -1067982 @ 22.1612
34.49/34.61	c #Conflicts:       5000 | #Constraints:       3230
34.49/34.61	c bounds -10722 >= -1067982 @ 28.7191
34.49/34.61	c bounds -10722 >= -1067570 @ 28.7249
34.49/34.61	c bounds -10722 >= -1067364 @ 28.7319
34.49/34.61	c bounds -10722 >= -1066952 @ 28.7378
34.49/34.61	c bounds -10722 >= -1066540 @ 28.7548
34.49/34.61	c bounds -10722 >= -1066334 @ 28.7749
34.49/34.61	c bounds -10722 >= -1065716 @ 28.8757
34.49/34.61	c bounds -10722 >= -1065510 @ 28.8967
34.49/34.61	c bounds -10722 >= -1065304 @ 28.9487
34.49/34.61	c bounds -10722 >= -1065098 @ 28.9623
34.49/34.61	c #Conflicts:       6000 | #Constraints:       4272
34.49/34.61	c INPROCESSING
34.49/34.61	c GARBAGE COLLECT
34.49/34.61	c rational objective -12616
56.64/56.85	c bounds -10729 >= -1065098 @ 34.3077
56.64/56.85	c bounds -10743 >= -1065098 @ 34.7101
56.64/56.85	c bounds -10780 >= -1065098 @ 34.7774
56.64/56.85	c bounds -10785 >= -1065098 @ 35.0614
56.64/56.85	c #Conflicts:       7000 | #Constraints:       3273
56.64/56.85	c bounds -10819 >= -1065098 @ 36.8675
56.64/56.85	c bounds -10833 >= -1065098 @ 39.0029
56.64/56.85	c bounds -10833 >= -1064893 @ 39.0089
56.64/56.85	c bounds -10833 >= -1064688 @ 39.0155
56.64/56.85	c bounds -10833 >= -1064278 @ 39.0501
56.64/56.85	c bounds -10833 >= -1064073 @ 39.0826
56.64/56.85	c bounds -10833 >= -1063868 @ 39.0923
56.64/56.85	c bounds -10833 >= -1063663 @ 39.1093
56.64/56.85	c bounds -10833 >= -1063458 @ 39.1301
56.64/56.85	c #Conflicts:       8000 | #Constraints:       4317
56.64/56.85	c bounds -10875 >= -1063458 @ 50.8602
56.64/56.85	c bounds -10878 >= -1063458 @ 51.0735
56.64/56.85	c bounds -10976 >= -1063458 @ 51.9318
56.64/56.85	c #Conflicts:       9000 | #Constraints:       5352
56.64/56.85	c bounds -10981 >= -1063458 @ 52.9664
56.64/56.85	c bounds -11003 >= -1063458 @ 53.2659
56.64/56.85	c bounds -11027 >= -1063458 @ 53.4532
56.64/56.85	c bounds -11030 >= -1063458 @ 54.282
56.64/56.85	c bounds -11047 >= -1063458 @ 54.472
56.64/56.85	c INPROCESSING
56.64/56.85	c GARBAGE COLLECT
56.64/56.85	c rational objective -12616
84.77/85.02	c bounds -11052 >= -1063458 @ 56.2226
84.77/85.02	c bounds -11096 >= -1063458 @ 56.7458
84.77/85.02	c bounds -11111 >= -1063458 @ 57.0944
84.77/85.02	c bounds -11138 >= -1063458 @ 57.7079
84.77/85.02	c bounds -11281 >= -1063458 @ 59.081
84.77/85.02	c bounds -11332 >= -1063458 @ 60.5446
84.77/85.02	c bounds -11370 >= -1063458 @ 62.7966
84.77/85.02	c bounds -11370 >= -1063050 @ 62.8114
84.77/85.02	c bounds -11370 >= -1062438 @ 62.8374
84.77/85.02	c bounds -11370 >= -1062234 @ 62.887
84.77/85.02	c bounds -11370 >= -1062030 @ 62.9203
84.77/85.02	c bounds -11370 >= -1061826 @ 62.9529
84.77/85.02	c bounds -11370 >= -1061214 @ 63.008
84.77/85.02	c bounds -11370 >= -1061010 @ 63.038
84.77/85.02	c bounds -11370 >= -1060806 @ 63.0716
84.77/85.02	c bounds -11370 >= -1060602 @ 63.1603
84.77/85.02	c #Conflicts:      10000 | #Constraints:       4090
84.77/85.02	c #Conflicts:      11000 | #Constraints:       5096
84.77/85.02	c #Conflicts:      12000 | #Constraints:       6108
84.77/85.02	c INPROCESSING
84.77/85.02	c GARBAGE COLLECT
84.77/85.02	c rational objective -12616
151.09/151.54	c bounds -11410 >= -1060602 @ 83.7021
151.09/151.54	c bounds -11462 >= -1060602 @ 84.054
151.09/151.54	c bounds -11474 >= -1060602 @ 84.8316
151.09/151.54	c bounds -11489 >= -1060602 @ 85.1151
151.09/151.54	c bounds -11494 >= -1060602 @ 86.0742
151.09/151.54	c bounds -11498 >= -1060602 @ 89.459
151.09/151.54	c bounds -11519 >= -1060602 @ 90.0976
151.09/151.54	c bounds -11528 >= -1060602 @ 93.0425
151.09/151.54	c #Conflicts:      13000 | #Constraints:       4531
151.09/151.54	c bounds -11639 >= -1060602 @ 97.1124
151.09/151.54	c bounds -11664 >= -1060602 @ 100.72
151.09/151.54	c bounds -11664 >= -1060399 @ 100.756
151.09/151.54	c bounds -11664 >= -1060196 @ 100.798
151.09/151.54	c bounds -11664 >= -1058978 @ 100.858
151.09/151.54	c bounds -11664 >= -1058775 @ 100.915
151.09/151.54	c bounds -11664 >= -1058572 @ 101.022
151.09/151.54	c bounds -11664 >= -1058369 @ 101.101
151.09/151.54	c bounds -11664 >= -1058166 @ 101.165
151.09/151.54	c #Conflicts:      14000 | #Constraints:       5586
151.09/151.54	c bounds -11664 >= -1057963 @ 108.913
151.09/151.54	c bounds -11684 >= -1057963 @ 109.347
151.09/151.54	c bounds -11726 >= -1057963 @ 110.737
151.09/151.54	c bounds -11727 >= -1057963 @ 111.712
151.09/151.54	c bounds -11735 >= -1057963 @ 111.98
151.09/151.54	c bounds -11740 >= -1057963 @ 112.829
151.09/151.54	c bounds -11744 >= -1057963 @ 113.49
151.09/151.54	c #Conflicts:      15000 | #Constraints:       6633
151.09/151.54	c INPROCESSING
151.09/151.54	c GARBAGE COLLECT
151.09/151.54	c rational objective -12616
225.99/226.60	c bounds -11846 >= -1057963 @ 149.174
225.99/226.60	c bounds -11861 >= -1057963 @ 150.282
225.99/226.60	c bounds -11899 >= -1057963 @ 151.672
225.99/226.60	c bounds -11932 >= -1057963 @ 153.057
225.99/226.60	c bounds -11992 >= -1057963 @ 154.766
225.99/226.60	c bounds -12012 >= -1057963 @ 156.489
225.99/226.60	c bounds -12014 >= -1057963 @ 156.847
225.99/226.60	c bounds -12026 >= -1057963 @ 157.18
225.99/226.60	c #Conflicts:      16000 | #Constraints:       4845
225.99/226.60	c bounds -12036 >= -1057963 @ 157.727
225.99/226.60	c bounds -12050 >= -1057963 @ 162.662
225.99/226.60	c bounds -12064 >= -1057963 @ 197.307
225.99/226.60	c bounds -12064 >= -1057761 @ 197.375
225.99/226.60	c bounds -12064 >= -1057559 @ 197.398
225.99/226.60	c bounds -12064 >= -1056347 @ 197.477
225.99/226.60	c bounds -12064 >= -1055943 @ 197.531
225.99/226.60	c bounds -12064 >= -1055741 @ 197.574
225.99/226.60	c bounds -12064 >= -1055539 @ 197.652
225.99/226.60	c #Conflicts:      17000 | #Constraints:       5898
225.99/226.60	c #Conflicts:      18000 | #Constraints:       6902
225.99/226.60	c INPROCESSING
225.99/226.60	c GARBAGE COLLECT
225.99/226.60	c rational objective -12616
302.51/303.39	c bounds -12076 >= -1055539 @ 223.512
302.51/303.39	c bounds -12078 >= -1055539 @ 223.778
302.51/303.39	c bounds -12083 >= -1055539 @ 228.671
302.51/303.39	c bounds -12083 >= -1055137 @ 228.692
302.51/303.39	c bounds -12083 >= -1054936 @ 228.716
302.51/303.39	c bounds -12083 >= -1054333 @ 228.76
302.51/303.39	c bounds -12083 >= -1054132 @ 228.815
302.51/303.39	c bounds -12083 >= -1053931 @ 228.974
302.51/303.39	c bounds -12083 >= -1053730 @ 229.025
302.51/303.39	c bounds -12083 >= -1053529 @ 229.132
302.51/303.39	c bounds -12083 >= -1053328 @ 235.462
302.51/303.39	c #Conflicts:      19000 | #Constraints:       4867
302.51/303.39	c bounds -12085 >= -1053328 @ 236.168
302.51/303.39	c bounds -12105 >= -1053328 @ 242.343
302.51/303.39	c bounds -12105 >= -1053127 @ 256.751
302.51/303.39	c #Conflicts:      20000 | #Constraints:       5880
302.51/303.39	c bounds -12106 >= -1053127 @ 260.266
302.51/303.39	c bounds -12106 >= -1052646 @ 286.915
302.51/303.39	c #Conflicts:      21000 | #Constraints:       6896
302.51/303.39	c INPROCESSING
302.51/303.39	c GARBAGE COLLECT
302.51/303.39	c rational objective -12616
421.42/422.52	c bounds -12148 >= -1052646 @ 299.858
421.42/422.52	c bounds -12193 >= -1052646 @ 300.646
421.42/422.52	c bounds -12214 >= -1052646 @ 301.149
421.42/422.52	c #Conflicts:      22000 | #Constraints:       4668
421.42/422.52	c bounds -12221 >= -1052646 @ 303.348
421.42/422.52	c bounds -12256 >= -1052646 @ 313.345
421.42/422.52	c bounds -12256 >= -1052445 @ 316.471
421.42/422.52	c bounds -12256 >= -1052244 @ 325.453
421.42/422.52	c bounds -12257 >= -1052244 @ 327.095
421.42/422.52	c bounds -12258 >= -1052244 @ 328.448
421.42/422.52	c #Conflicts:      23000 | #Constraints:       5698
421.42/422.52	c bounds -12289 >= -1052244 @ 333.101
421.42/422.52	c #Conflicts:      24000 | #Constraints:       6715
421.42/422.52	c bounds -12289 >= -1034275 @ 396.945
421.42/422.52	c bounds -12300 >= -1034275 @ 401.871
421.42/422.52	c bounds -12353 >= -1034275 @ 410.63
421.42/422.52	c #Conflicts:      25000 | #Constraints:       7764
421.42/422.52	c INPROCESSING
421.42/422.52	c GARBAGE COLLECT
421.42/422.52	c rational objective -12616
528.95/530.36	c bounds -12357 >= -1034275 @ 418.067
528.95/530.36	c bounds -12373 >= -1034275 @ 419.128
528.95/530.36	c bounds -12386 >= -1034275 @ 423.467
528.95/530.36	c #Conflicts:      26000 | #Constraints:       5274
528.95/530.36	c bounds -12397 >= -1034275 @ 433.213
528.95/530.36	c bounds -12397 >= -1025645 @ 457.925
528.95/530.36	c #Conflicts:      27000 | #Constraints:       6297
528.95/530.36	c bounds -12419 >= -1025645 @ 467.456
528.95/530.36	c #Conflicts:      28000 | #Constraints:       7307
528.95/530.36	c bounds -12419 >= -875164 @ 509.231
528.95/530.36	c #Conflicts:      29000 | #Constraints:       8319
528.95/530.36	c INPROCESSING
528.95/530.36	c GARBAGE COLLECT
528.95/530.36	c rational objective -12616
590.99/592.51	c bounds -12421 >= -875164 @ 528.757
590.99/592.51	c #Conflicts:      30000 | #Constraints:       5498
590.99/592.51	c bounds -12421 >= -708547 @ 535.454
590.99/592.51	c bounds -12423 >= -708547 @ 535.822
590.99/592.51	c bounds -12424 >= -708547 @ 536.543
590.99/592.51	c bounds -12455 >= -708547 @ 540.044
590.99/592.51	c #Conflicts:      31000 | #Constraints:       6518
590.99/592.51	c #Conflicts:      32000 | #Constraints:       7526
590.99/592.51	c bounds -12455 >= -685450 @ 578.575
590.99/592.51	c bounds -12459 >= -685450 @ 582.939
590.99/592.51	c #Conflicts:      33000 | #Constraints:       8545
590.99/592.51	c INPROCESSING
590.99/592.51	c GARBAGE COLLECT
590.99/592.51	c rational objective -12616
641.17/642.84	c bounds -12479 >= -685450 @ 585.686
641.17/642.84	c bounds -12510 >= -685450 @ 585.727
641.17/642.84	c #Conflicts:      34000 | #Constraints:       5675
641.17/642.84	c bounds -12521 >= -685450 @ 596.777
641.17/642.84	c #Conflicts:      35000 | #Constraints:       6707
641.17/642.84	c bounds -12522 >= -685450 @ 607.709
641.17/642.84	c #Conflicts:      36000 | #Constraints:       7729
641.17/642.84	c bounds -12526 >= -685450 @ 628.43
641.17/642.84	c bounds -12531 >= -685450 @ 628.542
641.17/642.84	c bounds -12533 >= -685450 @ 628.705
641.17/642.84	c bounds -12544 >= -685450 @ 630.258
641.17/642.84	c bounds -12545 >= -685450 @ 630.629
641.17/642.84	c bounds -12547 >= -685450 @ 631.268
641.17/642.84	c #Conflicts:      37000 | #Constraints:       8743
641.17/642.84	c INPROCESSING
641.17/642.84	c GARBAGE COLLECT
641.17/642.84	c rational objective -12616
656.12/657.88	c bounds -12564 >= -685450 @ 635.983
656.12/657.88	c bounds -12565 >= -685450 @ 636.585
656.12/657.88	c bounds -12575 >= -685450 @ 636.803
656.12/657.88	c bounds -12581 >= -685450 @ 637.754
656.12/657.88	c #Conflicts:      38000 | #Constraints:       5758
656.12/657.88	c bounds -12582 >= -685450 @ 639.155
656.12/657.88	c bounds -12583 >= -685450 @ 640.049
656.12/657.88	c bounds -12583 >= -197162 @ 640.053
656.12/657.88	c bounds -12583 >= -196753 @ 640.056
656.12/657.88	c bounds -12583 >= -196547 @ 640.059
656.12/657.88	c bounds -12583 >= -195747 @ 640.064
656.12/657.88	c bounds -12583 >= -195541 @ 640.067
656.12/657.88	c bounds -12583 >= -195336 @ 640.072
656.12/657.88	c bounds -12583 >= -195132 @ 640.077
656.12/657.88	c bounds -12583 >= -194932 @ 640.083
656.12/657.88	c bounds -12583 >= -194732 @ 640.091
656.12/657.88	c bounds -12583 >= -193608 @ 640.097
656.12/657.88	c bounds -12583 >= -193408 @ 640.1
656.12/657.88	c bounds -12583 >= -192601 @ 640.127
656.12/657.88	c bounds -12583 >= -191635 @ 640.197
656.12/657.88	c bounds -12583 >= -191435 @ 640.266
656.12/657.88	c bounds -12583 >= -190047 @ 640.361
656.12/657.88	c bounds -12583 >= -186582 @ 641.201
656.12/657.88	c bounds -12587 >= -186582 @ 641.385
656.12/657.88	c #Conflicts:      39000 | #Constraints:       6864
656.12/657.88	c bounds -12588 >= -186582 @ 643.447
656.12/657.88	c bounds -12589 >= -186582 @ 644.101
656.12/657.88	c bounds -12600 >= -186582 @ 644.72
656.12/657.88	c #Conflicts:      40000 | #Constraints:       7874
656.12/657.88	c bounds -12611 >= -186582 @ 645.973
656.12/657.88	c bounds -12611 >= -180185 @ 645.98
656.12/657.88	c bounds -12611 >= -179986 @ 646.015
656.12/657.88	c bounds -12611 >= -177400 @ 646.194
656.12/657.88	c bounds -12611 >= -108817 @ 648.09
656.12/657.88	c bounds -12612 >= -108817 @ 648.196
656.12/657.88	c #Conflicts:      41000 | #Constraints:       8924
656.12/657.88	c bounds -12612 >= -108817 @ 648.793
656.12/657.88	c cpu time 648.794 s
656.12/657.88	c deterministic time 39791400003 3.98e+10
656.12/657.88	c optimization time 1.25822 s
656.12/657.88	c total solve time 647.522 s
656.12/657.88	c core-guided solve time 384.774 s
656.12/657.88	c propagation time 415.907 s
656.12/657.88	c conflict analysis time 193.556 s
656.12/657.88	c propagations 43765702
656.12/657.88	c resolve steps 231139
656.12/657.88	c decisions 2060203
656.12/657.88	c conflicts 41013
656.12/657.88	c restarts 126
656.12/657.88	c inprocessing phases 12
656.12/657.88	c input clauses 311
656.12/657.88	c input cardinalities 550
656.12/657.88	c input general constraints 650
656.12/657.88	c input average constraint length 2894.34
656.12/657.88	c input average constraint degree 7790.24
656.12/657.88	c learned clauses 2677
656.12/657.88	c learned cardinalities 397
656.12/657.88	c learned general constraints 38847
656.12/657.88	c learned average constraint length 5325.34
656.12/657.88	c learned average constraint degree 177916172857.06
656.12/657.88	c watched constraints 19680
656.12/657.88	c counting constraints 19817
656.12/657.88	c gcd simplifications 700
656.12/657.88	c detected cardinalities 204
656.12/657.88	c weakened non-implied lits 78383044
656.12/657.88	c weakened non-implying lits 58973
656.12/657.88	c original variables 9905
656.12/657.88	c clausal propagations 416247
656.12/657.88	c cardinality propagations 9188953
656.12/657.88	c watched propagations 2165752
656.12/657.88	c counting propagations 29977044
656.12/657.88	c watch lookups 9192758390
656.12/657.88	c watch backjump lookups 9175636738
656.12/657.88	c watch checks 7654910893
656.12/657.88	c propagation checks 12921384513
656.12/657.88	c constraint additions 754978108
656.12/657.88	c trail pops 45855928
656.12/657.88	c formula constraints 313
656.12/657.88	c learned constraints 40183
656.12/657.88	c bound constraints 473
656.12/657.88	c core-guided constraints 725
656.12/657.88	c encountered formula constraints 133140
656.12/657.88	c encountered learned constraints 72575
656.12/657.88	c encountered bound constraints 1285
656.12/657.88	c encountered core-guided constraints 22094
656.12/657.88	c LP total time 15.3555 s
656.12/657.88	c LP solve time 6.19 s
656.12/657.88	c LP constraints added 313
656.12/657.88	c LP constraints removed 0
656.12/657.88	c LP pivots internal 41096
656.12/657.88	c LP pivots root 8431
656.12/657.88	c LP calls 1279
656.12/657.88	c LP optimalities 409
656.12/657.88	c LP no pivot count 299
656.12/657.88	c LP infeasibilities 869
656.12/657.88	c LP valid Farkas constraints 869
656.12/657.88	c LP learned Farkas constraints 869
656.12/657.88	c LP basis resets 0
656.12/657.88	c LP cycling count 0
656.12/657.88	c LP singular count 0
656.12/657.88	c LP no primal count 0
656.12/657.88	c LP no farkas count 0
656.12/657.88	c LP other issue count 0
656.12/657.88	c LP Gomory cuts 0
656.12/657.88	c LP learned cuts 0
656.12/657.88	c LP deleted cuts 0
656.12/657.88	c LP encountered Gomory constraints 0
656.12/657.88	c LP encountered Farkas constraints 37604
656.12/657.88	c LP encountered learned Farkas constraints 4585
656.12/657.88	c CG auxiliary variables introduced 344
656.12/657.88	c CG solutions found 201
656.12/657.88	c CG cores constructed 272
656.12/657.88	c CG core cardinality constraints returned 62
656.12/657.88	c CG unit cores 10
656.12/657.88	c CG single cores 244
656.12/657.88	c CG blocks removed during cardinality reduction 1
656.12/657.88	c CG first core best 1
656.12/657.88	c CG decision core best 10
656.12/657.88	c CG core reduction tie 7
656.12/657.88	c CG core degree average 1.36
656.12/657.88	c CG core slack average 1.45
656.12/657.88	o -12612
656.12/657.88	s OPTIMUM FOUND
656.12/657.88	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 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 x6879 -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 x7358 -x7359 -x7360 -x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 x8515 -x8516 -x8517 -x8518 -x8519 -x8520 x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 x9681 -x9682 -x9683 x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905

Verifier Data 

OK	-12612

Checking of UNSAT/OPT proofs:

VeriPB

-- time out --

VeriPB + CakePB

-- time out --

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: 63968 MiB (56945 MiB free)
  memory of node 1: 64473 MiB (58589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462473-1722236580/watcher-4462473-1722236580 -o /tmp/evaluation-result-4462473-1722236580/solver-4462473-1722236580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722236576-459276 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462473-1722236580 --lp-cut-gomory=0 HOME/instance-4462473-1722236580.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=459459, runsolver pid=459455
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 0.11 0.10 0.09 4/252 459464
/proc/meminfo: memFree=118256076/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=47532 memory=16952 CPUtime=0.1 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 3330 0 0 0 9 1 0 0 20 0 1 0 60180519 48672768 4238 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 11883 4238 1781 992 0 3741 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47532 KiB
Current children cumulated memory: 16952 KiB

[startup+0.205822 s]*
/proc/loadavg: 0.34 0.15 0.11 4/252 459464
/proc/meminfo: memFree=118212204/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=50172 memory=21288 CPUtime=0.2 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 3899 0 0 0 16 4 0 0 20 0 1 0 60180519 51376128 5322 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 12543 5322 1829 992 0 4401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 21288 KiB

[startup+0.305725 s]*
/proc/loadavg: 0.34 0.15 0.11 4/252 459464
/proc/meminfo: memFree=118196892/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=50380 memory=21552 CPUtime=0.3 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 3977 0 0 0 23 7 0 0 20 0 1 0 60180519 51589120 5388 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 12595 5388 1829 992 0 4453 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50380 KiB
Current children cumulated memory: 21552 KiB

[startup+0.700191 s]
/proc/loadavg: 0.34 0.15 0.11 4/252 459464
/proc/meminfo: memFree=118162004/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=57816 memory=30412 CPUtime=0.69 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 5631 0 0 0 52 17 0 0 20 0 1 0 60180519 59203584 7603 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 14454 7603 1829 992 0 6312 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57816 KiB
Current children cumulated memory: 30412 KiB

[startup+1.50022 s]
/proc/loadavg: 0.34 0.15 0.11 4/252 459464
/proc/meminfo: memFree=118001268/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=79724 memory=45688 CPUtime=1.48 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 7849 0 0 0 114 34 0 0 20 0 1 0 60180519 81637376 11422 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 19931 11422 1919 992 0 11789 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79724 KiB
Current children cumulated memory: 45688 KiB

[startup+3.10569 s]
/proc/loadavg: 0.34 0.15 0.11 4/252 459466
/proc/meminfo: memFree=117870064/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=130360 memory=75368 CPUtime=3.09 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 8659 0 0 0 265 44 0 0 20 0 1 0 60180519 133488640 18842 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 32590 18842 1919 992 0 24448 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 130360 KiB
Current children cumulated memory: 75368 KiB

[startup+6.30021 s]
/proc/loadavg: 0.55 0.19 0.12 4/254 459468
/proc/meminfo: memFree=117493596/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=185572 memory=135348 CPUtime=6.27 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 10381 0 0 0 569 58 0 0 20 0 1 0 60180519 190025728 33837 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 46393 33837 1919 992 0 38251 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185572 KiB
Current children cumulated memory: 135348 KiB

[startup+12.7002 s]
/proc/loadavg: 0.83 0.26 0.14 4/255 459470
/proc/meminfo: memFree=116809164/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=281892 memory=182740 CPUtime=12.65 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 14542 0 0 0 1193 72 0 0 20 0 1 0 60180519 288657408 45685 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 70473 45685 1919 992 0 62331 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 281892 KiB
Current children cumulated memory: 182740 KiB

[startup+25.5002 s]
/proc/loadavg: 1.16 0.35 0.17 4/253 459472
/proc/meminfo: memFree=115775108/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=333800 memory=281380 CPUtime=25.42 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 26951 0 0 0 2438 104 0 0 20 0 1 0 60180519 341811200 70345 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 83450 70345 1919 992 0 75308 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 333800 KiB
Current children cumulated memory: 281380 KiB

[startup+51.1059 s]
/proc/loadavg: 1.89 0.60 0.27 4/253 459475
/proc/meminfo: memFree=114239580/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=428408 memory=381788 CPUtime=50.96 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 50943 0 0 0 4946 150 0 0 20 0 1 0 60180519 438689792 95447 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 107102 95447 1919 992 0 98960 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 428408 KiB
Current children cumulated memory: 381788 KiB

[startup+102.3 s]
/proc/loadavg: 2.68 1.02 0.43 4/253 459485
/proc/meminfo: memFree=112394552/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=628828 memory=497452 CPUtime=102.01 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 69310 0 0 0 9976 225 0 0 20 0 1 0 60180519 643919872 124363 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 157207 124363 1919 992 0 149065 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 628828 KiB
Current children cumulated memory: 497452 KiB

[startup+162.3 s]
/proc/loadavg: 2.95 1.40 0.60 4/252 459497
/proc/meminfo: memFree=110699888/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=717756 memory=635872 CPUtime=161.85 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 92982 0 0 0 15900 285 0 0 20 0 1 0 60180519 734982144 158968 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 179439 158968 1919 992 0 171297 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 717756 KiB
Current children cumulated memory: 635872 KiB

[startup+222.3 s]
/proc/loadavg: 3.03 1.71 0.75 4/252 459507
/proc/meminfo: memFree=109034996/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=747480 memory=666016 CPUtime=221.7 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 100522 0 0 0 21858 312 0 0 20 0 1 0 60180519 765419520 166504 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 186870 166504 1919 992 0 178728 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 747480 KiB
Current children cumulated memory: 666016 KiB

[startup+282.3 s]
/proc/loadavg: 3.17 1.99 0.91 4/252 459517
/proc/meminfo: memFree=107339004/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=774368 memory=692784 CPUtime=281.56 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 107272 0 0 0 27793 363 0 0 20 0 1 0 60180519 792952832 173196 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 193592 173196 1919 992 0 185450 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 774368 KiB
Current children cumulated memory: 692784 KiB

[startup+342.3 s]
/proc/loadavg: 3.14 2.21 1.06 4/252 459528
/proc/meminfo: memFree=106000936/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=796844 memory=715060 CPUtime=341.41 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 112895 0 0 0 33729 412 0 0 20 0 1 0 60180519 815968256 178765 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 199211 178765 1919 992 0 191069 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 796844 KiB
Current children cumulated memory: 715060 KiB

[startup+402.3 s]
/proc/loadavg: 3.17 2.38 1.19 4/252 459538
/proc/meminfo: memFree=104747444/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=796844 memory=715060 CPUtime=401.26 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 112908 0 0 0 39702 424 0 0 20 0 1 0 60180519 815968256 178765 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 199211 178765 1919 992 0 191069 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 796844 KiB
Current children cumulated memory: 715060 KiB

[startup+462.3 s]
/proc/loadavg: 3.15 2.53 1.32 5/253 459552
/proc/meminfo: memFree=102579320/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=812604 memory=724572 CPUtime=461.12 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 116454 0 0 0 45629 483 0 0 20 0 1 0 60180519 832106496 181143 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 203151 181143 1919 992 0 195009 0
Current children cumulated CPU time: 461.12 s
Current children cumulated vsize: 812604 KiB
Current children cumulated memory: 724572 KiB

[startup+522.3 s]
/proc/loadavg: 3.10 2.63 1.43 4/253 459562
/proc/meminfo: memFree=100491116/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=865028 memory=779564 CPUtime=520.96 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 132074 0 0 0 51571 525 0 0 20 0 1 0 60180519 885788672 194891 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 216257 194891 1919 992 0 208115 0
Current children cumulated CPU time: 520.96 s
Current children cumulated vsize: 865028 KiB
Current children cumulated memory: 779564 KiB

[startup+582.3 s]
/proc/loadavg: 3.14 2.73 1.54 4/253 459574
/proc/meminfo: memFree=98076300/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=897740 memory=814812 CPUtime=580.81 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 141352 0 0 0 57475 606 0 0 20 0 1 0 60180519 919285760 203703 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 224435 203703 1919 992 0 216293 0
Current children cumulated CPU time: 580.81 s
Current children cumulated vsize: 897740 KiB
Current children cumulated memory: 814812 KiB

[startup+642.3 s]
/proc/loadavg: 3.11 2.80 1.64 4/254 459585
/proc/meminfo: memFree=95834464/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1031204 memory=947008 CPUtime=640.67 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 174530 0 0 0 63366 701 0 0 20 0 1 0 60180519 1055952896 236752 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 257801 236752 1919 992 0 249659 0
Current children cumulated CPU time: 640.67 s
Current children cumulated vsize: 1031204 KiB
Current children cumulated memory: 947008 KiB

[startup+658.22 s]
# the end of solver process 459459 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=648.8 s, system=7.49082 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+646.4 s]
/proc/loadavg: 3.10 2.80 1.65 4/254 459585
/proc/meminfo: memFree=95534732/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032484 memory=948380 CPUtime=644.76 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 174861 0 0 0 63763 713 0 0 20 0 1 0 60180519 1057263616 237095 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258121 237095 1919 992 0 249979 0
Current children cumulated CPU time: 644.76 s
Current children cumulated vsize: 1032484 KiB
Current children cumulated memory: 948380 KiB

[startup+652.8 s]
/proc/loadavg: 3.09 2.81 1.66 4/254 459586
/proc/meminfo: memFree=95212684/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032624 memory=948380 CPUtime=651.14 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 174894 0 0 0 64383 731 0 0 20 0 1 0 60180519 1057406976 237095 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258156 237095 1919 992 0 250014 0
Current children cumulated CPU time: 651.14 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 948380 KiB

[startup+656 s]*
/proc/loadavg: 3.08 2.81 1.66 4/254 459586
/proc/meminfo: memFree=95050992/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032624 memory=948396 CPUtime=654.33 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 174900 0 0 0 64697 736 0 0 20 0 1 0 60180519 1057406976 237099 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258156 237099 1919 992 0 250014 0
Current children cumulated CPU time: 654.33 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 948396 KiB

[startup+657.6 s]
/proc/loadavg: 3.08 2.81 1.66 4/254 459586
/proc/meminfo: memFree=95016356/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032624 memory=948396 CPUtime=655.92 cores=1,3
/proc/459459/stat : 459459 (roundingsat) R 459455 459459 459264 0 -1 4194304 174900 0 0 0 64851 741 0 0 20 0 1 0 60180519 1057406976 237099 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258156 237099 1919 992 0 250014 0
Current children cumulated CPU time: 655.92 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 948396 KiB

[startup+658 s]*
/proc/loadavg: 3.08 2.81 1.66 3/255 459587
/proc/meminfo: memFree=94940888/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032624 memory=948396 CPUtime=656.24 cores=1,3
/proc/459459/stat : 459459 (roundingsat) D 459455 459459 459264 0 -1 4194304 174900 0 0 0 64879 745 0 0 20 0 1 0 60180519 1057406976 237099 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 0 0 0 17 1 0 0 16 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258156 237099 1919 992 0 250014 0
Current children cumulated CPU time: 656.24 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 948396 KiB

[startup+658.2 s]
/proc/loadavg: 3.08 2.81 1.66 3/255 459587
/proc/meminfo: memFree=94940888/131524600 swapFree=131071216/131071996
[pid=459459] ppid=459455 vsize=1032624 memory=948396 CPUtime=656.26 cores=1,3
/proc/459459/stat : 459459 (roundingsat) D 459455 459459 459264 0 -1 4194304 174900 0 0 0 64879 747 0 0 20 0 1 0 60180519 1057406976 237099 134679101440 4194304 8254037 140729699881920 0 0 0 0 0 25182210 1 0 0 17 1 0 0 46 0 0 9037040 9046032 28200960 140729699890011 140729699890273 140729699890273 140729699897289 0
/proc/459459/statm: 258156 237099 1919 992 0 250014 0
Current children cumulated CPU time: 656.26 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 948396 KiB

Child status: 0

Real time (s): 658.22
CPU time (s): 656.291
CPU user time (s): 648.8
CPU system time (s): 7.49082
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 1032624
Max. memory (cumulated for all children) (KiB): 948396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 648.8
system time used= 7.49082
maximum resident set size= 948396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17005024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4803
involuntary context switches= 899


# summary of solver processes directly reported to runsolver:
#   pid: 459459
#   total CPU time (s): 656.291
#   total CPU user time (s): 648.8
#   total CPU system time (s): 7.49082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25886 second user time and 3.25364 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-29 09:03:00
IDJOB=4462473
IDBENCH=178886
IDSOLVER=3085
FILE ID=nodeC017/4462473-1722236580
RUNJOBID= nodeC017-1722236576-459276
SLURM_JOB_ID= 8248754
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_400_008.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462473-1722236580/watcher-4462473-1722236580 -o /tmp/evaluation-result-4462473-1722236580/solver-4462473-1722236580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722236576-459276 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462473-1722236580 --lp-cut-gomory=0 HOME/instance-4462473-1722236580.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=1039064206

nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3668.734
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3649.807
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3670.552
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3666.598
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3543.377
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3670.455
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
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		: 3565.783
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
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		: 3620.059
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118311416 kB
MemAvailable:   129619380 kB
Buffers:          426064 kB
Cached:         11678112 kB
SwapCached:           88 kB
Active:          2852716 kB
Inactive:        9651892 kB
Active(anon):       1508 kB
Inactive(anon):   461272 kB
Active(file):    2851208 kB
Inactive(file):  9190620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            108268 kB
Writeback:            12 kB
AnonPages:        400420 kB
Mapped:           124680 kB
Shmem:             62012 kB
KReclaimable:     211920 kB
Slab:             341396 kB
SReclaimable:     211920 kB
SUnreclaim:       129476 kB
KernelStack:        3968 kB
PageTables:        10136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     764656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            25696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      422612 kB
DirectMap2M:    40245248 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC017 at 2024-07-29 09:13:58