Trace number 4462582

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 (3)No Cert. 3600.2 3664.99

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUMeddbc5130f16a1842e21dd4bd4477bf2
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 benchmark254
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494527
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494527
Number of bits of the biggest sum of numbers19
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 
2.77/2.85	c #variables 10000 #constraints 656900
4.16/4.24	c bounds - >= 0 @ 2.1046
4.16/4.24	c rational objective 181.5
27.02/27.17	c bounds 6291 >= 0 @ 4.24691
27.02/27.17	c bounds 5939 >= 0 @ 4.25444
27.02/27.17	c bounds 5897 >= 0 @ 4.26546
27.02/27.17	c bounds 5700 >= 0 @ 4.27003
27.02/27.17	c bounds 5632 >= 0 @ 4.27325
27.02/27.17	c bounds 5426 >= 0 @ 4.27758
27.02/27.17	c bounds 5399 >= 0 @ 4.28728
27.02/27.17	c bounds 5307 >= 0 @ 4.29197
27.02/27.17	c bounds 5296 >= 0 @ 4.40748
27.02/27.17	c bounds 5244 >= 0 @ 4.41265
27.02/27.17	c bounds 5240 >= 0 @ 4.41649
27.02/27.17	c bounds 5202 >= 0 @ 4.4205
27.02/27.17	c bounds 5173 >= 0 @ 4.43228
27.02/27.17	c bounds 5111 >= 0 @ 4.43902
27.02/27.17	c bounds 5097 >= 0 @ 4.44757
27.02/27.17	c bounds 5054 >= 0 @ 4.45328
27.02/27.17	c bounds 5021 >= 0 @ 4.45755
27.02/27.17	c bounds 4966 >= 0 @ 4.46192
27.02/27.17	c bounds 4896 >= 0 @ 4.46646
27.02/27.17	c bounds 4870 >= 0 @ 4.47451
27.02/27.17	c bounds 4823 >= 0 @ 4.48124
27.02/27.17	c bounds 4674 >= 0 @ 4.48551
27.02/27.17	c bounds 4661 >= 0 @ 4.59572
27.02/27.17	c #Conflicts:       1000 | #Constraints:     657932
27.02/27.17	c #Conflicts:       2000 | #Constraints:     658951
27.02/27.17	c INPROCESSING
27.02/27.17	c GARBAGE COLLECT
27.02/27.17	c bounds 4648 >= 0 @ 18.8761
27.02/27.17	c bounds 4622 >= 0 @ 18.886
27.02/27.17	c bounds 4619 >= 0 @ 18.894
27.02/27.17	c bounds 4618 >= 0 @ 18.9391
27.02/27.17	c bounds 4599 >= 0 @ 19.1978
27.02/27.17	c bounds 4569 >= 0 @ 19.2242
27.02/27.17	c bounds 4553 >= 0 @ 19.2337
27.02/27.17	c bounds 4515 >= 0 @ 19.3501
27.02/27.17	c bounds 4514 >= 0 @ 19.3708
27.02/27.17	c bounds 4440 >= 0 @ 19.3901
27.02/27.17	c bounds 4434 >= 0 @ 19.5072
27.02/27.17	c bounds 4422 >= 0 @ 19.5282
27.02/27.17	c bounds 4389 >= 0 @ 19.5469
27.02/27.17	c bounds 4338 >= 0 @ 19.6346
27.02/27.17	c bounds 4266 >= 0 @ 19.7396
27.02/27.17	c bounds 4263 >= 0 @ 19.7511
27.02/27.17	c bounds 4234 >= 0 @ 19.7593
27.02/27.17	c bounds 4172 >= 0 @ 19.8695
27.02/27.17	c bounds 4103 >= 0 @ 19.8835
27.02/27.17	c bounds 4093 >= 0 @ 19.9026
27.02/27.17	c bounds 4042 >= 0 @ 19.9184
27.02/27.17	c bounds 4014 >= 0 @ 20.0219
27.02/27.17	c bounds 4010 >= 0 @ 20.1247
27.02/27.17	c bounds 4006 >= 0 @ 20.1405
27.02/27.17	c bounds 3986 >= 0 @ 20.1556
27.02/27.17	c bounds 3941 >= 0 @ 20.1778
27.02/27.17	c bounds 3928 >= 0 @ 20.3428
27.02/27.17	c bounds 3865 >= 0 @ 20.3587
27.02/27.17	c bounds 3817 >= 0 @ 20.3775
27.02/27.17	c bounds 3792 >= 0 @ 20.3871
27.02/27.17	c bounds 3726 >= 0 @ 20.4762
27.02/27.17	c bounds 3707 >= 0 @ 20.4917
27.02/27.17	c bounds 3704 >= 0 @ 20.5022
27.02/27.17	c bounds 3697 >= 0 @ 20.5189
27.02/27.17	c bounds 3693 >= 0 @ 20.5296
27.02/27.17	c bounds 3669 >= 0 @ 20.6632
27.02/27.17	c bounds 3601 >= 0 @ 20.693
27.02/27.17	c bounds 3597 >= 0 @ 20.8186
27.02/27.17	c bounds 3584 >= 0 @ 20.8551
27.02/27.17	c bounds 3583 >= 0 @ 20.8664
27.02/27.17	c bounds 3575 >= 0 @ 20.8892
27.02/27.17	c bounds 3559 >= 0 @ 21.0366
27.02/27.17	c bounds 3535 >= 0 @ 21.0614
27.02/27.17	c bounds 3510 >= 0 @ 21.078
27.02/27.17	c bounds 3464 >= 0 @ 21.0885
27.02/27.17	c bounds 3403 >= 0 @ 21.103
27.02/27.17	c bounds 3360 >= 0 @ 21.113
27.02/27.17	c bounds 3298 >= 0 @ 21.1279
27.02/27.17	c bounds 3252 >= 0 @ 21.2104
27.02/27.17	c bounds 3247 >= 0 @ 21.2243
27.02/27.17	c bounds 3236 >= 0 @ 21.2491
27.02/27.17	c bounds 3219 >= 0 @ 21.3611
27.02/27.17	c bounds 3166 >= 0 @ 21.3713
27.02/27.17	c bounds 3157 >= 0 @ 21.3821
27.02/27.17	c bounds 3103 >= 0 @ 21.4678
27.02/27.17	c bounds 3090 >= 0 @ 21.4844
27.02/27.17	c bounds 3055 >= 0 @ 21.5938
27.02/27.17	c bounds 3052 >= 0 @ 21.6087
27.02/27.17	c bounds 3003 >= 0 @ 21.6231
27.02/27.17	c bounds 2991 >= 0 @ 21.638
27.02/27.17	c bounds 2990 >= 0 @ 21.6501
27.02/27.17	c bounds 2984 >= 0 @ 21.7644
27.02/27.17	c bounds 2960 >= 0 @ 21.7835
27.02/27.17	c bounds 2908 >= 0 @ 21.8916
27.02/27.17	c bounds 2906 >= 0 @ 21.9032
27.02/27.17	c bounds 2886 >= 0 @ 21.921
27.02/27.17	c bounds 2854 >= 0 @ 21.9361
27.02/27.17	c bounds 2823 >= 0 @ 22.0629
27.02/27.17	c bounds 2820 >= 0 @ 22.0913
27.02/27.17	c bounds 2736 >= 0 @ 22.1076
27.02/27.17	c bounds 2725 >= 0 @ 22.1204
27.02/27.17	c bounds 2710 >= 0 @ 22.1398
27.02/27.17	c bounds 2705 >= 0 @ 22.1548
27.02/27.17	c bounds 2671 >= 0 @ 22.2682
27.02/27.17	c bounds 2640 >= 0 @ 22.2818
27.02/27.17	c bounds 2632 >= 0 @ 22.3004
27.02/27.17	c bounds 2573 >= 0 @ 22.323
27.02/27.17	c bounds 2568 >= 0 @ 22.3347
27.02/27.17	c bounds 2519 >= 0 @ 22.348
27.02/27.17	c bounds 2490 >= 0 @ 22.4636
27.02/27.17	c bounds 2480 >= 0 @ 22.4757
27.02/27.17	c bounds 2461 >= 0 @ 22.4871
27.02/27.17	c bounds 2411 >= 0 @ 22.5101
27.02/27.17	c bounds 2382 >= 0 @ 22.5325
27.02/27.17	c bounds 2377 >= 0 @ 22.6433
27.02/27.17	c bounds 2358 >= 0 @ 22.6584
27.02/27.17	c bounds 2335 >= 0 @ 22.6824
27.02/27.17	c bounds 2317 >= 0 @ 22.7146
27.02/27.17	c bounds 2296 >= 0 @ 22.8277
27.02/27.17	c bounds 2277 >= 0 @ 22.943
27.02/27.17	c bounds 2249 >= 0 @ 23.0513
27.02/27.17	c bounds 2214 >= 0 @ 23.0676
27.02/27.17	c bounds 2195 >= 0 @ 23.0828
27.02/27.17	c bounds 2168 >= 0 @ 23.2126
27.02/27.17	c bounds 2160 >= 0 @ 23.2305
27.02/27.17	c bounds 2159 >= 0 @ 23.2637
27.02/27.17	c bounds 2141 >= 0 @ 23.354
27.02/27.17	c bounds 2134 >= 0 @ 23.873
27.02/27.17	c bounds 2132 >= 0 @ 23.9836
27.02/27.17	c bounds 2106 >= 0 @ 24.0203
27.02/27.17	c bounds 2103 >= 0 @ 24.3316
27.02/27.17	c bounds 2101 >= 0 @ 24.3607
27.02/27.17	c bounds 2054 >= 0 @ 24.4703
27.02/27.17	c bounds 2043 >= 0 @ 24.7818
27.02/27.17	c bounds 2035 >= 0 @ 24.8282
27.02/27.17	c bounds 2033 >= 0 @ 24.8401
27.02/27.17	c bounds 2013 >= 0 @ 25.2257
27.02/27.17	c bounds 2008 >= 0 @ 25.4549
27.02/27.17	c bounds 2005 >= 0 @ 25.499
27.02/27.17	c bounds 2003 >= 0 @ 25.531
27.02/27.17	c bounds 2001 >= 0 @ 25.5703
27.02/27.17	c bounds 2000 >= 0 @ 25.6092
27.02/27.17	c bounds 1991 >= 0 @ 25.6291
27.02/27.17	c bounds 1981 >= 0 @ 25.6478
27.02/27.17	c bounds 1980 >= 0 @ 25.6625
68.49/68.77	c bounds 1963 >= 0 @ 25.6811
68.49/68.77	c bounds 1959 >= 0 @ 25.7742
68.49/68.77	c bounds 1927 >= 0 @ 26.1235
68.49/68.77	c bounds 1916 >= 0 @ 26.1744
68.49/68.77	c bounds 1911 >= 0 @ 26.2983
68.49/68.77	c bounds 1894 >= 0 @ 26.3243
68.49/68.77	c bounds 1879 >= 0 @ 26.3409
68.49/68.77	c bounds 1865 >= 0 @ 26.3573
68.49/68.77	c bounds 1840 >= 0 @ 26.3842
68.49/68.77	c bounds 1836 >= 0 @ 26.4006
68.49/68.77	c bounds 1830 >= 0 @ 26.7794
68.49/68.77	c bounds 1822 >= 0 @ 26.8825
68.49/68.77	c bounds 1821 >= 0 @ 27.22
68.49/68.77	c bounds 1820 >= 0 @ 27.4939
68.49/68.77	c bounds 1815 >= 0 @ 27.5111
68.49/68.77	c bounds 1805 >= 0 @ 27.6384
68.49/68.77	c bounds 1785 >= 0 @ 27.8362
68.49/68.77	c bounds 1774 >= 0 @ 27.9655
68.49/68.77	c bounds 1763 >= 0 @ 28.0269
68.49/68.77	c bounds 1736 >= 0 @ 28.1596
68.49/68.77	c bounds 1716 >= 0 @ 28.1949
68.49/68.77	c bounds 1713 >= 0 @ 28.2164
68.49/68.77	c bounds 1693 >= 0 @ 28.525
68.49/68.77	c bounds 1689 >= 0 @ 28.6576
68.49/68.77	c bounds 1659 >= 0 @ 28.6903
68.49/68.77	c bounds 1637 >= 0 @ 28.715
68.49/68.77	c bounds 1636 >= 0 @ 28.7355
68.49/68.77	c bounds 1625 >= 0 @ 28.8513
68.49/68.77	c bounds 1622 >= 0 @ 28.9165
68.49/68.77	c bounds 1595 >= 0 @ 29.0291
68.49/68.77	c bounds 1594 >= 0 @ 29.3928
68.49/68.77	c bounds 1588 >= 0 @ 29.4137
68.49/68.77	c bounds 1577 >= 0 @ 29.4978
68.49/68.77	c bounds 1574 >= 0 @ 29.6155
68.49/68.77	c bounds 1568 >= 0 @ 29.6363
68.49/68.77	c bounds 1511 >= 0 @ 29.658
68.49/68.77	c bounds 1510 >= 0 @ 30.0247
68.49/68.77	c bounds 1509 >= 0 @ 30.3411
68.49/68.77	c bounds 1482 >= 0 @ 30.3769
68.49/68.77	c bounds 1466 >= 0 @ 30.3995
68.49/68.77	c bounds 1453 >= 0 @ 30.4289
68.49/68.77	c #Conflicts:       3000 | #Constraints:     659131
68.49/68.77	c bounds 1450 >= 0 @ 30.6729
68.49/68.77	c bounds 1444 >= 0 @ 31.3376
68.49/68.77	c bounds 1429 >= 0 @ 31.382
68.49/68.77	c bounds 1428 >= 0 @ 31.4741
68.49/68.77	c bounds 1427 >= 0 @ 31.5027
68.49/68.77	c bounds 1404 >= 0 @ 31.5312
68.49/68.77	c bounds 1396 >= 0 @ 31.552
68.49/68.77	c bounds 1394 >= 0 @ 31.5794
68.49/68.77	c bounds 1358 >= 0 @ 31.6985
68.49/68.77	c bounds 1357 >= 0 @ 31.7304
68.49/68.77	c bounds 1353 >= 0 @ 31.7708
68.49/68.77	c #Conflicts:       4000 | #Constraints:     660166
68.49/68.77	c INPROCESSING
68.49/68.77	c GARBAGE COLLECT
68.49/68.77	c bounds 1346 >= 0 @ 46.5904
68.49/68.77	c bounds 1344 >= 0 @ 46.6134
68.49/68.77	c bounds 1340 >= 0 @ 46.6429
68.49/68.77	c bounds 1339 >= 0 @ 46.664
68.49/68.77	c bounds 1331 >= 0 @ 46.6824
68.49/68.77	c bounds 1319 >= 0 @ 46.9304
68.49/68.77	c bounds 1303 >= 0 @ 47.055
68.49/68.77	c bounds 1302 >= 0 @ 47.1587
68.49/68.77	c bounds 1296 >= 0 @ 47.3693
68.49/68.77	c bounds 1292 >= 0 @ 47.4023
68.49/68.77	c bounds 1288 >= 0 @ 47.5109
68.49/68.77	c bounds 1261 >= 0 @ 47.5426
68.49/68.77	c bounds 1253 >= 0 @ 47.6682
68.49/68.77	c bounds 1239 >= 0 @ 47.688
68.49/68.77	c bounds 1226 >= 0 @ 47.8611
68.49/68.77	c bounds 1223 >= 0 @ 47.8846
68.49/68.77	c bounds 1188 >= 0 @ 47.9113
68.49/68.77	c bounds 1186 >= 0 @ 47.9277
68.49/68.77	c bounds 1181 >= 0 @ 47.9425
68.49/68.77	c bounds 1178 >= 0 @ 48.0475
68.49/68.77	c bounds 1173 >= 0 @ 48.0727
68.49/68.77	c bounds 1152 >= 0 @ 48.0911
68.49/68.77	c bounds 1131 >= 0 @ 48.2358
68.49/68.77	c bounds 1130 >= 0 @ 48.4751
68.49/68.77	c bounds 1112 >= 0 @ 48.5073
68.49/68.77	c bounds 1099 >= 0 @ 48.9773
68.49/68.77	c bounds 1093 >= 0 @ 49.1671
68.49/68.77	c bounds 1082 >= 0 @ 49.4027
68.49/68.77	c bounds 1069 >= 0 @ 49.6419
68.49/68.77	c bounds 1051 >= 0 @ 49.8337
68.49/68.77	c bounds 1047 >= 0 @ 49.869
68.49/68.77	c bounds 1035 >= 0 @ 49.91
68.49/68.77	c bounds 1034 >= 0 @ 49.9278
68.49/68.77	c bounds 1020 >= 0 @ 50.0576
68.49/68.77	c bounds 1016 >= 0 @ 50.3832
68.49/68.77	c bounds 1008 >= 0 @ 50.5493
68.49/68.77	c bounds 1002 >= 0 @ 50.5759
68.49/68.77	c bounds 999 >= 0 @ 50.6757
68.49/68.77	c bounds 984 >= 0 @ 50.7106
68.49/68.77	c bounds 972 >= 0 @ 50.8095
68.49/68.77	c bounds 968 >= 0 @ 56.3475
68.49/68.77	c #Conflicts:       5000 | #Constraints:     659427
68.49/68.77	c bounds 967 >= 0 @ 58.2472
68.49/68.77	c bounds 962 >= 0 @ 58.4308
68.49/68.77	c bounds 956 >= 0 @ 58.4809
68.49/68.77	c bounds 952 >= 0 @ 58.5209
68.49/68.77	c bounds 949 >= 0 @ 58.551
68.49/68.77	c #Conflicts:       6000 | #Constraints:     660432
68.49/68.77	c INPROCESSING
68.49/68.77	c GARBAGE COLLECT
68.49/68.77	c rational objective 181.5
171.20/171.70	c bounds 946 >= 0 @ 66.9295
171.20/171.70	c bounds 939 >= 0 @ 66.9581
171.20/171.70	c bounds 937 >= 0 @ 66.9773
171.20/171.70	c bounds 936 >= 0 @ 67.3413
171.20/171.70	c bounds 931 >= 0 @ 67.3737
171.20/171.70	c #Conflicts:       7000 | #Constraints:     659359
171.20/171.70	c bounds 923 >= 0 @ 73.4139
171.20/171.70	c bounds 920 >= 0 @ 73.4507
171.20/171.70	c bounds 915 >= 0 @ 73.4765
171.20/171.70	c bounds 912 >= 0 @ 73.5175
171.20/171.70	c bounds 903 >= 0 @ 73.5827
171.20/171.70	c bounds 901 >= 0 @ 73.6151
171.20/171.70	c bounds 895 >= 0 @ 73.6829
171.20/171.70	c bounds 893 >= 0 @ 73.7594
171.20/171.70	c bounds 885 >= 0 @ 73.8042
171.20/171.70	c bounds 884 >= 0 @ 73.8335
171.20/171.70	c bounds 883 >= 0 @ 73.8902
171.20/171.70	c #Conflicts:       8000 | #Constraints:     660370
171.20/171.70	c #Conflicts:       9000 | #Constraints:     661377
171.20/171.70	c INPROCESSING
171.20/171.70	c GARBAGE COLLECT
171.20/171.70	c bounds 876 >= 0 @ 105.92
171.20/171.70	c bounds 871 >= 0 @ 105.94
171.20/171.70	c bounds 868 >= 0 @ 105.978
171.20/171.70	c bounds 866 >= 0 @ 105.996
171.20/171.70	c bounds 856 >= 0 @ 106.022
171.20/171.70	c bounds 847 >= 0 @ 106.055
171.20/171.70	c bounds 843 >= 0 @ 106.08
171.20/171.70	c bounds 832 >= 0 @ 106.101
171.20/171.70	c bounds 830 >= 0 @ 106.169
171.20/171.70	c bounds 828 >= 0 @ 106.196
171.20/171.70	c bounds 809 >= 0 @ 106.219
171.20/171.70	c bounds 807 >= 0 @ 106.253
171.20/171.70	c bounds 805 >= 0 @ 106.269
171.20/171.70	c bounds 792 >= 0 @ 106.789
171.20/171.70	c bounds 784 >= 0 @ 106.814
171.20/171.70	c bounds 783 >= 0 @ 106.836
171.20/171.70	c bounds 782 >= 0 @ 106.943
171.20/171.70	c bounds 777 >= 0 @ 107.364
171.20/171.70	c bounds 776 >= 0 @ 107.472
171.20/171.70	c bounds 766 >= 0 @ 107.742
171.20/171.70	c bounds 763 >= 0 @ 109.709
171.20/171.70	c #Conflicts:      10000 | #Constraints:     660085
171.20/171.70	c #Conflicts:      11000 | #Constraints:     661102
171.20/171.70	c #Conflicts:      12000 | #Constraints:     662114
171.20/171.70	c INPROCESSING
171.20/171.70	c GARBAGE COLLECT
171.20/171.70	c bounds 762 >= 0 @ 134.594
171.20/171.70	c bounds 757 >= 0 @ 134.619
171.20/171.70	c bounds 749 >= 0 @ 134.701
171.20/171.70	c bounds 748 >= 0 @ 135.224
171.20/171.70	c bounds 740 >= 0 @ 137.137
171.20/171.70	c bounds 739 >= 0 @ 137.378
171.20/171.70	c bounds 734 >= 0 @ 138.059
171.20/171.70	c bounds 733 >= 0 @ 138.329
171.20/171.70	c bounds 728 >= 0 @ 138.356
171.20/171.70	c bounds 727 >= 0 @ 138.597
171.20/171.70	c bounds 722 >= 0 @ 138.762
171.20/171.70	c bounds 721 >= 0 @ 138.96
171.20/171.70	c bounds 720 >= 0 @ 140.68
171.20/171.70	c bounds 714 >= 0 @ 140.735
171.20/171.70	c bounds 708 >= 0 @ 141.023
171.20/171.70	c bounds 695 >= 0 @ 141.213
171.20/171.70	c bounds 693 >= 0 @ 141.238
171.20/171.70	c bounds 689 >= 0 @ 141.929
171.20/171.70	c bounds 687 >= 0 @ 141.954
171.20/171.70	c bounds 662 >= 0 @ 142.258
171.20/171.70	c bounds 655 >= 0 @ 142.459
171.20/171.70	c bounds 653 >= 0 @ 142.593
171.20/171.70	c bounds 649 >= 0 @ 142.771
171.20/171.70	c bounds 648 >= 0 @ 142.797
171.20/171.70	c bounds 635 >= 0 @ 142.909
171.20/171.70	c bounds 629 >= 0 @ 142.953
171.20/171.70	c bounds 622 >= 0 @ 142.995
171.20/171.70	c bounds 612 >= 0 @ 143.033
171.20/171.70	c bounds 601 >= 0 @ 143.175
171.20/171.70	c bounds 589 >= 0 @ 143.628
171.20/171.70	c #Conflicts:      13000 | #Constraints:     660564
171.20/171.70	c bounds 588 >= 0 @ 144.8
171.20/171.70	c bounds 584 >= 0 @ 148.371
171.20/171.70	c #Conflicts:      14000 | #Constraints:     661578
171.20/171.70	c bounds 581 >= 0 @ 155.459
171.20/171.70	c bounds 580 >= 0 @ 155.534
171.20/171.70	c bounds 579 >= 0 @ 155.795
171.20/171.70	c #Conflicts:      15000 | #Constraints:     662595
171.20/171.70	c INPROCESSING
171.20/171.70	c GARBAGE COLLECT
171.20/171.70	c rational objective 182.227
212.00/212.68	c #Conflicts:      16000 | #Constraints:     660746
212.00/212.68	c #Conflicts:      17000 | #Constraints:     661757
212.00/212.68	c #Conflicts:      18000 | #Constraints:     662768
212.00/212.68	c INPROCESSING
212.00/212.68	c GARBAGE COLLECT
212.00/212.68	c rational objective 182.227
365.87/366.96	c bounds 577 >= 0 @ 211.41
365.87/366.96	c bounds 576 >= 0 @ 211.436
365.87/366.96	c bounds 575 >= 0 @ 211.475
365.87/366.96	c bounds 572 >= 0 @ 211.835
365.87/366.96	c bounds 571 >= 0 @ 211.966
365.87/366.96	c bounds 565 >= 0 @ 212.175
365.87/366.96	c bounds 561 >= 0 @ 213.405
365.87/366.96	c bounds 560 >= 0 @ 213.436
365.87/366.96	c bounds 559 >= 0 @ 213.508
365.87/366.96	c bounds 558 >= 0 @ 213.656
365.87/366.96	c bounds 557 >= 0 @ 213.805
365.87/366.96	c bounds 553 >= 0 @ 213.839
365.87/366.96	c #Conflicts:      19000 | #Constraints:     660789
365.87/366.96	c bounds 549 >= 0 @ 216.291
365.87/366.96	c bounds 543 >= 0 @ 218.525
365.87/366.96	c bounds 542 >= 0 @ 219.294
365.87/366.96	c bounds 541 >= 0 @ 219.674
365.87/366.96	c bounds 538 >= 0 @ 219.852
365.87/366.96	c bounds 521 >= 0 @ 221.521
365.87/366.96	c bounds 520 >= 0 @ 222.329
365.87/366.96	c #Conflicts:      20000 | #Constraints:     661821
365.87/366.96	c bounds 518 >= 0 @ 225.657
365.87/366.96	c #Conflicts:      21000 | #Constraints:     662838
365.87/366.96	c INPROCESSING
365.87/366.96	c GARBAGE COLLECT
365.87/366.96	c #Conflicts:      22000 | #Constraints:     660577
365.87/366.96	c bounds 517 >= 0 @ 243.143
365.87/366.96	c bounds 506 >= 0 @ 243.27
365.87/366.96	c bounds 504 >= 0 @ 249.423
365.87/366.96	c bounds 502 >= 0 @ 250.687
365.87/366.96	c #Conflicts:      23000 | #Constraints:     661598
365.87/366.96	c #Conflicts:      24000 | #Constraints:     662611
365.87/366.96	c #Conflicts:      25000 | #Constraints:     663619
365.87/366.96	c INPROCESSING
365.87/366.96	c GARBAGE COLLECT
365.87/366.96	c bounds 501 >= 0 @ 276.545
365.87/366.96	c bounds 500 >= 0 @ 276.674
365.87/366.96	c bounds 499 >= 0 @ 279.148
365.87/366.96	c bounds 494 >= 0 @ 279.425
365.87/366.96	c bounds 490 >= 0 @ 281.457
365.87/366.96	c #Conflicts:      26000 | #Constraints:     661193
365.87/366.96	c bounds 489 >= 0 @ 284.423
365.87/366.96	c bounds 487 >= 0 @ 284.497
365.87/366.96	c #Conflicts:      27000 | #Constraints:     662209
365.87/366.96	c bounds 485 >= 0 @ 296.927
365.87/366.96	c #Conflicts:      28000 | #Constraints:     663222
365.87/366.96	c #Conflicts:      29000 | #Constraints:     664233
365.87/366.96	c INPROCESSING
365.87/366.96	c GARBAGE COLLECT
365.87/366.96	c rational objective 182.227
549.67/551.28	c bounds 484 >= 0 @ 360.653
549.67/551.28	c bounds 482 >= 0 @ 362.591
549.67/551.28	c bounds 474 >= 0 @ 363.96
549.67/551.28	c bounds 472 >= 0 @ 366.532
549.67/551.28	c bounds 465 >= 0 @ 368.13
549.67/551.28	c bounds 464 >= 0 @ 368.184
549.67/551.28	c #Conflicts:      30000 | #Constraints:     661608
549.67/551.28	c bounds 463 >= 0 @ 380.785
549.67/551.28	c #Conflicts:      31000 | #Constraints:     662630
549.67/551.28	c #Conflicts:      32000 | #Constraints:     663640
549.67/551.28	c #Conflicts:      33000 | #Constraints:     664648
549.67/551.28	c INPROCESSING
549.67/551.28	c GARBAGE COLLECT
549.67/551.28	c bounds 460 >= 0 @ 407.186
549.67/551.28	c bounds 458 >= 0 @ 407.307
549.67/551.28	c bounds 455 >= 0 @ 407.342
549.67/551.28	c bounds 450 >= 0 @ 407.575
549.67/551.28	c bounds 449 >= 0 @ 409.095
549.67/551.28	c bounds 448 >= 0 @ 409.349
549.67/551.28	c bounds 446 >= 0 @ 410.494
549.67/551.28	c bounds 445 >= 0 @ 412.032
549.67/551.28	c bounds 438 >= 0 @ 413.648
549.67/551.28	c bounds 437 >= 0 @ 416.764
549.67/551.28	c bounds 436 >= 0 @ 417.062
549.67/551.28	c #Conflicts:      34000 | #Constraints:     661812
549.67/551.28	c bounds 435 >= 0 @ 422.586
549.67/551.28	c bounds 432 >= 0 @ 422.846
549.67/551.28	c bounds 431 >= 0 @ 423.808
549.67/551.28	c #Conflicts:      35000 | #Constraints:     662838
549.67/551.28	c bounds 429 >= 0 @ 431.741
549.67/551.28	c bounds 427 >= 0 @ 440.359
549.67/551.28	c bounds 425 >= 0 @ 440.532
549.67/551.28	c bounds 424 >= 0 @ 440.758
549.67/551.28	c bounds 422 >= 0 @ 441.452
549.67/551.28	c #Conflicts:      36000 | #Constraints:     663865
549.67/551.28	c bounds 421 >= 0 @ 443.684
549.67/551.28	c bounds 417 >= 0 @ 444.388
549.67/551.28	c bounds 416 >= 0 @ 446.402
549.67/551.28	c bounds 414 >= 0 @ 447.393
549.67/551.28	c bounds 407 >= 0 @ 447.927
549.67/551.28	c bounds 404 >= 0 @ 448.447
549.67/551.28	c bounds 402 >= 0 @ 448.747
549.67/551.28	c bounds 401 >= 0 @ 449.098
549.67/551.28	c bounds 396 >= 0 @ 449.814
549.67/551.28	c bounds 395 >= 0 @ 454.029
549.67/551.28	c bounds 394 >= 0 @ 454.558
549.67/551.28	c bounds 393 >= 0 @ 454.652
549.67/551.28	c #Conflicts:      37000 | #Constraints:     664906
549.67/551.28	c INPROCESSING
549.67/551.28	c GARBAGE COLLECT
549.67/551.28	c #Conflicts:      38000 | #Constraints:     661807
549.67/551.28	c #Conflicts:      39000 | #Constraints:     662820
549.67/551.28	c #Conflicts:      40000 | #Constraints:     663831
549.67/551.28	c #Conflicts:      41000 | #Constraints:     664840
549.67/551.28	c INPROCESSING
549.67/551.28	c GARBAGE COLLECT
549.67/551.28	c rational objective 183.75
707.56/709.59	c #Conflicts:      42000 | #Constraints:     661591
707.56/709.59	c bounds 392 >= 0 @ 553.065
707.56/709.59	c bounds 391 >= 0 @ 553.252
707.56/709.59	c bounds 390 >= 0 @ 555.994
707.56/709.59	c bounds 389 >= 0 @ 556.186
707.56/709.59	c bounds 387 >= 0 @ 556.493
707.56/709.59	c bounds 386 >= 0 @ 556.59
707.56/709.59	c #Conflicts:      43000 | #Constraints:     662611
707.56/709.59	c #Conflicts:      44000 | #Constraints:     663630
707.56/709.59	c #Conflicts:      45000 | #Constraints:     664643
707.56/709.59	c #Conflicts:      46000 | #Constraints:     665655
707.56/709.59	c INPROCESSING
707.56/709.59	c GARBAGE COLLECT
707.56/709.59	c bounds 384 >= 0 @ 611.334
707.56/709.59	c bounds 383 >= 0 @ 611.383
707.56/709.59	c bounds 379 >= 0 @ 612.664
707.56/709.59	c bounds 377 >= 0 @ 612.917
707.56/709.59	c bounds 376 >= 0 @ 613.139
707.56/709.59	c bounds 371 >= 0 @ 613.198
707.56/709.59	c bounds 369 >= 0 @ 613.258
707.56/709.59	c bounds 365 >= 0 @ 613.3
707.56/709.59	c bounds 364 >= 0 @ 613.348
707.56/709.59	c #Conflicts:      47000 | #Constraints:     662217
707.56/709.59	c bounds 363 >= 0 @ 619.731
707.56/709.59	c bounds 362 >= 0 @ 620.15
707.56/709.59	c bounds 360 >= 0 @ 620.802
707.56/709.59	c bounds 358 >= 0 @ 620.855
707.56/709.59	c bounds 357 >= 0 @ 620.908
707.56/709.59	c #Conflicts:      48000 | #Constraints:     663235
707.56/709.59	c #Conflicts:      49000 | #Constraints:     664246
707.56/709.59	c #Conflicts:      50000 | #Constraints:     665252
707.56/709.59	c #Conflicts:      51000 | #Constraints:     666259
707.56/709.59	c INPROCESSING
707.56/709.59	c GARBAGE COLLECT
707.56/709.59	c rational objective 183.75
930.07/932.66	c #Conflicts:      52000 | #Constraints:     662596
930.07/932.66	c #Conflicts:      53000 | #Constraints:     663602
930.07/932.66	c bounds 354 >= 0 @ 730.277
930.07/932.66	c #Conflicts:      54000 | #Constraints:     664612
930.07/932.66	c #Conflicts:      55000 | #Constraints:     665620
930.07/932.66	c #Conflicts:      56000 | #Constraints:     666628
930.07/932.66	c INPROCESSING
930.07/932.66	c GARBAGE COLLECT
930.07/932.66	c bounds 353 >= 0 @ 768.364
930.07/932.66	c bounds 352 >= 0 @ 775.244
930.07/932.66	c #Conflicts:      57000 | #Constraints:     662793
930.07/932.66	c #Conflicts:      58000 | #Constraints:     663805
930.07/932.66	c #Conflicts:      59000 | #Constraints:     664813
930.07/932.66	c #Conflicts:      60000 | #Constraints:     665817
930.07/932.66	c #Conflicts:      61000 | #Constraints:     666823
930.07/932.66	c INPROCESSING
930.07/932.66	c GARBAGE COLLECT
930.07/932.66	c rational objective 183.75
1097.42/1100.41	c bounds 351 >= 0 @ 919.706
1097.42/1100.41	c bounds 350 >= 0 @ 921.017
1097.42/1100.41	c bounds 349 >= 0 @ 921.066
1097.42/1100.41	c #Conflicts:      62000 | #Constraints:     662796
1097.42/1100.41	c #Conflicts:      63000 | #Constraints:     663807
1097.42/1100.41	c #Conflicts:      64000 | #Constraints:     664816
1097.42/1100.41	c bounds 348 >= 0 @ 984.268
1097.42/1100.41	c #Conflicts:      65000 | #Constraints:     665825
1097.42/1100.41	c #Conflicts:      66000 | #Constraints:     666835
1097.42/1100.41	c INPROCESSING
1097.42/1100.41	c GARBAGE COLLECT
1097.42/1100.41	c #Conflicts:      67000 | #Constraints:     662585
1097.42/1100.41	c #Conflicts:      68000 | #Constraints:     663593
1097.42/1100.41	c #Conflicts:      69000 | #Constraints:     664601
1097.42/1100.41	c #Conflicts:      70000 | #Constraints:     665610
1097.42/1100.41	c #Conflicts:      71000 | #Constraints:     666618
1097.42/1100.41	c #Conflicts:      72000 | #Constraints:     667626
1097.42/1100.41	c INPROCESSING
1097.42/1100.41	c GARBAGE COLLECT
1097.42/1100.41	c rational objective 184.144
1275.95/1279.47	c bounds 347 >= 0 @ 1087.02
1275.95/1279.47	c bounds 346 >= 0 @ 1090.7
1275.95/1279.47	c bounds 345 >= 0 @ 1094.47
1275.95/1279.47	c #Conflicts:      73000 | #Constraints:     663188
1275.95/1279.47	c #Conflicts:      74000 | #Constraints:     664201
1275.95/1279.47	c #Conflicts:      75000 | #Constraints:     665212
1275.95/1279.47	c #Conflicts:      76000 | #Constraints:     666225
1275.95/1279.47	c #Conflicts:      77000 | #Constraints:     667240
1275.95/1279.47	c #Conflicts:      78000 | #Constraints:     668250
1275.95/1279.47	c INPROCESSING
1275.95/1279.47	c GARBAGE COLLECT
1275.95/1279.47	c rational objective 184.152
1653.93/1658.49	c #Conflicts:      79000 | #Constraints:     663603
1653.93/1658.49	c #Conflicts:      80000 | #Constraints:     664612
1653.93/1658.49	c #Conflicts:      81000 | #Constraints:     665619
1653.93/1658.49	c #Conflicts:      82000 | #Constraints:     666628
1653.93/1658.49	c #Conflicts:      83000 | #Constraints:     667632
1653.93/1658.49	c #Conflicts:      84000 | #Constraints:     668640
1653.93/1658.49	c INPROCESSING
1653.93/1658.49	c GARBAGE COLLECT
1653.93/1658.49	c #Conflicts:      85000 | #Constraints:     663790
1653.93/1658.49	c #Conflicts:      86000 | #Constraints:     664796
1653.93/1658.49	c #Conflicts:      87000 | #Constraints:     665801
1653.93/1658.49	c #Conflicts:      88000 | #Constraints:     666807
1653.93/1658.49	c #Conflicts:      89000 | #Constraints:     667811
1653.93/1658.49	c #Conflicts:      90000 | #Constraints:     668815
1653.93/1658.49	c INPROCESSING
1653.93/1658.49	c GARBAGE COLLECT
1653.93/1658.49	c rational objective 184.152
1914.82/1920.02	c #Conflicts:      91000 | #Constraints:     663781
1914.82/1920.02	c #Conflicts:      92000 | #Constraints:     664793
1914.82/1920.02	c #Conflicts:      93000 | #Constraints:     665800
1914.82/1920.02	c #Conflicts:      94000 | #Constraints:     666807
1914.82/1920.02	c #Conflicts:      95000 | #Constraints:     667814
1914.82/1920.02	c #Conflicts:      96000 | #Constraints:     668822
1914.82/1920.02	c INPROCESSING
1914.82/1920.02	c GARBAGE COLLECT
1914.82/1920.02	c bounds 341 >= 0 @ 1750.62
1914.82/1920.02	c bounds 339 >= 0 @ 1751.81
1914.82/1920.02	c #Conflicts:      97000 | #Constraints:     663588
1914.82/1920.02	c #Conflicts:      98000 | #Constraints:     664602
1914.82/1920.02	c #Conflicts:      99000 | #Constraints:     665610
1914.82/1920.02	c #Conflicts:     100000 | #Constraints:     666619
1914.82/1920.02	c #Conflicts:     101000 | #Constraints:     667628
1914.82/1920.02	c #Conflicts:     102000 | #Constraints:     668635
1914.82/1920.02	c bounds 338 >= 0 @ 1861.28
1914.82/1920.02	c #Conflicts:     103000 | #Constraints:     669645
1914.82/1920.02	c INPROCESSING
1914.82/1920.02	c GARBAGE COLLECT
1914.82/1920.02	c rational objective 184.152
2035.80/2041.43	c #Conflicts:     104000 | #Constraints:     664184
2035.80/2041.43	c #Conflicts:     105000 | #Constraints:     665187
2035.80/2041.43	c #Conflicts:     106000 | #Constraints:     666187
2035.80/2041.43	c #Conflicts:     107000 | #Constraints:     667189
2035.80/2041.43	c #Conflicts:     108000 | #Constraints:     668200
2035.80/2041.43	c #Conflicts:     109000 | #Constraints:     669207
2035.80/2041.43	c #Conflicts:     110000 | #Constraints:     670214
2035.80/2041.43	c INPROCESSING
2035.80/2041.43	c GARBAGE COLLECT
2035.80/2041.43	c rational objective 184.152
2275.87/2282.30	c #Conflicts:     111000 | #Constraints:     664574
2275.87/2282.30	c #Conflicts:     112000 | #Constraints:     665582
2275.87/2282.30	c #Conflicts:     113000 | #Constraints:     666591
2275.87/2282.30	c #Conflicts:     114000 | #Constraints:     667600
2275.87/2282.30	c #Conflicts:     115000 | #Constraints:     668609
2275.87/2282.30	c #Conflicts:     116000 | #Constraints:     669619
2275.87/2282.30	c #Conflicts:     117000 | #Constraints:     670627
2275.87/2282.30	c INPROCESSING
2275.87/2282.30	c GARBAGE COLLECT
2275.87/2282.30	c #Conflicts:     118000 | #Constraints:     664781
2275.87/2282.30	c #Conflicts:     119000 | #Constraints:     665788
2275.87/2282.30	c #Conflicts:     120000 | #Constraints:     666793
2275.87/2282.30	c #Conflicts:     121000 | #Constraints:     667797
2275.87/2282.30	c #Conflicts:     122000 | #Constraints:     668803
2275.87/2282.30	c #Conflicts:     123000 | #Constraints:     669812
2275.87/2282.30	c #Conflicts:     124000 | #Constraints:     670821
2275.87/2282.30	c INPROCESSING
2275.87/2282.30	c GARBAGE COLLECT
2275.87/2282.30	c rational objective 184.152
2493.30/2500.50	c #Conflicts:     125000 | #Constraints:     664778
2493.30/2500.50	c bounds 337 >= 0 @ 2276.45
2493.30/2500.50	c #Conflicts:     126000 | #Constraints:     665789
2493.30/2500.50	c #Conflicts:     127000 | #Constraints:     666793
2493.30/2500.50	c #Conflicts:     128000 | #Constraints:     667797
2493.30/2500.50	c #Conflicts:     129000 | #Constraints:     668803
2493.30/2500.50	c #Conflicts:     130000 | #Constraints:     669810
2493.30/2500.50	c #Conflicts:     131000 | #Constraints:     670823
2493.30/2500.50	c INPROCESSING
2493.30/2500.50	c GARBAGE COLLECT
2493.30/2500.50	c rational objective 184.152
2608.56/2616.28	c #Conflicts:     132000 | #Constraints:     664587
2608.56/2616.28	c #Conflicts:     133000 | #Constraints:     665597
2608.56/2616.28	c #Conflicts:     134000 | #Constraints:     666600
2608.56/2616.28	c #Conflicts:     135000 | #Constraints:     667610
2608.56/2616.28	c #Conflicts:     136000 | #Constraints:     668618
2608.56/2616.28	c #Conflicts:     137000 | #Constraints:     669624
2608.56/2616.28	c #Conflicts:     138000 | #Constraints:     670631
2608.56/2616.28	c #Conflicts:     139000 | #Constraints:     671638
2608.56/2616.28	c INPROCESSING
2608.56/2616.28	c GARBAGE COLLECT
2608.56/2616.28	c rational objective 184.152
2771.47/2779.72	c #Conflicts:     140000 | #Constraints:     665185
2771.47/2779.72	c #Conflicts:     141000 | #Constraints:     666188
2771.47/2779.72	c #Conflicts:     142000 | #Constraints:     667193
2771.47/2779.72	c #Conflicts:     143000 | #Constraints:     668201
2771.47/2779.72	c #Conflicts:     144000 | #Constraints:     669209
2771.47/2779.72	c #Conflicts:     145000 | #Constraints:     670219
2771.47/2779.72	c #Conflicts:     146000 | #Constraints:     671221
2771.47/2779.72	c #Conflicts:     147000 | #Constraints:     672232
2771.47/2779.72	c INPROCESSING
2771.47/2779.72	c GARBAGE COLLECT
2771.47/2779.72	c rational objective 184.152
2993.90/3002.95	c #Conflicts:     148000 | #Constraints:     665593
2993.90/3002.95	c #Conflicts:     149000 | #Constraints:     666601
2993.90/3002.95	c #Conflicts:     150000 | #Constraints:     667608
2993.90/3002.95	c #Conflicts:     151000 | #Constraints:     668615
2993.90/3002.95	c #Conflicts:     152000 | #Constraints:     669629
2993.90/3002.95	c #Conflicts:     153000 | #Constraints:     670638
2993.90/3002.95	c #Conflicts:     154000 | #Constraints:     671646
2993.90/3002.95	c #Conflicts:     155000 | #Constraints:     672654
2993.90/3002.95	c INPROCESSING
2993.90/3002.95	c GARBAGE COLLECT
2993.90/3002.95	c rational objective 184.152
3145.77/3155.37	c #Conflicts:     156000 | #Constraints:     665798
3145.77/3155.37	c #Conflicts:     157000 | #Constraints:     666806
3145.77/3155.37	c #Conflicts:     158000 | #Constraints:     667814
3145.77/3155.37	c #Conflicts:     159000 | #Constraints:     668821
3145.77/3155.37	c #Conflicts:     160000 | #Constraints:     669832
3145.77/3155.37	c #Conflicts:     161000 | #Constraints:     670837
3145.77/3155.37	c #Conflicts:     162000 | #Constraints:     671846
3145.77/3155.37	c #Conflicts:     163000 | #Constraints:     672855
3145.77/3155.37	c INPROCESSING
3145.77/3155.37	c GARBAGE COLLECT
3145.77/3155.37	c rational objective 184.152
3308.60/3318.79	c #Conflicts:     164000 | #Constraints:     665799
3308.60/3318.79	c #Conflicts:     165000 | #Constraints:     666807
3308.60/3318.79	c #Conflicts:     166000 | #Constraints:     667814
3308.60/3318.79	c #Conflicts:     167000 | #Constraints:     668822
3308.60/3318.79	c #Conflicts:     168000 | #Constraints:     669830
3308.60/3318.79	c #Conflicts:     169000 | #Constraints:     670838
3308.60/3318.79	c #Conflicts:     170000 | #Constraints:     671847
3308.60/3318.79	c #Conflicts:     171000 | #Constraints:     672855
3308.60/3318.79	c INPROCESSING
3308.60/3318.79	c GARBAGE COLLECT
3308.60/3318.79	c rational objective 184.152
3478.81/3489.52	c #Conflicts:     172000 | #Constraints:     665594
3478.81/3489.52	c #Conflicts:     173000 | #Constraints:     666602
3478.81/3489.52	c #Conflicts:     174000 | #Constraints:     667610
3478.81/3489.52	c #Conflicts:     175000 | #Constraints:     668613
3478.81/3489.52	c #Conflicts:     176000 | #Constraints:     669618
3478.81/3489.52	c #Conflicts:     177000 | #Constraints:     670626
3478.81/3489.52	c #Conflicts:     178000 | #Constraints:     671639
3478.81/3489.52	c #Conflicts:     179000 | #Constraints:     672646
3478.81/3489.52	c #Conflicts:     180000 | #Constraints:     673657
3478.81/3489.52	c INPROCESSING
3478.81/3489.52	c GARBAGE COLLECT
3478.81/3489.52	c rational objective 184.152
3600.08/3611.20	c #Conflicts:     181000 | #Constraints:     666193
3600.08/3611.20	c #Conflicts:     182000 | #Constraints:     667201
3600.08/3611.20	c #Conflicts:     183000 | #Constraints:     668208
3600.08/3611.20	c #Conflicts:     184000 | #Constraints:     669219
3600.08/3611.20	c #Conflicts:     185000 | #Constraints:     670227
3600.08/3611.20	c #Conflicts:     186000 | #Constraints:     671232
3600.08/3611.20	c Program interrupted by user.
3600.08/3611.20	c cpu time 3565.13 s
3600.08/3611.20	c deterministic time 480478138518 4.80e+11
3600.08/3611.20	c optimization time 116.585 s
3600.08/3611.20	c total solve time 3446.44 s
3600.08/3611.20	c core-guided solve time 2262.39 s
3600.08/3611.20	c propagation time 1895.31 s
3600.08/3611.20	c conflict analysis time 843.48 s
3600.08/3611.20	c propagations 42703937
3600.08/3611.20	c resolve steps 2022482
3600.08/3611.20	c decisions 6842173
3600.08/3611.20	c conflicts 186930
3600.08/3611.20	c restarts 508
3600.08/3611.20	c inprocessing phases 34
3600.08/3611.20	c input clauses 656900
3600.08/3611.20	c input cardinalities 0
3600.08/3611.20	c input general constraints 412
3600.08/3611.20	c input average constraint length 8.30
3600.08/3611.20	c input average constraint degree 309.87
3600.08/3611.20	c learned clauses 28416
3600.08/3611.20	c learned cardinalities 9
3600.08/3611.20	c learned general constraints 160377
3600.08/3611.20	c learned average constraint length 7150.83
3600.08/3611.20	c learned average constraint degree 365822799605.95
3600.08/3611.20	c watched constraints 1372
3600.08/3611.20	c counting constraints 159417
3600.08/3611.20	c gcd simplifications 2157
3600.08/3611.20	c detected cardinalities 0
3600.08/3611.20	c weakened non-implied lits 292911649
3600.08/3611.20	c weakened non-implying lits 85780
3600.08/3611.20	c original variables 10000
3600.08/3611.20	c clausal propagations 13767646
3600.08/3611.20	c cardinality propagations 125
3600.08/3611.20	c watched propagations 8290
3600.08/3611.20	c counting propagations 28082971
3600.08/3611.20	c watch lookups 14292017154
3600.08/3611.20	c watch backjump lookups 14281633311
3600.08/3611.20	c watch checks 1110457490
3600.08/3611.20	c propagation checks 447294746498
3600.08/3611.20	c constraint additions 3399644927
3600.08/3611.20	c trail pops 49721465
3600.08/3611.20	c formula constraints 656900
3600.08/3611.20	c learned constraints 185056
3600.08/3611.20	c bound constraints 412
3600.08/3611.20	c core-guided constraints 0
3600.08/3611.20	c encountered formula constraints 1700506
3600.08/3611.20	c encountered learned constraints 389207
3600.08/3611.20	c encountered bound constraints 3264
3600.08/3611.20	c encountered core-guided constraints 0
3600.08/3611.20	c LP total time 1009.47 s
3600.08/3611.20	c LP solve time 913.28 s
3600.08/3611.20	c LP constraints added 656904
3600.08/3611.20	c LP constraints removed 0
3600.08/3611.20	c LP pivots internal 186988
3600.08/3611.20	c LP pivots root 184574
3600.08/3611.20	c LP calls 2079
3600.08/3611.20	c LP optimalities 200
3600.08/3611.20	c LP no pivot count 25
3600.08/3611.20	c LP infeasibilities 1874
3600.08/3611.20	c LP valid Farkas constraints 1873
3600.08/3611.20	c LP learned Farkas constraints 1873
3600.08/3611.20	c LP basis resets 2
3600.08/3611.20	c LP cycling count 0
3600.08/3611.20	c LP singular count 1
3600.08/3611.20	c LP no primal count 0
3600.08/3611.20	c LP no farkas count 1
3600.08/3611.20	c LP other issue count 0
3600.08/3611.20	c LP Gomory cuts 0
3600.08/3611.20	c LP learned cuts 4
3600.08/3611.20	c LP deleted cuts 0
3600.08/3611.20	c LP encountered Gomory constraints 0
3600.08/3611.20	c LP encountered Farkas constraints 103573
3600.08/3611.20	c LP encountered learned Farkas constraints 10989
3600.08/3611.20	c CG auxiliary variables introduced 0
3600.08/3611.20	c CG solutions found 412
3600.08/3611.20	c CG cores constructed 0
3600.08/3611.20	c CG core cardinality constraints returned 0
3600.08/3611.20	c CG unit cores 0
3600.08/3611.20	c CG single cores 0
3600.08/3611.20	c CG blocks removed during cardinality reduction 0
3600.08/3611.20	c CG first core best 0
3600.08/3611.20	c CG decision core best 0
3600.08/3611.20	c CG core reduction tie 0
3600.08/3611.20	c CG core degree average 0.00
3600.08/3611.20	c CG core slack average 0.00
3600.08/3611.20	s SATISFIABLE
3600.08/3611.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100087 s]*
/proc/loadavg: 0.47 0.19 0.12 5/244 6607
/proc/meminfo: memFree=130478900/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=40828 memory=9132 CPUtime=0.08 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 1504 0 0 0 6 2 0 0 20 0 1 0 447593 41807872 2283 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 10207 2283 1347 992 0 2065 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9132 KiB

[startup+0.209915 s]*
/proc/loadavg: 0.47 0.19 0.12 5/244 6607
/proc/meminfo: memFree=130470640/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=40828 memory=9924 CPUtime=0.19 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 1680 0 0 0 14 5 0 0 20 0 1 0 447593 41807872 2481 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 10207 2481 1347 992 0 2065 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9924 KiB

[startup+0.309828 s]*
/proc/loadavg: 0.47 0.19 0.12 5/244 6607
/proc/meminfo: memFree=130459968/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=41212 memory=12500 CPUtime=0.29 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 1827 0 0 0 21 8 0 0 20 0 1 0 447593 42201088 3125 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 10303 3125 1347 992 0 2161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12500 KiB

[startup+0.700279 s]
/proc/loadavg: 0.47 0.19 0.12 6/244 6607
/proc/meminfo: memFree=130424920/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=42800 memory=14872 CPUtime=0.67 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 2455 0 0 0 49 18 0 0 20 0 1 0 447593 43827200 3718 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 10700 3718 1347 992 0 2558 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42800 KiB
Current children cumulated memory: 14872 KiB

[startup+1.5003 s]
/proc/loadavg: 0.47 0.19 0.12 5/244 6607
/proc/meminfo: memFree=130402848/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=64368 memory=30984 CPUtime=1.46 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 4937 0 0 0 106 40 0 0 20 0 1 0 447593 65912832 7746 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 16092 7746 1347 992 0 7950 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64368 KiB
Current children cumulated memory: 30984 KiB

[startup+3.11328 s]
/proc/loadavg: 0.47 0.19 0.12 5/244 6607
/proc/meminfo: memFree=129984528/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=498656 memory=449208 CPUtime=3.08 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 57534 0 0 0 227 81 0 0 20 0 1 0 447593 510623744 112302 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 124664 112302 1713 992 0 116522 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 498656 KiB
Current children cumulated memory: 449208 KiB

[startup+6.30029 s]
/proc/loadavg: 0.75 0.25 0.14 5/247 6610
/proc/meminfo: memFree=130002700/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=367240 memory=319660 CPUtime=6.25 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 58637 0 0 0 533 92 0 0 20 0 1 0 447593 376053760 79915 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 91810 79915 1866 992 0 83668 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 319660 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 0.32 0.16 5/247 6611
/proc/meminfo: memFree=129660916/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=441808 memory=401644 CPUtime=12.63 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 66951 0 0 0 1154 109 0 0 20 0 1 0 447593 452411392 100411 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 110452 100411 1866 992 0 102310 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 441808 KiB
Current children cumulated memory: 401644 KiB

[startup+25.5003 s]
/proc/loadavg: 1.68 0.50 0.22 5/247 6613
/proc/meminfo: memFree=129341540/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=476088 memory=439240 CPUtime=25.4 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 72784 0 0 0 2402 138 0 0 20 0 1 0 447593 487514112 109810 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 119022 109810 1866 992 0 110880 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 476088 KiB
Current children cumulated memory: 439240 KiB

[startup+51.113 s]
/proc/loadavg: 2.54 0.80 0.33 5/248 6619
/proc/meminfo: memFree=128442396/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=752440 memory=656520 CPUtime=50.95 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 97200 0 0 0 4896 199 0 0 20 0 1 0 447593 770498560 164130 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 188110 164130 1866 992 0 179968 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 752440 KiB
Current children cumulated memory: 656520 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 1.36 0.54 5/247 6641
/proc/meminfo: memFree=127244084/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1046684 memory=829748 CPUtime=101.99 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 114895 0 0 0 9920 279 0 0 20 0 1 0 447593 1071804416 207437 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 261671 207437 1866 992 0 253529 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1046684 KiB
Current children cumulated memory: 829748 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 1.87 0.77 5/247 6651
/proc/meminfo: memFree=125282096/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1268648 memory=1112372 CPUtime=161.83 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 157127 0 0 0 15773 410 0 0 20 0 1 0 447593 1299095552 278093 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 317162 278093 1866 992 0 309020 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1268648 KiB
Current children cumulated memory: 1112372 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.28 0.98 5/247 6662
/proc/meminfo: memFree=124054968/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1283836 memory=1122380 CPUtime=221.66 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 158251 0 0 0 21687 479 0 0 20 0 1 0 447593 1314648064 280595 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 320959 280595 1866 992 0 312817 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1283836 KiB
Current children cumulated memory: 1122380 KiB

[startup+282.3 s]
/proc/loadavg: 4.84 2.82 1.25 5/247 6674
/proc/meminfo: memFree=122267920/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1605692 memory=1364672 CPUtime=281.52 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 183779 0 0 0 27554 598 0 0 20 0 1 0 447593 1644228608 341168 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 401423 341168 1866 992 0 393281 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1605692 KiB
Current children cumulated memory: 1364672 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 3.07 1.44 5/246 6684
/proc/meminfo: memFree=121191632/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1622292 memory=1384824 CPUtime=341.34 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 186297 0 0 0 33463 671 0 0 20 0 1 0 447593 1661227008 346206 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 405573 346206 1866 992 0 397431 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1622292 KiB
Current children cumulated memory: 1384824 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 3.27 1.61 5/245 6696
/proc/meminfo: memFree=120191472/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1631364 memory=1387028 CPUtime=401.18 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 186556 0 0 0 39379 739 0 0 20 0 1 0 447593 1670516736 346757 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 407841 346757 1866 992 0 399699 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1631364 KiB
Current children cumulated memory: 1387028 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.41 1.76 5/245 6707
/proc/meminfo: memFree=118648036/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=1641588 memory=1447544 CPUtime=461.01 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 189173 0 0 0 45261 840 0 0 20 0 1 0 447593 1680986112 361886 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 410397 361886 1866 992 0 402255 0

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


[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.06 5/250 7828
/proc/meminfo: memFree=81967964/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3092.95 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 366061 0 1 0 306209 3086 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.17 4.06 5/250 7839
/proc/meminfo: memFree=81622528/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3152.74 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 367086 0 1 0 312165 3109 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/246 7850
/proc/meminfo: memFree=80641160/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3212.53 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 368370 0 1 0 318082 3171 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.08 5/249 7864
/proc/meminfo: memFree=79707476/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3272.32 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 369439 0 1 0 323988 3244 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.08 5/249 7874
/proc/meminfo: memFree=79293244/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3332.12 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 370484 0 1 0 329935 3277 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.17 4.09 5/251 8269
/proc/meminfo: memFree=78528220/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3391.91 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 371785 0 1 0 335849 3342 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/251 8280
/proc/meminfo: memFree=78061948/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3451.7 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 372556 0 1 0 341786 3384 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/251 8290
/proc/meminfo: memFree=77514820/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3511.51 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 373960 0 1 0 347736 3415 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/248 8470
/proc/meminfo: memFree=76488168/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3571.28 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 375182 0 1 0 353653 3475 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.08 4.12 4.09 3/236 8528
/proc/meminfo: memFree=77043736/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3600.08 cores=5,7
/proc/6606/stat : 6606 (roundingsat) R 6603 6606 6532 0 -1 4194304 375795 0 1 0 356512 3496 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 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.08 4.12 4.09 2/236 8528
/proc/meminfo: memFree=77035088/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3600.1 cores=5,7
/proc/6606/stat : 6606 (roundingsat) D 6603 6606 6532 0 -1 4194304 375799 0 1 0 356512 3498 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 256 0 0 25182210 0 0 0 17 5 0 0 387 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
??? kill 6606 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3565.13 s, system=35.07 s

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

[startup+3612 s]*
/proc/loadavg: 4.08 4.12 4.09 2/236 8528
/proc/meminfo: memFree=77035832/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3600.1 cores=5,7
/proc/6606/stat : 6606 (roundingsat) D 6603 6606 6532 0 -1 4194304 375799 0 1 0 356512 3498 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 134 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3612.8 s]
/proc/loadavg: 4.08 4.12 4.09 2/236 8528
/proc/meminfo: memFree=77035832/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3600.1 cores=5,7
/proc/6606/stat : 6606 (roundingsat) D 6603 6606 6532 0 -1 4194304 375799 0 1 0 356512 3498 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 134 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

[startup+3613.2 s]
/proc/loadavg: 4.08 4.12 4.09 2/236 8528
/proc/meminfo: memFree=77035060/131655788 swapFree=131071996/131071996
[pid=6606] ppid=6603 vsize=3368480 memory=2855932 CPUtime=3600.1 cores=5,7
/proc/6606/stat : 6606 (roundingsat) D 6603 6606 6532 0 -1 4194304 375799 0 1 0 356512 3498 0 0 20 0 1 0 447593 3449323520 713983 134679101440 4194304 8255733 140728224450688 0 0 0 0 0 25182210 0 0 0 17 5 0 0 387 0 0 9037040 9046032 23465984 140728224453470 140728224453732 140728224453732 140728224460745 0
/proc/6606/statm: 842120 713983 1939 992 0 833978 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3368480 KiB
Current children cumulated memory: 2855932 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3664.99
CPU time (s): 3600.2
CPU user time (s): 3565.13
CPU system time (s): 35.07
CPU usage (%): 98.2323
Max. virtual memory (cumulated for all children) (KiB): 3368480
Max. memory (cumulated for all children) (KiB): 2855932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.13
system time used= 35.07
maximum resident set size= 2856180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375799
page faults= 1
swaps= 0
block input operations= 224
block output operations= 83360360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7536
involuntary context switches= 4321


# summary of solver processes directly reported to runsolver:
#   pid: 6606
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3565.13
#   total CPU system time (s): 35.07

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8235 second user time and 35.3333 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-30 13:59:25
IDJOB=4462582
IDBENCH=147554
IDSOLVER=3089
FILE ID=nodeC004/4462582-1722340764
RUNJOBID= nodeC004-1722340763-6545
SLURM_JOB_ID= 8248984
Free space on /tmp= 723748 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.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-4462582-1722340764/watcher-4462582-1722340764 -o /tmp/evaluation-result-4462582-1722340764/solver-4462582-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722340763-6545 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462582-1722340764 --lp-cut-gomory=0 HOME/instance-4462582-1722340764.opb

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130490300 kB
MemAvailable:   130072960 kB
Buffers:           39452 kB
Cached:           341216 kB
SwapCached:            0 kB
Active:           128488 kB
Inactive:         626212 kB
Active(anon):       1424 kB
Inactive(anon):   393920 kB
Active(file):     127064 kB
Inactive(file):   232292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             43152 kB
Writeback:             4 kB
AnonPages:        373520 kB
Mapped:            93740 kB
Shmem:             21320 kB
KReclaimable:      42940 kB
Slab:             112900 kB
SReclaimable:      42940 kB
SUnreclaim:        69960 kB
KernelStack:        3920 kB
PageTables:         9916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     647992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC004 at 2024-07-30 15:00:30