Trace number 4460103

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)No Cert. 3600.06 3622.49

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM5c8d8ce64a950076da07daccd75facb4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4052992
Best CPU time to get the best result obtained on this benchmark71226.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
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.20/0.28	c #variables 7812 #constraints 316
2.88/2.91	c bounds - >= 0 @ 0.255636
2.88/2.91	c bounds 7346171 >= 0 @ 0.31229
2.88/2.91	c #Conflicts:       1000 | #Constraints:       1319
2.88/2.91	c #Conflicts:       2000 | #Constraints:       2322
2.88/2.91	c INPROCESSING
2.88/2.91	c GARBAGE COLLECT
2.88/2.91	c rational objective 3.08935e+06
11.85/11.96	c bounds 7278587 >= 0 @ 2.78977
11.85/11.96	c bounds 7278379 >= 0 @ 2.79821
11.85/11.96	c bounds 7278275 >= 0 @ 2.85721
11.85/11.96	c bounds 7261891 >= 0 @ 2.87301
11.85/11.96	c bounds 7186115 >= 0 @ 3.62708
11.85/11.96	c bounds 7186111 >= 0 @ 4.84225
11.85/11.96	c #Conflicts:       3000 | #Constraints:       2344
11.85/11.96	c #Conflicts:       4000 | #Constraints:       3347
11.85/11.96	c INPROCESSING
11.85/11.96	c GARBAGE COLLECT
11.85/11.96	c bounds 7186059 >= 0 @ 7.23995
11.85/11.96	c bounds 7186046 >= 0 @ 7.95033
11.85/11.96	c bounds 7186033 >= 0 @ 7.98362
11.85/11.96	c bounds 7186020 >= 0 @ 8.38519
11.85/11.96	c #Conflicts:       5000 | #Constraints:       2752
11.85/11.96	c #Conflicts:       6000 | #Constraints:       3756
11.85/11.96	c INPROCESSING
11.85/11.96	c GARBAGE COLLECT
11.85/11.96	c rational objective 3.08939e+06
17.84/17.93	c bounds 7158372 >= 0 @ 12.2407
17.84/17.93	c bounds 6892128 >= 0 @ 12.448
17.84/17.93	c #Conflicts:       7000 | #Constraints:       2758
17.84/17.93	c bounds 6824544 >= 0 @ 12.6149
17.84/17.93	c bounds 6824533 >= 0 @ 12.8245
17.84/17.93	c bounds 6824511 >= 0 @ 12.8895
17.84/17.93	c bounds 6824505 >= 0 @ 13.0156
17.84/17.93	c bounds 6824483 >= 0 @ 13.0283
17.84/17.93	c bounds 6824449 >= 0 @ 13.0891
17.84/17.93	c bounds 6824427 >= 0 @ 13.202
17.84/17.93	c #Conflicts:       8000 | #Constraints:       3768
17.84/17.93	c #Conflicts:       9000 | #Constraints:       4768
17.84/17.93	c INPROCESSING
17.84/17.93	c GARBAGE COLLECT
17.84/17.93	c rational objective 3.08939e+06
24.82/24.90	c bounds 6824024 >= 0 @ 17.3064
24.82/24.90	c bounds 6824016 >= 0 @ 17.6009
24.82/24.90	c bounds 6824003 >= 0 @ 18.0254
24.82/24.90	c bounds 6824000 >= 0 @ 18.2743
24.82/24.90	c bounds 6821734 >= 0 @ 18.9237
24.82/24.90	c bounds 6821721 >= 0 @ 18.9438
24.82/24.90	c bounds 6821710 >= 0 @ 19.1245
24.82/24.90	c bounds 6821687 >= 0 @ 19.1713
24.82/24.90	c #Conflicts:      10000 | #Constraints:       3459
24.82/24.90	c bounds 6821674 >= 0 @ 20.2706
24.82/24.90	c bounds 6821650 >= 0 @ 20.4432
24.82/24.90	c bounds 6821622 >= 0 @ 20.4626
24.82/24.90	c #Conflicts:      11000 | #Constraints:       4464
24.82/24.90	c #Conflicts:      12000 | #Constraints:       5470
24.82/24.90	c INPROCESSING
24.82/24.90	c GARBAGE COLLECT
24.82/24.90	c rational objective 3.08939e+06
31.79/31.91	c bounds 6821398 >= 0 @ 24.0497
31.79/31.91	c bounds 6821396 >= 0 @ 25.3368
31.79/31.91	c bounds 6821385 >= 0 @ 25.352
31.79/31.91	c bounds 6821359 >= 0 @ 25.5385
31.79/31.91	c bounds 6821151 >= 0 @ 25.6061
31.79/31.91	c bounds 6821099 >= 0 @ 25.6312
31.79/31.91	c bounds 6821079 >= 0 @ 26.0272
31.79/31.91	c bounds 6787287 >= 0 @ 26.0658
31.79/31.91	c bounds 6774999 >= 0 @ 26.0819
31.79/31.91	c bounds 6666455 >= 0 @ 26.1142
31.79/31.91	c bounds 6666433 >= 0 @ 26.1732
31.79/31.91	c bounds 6661313 >= 0 @ 26.2048
31.79/31.91	c #Conflicts:      13000 | #Constraints:       3914
31.79/31.91	c bounds 6661307 >= 0 @ 26.9647
31.79/31.91	c #Conflicts:      14000 | #Constraints:       4921
31.79/31.91	c #Conflicts:      15000 | #Constraints:       5924
31.79/31.91	c INPROCESSING
31.79/31.91	c GARBAGE COLLECT
31.79/31.91	c rational objective 3.08939e+06
39.97/40.14	c bounds 6587995 >= 0 @ 30.8464
39.97/40.14	c bounds 6565457 >= 0 @ 31.2455
39.97/40.14	c bounds 6565297 >= 0 @ 31.2626
39.97/40.14	c bounds 6565277 >= 0 @ 32.1356
39.97/40.14	c bounds 6565274 >= 0 @ 32.3497
39.97/40.14	c #Conflicts:      16000 | #Constraints:       4142
39.97/40.14	c bounds 6565264 >= 0 @ 33.5475
39.97/40.14	c bounds 6565247 >= 0 @ 33.6842
39.97/40.14	c #Conflicts:      17000 | #Constraints:       5151
39.97/40.14	c #Conflicts:      18000 | #Constraints:       6153
39.97/40.14	c INPROCESSING
39.97/40.14	c GARBAGE COLLECT
39.97/40.14	c rational objective 3.08939e+06
49.04/49.28	c bounds 6565237 >= 0 @ 38.8132
49.04/49.28	c bounds 6565157 >= 0 @ 39.1076
49.04/49.28	c bounds 6564837 >= 0 @ 39.121
49.04/49.28	c bounds 6502373 >= 0 @ 40.7977
49.04/49.28	c #Conflicts:      19000 | #Constraints:       4170
49.04/49.28	c bounds 6422504 >= 0 @ 41.2824
49.04/49.28	c bounds 6422490 >= 0 @ 41.3095
49.04/49.28	c #Conflicts:      20000 | #Constraints:       5176
49.04/49.28	c #Conflicts:      21000 | #Constraints:       6181
49.04/49.28	c INPROCESSING
49.04/49.28	c GARBAGE COLLECT
49.04/49.28	c rational objective 3.08948e+06
59.10/59.33	c bounds 6422489 >= 0 @ 47.629
59.10/59.33	c bounds 6422487 >= 0 @ 47.764
59.10/59.33	c bounds 6422465 >= 0 @ 47.9289
59.10/59.33	c bounds 6422443 >= 0 @ 47.94
59.10/59.33	c bounds 6422421 >= 0 @ 47.952
59.10/59.33	c bounds 6422377 >= 0 @ 48.4292
59.10/59.33	c bounds 6422367 >= 0 @ 48.651
59.10/59.33	c bounds 6422357 >= 0 @ 48.6976
59.10/59.33	c bounds 6422347 >= 0 @ 48.7133
59.10/59.33	c #Conflicts:      22000 | #Constraints:       3981
59.10/59.33	c bounds 6418692 >= 0 @ 50.5069
59.10/59.33	c #Conflicts:      23000 | #Constraints:       4986
59.10/59.33	c bounds 6418572 >= 0 @ 52.339
59.10/59.33	c #Conflicts:      24000 | #Constraints:       5990
59.10/59.33	c #Conflicts:      25000 | #Constraints:       6994
59.10/59.33	c INPROCESSING
59.10/59.33	c GARBAGE COLLECT
59.10/59.33	c rational objective 3.08948e+06
70.47/70.73	c bounds 6418530 >= 0 @ 57.8891
70.47/70.73	c bounds 6418516 >= 0 @ 57.9045
70.47/70.73	c bounds 6418508 >= 0 @ 59.2033
70.47/70.73	c bounds 6418494 >= 0 @ 59.5677
70.47/70.73	c #Conflicts:      26000 | #Constraints:       4567
70.47/70.73	c bounds 6418488 >= 0 @ 59.7943
70.47/70.73	c bounds 6418480 >= 0 @ 60.6118
70.47/70.73	c bounds 6418471 >= 0 @ 60.6433
70.47/70.73	c #Conflicts:      27000 | #Constraints:       5573
70.47/70.73	c bounds 6418465 >= 0 @ 63.8312
70.47/70.73	c #Conflicts:      28000 | #Constraints:       6578
70.47/70.73	c #Conflicts:      29000 | #Constraints:       7581
70.47/70.73	c INPROCESSING
70.47/70.73	c GARBAGE COLLECT
70.47/70.73	c rational objective 3.08948e+06
79.24/79.59	c #Conflicts:      30000 | #Constraints:       4962
79.24/79.59	c #Conflicts:      31000 | #Constraints:       5966
79.24/79.59	c #Conflicts:      32000 | #Constraints:       6970
79.24/79.59	c #Conflicts:      33000 | #Constraints:       7973
79.24/79.59	c INPROCESSING
79.24/79.59	c GARBAGE COLLECT
79.24/79.59	c rational objective 3.08948e+06
91.71/92.04	c bounds 6418409 >= 0 @ 77.0059
91.71/92.04	c bounds 6418406 >= 0 @ 77.4029
91.71/92.04	c bounds 6418307 >= 0 @ 77.4878
91.71/92.04	c bounds 6418293 >= 0 @ 77.5065
91.71/92.04	c bounds 6418265 >= 0 @ 77.5197
91.71/92.04	c bounds 6418241 >= 0 @ 78.8476
91.71/92.04	c bounds 6418193 >= 0 @ 79.8494
91.71/92.04	c bounds 6417809 >= 0 @ 79.8996
91.71/92.04	c #Conflicts:      34000 | #Constraints:       5174
91.71/92.04	c bounds 6416913 >= 0 @ 80.5643
91.71/92.04	c bounds 6416145 >= 0 @ 81.1631
91.71/92.04	c bounds 6413329 >= 0 @ 81.4447
91.71/92.04	c bounds 6407185 >= 0 @ 81.8721
91.71/92.04	c #Conflicts:      35000 | #Constraints:       6180
91.71/92.04	c #Conflicts:      36000 | #Constraints:       7184
91.71/92.04	c #Conflicts:      37000 | #Constraints:       8188
91.71/92.04	c INPROCESSING
91.71/92.04	c GARBAGE COLLECT
91.71/92.04	c rational objective 3.08948e+06
105.36/105.78	c bounds 6407174 >= 0 @ 90.9005
105.36/105.78	c #Conflicts:      38000 | #Constraints:       5173
105.36/105.78	c bounds 6407158 >= 0 @ 94.08
105.36/105.78	c #Conflicts:      39000 | #Constraints:       6175
105.36/105.78	c #Conflicts:      40000 | #Constraints:       7180
105.36/105.78	c #Conflicts:      41000 | #Constraints:       8191
105.36/105.78	c INPROCESSING
105.36/105.78	c GARBAGE COLLECT
105.36/105.78	c rational objective 3.08948e+06
121.71/122.14	c bounds 6407144 >= 0 @ 102.413
121.71/122.14	c #Conflicts:      42000 | #Constraints:       4981
121.71/122.14	c #Conflicts:      43000 | #Constraints:       5982
121.71/122.14	c #Conflicts:      44000 | #Constraints:       6983
121.71/122.14	c bounds 6407112 >= 0 @ 114.295
121.71/122.14	c #Conflicts:      45000 | #Constraints:       7985
121.71/122.14	c #Conflicts:      46000 | #Constraints:       8991
121.71/122.14	c INPROCESSING
121.71/122.14	c GARBAGE COLLECT
121.71/122.14	c rational objective 3.08948e+06
132.18/132.62	c #Conflicts:      47000 | #Constraints:       5574
132.18/132.62	c #Conflicts:      48000 | #Constraints:       6576
132.18/132.62	c #Conflicts:      49000 | #Constraints:       7579
132.18/132.62	c #Conflicts:      50000 | #Constraints:       8579
132.18/132.62	c #Conflicts:      51000 | #Constraints:       9582
132.18/132.62	c INPROCESSING
132.18/132.62	c GARBAGE COLLECT
132.18/132.62	c rational objective 3.08948e+06
146.94/147.47	c bounds 6405432 >= 0 @ 128.494
146.94/147.47	c bounds 6393144 >= 0 @ 129.59
146.94/147.47	c bounds 6393138 >= 0 @ 129.643
146.94/147.47	c bounds 6393126 >= 0 @ 129.661
146.94/147.47	c bounds 6393123 >= 0 @ 129.683
146.94/147.47	c bounds 6393103 >= 0 @ 130.495
146.94/147.47	c bounds 6393063 >= 0 @ 130.696
146.94/147.47	c bounds 6393058 >= 0 @ 131.249
146.94/147.47	c bounds 6393048 >= 0 @ 131.373
146.94/147.47	c bounds 6393045 >= 0 @ 131.52
146.94/147.47	c #Conflicts:      52000 | #Constraints:       5980
146.94/147.47	c bounds 6393034 >= 0 @ 133.799
146.94/147.47	c bounds 6393031 >= 0 @ 133.836
146.94/147.47	c #Conflicts:      53000 | #Constraints:       6984
146.94/147.47	c #Conflicts:      54000 | #Constraints:       7987
146.94/147.47	c #Conflicts:      55000 | #Constraints:       8993
146.94/147.47	c #Conflicts:      56000 | #Constraints:       9997
146.94/147.47	c INPROCESSING
146.94/147.47	c GARBAGE COLLECT
146.94/147.47	c rational objective 3.08948e+06
163.08/163.68	c bounds 6393026 >= 0 @ 143.016
163.08/163.68	c bounds 6393023 >= 0 @ 143.299
163.08/163.68	c bounds 6393018 >= 0 @ 143.358
163.08/163.68	c bounds 6393008 >= 0 @ 143.371
163.08/163.68	c #Conflicts:      57000 | #Constraints:       6178
163.08/163.68	c bounds 6393005 >= 0 @ 147.347
163.08/163.68	c bounds 6393000 >= 0 @ 147.371
163.08/163.68	c bounds 6392997 >= 0 @ 147.678
163.08/163.68	c bounds 6392991 >= 0 @ 147.737
163.08/163.68	c bounds 6392988 >= 0 @ 147.762
163.08/163.68	c bounds 6392973 >= 0 @ 147.844
163.08/163.68	c #Conflicts:      58000 | #Constraints:       7190
163.08/163.68	c #Conflicts:      59000 | #Constraints:       8194
163.08/163.68	c #Conflicts:      60000 | #Constraints:       9195
163.08/163.68	c #Conflicts:      61000 | #Constraints:      10198
163.08/163.68	c INPROCESSING
163.08/163.68	c GARBAGE COLLECT
163.08/163.68	c rational objective 3.08948e+06
181.44/182.00	c bounds 6392951 >= 0 @ 158.788
181.44/182.00	c bounds 6392939 >= 0 @ 159.654
181.44/182.00	c bounds 6392936 >= 0 @ 159.702
181.44/182.00	c bounds 6392933 >= 0 @ 159.72
181.44/182.00	c bounds 6392928 >= 0 @ 160.236
181.44/182.00	c bounds 6392893 >= 0 @ 160.972
181.44/182.00	c bounds 6392888 >= 0 @ 160.989
181.44/182.00	c bounds 6392886 >= 0 @ 161.224
181.44/182.00	c bounds 6392880 >= 0 @ 161.465
181.44/182.00	c #Conflicts:      62000 | #Constraints:       6189
181.44/182.00	c bounds 6392240 >= 0 @ 162.811
181.44/182.00	c bounds 6392237 >= 0 @ 162.87
181.44/182.00	c bounds 6392222 >= 0 @ 163.383
181.44/182.00	c bounds 6392219 >= 0 @ 163.659
181.44/182.00	c bounds 6392208 >= 0 @ 163.684
181.44/182.00	c bounds 6390928 >= 0 @ 163.704
181.44/182.00	c bounds 6390906 >= 0 @ 164.939
181.44/182.00	c #Conflicts:      63000 | #Constraints:       7197
181.44/182.00	c bounds 6390900 >= 0 @ 166.121
181.44/182.00	c bounds 6390830 >= 0 @ 166.204
181.44/182.00	c bounds 6390745 >= 0 @ 167.493
181.44/182.00	c bounds 6390735 >= 0 @ 167.53
181.44/182.00	c #Conflicts:      64000 | #Constraints:       8205
181.44/182.00	c #Conflicts:      65000 | #Constraints:       9209
181.44/182.00	c #Conflicts:      66000 | #Constraints:      10210
181.44/182.00	c INPROCESSING
181.44/182.00	c GARBAGE COLLECT
181.44/182.00	c rational objective 3.08948e+06
197.88/198.55	c bounds 6390715 >= 0 @ 176.493
197.88/198.55	c bounds 6390710 >= 0 @ 176.506
197.88/198.55	c bounds 6351646 >= 0 @ 177.022
197.88/198.55	c bounds 6351641 >= 0 @ 177.759
197.88/198.55	c bounds 6351621 >= 0 @ 177.779
197.88/198.55	c bounds 6351611 >= 0 @ 177.807
197.88/198.55	c #Conflicts:      67000 | #Constraints:       5974
197.88/198.55	c bounds 6351515 >= 0 @ 180.532
197.88/198.55	c bounds 6297243 >= 0 @ 180.718
197.88/198.55	c bounds 6242119 >= 0 @ 181.209
197.88/198.55	c #Conflicts:      68000 | #Constraints:       6982
197.88/198.55	c bounds 6176770 >= 0 @ 182.748
197.88/198.55	c bounds 6176768 >= 0 @ 183.432
197.88/198.55	c bounds 6173706 >= 0 @ 183.643
197.88/198.55	c bounds 6173700 >= 0 @ 184.382
197.88/198.55	c bounds 6173696 >= 0 @ 184.407
197.88/198.55	c #Conflicts:      69000 | #Constraints:       7990
197.88/198.55	c #Conflicts:      70000 | #Constraints:       8994
197.88/198.55	c #Conflicts:      71000 | #Constraints:       9997
197.88/198.55	c #Conflicts:      72000 | #Constraints:      10999
197.88/198.55	c INPROCESSING
197.88/198.55	c GARBAGE COLLECT
197.88/198.55	c rational objective 3.08948e+06
213.34/214.01	c bounds 6173695 >= 0 @ 192.626
213.34/214.01	c bounds 6173693 >= 0 @ 192.883
213.34/214.01	c bounds 6173677 >= 0 @ 193.854
213.34/214.01	c bounds 6173669 >= 0 @ 194.295
213.34/214.01	c bounds 6173664 >= 0 @ 194.457
213.34/214.01	c bounds 6173519 >= 0 @ 194.476
213.34/214.01	c bounds 6173509 >= 0 @ 194.493
213.34/214.01	c bounds 6173504 >= 0 @ 194.617
213.34/214.01	c bounds 6173317 >= 0 @ 194.644
213.34/214.01	c bounds 6173312 >= 0 @ 195.001
213.34/214.01	c #Conflicts:      73000 | #Constraints:       6583
213.34/214.01	c bounds 6173142 >= 0 @ 197.162
213.34/214.01	c bounds 6173122 >= 0 @ 197.188
213.34/214.01	c bounds 6173117 >= 0 @ 197.365
213.34/214.01	c bounds 6173116 >= 0 @ 197.906
213.34/214.01	c bounds 6173111 >= 0 @ 197.96
213.34/214.01	c bounds 6173107 >= 0 @ 198.638
213.34/214.01	c bounds 6173101 >= 0 @ 198.81
213.34/214.01	c bounds 6173085 >= 0 @ 198.865
213.34/214.01	c bounds 6173005 >= 0 @ 199.165
213.34/214.01	c #Conflicts:      74000 | #Constraints:       7593
213.34/214.01	c #Conflicts:      75000 | #Constraints:       8598
213.34/214.01	c #Conflicts:      76000 | #Constraints:       9603
213.34/214.01	c #Conflicts:      77000 | #Constraints:      10606
213.34/214.01	c #Conflicts:      78000 | #Constraints:      11610
213.34/214.01	c INPROCESSING
213.34/214.01	c GARBAGE COLLECT
213.34/214.01	c rational objective 3.08948e+06
232.97/233.75	c bounds 6172983 >= 0 @ 207.895
232.97/233.75	c bounds 6172943 >= 0 @ 208.398
232.97/233.75	c bounds 6172935 >= 0 @ 208.465
232.97/233.75	c #Conflicts:      79000 | #Constraints:       6991
232.97/233.75	c #Conflicts:      80000 | #Constraints:       7996
232.97/233.75	c bounds 6154834 >= 0 @ 216.24
232.97/233.75	c #Conflicts:      81000 | #Constraints:       9002
232.97/233.75	c #Conflicts:      82000 | #Constraints:      10009
232.97/233.75	c #Conflicts:      83000 | #Constraints:      11014
232.97/233.75	c #Conflicts:      84000 | #Constraints:      12026
232.97/233.75	c INPROCESSING
232.97/233.75	c GARBAGE COLLECT
232.97/233.75	c rational objective 3.08948e+06
253.41/254.26	c bounds 6154821 >= 0 @ 227.404
253.41/254.26	c bounds 6154652 >= 0 @ 227.632
253.41/254.26	c bounds 6154639 >= 0 @ 227.651
253.41/254.26	c bounds 6154638 >= 0 @ 227.702
253.41/254.26	c #Conflicts:      85000 | #Constraints:       7208
253.41/254.26	c bounds 6149158 >= 0 @ 234.006
253.41/254.26	c bounds 6074580 >= 0 @ 234.335
253.41/254.26	c bounds 6074568 >= 0 @ 234.356
253.41/254.26	c bounds 6074556 >= 0 @ 234.394
253.41/254.26	c #Conflicts:      86000 | #Constraints:       8214
253.41/254.26	c #Conflicts:      87000 | #Constraints:       9220
253.41/254.26	c #Conflicts:      88000 | #Constraints:      10224
253.41/254.26	c #Conflicts:      89000 | #Constraints:      11231
253.41/254.26	c #Conflicts:      90000 | #Constraints:      12239
253.41/254.26	c INPROCESSING
253.41/254.26	c GARBAGE COLLECT
253.41/254.26	c rational objective 3.08948e+06
337.45/338.56	c bounds 6074550 >= 0 @ 246.95
337.45/338.56	c bounds 6074538 >= 0 @ 246.997
337.45/338.56	c bounds 6074535 >= 0 @ 247.106
337.45/338.56	c bounds 6074151 >= 0 @ 247.124
337.45/338.56	c bounds 6071079 >= 0 @ 247.867
337.45/338.56	c bounds 6069543 >= 0 @ 247.921
337.45/338.56	c #Conflicts:      91000 | #Constraints:       7197
337.45/338.56	c #Conflicts:      92000 | #Constraints:       8199
337.45/338.56	c #Conflicts:      93000 | #Constraints:       9201
337.45/338.56	c #Conflicts:      94000 | #Constraints:      10201
337.45/338.56	c #Conflicts:      95000 | #Constraints:      11202
337.45/338.56	c #Conflicts:      96000 | #Constraints:      12202
337.45/338.56	c INPROCESSING
337.45/338.56	c GARBAGE COLLECT
337.45/338.56	c rational objective 3.08953e+06
353.51/354.69	c #Conflicts:      97000 | #Constraints:       7004
353.51/354.69	c #Conflicts:      98000 | #Constraints:       8009
353.51/354.69	c #Conflicts:      99000 | #Constraints:       9013
353.51/354.69	c #Conflicts:     100000 | #Constraints:      10018
353.51/354.69	c #Conflicts:     101000 | #Constraints:      11023
353.51/354.69	c #Conflicts:     102000 | #Constraints:      12027
353.51/354.69	c #Conflicts:     103000 | #Constraints:      13032
353.51/354.69	c INPROCESSING
353.51/354.69	c GARBAGE COLLECT
353.51/354.69	c rational objective 3.08953e+06
368.56/369.72	c #Conflicts:     104000 | #Constraints:       7593
368.56/369.72	c #Conflicts:     105000 | #Constraints:       8597
368.56/369.72	c #Conflicts:     106000 | #Constraints:       9600
368.56/369.72	c #Conflicts:     107000 | #Constraints:      10603
368.56/369.72	c #Conflicts:     108000 | #Constraints:      11605
368.56/369.72	c #Conflicts:     109000 | #Constraints:      12609
368.56/369.72	c #Conflicts:     110000 | #Constraints:      13614
368.56/369.72	c INPROCESSING
368.56/369.72	c GARBAGE COLLECT
368.56/369.72	c rational objective 3.08989e+06
384.01/385.27	c #Conflicts:     111000 | #Constraints:       7994
384.01/385.27	c #Conflicts:     112000 | #Constraints:       8999
384.01/385.27	c #Conflicts:     113000 | #Constraints:      10004
384.01/385.27	c #Conflicts:     114000 | #Constraints:      11008
384.01/385.27	c #Conflicts:     115000 | #Constraints:      12012
384.01/385.27	c #Conflicts:     116000 | #Constraints:      13017
384.01/385.27	c #Conflicts:     117000 | #Constraints:      14020
384.01/385.27	c INPROCESSING
384.01/385.27	c GARBAGE COLLECT
384.01/385.27	c rational objective 3.09016e+06
401.76/403.05	c #Conflicts:     118000 | #Constraints:       8198
401.76/403.05	c #Conflicts:     119000 | #Constraints:       9203
401.76/403.05	c #Conflicts:     120000 | #Constraints:      10207
401.76/403.05	c #Conflicts:     121000 | #Constraints:      11213
401.76/403.05	c #Conflicts:     122000 | #Constraints:      12218
401.76/403.05	c #Conflicts:     123000 | #Constraints:      13223
401.76/403.05	c #Conflicts:     124000 | #Constraints:      14229
401.76/403.05	c INPROCESSING
401.76/403.05	c GARBAGE COLLECT
401.76/403.05	c rational objective 3.09016e+06
419.30/420.68	c #Conflicts:     125000 | #Constraints:       8204
419.30/420.68	c #Conflicts:     126000 | #Constraints:       9206
419.30/420.68	c #Conflicts:     127000 | #Constraints:      10209
419.30/420.68	c #Conflicts:     128000 | #Constraints:      11216
419.30/420.68	c #Conflicts:     129000 | #Constraints:      12225
419.30/420.68	c #Conflicts:     130000 | #Constraints:      13229
419.30/420.68	c #Conflicts:     131000 | #Constraints:      14234
419.30/420.68	c INPROCESSING
419.30/420.68	c GARBAGE COLLECT
419.30/420.68	c rational objective 3.09016e+06
436.85/438.22	c #Conflicts:     132000 | #Constraints:       8014
436.85/438.22	c #Conflicts:     133000 | #Constraints:       9020
436.85/438.22	c #Conflicts:     134000 | #Constraints:      10024
436.85/438.22	c #Conflicts:     135000 | #Constraints:      11030
436.85/438.22	c #Conflicts:     136000 | #Constraints:      12033
436.85/438.22	c #Conflicts:     137000 | #Constraints:      13036
436.85/438.22	c #Conflicts:     138000 | #Constraints:      14040
436.85/438.22	c #Conflicts:     139000 | #Constraints:      15046
436.85/438.22	c INPROCESSING
436.85/438.22	c GARBAGE COLLECT
436.85/438.22	c rational objective 3.09017e+06
454.79/456.25	c #Conflicts:     140000 | #Constraints:       8606
454.79/456.25	c #Conflicts:     141000 | #Constraints:       9609
454.79/456.25	c #Conflicts:     142000 | #Constraints:      10611
454.79/456.25	c #Conflicts:     143000 | #Constraints:      11616
454.79/456.25	c #Conflicts:     144000 | #Constraints:      12625
454.79/456.25	c #Conflicts:     145000 | #Constraints:      13640
454.79/456.25	c #Conflicts:     146000 | #Constraints:      14655
454.79/456.25	c #Conflicts:     147000 | #Constraints:      15668
454.79/456.25	c INPROCESSING
454.79/456.25	c GARBAGE COLLECT
454.79/456.25	c rational objective 3.09018e+06
473.94/475.45	c #Conflicts:     148000 | #Constraints:       9022
473.94/475.45	c #Conflicts:     149000 | #Constraints:      10024
473.94/475.45	c #Conflicts:     150000 | #Constraints:      11028
473.94/475.45	c #Conflicts:     151000 | #Constraints:      12030
473.94/475.45	c #Conflicts:     152000 | #Constraints:      13031
473.94/475.45	c #Conflicts:     153000 | #Constraints:      14032
473.94/475.45	c #Conflicts:     154000 | #Constraints:      15035
473.94/475.45	c #Conflicts:     155000 | #Constraints:      16040
473.94/475.45	c INPROCESSING
473.94/475.45	c GARBAGE COLLECT
473.94/475.45	c rational objective 3.09018e+06
493.28/494.89	c #Conflicts:     156000 | #Constraints:       9209
493.28/494.89	c #Conflicts:     157000 | #Constraints:      10211
493.28/494.89	c #Conflicts:     158000 | #Constraints:      11216
493.28/494.89	c #Conflicts:     159000 | #Constraints:      12220
493.28/494.89	c #Conflicts:     160000 | #Constraints:      13226
493.28/494.89	c #Conflicts:     161000 | #Constraints:      14232
493.28/494.89	c #Conflicts:     162000 | #Constraints:      15234
493.28/494.89	c #Conflicts:     163000 | #Constraints:      16238
493.28/494.89	c INPROCESSING
493.28/494.89	c GARBAGE COLLECT
493.28/494.89	c rational objective 3.09018e+06
518.80/520.41	c bounds 6058279 >= 0 @ 481.833
518.80/520.41	c bounds 6058276 >= 0 @ 482.294
518.80/520.41	c bounds 5943588 >= 0 @ 482.337
518.80/520.41	c bounds 5942823 >= 0 @ 482.518
518.80/520.41	c bounds 5942820 >= 0 @ 482.585
518.80/520.41	c bounds 5942724 >= 0 @ 482.603
518.80/520.41	c bounds 5942676 >= 0 @ 482.619
518.80/520.41	c bounds 5942646 >= 0 @ 482.871
518.80/520.41	c bounds 5942634 >= 0 @ 482.931
518.80/520.41	c bounds 5942628 >= 0 @ 483.104
518.80/520.41	c bounds 5942610 >= 0 @ 483.464
518.80/520.41	c bounds 5942604 >= 0 @ 483.502
518.80/520.41	c #Conflicts:     164000 | #Constraints:       9227
518.80/520.41	c bounds 5942415 >= 0 @ 486.623
518.80/520.41	c #Conflicts:     165000 | #Constraints:      10230
518.80/520.41	c #Conflicts:     166000 | #Constraints:      11236
518.80/520.41	c #Conflicts:     167000 | #Constraints:      12240
518.80/520.41	c #Conflicts:     168000 | #Constraints:      13244
518.80/520.41	c #Conflicts:     169000 | #Constraints:      14246
518.80/520.41	c #Conflicts:     170000 | #Constraints:      15250
518.80/520.41	c #Conflicts:     171000 | #Constraints:      16255
518.80/520.41	c INPROCESSING
518.80/520.41	c GARBAGE COLLECT
518.80/520.41	c rational objective 3.09019e+06
547.11/548.86	c bounds 5942412 >= 0 @ 506.678
547.11/548.86	c bounds 5942031 >= 0 @ 506.747
547.11/548.86	c bounds 5942028 >= 0 @ 506.835
547.11/548.86	c bounds 5940492 >= 0 @ 507.732
547.11/548.86	c bounds 5939730 >= 0 @ 507.793
547.11/548.86	c bounds 5939727 >= 0 @ 507.884
547.11/548.86	c bounds 5939724 >= 0 @ 507.902
547.11/548.86	c bounds 5901836 >= 0 @ 507.919
547.11/548.86	c #Conflicts:     172000 | #Constraints:       9014
547.11/548.86	c bounds 5899784 >= 0 @ 508.531
547.11/548.86	c bounds 5875720 >= 0 @ 509.54
547.11/548.86	c bounds 5858104 >= 0 @ 509.638
547.11/548.86	c bounds 5858098 >= 0 @ 509.655
547.11/548.86	c bounds 5858086 >= 0 @ 510.972
547.11/548.86	c #Conflicts:     173000 | #Constraints:      10024
547.11/548.86	c bounds 5858077 >= 0 @ 512.856
547.11/548.86	c bounds 5857563 >= 0 @ 513.351
547.11/548.86	c bounds 5857557 >= 0 @ 513.552
547.11/548.86	c bounds 5850389 >= 0 @ 515.647
547.11/548.86	c #Conflicts:     174000 | #Constraints:      11032
547.11/548.86	c bounds 5850386 >= 0 @ 517.261
547.11/548.86	c bounds 5850383 >= 0 @ 517.318
547.11/548.86	c bounds 5850378 >= 0 @ 518.31
547.11/548.86	c bounds 5850372 >= 0 @ 518.907
547.11/548.86	c #Conflicts:     175000 | #Constraints:      12038
547.11/548.86	c #Conflicts:     176000 | #Constraints:      13045
547.11/548.86	c #Conflicts:     177000 | #Constraints:      14047
547.11/548.86	c #Conflicts:     178000 | #Constraints:      15052
547.11/548.86	c #Conflicts:     179000 | #Constraints:      16058
547.11/548.86	c #Conflicts:     180000 | #Constraints:      17063
547.11/548.86	c INPROCESSING
547.11/548.86	c GARBAGE COLLECT
547.11/548.86	c rational objective 3.09022e+06
579.12/580.95	c bounds 5850369 >= 0 @ 534.465
579.12/580.95	c bounds 5850363 >= 0 @ 535.333
579.12/580.95	c bounds 5850360 >= 0 @ 535.366
579.12/580.95	c #Conflicts:     181000 | #Constraints:       9615
579.12/580.95	c bounds 5850050 >= 0 @ 537.368
579.12/580.95	c bounds 5850044 >= 0 @ 538.108
579.12/580.95	c bounds 5850039 >= 0 @ 538.32
579.12/580.95	c bounds 5850029 >= 0 @ 538.359
579.12/580.95	c bounds 5850028 >= 0 @ 539.751
579.12/580.95	c bounds 5825452 >= 0 @ 539.907
579.12/580.95	c bounds 5825451 >= 0 @ 540.316
579.12/580.95	c bounds 5825448 >= 0 @ 540.348
579.12/580.95	c bounds 5792680 >= 0 @ 540.565
579.12/580.95	c #Conflicts:     182000 | #Constraints:      10626
579.12/580.95	c bounds 5792668 >= 0 @ 542.031
579.12/580.95	c bounds 5792650 >= 0 @ 542.166
579.12/580.95	c bounds 5792647 >= 0 @ 542.21
579.12/580.95	c bounds 5792644 >= 0 @ 542.27
579.12/580.95	c bounds 5791108 >= 0 @ 545.012
579.12/580.95	c bounds 5791102 >= 0 @ 545.103
579.12/580.95	c bounds 5791099 >= 0 @ 545.142
579.12/580.95	c bounds 5791096 >= 0 @ 545.169
579.12/580.95	c bounds 5791090 >= 0 @ 546.726
579.12/580.95	c #Conflicts:     183000 | #Constraints:      11638
579.12/580.95	c #Conflicts:     184000 | #Constraints:      12641
579.12/580.95	c #Conflicts:     185000 | #Constraints:      13647
579.12/580.95	c #Conflicts:     186000 | #Constraints:      14653
579.12/580.95	c #Conflicts:     187000 | #Constraints:      15658
579.12/580.95	c #Conflicts:     188000 | #Constraints:      16664
579.12/580.95	c #Conflicts:     189000 | #Constraints:      17670
579.12/580.95	c INPROCESSING
579.12/580.95	c GARBAGE COLLECT
579.12/580.95	c rational objective 3.09022e+06
615.21/617.15	c bounds 5791084 >= 0 @ 565.822
615.21/617.15	c bounds 5791081 >= 0 @ 565.846
615.21/617.15	c bounds 5791057 >= 0 @ 565.869
615.21/617.15	c bounds 5790961 >= 0 @ 565.89
615.21/617.15	c bounds 5787889 >= 0 @ 566.767
615.21/617.15	c bounds 5787697 >= 0 @ 566.798
615.21/617.15	c #Conflicts:     190000 | #Constraints:      10021
615.21/617.15	c bounds 5787313 >= 0 @ 571.632
615.21/617.15	c bounds 5781169 >= 0 @ 572.053
615.21/617.15	c bounds 5780977 >= 0 @ 572.108
615.21/617.15	c #Conflicts:     191000 | #Constraints:      11024
615.21/617.15	c bounds 5780965 >= 0 @ 575.121
615.21/617.15	c bounds 5780959 >= 0 @ 575.15
615.21/617.15	c bounds 5780953 >= 0 @ 575.749
615.21/617.15	c bounds 5780948 >= 0 @ 576.628
615.21/617.15	c bounds 5780930 >= 0 @ 576.75
615.21/617.15	c bounds 5780924 >= 0 @ 576.78
615.21/617.15	c bounds 5780914 >= 0 @ 576.917
615.21/617.15	c bounds 5780908 >= 0 @ 578.929
615.21/617.15	c bounds 5780902 >= 0 @ 578.975
615.21/617.15	c #Conflicts:     192000 | #Constraints:      12034
615.21/617.15	c bounds 5780868 >= 0 @ 581.486
615.21/617.15	c bounds 5780862 >= 0 @ 581.671
615.21/617.15	c #Conflicts:     193000 | #Constraints:      13039
615.21/617.15	c #Conflicts:     194000 | #Constraints:      14042
615.21/617.15	c #Conflicts:     195000 | #Constraints:      15045
615.21/617.15	c #Conflicts:     196000 | #Constraints:      16048
615.21/617.15	c #Conflicts:     197000 | #Constraints:      17050
615.21/617.15	c #Conflicts:     198000 | #Constraints:      18052
615.21/617.15	c INPROCESSING
615.21/617.15	c GARBAGE COLLECT
615.21/617.15	c rational objective 3.09022e+06
648.89/650.97	c bounds 5753864 >= 0 @ 602.43
648.89/650.97	c #Conflicts:     199000 | #Constraints:      10211
648.89/650.97	c bounds 5753858 >= 0 @ 605.979
648.89/650.97	c bounds 5753852 >= 0 @ 606.003
648.89/650.97	c bounds 5753660 >= 0 @ 606.024
648.89/650.97	c bounds 5753636 >= 0 @ 606.055
648.89/650.97	c bounds 5753630 >= 0 @ 606.529
648.89/650.97	c bounds 5753627 >= 0 @ 608.183
648.89/650.97	c bounds 5753623 >= 0 @ 608.255
648.89/650.97	c bounds 5687063 >= 0 @ 608.3
648.89/650.97	c #Conflicts:     200000 | #Constraints:      11222
648.89/650.97	c bounds 5687021 >= 0 @ 608.654
648.89/650.97	c #Conflicts:     201000 | #Constraints:      12225
648.89/650.97	c bounds 5687017 >= 0 @ 613.285
648.89/650.97	c bounds 5687011 >= 0 @ 613.338
648.89/650.97	c #Conflicts:     202000 | #Constraints:      13230
648.89/650.97	c #Conflicts:     203000 | #Constraints:      14232
648.89/650.97	c #Conflicts:     204000 | #Constraints:      15235
648.89/650.97	c #Conflicts:     205000 | #Constraints:      16238
648.89/650.97	c bounds 5682835 >= 0 @ 628.983
648.89/650.97	c #Conflicts:     206000 | #Constraints:      17242
648.89/650.97	c #Conflicts:     207000 | #Constraints:      18244
648.89/650.97	c INPROCESSING
648.89/650.97	c GARBAGE COLLECT
648.89/650.97	c rational objective 3.09024e+06
674.71/676.85	c #Conflicts:     208000 | #Constraints:      10219
674.71/676.85	c #Conflicts:     209000 | #Constraints:      11224
674.71/676.85	c #Conflicts:     210000 | #Constraints:      12228
674.71/676.85	c #Conflicts:     211000 | #Constraints:      13232
674.71/676.85	c #Conflicts:     212000 | #Constraints:      14236
674.71/676.85	c #Conflicts:     213000 | #Constraints:      15238
674.71/676.85	c #Conflicts:     214000 | #Constraints:      16241
674.71/676.85	c #Conflicts:     215000 | #Constraints:      17246
674.71/676.85	c #Conflicts:     216000 | #Constraints:      18252
674.71/676.85	c INPROCESSING
674.71/676.85	c GARBAGE COLLECT
674.71/676.85	c rational objective 3.09024e+06
713.30/715.52	c bounds 5606035 >= 0 @ 659.893
713.30/715.52	c #Conflicts:     217000 | #Constraints:      10031
713.30/715.52	c bounds 5603149 >= 0 @ 661.267
713.30/715.52	c bounds 5603137 >= 0 @ 661.289
713.30/715.52	c bounds 5603113 >= 0 @ 661.308
713.30/715.52	c bounds 5571369 >= 0 @ 662.435
713.30/715.52	c bounds 5571321 >= 0 @ 663.436
713.30/715.52	c bounds 5571319 >= 0 @ 663.675
713.30/715.52	c bounds 5571315 >= 0 @ 663.7
713.30/715.52	c bounds 5571314 >= 0 @ 663.732
713.30/715.52	c bounds 5545516 >= 0 @ 664.695
713.30/715.52	c bounds 5545514 >= 0 @ 664.741
713.30/715.52	c bounds 5545512 >= 0 @ 664.768
713.30/715.52	c #Conflicts:     218000 | #Constraints:      11044
713.30/715.52	c bounds 5527080 >= 0 @ 666.597
713.30/715.52	c bounds 5527078 >= 0 @ 666.673
713.30/715.52	c bounds 5527076 >= 0 @ 666.733
713.30/715.52	c bounds 5527074 >= 0 @ 667.132
713.30/715.52	c #Conflicts:     219000 | #Constraints:      12053
713.30/715.52	c #Conflicts:     220000 | #Constraints:      13058
713.30/715.52	c #Conflicts:     221000 | #Constraints:      14062
713.30/715.52	c #Conflicts:     222000 | #Constraints:      15066
713.30/715.52	c #Conflicts:     223000 | #Constraints:      16067
713.30/715.52	c #Conflicts:     224000 | #Constraints:      17070
713.30/715.52	c #Conflicts:     225000 | #Constraints:      18073
713.30/715.52	c #Conflicts:     226000 | #Constraints:      19074
713.30/715.52	c INPROCESSING
713.30/715.52	c GARBAGE COLLECT
713.30/715.52	c rational objective 3.09024e+06
755.47/757.86	c bounds 5526978 >= 0 @ 698.297
755.47/757.86	c bounds 5526976 >= 0 @ 698.472
755.47/757.86	c bounds 5526970 >= 0 @ 698.513
755.47/757.86	c bounds 5518634 >= 0 @ 698.948
755.47/757.86	c bounds 5518586 >= 0 @ 699.952
755.47/757.86	c bounds 5518544 >= 0 @ 700.018
755.47/757.86	c #Conflicts:     227000 | #Constraints:      10619
755.47/757.86	c bounds 5518538 >= 0 @ 700.714
755.47/757.86	c bounds 5518532 >= 0 @ 700.787
755.47/757.86	c #Conflicts:     228000 | #Constraints:      11625
755.47/757.86	c bounds 5513420 >= 0 @ 706.731
755.47/757.86	c bounds 5513402 >= 0 @ 706.931
755.47/757.86	c bounds 5513396 >= 0 @ 706.968
755.47/757.86	c #Conflicts:     229000 | #Constraints:      12629
755.47/757.86	c #Conflicts:     230000 | #Constraints:      13629
755.47/757.86	c #Conflicts:     231000 | #Constraints:      14629
755.47/757.86	c bounds 5513388 >= 0 @ 719.091
755.47/757.86	c bounds 5513380 >= 0 @ 720.274
755.47/757.86	c bounds 5513252 >= 0 @ 720.998
755.47/757.86	c bounds 5513220 >= 0 @ 721.074
755.47/757.86	c bounds 5513196 >= 0 @ 721.891
755.47/757.86	c bounds 5513190 >= 0 @ 722.256
755.47/757.86	c bounds 5513186 >= 0 @ 723.564
755.47/757.86	c bounds 5513174 >= 0 @ 723.646
755.47/757.86	c bounds 5513168 >= 0 @ 724.867
755.47/757.86	c bounds 5513162 >= 0 @ 724.954
755.47/757.86	c bounds 5513156 >= 0 @ 725.02
755.47/757.86	c #Conflicts:     232000 | #Constraints:      15641
755.47/757.86	c #Conflicts:     233000 | #Constraints:      16646
755.47/757.86	c #Conflicts:     234000 | #Constraints:      17648
755.47/757.86	c #Conflicts:     235000 | #Constraints:      18652
755.47/757.86	c #Conflicts:     236000 | #Constraints:      19656
755.47/757.86	c INPROCESSING
755.47/757.86	c GARBAGE COLLECT
755.47/757.86	c rational objective 3.09024e+06
791.45/793.90	c bounds 5513114 >= 0 @ 738.856
791.45/793.90	c bounds 5513094 >= 0 @ 739.553
791.45/793.90	c bounds 5513026 >= 0 @ 739.583
791.45/793.90	c bounds 5513022 >= 0 @ 739.605
791.45/793.90	c bounds 5511449 >= 0 @ 739.806
791.45/793.90	c bounds 5511448 >= 0 @ 739.833
791.45/793.90	c bounds 5511442 >= 0 @ 740.687
791.45/793.90	c bounds 5511250 >= 0 @ 741.178
791.45/793.90	c bounds 5511248 >= 0 @ 741.729
791.45/793.90	c #Conflicts:     237000 | #Constraints:      11023
791.45/793.90	c bounds 5511206 >= 0 @ 746.74
791.45/793.90	c bounds 5511201 >= 0 @ 750.09
791.45/793.90	c #Conflicts:     238000 | #Constraints:      12027
791.45/793.90	c #Conflicts:     239000 | #Constraints:      13030
791.45/793.90	c #Conflicts:     240000 | #Constraints:      14034
791.45/793.90	c #Conflicts:     241000 | #Constraints:      15038
791.45/793.90	c #Conflicts:     242000 | #Constraints:      16044
791.45/793.90	c #Conflicts:     243000 | #Constraints:      17048
791.45/793.90	c #Conflicts:     244000 | #Constraints:      18053
791.45/793.90	c #Conflicts:     245000 | #Constraints:      19056
791.45/793.90	c #Conflicts:     246000 | #Constraints:      20060
791.45/793.90	c INPROCESSING
791.45/793.90	c GARBAGE COLLECT
791.45/793.90	c rational objective 3.09025e+06
833.02/835.69	c bounds 5511195 >= 0 @ 774.038
833.02/835.69	c bounds 5511183 >= 0 @ 774.84
833.02/835.69	c bounds 5511159 >= 0 @ 774.877
833.02/835.69	c bounds 5511119 >= 0 @ 774.973
833.02/835.69	c #Conflicts:     247000 | #Constraints:      11228
833.02/835.69	c bounds 5511055 >= 0 @ 778.672
833.02/835.69	c bounds 5510799 >= 0 @ 779.481
833.02/835.69	c bounds 5510751 >= 0 @ 779.529
833.02/835.69	c bounds 5510655 >= 0 @ 779.571
833.02/835.69	c #Conflicts:     248000 | #Constraints:      12233
833.02/835.69	c bounds 5510649 >= 0 @ 788.049
833.02/835.69	c bounds 5443065 >= 0 @ 788.182
833.02/835.69	c #Conflicts:     249000 | #Constraints:      13235
833.02/835.69	c bounds 5442905 >= 0 @ 789.03
833.02/835.69	c bounds 5442899 >= 0 @ 789.568
833.02/835.69	c #Conflicts:     250000 | #Constraints:      14240
833.02/835.69	c bounds 5441619 >= 0 @ 794.84
833.02/835.69	c #Conflicts:     251000 | #Constraints:      15245
833.02/835.69	c #Conflicts:     252000 | #Constraints:      16252
833.02/835.69	c #Conflicts:     253000 | #Constraints:      17257
833.02/835.69	c #Conflicts:     254000 | #Constraints:      18260
833.02/835.69	c #Conflicts:     255000 | #Constraints:      19266
833.02/835.69	c #Conflicts:     256000 | #Constraints:      20274
833.02/835.69	c INPROCESSING
833.02/835.69	c GARBAGE COLLECT
833.02/835.69	c rational objective 3.09025e+06
865.92/868.67	c bounds 5441614 >= 0 @ 815.405
865.92/868.67	c bounds 5441529 >= 0 @ 816.112
865.92/868.67	c bounds 5441514 >= 0 @ 816.135
865.92/868.67	c bounds 5441494 >= 0 @ 816.227
865.92/868.67	c bounds 5441450 >= 0 @ 817.566
865.92/868.67	c #Conflicts:     257000 | #Constraints:      11218
865.92/868.67	c bounds 5441444 >= 0 @ 819.984
865.92/868.67	c bounds 5441408 >= 0 @ 820.278
865.92/868.67	c bounds 5441402 >= 0 @ 820.311
865.92/868.67	c bounds 5441306 >= 0 @ 823.779
865.92/868.67	c #Conflicts:     258000 | #Constraints:      12224
865.92/868.67	c bounds 5441273 >= 0 @ 826.11
865.92/868.67	c bounds 5441262 >= 0 @ 826.564
865.92/868.67	c #Conflicts:     259000 | #Constraints:      13228
865.92/868.67	c #Conflicts:     260000 | #Constraints:      14231
865.92/868.67	c #Conflicts:     261000 | #Constraints:      15235
865.92/868.67	c #Conflicts:     262000 | #Constraints:      16240
865.92/868.67	c #Conflicts:     263000 | #Constraints:      17243
865.92/868.67	c #Conflicts:     264000 | #Constraints:      18245
865.92/868.67	c #Conflicts:     265000 | #Constraints:      19251
865.92/868.67	c #Conflicts:     266000 | #Constraints:      20257
865.92/868.67	c INPROCESSING
865.92/868.67	c GARBAGE COLLECT
865.92/868.67	c rational objective 3.09025e+06
911.08/913.96	c #Conflicts:     267000 | #Constraints:      11009
911.08/913.96	c bounds 5441242 >= 0 @ 854.873
911.08/913.96	c bounds 5441202 >= 0 @ 854.922
911.08/913.96	c bounds 5441122 >= 0 @ 854.966
911.08/913.96	c #Conflicts:     268000 | #Constraints:      12013
911.08/913.96	c #Conflicts:     269000 | #Constraints:      13014
911.08/913.96	c bounds 5441107 >= 0 @ 862.437
911.08/913.96	c #Conflicts:     270000 | #Constraints:      14016
911.08/913.96	c #Conflicts:     271000 | #Constraints:      15020
911.08/913.96	c #Conflicts:     272000 | #Constraints:      16023
911.08/913.96	c #Conflicts:     273000 | #Constraints:      17028
911.08/913.96	c #Conflicts:     274000 | #Constraints:      18031
911.08/913.96	c #Conflicts:     275000 | #Constraints:      19033
911.08/913.96	c #Conflicts:     276000 | #Constraints:      20039
911.08/913.96	c #Conflicts:     277000 | #Constraints:      21044
911.08/913.96	c INPROCESSING
911.08/913.96	c GARBAGE COLLECT
911.08/913.96	c rational objective 3.09025e+06
949.76/952.79	c bounds 5409420 >= 0 @ 891.392
949.76/952.79	c bounds 5409390 >= 0 @ 894.078
949.76/952.79	c bounds 5409358 >= 0 @ 894.108
949.76/952.79	c bounds 5405268 >= 0 @ 895.357
949.76/952.79	c bounds 5405262 >= 0 @ 895.4
949.76/952.79	c #Conflicts:     278000 | #Constraints:      11608
949.76/952.79	c bounds 5405206 >= 0 @ 897.84
949.76/952.79	c bounds 5405204 >= 0 @ 897.956
949.76/952.79	c bounds 5399066 >= 0 @ 898.625
949.76/952.79	c bounds 5392922 >= 0 @ 899.157
949.76/952.79	c bounds 5392916 >= 0 @ 899.195
949.76/952.79	c bounds 5386784 >= 0 @ 899.22
949.76/952.79	c bounds 5386778 >= 0 @ 899.736
949.76/952.79	c bounds 5386772 >= 0 @ 899.984
949.76/952.79	c bounds 5380640 >= 0 @ 900.008
949.76/952.79	c bounds 5380634 >= 0 @ 900.04
949.76/952.79	c #Conflicts:     279000 | #Constraints:      12618
949.76/952.79	c bounds 5380632 >= 0 @ 901.314
949.76/952.79	c bounds 5380630 >= 0 @ 901.356
949.76/952.79	c bounds 5374486 >= 0 @ 901.761
949.76/952.79	c bounds 5368342 >= 0 @ 901.814
949.76/952.79	c bounds 5368340 >= 0 @ 902.059
949.76/952.79	c bounds 5368338 >= 0 @ 902.09
949.76/952.79	c bounds 5367828 >= 0 @ 902.425
949.76/952.79	c bounds 5367826 >= 0 @ 902.69
949.76/952.79	c bounds 5367822 >= 0 @ 903.615
949.76/952.79	c bounds 5367814 >= 0 @ 903.66
949.76/952.79	c bounds 5367798 >= 0 @ 903.905
949.76/952.79	c bounds 5367794 >= 0 @ 903.946
949.76/952.79	c bounds 5367778 >= 0 @ 903.976
949.76/952.79	c bounds 5367762 >= 0 @ 904.854
949.76/952.79	c bounds 5367698 >= 0 @ 904.903
949.76/952.79	c bounds 5334930 >= 0 @ 905.019
949.76/952.79	c #Conflicts:     280000 | #Constraints:      13639
949.76/952.79	c bounds 5334866 >= 0 @ 908.771
949.76/952.79	c bounds 5334860 >= 0 @ 909.581
949.76/952.79	c bounds 5334858 >= 0 @ 910.865
949.76/952.79	c bounds 5334850 >= 0 @ 910.91
949.76/952.79	c bounds 5334848 >= 0 @ 911.001
949.76/952.79	c #Conflicts:     281000 | #Constraints:      14648
949.76/952.79	c #Conflicts:     282000 | #Constraints:      15651
949.76/952.79	c #Conflicts:     283000 | #Constraints:      16655
949.76/952.79	c #Conflicts:     284000 | #Constraints:      17658
949.76/952.79	c #Conflicts:     285000 | #Constraints:      18660
949.76/952.79	c #Conflicts:     286000 | #Constraints:      19664
949.76/952.79	c #Conflicts:     287000 | #Constraints:      20668
949.76/952.79	c #Conflicts:     288000 | #Constraints:      21673
949.76/952.79	c INPROCESSING
949.76/952.79	c GARBAGE COLLECT
949.76/952.79	c rational objective 3.09025e+06
986.64/989.71	c bounds 5328704 >= 0 @ 931.498
986.64/989.71	c bounds 5168960 >= 0 @ 932.014
986.64/989.71	c #Conflicts:     289000 | #Constraints:      12020
986.64/989.71	c bounds 5168956 >= 0 @ 932.861
986.64/989.71	c bounds 5159192 >= 0 @ 933.562
986.64/989.71	c bounds 5159174 >= 0 @ 934.909
986.64/989.71	c bounds 5159150 >= 0 @ 934.97
986.64/989.71	c bounds 5159144 >= 0 @ 935.981
986.64/989.71	c #Conflicts:     290000 | #Constraints:      13027
986.64/989.71	c bounds 5158760 >= 0 @ 939.7
986.64/989.71	c #Conflicts:     291000 | #Constraints:      14031
986.64/989.71	c #Conflicts:     292000 | #Constraints:      15035
986.64/989.71	c #Conflicts:     293000 | #Constraints:      16038
986.64/989.71	c #Conflicts:     294000 | #Constraints:      17042
986.64/989.71	c #Conflicts:     295000 | #Constraints:      18046
986.64/989.71	c #Conflicts:     296000 | #Constraints:      19052
986.64/989.71	c #Conflicts:     297000 | #Constraints:      20053
986.64/989.71	c #Conflicts:     298000 | #Constraints:      21054
986.64/989.71	c #Conflicts:     299000 | #Constraints:      22056
986.64/989.71	c INPROCESSING
986.64/989.71	c GARBAGE COLLECT
986.64/989.71	c rational objective 3.09025e+06
1025.22/1028.45	c bounds 5158670 >= 0 @ 966.281
1025.22/1028.45	c bounds 5158664 >= 0 @ 967.486
1025.22/1028.45	c #Conflicts:     300000 | #Constraints:      12214
1025.22/1028.45	c bounds 5158270 >= 0 @ 969.655
1025.22/1028.45	c bounds 5158206 >= 0 @ 969.681
1025.22/1028.45	c bounds 5158202 >= 0 @ 969.712
1025.22/1028.45	c bounds 5158194 >= 0 @ 972.287
1025.22/1028.45	c bounds 5156658 >= 0 @ 973.103
1025.22/1028.45	c bounds 5156656 >= 0 @ 973.17
1025.22/1028.45	c bounds 5156652 >= 0 @ 973.21
1025.22/1028.45	c #Conflicts:     301000 | #Constraints:      13222
1025.22/1028.45	c bounds 5156644 >= 0 @ 974.945
1025.22/1028.45	c bounds 5156632 >= 0 @ 975.104
1025.22/1028.45	c bounds 5153560 >= 0 @ 975.142
1025.22/1028.45	c bounds 5153558 >= 0 @ 976.717
1025.22/1028.45	c bounds 5153552 >= 0 @ 977.974
1025.22/1028.45	c #Conflicts:     302000 | #Constraints:      14229
1025.22/1028.45	c bounds 5153550 >= 0 @ 979.524
1025.22/1028.45	c bounds 5153544 >= 0 @ 979.557
1025.22/1028.45	c #Conflicts:     303000 | #Constraints:      15237
1025.22/1028.45	c #Conflicts:     304000 | #Constraints:      16244
1025.22/1028.45	c #Conflicts:     305000 | #Constraints:      17248
1025.22/1028.45	c #Conflicts:     306000 | #Constraints:      18251
1025.22/1028.45	c #Conflicts:     307000 | #Constraints:      19255
1025.22/1028.45	c #Conflicts:     308000 | #Constraints:      20258
1025.22/1028.45	c #Conflicts:     309000 | #Constraints:      21261
1025.22/1028.45	c #Conflicts:     310000 | #Constraints:      22267
1025.22/1028.45	c INPROCESSING
1025.22/1028.45	c GARBAGE COLLECT
1025.22/1028.45	c rational objective 3.09032e+06
1080.44/1083.88	c bounds 5153536 >= 0 @ 1003.36
1080.44/1083.88	c bounds 5153528 >= 0 @ 1003.38
1080.44/1083.88	c bounds 5153520 >= 0 @ 1003.41
1080.44/1083.88	c #Conflicts:     311000 | #Constraints:      12223
1080.44/1083.88	c bounds 5153514 >= 0 @ 1006.37
1080.44/1083.88	c bounds 5153466 >= 0 @ 1006.74
1080.44/1083.88	c bounds 5153424 >= 0 @ 1007.05
1080.44/1083.88	c bounds 5153418 >= 0 @ 1007.07
1080.44/1083.88	c #Conflicts:     312000 | #Constraints:      13227
1080.44/1083.88	c bounds 5153406 >= 0 @ 1012.39
1080.44/1083.88	c bounds 5153382 >= 0 @ 1012.42
1080.44/1083.88	c #Conflicts:     313000 | #Constraints:      14229
1080.44/1083.88	c #Conflicts:     314000 | #Constraints:      15230
1080.44/1083.88	c bounds 5153370 >= 0 @ 1024.07
1080.44/1083.88	c #Conflicts:     315000 | #Constraints:      16233
1080.44/1083.88	c #Conflicts:     316000 | #Constraints:      17238
1080.44/1083.88	c #Conflicts:     317000 | #Constraints:      18242
1080.44/1083.88	c #Conflicts:     318000 | #Constraints:      19246
1080.44/1083.88	c #Conflicts:     319000 | #Constraints:      20251
1080.44/1083.88	c #Conflicts:     320000 | #Constraints:      21256
1080.44/1083.88	c #Conflicts:     321000 | #Constraints:      22263
1080.44/1083.88	c INPROCESSING
1080.44/1083.88	c GARBAGE COLLECT
1080.44/1083.88	c rational objective 3.09037e+06
1132.98/1136.53	c bounds 5153368 >= 0 @ 1057.32
1132.98/1136.53	c bounds 5153364 >= 0 @ 1058.57
1132.98/1136.53	c #Conflicts:     322000 | #Constraints:      12026
1132.98/1136.53	c #Conflicts:     323000 | #Constraints:      13026
1132.98/1136.53	c #Conflicts:     324000 | #Constraints:      14028
1132.98/1136.53	c #Conflicts:     325000 | #Constraints:      15029
1132.98/1136.53	c bounds 5153360 >= 0 @ 1077.24
1132.98/1136.53	c #Conflicts:     326000 | #Constraints:      16032
1132.98/1136.53	c #Conflicts:     327000 | #Constraints:      17035
1132.98/1136.53	c #Conflicts:     328000 | #Constraints:      18036
1132.98/1136.53	c #Conflicts:     329000 | #Constraints:      19037
1132.98/1136.53	c #Conflicts:     330000 | #Constraints:      20041
1132.98/1136.53	c #Conflicts:     331000 | #Constraints:      21048
1132.98/1136.53	c #Conflicts:     332000 | #Constraints:      22052
1132.98/1136.53	c #Conflicts:     333000 | #Constraints:      23054
1132.98/1136.53	c INPROCESSING
1132.98/1136.53	c GARBAGE COLLECT
1132.98/1136.53	c rational objective 3.09037e+06
1189.69/1193.45	c bounds 5153354 >= 0 @ 1110.65
1189.69/1193.45	c bounds 5074528 >= 0 @ 1110.76
1189.69/1193.45	c #Conflicts:     334000 | #Constraints:      12641
1189.69/1193.45	c bounds 5074486 >= 0 @ 1113.68
1189.69/1193.45	c bounds 5074438 >= 0 @ 1113.71
1189.69/1193.45	c bounds 5074436 >= 0 @ 1114.48
1189.69/1193.45	c bounds 5074430 >= 0 @ 1115.17
1189.69/1193.45	c bounds 5074426 >= 0 @ 1115.61
1189.69/1193.45	c bounds 5074424 >= 0 @ 1115.97
1189.69/1193.45	c bounds 5074422 >= 0 @ 1116.14
1189.69/1193.45	c bounds 5074418 >= 0 @ 1118.54
1189.69/1193.45	c bounds 5074412 >= 0 @ 1118.71
1189.69/1193.45	c bounds 5074394 >= 0 @ 1119.26
1189.69/1193.45	c bounds 5074388 >= 0 @ 1119.32
1189.69/1193.45	c bounds 5074382 >= 0 @ 1119.48
1189.69/1193.45	c #Conflicts:     335000 | #Constraints:      13653
1189.69/1193.45	c bounds 5074376 >= 0 @ 1119.87
1189.69/1193.45	c bounds 5074370 >= 0 @ 1121.74
1189.69/1193.45	c bounds 5074364 >= 0 @ 1121.78
1189.69/1193.45	c bounds 5074352 >= 0 @ 1121.81
1189.69/1193.45	c bounds 5074348 >= 0 @ 1125.4
1189.69/1193.45	c bounds 5074346 >= 0 @ 1125.44
1189.69/1193.45	c #Conflicts:     336000 | #Constraints:      14660
1189.69/1193.45	c bounds 5074340 >= 0 @ 1125.58
1189.69/1193.45	c bounds 5074334 >= 0 @ 1126.22
1189.69/1193.45	c bounds 5074332 >= 0 @ 1126.86
1189.69/1193.45	c bounds 5074330 >= 0 @ 1126.9
1189.69/1193.45	c bounds 5074328 >= 0 @ 1126.94
1189.69/1193.45	c bounds 5074322 >= 0 @ 1127.02
1189.69/1193.45	c #Conflicts:     337000 | #Constraints:      15669
1189.69/1193.45	c bounds 5074316 >= 0 @ 1134.45
1189.69/1193.45	c bounds 5074310 >= 0 @ 1134.69
1189.69/1193.45	c bounds 5074286 >= 0 @ 1135.47
1189.69/1193.45	c bounds 5074190 >= 0 @ 1135.84
1189.69/1193.45	c #Conflicts:     338000 | #Constraints:      16674
1189.69/1193.45	c bounds 5074182 >= 0 @ 1142.86
1189.69/1193.45	c bounds 5073158 >= 0 @ 1142.92
1189.69/1193.45	c bounds 5071038 >= 0 @ 1143.29
1189.69/1193.45	c bounds 5071022 >= 0 @ 1143.38
1189.69/1193.45	c bounds 5071016 >= 0 @ 1143.47
1189.69/1193.45	c #Conflicts:     339000 | #Constraints:      17682
1189.69/1193.45	c #Conflicts:     340000 | #Constraints:      18687
1189.69/1193.45	c #Conflicts:     341000 | #Constraints:      19688
1189.69/1193.45	c #Conflicts:     342000 | #Constraints:      20691
1189.69/1193.45	c #Conflicts:     343000 | #Constraints:      21695
1189.69/1193.45	c #Conflicts:     344000 | #Constraints:      22698
1189.69/1193.45	c #Conflicts:     345000 | #Constraints:      23701
1189.69/1193.45	c INPROCESSING
1189.69/1193.45	c GARBAGE COLLECT
1189.69/1193.45	c rational objective 3.0904e+06
1237.44/1241.36	c bounds 5071008 >= 0 @ 1166.13
1237.44/1241.36	c bounds 5071000 >= 0 @ 1166.31
1237.44/1241.36	c bounds 5070984 >= 0 @ 1166.34
1237.44/1241.36	c bounds 5070976 >= 0 @ 1166.51
1237.44/1241.36	c #Conflicts:     346000 | #Constraints:      13024
1237.44/1241.36	c bounds 5066944 >= 0 @ 1169.57
1237.44/1241.36	c bounds 5066880 >= 0 @ 1169.6
1237.44/1241.36	c bounds 5066488 >= 0 @ 1171.2
1237.44/1241.36	c bounds 5066424 >= 0 @ 1171.23
1237.44/1241.36	c bounds 5066408 >= 0 @ 1171.28
1237.44/1241.36	c bounds 5066376 >= 0 @ 1171.81
1237.44/1241.36	c #Conflicts:     347000 | #Constraints:      14030
1237.44/1241.36	c bounds 5066374 >= 0 @ 1175.35
1237.44/1241.36	c bounds 5066358 >= 0 @ 1175.4
1237.44/1241.36	c #Conflicts:     348000 | #Constraints:      15032
1237.44/1241.36	c bounds 5066352 >= 0 @ 1180.34
1237.44/1241.36	c bounds 5066334 >= 0 @ 1180.42
1237.44/1241.36	c bounds 5066308 >= 0 @ 1180.78
1237.44/1241.36	c bounds 5066292 >= 0 @ 1180.85
1237.44/1241.36	c #Conflicts:     349000 | #Constraints:      16039
1237.44/1241.36	c #Conflicts:     350000 | #Constraints:      17042
1237.44/1241.36	c #Conflicts:     351000 | #Constraints:      18044
1237.44/1241.36	c #Conflicts:     352000 | #Constraints:      19048
1237.44/1241.36	c #Conflicts:     353000 | #Constraints:      20052
1237.44/1241.36	c #Conflicts:     354000 | #Constraints:      21057
1237.44/1241.36	c #Conflicts:     355000 | #Constraints:      22060
1237.44/1241.36	c #Conflicts:     356000 | #Constraints:      23061
1237.44/1241.36	c #Conflicts:     357000 | #Constraints:      24063
1237.44/1241.36	c INPROCESSING
1237.44/1241.36	c GARBAGE COLLECT
1237.44/1241.36	c rational objective 3.0904e+06
1295.56/1299.63	c bounds 5042732 >= 0 @ 1211.6
1295.56/1299.63	c bounds 5042636 >= 0 @ 1211.62
1295.56/1299.63	c bounds 5000939 >= 0 @ 1211.66
1295.56/1299.63	c bounds 5000855 >= 0 @ 1216.35
1295.56/1299.63	c bounds 5000843 >= 0 @ 1216.4
1295.56/1299.63	c bounds 5000840 >= 0 @ 1217.5
1295.56/1299.63	c bounds 4913800 >= 0 @ 1217.58
1295.56/1299.63	c #Conflicts:     358000 | #Constraints:      13229
1295.56/1299.63	c bounds 4913796 >= 0 @ 1220.39
1295.56/1299.63	c bounds 4913788 >= 0 @ 1221.41
1295.56/1299.63	c #Conflicts:     359000 | #Constraints:      14232
1295.56/1299.63	c bounds 4913776 >= 0 @ 1232.79
1295.56/1299.63	c bounds 4913772 >= 0 @ 1232.87
1295.56/1299.63	c #Conflicts:     360000 | #Constraints:      15235
1295.56/1299.63	c #Conflicts:     361000 | #Constraints:      16241
1295.56/1299.63	c #Conflicts:     362000 | #Constraints:      17243
1295.56/1299.63	c #Conflicts:     363000 | #Constraints:      18245
1295.56/1299.63	c #Conflicts:     364000 | #Constraints:      19247
1295.56/1299.63	c #Conflicts:     365000 | #Constraints:      20252
1295.56/1299.63	c #Conflicts:     366000 | #Constraints:      21258
1295.56/1299.63	c #Conflicts:     367000 | #Constraints:      22261
1295.56/1299.63	c #Conflicts:     368000 | #Constraints:      23264
1295.56/1299.63	c #Conflicts:     369000 | #Constraints:      24268
1295.56/1299.63	c INPROCESSING
1295.56/1299.63	c GARBAGE COLLECT
1295.56/1299.63	c rational objective 3.09074e+06
1350.89/1355.16	c bounds 4913764 >= 0 @ 1268.84
1350.89/1355.16	c #Conflicts:     370000 | #Constraints:      13209
1350.89/1355.16	c #Conflicts:     371000 | #Constraints:      14210
1350.89/1355.16	c bounds 4913732 >= 0 @ 1277.96
1350.89/1355.16	c bounds 4913728 >= 0 @ 1278.03
1350.89/1355.16	c #Conflicts:     372000 | #Constraints:      15215
1350.89/1355.16	c bounds 4913696 >= 0 @ 1280.3
1350.89/1355.16	c bounds 4913692 >= 0 @ 1280.37
1350.89/1355.16	c bounds 4913684 >= 0 @ 1280.41
1350.89/1355.16	c bounds 4913668 >= 0 @ 1282.46
1350.89/1355.16	c #Conflicts:     373000 | #Constraints:      16222
1350.89/1355.16	c bounds 4913156 >= 0 @ 1287.93
1350.89/1355.16	c bounds 4831236 >= 0 @ 1288.34
1350.89/1355.16	c bounds 4830212 >= 0 @ 1289.16
1350.89/1355.16	c #Conflicts:     374000 | #Constraints:      17231
1350.89/1355.16	c bounds 4782084 >= 0 @ 1293.16
1350.89/1355.16	c #Conflicts:     375000 | #Constraints:      18237
1350.89/1355.16	c #Conflicts:     376000 | #Constraints:      19241
1350.89/1355.16	c #Conflicts:     377000 | #Constraints:      20248
1350.89/1355.16	c #Conflicts:     378000 | #Constraints:      21255
1350.89/1355.16	c #Conflicts:     379000 | #Constraints:      22259
1350.89/1355.16	c #Conflicts:     380000 | #Constraints:      23263
1350.89/1355.16	c #Conflicts:     381000 | #Constraints:      24265
1350.89/1355.16	c INPROCESSING
1350.89/1355.16	c GARBAGE COLLECT
1350.89/1355.16	c rational objective 3.09074e+06
1393.76/1398.14	c bounds 4782080 >= 0 @ 1322.88
1393.76/1398.14	c bounds 4781056 >= 0 @ 1323.83
1393.76/1398.14	c bounds 4780032 >= 0 @ 1324.48
1393.76/1398.14	c #Conflicts:     382000 | #Constraints:      13013
1393.76/1398.14	c bounds 4778492 >= 0 @ 1327.23
1393.76/1398.14	c bounds 4778484 >= 0 @ 1327.27
1393.76/1398.14	c bounds 4778468 >= 0 @ 1327.3
1393.76/1398.14	c bounds 4778436 >= 0 @ 1327.68
1393.76/1398.14	c bounds 4778432 >= 0 @ 1327.81
1393.76/1398.14	c #Conflicts:     383000 | #Constraints:      14020
1393.76/1398.14	c bounds 4778404 >= 0 @ 1329.91
1393.76/1398.14	c bounds 4778400 >= 0 @ 1329.95
1393.76/1398.14	c bounds 4778372 >= 0 @ 1329.98
1393.76/1398.14	c bounds 4778368 >= 0 @ 1330.07
1393.76/1398.14	c bounds 4778112 >= 0 @ 1331.99
1393.76/1398.14	c bounds 4778108 >= 0 @ 1332.21
1393.76/1398.14	c bounds 4778100 >= 0 @ 1332.24
1393.76/1398.14	c bounds 4778096 >= 0 @ 1333.23
1393.76/1398.14	c #Conflicts:     384000 | #Constraints:      15031
1393.76/1398.14	c bounds 4778032 >= 0 @ 1334.4
1393.76/1398.14	c bounds 4778016 >= 0 @ 1334.44
1393.76/1398.14	c #Conflicts:     385000 | #Constraints:      16035
1393.76/1398.14	c bounds 4777996 >= 0 @ 1337.88
1393.76/1398.14	c #Conflicts:     386000 | #Constraints:      17036
1393.76/1398.14	c bounds 4777992 >= 0 @ 1345.27
1393.76/1398.14	c #Conflicts:     387000 | #Constraints:      18040
1393.76/1398.14	c #Conflicts:     388000 | #Constraints:      19043
1393.76/1398.14	c #Conflicts:     389000 | #Constraints:      20047
1393.76/1398.14	c #Conflicts:     390000 | #Constraints:      21051
1393.76/1398.14	c #Conflicts:     391000 | #Constraints:      22055
1393.76/1398.14	c #Conflicts:     392000 | #Constraints:      23059
1393.76/1398.14	c #Conflicts:     393000 | #Constraints:      24063
1393.76/1398.14	c #Conflicts:     394000 | #Constraints:      25066
1393.76/1398.14	c INPROCESSING
1393.76/1398.14	c GARBAGE COLLECT
1393.76/1398.14	c rational objective 3.09074e+06
1435.44/1439.94	c bounds 4777988 >= 0 @ 1364.73
1435.44/1439.94	c #Conflicts:     395000 | #Constraints:      13617
1435.44/1439.94	c bounds 4777984 >= 0 @ 1370.8
1435.44/1439.94	c #Conflicts:     396000 | #Constraints:      14622
1435.44/1439.94	c #Conflicts:     397000 | #Constraints:      15627
1435.44/1439.94	c #Conflicts:     398000 | #Constraints:      16631
1435.44/1439.94	c #Conflicts:     399000 | #Constraints:      17635
1435.44/1439.94	c #Conflicts:     400000 | #Constraints:      18639
1435.44/1439.94	c #Conflicts:     401000 | #Constraints:      19642
1435.44/1439.94	c #Conflicts:     402000 | #Constraints:      20647
1435.44/1439.94	c #Conflicts:     403000 | #Constraints:      21650
1435.44/1439.94	c #Conflicts:     404000 | #Constraints:      22654
1435.44/1439.94	c #Conflicts:     405000 | #Constraints:      23660
1435.44/1439.94	c #Conflicts:     406000 | #Constraints:      24664
1435.44/1439.94	c #Conflicts:     407000 | #Constraints:      25668
1435.44/1439.94	c INPROCESSING
1435.44/1439.94	c GARBAGE COLLECT
1435.44/1439.94	c rational objective 3.09074e+06
1530.32/1535.09	c bounds 4758528 >= 0 @ 1405.74
1530.32/1535.09	c bounds 4669440 >= 0 @ 1405.79
1530.32/1535.09	c #Conflicts:     408000 | #Constraints:      14020
1530.32/1535.09	c #Conflicts:     409000 | #Constraints:      15020
1530.32/1535.09	c #Conflicts:     410000 | #Constraints:      16021
1530.32/1535.09	c bounds 4654080 >= 0 @ 1422.83
1530.32/1535.09	c bounds 4572160 >= 0 @ 1423.85
1530.32/1535.09	c bounds 4539392 >= 0 @ 1425.5
1530.32/1535.09	c #Conflicts:     411000 | #Constraints:      17026
1530.32/1535.09	c #Conflicts:     412000 | #Constraints:      18030
1530.32/1535.09	c #Conflicts:     413000 | #Constraints:      19032
1530.32/1535.09	c #Conflicts:     414000 | #Constraints:      20034
1530.32/1535.09	c #Conflicts:     415000 | #Constraints:      21040
1530.32/1535.09	c #Conflicts:     416000 | #Constraints:      22045
1530.32/1535.09	c bounds 4525056 >= 0 @ 1476.53
1530.32/1535.09	c #Conflicts:     417000 | #Constraints:      23048
1530.32/1535.09	c #Conflicts:     418000 | #Constraints:      24050
1530.32/1535.09	c #Conflicts:     419000 | #Constraints:      25055
1530.32/1535.09	c #Conflicts:     420000 | #Constraints:      26060
1530.32/1535.09	c INPROCESSING
1530.32/1535.09	c GARBAGE COLLECT
1530.32/1535.09	c rational objective 3.09077e+06
1570.82/1575.60	c #Conflicts:     421000 | #Constraints:      14216
1570.82/1575.60	c #Conflicts:     422000 | #Constraints:      15219
1570.82/1575.60	c #Conflicts:     423000 | #Constraints:      16223
1570.82/1575.60	c #Conflicts:     424000 | #Constraints:      17226
1570.82/1575.60	c #Conflicts:     425000 | #Constraints:      18231
1570.82/1575.60	c #Conflicts:     426000 | #Constraints:      19235
1570.82/1575.60	c #Conflicts:     427000 | #Constraints:      20239
1570.82/1575.60	c #Conflicts:     428000 | #Constraints:      21247
1570.82/1575.60	c #Conflicts:     429000 | #Constraints:      22252
1570.82/1575.60	c #Conflicts:     430000 | #Constraints:      23256
1570.82/1575.60	c #Conflicts:     431000 | #Constraints:      24259
1570.82/1575.60	c #Conflicts:     432000 | #Constraints:      25264
1570.82/1575.60	c #Conflicts:     433000 | #Constraints:      26266
1570.82/1575.60	c INPROCESSING
1570.82/1575.60	c GARBAGE COLLECT
1570.82/1575.60	c rational objective 3.09077e+06
1621.90/1626.82	c #Conflicts:     434000 | #Constraints:      14235
1621.90/1626.82	c #Conflicts:     435000 | #Constraints:      15241
1621.90/1626.82	c #Conflicts:     436000 | #Constraints:      16245
1621.90/1626.82	c #Conflicts:     437000 | #Constraints:      17249
1621.90/1626.82	c #Conflicts:     438000 | #Constraints:      18253
1621.90/1626.82	c #Conflicts:     439000 | #Constraints:      19255
1621.90/1626.82	c #Conflicts:     440000 | #Constraints:      20259
1621.90/1626.82	c #Conflicts:     441000 | #Constraints:      21262
1621.90/1626.82	c #Conflicts:     442000 | #Constraints:      22263
1621.90/1626.82	c #Conflicts:     443000 | #Constraints:      23266
1621.90/1626.82	c #Conflicts:     444000 | #Constraints:      24269
1621.90/1626.82	c #Conflicts:     445000 | #Constraints:      25273
1621.90/1626.82	c #Conflicts:     446000 | #Constraints:      26276
1621.90/1626.82	c INPROCESSING
1621.90/1626.82	c GARBAGE COLLECT
1621.90/1626.82	c rational objective 3.09081e+06
1794.38/1799.76	c #Conflicts:     447000 | #Constraints:      14068
1794.38/1799.76	c #Conflicts:     448000 | #Constraints:      15070
1794.38/1799.76	c #Conflicts:     449000 | #Constraints:      16072
1794.38/1799.76	c #Conflicts:     450000 | #Constraints:      17073
1794.38/1799.76	c #Conflicts:     451000 | #Constraints:      18073
1794.38/1799.76	c #Conflicts:     452000 | #Constraints:      19073
1794.38/1799.76	c #Conflicts:     453000 | #Constraints:      20074
1794.38/1799.76	c #Conflicts:     454000 | #Constraints:      21074
1794.38/1799.76	c #Conflicts:     455000 | #Constraints:      22074
1794.38/1799.76	c #Conflicts:     456000 | #Constraints:      23074
1794.38/1799.76	c #Conflicts:     457000 | #Constraints:      24074
1794.38/1799.76	c #Conflicts:     458000 | #Constraints:      25074
1794.38/1799.76	c #Conflicts:     459000 | #Constraints:      26075
1794.38/1799.76	c #Conflicts:     460000 | #Constraints:      27075
1794.38/1799.76	c INPROCESSING
1794.38/1799.76	c GARBAGE COLLECT
1794.38/1799.76	c rational objective 3.09082e+06
1853.83/1859.31	c #Conflicts:     461000 | #Constraints:      14645
1853.83/1859.31	c #Conflicts:     462000 | #Constraints:      15652
1853.83/1859.31	c #Conflicts:     463000 | #Constraints:      16655
1853.83/1859.31	c #Conflicts:     464000 | #Constraints:      17657
1853.83/1859.31	c #Conflicts:     465000 | #Constraints:      18661
1853.83/1859.31	c #Conflicts:     466000 | #Constraints:      19665
1853.83/1859.31	c #Conflicts:     467000 | #Constraints:      20669
1853.83/1859.31	c #Conflicts:     468000 | #Constraints:      21672
1853.83/1859.31	c #Conflicts:     469000 | #Constraints:      22676
1853.83/1859.31	c #Conflicts:     470000 | #Constraints:      23678
1853.83/1859.31	c #Conflicts:     471000 | #Constraints:      24681
1853.83/1859.31	c #Conflicts:     472000 | #Constraints:      25685
1853.83/1859.31	c #Conflicts:     473000 | #Constraints:      26688
1853.83/1859.31	c #Conflicts:     474000 | #Constraints:      27689
1853.83/1859.31	c INPROCESSING
1853.83/1859.31	c GARBAGE COLLECT
1853.83/1859.31	c rational objective 3.09082e+06
1904.60/1910.21	c #Conflicts:     475000 | #Constraints:      15068
1904.60/1910.21	c #Conflicts:     476000 | #Constraints:      16070
1904.60/1910.21	c #Conflicts:     477000 | #Constraints:      17070
1904.60/1910.21	c #Conflicts:     478000 | #Constraints:      18076
1904.60/1910.21	c #Conflicts:     479000 | #Constraints:      19080
1904.60/1910.21	c #Conflicts:     480000 | #Constraints:      20084
1904.60/1910.21	c #Conflicts:     481000 | #Constraints:      21087
1904.60/1910.21	c #Conflicts:     482000 | #Constraints:      22091
1904.60/1910.21	c #Conflicts:     483000 | #Constraints:      23095
1904.60/1910.21	c #Conflicts:     484000 | #Constraints:      24098
1904.60/1910.21	c #Conflicts:     485000 | #Constraints:      25102
1904.60/1910.21	c #Conflicts:     486000 | #Constraints:      26107
1904.60/1910.21	c #Conflicts:     487000 | #Constraints:      27112
1904.60/1910.21	c #Conflicts:     488000 | #Constraints:      28113
1904.60/1910.21	c INPROCESSING
1904.60/1910.21	c GARBAGE COLLECT
1904.60/1910.21	c rational objective 3.09082e+06
1952.39/1958.19	c #Conflicts:     489000 | #Constraints:      15276
1952.39/1958.19	c #Conflicts:     490000 | #Constraints:      16277
1952.39/1958.19	c #Conflicts:     491000 | #Constraints:      17281
1952.39/1958.19	c #Conflicts:     492000 | #Constraints:      18283
1952.39/1958.19	c #Conflicts:     493000 | #Constraints:      19283
1952.39/1958.19	c #Conflicts:     494000 | #Constraints:      20287
1952.39/1958.19	c #Conflicts:     495000 | #Constraints:      21288
1952.39/1958.19	c #Conflicts:     496000 | #Constraints:      22292
1952.39/1958.19	c #Conflicts:     497000 | #Constraints:      23294
1952.39/1958.19	c #Conflicts:     498000 | #Constraints:      24299
1952.39/1958.19	c #Conflicts:     499000 | #Constraints:      25304
1952.39/1958.19	c #Conflicts:     500000 | #Constraints:      26306
1952.39/1958.19	c #Conflicts:     501000 | #Constraints:      27308
1952.39/1958.19	c #Conflicts:     502000 | #Constraints:      28312
1952.39/1958.19	c INPROCESSING
1952.39/1958.19	c GARBAGE COLLECT
1952.39/1958.19	c rational objective 3.09099e+06
2004.64/2010.55	c #Conflicts:     503000 | #Constraints:      15260
2004.64/2010.55	c #Conflicts:     504000 | #Constraints:      16264
2004.64/2010.55	c #Conflicts:     505000 | #Constraints:      17270
2004.64/2010.55	c #Conflicts:     506000 | #Constraints:      18276
2004.64/2010.55	c #Conflicts:     507000 | #Constraints:      19282
2004.64/2010.55	c #Conflicts:     508000 | #Constraints:      20291
2004.64/2010.55	c #Conflicts:     509000 | #Constraints:      21296
2004.64/2010.55	c #Conflicts:     510000 | #Constraints:      22301
2004.64/2010.55	c #Conflicts:     511000 | #Constraints:      23303
2004.64/2010.55	c #Conflicts:     512000 | #Constraints:      24306
2004.64/2010.55	c #Conflicts:     513000 | #Constraints:      25311
2004.64/2010.55	c #Conflicts:     514000 | #Constraints:      26313
2004.64/2010.55	c #Conflicts:     515000 | #Constraints:      27316
2004.64/2010.55	c #Conflicts:     516000 | #Constraints:      28317
2004.64/2010.55	c INPROCESSING
2004.64/2010.55	c GARBAGE COLLECT
2004.64/2010.55	c rational objective 3.091e+06
2065.88/2071.93	c #Conflicts:     517000 | #Constraints:      15065
2065.88/2071.93	c #Conflicts:     518000 | #Constraints:      16066
2065.88/2071.93	c #Conflicts:     519000 | #Constraints:      17067
2065.88/2071.93	c #Conflicts:     520000 | #Constraints:      18070
2065.88/2071.93	c bounds 4500480 >= 0 @ 1985.14
2065.88/2071.93	c #Conflicts:     521000 | #Constraints:      19074
2065.88/2071.93	c #Conflicts:     522000 | #Constraints:      20077
2065.88/2071.93	c bounds 4497408 >= 0 @ 1995.41
2065.88/2071.93	c #Conflicts:     523000 | #Constraints:      21078
2065.88/2071.93	c #Conflicts:     524000 | #Constraints:      22085
2065.88/2071.93	c #Conflicts:     525000 | #Constraints:      23089
2065.88/2071.93	c #Conflicts:     526000 | #Constraints:      24091
2065.88/2071.93	c #Conflicts:     527000 | #Constraints:      25095
2065.88/2071.93	c #Conflicts:     528000 | #Constraints:      26100
2065.88/2071.93	c #Conflicts:     529000 | #Constraints:      27101
2065.88/2071.93	c #Conflicts:     530000 | #Constraints:      28107
2065.88/2071.93	c #Conflicts:     531000 | #Constraints:      29112
2065.88/2071.93	c INPROCESSING
2065.88/2071.93	c GARBAGE COLLECT
2065.88/2071.93	c rational objective 3.091e+06
2121.34/2127.53	c #Conflicts:     532000 | #Constraints:      15649
2121.34/2127.53	c #Conflicts:     533000 | #Constraints:      16649
2121.34/2127.53	c bounds 4443136 >= 0 @ 2040.49
2121.34/2127.53	c #Conflicts:     534000 | #Constraints:      17653
2121.34/2127.53	c bounds 4379648 >= 0 @ 2044.08
2121.34/2127.53	c #Conflicts:     535000 | #Constraints:      18659
2121.34/2127.53	c #Conflicts:     536000 | #Constraints:      19662
2121.34/2127.53	c #Conflicts:     537000 | #Constraints:      20666
2121.34/2127.53	c #Conflicts:     538000 | #Constraints:      21671
2121.34/2127.53	c #Conflicts:     539000 | #Constraints:      22676
2121.34/2127.53	c #Conflicts:     540000 | #Constraints:      23679
2121.34/2127.53	c #Conflicts:     541000 | #Constraints:      24681
2121.34/2127.53	c #Conflicts:     542000 | #Constraints:      25686
2121.34/2127.53	c #Conflicts:     543000 | #Constraints:      26691
2121.34/2127.53	c #Conflicts:     544000 | #Constraints:      27697
2121.34/2127.53	c #Conflicts:     545000 | #Constraints:      28701
2121.34/2127.53	c #Conflicts:     546000 | #Constraints:      29705
2121.34/2127.53	c INPROCESSING
2121.34/2127.53	c GARBAGE COLLECT
2121.34/2127.53	c rational objective 3.09111e+06
2232.05/2238.56	c #Conflicts:     547000 | #Constraints:      16048
2232.05/2238.56	c #Conflicts:     548000 | #Constraints:      17051
2232.05/2238.56	c bounds 4365312 >= 0 @ 2093.33
2232.05/2238.56	c #Conflicts:     549000 | #Constraints:      18055
2232.05/2238.56	c bounds 4298752 >= 0 @ 2097.61
2232.05/2238.56	c #Conflicts:     550000 | #Constraints:      19061
2232.05/2238.56	c #Conflicts:     551000 | #Constraints:      20063
2232.05/2238.56	c #Conflicts:     552000 | #Constraints:      21065
2232.05/2238.56	c #Conflicts:     553000 | #Constraints:      22067
2232.05/2238.56	c #Conflicts:     554000 | #Constraints:      23068
2232.05/2238.56	c #Conflicts:     555000 | #Constraints:      24069
2232.05/2238.56	c #Conflicts:     556000 | #Constraints:      25073
2232.05/2238.56	c #Conflicts:     557000 | #Constraints:      26078
2232.05/2238.56	c #Conflicts:     558000 | #Constraints:      27080
2232.05/2238.56	c #Conflicts:     559000 | #Constraints:      28082
2232.05/2238.56	c #Conflicts:     560000 | #Constraints:      29086
2232.05/2238.56	c #Conflicts:     561000 | #Constraints:      30089
2232.05/2238.56	c INPROCESSING
2232.05/2238.56	c GARBAGE COLLECT
2232.05/2238.56	c rational objective 3.09111e+06
2274.64/2281.22	c #Conflicts:     562000 | #Constraints:      16258
2274.64/2281.22	c #Conflicts:     563000 | #Constraints:      17260
2274.64/2281.22	c #Conflicts:     564000 | #Constraints:      18265
2274.64/2281.22	c #Conflicts:     565000 | #Constraints:      19271
2274.64/2281.22	c #Conflicts:     566000 | #Constraints:      20275
2274.64/2281.22	c #Conflicts:     567000 | #Constraints:      21277
2274.64/2281.22	c #Conflicts:     568000 | #Constraints:      22281
2274.64/2281.22	c #Conflicts:     569000 | #Constraints:      23286
2274.64/2281.22	c #Conflicts:     570000 | #Constraints:      24290
2274.64/2281.22	c #Conflicts:     571000 | #Constraints:      25294
2274.64/2281.22	c #Conflicts:     572000 | #Constraints:      26298
2274.64/2281.22	c #Conflicts:     573000 | #Constraints:      27301
2274.64/2281.22	c #Conflicts:     574000 | #Constraints:      28302
2274.64/2281.22	c #Conflicts:     575000 | #Constraints:      29302
2274.64/2281.22	c #Conflicts:     576000 | #Constraints:      30304
2274.64/2281.22	c INPROCESSING
2274.64/2281.22	c GARBAGE COLLECT
2274.64/2281.22	c rational objective 3.09111e+06
2317.03/2323.77	c #Conflicts:     577000 | #Constraints:      16261
2317.03/2323.77	c #Conflicts:     578000 | #Constraints:      17265
2317.03/2323.77	c #Conflicts:     579000 | #Constraints:      18268
2317.03/2323.77	c #Conflicts:     580000 | #Constraints:      19271
2317.03/2323.77	c #Conflicts:     581000 | #Constraints:      20274
2317.03/2323.77	c #Conflicts:     582000 | #Constraints:      21277
2317.03/2323.77	c #Conflicts:     583000 | #Constraints:      22278
2317.03/2323.77	c #Conflicts:     584000 | #Constraints:      23282
2317.03/2323.77	c #Conflicts:     585000 | #Constraints:      24285
2317.03/2323.77	c #Conflicts:     586000 | #Constraints:      25290
2317.03/2323.77	c #Conflicts:     587000 | #Constraints:      26293
2317.03/2323.77	c #Conflicts:     588000 | #Constraints:      27294
2317.03/2323.77	c #Conflicts:     589000 | #Constraints:      28299
2317.03/2323.77	c #Conflicts:     590000 | #Constraints:      29303
2317.03/2323.77	c #Conflicts:     591000 | #Constraints:      30307
2317.03/2323.77	c INPROCESSING
2317.03/2323.77	c GARBAGE COLLECT
2317.03/2323.77	c rational objective 3.09112e+06
2373.69/2380.56	c #Conflicts:     592000 | #Constraints:      16048
2373.69/2380.56	c #Conflicts:     593000 | #Constraints:      17053
2373.69/2380.56	c #Conflicts:     594000 | #Constraints:      18057
2373.69/2380.56	c #Conflicts:     595000 | #Constraints:      19059
2373.69/2380.56	c #Conflicts:     596000 | #Constraints:      20060
2373.69/2380.56	c #Conflicts:     597000 | #Constraints:      21065
2373.69/2380.56	c #Conflicts:     598000 | #Constraints:      22068
2373.69/2380.56	c #Conflicts:     599000 | #Constraints:      23072
2373.69/2380.56	c #Conflicts:     600000 | #Constraints:      24078
2373.69/2380.56	c #Conflicts:     601000 | #Constraints:      25080
2373.69/2380.56	c #Conflicts:     602000 | #Constraints:      26086
2373.69/2380.56	c #Conflicts:     603000 | #Constraints:      27087
2373.69/2380.56	c #Conflicts:     604000 | #Constraints:      28091
2373.69/2380.56	c #Conflicts:     605000 | #Constraints:      29094
2373.69/2380.56	c #Conflicts:     606000 | #Constraints:      30098
2373.69/2380.56	c #Conflicts:     607000 | #Constraints:      31102
2373.69/2380.56	c INPROCESSING
2373.69/2380.56	c GARBAGE COLLECT
2373.69/2380.56	c rational objective 3.09112e+06
2697.16/2704.87	c bounds 4292608 >= 0 @ 2331.28
2697.16/2704.87	c #Conflicts:     608000 | #Constraints:      16652
2697.16/2704.87	c #Conflicts:     609000 | #Constraints:      17654
2697.16/2704.87	c #Conflicts:     610000 | #Constraints:      18655
2697.16/2704.87	c #Conflicts:     611000 | #Constraints:      19655
2697.16/2704.87	c #Conflicts:     612000 | #Constraints:      20655
2697.16/2704.87	c #Conflicts:     613000 | #Constraints:      21657
2697.16/2704.87	c #Conflicts:     614000 | #Constraints:      22657
2697.16/2704.87	c #Conflicts:     615000 | #Constraints:      23659
2697.16/2704.87	c #Conflicts:     616000 | #Constraints:      24659
2697.16/2704.87	c #Conflicts:     617000 | #Constraints:      25661
2697.16/2704.87	c #Conflicts:     618000 | #Constraints:      26661
2697.16/2704.87	c #Conflicts:     619000 | #Constraints:      27661
2697.16/2704.87	c #Conflicts:     620000 | #Constraints:      28661
2697.16/2704.87	c #Conflicts:     621000 | #Constraints:      29661
2697.16/2704.87	c #Conflicts:     622000 | #Constraints:      30661
2697.16/2704.87	c #Conflicts:     623000 | #Constraints:      31663
2697.16/2704.87	c INPROCESSING
2697.16/2704.87	c GARBAGE COLLECT
2697.16/2704.87	c rational objective 3.09112e+06
2748.14/2755.92	c #Conflicts:     624000 | #Constraints:      17056
2748.14/2755.92	c #Conflicts:     625000 | #Constraints:      18061
2748.14/2755.92	c #Conflicts:     626000 | #Constraints:      19066
2748.14/2755.92	c #Conflicts:     627000 | #Constraints:      20069
2748.14/2755.92	c #Conflicts:     628000 | #Constraints:      21074
2748.14/2755.92	c #Conflicts:     629000 | #Constraints:      22078
2748.14/2755.92	c #Conflicts:     630000 | #Constraints:      23082
2748.14/2755.92	c #Conflicts:     631000 | #Constraints:      24086
2748.14/2755.92	c #Conflicts:     632000 | #Constraints:      25089
2748.14/2755.92	c #Conflicts:     633000 | #Constraints:      26091
2748.14/2755.92	c #Conflicts:     634000 | #Constraints:      27095
2748.14/2755.92	c #Conflicts:     635000 | #Constraints:      28099
2748.14/2755.92	c #Conflicts:     636000 | #Constraints:      29105
2748.14/2755.92	c #Conflicts:     637000 | #Constraints:      30108
2748.14/2755.92	c #Conflicts:     638000 | #Constraints:      31111
2748.14/2755.92	c #Conflicts:     639000 | #Constraints:      32115
2748.14/2755.92	c INPROCESSING
2748.14/2755.92	c GARBAGE COLLECT
2748.14/2755.92	c rational objective 3.09112e+06
2799.41/2807.33	c #Conflicts:     640000 | #Constraints:      17238
2799.41/2807.33	c #Conflicts:     641000 | #Constraints:      18241
2799.41/2807.33	c #Conflicts:     642000 | #Constraints:      19246
2799.41/2807.33	c #Conflicts:     643000 | #Constraints:      20250
2799.41/2807.33	c #Conflicts:     644000 | #Constraints:      21253
2799.41/2807.33	c #Conflicts:     645000 | #Constraints:      22256
2799.41/2807.33	c #Conflicts:     646000 | #Constraints:      23260
2799.41/2807.33	c #Conflicts:     647000 | #Constraints:      24264
2799.41/2807.33	c #Conflicts:     648000 | #Constraints:      25267
2799.41/2807.33	c #Conflicts:     649000 | #Constraints:      26270
2799.41/2807.33	c #Conflicts:     650000 | #Constraints:      27275
2799.41/2807.33	c #Conflicts:     651000 | #Constraints:      28277
2799.41/2807.33	c #Conflicts:     652000 | #Constraints:      29286
2799.41/2807.33	c #Conflicts:     653000 | #Constraints:      30288
2799.41/2807.33	c #Conflicts:     654000 | #Constraints:      31291
2799.41/2807.33	c #Conflicts:     655000 | #Constraints:      32293
2799.41/2807.33	c INPROCESSING
2799.41/2807.33	c GARBAGE COLLECT
2799.41/2807.33	c rational objective 3.09112e+06
2850.57/2858.66	c #Conflicts:     656000 | #Constraints:      17255
2850.57/2858.66	c #Conflicts:     657000 | #Constraints:      18257
2850.57/2858.66	c #Conflicts:     658000 | #Constraints:      19260
2850.57/2858.66	c #Conflicts:     659000 | #Constraints:      20261
2850.57/2858.66	c #Conflicts:     660000 | #Constraints:      21265
2850.57/2858.66	c #Conflicts:     661000 | #Constraints:      22267
2850.57/2858.66	c #Conflicts:     662000 | #Constraints:      23270
2850.57/2858.66	c #Conflicts:     663000 | #Constraints:      24272
2850.57/2858.66	c #Conflicts:     664000 | #Constraints:      25276
2850.57/2858.66	c #Conflicts:     665000 | #Constraints:      26280
2850.57/2858.66	c #Conflicts:     666000 | #Constraints:      27283
2850.57/2858.66	c #Conflicts:     667000 | #Constraints:      28287
2850.57/2858.66	c #Conflicts:     668000 | #Constraints:      29288
2850.57/2858.66	c #Conflicts:     669000 | #Constraints:      30293
2850.57/2858.66	c #Conflicts:     670000 | #Constraints:      31297
2850.57/2858.66	c #Conflicts:     671000 | #Constraints:      32299
2850.57/2858.66	c INPROCESSING
2850.57/2858.66	c GARBAGE COLLECT
2850.57/2858.66	c rational objective 3.09113e+06
2903.64/2911.80	c #Conflicts:     672000 | #Constraints:      17047
2903.64/2911.80	c #Conflicts:     673000 | #Constraints:      18050
2903.64/2911.80	c #Conflicts:     674000 | #Constraints:      19052
2903.64/2911.80	c #Conflicts:     675000 | #Constraints:      20057
2903.64/2911.80	c #Conflicts:     676000 | #Constraints:      21059
2903.64/2911.80	c #Conflicts:     677000 | #Constraints:      22063
2903.64/2911.80	c #Conflicts:     678000 | #Constraints:      23066
2903.64/2911.80	c #Conflicts:     679000 | #Constraints:      24071
2903.64/2911.80	c #Conflicts:     680000 | #Constraints:      25073
2903.64/2911.80	c #Conflicts:     681000 | #Constraints:      26079
2903.64/2911.80	c #Conflicts:     682000 | #Constraints:      27083
2903.64/2911.80	c #Conflicts:     683000 | #Constraints:      28085
2903.64/2911.80	c #Conflicts:     684000 | #Constraints:      29091
2903.64/2911.80	c #Conflicts:     685000 | #Constraints:      30094
2903.64/2911.80	c #Conflicts:     686000 | #Constraints:      31094
2903.64/2911.80	c #Conflicts:     687000 | #Constraints:      32095
2903.64/2911.80	c #Conflicts:     688000 | #Constraints:      33101
2903.64/2911.80	c INPROCESSING
2903.64/2911.80	c GARBAGE COLLECT
2903.64/2911.80	c rational objective 3.09125e+06
2964.29/2972.69	c #Conflicts:     689000 | #Constraints:      17652
2964.29/2972.69	c #Conflicts:     690000 | #Constraints:      18653
2964.29/2972.69	c #Conflicts:     691000 | #Constraints:      19656
2964.29/2972.69	c #Conflicts:     692000 | #Constraints:      20660
2964.29/2972.69	c #Conflicts:     693000 | #Constraints:      21661
2964.29/2972.69	c #Conflicts:     694000 | #Constraints:      22661
2964.29/2972.69	c #Conflicts:     695000 | #Constraints:      23667
2964.29/2972.69	c #Conflicts:     696000 | #Constraints:      24668
2964.29/2972.69	c #Conflicts:     697000 | #Constraints:      25673
2964.29/2972.69	c #Conflicts:     698000 | #Constraints:      26674
2964.29/2972.69	c #Conflicts:     699000 | #Constraints:      27676
2964.29/2972.69	c #Conflicts:     700000 | #Constraints:      28679
2964.29/2972.69	c #Conflicts:     701000 | #Constraints:      29683
2964.29/2972.69	c #Conflicts:     702000 | #Constraints:      30686
2964.29/2972.69	c #Conflicts:     703000 | #Constraints:      31690
2964.29/2972.69	c #Conflicts:     704000 | #Constraints:      32690
2964.29/2972.69	c #Conflicts:     705000 | #Constraints:      33697
2964.29/2972.69	c INPROCESSING
2964.29/2972.69	c GARBAGE COLLECT
2964.29/2972.69	c rational objective 3.09159e+06
3038.00/3046.54	c #Conflicts:     706000 | #Constraints:      18070
3038.00/3046.54	c #Conflicts:     707000 | #Constraints:      19076
3038.00/3046.54	c #Conflicts:     708000 | #Constraints:      20080
3038.00/3046.54	c #Conflicts:     709000 | #Constraints:      21084
3038.00/3046.54	c #Conflicts:     710000 | #Constraints:      22086
3038.00/3046.54	c #Conflicts:     711000 | #Constraints:      23089
3038.00/3046.54	c #Conflicts:     712000 | #Constraints:      24092
3038.00/3046.54	c #Conflicts:     713000 | #Constraints:      25093
3038.00/3046.54	c #Conflicts:     714000 | #Constraints:      26097
3038.00/3046.54	c #Conflicts:     715000 | #Constraints:      27099
3038.00/3046.54	c #Conflicts:     716000 | #Constraints:      28100
3038.00/3046.54	c #Conflicts:     717000 | #Constraints:      29104
3038.00/3046.54	c #Conflicts:     718000 | #Constraints:      30108
3038.00/3046.54	c #Conflicts:     719000 | #Constraints:      31109
3038.00/3046.54	c #Conflicts:     720000 | #Constraints:      32113
3038.00/3046.54	c #Conflicts:     721000 | #Constraints:      33115
3038.00/3046.54	c #Conflicts:     722000 | #Constraints:      34120
3038.00/3046.54	c INPROCESSING
3038.00/3046.54	c GARBAGE COLLECT
3038.00/3046.54	c rational objective 3.09159e+06
3144.71/3153.51	c #Conflicts:     723000 | #Constraints:      18275
3144.71/3153.51	c #Conflicts:     724000 | #Constraints:      19277
3144.71/3153.51	c #Conflicts:     725000 | #Constraints:      20279
3144.71/3153.51	c #Conflicts:     726000 | #Constraints:      21284
3144.71/3153.51	c #Conflicts:     727000 | #Constraints:      22289
3144.71/3153.51	c #Conflicts:     728000 | #Constraints:      23292
3144.71/3153.51	c #Conflicts:     729000 | #Constraints:      24295
3144.71/3153.51	c #Conflicts:     730000 | #Constraints:      25299
3144.71/3153.51	c #Conflicts:     731000 | #Constraints:      26301
3144.71/3153.51	c #Conflicts:     732000 | #Constraints:      27305
3144.71/3153.51	c #Conflicts:     733000 | #Constraints:      28308
3144.71/3153.51	c #Conflicts:     734000 | #Constraints:      29311
3144.71/3153.51	c #Conflicts:     735000 | #Constraints:      30312
3144.71/3153.51	c #Conflicts:     736000 | #Constraints:      31318
3144.71/3153.51	c #Conflicts:     737000 | #Constraints:      32319
3144.71/3153.51	c #Conflicts:     738000 | #Constraints:      33322
3144.71/3153.51	c #Conflicts:     739000 | #Constraints:      34325
3144.71/3153.51	c INPROCESSING
3144.71/3153.51	c GARBAGE COLLECT
3144.71/3153.51	c rational objective 3.09159e+06
3236.17/3245.20	c #Conflicts:     740000 | #Constraints:      18272
3236.17/3245.20	c #Conflicts:     741000 | #Constraints:      19275
3236.17/3245.20	c #Conflicts:     742000 | #Constraints:      20280
3236.17/3245.20	c #Conflicts:     743000 | #Constraints:      21282
3236.17/3245.20	c #Conflicts:     744000 | #Constraints:      22286
3236.17/3245.20	c #Conflicts:     745000 | #Constraints:      23287
3236.17/3245.20	c #Conflicts:     746000 | #Constraints:      24287
3236.17/3245.20	c #Conflicts:     747000 | #Constraints:      25289
3236.17/3245.20	c #Conflicts:     748000 | #Constraints:      26293
3236.17/3245.20	c #Conflicts:     749000 | #Constraints:      27298
3236.17/3245.20	c #Conflicts:     750000 | #Constraints:      28302
3236.17/3245.20	c #Conflicts:     751000 | #Constraints:      29305
3236.17/3245.20	c #Conflicts:     752000 | #Constraints:      30306
3236.17/3245.20	c #Conflicts:     753000 | #Constraints:      31311
3236.17/3245.20	c bounds 4261888 >= 0 @ 3164.84
3236.17/3245.20	c #Conflicts:     754000 | #Constraints:      32314
3236.17/3245.20	c #Conflicts:     755000 | #Constraints:      33316
3236.17/3245.20	c #Conflicts:     756000 | #Constraints:      34320
3236.17/3245.20	c INPROCESSING
3236.17/3245.20	c GARBAGE COLLECT
3236.17/3245.20	c rational objective 3.09159e+06
3289.93/3299.12	c #Conflicts:     757000 | #Constraints:      18069
3289.93/3299.12	c #Conflicts:     758000 | #Constraints:      19073
3289.93/3299.12	c #Conflicts:     759000 | #Constraints:      20076
3289.93/3299.12	c #Conflicts:     760000 | #Constraints:      21079
3289.93/3299.12	c #Conflicts:     761000 | #Constraints:      22083
3289.93/3299.12	c #Conflicts:     762000 | #Constraints:      23087
3289.93/3299.12	c #Conflicts:     763000 | #Constraints:      24091
3289.93/3299.12	c #Conflicts:     764000 | #Constraints:      25092
3289.93/3299.12	c #Conflicts:     765000 | #Constraints:      26095
3289.93/3299.12	c #Conflicts:     766000 | #Constraints:      27098
3289.93/3299.12	c #Conflicts:     767000 | #Constraints:      28102
3289.93/3299.12	c #Conflicts:     768000 | #Constraints:      29106
3289.93/3299.12	c #Conflicts:     769000 | #Constraints:      30108
3289.93/3299.12	c #Conflicts:     770000 | #Constraints:      31112
3289.93/3299.12	c #Conflicts:     771000 | #Constraints:      32115
3289.93/3299.12	c #Conflicts:     772000 | #Constraints:      33118
3289.93/3299.12	c #Conflicts:     773000 | #Constraints:      34122
3289.93/3299.12	c #Conflicts:     774000 | #Constraints:      35126
3289.93/3299.12	c INPROCESSING
3289.93/3299.12	c GARBAGE COLLECT
3289.93/3299.12	c rational objective 3.0916e+06
3600.03/3610.03	c #Conflicts:     775000 | #Constraints:      18669
3600.03/3610.03	c #Conflicts:     776000 | #Constraints:      19669
3600.03/3610.03	c #Conflicts:     777000 | #Constraints:      20671
3600.03/3610.03	c #Conflicts:     778000 | #Constraints:      21671
3600.03/3610.03	c #Conflicts:     779000 | #Constraints:      22671
3600.03/3610.03	c #Conflicts:     780000 | #Constraints:      23671
3600.03/3610.03	c #Conflicts:     781000 | #Constraints:      24671
3600.03/3610.03	c #Conflicts:     782000 | #Constraints:      25674
3600.03/3610.03	c #Conflicts:     783000 | #Constraints:      26675
3600.03/3610.03	c #Conflicts:     784000 | #Constraints:      27677
3600.03/3610.03	c #Conflicts:     785000 | #Constraints:      28681
3600.03/3610.03	c #Conflicts:     786000 | #Constraints:      29681
3600.03/3610.03	c #Conflicts:     787000 | #Constraints:      30681
3600.03/3610.03	c Program interrupted by user.
3600.03/3610.03	c cpu time 3535.51 s
3600.03/3610.03	c deterministic time 405094822037 4.05e+11
3600.03/3610.03	c optimization time 308.674 s
3600.03/3610.03	c total solve time 3226.58 s
3600.03/3610.03	c core-guided solve time 1873.95 s
3600.03/3610.03	c propagation time 2175.11 s
3600.03/3610.03	c conflict analysis time 1210.84 s
3600.03/3610.03	c propagations 455099461
3600.03/3610.03	c resolve steps 8566089
3600.03/3610.03	c decisions 11354095
3600.03/3610.03	c conflicts 787314
3600.03/3610.03	c restarts 1660
3600.03/3610.03	c inprocessing phases 79
3600.03/3610.03	c input clauses 0
3600.03/3610.03	c input cardinalities 0
3600.03/3610.03	c input general constraints 848
3600.03/3610.03	c input average constraint length 2440.33
3600.03/3610.03	c input average constraint degree 360621843.41
3600.03/3610.03	c learned clauses 373526
3600.03/3610.03	c learned cardinalities 54
3600.03/3610.03	c learned general constraints 416342
3600.03/3610.03	c learned average constraint length 1466.28
3600.03/3610.03	c learned average constraint degree 6082935620.59
3600.03/3610.03	c watched constraints 411453
3600.03/3610.03	c counting constraints 5737
3600.03/3610.03	c gcd simplifications 99560
3600.03/3610.03	c detected cardinalities 43
3600.03/3610.03	c weakened non-implied lits 246618747
3600.03/3610.03	c weakened non-implying lits 12348870
3600.03/3610.03	c original variables 7812
3600.03/3610.03	c clausal propagations 1195600
3600.03/3610.03	c cardinality propagations 108
3600.03/3610.03	c watched propagations 109829054
3600.03/3610.03	c counting propagations 342296194
3600.03/3610.03	c watch lookups 23229573589
3600.03/3610.03	c watch backjump lookups 19706103353
3600.03/3610.03	c watch checks 312600404231
3600.03/3610.03	c propagation checks 40836559292
3600.03/3610.03	c constraint additions 7787593096
3600.03/3610.03	c trail pops 467231081
3600.03/3610.03	c formula constraints 316
3600.03/3610.03	c learned constraints 784706
3600.03/3610.03	c bound constraints 532
3600.03/3610.03	c core-guided constraints 0
3600.03/3610.03	c encountered formula constraints 4919964
3600.03/3610.03	c encountered learned constraints 3773313
3600.03/3610.03	c encountered bound constraints 33763
3600.03/3610.03	c encountered core-guided constraints 0
3600.03/3610.03	c LP total time 79.1019 s
3600.03/3610.03	c LP solve time 59.05 s
3600.03/3610.03	c LP constraints added 1918
3600.03/3610.03	c LP constraints removed 1515
3600.03/3610.03	c LP pivots internal 787405
3600.03/3610.03	c LP pivots root 116433
3600.03/3610.03	c LP calls 4634
3600.03/3610.03	c LP optimalities 2005
3600.03/3610.03	c LP no pivot count 197
3600.03/3610.03	c LP infeasibilities 2625
3600.03/3610.03	c LP valid Farkas constraints 2608
3600.03/3610.03	c LP learned Farkas constraints 2608
3600.03/3610.03	c LP basis resets 19
3600.03/3610.03	c LP cycling count 0
3600.03/3610.03	c LP singular count 2
3600.03/3610.03	c LP no primal count 0
3600.03/3610.03	c LP no farkas count 17
3600.03/3610.03	c LP other issue count 0
3600.03/3610.03	c LP Gomory cuts 0
3600.03/3610.03	c LP learned cuts 1602
3600.03/3610.03	c LP deleted cuts 1515
3600.03/3610.03	c LP encountered Gomory constraints 0
3600.03/3610.03	c LP encountered Farkas constraints 587118
3600.03/3610.03	c LP encountered learned Farkas constraints 36637
3600.03/3610.03	c CG auxiliary variables introduced 0
3600.03/3610.03	c CG solutions found 532
3600.03/3610.03	c CG cores constructed 0
3600.03/3610.03	c CG core cardinality constraints returned 0
3600.03/3610.03	c CG unit cores 0
3600.03/3610.03	c CG single cores 0
3600.03/3610.03	c CG blocks removed during cardinality reduction 0
3600.03/3610.03	c CG first core best 0
3600.03/3610.03	c CG decision core best 0
3600.03/3610.03	c CG core reduction tie 0
3600.03/3610.03	c CG core degree average 0.00
3600.03/3610.03	c CG core slack average 0.00
3600.03/3610.03	s SATISFIABLE
3600.03/3610.03	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 -

Verifier Data 

ERROR: no interpretation found !

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: 63931 MiB (60638 MiB free)
  memory of node 1: 64510 MiB (60395 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=317631, runsolver pid=317628

[startup+0.100088 s]*
/proc/loadavg: 0.12 0.15 0.15 5/260 317632
/proc/meminfo: memFree=123917960/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=39636 memory=7396 CPUtime=0.09 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 1029 0 0 0 8 1 0 0 20 0 1 0 43006514 40587264 1849 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 9909 1849 1319 992 0 1767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 7396 KiB

[startup+0.205334 s]*
/proc/loadavg: 0.12 0.15 0.15 5/260 317632
/proc/meminfo: memFree=123895616/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=39636 memory=7396 CPUtime=0.2 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 1061 0 0 0 18 2 0 0 20 0 1 0 43006514 40587264 1849 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 9909 1849 1319 992 0 1767 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 7396 KiB

[startup+0.30517 s]*
/proc/loadavg: 0.12 0.15 0.15 4/259 317633
/proc/meminfo: memFree=123877272/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=45172 memory=14788 CPUtime=0.3 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 2706 0 0 0 27 3 0 0 20 0 1 0 43006514 46256128 3697 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 11293 3697 1777 992 0 3151 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 14788 KiB

[startup+0.700195 s]
/proc/loadavg: 0.12 0.15 0.15 4/256 317641
/proc/meminfo: memFree=123848532/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=49048 memory=20608 CPUtime=0.69 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 3568 0 0 0 64 5 0 0 20 0 1 0 43006514 50225152 5152 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 12262 5152 1869 992 0 4120 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 20608 KiB

[startup+1.5002 s]
/proc/loadavg: 0.43 0.22 0.17 4/253 317651
/proc/meminfo: memFree=123806472/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=51112 memory=23836 CPUtime=1.48 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 4390 0 0 0 140 8 0 0 20 0 1 0 43006514 52338688 5959 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 12778 5959 1885 992 0 4636 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 23836 KiB

[startup+3.10557 s]
/proc/loadavg: 0.43 0.22 0.17 5/263 317729
/proc/meminfo: memFree=123578928/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=60616 memory=33728 CPUtime=3.08 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 6310 0 0 0 294 14 0 0 20 0 1 0 43006514 62070784 8432 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 15154 8432 1885 992 0 7012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60616 KiB
Current children cumulated memory: 33728 KiB

[startup+6.3002 s]
/proc/loadavg: 0.72 0.28 0.19 5/263 317731
/proc/meminfo: memFree=123208508/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=75660 memory=46524 CPUtime=6.26 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 8483 0 0 0 600 26 0 0 20 0 1 0 43006514 77475840 11631 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 18915 11631 1885 992 0 10773 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75660 KiB
Current children cumulated memory: 46524 KiB

[startup+12.7002 s]
/proc/loadavg: 0.98 0.34 0.21 5/263 317731
/proc/meminfo: memFree=122686800/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=92460 memory=57100 CPUtime=12.65 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 10618 0 0 0 1218 47 0 0 20 0 1 0 43006514 94679040 14275 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 23115 14275 1885 992 0 14973 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92460 KiB
Current children cumulated memory: 57100 KiB

[startup+25.5002 s]
/proc/loadavg: 1.44 0.46 0.25 5/260 317733
/proc/meminfo: memFree=121592984/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=115540 memory=76136 CPUtime=25.41 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 12344 0 0 0 2453 88 0 0 20 0 1 0 43006514 118312960 19034 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 28885 19034 1885 992 0 20743 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 76136 KiB

[startup+51.1055 s]
/proc/loadavg: 2.92 0.93 0.41 5/261 317738
/proc/meminfo: memFree=120050196/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=124828 memory=89432 CPUtime=50.94 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 14674 0 0 0 4929 165 0 0 20 0 1 0 43006514 127823872 22358 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 31207 22358 1885 992 0 23065 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 124828 KiB
Current children cumulated memory: 89432 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 1.48 0.63 5/261 317748
/proc/meminfo: memFree=117249888/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=161584 memory=110088 CPUtime=101.97 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 16733 0 0 0 9890 307 0 0 20 0 1 0 43006514 165462016 27522 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 40396 27522 1885 992 0 32254 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 161584 KiB
Current children cumulated memory: 110088 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 1.95 0.85 5/262 317761
/proc/meminfo: memFree=114540524/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=169544 memory=136628 CPUtime=161.8 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 20176 0 0 0 15724 456 0 0 20 0 1 0 43006514 173613056 34157 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 42386 34157 1885 992 0 34244 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 169544 KiB
Current children cumulated memory: 136628 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.34 1.05 5/262 317772
/proc/meminfo: memFree=111643440/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=176020 memory=143304 CPUtime=221.61 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 24398 0 0 0 21563 598 0 0 20 0 1 0 43006514 180244480 35826 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 44005 35826 1885 992 0 35863 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 176020 KiB
Current children cumulated memory: 143304 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.68 1.25 6/262 317782
/proc/meminfo: memFree=109598032/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=237952 memory=164856 CPUtime=281.42 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 29075 0 0 0 27428 714 0 0 20 0 1 0 43006514 243662848 41214 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 59488 41214 1980 992 0 51346 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 237952 KiB
Current children cumulated memory: 164856 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 2.95 1.44 5/260 318175
/proc/meminfo: memFree=108675404/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=257080 memory=230856 CPUtime=341.24 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 34370 0 0 0 33352 772 0 0 20 0 1 0 43006514 263249920 57714 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 64270 57714 1980 992 0 56128 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 257080 KiB
Current children cumulated memory: 230856 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.16 1.60 5/260 318186
/proc/meminfo: memFree=104712164/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=259836 memory=233604 CPUtime=401.06 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 35736 0 0 0 39182 924 0 0 20 0 1 0 43006514 266072064 58401 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 64959 58401 1980 992 0 56817 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 259836 KiB
Current children cumulated memory: 233604 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.33 1.76 5/262 318199
/proc/meminfo: memFree=101818488/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=263892 memory=237432 CPUtime=460.88 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 38746 0 0 0 45001 1087 0 0 20 0 1 0 43006514 270225408 59358 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 65973 59358 1980 992 0 57831 0

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


[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.02 5/264 319497
/proc/meminfo: memFree=30496604/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3093.64 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 142478 0 0 0 303601 5763 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.02 5/264 319507
/proc/meminfo: memFree=29221824/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3153.49 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 142938 0 0 0 309505 5844 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.04 5/261 319518
/proc/meminfo: memFree=27994576/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3213.33 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 143483 0 0 0 315385 5948 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.04 5/260 319528
/proc/meminfo: memFree=26241308/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3273.16 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 144154 0 0 0 321230 6086 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.04 5/259 319538
/proc/meminfo: memFree=25203760/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3333.01 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 145010 0 0 0 327087 6214 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/261 319552
/proc/meminfo: memFree=24522564/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=618764 memory=531444 CPUtime=3392.86 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 148129 0 0 0 332991 6295 0 0 20 0 1 0 43006514 633614336 132861 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154691 132861 1980 992 0 146549 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 618764 KiB
Current children cumulated memory: 531444 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.04 5/261 319564
/proc/meminfo: memFree=24112380/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=619388 memory=532080 CPUtime=3452.71 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 152256 0 0 0 338912 6359 0 0 20 0 1 0 43006514 634253312 133020 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 154847 133020 1980 992 0 146705 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 619388 KiB
Current children cumulated memory: 532080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/262 319575
/proc/meminfo: memFree=23686564/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=622580 memory=535428 CPUtime=3512.56 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 157604 0 0 0 344859 6397 0 0 20 0 1 0 43006514 637521920 133857 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 155645 133857 1980 992 0 147503 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 622580 KiB
Current children cumulated memory: 535428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/262 319586
/proc/meminfo: memFree=23183356/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=624776 memory=537584 CPUtime=3572.4 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 164301 0 0 0 350803 6437 0 0 20 0 1 0 43006514 639770624 134396 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156194 134396 1980 992 0 148052 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 624776 KiB
Current children cumulated memory: 537584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.12 4.05 5/263 319595
/proc/meminfo: memFree=22692192/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=626636 memory=539588 CPUtime=3600.03 cores=4,6
/proc/317631/stat : 317631 (roundingsat) R 317628 317631 317555 0 -1 4194304 166194 0 0 0 353550 6453 0 0 20 0 1 0 43006514 641675264 134897 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156659 134897 1980 992 0 148517 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 626636 KiB
Current children cumulated memory: 539588 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.10 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22662952/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=626636 memory=539588 CPUtime=3600.04 cores=4,6
/proc/317631/stat : 317631 (roundingsat) D 317628 317631 317555 0 -1 4194304 166196 0 1 0 353551 6453 0 0 20 0 1 0 43006514 641675264 134897 134679101440 4194304 8254357 140725577008384 0 0 256 0 0 25182210 0 0 0 17 4 0 0 358 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156659 134897 1980 992 0 148517 0
??? kill 317631 sig 9
??? end of watcher thread

[startup+3622.49 s]
# the end of solver process 317631 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3535.51 s, system=64.5508 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.11 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22675644/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=626636 memory=539588 CPUtime=3600.04 cores=4,6
/proc/317631/stat : 317631 (roundingsat) D 317628 317631 317555 0 -1 4194304 166196 0 1 0 353551 6453 0 0 20 0 1 0 43006514 641675264 134897 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 175 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156659 134897 1980 992 0 148517 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 626636 KiB
Current children cumulated memory: 539588 KiB

[startup+3611.6 s]
/proc/loadavg: 4.11 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22675644/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=626636 memory=539588 CPUtime=3600.04 cores=4,6
/proc/317631/stat : 317631 (roundingsat) D 317628 317631 317555 0 -1 4194304 166196 0 1 0 353551 6453 0 0 20 0 1 0 43006514 641675264 134897 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 254 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156659 134897 1980 992 0 148517 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 626636 KiB
Current children cumulated memory: 539588 KiB

[startup+3612 s]*
/proc/loadavg: 4.10 4.12 4.05 4/263 319595
/proc/meminfo: memFree=22664344/131524600 swapFree=131061428/131071996
[pid=317631] ppid=317628 vsize=626636 memory=539588 CPUtime=3600.04 cores=4,6
/proc/317631/stat : 317631 (roundingsat) D 317628 317631 317555 0 -1 4194304 166196 0 1 0 353551 6453 0 0 20 0 1 0 43006514 641675264 134897 134679101440 4194304 8254357 140725577008384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 358 0 0 9037040 9046032 23207936 140725577012059 140725577012321 140725577012321 140725577019337 0
/proc/317631/statm: 156659 134897 1980 992 0 148517 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 626636 KiB
Current children cumulated memory: 539588 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3622.49
CPU time (s): 3600.06
CPU user time (s): 3535.51
CPU system time (s): 64.5508
CPU usage (%): 99.3809
Max. virtual memory (cumulated for all children) (KiB): 626636
Max. memory (cumulated for all children) (KiB): 539588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.51
system time used= 64.5508
maximum resident set size= 539776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166196
page faults= 1
swaps= 0
block input operations= 3520
block output operations= 152867952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1228
involuntary context switches= 4933


# summary of solver processes directly reported to runsolver:
#   pid: 317631
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3535.51
#   total CPU system time (s): 64.5508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85483 second user time and 16.4574 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-27 09:20:36
IDJOB=4460103
IDBENCH=146763
IDSOLVER=3086
FILE ID=nodeC022/4460103-1722064836
RUNJOBID= nodeC022-1722064836-317570
SLURM_JOB_ID= 8248091
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.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-4460103-1722064836/watcher-4460103-1722064836 -o /tmp/evaluation-result-4460103-1722064836/solver-4460103-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317570 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460103-1722064836 --lp-cut-gomory=0 HOME/instance-4460103-1722064836.opb

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=425005107

nodeC022.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		: 3669.432
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.87
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		: 3679.311
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3601.157
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.87
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		: 3655.597
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3633.156
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.87
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		: 3676.204
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3659.224
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.87
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		: 3674.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123941632 kB
MemAvailable:   129606536 kB
Buffers:          375012 kB
Cached:          6039284 kB
SwapCached:         1424 kB
Active:          2694140 kB
Inactive:        4116800 kB
Active(anon):       1892 kB
Inactive(anon):   448508 kB
Active(file):    2692248 kB
Inactive(file):  3668292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:             25428 kB
Writeback:             0 kB
AnonPages:        395376 kB
Mapped:           125712 kB
Shmem:             53732 kB
KReclaimable:     292120 kB
Slab:             417168 kB
SReclaimable:     292120 kB
SUnreclaim:       125048 kB
KernelStack:        4244 kB
PageTables:        10692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     739100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC022 at 2024-07-27 10:20:59