Trace number 4455360

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 nolog (2)SAT (TO)3795485 3600.06 3608.83

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
MD5SUM9e5b0b67365644613b47988ddf91495e
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 benchmark3437313
Best CPU time to get the best result obtained on this benchmark711.141
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
Number of bits of the biggest sum of numbers37
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.07	c #variables 9940 #constraints 24510
56.37/56.68	c bounds - >= -70 @ 0.05255
56.37/56.68	c bounds 62786317 >= -70 @ 1.5401
56.37/56.68	c bounds 52704231 >= -70 @ 1.54604
56.37/56.68	c bounds 52694853 >= -70 @ 1.57172
56.37/56.68	c bounds 37605093 >= -70 @ 1.57729
56.37/56.68	c bounds 36180643 >= -70 @ 2.46256
56.37/56.68	c bounds 36101843 >= -70 @ 2.48707
56.37/56.68	c bounds 36097907 >= -70 @ 2.52344
56.37/56.68	c bounds 36010997 >= -70 @ 2.82687
56.37/56.68	c bounds 35959557 >= -70 @ 2.85208
56.37/56.68	c bounds 35953617 >= -70 @ 2.89263
56.37/56.68	c bounds 35907967 >= -70 @ 2.95376
56.37/56.68	c bounds 35816875 >= -70 @ 2.97185
56.37/56.68	c bounds 35758089 >= -70 @ 3.0555
56.37/56.68	c bounds 35679177 >= -70 @ 3.27531
56.37/56.68	c bounds 35581039 >= -70 @ 3.30935
56.37/56.68	c bounds 27457713 >= -70 @ 4.20453
56.37/56.68	c bounds 27297039 >= -70 @ 4.24445
56.37/56.68	c bounds 27245669 >= -70 @ 4.3171
56.37/56.68	c bounds 27130981 >= -70 @ 4.47969
56.37/56.68	c bounds 27011555 >= -70 @ 4.54667
56.37/56.68	c bounds 26990133 >= -70 @ 4.59878
56.37/56.68	c bounds 26858037 >= -70 @ 4.74607
56.37/56.68	c bounds 26833579 >= -70 @ 4.84592
56.37/56.68	c bounds 26826337 >= -70 @ 5.11564
56.37/56.68	c bounds 26800635 >= -70 @ 5.23745
56.37/56.68	c #Conflicts:       1000 | #Constraints:      25534
56.37/56.68	c bounds 26788449 >= -70 @ 5.41162
56.37/56.68	c bounds 26770023 >= -70 @ 5.48595
56.37/56.68	c bounds 26742183 >= -70 @ 5.53682
56.37/56.68	c bounds 26736823 >= -70 @ 5.67534
56.37/56.68	c bounds 26688813 >= -70 @ 6.05474
56.37/56.68	c bounds 24789461 >= -70 @ 9.66351
56.37/56.68	c bounds 22845029 >= -70 @ 9.75265
56.37/56.68	c bounds 22831779 >= -70 @ 9.88255
56.37/56.68	c bounds 22784683 >= -70 @ 9.96338
56.37/56.68	c bounds 22775745 >= -70 @ 10.2136
56.37/56.68	c bounds 22771211 >= -70 @ 10.329
56.37/56.68	c bounds 22696619 >= -70 @ 10.7328
56.37/56.68	c bounds 22688659 >= -70 @ 11.2562
56.37/56.68	c bounds 22678285 >= -70 @ 11.6746
56.37/56.68	c bounds 22648123 >= -70 @ 11.8976
56.37/56.68	c bounds 22592469 >= -70 @ 12.7012
56.37/56.68	c #Conflicts:       2000 | #Constraints:      26550
56.37/56.68	c INPROCESSING
56.37/56.68	c GARBAGE COLLECT
56.37/56.68	c bounds 22546671 >= -70 @ 13.762
56.37/56.68	c bounds 22516093 >= -70 @ 13.8866
56.37/56.68	c bounds 22470827 >= -70 @ 13.9521
56.37/56.68	c bounds 22462587 >= -70 @ 14.0078
56.37/56.68	c bounds 22458805 >= -70 @ 14.0923
56.37/56.68	c bounds 22428635 >= -70 @ 14.254
56.37/56.68	c bounds 22385593 >= -70 @ 14.3482
56.37/56.68	c bounds 22384655 >= -70 @ 14.5188
56.37/56.68	c bounds 22366447 >= -70 @ 14.6498
56.37/56.68	c bounds 22358305 >= -70 @ 15.0619
56.37/56.68	c bounds 22351021 >= -70 @ 15.8445
56.37/56.68	c bounds 22316523 >= -70 @ 16.1869
56.37/56.68	c bounds 22305011 >= -70 @ 16.3582
56.37/56.68	c bounds 22273243 >= -70 @ 16.7573
56.37/56.68	c bounds 21852429 >= -70 @ 16.947
56.37/56.68	c bounds 20646797 >= -70 @ 17.1064
56.37/56.68	c bounds 18702365 >= -70 @ 17.2123
56.37/56.68	c bounds 18696779 >= -70 @ 17.4183
56.37/56.68	c bounds 18668573 >= -70 @ 17.6437
56.37/56.68	c bounds 18635081 >= -70 @ 17.8294
56.37/56.68	c #Conflicts:       3000 | #Constraints:      23526
56.37/56.68	c bounds 18505207 >= -70 @ 21.9583
56.37/56.68	c bounds 18490621 >= -70 @ 22.5474
56.37/56.68	c bounds 18485963 >= -70 @ 23.2778
56.37/56.68	c bounds 18459689 >= -70 @ 23.4763
56.37/56.68	c bounds 18430837 >= -70 @ 23.6884
56.37/56.68	c bounds 18424069 >= -70 @ 23.9528
56.37/56.68	c bounds 18413549 >= -70 @ 24.2109
56.37/56.68	c bounds 18410331 >= -70 @ 24.8059
56.37/56.68	c bounds 18407261 >= -70 @ 25.027
56.37/56.68	c bounds 18381259 >= -70 @ 25.2176
56.37/56.68	c bounds 18368011 >= -70 @ 25.783
56.37/56.68	c bounds 18327461 >= -70 @ 26.3576
56.37/56.68	c bounds 18322101 >= -70 @ 27.0102
56.37/56.68	c bounds 17164841 >= -70 @ 27.2945
56.37/56.68	c bounds 17115347 >= -70 @ 27.447
56.37/56.68	c bounds 17086275 >= -70 @ 27.6623
56.37/56.68	c bounds 15141843 >= -70 @ 27.8156
56.37/56.68	c bounds 15140337 >= -70 @ 28.965
56.37/56.68	c bounds 15093957 >= -70 @ 29.1458
56.37/56.68	c bounds 9970445 >= -70 @ 31.047
56.37/56.68	c bounds 9966339 >= -70 @ 31.2347
56.37/56.68	c bounds 9948853 >= -70 @ 31.3955
56.37/56.68	c bounds 9875755 >= -70 @ 31.5537
56.37/56.68	c bounds 9871913 >= -70 @ 32.0301
56.37/56.68	c bounds 9788891 >= -70 @ 32.213
56.37/56.68	c bounds 9777357 >= -70 @ 32.3798
56.37/56.68	c bounds 9775045 >= -70 @ 32.6563
56.37/56.68	c bounds 8996069 >= -70 @ 33.0362
56.37/56.68	c bounds 8972235 >= -70 @ 33.2326
56.37/56.68	c bounds 8962249 >= -70 @ 33.3955
56.37/56.68	c bounds 8949745 >= -70 @ 33.955
56.37/56.68	c bounds 8894299 >= -70 @ 34.1826
56.37/56.68	c bounds 8861561 >= -70 @ 35.0856
56.37/56.68	c #Conflicts:       4000 | #Constraints:      24563
56.37/56.68	c INPROCESSING
56.37/56.68	c GARBAGE COLLECT
56.37/56.68	c bounds 8844661 >= -70 @ 37.1666
56.37/56.68	c bounds 8813139 >= -70 @ 37.3665
56.37/56.68	c bounds 8810003 >= -70 @ 37.443
56.37/56.68	c bounds 8806101 >= -70 @ 37.9431
56.37/56.68	c bounds 8775595 >= -70 @ 38.5174
56.37/56.68	c bounds 8753207 >= -70 @ 39.309
56.37/56.68	c bounds 8732161 >= -70 @ 39.422
56.37/56.68	c #Conflicts:       5000 | #Constraints:      20898
56.37/56.68	c #Conflicts:       6000 | #Constraints:      21901
56.37/56.68	c bounds 8726335 >= -70 @ 51.0445
56.37/56.68	c bounds 8725093 >= -70 @ 51.2871
56.37/56.68	c bounds 8724853 >= -70 @ 51.5213
56.37/56.68	c bounds 8711679 >= -70 @ 52.3967
56.37/56.68	c bounds 8694965 >= -70 @ 54.1121
56.37/56.68	c bounds 8681765 >= -70 @ 55.8792
237.38/238.12	c bounds 8680677 >= -70 @ 56.9138
237.38/238.12	c bounds 8653389 >= -70 @ 57.8617
237.38/238.12	c bounds 8621117 >= -70 @ 58.7192
237.38/238.12	c bounds 8617643 >= -70 @ 59.9989
237.38/238.12	c INPROCESSING
237.38/238.12	c GARBAGE COLLECT
237.38/238.12	c #Conflicts:       7000 | #Constraints:      20885
237.38/238.12	c #Conflicts:       8000 | #Constraints:      21885
237.38/238.12	c #Conflicts:       9000 | #Constraints:      22886
237.38/238.12	c bounds 8612139 >= -70 @ 95.7148
237.38/238.12	c bounds 8609839 >= -70 @ 96.2168
237.38/238.12	c bounds 8600089 >= -70 @ 96.6325
237.38/238.12	c bounds 8595871 >= -70 @ 97.6381
237.38/238.12	c INPROCESSING
237.38/238.12	c GARBAGE COLLECT
237.38/238.12	c bounds 8589963 >= -70 @ 101.707
237.38/238.12	c bounds 8577295 >= -70 @ 108.878
237.38/238.12	c #Conflicts:      10000 | #Constraints:      21559
237.38/238.12	c bounds 8568967 >= -70 @ 114.061
237.38/238.12	c bounds 8567957 >= -70 @ 114.294
237.38/238.12	c bounds 8562911 >= -70 @ 119.09
237.38/238.12	c bounds 8562313 >= -70 @ 119.396
237.38/238.12	c bounds 8561333 >= -70 @ 120.025
237.38/238.12	c bounds 8560345 >= -70 @ 123.43
237.38/238.12	c bounds 8554585 >= -70 @ 124.363
237.38/238.12	c bounds 8544451 >= -70 @ 124.966
237.38/238.12	c #Conflicts:      11000 | #Constraints:      22576
237.38/238.12	c bounds 8534925 >= -70 @ 129.061
237.38/238.12	c bounds 8471799 >= -70 @ 151.323
237.38/238.12	c bounds 8421587 >= -70 @ 151.688
237.38/238.12	c bounds 8420545 >= -70 @ 152.21
237.38/238.12	c bounds 8373787 >= -70 @ 152.645
237.38/238.12	c bounds 8320571 >= -70 @ 153.015
237.38/238.12	c bounds 8312069 >= -70 @ 153.39
237.38/238.12	c bounds 8300017 >= -70 @ 153.784
237.38/238.12	c bounds 8287507 >= -70 @ 154.127
237.38/238.12	c #Conflicts:      12000 | #Constraints:      23588
237.38/238.12	c INPROCESSING
237.38/238.12	c GARBAGE COLLECT
237.38/238.12	c bounds 8189859 >= -70 @ 155.381
237.38/238.12	c bounds 8158147 >= -70 @ 156.448
237.38/238.12	c bounds 8123943 >= -70 @ 157.114
237.38/238.12	c bounds 8101225 >= -70 @ 157.42
237.38/238.12	c bounds 8093443 >= -70 @ 157.684
237.38/238.12	c bounds 8034357 >= -70 @ 157.947
237.38/238.12	c bounds 7995813 >= -70 @ 158.487
237.38/238.12	c bounds 7959589 >= -70 @ 158.813
237.38/238.12	c bounds 7947093 >= -70 @ 159.058
237.38/238.12	c bounds 7944909 >= -70 @ 159.494
237.38/238.12	c bounds 7936283 >= -70 @ 160.095
237.38/238.12	c bounds 7920077 >= -70 @ 160.336
237.38/238.12	c bounds 7894973 >= -70 @ 160.594
237.38/238.12	c bounds 7894429 >= -70 @ 160.763
237.38/238.12	c bounds 7881405 >= -70 @ 161.019
237.38/238.12	c bounds 7860197 >= -70 @ 161.826
237.38/238.12	c bounds 7843495 >= -70 @ 162.198
237.38/238.12	c bounds 7832775 >= -70 @ 163.197
237.38/238.12	c bounds 7802165 >= -70 @ 163.375
237.38/238.12	c bounds 7798487 >= -70 @ 165.653
237.38/238.12	c #Conflicts:      13000 | #Constraints:      21925
237.38/238.12	c bounds 6358937 >= -70 @ 169.981
237.38/238.12	c bounds 6352987 >= -70 @ 170.648
237.38/238.12	c bounds 6244931 >= -70 @ 170.877
237.38/238.12	c bounds 6229073 >= -70 @ 171.131
237.38/238.12	c bounds 6228633 >= -70 @ 171.384
237.38/238.12	c bounds 6214025 >= -70 @ 171.596
237.38/238.12	c bounds 6189431 >= -70 @ 171.887
237.38/238.12	c bounds 6182663 >= -70 @ 172.158
237.38/238.12	c bounds 6164969 >= -70 @ 173.211
237.38/238.12	c bounds 6108353 >= -70 @ 173.475
237.38/238.12	c bounds 6075155 >= -70 @ 173.869
237.38/238.12	c bounds 5985857 >= -70 @ 174.343
237.38/238.12	c bounds 5985523 >= -70 @ 174.704
237.38/238.12	c bounds 5904267 >= -70 @ 174.992
237.38/238.12	c bounds 5902397 >= -70 @ 175.283
237.38/238.12	c bounds 5891595 >= -70 @ 175.78
237.38/238.12	c bounds 5874935 >= -70 @ 176.367
237.38/238.12	c bounds 5839173 >= -70 @ 176.702
237.38/238.12	c bounds 5780457 >= -70 @ 177.101
237.38/238.12	c #Conflicts:      14000 | #Constraints:      22948
237.38/238.12	c #Conflicts:      15000 | #Constraints:      23948
237.38/238.12	c INPROCESSING
237.38/238.12	c GARBAGE COLLECT
237.38/238.12	c bounds 5757495 >= -70 @ 217.158
237.38/238.12	c bounds 5732391 >= -70 @ 217.401
237.38/238.12	c bounds 5714585 >= -70 @ 217.497
237.38/238.12	c bounds 5627301 >= -70 @ 217.626
237.38/238.12	c bounds 5570379 >= -70 @ 217.721
237.38/238.12	c bounds 5568927 >= -70 @ 217.943
237.38/238.12	c bounds 5538125 >= -70 @ 218.195
237.38/238.12	c bounds 5537949 >= -70 @ 218.747
237.38/238.12	c bounds 5511385 >= -70 @ 218.863
237.38/238.12	c bounds 5506003 >= -70 @ 219.005
237.38/238.12	c bounds 5451091 >= -70 @ 219.127
237.38/238.12	c bounds 5425115 >= -70 @ 219.492
237.38/238.12	c bounds 5399615 >= -70 @ 219.608
237.38/238.12	c bounds 5380393 >= -70 @ 220.108
237.38/238.12	c bounds 5338263 >= -70 @ 221.34
237.38/238.12	c bounds 5323559 >= -70 @ 221.796
237.38/238.12	c bounds 5290227 >= -70 @ 222.714
237.38/238.12	c bounds 5258347 >= -70 @ 223.925
237.38/238.12	c bounds 5234299 >= -70 @ 224.308
237.38/238.12	c bounds 5211595 >= -70 @ 225.402
237.38/238.12	c bounds 5202129 >= -70 @ 225.671
237.38/238.12	c #Conflicts:      16000 | #Constraints:      21053
237.38/238.12	c bounds 5178163 >= -70 @ 226.485
237.38/238.12	c bounds 5170345 >= -70 @ 227.339
237.38/238.12	c bounds 5153371 >= -70 @ 227.599
237.38/238.12	c bounds 5152371 >= -70 @ 227.771
237.38/238.12	c bounds 5134329 >= -70 @ 228.958
237.38/238.12	c bounds 5123643 >= -70 @ 230.599
237.38/238.12	c bounds 5120475 >= -70 @ 230.9
237.38/238.12	c bounds 5115627 >= -70 @ 231.493
237.38/238.12	c bounds 5110249 >= -70 @ 231.771
237.38/238.12	c bounds 5107939 >= -70 @ 232.779
237.38/238.12	c bounds 5100117 >= -70 @ 232.987
237.38/238.12	c bounds 5095623 >= -70 @ 234.122
237.38/238.12	c bounds 5085391 >= -70 @ 235.016
237.38/238.12	c bounds 5084571 >= -70 @ 235.746
237.38/238.12	c bounds 5082957 >= -70 @ 236.12
278.06/278.96	c bounds 5074401 >= -70 @ 236.817
278.06/278.96	c #Conflicts:      17000 | #Constraints:      22079
278.06/278.96	c bounds 5072657 >= -70 @ 239.462
278.06/278.96	c bounds 5046609 >= -70 @ 239.97
278.06/278.96	c bounds 5023361 >= -70 @ 241.556
278.06/278.96	c bounds 5001171 >= -70 @ 242.567
278.06/278.96	c bounds 4999753 >= -70 @ 248.662
278.06/278.96	c bounds 4993187 >= -70 @ 249.919
278.06/278.96	c bounds 4972115 >= -70 @ 250.668
278.06/278.96	c bounds 4957343 >= -70 @ 251.203
278.06/278.96	c #Conflicts:      18000 | #Constraints:      23097
278.06/278.96	c bounds 4946535 >= -70 @ 254.927
278.06/278.96	c bounds 4941473 >= -70 @ 255.213
278.06/278.96	c INPROCESSING
278.06/278.96	c GARBAGE COLLECT
278.06/278.96	c bounds 4939511 >= -70 @ 259.416
278.06/278.96	c bounds 4936559 >= -70 @ 259.775
278.06/278.96	c bounds 4933457 >= -70 @ 260.692
278.06/278.96	c #Conflicts:      19000 | #Constraints:      20672
278.06/278.96	WSVECS04 Frhs2[242]: 6 -38416 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[1762]: 6 -38416 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[1794]: 6 -15129 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[2078]: 6 -17424 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[2692]: 6 -15129 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[2976]: 6 -17424 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4550]: 6 -5184 0 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4974]: 6 0 1.00004 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4975]: 6 0 1.00001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4976]: 6 0 1.00004 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4979]: 6 0 1.00009 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4987]: 6 0 1.00001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4989]: 6 0 1.0001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4997]: 6 0 1.00001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[4998]: 6 0 1.00006 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5000]: 6 0 1.00009 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5005]: 6 0 1.00002 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5006]: 6 0 1.00002 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5012]: 6 0 1.0001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5019]: 6 0 1.00001 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5022]: 6 0 1.00004 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5023]: 6 0 1.00002 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5026]: 6 0 1.00002 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5028]: 6 0 1.00002 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5031]: 6 0 1.00009 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5036]: 6 0 1.00008 shouldn't be
278.06/278.96	WSVECS04 Frhs2[5038]: 6 0 1.00005 shouldn't be
463.76/465.12	c #Conflicts:      20000 | #Constraints:      21672
463.76/465.12	c #Conflicts:      21000 | #Constraints:      22672
463.76/465.12	c INPROCESSING
463.76/465.12	c GARBAGE COLLECT
463.76/465.12	c bounds 4929435 >= -70 @ 316.399
463.76/465.12	c bounds 4927251 >= -70 @ 316.506
463.76/465.12	c bounds 4922403 >= -70 @ 316.743
463.76/465.12	c #Conflicts:      22000 | #Constraints:      20384
463.76/465.12	c bounds 4920831 >= -70 @ 327.181
463.76/465.12	c #Conflicts:      23000 | #Constraints:      21385
463.76/465.12	c #Conflicts:      24000 | #Constraints:      22385
463.76/465.12	c bounds 4915769 >= -70 @ 352.844
463.76/465.12	c #Conflicts:      25000 | #Constraints:      23386
463.76/465.12	c bounds 4905437 >= -70 @ 378.843
463.76/465.12	c INPROCESSING
463.76/465.12	c GARBAGE COLLECT
463.76/465.12	c #Conflicts:      26000 | #Constraints:      20984
463.76/465.12	c #Conflicts:      27000 | #Constraints:      21984
463.76/465.12	c #Conflicts:      28000 | #Constraints:      22984
463.76/465.12	c #Conflicts:      29000 | #Constraints:      23984
463.76/465.12	c INPROCESSING
463.76/465.12	c GARBAGE COLLECT
463.76/465.12	WSVECS04 Frhs2[4971]: 6 0 1.0001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4972]: 6 0 1.00001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4973]: 6 0 1.00009 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4977]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4978]: 6 0 1.00005 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4980]: 6 0 1.00001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4981]: 6 0 1.00006 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4982]: 6 0 1.00009 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4983]: 6 0 1.00009 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4984]: 6 0 1.0001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4985]: 6 0 1.00004 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4986]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4988]: 6 0 1.00004 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4990]: 6 0 1.00006 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4991]: 6 0 1.00004 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4992]: 6 0 1.00009 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4993]: 6 0 1.0001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4995]: 6 0 1.00006 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[4999]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5001]: 6 0 1.00007 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5003]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5004]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5008]: 6 0 1.00003 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5009]: 6 0 1.0001 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5010]: 6 0 1.00003 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5011]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5013]: 6 0 1.00007 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5014]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5016]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5017]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5018]: 6 0 1.00008 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5020]: 6 0 1.00004 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5021]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5024]: 6 0 1.00006 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5025]: 6 0 1.00003 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5027]: 6 0 1.00003 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5032]: 6 0 1.00005 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5033]: 6 0 1.00007 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5034]: 6 0 1.00009 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5035]: 6 0 1.00005 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5037]: 6 0 1.00007 shouldn't be
463.76/465.12	WSVECS04 Frhs2[5040]: 6 0 1.00003 shouldn't be
465.24/466.63	c rational objective 1.88651e+06
635.14/636.92	c bounds 4896287 >= -70 @ 472.102
635.14/636.92	c #Conflicts:      30000 | #Constraints:      21395
635.14/636.92	c #Conflicts:      31000 | #Constraints:      22402
635.14/636.92	c bounds 4866753 >= -70 @ 496.649
635.14/636.92	c bounds 4851849 >= -70 @ 496.926
635.14/636.92	c bounds 4851405 >= -70 @ 497.278
635.14/636.92	c bounds 4756117 >= -70 @ 497.526
635.14/636.92	c bounds 4746769 >= -70 @ 497.832
635.14/636.92	c bounds 4739653 >= -70 @ 499.322
635.14/636.92	c bounds 4739377 >= -70 @ 499.669
635.14/636.92	c bounds 4707183 >= -70 @ 501.287
635.14/636.92	c bounds 4697885 >= -70 @ 505.673
635.14/636.92	c bounds 4656885 >= -70 @ 506.016
635.14/636.92	c bounds 4656859 >= -70 @ 506.84
635.14/636.92	c bounds 4655725 >= -70 @ 507.208
635.14/636.92	c bounds 4655461 >= -70 @ 507.6
635.14/636.92	c #Conflicts:      32000 | #Constraints:      23415
635.14/636.92	c bounds 4638853 >= -70 @ 510.673
635.14/636.92	c bounds 4607255 >= -70 @ 512.588
635.14/636.92	c bounds 4556979 >= -70 @ 513.552
635.14/636.92	c bounds 4556715 >= -70 @ 513.912
635.14/636.92	c bounds 4553597 >= -70 @ 514.461
635.14/636.92	c bounds 4546761 >= -70 @ 514.811
635.14/636.92	c bounds 4546193 >= -70 @ 515.636
635.14/636.92	c bounds 4540181 >= -70 @ 517.439
635.14/636.92	c bounds 4538423 >= -70 @ 517.793
635.14/636.92	c bounds 4535095 >= -70 @ 519.344
635.14/636.92	c bounds 4506265 >= -70 @ 519.731
635.14/636.92	c bounds 4505833 >= -70 @ 530.043
635.14/636.92	c #Conflicts:      33000 | #Constraints:      24427
635.14/636.92	c INPROCESSING
635.14/636.92	c GARBAGE COLLECT
635.14/636.92	c bounds 4504875 >= -70 @ 534.394
635.14/636.92	c bounds 4503285 >= -70 @ 534.499
635.14/636.92	c bounds 4480303 >= -70 @ 534.867
635.14/636.92	c bounds 4478525 >= -70 @ 534.976
635.14/636.92	c bounds 4477821 >= -70 @ 538.169
635.14/636.92	c #Conflicts:      34000 | #Constraints:      21426
635.14/636.92	c #Conflicts:      35000 | #Constraints:      22426
635.14/636.92	c #Conflicts:      36000 | #Constraints:      23429
635.14/636.92	c bounds 4472855 >= -70 @ 567.497
635.14/636.92	c bounds 4462691 >= -70 @ 568.119
635.14/636.92	c bounds 4462249 >= -70 @ 569.405
635.14/636.92	c bounds 4434741 >= -70 @ 569.856
635.14/636.92	c bounds 4410017 >= -70 @ 571.149
635.14/636.92	c #Conflicts:      37000 | #Constraints:      24434
635.14/636.92	c bounds 4401719 >= -70 @ 576.507
635.14/636.92	c INPROCESSING
635.14/636.92	c GARBAGE COLLECT
635.14/636.92	c bounds 4401619 >= -70 @ 578.434
635.14/636.92	c bounds 4388159 >= -70 @ 579.207
635.14/636.92	c bounds 4386919 >= -70 @ 579.486
635.14/636.92	c bounds 4370663 >= -70 @ 579.888
635.14/636.92	c bounds 4354775 >= -70 @ 580.799
635.14/636.92	c #Conflicts:      38000 | #Constraints:      21379
635.14/636.92	c bounds 4315009 >= -70 @ 587.061
635.14/636.92	c #Conflicts:      39000 | #Constraints:      22380
635.14/636.92	c #Conflicts:      40000 | #Constraints:      23380
635.14/636.92	c #Conflicts:      41000 | #Constraints:      24380
635.14/636.92	c INPROCESSING
635.14/636.92	c GARBAGE COLLECT
635.14/636.92	WSVECS04 Frhs2[84]: 6 -61009 0 shouldn't be
635.14/636.92	WSVECS04 Frhs2[360]: 6 -61009 0 shouldn't be
635.14/636.92	WSVECS04 Frhs2[1588]: 6 -73984 0 shouldn't be
635.14/636.92	WSVECS04 Frhs2[2942]: 6 -73984 0 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4972]: 6 0 1.0001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4974]: 6 0 1.00001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4977]: 6 0 1.00007 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4979]: 6 0 1.00007 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4981]: 6 0 1.00005 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4984]: 6 0 1.00009 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4985]: 6 0 1.0001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4989]: 6 0 1.00003 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4990]: 6 0 1.00008 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4992]: 6 0 1.00005 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4994]: 6 0 1.00002 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4995]: 6 0 1.00003 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4997]: 6 0 1.00002 shouldn't be
635.14/636.92	WSVECS04 Frhs2[4999]: 6 0 1.00009 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5000]: 6 0 1.00007 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5005]: 6 0 1.00008 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5006]: 6 0 1.0001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5008]: 6 0 1.00007 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5009]: 6 0 1.00007 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5010]: 6 0 1.00005 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5015]: 6 0 1.0001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5019]: 6 0 1.00004 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5020]: 6 0 1.00002 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5021]: 6 0 1.00005 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5023]: 6 0 1.00001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5025]: 6 0 1.00005 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5035]: 6 0 1.00001 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5036]: 6 0 1.00006 shouldn't be
635.14/636.92	WSVECS04 Frhs2[5039]: 6 0 1.00009 shouldn't be
640.13/641.91	c rational objective 1.88925e+06
1478.95/1482.79	c bounds 4294865 >= -70 @ 639.702
1478.95/1482.79	c bounds 4294255 >= -70 @ 639.871
1478.95/1482.79	c bounds 4293675 >= -70 @ 639.966
1478.95/1482.79	c #Conflicts:      42000 | #Constraints:      21138
1478.95/1482.79	c #Conflicts:      43000 | #Constraints:      22138
1478.95/1482.79	c #Conflicts:      44000 | #Constraints:      23138
1478.95/1482.79	c bounds 4290315 >= -70 @ 675.025
1478.95/1482.79	c #Conflicts:      45000 | #Constraints:      24139
1478.95/1482.79	c #Conflicts:      46000 | #Constraints:      25139
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      47000 | #Constraints:      21705
1478.95/1482.79	c #Conflicts:      48000 | #Constraints:      22711
1478.95/1482.79	c #Conflicts:      49000 | #Constraints:      23726
1478.95/1482.79	c #Conflicts:      50000 | #Constraints:      24734
1478.95/1482.79	c #Conflicts:      51000 | #Constraints:      25734
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      52000 | #Constraints:      22109
1478.95/1482.79	c bounds 4272999 >= -70 @ 782.932
1478.95/1482.79	c #Conflicts:      53000 | #Constraints:      23110
1478.95/1482.79	c #Conflicts:      54000 | #Constraints:      24110
1478.95/1482.79	c #Conflicts:      55000 | #Constraints:      25110
1478.95/1482.79	c #Conflicts:      56000 | #Constraints:      26110
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c bounds 4272985 >= -70 @ 861.749
1478.95/1482.79	c bounds 4264865 >= -70 @ 862.056
1478.95/1482.79	c bounds 4229361 >= -70 @ 862.237
1478.95/1482.79	c bounds 4191511 >= -70 @ 862.745
1478.95/1482.79	c bounds 4187261 >= -70 @ 864.669
1478.95/1482.79	c bounds 4173635 >= -70 @ 865.57
1478.95/1482.79	c bounds 4165795 >= -70 @ 868.416
1478.95/1482.79	c #Conflicts:      57000 | #Constraints:      22291
1478.95/1482.79	c bounds 4162915 >= -70 @ 870.333
1478.95/1482.79	c #Conflicts:      58000 | #Constraints:      23292
1478.95/1482.79	c #Conflicts:      59000 | #Constraints:      24292
1478.95/1482.79	c #Conflicts:      60000 | #Constraints:      25292
1478.95/1482.79	c #Conflicts:      61000 | #Constraints:      26292
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c bounds 4154325 >= -70 @ 934.391
1478.95/1482.79	c bounds 4138765 >= -70 @ 934.934
1478.95/1482.79	c bounds 4128365 >= -70 @ 935.67
1478.95/1482.79	c bounds 4123287 >= -70 @ 936.446
1478.95/1482.79	c #Conflicts:      62000 | #Constraints:      22270
1478.95/1482.79	c #Conflicts:      63000 | #Constraints:      23270
1478.95/1482.79	c bounds 4083191 >= -70 @ 945.802
1478.95/1482.79	c #Conflicts:      64000 | #Constraints:      24271
1478.95/1482.79	c #Conflicts:      65000 | #Constraints:      25271
1478.95/1482.79	c #Conflicts:      66000 | #Constraints:      26271
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      67000 | #Constraints:      22026
1478.95/1482.79	c bounds 4081457 >= -70 @ 1061.69
1478.95/1482.79	c bounds 4071493 >= -70 @ 1062.58
1478.95/1482.79	c #Conflicts:      68000 | #Constraints:      23033
1478.95/1482.79	c #Conflicts:      69000 | #Constraints:      24033
1478.95/1482.79	c #Conflicts:      70000 | #Constraints:      25034
1478.95/1482.79	c #Conflicts:      71000 | #Constraints:      26194
1478.95/1482.79	c #Conflicts:      72000 | #Constraints:      27195
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      73000 | #Constraints:      22648
1478.95/1482.79	c #Conflicts:      74000 | #Constraints:      23649
1478.95/1482.79	c #Conflicts:      75000 | #Constraints:      24650
1478.95/1482.79	c #Conflicts:      76000 | #Constraints:      25650
1478.95/1482.79	c #Conflicts:      77000 | #Constraints:      26650
1478.95/1482.79	c #Conflicts:      78000 | #Constraints:      27650
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      79000 | #Constraints:      22975
1478.95/1482.79	c #Conflicts:      80000 | #Constraints:      23975
1478.95/1482.79	c #Conflicts:      81000 | #Constraints:      24975
1478.95/1482.79	c #Conflicts:      82000 | #Constraints:      25975
1478.95/1482.79	c #Conflicts:      83000 | #Constraints:      26975
1478.95/1482.79	c #Conflicts:      84000 | #Constraints:      27975
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      85000 | #Constraints:      23186
1478.95/1482.79	c #Conflicts:      86000 | #Constraints:      24186
1478.95/1482.79	c #Conflicts:      87000 | #Constraints:      25187
1478.95/1482.79	c bounds 4068903 >= -70 @ 1357.72
1478.95/1482.79	c bounds 4068661 >= -70 @ 1367.46
1478.95/1482.79	c #Conflicts:      88000 | #Constraints:      26195
1478.95/1482.79	c bounds 4066629 >= -70 @ 1372.26
1478.95/1482.79	c bounds 4066327 >= -70 @ 1388.5
1478.95/1482.79	c #Conflicts:      89000 | #Constraints:      27198
1478.95/1482.79	c #Conflicts:      90000 | #Constraints:      28199
1478.95/1482.79	c INPROCESSING
1478.95/1482.79	c GARBAGE COLLECT
1478.95/1482.79	c #Conflicts:      91000 | #Constraints:      23010
1478.95/1482.79	c #Conflicts:      92000 | #Constraints:      24016
1478.95/1482.79	WSVECS04 Frhs2[826]: 6 0 31986.8 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[903]: 6 0 4066.83 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1696]: 6 0 125826 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1698]: 6 0 138104 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1699]: 6 0 156944 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1704]: 6 0 181771 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1722]: 6 0 115104 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1731]: 6 0 139746 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1745]: 6 0 132734 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[1748]: 6 0 144863 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2061]: 6 0 159366 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2271]: 6 0 128760 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2621]: 6 0 55367.6 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2761]: 6 0 148032 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2827]: 6 0 15568 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2859]: 6 0 26849.8 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2863]: 6 0 41234.8 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[2901]: 6 0 214176 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[3601]: 6 0 58454.6 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4021]: 6 0 150656 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4063]: 6 0 47646.4 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4091]: 6 0 271101 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4096]: 6 0 67382.4 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4105]: 6 0 43620.4 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4161]: 6 0 125512 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4451]: 6 -147730 0 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[4581]: 6 0 142574 shouldn't be
1478.95/1482.79	WSVECS04 Frhs2[9397]: 6 0 106513 shouldn't be
1787.22/1791.76	c #Conflicts:      93000 | #Constraints:      25019
1787.22/1791.76	c #Conflicts:      94000 | #Constraints:      26019
1787.22/1791.76	c #Conflicts:      95000 | #Constraints:      27019
1787.22/1791.76	c #Conflicts:      96000 | #Constraints:      28019
1787.22/1791.76	c INPROCESSING
1787.22/1791.76	c GARBAGE COLLECT
1787.22/1791.76	c #Conflicts:      97000 | #Constraints:      22826
1787.22/1791.76	c #Conflicts:      98000 | #Constraints:      23826
1787.22/1791.76	c #Conflicts:      99000 | #Constraints:      24826
1787.22/1791.76	c #Conflicts:     100000 | #Constraints:      25826
1787.22/1791.76	c #Conflicts:     101000 | #Constraints:      26826
1787.22/1791.76	c #Conflicts:     102000 | #Constraints:      27826
1787.22/1791.76	c #Conflicts:     103000 | #Constraints:      28826
1787.22/1791.76	c INPROCESSING
1787.22/1791.76	c GARBAGE COLLECT
1787.22/1791.76	c #Conflicts:     104000 | #Constraints:      23292
1787.22/1791.76	c #Conflicts:     105000 | #Constraints:      24294
1787.22/1791.76	c #Conflicts:     106000 | #Constraints:      25294
1787.22/1791.76	c #Conflicts:     107000 | #Constraints:      26294
1787.22/1791.76	c #Conflicts:     108000 | #Constraints:      27294
1787.22/1791.76	c #Conflicts:     109000 | #Constraints:      28294
1787.22/1791.76	c #Conflicts:     110000 | #Constraints:      29294
1787.22/1791.76	c INPROCESSING
1787.22/1791.76	c GARBAGE COLLECT
1787.22/1791.76	c rational objective 1.89628e+06
1920.21/1925.09	c #Conflicts:     111000 | #Constraints:      23571
1920.21/1925.09	c #Conflicts:     112000 | #Constraints:      24571
1920.21/1925.09	c #Conflicts:     113000 | #Constraints:      25571
1920.21/1925.09	c #Conflicts:     114000 | #Constraints:      26571
1920.21/1925.09	c #Conflicts:     115000 | #Constraints:      27571
1920.21/1925.09	c #Conflicts:     116000 | #Constraints:      28571
1920.21/1925.09	c #Conflicts:     117000 | #Constraints:      29571
1920.21/1925.09	c INPROCESSING
1920.21/1925.09	c GARBAGE COLLECT
1920.21/1925.09	c rational objective 1.89691e+06
2044.10/2049.20	c #Conflicts:     118000 | #Constraints:      23862
2044.10/2049.20	c #Conflicts:     119000 | #Constraints:      24862
2044.10/2049.20	c #Conflicts:     120000 | #Constraints:      25862
2044.10/2049.20	c #Conflicts:     121000 | #Constraints:      26867
2044.10/2049.20	c #Conflicts:     122000 | #Constraints:      27887
2044.10/2049.20	c #Conflicts:     123000 | #Constraints:      28889
2044.10/2049.20	c #Conflicts:     124000 | #Constraints:      29891
2044.10/2049.20	c INPROCESSING
2044.10/2049.20	c GARBAGE COLLECT
2044.10/2049.20	c rational objective 1.89873e+06
2202.73/2208.27	c #Conflicts:     125000 | #Constraints:      23910
2202.73/2208.27	c #Conflicts:     126000 | #Constraints:      24910
2202.73/2208.27	c #Conflicts:     127000 | #Constraints:      25911
2202.73/2208.27	c #Conflicts:     128000 | #Constraints:      26912
2202.73/2208.27	c #Conflicts:     129000 | #Constraints:      27916
2202.73/2208.27	c #Conflicts:     130000 | #Constraints:      28918
2202.73/2208.27	c #Conflicts:     131000 | #Constraints:      29918
2202.73/2208.27	c INPROCESSING
2202.73/2208.27	c GARBAGE COLLECT
2202.73/2208.27	c rational objective 1.9007e+06
2457.05/2463.12	c #Conflicts:     132000 | #Constraints:      23639
2457.05/2463.12	c #Conflicts:     133000 | #Constraints:      24639
2457.05/2463.12	c #Conflicts:     134000 | #Constraints:      25640
2457.05/2463.12	c #Conflicts:     135000 | #Constraints:      26645
2457.05/2463.12	c #Conflicts:     136000 | #Constraints:      27647
2457.05/2463.12	c #Conflicts:     137000 | #Constraints:      28658
2457.05/2463.12	c #Conflicts:     138000 | #Constraints:      29663
2457.05/2463.12	c #Conflicts:     139000 | #Constraints:      30673
2457.05/2463.12	c INPROCESSING
2457.05/2463.12	c GARBAGE COLLECT
2457.05/2463.12	c rational objective 1.9007e+06
2756.62/2763.48	c #Conflicts:     140000 | #Constraints:      24213
2756.62/2763.48	c #Conflicts:     141000 | #Constraints:      25216
2756.62/2763.48	c #Conflicts:     142000 | #Constraints:      26216
2756.62/2763.48	c #Conflicts:     143000 | #Constraints:      27216
2756.62/2763.48	c #Conflicts:     144000 | #Constraints:      28216
2756.62/2763.48	c #Conflicts:     145000 | #Constraints:      29216
2756.62/2763.48	c #Conflicts:     146000 | #Constraints:      30216
2756.62/2763.48	c #Conflicts:     147000 | #Constraints:      31216
2756.62/2763.48	c INPROCESSING
2756.62/2763.48	c GARBAGE COLLECT
2756.62/2763.48	c #Conflicts:     148000 | #Constraints:      24527
2756.62/2763.48	c #Conflicts:     149000 | #Constraints:      25528
2756.62/2763.48	c bounds 4040305 >= -70 @ 2609.86
2756.62/2763.48	c bounds 4036089 >= -70 @ 2610.93
2756.62/2763.48	c bounds 4029935 >= -70 @ 2612.24
2756.62/2763.48	c bounds 4022801 >= -70 @ 2613.37
2756.62/2763.48	c bounds 4021235 >= -70 @ 2613.77
2756.62/2763.48	c bounds 4007811 >= -70 @ 2614
2756.62/2763.48	c #Conflicts:     150000 | #Constraints:      26539
2756.62/2763.48	c bounds 3998199 >= -70 @ 2617.77
2756.62/2763.48	c bounds 3994713 >= -70 @ 2618.26
2756.62/2763.48	c bounds 3992201 >= -70 @ 2619.84
2756.62/2763.48	c bounds 3991673 >= -70 @ 2620.21
2756.62/2763.48	c bounds 3979805 >= -70 @ 2620.52
2756.62/2763.48	c bounds 3966003 >= -70 @ 2625.88
2756.62/2763.48	c bounds 3964585 >= -70 @ 2628.45
2756.62/2763.48	c bounds 3963159 >= -70 @ 2629.13
2756.62/2763.48	c bounds 3954079 >= -70 @ 2629.45
2756.62/2763.48	c bounds 3953125 >= -70 @ 2629.75
2756.62/2763.48	c bounds 3948661 >= -70 @ 2630.05
2756.62/2763.48	c #Conflicts:     151000 | #Constraints:      27554
2756.62/2763.48	c bounds 3940861 >= -70 @ 2633.11
2756.62/2763.48	c bounds 3934363 >= -70 @ 2637.2
2756.62/2763.48	c bounds 3933987 >= -70 @ 2637.61
2756.62/2763.48	c bounds 3931823 >= -70 @ 2638.57
2756.62/2763.48	c bounds 3931473 >= -70 @ 2638.98
2756.62/2763.48	c bounds 3928457 >= -70 @ 2640.61
2756.62/2763.48	c bounds 3893831 >= -70 @ 2641.11
2756.62/2763.48	c bounds 3893393 >= -70 @ 2643.2
2756.62/2763.48	c #Conflicts:     152000 | #Constraints:      28569
2756.62/2763.48	c bounds 3864461 >= -70 @ 2648.33
2756.62/2763.48	c bounds 3862123 >= -70 @ 2649.56
2756.62/2763.48	c #Conflicts:     153000 | #Constraints:      29574
2756.62/2763.48	c #Conflicts:     154000 | #Constraints:      30574
2756.62/2763.48	c #Conflicts:     155000 | #Constraints:      31575
2756.62/2763.48	c INPROCESSING
2756.62/2763.48	c GARBAGE COLLECT
2756.62/2763.48	c rational objective 1.90155e+06
2957.45/2964.78	c #Conflicts:     156000 | #Constraints:      24579
2957.45/2964.78	c #Conflicts:     157000 | #Constraints:      25580
2957.45/2964.78	c #Conflicts:     158000 | #Constraints:      26581
2957.45/2964.78	c #Conflicts:     159000 | #Constraints:      27583
2957.45/2964.78	c #Conflicts:     160000 | #Constraints:      28583
2957.45/2964.78	c #Conflicts:     161000 | #Constraints:      29584
2957.45/2964.78	c #Conflicts:     162000 | #Constraints:      30585
2957.45/2964.78	c #Conflicts:     163000 | #Constraints:      31586
2957.45/2964.78	c INPROCESSING
2957.45/2964.78	c GARBAGE COLLECT
2957.45/2964.78	c rational objective 1.91256e+06
3265.92/3273.98	c #Conflicts:     164000 | #Constraints:      24477
3265.92/3273.98	c #Conflicts:     165000 | #Constraints:      25477
3265.92/3273.98	c #Conflicts:     166000 | #Constraints:      26477
3265.92/3273.98	c #Conflicts:     167000 | #Constraints:      27477
3265.92/3273.98	c #Conflicts:     168000 | #Constraints:      28477
3265.92/3273.98	c #Conflicts:     169000 | #Constraints:      29478
3265.92/3273.98	c #Conflicts:     170000 | #Constraints:      30478
3265.92/3273.98	c #Conflicts:     171000 | #Constraints:      31479
3265.92/3273.98	c INPROCESSING
3265.92/3273.98	c GARBAGE COLLECT
3265.92/3273.98	c bounds 3859189 >= -70 @ 3126.85
3265.92/3273.98	c #Conflicts:     172000 | #Constraints:      24154
3265.92/3273.98	c bounds 3853581 >= -70 @ 3136.6
3265.92/3273.98	c #Conflicts:     173000 | #Constraints:      25155
3265.92/3273.98	c #Conflicts:     174000 | #Constraints:      26155
3265.92/3273.98	c #Conflicts:     175000 | #Constraints:      27155
3265.92/3273.98	c #Conflicts:     176000 | #Constraints:      28155
3265.92/3273.98	c #Conflicts:     177000 | #Constraints:      29155
3265.92/3273.98	c #Conflicts:     178000 | #Constraints:      30155
3265.92/3273.98	c #Conflicts:     179000 | #Constraints:      31170
3265.92/3273.98	c #Conflicts:     180000 | #Constraints:      32190
3265.92/3273.98	c INPROCESSING
3265.92/3273.98	c GARBAGE COLLECT
3265.92/3273.98	c rational objective 1.91397e+06
3596.73/3605.51	c bounds 3849267 >= -70 @ 3260.36
3596.73/3605.51	c bounds 3833717 >= -70 @ 3260.47
3596.73/3605.51	c bounds 3830561 >= -70 @ 3265.37
3596.73/3605.51	c #Conflicts:     181000 | #Constraints:      24881
3596.73/3605.51	c bounds 3828401 >= -70 @ 3268.3
3596.73/3605.51	c bounds 3824359 >= -70 @ 3271.82
3596.73/3605.51	c #Conflicts:     182000 | #Constraints:      25898
3596.73/3605.51	c bounds 3814117 >= -70 @ 3280.3
3596.73/3605.51	c bounds 3813767 >= -70 @ 3282.72
3596.73/3605.51	c #Conflicts:     183000 | #Constraints:      26906
3596.73/3605.51	c bounds 3811437 >= -70 @ 3295.4
3596.73/3605.51	c bounds 3795671 >= -70 @ 3298.36
3596.73/3605.51	c #Conflicts:     184000 | #Constraints:      27909
3596.73/3605.51	c #Conflicts:     185000 | #Constraints:      28939
3596.73/3605.51	c #Conflicts:     186000 | #Constraints:      29983
3596.73/3605.51	c #Conflicts:     187000 | #Constraints:      30989
3596.73/3605.51	c bounds 3795485 >= -70 @ 3376.89
3596.73/3605.51	c #Conflicts:     188000 | #Constraints:      31993
3596.73/3605.51	c #Conflicts:     189000 | #Constraints:      32994
3596.73/3605.51	c INPROCESSING
3596.73/3605.51	c GARBAGE COLLECT
3596.73/3605.51	c #Conflicts:     190000 | #Constraints:      25356
3596.73/3605.51	c #Conflicts:     191000 | #Constraints:      26358
3596.73/3605.51	c #Conflicts:     192000 | #Constraints:      27362
3596.73/3605.51	c #Conflicts:     193000 | #Constraints:      28398
3596.73/3605.51	c #Conflicts:     194000 | #Constraints:      29407
3596.73/3605.51	c #Conflicts:     195000 | #Constraints:      30407
3596.73/3605.51	c #Conflicts:     196000 | #Constraints:      31407
3596.73/3605.51	c #Conflicts:     197000 | #Constraints:      32407
3596.73/3605.51	c #Conflicts:     198000 | #Constraints:      33407
3596.73/3605.51	c INPROCESSING
3596.73/3605.51	c GARBAGE COLLECT
3596.73/3605.51	c rational objective 1.91578e+06
3600.02/3608.80	c Program interrupted by user.
3600.02/3608.80	c cpu time 3591.67 s
3600.02/3608.80	c deterministic time 490583993840 4.91e+11
3600.02/3608.80	c optimization time 2.09887 s
3600.02/3608.80	c total solve time 3589.52 s
3600.02/3608.80	c core-guided solve time 2449.96 s
3600.02/3608.80	c propagation time 2737.5 s
3600.02/3608.80	c conflict analysis time 604.596 s
3600.02/3608.80	c propagations 70429809
3600.02/3608.80	c resolve steps 3950003
3600.02/3608.80	c decisions 2679913
3600.02/3608.80	c conflicts 198301
3600.02/3608.80	c restarts 509
3600.02/3608.80	c inprocessing phases 36
3600.02/3608.80	c input clauses 21876
3600.02/3608.80	c input cardinalities 9
3600.02/3608.80	c input general constraints 2960
3600.02/3608.80	c input average constraint length 100.72
3600.02/3608.80	c input average constraint degree 138038319.51
3600.02/3608.80	c learned clauses 19768
3600.02/3608.80	c learned cardinalities 301
3600.02/3608.80	c learned general constraints 178867
3600.02/3608.80	c learned average constraint length 4431.77
3600.02/3608.80	c learned average constraint degree 20330428696.51
3600.02/3608.80	c watched constraints 40639
3600.02/3608.80	c counting constraints 141188
3600.02/3608.80	c gcd simplifications 3449
3600.02/3608.80	c detected cardinalities 22
3600.02/3608.80	c weakened non-implied lits 61531542
3600.02/3608.80	c weakened non-implying lits 397079
3600.02/3608.80	c original variables 9940
3600.02/3608.80	c clausal propagations 45684864
3600.02/3608.80	c cardinality propagations 537592
3600.02/3608.80	c watched propagations 974436
3600.02/3608.80	c counting propagations 23097699
3600.02/3608.80	c watch lookups 41854802741
3600.02/3608.80	c watch backjump lookups 41598200077
3600.02/3608.80	c watch checks 96346924304
3600.02/3608.80	c propagation checks 308505483900
3600.02/3608.80	c constraint additions 2131765203
3600.02/3608.80	c trail pops 73298037
3600.02/3608.80	c formula constraints 24510
3600.02/3608.80	c learned constraints 198172
3600.02/3608.80	c bound constraints 335
3600.02/3608.80	c core-guided constraints 0
3600.02/3608.80	c encountered formula constraints 3573653
3600.02/3608.80	c encountered learned constraints 566152
3600.02/3608.80	c encountered bound constraints 2639
3600.02/3608.80	c encountered core-guided constraints 0
3600.02/3608.80	c LP total time 249.778 s
3600.02/3608.80	c LP solve time 226.53 s
3600.02/3608.80	c LP constraints added 24541
3600.02/3608.80	c LP constraints removed 16
3600.02/3608.80	c LP pivots internal 200889
3600.02/3608.80	c LP pivots root 208966
3600.02/3608.80	c LP calls 701
3600.02/3608.80	c LP optimalities 53
3600.02/3608.80	c LP no pivot count 1
3600.02/3608.80	c LP infeasibilities 633
3600.02/3608.80	c LP valid Farkas constraints 626
3600.02/3608.80	c LP learned Farkas constraints 129
3600.02/3608.80	c LP basis resets 16
3600.02/3608.80	c LP cycling count 2
3600.02/3608.80	c LP singular count 3
3600.02/3608.80	c LP no primal count 0
3600.02/3608.80	c LP no farkas count 6
3600.02/3608.80	c LP other issue count 5
3600.02/3608.80	c LP Gomory cuts 9
3600.02/3608.80	c LP learned cuts 25
3600.02/3608.80	c LP deleted cuts 18
3600.02/3608.80	c LP encountered Gomory constraints 0
3600.02/3608.80	c LP encountered Farkas constraints 4886
3600.02/3608.80	c LP encountered learned Farkas constraints 845
3600.02/3608.80	c CG auxiliary variables introduced 0
3600.02/3608.80	c CG solutions found 335
3600.02/3608.80	c CG cores constructed 0
3600.02/3608.80	c CG core cardinality constraints returned 0
3600.02/3608.80	c CG unit cores 0
3600.02/3608.80	c CG single cores 0
3600.02/3608.80	c CG blocks removed during cardinality reduction 0
3600.02/3608.80	c CG first core best 0
3600.02/3608.80	c CG decision core best 0
3600.02/3608.80	c CG core reduction tie 0
3600.02/3608.80	c CG core degree average 0.00
3600.02/3608.80	c CG core slack average 0.00
3600.02/3608.80	s SATISFIABLE
3600.02/3608.80	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 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940

Verifier Data 

OK	3795485

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: 64096 MiB (60840 MiB free)
  memory of node 1: 64473 MiB (63234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455360-1721462849/watcher-4455360-1721462849 -o /tmp/evaluation-result-4455360-1721462849/solver-4455360-1721462849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052105 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455360-1721462849.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1054075, runsolver pid=1054072

[startup+0.100102 s]*
/proc/loadavg: 4.15 4.14 4.09 5/237 1054076
/proc/meminfo: memFree=127028520/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=57304 memory=29640 CPUtime=0.1 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 6997 0 0 0 8 2 0 0 20 0 1 0 198442060 58679296 7410 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 14326 7410 1627 922 0 6278 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57304 KiB
Current children cumulated memory: 29640 KiB

[startup+0.213804 s]*
/proc/loadavg: 4.15 4.14 4.09 5/237 1054076
/proc/meminfo: memFree=127028452/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=57828 memory=29640 CPUtime=0.22 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 7005 0 0 0 20 2 0 0 20 0 1 0 198442060 59215872 7410 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 14457 7410 1627 922 0 6409 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 57828 KiB
Current children cumulated memory: 29640 KiB

[startup+0.313097 s]*
/proc/loadavg: 4.15 4.14 4.09 4/236 1054076
/proc/meminfo: memFree=127028108/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=58608 memory=30584 CPUtime=0.31 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 7100 0 0 0 29 2 0 0 20 0 1 0 198442060 60014592 7646 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 14652 7646 1739 922 0 6604 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58608 KiB
Current children cumulated memory: 30584 KiB

[startup+0.700257 s]
/proc/loadavg: 4.15 4.14 4.09 6/233 1054098
/proc/meminfo: memFree=127051524/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=59428 memory=31640 CPUtime=0.69 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 7410 0 0 0 66 3 0 0 20 0 1 0 198442060 60854272 7910 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 14857 7910 1739 922 0 6809 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59428 KiB
Current children cumulated memory: 31640 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 4.14 4.09 5/241 1054140
/proc/meminfo: memFree=126980292/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=60684 memory=32432 CPUtime=1.49 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 7559 0 0 0 145 4 0 0 20 0 1 0 198442060 62140416 8108 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 15171 8108 1739 922 0 7123 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60684 KiB
Current children cumulated memory: 32432 KiB

[startup+3.11406 s]
/proc/loadavg: 4.14 4.14 4.09 5/238 1054180
/proc/meminfo: memFree=129150996/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=117792 memory=84752 CPUtime=3.1 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 18026 0 0 0 302 8 0 0 20 0 1 0 198442060 120619008 21188 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 29448 21188 1851 922 0 21400 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 117792 KiB
Current children cumulated memory: 84752 KiB

[startup+6.3003 s]
/proc/loadavg: 4.14 4.14 4.09 5/241 1054188
/proc/meminfo: memFree=128442456/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=203168 memory=149288 CPUtime=6.27 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 27990 0 0 0 614 13 0 0 20 0 1 0 198442060 208044032 37322 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 50792 37322 1851 922 0 42744 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203168 KiB
Current children cumulated memory: 149288 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.09 5/241 1054188
/proc/meminfo: memFree=128157884/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=306888 memory=235608 CPUtime=12.65 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 41409 0 0 0 1244 21 0 0 20 0 1 0 198442060 314253312 58902 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 76722 58902 1851 922 0 68674 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 306888 KiB
Current children cumulated memory: 235608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/241 1054189
/proc/meminfo: memFree=127858652/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=328828 memory=281500 CPUtime=25.37 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 48508 0 0 0 2504 33 0 0 20 0 1 0 198442060 336719872 70375 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 82207 70375 1867 922 0 74159 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 328828 KiB
Current children cumulated memory: 281500 KiB

[startup+51.1136 s]
/proc/loadavg: 4.21 4.15 4.10 5/241 1054194
/proc/meminfo: memFree=126961820/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=488304 memory=386812 CPUtime=50.9 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 65872 0 0 0 5035 55 0 0 20 0 1 0 198442060 500023296 96703 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 122076 96703 1867 922 0 114028 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 488304 KiB
Current children cumulated memory: 386812 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/241 1054203
/proc/meminfo: memFree=125320156/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=586820 memory=549656 CPUtime=101.93 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 90987 0 0 0 10115 78 0 0 20 0 1 0 198442060 600903680 137414 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 146705 137414 1867 922 0 138657 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 586820 KiB
Current children cumulated memory: 549656 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/241 1054213
/proc/meminfo: memFree=124142912/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=772904 memory=596084 CPUtime=161.77 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 99581 0 0 0 16076 101 0 0 20 0 1 0 198442060 791453696 149021 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 193226 149021 1867 922 0 185178 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 772904 KiB
Current children cumulated memory: 596084 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/243 1054227
/proc/meminfo: memFree=123177336/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=775400 memory=609440 CPUtime=221.61 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 100256 0 0 0 22040 121 0 0 20 0 1 0 198442060 794009600 152360 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 193850 152360 1867 922 0 185802 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 775400 KiB
Current children cumulated memory: 609440 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/244 1054238
/proc/meminfo: memFree=122873188/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=850068 memory=701552 CPUtime=281.45 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 114311 0 0 0 27999 146 0 0 20 0 1 0 198442060 870469632 175388 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 212517 175388 1867 922 0 204469 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 850068 KiB
Current children cumulated memory: 701552 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/244 1054249
/proc/meminfo: memFree=122536012/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=850068 memory=712420 CPUtime=341.27 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 114596 0 0 0 33970 157 0 0 20 0 1 0 198442060 870469632 178105 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 212517 178105 1867 922 0 204469 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 850068 KiB
Current children cumulated memory: 712420 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 1054259
/proc/meminfo: memFree=122334468/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=921132 memory=778904 CPUtime=401.09 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 126335 0 0 0 39937 172 0 0 20 0 1 0 198442060 943239168 194726 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 230283 194726 1867 922 0 222235 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 921132 KiB
Current children cumulated memory: 778904 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1054270
/proc/meminfo: memFree=122164196/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=923268 memory=780680 CPUtime=460.95 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 127011 0 0 0 45915 180 0 0 20 0 1 0 198442060 945426432 195170 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 230817 195170 1867 922 0 222769 0

################
# More data... #
################

Current children cumulated memory: 1298820 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/244 1055314
/proc/meminfo: memFree=117276888/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298820 CPUtime=2855.29 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 228726 0 0 0 284842 687 0 0 20 0 1 0 198442060 1574154240 324705 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324705 2015 922 0 376267 0
Current children cumulated CPU time: 2855.29 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298820 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/241 1055707
/proc/meminfo: memFree=117274672/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298820 CPUtime=2915.15 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 229054 0 0 0 290825 690 0 0 20 0 1 0 198442060 1574154240 324705 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324705 2015 922 0 376267 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298820 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/244 1055722
/proc/meminfo: memFree=117264600/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298820 CPUtime=2975.01 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 229410 0 0 0 296796 705 0 0 20 0 1 0 198442060 1574154240 324705 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324705 2015 922 0 376267 0
Current children cumulated CPU time: 2975.01 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298820 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/244 1055732
/proc/meminfo: memFree=117261012/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298820 CPUtime=3034.87 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 229748 0 0 0 302773 714 0 0 20 0 1 0 198442060 1574154240 324705 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324705 2015 922 0 376267 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298820 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.19 4.17 5/246 1055913
/proc/meminfo: memFree=117251984/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298824 CPUtime=3094.73 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 230105 0 0 0 308753 720 0 0 20 0 1 0 198442060 1574154240 324706 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324706 2015 922 0 376267 0
Current children cumulated CPU time: 3094.73 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298824 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 1055923
/proc/meminfo: memFree=117194776/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298824 CPUtime=3154.59 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 230471 0 0 0 314730 729 0 0 20 0 1 0 198442060 1574154240 324706 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324706 2015 922 0 376267 0
Current children cumulated CPU time: 3154.59 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/247 1055947
/proc/meminfo: memFree=116942648/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1537260 memory=1298932 CPUtime=3214.44 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 230876 0 0 0 320703 741 0 0 20 0 1 0 198442060 1574154240 324733 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 384315 324733 2015 922 0 376267 0
Current children cumulated CPU time: 3214.44 s
Current children cumulated vsize: 1537260 KiB
Current children cumulated memory: 1298932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/244 1055957
/proc/meminfo: memFree=116004460/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1551652 memory=1311772 CPUtime=3274.3 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 234566 0 0 0 326670 760 0 0 20 0 1 0 198442060 1588891648 327943 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 387913 327943 2015 922 0 379865 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 1551652 KiB
Current children cumulated memory: 1311772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/244 1055968
/proc/meminfo: memFree=115999052/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1551652 memory=1311780 CPUtime=3334.15 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 235005 0 0 0 332644 771 0 0 20 0 1 0 198442060 1588891648 327945 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 387913 327945 2015 922 0 379865 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 1551652 KiB
Current children cumulated memory: 1311780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/243 1055978
/proc/meminfo: memFree=115998232/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1551652 memory=1312332 CPUtime=3394.01 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 235911 0 0 0 338621 780 0 0 20 0 1 0 198442060 1588891648 328083 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 387913 328083 2015 922 0 379865 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 1551652 KiB
Current children cumulated memory: 1312332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/243 1055989
/proc/meminfo: memFree=115940888/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1574904 memory=1348000 CPUtime=3453.87 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 241633 0 0 0 344590 797 0 0 20 0 1 0 198442060 1612701696 337000 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 393726 337000 2015 922 0 385678 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1574904 KiB
Current children cumulated memory: 1348000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 1056000
/proc/meminfo: memFree=115939496/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1575552 memory=1349356 CPUtime=3513.73 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 242444 0 0 0 350561 812 0 0 20 0 1 0 198442060 1613365248 337339 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 393888 337339 2015 922 0 385840 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 1575552 KiB
Current children cumulated memory: 1349356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/241 1056010
/proc/meminfo: memFree=115884668/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1659480 memory=1404716 CPUtime=3573.59 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 256920 0 0 0 356534 825 0 0 20 0 1 0 198442060 1699307520 351179 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 414870 351179 2015 922 0 406822 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 1659480 KiB
Current children cumulated memory: 1404716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 1056016
/proc/meminfo: memFree=115858196/131655788 swapFree=131070704/131071996
[pid=1054075] ppid=1054072 vsize=1683112 memory=1423304 CPUtime=3600.02 cores=5,7
/proc/1054075/stat : 1054075 (roundingsat) R 1054072 1054075 1052092 0 -1 4194304 261545 0 0 0 359166 836 0 0 20 0 1 0 198442060 1723506688 355826 134679101440 4194304 7968373 140720685548016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29245440 140720685552572 140720685552736 140720685552736 140720685559753 0
/proc/1054075/statm: 420778 355826 2015 922 0 412730 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1683112 KiB
Current children cumulated memory: 1423304 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3591.67 s, system=8.38965 s

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

Child status: 0

Real time (s): 3608.83
CPU time (s): 3600.06
CPU user time (s): 3591.67
CPU system time (s): 8.38965
CPU usage (%): 99.757
Max. virtual memory (cumulated for all children) (KiB): 1683112
Max. memory (cumulated for all children) (KiB): 1423304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.67
system time used= 8.38965
maximum resident set size= 1423304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 2853


# summary of solver processes directly reported to runsolver:
#   pid: 1054075
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.67
#   total CPU system time (s): 8.38965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4652 second user time and 36.158 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 10:07:42
IDJOB=4455360
IDBENCH=155624
IDSOLVER=3084
FILE ID=nodeC011/4455360-1721462849
RUNJOBID= nodeC011-1721459249-1052105
SLURM_JOB_ID= 7545706
Free space on /tmp= 723716 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455360-1721462849/watcher-4455360-1721462849 -o /tmp/evaluation-result-4455360-1721462849/solver-4455360-1721462849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052105 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455360-1721462849.opb

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=1335884816

nodeC011.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	: 0xb00001f
cpu MHz		: 3509.683
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3653.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.326
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.194
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3672.360
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3607.409
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.287
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.121
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127052668 kB
MemAvailable:   127723912 kB
Buffers:          580216 kB
Cached:           938296 kB
SwapCached:          132 kB
Active:          1176328 kB
Inactive:        2931252 kB
Active(anon):       1460 kB
Inactive(anon):  2633196 kB
Active(file):    1174868 kB
Inactive(file):   298056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              6020 kB
Writeback:             0 kB
AnonPages:       2585092 kB
Mapped:           110528 kB
Shmem:             45592 kB
KReclaimable:      77036 kB
Slab:             160280 kB
SReclaimable:      77036 kB
SUnreclaim:        83244 kB
KernelStack:        3788 kB
PageTables:        14668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3291888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723732 MiB
End job on nodeC011 at 2024-07-20 11:07:51