Trace number 4460405

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)SAT (TO)4219117 3600.08 3613.77

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
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 benchmark4219117
Best CPU time to get the best result obtained on this benchmark1168.01
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 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
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.39	c #variables 9940 #constraints 24510
49.31/49.88	c bounds - >= -70 @ 0.055446
49.31/49.88	c bounds 298467801 >= -70 @ 1.53641
49.31/49.88	c bounds 298432453 >= -70 @ 1.57956
49.31/49.88	c bounds 298367449 >= -70 @ 1.64454
49.31/49.88	c bounds 293099571 >= -70 @ 1.65295
49.31/49.88	c bounds 293097517 >= -70 @ 1.67442
49.31/49.88	c bounds 179874439 >= -70 @ 1.75064
49.31/49.88	c bounds 175068599 >= -70 @ 1.76239
49.31/49.88	c bounds 174930257 >= -70 @ 2.00363
49.31/49.88	c bounds 174879659 >= -70 @ 2.04001
49.31/49.88	c bounds 174689105 >= -70 @ 2.16523
49.31/49.88	c bounds 174534659 >= -70 @ 2.18032
49.31/49.88	c bounds 174533459 >= -70 @ 2.37017
49.31/49.88	c bounds 174467353 >= -70 @ 2.3873
49.31/49.88	c bounds 174452417 >= -70 @ 2.50436
49.31/49.88	c bounds 170089925 >= -70 @ 2.71086
49.31/49.88	c bounds 170003749 >= -70 @ 2.78666
49.31/49.88	c bounds 162229289 >= -70 @ 2.91885
49.31/49.88	c bounds 162060141 >= -70 @ 2.97688
49.31/49.88	c bounds 162048343 >= -70 @ 3.14965
49.31/49.88	c bounds 161849473 >= -70 @ 3.21083
49.31/49.88	c bounds 161796679 >= -70 @ 3.28125
49.31/49.88	c bounds 134451445 >= -70 @ 3.44689
49.31/49.88	c bounds 134208545 >= -70 @ 3.48271
49.31/49.88	c bounds 134171609 >= -70 @ 3.70389
49.31/49.88	c bounds 133892989 >= -70 @ 4.13767
49.31/49.88	c bounds 133839887 >= -70 @ 4.2753
49.31/49.88	c bounds 133817587 >= -70 @ 4.5039
49.31/49.88	c bounds 133690997 >= -70 @ 4.72203
49.31/49.88	c bounds 133664249 >= -70 @ 4.76785
49.31/49.88	c bounds 133661143 >= -70 @ 4.80956
49.31/49.88	c bounds 133636123 >= -70 @ 4.845
49.31/49.88	c bounds 126756449 >= -70 @ 6.48425
49.31/49.88	c bounds 126736479 >= -70 @ 6.56358
49.31/49.88	c bounds 126725199 >= -70 @ 6.58981
49.31/49.88	c bounds 126722175 >= -70 @ 6.87671
49.31/49.88	c bounds 126713621 >= -70 @ 7.17877
49.31/49.88	c #Conflicts:       1000 | #Constraints:      25545
49.31/49.88	c bounds 126708821 >= -70 @ 7.24113
49.31/49.88	c bounds 126707531 >= -70 @ 7.30121
49.31/49.88	c bounds 126519219 >= -70 @ 8.09678
49.31/49.88	c bounds 126408395 >= -70 @ 8.22693
49.31/49.88	c bounds 126346563 >= -70 @ 8.37494
49.31/49.88	c bounds 126180709 >= -70 @ 8.46977
49.31/49.88	c bounds 126169253 >= -70 @ 8.68853
49.31/49.88	c bounds 125892575 >= -70 @ 8.92662
49.31/49.88	c bounds 125688433 >= -70 @ 9.09911
49.31/49.88	c bounds 125687879 >= -70 @ 9.15042
49.31/49.88	c bounds 122094251 >= -70 @ 10.437
49.31/49.88	c bounds 122067659 >= -70 @ 10.5071
49.31/49.88	c bounds 122032917 >= -70 @ 10.599
49.31/49.88	c bounds 121961451 >= -70 @ 10.7372
49.31/49.88	c bounds 121921579 >= -70 @ 13.0265
49.31/49.88	c bounds 67869947 >= -70 @ 17.0177
49.31/49.88	c bounds 67852475 >= -70 @ 17.2134
49.31/49.88	c bounds 67817483 >= -70 @ 17.381
49.31/49.88	c bounds 67670843 >= -70 @ 17.5757
49.31/49.88	c bounds 67644707 >= -70 @ 17.8632
49.31/49.88	c bounds 67601989 >= -70 @ 18.0545
49.31/49.88	c bounds 67516119 >= -70 @ 18.3901
49.31/49.88	c bounds 67512109 >= -70 @ 18.6013
49.31/49.88	c bounds 67498669 >= -70 @ 18.7417
49.31/49.88	c bounds 67457549 >= -70 @ 18.9711
49.31/49.88	c bounds 67453443 >= -70 @ 19.0889
49.31/49.88	c #Conflicts:       2000 | #Constraints:      26571
49.31/49.88	c INPROCESSING
49.31/49.88	c GARBAGE COLLECT
49.31/49.88	c bounds 59480855 >= -70 @ 20.4313
49.31/49.88	c bounds 59412757 >= -70 @ 20.5538
49.31/49.88	c bounds 59202079 >= -70 @ 20.619
49.31/49.88	c bounds 59147749 >= -70 @ 20.668
49.31/49.88	c bounds 59111955 >= -70 @ 22.8243
49.31/49.88	c bounds 59050903 >= -70 @ 22.9569
49.31/49.88	c bounds 58919241 >= -70 @ 23.1502
49.31/49.88	c bounds 58862025 >= -70 @ 25.8647
49.31/49.88	c bounds 58761859 >= -70 @ 26.059
49.31/49.88	c bounds 58707651 >= -70 @ 26.3814
49.31/49.88	c bounds 58698987 >= -70 @ 26.589
49.31/49.88	c bounds 58672699 >= -70 @ 26.8575
49.31/49.88	c bounds 58559923 >= -70 @ 27.0764
49.31/49.88	c bounds 56058371 >= -70 @ 27.3605
49.31/49.88	c bounds 56057179 >= -70 @ 27.6086
49.31/49.88	c bounds 55849489 >= -70 @ 28.6183
49.31/49.88	c bounds 55814331 >= -70 @ 28.8427
49.31/49.88	c bounds 55714329 >= -70 @ 29.138
49.31/49.88	c #Conflicts:       3000 | #Constraints:      26000
49.31/49.88	c bounds 46797223 >= -70 @ 40.5113
49.31/49.88	c bounds 46723571 >= -70 @ 40.6747
49.31/49.88	c bounds 46661289 >= -70 @ 40.9097
49.31/49.88	c bounds 34087767 >= -70 @ 41.5355
49.31/49.88	c bounds 29714371 >= -70 @ 41.9869
49.31/49.88	c bounds 29660441 >= -70 @ 42.1512
49.31/49.88	c bounds 29650443 >= -70 @ 42.2967
49.31/49.88	c bounds 29608699 >= -70 @ 42.7599
49.31/49.88	c bounds 29500939 >= -70 @ 43.079
49.31/49.88	c bounds 29465249 >= -70 @ 43.3142
49.31/49.88	c bounds 29422363 >= -70 @ 43.4945
49.31/49.88	c bounds 29368315 >= -70 @ 43.7633
49.31/49.88	c bounds 29351947 >= -70 @ 43.9912
49.31/49.88	c bounds 29324717 >= -70 @ 44.3748
49.31/49.88	c bounds 29307123 >= -70 @ 44.5363
49.31/49.88	c bounds 29277737 >= -70 @ 44.808
49.31/49.88	c bounds 29253825 >= -70 @ 45.0558
49.31/49.88	c bounds 29236087 >= -70 @ 45.2113
49.31/49.88	c bounds 29229193 >= -70 @ 45.3887
49.31/49.88	c bounds 29224025 >= -70 @ 45.5463
49.31/49.88	c bounds 29219655 >= -70 @ 45.7059
49.31/49.88	c bounds 29180707 >= -70 @ 46.0253
49.31/49.88	c bounds 29025697 >= -70 @ 46.2053
49.31/49.88	c bounds 28790995 >= -70 @ 46.4148
49.31/49.88	c bounds 28674643 >= -70 @ 46.5965
49.31/49.88	c bounds 28621723 >= -70 @ 47.4172
49.31/49.88	c bounds 28520907 >= -70 @ 47.6133
49.31/49.88	c bounds 28511383 >= -70 @ 48.0702
49.31/49.88	c bounds 28439395 >= -70 @ 48.2412
49.31/49.88	c bounds 28252261 >= -70 @ 48.6027
101.83/102.55	c bounds 28245939 >= -70 @ 49.5013
101.83/102.55	c bounds 28192683 >= -70 @ 49.9113
101.83/102.55	c bounds 28150939 >= -70 @ 50.1566
101.83/102.55	c bounds 28146763 >= -70 @ 50.33
101.83/102.55	c bounds 28101473 >= -70 @ 50.6646
101.83/102.55	c bounds 28074761 >= -70 @ 51.6063
101.83/102.55	c bounds 28026871 >= -70 @ 51.9345
101.83/102.55	c bounds 28015843 >= -70 @ 52.9474
101.83/102.55	c bounds 28015551 >= -70 @ 53.2681
101.83/102.55	c bounds 27987849 >= -70 @ 53.5031
101.83/102.55	c bounds 27983721 >= -70 @ 55.0135
101.83/102.55	c bounds 27929661 >= -70 @ 55.2538
101.83/102.55	c bounds 27928545 >= -70 @ 55.8776
101.83/102.55	c bounds 27907127 >= -70 @ 56.4756
101.83/102.55	c bounds 27880695 >= -70 @ 57.0433
101.83/102.55	c #Conflicts:       4000 | #Constraints:      27045
101.83/102.55	c INPROCESSING
101.83/102.55	c GARBAGE COLLECT
101.83/102.55	c bounds 27866415 >= -70 @ 60.302
101.83/102.55	c bounds 27790305 >= -70 @ 60.8425
101.83/102.55	c bounds 27788005 >= -70 @ 60.9235
101.83/102.55	c bounds 27776787 >= -70 @ 61.6348
101.83/102.55	c bounds 27758567 >= -70 @ 62.2282
101.83/102.55	c bounds 27744287 >= -70 @ 62.3674
101.83/102.55	c bounds 27741987 >= -70 @ 62.5275
101.83/102.55	c bounds 27714781 >= -70 @ 62.7642
101.83/102.55	c bounds 27703801 >= -70 @ 63.0641
101.83/102.55	c bounds 27659271 >= -70 @ 63.1617
101.83/102.55	c bounds 27644991 >= -70 @ 63.2525
101.83/102.55	c bounds 27479951 >= -70 @ 63.4035
101.83/102.55	c bounds 27476459 >= -70 @ 65.16
101.83/102.55	c #Conflicts:       5000 | #Constraints:      24023
101.83/102.55	c #Conflicts:       6000 | #Constraints:      25023
101.83/102.55	c bounds 24723749 >= -70 @ 89.9185
101.83/102.55	c bounds 24688179 >= -70 @ 90.6218
101.83/102.55	c bounds 24566265 >= -70 @ 92.6973
101.83/102.55	c bounds 24181125 >= -70 @ 93.9032
101.83/102.55	c INPROCESSING
101.83/102.55	c GARBAGE COLLECT
101.83/102.55	WSVECS04 Frhs2[2939]: 6 -8281 0 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4597]: 6 -8281 0 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4980]: 6 0 1.00003 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4983]: 6 0 1.00003 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4984]: 6 0 1.00006 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4991]: 6 0 1.00006 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
101.83/102.55	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5008]: 6 0 1.00009 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5014]: 6 0 1.00003 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5025]: 6 0 1.00004 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5026]: 6 0 1.00008 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5027]: 6 0 1.00001 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5033]: 6 0 1.00006 shouldn't be
101.83/102.55	WSVECS04 Frhs2[5036]: 6 0 1.00005 shouldn't be
101.83/102.55	WSVECS04 Frhs2[9526]: 6 -5.54523e+06 0 shouldn't be
101.83/102.55	WSVECS04 Frhs2[9659]: 6 -5.54523e+06 0 shouldn't be
336.33/337.85	c bounds 24060999 >= -70 @ 106.91
336.33/337.85	c bounds 24042335 >= -70 @ 109.641
336.33/337.85	c bounds 24042213 >= -70 @ 109.811
336.33/337.85	c bounds 24040455 >= -70 @ 110.269
336.33/337.85	c #Conflicts:       7000 | #Constraints:      23573
336.33/337.85	c bounds 24020427 >= -70 @ 111.505
336.33/337.85	c bounds 23992527 >= -70 @ 111.891
336.33/337.85	c bounds 23989903 >= -70 @ 123.304
336.33/337.85	c bounds 23414679 >= -70 @ 123.931
336.33/337.85	c bounds 23373027 >= -70 @ 124.668
336.33/337.85	c #Conflicts:       8000 | #Constraints:      24578
336.33/337.85	c #Conflicts:       9000 | #Constraints:      25578
336.33/337.85	c bounds 17397537 >= -70 @ 150.955
336.33/337.85	c bounds 17380803 >= -70 @ 151.297
336.33/337.85	c bounds 17354707 >= -70 @ 151.662
336.33/337.85	c bounds 17258713 >= -70 @ 152.075
336.33/337.85	c bounds 17246321 >= -70 @ 152.833
336.33/337.85	c bounds 17241887 >= -70 @ 153.169
336.33/337.85	c bounds 17227183 >= -70 @ 153.465
336.33/337.85	c bounds 17222753 >= -70 @ 154.151
336.33/337.85	c bounds 17182033 >= -70 @ 154.597
336.33/337.85	c INPROCESSING
336.33/337.85	c GARBAGE COLLECT
336.33/337.85	c bounds 17151383 >= -70 @ 155.776
336.33/337.85	c bounds 17143031 >= -70 @ 156.202
336.33/337.85	c bounds 17092503 >= -70 @ 156.482
336.33/337.85	c bounds 17069517 >= -70 @ 156.899
336.33/337.85	c bounds 17034497 >= -70 @ 157.049
336.33/337.85	c bounds 17023963 >= -70 @ 157.396
336.33/337.85	c bounds 16272593 >= -70 @ 157.643
336.33/337.85	c bounds 16265273 >= -70 @ 157.806
336.33/337.85	c bounds 16254041 >= -70 @ 158.041
336.33/337.85	c bounds 16160193 >= -70 @ 158.363
336.33/337.85	c bounds 16103843 >= -70 @ 158.639
336.33/337.85	c bounds 16076517 >= -70 @ 159.093
336.33/337.85	c bounds 16066523 >= -70 @ 159.464
336.33/337.85	c bounds 16056355 >= -70 @ 159.837
336.33/337.85	c bounds 16006609 >= -70 @ 160.794
336.33/337.85	c bounds 16004519 >= -70 @ 161.069
336.33/337.85	c bounds 15998353 >= -70 @ 161.219
336.33/337.85	c bounds 15955863 >= -70 @ 163.647
336.33/337.85	c bounds 15855925 >= -70 @ 163.819
336.33/337.85	c #Conflicts:      10000 | #Constraints:      23140
336.33/337.85	c bounds 15822661 >= -70 @ 168.856
336.33/337.85	c bounds 15817491 >= -70 @ 169.073
336.33/337.85	c bounds 15807479 >= -70 @ 169.315
336.33/337.85	c bounds 15733017 >= -70 @ 170.06
336.33/337.85	c bounds 15667497 >= -70 @ 170.315
336.33/337.85	c bounds 15644073 >= -70 @ 170.638
336.33/337.85	c bounds 15632345 >= -70 @ 170.873
336.33/337.85	c bounds 15609967 >= -70 @ 171.253
336.33/337.85	c #Conflicts:      11000 | #Constraints:      24148
336.33/337.85	c bounds 15600239 >= -70 @ 182.634
336.33/337.85	c bounds 15592793 >= -70 @ 183.034
336.33/337.85	c bounds 12759713 >= -70 @ 187.646
336.33/337.85	c bounds 12739065 >= -70 @ 188.125
336.33/337.85	c #Conflicts:      12000 | #Constraints:      25155
336.33/337.85	c INPROCESSING
336.33/337.85	c GARBAGE COLLECT
336.33/337.85	c bounds 12526747 >= -70 @ 198.631
336.33/337.85	c bounds 12514911 >= -70 @ 198.921
336.33/337.85	c bounds 12513999 >= -70 @ 202.386
336.33/337.85	c #Conflicts:      13000 | #Constraints:      22481
336.33/337.85	c bounds 12491061 >= -70 @ 222.241
336.33/337.85	c bounds 12489867 >= -70 @ 225.259
336.33/337.85	c bounds 12432741 >= -70 @ 225.773
336.33/337.85	c #Conflicts:      14000 | #Constraints:      23485
336.33/337.85	c bounds 12430089 >= -70 @ 229.301
336.33/337.85	c bounds 12428139 >= -70 @ 229.576
336.33/337.85	c bounds 12401095 >= -70 @ 233.204
336.33/337.85	c bounds 12400647 >= -70 @ 236.947
336.33/337.85	c bounds 12398697 >= -70 @ 237.23
336.33/337.85	c bounds 12391689 >= -70 @ 237.59
336.33/337.85	c bounds 12391247 >= -70 @ 238.194
336.33/337.85	c bounds 12389743 >= -70 @ 238.493
336.33/337.85	c bounds 12383457 >= -70 @ 239.158
336.33/337.85	c bounds 12375579 >= -70 @ 248.578
336.33/337.85	c bounds 12369881 >= -70 @ 250.596
336.33/337.85	c bounds 12262199 >= -70 @ 251.011
336.33/337.85	c bounds 12254607 >= -70 @ 251.51
336.33/337.85	c bounds 12247599 >= -70 @ 252.404
336.33/337.85	c #Conflicts:      15000 | #Constraints:      24501
336.33/337.85	c INPROCESSING
336.33/337.85	c GARBAGE COLLECT
336.33/337.85	c bounds 12239447 >= -70 @ 258.132
336.33/337.85	c bounds 12239209 >= -70 @ 260.874
336.33/337.85	c #Conflicts:      16000 | #Constraints:      22598
336.33/337.85	c #Conflicts:      17000 | #Constraints:      23600
336.33/337.85	c bounds 12195235 >= -70 @ 288.855
336.33/337.85	c bounds 12123447 >= -70 @ 290.675
336.33/337.85	c bounds 12112371 >= -70 @ 291.656
336.33/337.85	c bounds 12094147 >= -70 @ 292.128
336.33/337.85	c bounds 12072001 >= -70 @ 293.5
336.33/337.85	c bounds 12070493 >= -70 @ 293.768
336.33/337.85	c bounds 12065269 >= -70 @ 294.166
336.33/337.85	c bounds 12061615 >= -70 @ 295.15
336.33/337.85	c bounds 12052723 >= -70 @ 295.41
336.33/337.85	c bounds 12023659 >= -70 @ 296.191
336.33/337.85	c bounds 11996813 >= -70 @ 296.734
336.33/337.85	c bounds 11916283 >= -70 @ 297.692
336.33/337.85	c bounds 11887235 >= -70 @ 298.299
336.33/337.85	c bounds 11868651 >= -70 @ 299.169
336.33/337.85	c bounds 11803203 >= -70 @ 299.824
336.33/337.85	c bounds 11790187 >= -70 @ 301.887
336.33/337.85	c bounds 11758997 >= -70 @ 302.407
336.33/337.85	c bounds 11730723 >= -70 @ 303.368
336.33/337.85	c bounds 11730361 >= -70 @ 303.979
336.33/337.85	c bounds 11692777 >= -70 @ 306.23
336.33/337.85	c #Conflicts:      18000 | #Constraints:      24622
336.33/337.85	c INPROCESSING
336.33/337.85	c GARBAGE COLLECT
336.33/337.85	c bounds 11644841 >= -70 @ 316.311
336.33/337.85	c bounds 11639593 >= -70 @ 316.456
336.33/337.85	c bounds 11583275 >= -70 @ 317.217
336.33/337.85	c bounds 11578835 >= -70 @ 323.034
336.33/337.85	c #Conflicts:      19000 | #Constraints:      22448
387.74/389.41	c bounds 11122957 >= -70 @ 339.371
387.74/389.41	c bounds 10967663 >= -70 @ 339.73
387.74/389.41	c bounds 10920785 >= -70 @ 339.956
387.74/389.41	c bounds 10862817 >= -70 @ 340.482
387.74/389.41	c bounds 10831483 >= -70 @ 340.791
387.74/389.41	c bounds 10829497 >= -70 @ 340.947
387.74/389.41	c bounds 10803705 >= -70 @ 341.24
387.74/389.41	c bounds 10802457 >= -70 @ 341.519
387.74/389.41	c bounds 10736649 >= -70 @ 343
387.74/389.41	c bounds 10718553 >= -70 @ 343.199
387.74/389.41	c bounds 10599135 >= -70 @ 343.367
387.74/389.41	c bounds 10514213 >= -70 @ 343.693
387.74/389.41	c bounds 10432957 >= -70 @ 344.13
387.74/389.41	c bounds 10252551 >= -70 @ 344.385
387.74/389.41	c bounds 10196185 >= -70 @ 344.744
387.74/389.41	c bounds 10178727 >= -70 @ 345.19
387.74/389.41	c bounds 10143577 >= -70 @ 345.959
387.74/389.41	c bounds 10123705 >= -70 @ 346.574
387.74/389.41	c bounds 10110391 >= -70 @ 348.226
387.74/389.41	c bounds 10102409 >= -70 @ 348.501
387.74/389.41	c bounds 10092193 >= -70 @ 348.679
387.74/389.41	c bounds 10039835 >= -70 @ 348.988
387.74/389.41	c bounds 10033043 >= -70 @ 349.155
387.74/389.41	c bounds 9976979 >= -70 @ 349.378
387.74/389.41	c bounds 9943489 >= -70 @ 349.556
387.74/389.41	c #Conflicts:      20000 | #Constraints:      23473
387.74/389.41	c bounds 9322829 >= -70 @ 353.377
387.74/389.41	c bounds 9293323 >= -70 @ 353.625
387.74/389.41	c bounds 9280067 >= -70 @ 353.821
387.74/389.41	c bounds 9270765 >= -70 @ 354.124
387.74/389.41	c bounds 9215127 >= -70 @ 354.366
387.74/389.41	c bounds 9214737 >= -70 @ 354.839
387.74/389.41	c bounds 9157941 >= -70 @ 355.052
387.74/389.41	c bounds 9115151 >= -70 @ 355.643
387.74/389.41	c bounds 9106037 >= -70 @ 356.72
387.74/389.41	c bounds 9065137 >= -70 @ 356.916
387.74/389.41	c bounds 9063647 >= -70 @ 357.613
387.74/389.41	c bounds 9017535 >= -70 @ 358.313
387.74/389.41	c bounds 9014773 >= -70 @ 359.244
387.74/389.41	c bounds 9003419 >= -70 @ 359.524
387.74/389.41	c #Conflicts:      21000 | #Constraints:      24487
387.74/389.41	c INPROCESSING
387.74/389.41	c GARBAGE COLLECT
387.74/389.41	c rational objective 1.78594e+06
563.99/566.38	c bounds 8998995 >= -70 @ 385.485
563.99/566.38	c bounds 8993563 >= -70 @ 385.68
563.99/566.38	c bounds 8989131 >= -70 @ 385.859
563.99/566.38	c bounds 8988243 >= -70 @ 385.984
563.99/566.38	c bounds 8960469 >= -70 @ 386.268
563.99/566.38	c bounds 8926813 >= -70 @ 386.925
563.99/566.38	c bounds 8910523 >= -70 @ 388.025
563.99/566.38	c bounds 8910305 >= -70 @ 388.334
563.99/566.38	c bounds 8908139 >= -70 @ 388.482
563.99/566.38	c bounds 8887747 >= -70 @ 388.714
563.99/566.38	c bounds 8874309 >= -70 @ 389.64
563.99/566.38	c bounds 8862627 >= -70 @ 390.043
563.99/566.38	c bounds 8853325 >= -70 @ 390.211
563.99/566.38	c #Conflicts:      22000 | #Constraints:      21564
563.99/566.38	c bounds 8848103 >= -70 @ 391.876
563.99/566.38	c bounds 8839263 >= -70 @ 392.817
563.99/566.38	c bounds 8831789 >= -70 @ 393.455
563.99/566.38	c bounds 8819837 >= -70 @ 396.128
563.99/566.38	c bounds 8818173 >= -70 @ 397.053
563.99/566.38	c bounds 8790525 >= -70 @ 397.84
563.99/566.38	c bounds 8782429 >= -70 @ 400.564
563.99/566.38	c bounds 8775109 >= -70 @ 401.477
563.99/566.38	c bounds 8766029 >= -70 @ 401.713
563.99/566.38	c bounds 8749349 >= -70 @ 402.023
563.99/566.38	c bounds 8747527 >= -70 @ 402.701
563.99/566.38	c bounds 8745485 >= -70 @ 403.08
563.99/566.38	c bounds 8738687 >= -70 @ 403.527
563.99/566.38	c bounds 8731703 >= -70 @ 404.376
563.99/566.38	c #Conflicts:      23000 | #Constraints:      22578
563.99/566.38	c bounds 8710671 >= -70 @ 408.177
563.99/566.38	c #Conflicts:      24000 | #Constraints:      23579
563.99/566.38	c #Conflicts:      25000 | #Constraints:      24579
563.99/566.38	c INPROCESSING
563.99/566.38	c GARBAGE COLLECT
563.99/566.38	c bounds 8692329 >= -70 @ 442.384
563.99/566.38	c bounds 8674363 >= -70 @ 444.101
563.99/566.38	c bounds 8671239 >= -70 @ 445.016
563.99/566.38	c bounds 8671225 >= -70 @ 446.23
563.99/566.38	c #Conflicts:      26000 | #Constraints:      22070
563.99/566.38	c bounds 8661071 >= -70 @ 462.795
563.99/566.38	c #Conflicts:      27000 | #Constraints:      23071
563.99/566.38	c #Conflicts:      28000 | #Constraints:      24071
563.99/566.38	c #Conflicts:      29000 | #Constraints:      25071
563.99/566.38	c INPROCESSING
563.99/566.38	c GARBAGE COLLECT
563.99/566.38	c bounds 8650203 >= -70 @ 494.436
563.99/566.38	c bounds 8644511 >= -70 @ 494.655
563.99/566.38	c #Conflicts:      30000 | #Constraints:      22438
563.99/566.38	c bounds 8643315 >= -70 @ 512.09
563.99/566.38	c #Conflicts:      31000 | #Constraints:      23439
563.99/566.38	c #Conflicts:      32000 | #Constraints:      24439
563.99/566.38	c bounds 8441751 >= -70 @ 534.652
563.99/566.38	c bounds 8424013 >= -70 @ 535.128
563.99/566.38	c bounds 8383731 >= -70 @ 535.566
563.99/566.38	c bounds 8376339 >= -70 @ 536.255
563.99/566.38	c bounds 8350945 >= -70 @ 536.579
563.99/566.38	c bounds 8341643 >= -70 @ 536.931
563.99/566.38	c bounds 8331563 >= -70 @ 537.703
563.99/566.38	c bounds 8313803 >= -70 @ 537.973
563.99/566.38	c bounds 8294469 >= -70 @ 538.938
563.99/566.38	c bounds 8286835 >= -70 @ 539.218
563.99/566.38	c bounds 8283571 >= -70 @ 539.662
563.99/566.38	c bounds 8279771 >= -70 @ 540.929
563.99/566.38	c bounds 8279741 >= -70 @ 542.524
563.99/566.38	c bounds 8227329 >= -70 @ 543.196
563.99/566.38	c bounds 8212659 >= -70 @ 543.969
563.99/566.38	c bounds 8196441 >= -70 @ 544.342
563.99/566.38	c bounds 8193497 >= -70 @ 545.675
563.99/566.38	c bounds 8188489 >= -70 @ 546.002
563.99/566.38	c bounds 8181053 >= -70 @ 546.4
563.99/566.38	c bounds 8176263 >= -70 @ 549.868
563.99/566.38	c bounds 8172855 >= -70 @ 552.806
563.99/566.38	c #Conflicts:      33000 | #Constraints:      25460
563.99/566.38	c INPROCESSING
563.99/566.38	c GARBAGE COLLECT
563.99/566.38	c rational objective 1.79572e+06
780.18/783.39	c bounds 8167737 >= -70 @ 561.789
780.18/783.39	c #Conflicts:      34000 | #Constraints:      22528
780.18/783.39	c #Conflicts:      35000 | #Constraints:      23528
780.18/783.39	c #Conflicts:      36000 | #Constraints:      24533
780.18/783.39	c bounds 8166781 >= -70 @ 589.703
780.18/783.39	c bounds 8162959 >= -70 @ 590.076
780.18/783.39	c bounds 8162805 >= -70 @ 592.858
780.18/783.39	c bounds 8162099 >= -70 @ 593.597
780.18/783.39	c bounds 8159155 >= -70 @ 594.243
780.18/783.39	c bounds 8153659 >= -70 @ 595.028
780.18/783.39	c bounds 8153471 >= -70 @ 595.768
780.18/783.39	c bounds 8153239 >= -70 @ 597.408
780.18/783.39	c bounds 8149417 >= -70 @ 598.48
780.18/783.39	c bounds 8125943 >= -70 @ 599.108
780.18/783.39	c bounds 8121595 >= -70 @ 601.419
780.18/783.39	c bounds 8088863 >= -70 @ 602.073
780.18/783.39	c #Conflicts:      37000 | #Constraints:      25546
780.18/783.39	c bounds 8085133 >= -70 @ 618.406
780.18/783.39	c INPROCESSING
780.18/783.39	c GARBAGE COLLECT
780.18/783.39	c #Conflicts:      38000 | #Constraints:      22495
780.18/783.39	c #Conflicts:      39000 | #Constraints:      23495
780.18/783.39	c #Conflicts:      40000 | #Constraints:      24495
780.18/783.39	c #Conflicts:      41000 | #Constraints:      25495
780.18/783.39	c INPROCESSING
780.18/783.39	c GARBAGE COLLECT
780.18/783.39	c bounds 8084667 >= -70 @ 662.924
780.18/783.39	c bounds 8054115 >= -70 @ 663.093
780.18/783.39	c bounds 8036157 >= -70 @ 663.487
780.18/783.39	c bounds 8015983 >= -70 @ 664.72
780.18/783.39	c bounds 8009311 >= -70 @ 665.708
780.18/783.39	c bounds 8006495 >= -70 @ 666.133
780.18/783.39	c bounds 8005335 >= -70 @ 666.925
780.18/783.39	c #Conflicts:      42000 | #Constraints:      22336
780.18/783.39	c bounds 8005055 >= -70 @ 671.163
780.18/783.39	c bounds 8004665 >= -70 @ 671.788
780.18/783.39	c #Conflicts:      43000 | #Constraints:      23344
780.18/783.39	c #Conflicts:      44000 | #Constraints:      24345
780.18/783.39	c #Conflicts:      45000 | #Constraints:      25346
780.18/783.39	c #Conflicts:      46000 | #Constraints:      26346
780.18/783.39	c INPROCESSING
780.18/783.39	c GARBAGE COLLECT
780.18/783.39	c rational objective 1.79872e+06
1016.71/1020.70	c #Conflicts:      47000 | #Constraints:      22968
1016.71/1020.70	c #Conflicts:      48000 | #Constraints:      23968
1016.71/1020.70	c #Conflicts:      49000 | #Constraints:      24968
1016.71/1020.70	c #Conflicts:      50000 | #Constraints:      25968
1016.71/1020.70	c #Conflicts:      51000 | #Constraints:      26968
1016.71/1020.70	c INPROCESSING
1016.71/1020.70	c GARBAGE COLLECT
1016.71/1020.70	c #Conflicts:      52000 | #Constraints:      23355
1016.71/1020.70	c #Conflicts:      53000 | #Constraints:      24355
1016.71/1020.70	c #Conflicts:      54000 | #Constraints:      25355
1016.71/1020.70	c #Conflicts:      55000 | #Constraints:      26355
1016.71/1020.70	c #Conflicts:      56000 | #Constraints:      27355
1016.71/1020.70	c INPROCESSING
1016.71/1020.70	c GARBAGE COLLECT
1016.71/1020.70	c #Conflicts:      57000 | #Constraints:      23587
1016.71/1020.70	c #Conflicts:      58000 | #Constraints:      24587
1016.71/1020.70	c #Conflicts:      59000 | #Constraints:      25589
1016.71/1020.70	c #Conflicts:      60000 | #Constraints:      26590
1016.71/1020.70	c #Conflicts:      61000 | #Constraints:      27590
1016.71/1020.70	c INPROCESSING
1016.71/1020.70	c GARBAGE COLLECT
1016.71/1020.70	c rational objective 1.80583e+06
1304.43/1309.55	c bounds 4690827 >= -70 @ 1018.14
1304.43/1309.55	c bounds 4670489 >= -70 @ 1018.27
1304.43/1309.55	c bounds 4663725 >= -70 @ 1018.41
1304.43/1309.55	c #Conflicts:      62000 | #Constraints:      23491
1304.43/1309.55	c bounds 4408229 >= -70 @ 1025.56
1304.43/1309.55	c bounds 4403595 >= -70 @ 1027.79
1304.43/1309.55	c bounds 4402665 >= -70 @ 1028.31
1304.43/1309.55	c bounds 4389265 >= -70 @ 1028.65
1304.43/1309.55	c #Conflicts:      63000 | #Constraints:      24502
1304.43/1309.55	c bounds 4388677 >= -70 @ 1030.57
1304.43/1309.55	c bounds 4388099 >= -70 @ 1030.73
1304.43/1309.55	c bounds 4357239 >= -70 @ 1031.23
1304.43/1309.55	c bounds 4353987 >= -70 @ 1033.6
1304.43/1309.55	c bounds 4344055 >= -70 @ 1033.85
1304.43/1309.55	c bounds 4327921 >= -70 @ 1035.85
1304.43/1309.55	c bounds 4326591 >= -70 @ 1036.82
1304.43/1309.55	c bounds 4323231 >= -70 @ 1037.11
1304.43/1309.55	c #Conflicts:      64000 | #Constraints:      25519
1304.43/1309.55	c #Conflicts:      65000 | #Constraints:      26523
1304.43/1309.55	c #Conflicts:      66000 | #Constraints:      27523
1304.43/1309.55	c INPROCESSING
1304.43/1309.55	c GARBAGE COLLECT
1304.43/1309.55	c #Conflicts:      67000 | #Constraints:      21762
1304.43/1309.55	c #Conflicts:      68000 | #Constraints:      22762
1304.43/1309.55	c #Conflicts:      69000 | #Constraints:      23762
1304.43/1309.55	c #Conflicts:      70000 | #Constraints:      24762
1304.43/1309.55	c #Conflicts:      71000 | #Constraints:      25762
1304.43/1309.55	c #Conflicts:      72000 | #Constraints:      26762
1304.43/1309.55	c INPROCESSING
1304.43/1309.55	c GARBAGE COLLECT
1304.43/1309.55	c bounds 4315805 >= -70 @ 1173.89
1304.43/1309.55	c bounds 4312565 >= -70 @ 1174.12
1304.43/1309.55	c bounds 4311317 >= -70 @ 1174.59
1304.43/1309.55	c bounds 4307125 >= -70 @ 1175.44
1304.43/1309.55	c bounds 4303255 >= -70 @ 1175.83
1304.43/1309.55	c bounds 4299027 >= -70 @ 1176.32
1304.43/1309.55	c bounds 4298003 >= -70 @ 1176.46
1304.43/1309.55	c bounds 4296755 >= -70 @ 1177.74
1304.43/1309.55	c bounds 4291261 >= -70 @ 1178.22
1304.43/1309.55	c bounds 4290963 >= -70 @ 1178.35
1304.43/1309.55	c bounds 4289353 >= -70 @ 1178.81
1304.43/1309.55	c bounds 4289027 >= -70 @ 1180.38
1304.43/1309.55	c #Conflicts:      73000 | #Constraints:      22416
1304.43/1309.55	c bounds 4285657 >= -70 @ 1183.26
1304.43/1309.55	c bounds 4273583 >= -70 @ 1184.37
1304.43/1309.55	c bounds 4271679 >= -70 @ 1186.29
1304.43/1309.55	c bounds 4267135 >= -70 @ 1189.56
1304.43/1309.55	c bounds 4260065 >= -70 @ 1191.16
1304.43/1309.55	c bounds 4256685 >= -70 @ 1192.23
1304.43/1309.55	c bounds 4247821 >= -70 @ 1192.71
1304.43/1309.55	c #Conflicts:      74000 | #Constraints:      23423
1304.43/1309.55	c bounds 4246551 >= -70 @ 1196.46
1304.43/1309.55	c bounds 4241791 >= -70 @ 1196.69
1304.43/1309.55	c bounds 4233913 >= -70 @ 1200.4
1304.43/1309.55	c #Conflicts:      75000 | #Constraints:      24426
1304.43/1309.55	c bounds 4225047 >= -70 @ 1212.06
1304.43/1309.55	c #Conflicts:      76000 | #Constraints:      25427
1304.43/1309.55	c #Conflicts:      77000 | #Constraints:      26427
1304.43/1309.55	c #Conflicts:      78000 | #Constraints:      27427
1304.43/1309.55	c INPROCESSING
1304.43/1309.55	c GARBAGE COLLECT
1304.43/1309.55	c rational objective 1.80583e+06
1449.12/1454.72	c bounds 4223711 >= -70 @ 1297.65
1449.12/1454.72	c #Conflicts:      79000 | #Constraints:      22687
1449.12/1454.72	c #Conflicts:      80000 | #Constraints:      23687
1449.12/1454.72	c #Conflicts:      81000 | #Constraints:      24687
1449.12/1454.72	c bounds 4219117 >= -70 @ 1339.18
1449.12/1454.72	c #Conflicts:      82000 | #Constraints:      25692
1449.12/1454.72	c #Conflicts:      83000 | #Constraints:      26698
1449.12/1454.72	c #Conflicts:      84000 | #Constraints:      27699
1449.12/1454.72	c INPROCESSING
1449.12/1454.72	c GARBAGE COLLECT
1449.12/1454.72	c #Conflicts:      85000 | #Constraints:      22975
1449.12/1454.72	c #Conflicts:      86000 | #Constraints:      23975
1449.12/1454.72	c #Conflicts:      87000 | #Constraints:      24977
1449.12/1454.72	c #Conflicts:      88000 | #Constraints:      25980
1449.12/1454.72	c #Conflicts:      89000 | #Constraints:      26980
1449.12/1454.72	c #Conflicts:      90000 | #Constraints:      27980
1449.12/1454.72	c INPROCESSING
1449.12/1454.72	c GARBAGE COLLECT
1449.12/1454.72	c rational objective 1.80583e+06
1718.25/1724.85	c #Conflicts:      91000 | #Constraints:      23004
1718.25/1724.85	c #Conflicts:      92000 | #Constraints:      24004
1718.25/1724.85	c #Conflicts:      93000 | #Constraints:      25004
1718.25/1724.85	c #Conflicts:      94000 | #Constraints:      26004
1718.25/1724.85	c #Conflicts:      95000 | #Constraints:      27005
1718.25/1724.85	c #Conflicts:      96000 | #Constraints:      28006
1718.25/1724.85	c INPROCESSING
1718.25/1724.85	c GARBAGE COLLECT
1718.25/1724.85	c #Conflicts:      97000 | #Constraints:      22713
1718.25/1724.85	c #Conflicts:      98000 | #Constraints:      23714
1718.25/1724.85	c #Conflicts:      99000 | #Constraints:      24714
1718.25/1724.85	c #Conflicts:     100000 | #Constraints:      25714
1718.25/1724.85	c #Conflicts:     101000 | #Constraints:      26714
1718.25/1724.85	c #Conflicts:     102000 | #Constraints:      27714
1718.25/1724.85	c #Conflicts:     103000 | #Constraints:      28714
1718.25/1724.85	c INPROCESSING
1718.25/1724.85	c GARBAGE COLLECT
1718.25/1724.85	c rational objective 1.80583e+06
1981.89/1989.45	c #Conflicts:     104000 | #Constraints:      23262
1981.89/1989.45	c #Conflicts:     105000 | #Constraints:      24263
1981.89/1989.45	c #Conflicts:     106000 | #Constraints:      25265
1981.89/1989.45	c #Conflicts:     107000 | #Constraints:      26267
1981.89/1989.45	c #Conflicts:     108000 | #Constraints:      27267
1981.89/1989.45	c #Conflicts:     109000 | #Constraints:      28267
1981.89/1989.45	c #Conflicts:     110000 | #Constraints:      29267
1981.89/1989.45	c INPROCESSING
1981.89/1989.45	c GARBAGE COLLECT
1981.89/1989.45	c #Conflicts:     111000 | #Constraints:      23466
1981.89/1989.45	c #Conflicts:     112000 | #Constraints:      24466
1981.89/1989.45	c #Conflicts:     113000 | #Constraints:      25466
1981.89/1989.45	c #Conflicts:     114000 | #Constraints:      26466
1981.89/1989.45	c #Conflicts:     115000 | #Constraints:      27466
1981.89/1989.45	c #Conflicts:     116000 | #Constraints:      28466
1981.89/1989.45	c #Conflicts:     117000 | #Constraints:      29466
1981.89/1989.45	c INPROCESSING
1981.89/1989.45	c GARBAGE COLLECT
1981.89/1989.45	c rational objective 1.8108e+06
2176.33/2184.63	c #Conflicts:     118000 | #Constraints:      23605
2176.33/2184.63	c #Conflicts:     119000 | #Constraints:      24605
2176.33/2184.63	c #Conflicts:     120000 | #Constraints:      25605
2176.33/2184.63	c #Conflicts:     121000 | #Constraints:      26605
2176.33/2184.63	c #Conflicts:     122000 | #Constraints:      27608
2176.33/2184.63	c #Conflicts:     123000 | #Constraints:      28610
2176.33/2184.63	c #Conflicts:     124000 | #Constraints:      29611
2176.33/2184.63	c INPROCESSING
2176.33/2184.63	c GARBAGE COLLECT
2176.33/2184.63	c rational objective 1.81107e+06
2561.69/2571.41	c #Conflicts:     125000 | #Constraints:      23630
2561.69/2571.41	c #Conflicts:     126000 | #Constraints:      24630
2561.69/2571.41	c #Conflicts:     127000 | #Constraints:      25631
2561.69/2571.41	c #Conflicts:     128000 | #Constraints:      26631
2561.69/2571.41	c #Conflicts:     129000 | #Constraints:      27631
2561.69/2571.41	c #Conflicts:     130000 | #Constraints:      28632
2561.69/2571.41	c #Conflicts:     131000 | #Constraints:      29633
2561.69/2571.41	c INPROCESSING
2561.69/2571.41	c GARBAGE COLLECT
2561.69/2571.41	c #Conflicts:     132000 | #Constraints:      23415
2561.69/2571.41	c #Conflicts:     133000 | #Constraints:      24415
2561.69/2571.41	c #Conflicts:     134000 | #Constraints:      25415
2561.69/2571.41	c #Conflicts:     135000 | #Constraints:      26416
2561.69/2571.41	c #Conflicts:     136000 | #Constraints:      27416
2561.69/2571.41	c #Conflicts:     137000 | #Constraints:      28417
2561.69/2571.41	c #Conflicts:     138000 | #Constraints:      29418
2561.69/2571.41	c #Conflicts:     139000 | #Constraints:      30418
2561.69/2571.41	c INPROCESSING
2561.69/2571.41	c GARBAGE COLLECT
2561.69/2571.41	c #Conflicts:     140000 | #Constraints:      23904
2561.69/2571.41	c #Conflicts:     141000 | #Constraints:      24904
2561.69/2571.41	c #Conflicts:     142000 | #Constraints:      25905
2561.69/2571.41	c #Conflicts:     143000 | #Constraints:      26905
2561.69/2571.41	c #Conflicts:     144000 | #Constraints:      27908
2561.69/2571.41	c #Conflicts:     145000 | #Constraints:      28909
2561.69/2571.41	c #Conflicts:     146000 | #Constraints:      29909
2561.69/2571.41	c #Conflicts:     147000 | #Constraints:      30909
2561.69/2571.41	c INPROCESSING
2561.69/2571.41	c GARBAGE COLLECT
2561.69/2571.41	c rational objective 1.81143e+06
2721.76/2732.03	c #Conflicts:     148000 | #Constraints:      24371
2721.76/2732.03	c #Conflicts:     149000 | #Constraints:      25374
2721.76/2732.03	c #Conflicts:     150000 | #Constraints:      26376
2721.76/2732.03	c #Conflicts:     151000 | #Constraints:      27376
2721.76/2732.03	c #Conflicts:     152000 | #Constraints:      28376
2721.76/2732.03	c #Conflicts:     153000 | #Constraints:      29376
2721.76/2732.03	c #Conflicts:     154000 | #Constraints:      30376
2721.76/2732.03	c #Conflicts:     155000 | #Constraints:      31376
2721.76/2732.03	c INPROCESSING
2721.76/2732.03	c GARBAGE COLLECT
2721.76/2732.03	c rational objective 1.815e+06
3053.92/3065.30	c #Conflicts:     156000 | #Constraints:      24531
3053.92/3065.30	c #Conflicts:     157000 | #Constraints:      25532
3053.92/3065.30	c #Conflicts:     158000 | #Constraints:      26532
3053.92/3065.30	c #Conflicts:     159000 | #Constraints:      27532
3053.92/3065.30	c #Conflicts:     160000 | #Constraints:      28532
3053.92/3065.30	c #Conflicts:     161000 | #Constraints:      29532
3053.92/3065.30	c #Conflicts:     162000 | #Constraints:      30532
3053.92/3065.30	c #Conflicts:     163000 | #Constraints:      31532
3053.92/3065.30	c INPROCESSING
3053.92/3065.30	c GARBAGE COLLECT
3053.92/3065.30	c #Conflicts:     164000 | #Constraints:      24453
3053.92/3065.30	c #Conflicts:     165000 | #Constraints:      25454
3053.92/3065.30	c #Conflicts:     166000 | #Constraints:      26456
3053.92/3065.30	c #Conflicts:     167000 | #Constraints:      27456
3053.92/3065.30	c #Conflicts:     168000 | #Constraints:      28457
3053.92/3065.30	c #Conflicts:     169000 | #Constraints:      29458
3053.92/3065.30	c #Conflicts:     170000 | #Constraints:      30460
3053.92/3065.30	c #Conflicts:     171000 | #Constraints:      31460
3053.92/3065.30	c INPROCESSING
3053.92/3065.30	c GARBAGE COLLECT
3053.92/3065.30	c rational objective 1.8197e+06
3241.97/3254.08	c #Conflicts:     172000 | #Constraints:      24277
3241.97/3254.08	c #Conflicts:     173000 | #Constraints:      25279
3241.97/3254.08	c #Conflicts:     174000 | #Constraints:      26279
3241.97/3254.08	c #Conflicts:     175000 | #Constraints:      27280
3241.97/3254.08	c #Conflicts:     176000 | #Constraints:      28282
3241.97/3254.08	c #Conflicts:     177000 | #Constraints:      29282
3241.97/3254.08	c #Conflicts:     178000 | #Constraints:      30283
3241.97/3254.08	c #Conflicts:     179000 | #Constraints:      31285
3241.97/3254.08	c #Conflicts:     180000 | #Constraints:      32285
3241.97/3254.08	c INPROCESSING
3241.97/3254.08	c GARBAGE COLLECT
3241.97/3254.08	c rational objective 1.81975e+06
3588.98/3602.28	c #Conflicts:     181000 | #Constraints:      24799
3588.98/3602.28	c #Conflicts:     182000 | #Constraints:      25800
3588.98/3602.28	c #Conflicts:     183000 | #Constraints:      26800
3588.98/3602.28	c #Conflicts:     184000 | #Constraints:      27800
3588.98/3602.28	c #Conflicts:     185000 | #Constraints:      28800
3588.98/3602.28	c #Conflicts:     186000 | #Constraints:      29800
3588.98/3602.28	c #Conflicts:     187000 | #Constraints:      30800
3588.98/3602.28	c #Conflicts:     188000 | #Constraints:      31800
3588.98/3602.28	c #Conflicts:     189000 | #Constraints:      32800
3588.98/3602.28	c INPROCESSING
3588.98/3602.28	c GARBAGE COLLECT
3588.98/3602.28	c #Conflicts:     190000 | #Constraints:      25192
3588.98/3602.28	c #Conflicts:     191000 | #Constraints:      26192
3588.98/3602.28	c #Conflicts:     192000 | #Constraints:      27193
3588.98/3602.28	c #Conflicts:     193000 | #Constraints:      28193
3588.98/3602.28	c #Conflicts:     194000 | #Constraints:      29193
3588.98/3602.28	c #Conflicts:     195000 | #Constraints:      30193
3588.98/3602.28	c #Conflicts:     196000 | #Constraints:      31193
3588.98/3602.28	c #Conflicts:     197000 | #Constraints:      32193
3588.98/3602.28	c #Conflicts:     198000 | #Constraints:      33193
3588.98/3602.28	c INPROCESSING
3588.98/3602.28	c GARBAGE COLLECT
3588.98/3602.28	c rational objective 1.8198e+06
3600.05/3613.30	c #Conflicts:     199000 | #Constraints:      25404
3600.05/3613.30	c Program interrupted by user.
3600.05/3613.30	c cpu time 3581.54 s
3600.05/3613.30	c deterministic time 392481838509 3.92e+11
3600.05/3613.30	c optimization time 15.4166 s
3600.05/3613.30	c total solve time 3566.07 s
3600.05/3613.30	c core-guided solve time 2139.54 s
3600.05/3613.30	c propagation time 2471.91 s
3600.05/3613.30	c conflict analysis time 890.547 s
3600.05/3613.30	c propagations 104949525
3600.05/3613.30	c resolve steps 6979261
3600.05/3613.30	c decisions 2565006
3600.05/3613.30	c conflicts 199875
3600.05/3613.30	c restarts 509
3600.05/3613.30	c inprocessing phases 36
3600.05/3613.30	c input clauses 21876
3600.05/3613.30	c input cardinalities 9
3600.05/3613.30	c input general constraints 3021
3600.05/3613.30	c input average constraint length 129.39
3600.05/3613.30	c input average constraint degree 440399914.93
3600.05/3613.30	c learned clauses 32430
3600.05/3613.30	c learned cardinalities 258
3600.05/3613.30	c learned general constraints 167323
3600.05/3613.30	c learned average constraint length 3809.08
3600.05/3613.30	c learned average constraint degree 14154152528.32
3600.05/3613.30	c watched constraints 41335
3600.05/3613.30	c counting constraints 129009
3600.05/3613.30	c gcd simplifications 5456
3600.05/3613.30	c detected cardinalities 10
3600.05/3613.30	c weakened non-implied lits 79708663
3600.05/3613.30	c weakened non-implying lits 620530
3600.05/3613.30	c original variables 9940
3600.05/3613.30	c clausal propagations 70926265
3600.05/3613.30	c cardinality propagations 877102
3600.05/3613.30	c watched propagations 1210431
3600.05/3613.30	c counting propagations 31773517
3600.05/3613.30	c watch lookups 47868519580
3600.05/3613.30	c watch backjump lookups 47427151441
3600.05/3613.30	c watch checks 83663781916
3600.05/3613.30	c propagation checks 211287830741
3600.05/3613.30	c constraint additions 2018928860
3600.05/3613.30	c trail pops 107704714
3600.05/3613.30	c formula constraints 24510
3600.05/3613.30	c learned constraints 199748
3600.05/3613.30	c bound constraints 396
3600.05/3613.30	c core-guided constraints 0
3600.05/3613.30	c encountered formula constraints 6395379
3600.05/3613.30	c encountered learned constraints 772093
3600.05/3613.30	c encountered bound constraints 2489
3600.05/3613.30	c encountered core-guided constraints 0
3600.05/3613.30	c LP total time 207.592 s
3600.05/3613.30	c LP solve time 195.75 s
3600.05/3613.30	c LP constraints added 24533
3600.05/3613.30	c LP constraints removed 7
3600.05/3613.30	c LP pivots internal 201628
3600.05/3613.30	c LP pivots root 205097
3600.05/3613.30	c LP calls 194
3600.05/3613.30	c LP optimalities 53
3600.05/3613.30	c LP no pivot count 9
3600.05/3613.30	c LP infeasibilities 136
3600.05/3613.30	c LP valid Farkas constraints 136
3600.05/3613.30	c LP learned Farkas constraints 127
3600.05/3613.30	c LP basis resets 0
3600.05/3613.30	c LP cycling count 0
3600.05/3613.30	c LP singular count 0
3600.05/3613.30	c LP no primal count 0
3600.05/3613.30	c LP no farkas count 0
3600.05/3613.30	c LP other issue count 0
3600.05/3613.30	c LP Gomory cuts 0
3600.05/3613.30	c LP learned cuts 23
3600.05/3613.30	c LP deleted cuts 9
3600.05/3613.30	c LP encountered Gomory constraints 0
3600.05/3613.30	c LP encountered Farkas constraints 8172
3600.05/3613.30	c LP encountered learned Farkas constraints 876
3600.05/3613.30	c CG auxiliary variables introduced 0
3600.05/3613.30	c CG solutions found 396
3600.05/3613.30	c CG cores constructed 0
3600.05/3613.30	c CG core cardinality constraints returned 0
3600.05/3613.30	c CG unit cores 0
3600.05/3613.30	c CG single cores 0
3600.05/3613.30	c CG blocks removed during cardinality reduction 0
3600.05/3613.30	c CG first core best 0
3600.05/3613.30	c CG decision core best 0
3600.05/3613.30	c CG core reduction tie 0
3600.05/3613.30	c CG core degree average 0.00
3600.05/3613.30	c CG core slack average 0.00
3600.05/3613.30	s SATISFIABLE
3600.05/3613.30	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	4219117

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (55654 MiB free)
  memory of node 1: 64473 MiB (62250 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=366930, runsolver pid=366927

[startup+0.100092 s]*
/proc/loadavg: 4.36 4.31 4.14 3/261 366931
/proc/meminfo: memFree=120734000/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=37376 memory=2624 CPUtime=0 cores=0,2
/proc/366930/stat : 366930 (roundingsat) D 366927 366930 364597 0 -1 1078198272 215 0 0 0 0 0 0 0 20 0 1 0 43377903 38273024 656 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.36 4.31 4.14 3/261 366931
/proc/meminfo: memFree=120732588/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=37376 memory=2624 CPUtime=0 cores=0,2
/proc/366930/stat : 366930 (roundingsat) D 366927 366930 364597 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43377903 38273024 656 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.304661 s]*
/proc/loadavg: 4.36 4.31 4.14 3/261 366931
/proc/meminfo: memFree=120732344/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=37376 memory=2624 CPUtime=0 cores=0,2
/proc/366930/stat : 366930 (roundingsat) D 366927 366930 364597 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43377903 38273024 656 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.700191 s]
/proc/loadavg: 4.36 4.31 4.14 4/261 366931
/proc/meminfo: memFree=120709396/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=59308 memory=31608 CPUtime=0.37 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 7349 0 0 0 34 3 0 0 20 0 1 0 43377903 60731392 7902 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 14827 7902 1777 992 0 6685 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 59308 KiB
Current children cumulated memory: 31608 KiB

[startup+1.5002 s]
/proc/loadavg: 4.36 4.31 4.14 4/261 366933
/proc/meminfo: memFree=120707200/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=60976 memory=33192 CPUtime=1.17 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 7716 0 0 0 112 5 0 0 20 0 1 0 43377903 62439424 8298 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 15244 8298 1777 992 0 7102 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 60976 KiB
Current children cumulated memory: 33192 KiB

[startup+3.10574 s]
/proc/loadavg: 4.33 4.30 4.14 4/261 366933
/proc/meminfo: memFree=120670928/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=80696 memory=53928 CPUtime=2.77 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 12351 0 0 0 269 8 0 0 20 0 1 0 43377903 82632704 13482 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 20174 13482 1872 992 0 12032 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 80696 KiB
Current children cumulated memory: 53928 KiB

[startup+6.30024 s]
/proc/loadavg: 4.33 4.30 4.14 5/256 366960
/proc/meminfo: memFree=120780824/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=149960 memory=109520 CPUtime=5.96 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 21617 0 0 0 580 16 0 0 20 0 1 0 43377903 153559040 27380 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 37490 27380 1888 992 0 29348 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 149960 KiB
Current children cumulated memory: 109520 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.30 4.14 4/256 366961
/proc/meminfo: memFree=120601172/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=225452 memory=193500 CPUtime=12.34 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 33397 0 0 0 1205 29 0 0 20 0 1 0 43377903 230862848 48375 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 56363 48375 1888 992 0 48221 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 225452 KiB
Current children cumulated memory: 193500 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.30 4.14 5/261 366983
/proc/meminfo: memFree=120251636/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=339808 memory=266312 CPUtime=25.1 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 48794 0 0 0 2461 49 0 0 20 0 1 0 43377903 347963392 66578 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 84952 66578 1888 992 0 76810 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 339808 KiB
Current children cumulated memory: 266312 KiB

[startup+51.1057 s]
/proc/loadavg: 4.33 4.30 4.15 5/261 366987
/proc/meminfo: memFree=119362904/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=366692 memory=334108 CPUtime=50.61 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 56556 0 0 0 4981 80 0 0 20 0 1 0 43377903 375492608 83527 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 91673 83527 1904 992 0 83531 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 366692 KiB
Current children cumulated memory: 334108 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.26 4.14 5/261 366996
/proc/meminfo: memFree=117533260/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=608560 memory=572536 CPUtime=101.63 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 96345 0 0 0 10031 132 0 0 20 0 1 0 43377903 623165440 143134 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 152140 143134 1904 992 0 143998 0
Current children cumulated CPU time: 101.63 s
Current children cumulated vsize: 608560 KiB
Current children cumulated memory: 572536 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.25 4.15 5/259 367007
/proc/meminfo: memFree=116475236/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=759492 memory=600300 CPUtime=161.42 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 101871 0 0 0 15965 177 0 0 20 0 1 0 43377903 777719808 150075 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 189873 150075 1904 992 0 181731 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 759492 KiB
Current children cumulated memory: 600300 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.22 4.14 5/259 367018
/proc/meminfo: memFree=115106708/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=794016 memory=654320 CPUtime=221.22 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 108743 0 0 0 21898 224 0 0 20 0 1 0 43377903 813072384 163580 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 198504 163580 1904 992 0 190362 0
Current children cumulated CPU time: 221.22 s
Current children cumulated vsize: 794016 KiB
Current children cumulated memory: 654320 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/258 367413
/proc/meminfo: memFree=112930504/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=866920 memory=717280 CPUtime=281.01 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 122472 0 0 0 27843 258 0 0 20 0 1 0 43377903 887726080 179320 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 216730 179320 1904 992 0 208588 0
Current children cumulated CPU time: 281.01 s
Current children cumulated vsize: 866920 KiB
Current children cumulated memory: 717280 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.19 4.14 5/258 367424
/proc/meminfo: memFree=111435160/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=920436 memory=774284 CPUtime=340.81 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 134189 0 0 0 33783 298 0 0 20 0 1 0 43377903 942526464 193571 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 230109 193571 1904 992 0 221967 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 920436 KiB
Current children cumulated memory: 774284 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.16 4.13 6/258 367435
/proc/meminfo: memFree=110065736/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=928312 memory=783352 CPUtime=400.59 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 136457 0 0 0 39720 339 0 0 20 0 1 0 43377903 950591488 195838 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 232078 195838 1904 992 0 223936 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 928312 KiB
Current children cumulated memory: 783352 KiB

[startup+462.3 s]
/proc/loadavg: 4.49 4.25 4.16 5/259 367614
/proc/meminfo: memFree=109527836/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=928312 memory=787412 CPUtime=460.37 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 136515 0 0 0 45660 377 0 0 20 0 1 0 43377903 950591488 196853 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 232078 196853 1904 992 0 223936 0
Current children cumulated CPU time: 460.37 s

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

Current children cumulated memory: 1293144 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/260 368768
/proc/meminfo: memFree=62637552/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=2971.21 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 232214 0 0 0 295533 1588 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 2971.21 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/260 368779
/proc/meminfo: memFree=61317920/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3031 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 232728 0 0 0 301491 1609 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3031 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/259 368789
/proc/meminfo: memFree=60272660/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3090.79 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 233192 0 0 0 307439 1640 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/258 368800
/proc/meminfo: memFree=59505272/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3150.59 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 233557 0 0 0 313399 1660 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3150.59 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3222.3 s]
/proc/loadavg: 4.38 4.21 4.14 6/259 368812
/proc/meminfo: memFree=58707852/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3210.38 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 233962 0 0 0 319354 1684 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3210.38 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.20 4.14 5/256 368822
/proc/meminfo: memFree=58101192/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3270.17 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 234347 0 0 0 325301 1716 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3270.17 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/256 368833
/proc/meminfo: memFree=57163700/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3329.97 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 234903 0 0 0 331252 1745 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3329.97 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/257 368844
/proc/meminfo: memFree=56293600/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3389.76 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 235421 0 0 0 337210 1766 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3389.76 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/257 368854
/proc/meminfo: memFree=55507420/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3449.56 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 235831 0 0 0 343163 1793 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3449.56 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/256 368866
/proc/meminfo: memFree=54890632/131524600 swapFree=131068388/131071996
[pid=366930] ppid=366927 vsize=1510220 memory=1294516 CPUtime=3509.36 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 236267 0 0 0 349132 1804 0 0 20 0 1 0 43377903 1546465280 323629 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 377555 323629 1904 992 0 369413 0
Current children cumulated CPU time: 3509.36 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1294516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.12 5/257 368879
/proc/meminfo: memFree=54963140/131524600 swapFree=131065548/131071996
[pid=366930] ppid=366927 vsize=1563012 memory=1332396 CPUtime=3569.15 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 245770 0 0 0 355088 1827 0 0 20 0 1 0 43377903 1600524288 333099 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 390753 333099 1904 992 0 382611 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 1563012 KiB
Current children cumulated memory: 1332396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 368932
/proc/meminfo: memFree=57381984/131524600 swapFree=131065548/131071996
[pid=366930] ppid=366927 vsize=1601252 memory=1384108 CPUtime=3600.05 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 258425 0 0 0 358154 1851 0 0 20 0 1 0 43377903 1639682048 346027 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 400313 346027 1904 992 0 392171 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1601252 KiB
Current children cumulated memory: 1384108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.55 s, system=18.5286 s

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

[startup+3613.6 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 368932
/proc/meminfo: memFree=57381984/131524600 swapFree=131065548/131071996
[pid=366930] ppid=366927 vsize=1601252 memory=1384108 CPUtime=3600.05 cores=0,2
/proc/366930/stat : 366930 (roundingsat) D 366927 366930 364597 0 -1 4194304 258432 0 0 0 358154 1851 0 0 20 0 1 0 43377903 1639682048 346027 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 2 0 0 44 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 400313 346027 1904 992 0 392171 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1601252 KiB
Current children cumulated memory: 1384108 KiB

[startup+3613.7 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 368932
/proc/meminfo: memFree=57381984/131524600 swapFree=131065548/131071996
[pid=366930] ppid=366927 vsize=1601252 memory=1384108 CPUtime=3600.05 cores=0,2
/proc/366930/stat : 366930 (roundingsat) R 366927 366930 364597 0 -1 4194304 258432 0 0 0 358154 1851 0 0 20 0 1 0 43377903 1639682048 346027 134679101440 4194304 8254357 140734175109056 0 0 0 0 0 25182210 0 0 0 17 2 0 0 61 0 0 9037040 9046032 33447936 140734175114079 140734175114341 140734175114341 140734175121353 0
/proc/366930/statm: 400313 346027 1904 992 0 392171 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1601252 KiB
Current children cumulated memory: 1384108 KiB

Child status: 0

Real time (s): 3613.77
CPU time (s): 3600.08
CPU user time (s): 3581.55
CPU system time (s): 18.5286
CPU usage (%): 99.6211
Max. virtual memory (cumulated for all children) (KiB): 1601252
Max. memory (cumulated for all children) (KiB): 1384108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.55
system time used= 18.5286
maximum resident set size= 1384108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258441
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35546088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1728
involuntary context switches= 25457


# summary of solver processes directly reported to runsolver:
#   pid: 366930
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3581.55
#   total CPU system time (s): 18.5286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59478 second user time and 15.4919 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-27 10:21:36
IDJOB=4460405
IDBENCH=155605
IDSOLVER=3086
FILE ID=nodeC018/4460405-1722068496
RUNJOBID= nodeC018-1722064836-364612
SLURM_JOB_ID= 8248088
Free space on /tmp= 890024 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460405-1722068496/watcher-4460405-1722068496 -o /tmp/evaluation-result-4460405-1722068496/solver-4460405-1722068496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364612 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460405-1722068496 --lp-cut-gomory=0 HOME/instance-4460405-1722068496.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1199031812

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.872
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.889
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3362.429
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.132
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2728.687
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.894
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2938.566
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.897
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120735212 kB
MemAvailable:   129360988 kB
Buffers:          365920 kB
Cached:          9058580 kB
SwapCached:          608 kB
Active:          2391660 kB
Inactive:        7720916 kB
Active(anon):       1984 kB
Inactive(anon):   739856 kB
Active(file):    2389676 kB
Inactive(file):  6981060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131068388 kB
Dirty:            156356 kB
Writeback:        267140 kB
AnonPages:        687336 kB
Mapped:           114032 kB
Shmem:             53728 kB
KReclaimable:     189724 kB
Slab:             323920 kB
SReclaimable:     189724 kB
SUnreclaim:       134196 kB
KernelStack:        4224 kB
PageTables:        10984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     946680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17408 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC018 at 2024-07-27 11:21:50