Trace number 4462578

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.11 3634.39

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark241
Best CPU time to get the best result obtained on this benchmark3558.03
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 494314
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 494314
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.18/2.42	c #variables 10000 #constraints 656900
4.17/4.43	c bounds - >= 0 @ 1.71545
4.17/4.43	c rational objective 165.75
10.96/11.21	c bounds 7543 >= 0 @ 4.44849
10.96/11.21	c bounds 7381 >= 0 @ 4.45613
10.96/11.21	c bounds 7037 >= 0 @ 4.46207
10.96/11.21	c bounds 7028 >= 0 @ 4.71524
10.96/11.21	c bounds 6943 >= 0 @ 4.71946
10.96/11.21	c bounds 6930 >= 0 @ 4.79862
10.96/11.21	c bounds 6862 >= 0 @ 4.80282
10.96/11.21	c bounds 6741 >= 0 @ 4.80749
10.96/11.21	c bounds 6735 >= 0 @ 4.81116
10.96/11.21	c bounds 6703 >= 0 @ 4.81525
10.96/11.21	c bounds 6580 >= 0 @ 4.82147
10.96/11.21	c bounds 6473 >= 0 @ 4.82666
10.96/11.21	c bounds 6315 >= 0 @ 4.83018
10.96/11.21	c bounds 6304 >= 0 @ 4.84371
10.96/11.21	c bounds 6105 >= 0 @ 4.84749
10.96/11.21	c bounds 6084 >= 0 @ 4.85527
10.96/11.21	c bounds 5934 >= 0 @ 4.86137
10.96/11.21	c bounds 5638 >= 0 @ 4.95442
10.96/11.21	c bounds 5635 >= 0 @ 4.96888
10.96/11.21	c bounds 5550 >= 0 @ 4.97446
10.96/11.21	c bounds 5332 >= 0 @ 4.98228
10.96/11.21	c bounds 5329 >= 0 @ 4.98757
10.96/11.21	c bounds 5246 >= 0 @ 4.99474
10.96/11.21	c bounds 5243 >= 0 @ 4.99951
10.96/11.21	c bounds 5237 >= 0 @ 5.00781
10.96/11.21	c bounds 5235 >= 0 @ 5.01594
10.96/11.21	c bounds 5160 >= 0 @ 5.02138
10.96/11.21	c bounds 5135 >= 0 @ 5.02578
10.96/11.21	c bounds 5129 >= 0 @ 5.06133
10.96/11.21	c bounds 4968 >= 0 @ 5.38165
10.96/11.21	c bounds 4895 >= 0 @ 5.39207
10.96/11.21	c bounds 4881 >= 0 @ 5.40072
10.96/11.21	c bounds 4861 >= 0 @ 5.40497
10.96/11.21	c bounds 4833 >= 0 @ 5.41195
10.96/11.21	c bounds 4817 >= 0 @ 5.42137
10.96/11.21	c bounds 4810 >= 0 @ 5.42731
10.96/11.21	c bounds 4753 >= 0 @ 5.51218
10.96/11.21	c bounds 4744 >= 0 @ 5.51805
10.96/11.21	c bounds 4690 >= 0 @ 5.52404
10.96/11.21	c bounds 4662 >= 0 @ 5.52991
10.96/11.21	c bounds 4645 >= 0 @ 5.5364
10.96/11.21	c bounds 4588 >= 0 @ 5.54316
10.96/11.21	c bounds 4486 >= 0 @ 5.55083
10.96/11.21	c bounds 4413 >= 0 @ 5.55975
10.96/11.21	c bounds 4356 >= 0 @ 5.65086
10.96/11.21	c bounds 4354 >= 0 @ 5.84466
10.96/11.21	c bounds 4235 >= 0 @ 5.85287
10.96/11.21	c bounds 3918 >= 0 @ 5.8606
10.96/11.21	c bounds 3746 >= 0 @ 5.87019
10.96/11.21	c bounds 3728 >= 0 @ 5.87791
10.96/11.21	c bounds 3727 >= 0 @ 5.92835
10.96/11.21	c bounds 3725 >= 0 @ 6.04514
10.96/11.21	c bounds 3595 >= 0 @ 6.05052
10.96/11.21	c bounds 3549 >= 0 @ 6.05876
10.96/11.21	c bounds 3531 >= 0 @ 6.06366
10.96/11.21	c bounds 3518 >= 0 @ 6.09087
10.96/11.21	c bounds 3511 >= 0 @ 6.21353
10.96/11.21	c bounds 3492 >= 0 @ 6.2253
10.96/11.21	c bounds 3406 >= 0 @ 6.23119
10.96/11.21	c bounds 3397 >= 0 @ 6.24354
10.96/11.21	c bounds 3395 >= 0 @ 6.31902
10.96/11.21	c bounds 3377 >= 0 @ 6.64016
10.96/11.21	c bounds 3228 >= 0 @ 6.64704
10.96/11.21	c bounds 3226 >= 0 @ 6.67553
10.96/11.21	c bounds 3220 >= 0 @ 6.75468
10.96/11.21	c bounds 3135 >= 0 @ 6.76029
10.96/11.21	c bounds 3064 >= 0 @ 6.76625
10.96/11.21	c bounds 2956 >= 0 @ 6.7722
10.96/11.21	c bounds 2940 >= 0 @ 6.78205
10.96/11.21	c bounds 2938 >= 0 @ 6.79109
10.96/11.21	c bounds 2928 >= 0 @ 6.79807
10.96/11.21	c bounds 2890 >= 0 @ 6.80291
10.96/11.21	c bounds 2790 >= 0 @ 6.80924
10.96/11.21	c bounds 2776 >= 0 @ 6.82904
10.96/11.21	c bounds 2752 >= 0 @ 6.83494
10.96/11.21	c bounds 2613 >= 0 @ 6.84328
10.96/11.21	c bounds 2584 >= 0 @ 6.91432
10.96/11.21	c #Conflicts:       1000 | #Constraints:     657983
10.96/11.21	c bounds 2561 >= 0 @ 8.1759
10.96/11.21	c bounds 2558 >= 0 @ 8.19285
10.96/11.21	c bounds 2539 >= 0 @ 8.36076
10.96/11.21	c bounds 2521 >= 0 @ 8.54878
10.96/11.21	c bounds 2492 >= 0 @ 8.56268
10.96/11.21	c bounds 2490 >= 0 @ 8.61097
10.96/11.21	c bounds 2463 >= 0 @ 8.61773
10.96/11.21	c bounds 2440 >= 0 @ 8.62294
10.96/11.21	c bounds 2433 >= 0 @ 8.63121
10.96/11.21	c bounds 2389 >= 0 @ 8.64204
10.96/11.21	c bounds 2382 >= 0 @ 8.6485
10.96/11.21	c bounds 2355 >= 0 @ 8.66115
10.96/11.21	c bounds 2348 >= 0 @ 8.6692
10.96/11.21	c bounds 2333 >= 0 @ 8.67694
10.96/11.21	c bounds 2320 >= 0 @ 8.68559
10.96/11.21	c bounds 2275 >= 0 @ 8.69474
10.96/11.21	c bounds 2236 >= 0 @ 8.70267
10.96/11.21	c bounds 2202 >= 0 @ 8.70768
10.96/11.21	c bounds 2160 >= 0 @ 8.72361
10.96/11.21	c bounds 2158 >= 0 @ 8.73409
10.96/11.21	c bounds 2142 >= 0 @ 8.78349
10.96/11.21	c bounds 2141 >= 0 @ 8.79893
10.96/11.21	c bounds 2133 >= 0 @ 8.81995
10.96/11.21	c bounds 2114 >= 0 @ 8.83265
10.96/11.21	c bounds 2109 >= 0 @ 8.84351
10.96/11.21	c bounds 2102 >= 0 @ 8.85918
10.96/11.21	c bounds 2098 >= 0 @ 8.87386
10.96/11.21	c bounds 2065 >= 0 @ 8.89443
10.96/11.21	c bounds 2061 >= 0 @ 8.90651
10.96/11.21	c bounds 2052 >= 0 @ 8.92054
10.96/11.21	c bounds 2047 >= 0 @ 8.94614
10.96/11.21	c bounds 2030 >= 0 @ 8.95889
10.96/11.21	c bounds 2024 >= 0 @ 9.07607
10.96/11.21	c bounds 2017 >= 0 @ 9.09781
10.96/11.21	c bounds 2010 >= 0 @ 9.11775
10.96/11.21	c bounds 1986 >= 0 @ 9.13504
10.96/11.21	c bounds 1965 >= 0 @ 9.14399
10.96/11.21	c bounds 1930 >= 0 @ 9.16165
10.96/11.21	c bounds 1925 >= 0 @ 9.1745
10.96/11.21	c bounds 1921 >= 0 @ 9.18725
10.96/11.21	c bounds 1905 >= 0 @ 9.21915
10.96/11.21	c bounds 1834 >= 0 @ 9.23034
10.96/11.21	c bounds 1831 >= 0 @ 9.24251
10.96/11.21	c bounds 1827 >= 0 @ 9.26839
10.96/11.21	c bounds 1825 >= 0 @ 9.28526
10.96/11.21	c bounds 1809 >= 0 @ 9.29711
10.96/11.21	c bounds 1793 >= 0 @ 9.30407
10.96/11.21	c bounds 1754 >= 0 @ 9.31383
10.96/11.21	c bounds 1733 >= 0 @ 9.32316
10.96/11.21	c bounds 1693 >= 0 @ 9.3516
10.96/11.21	c bounds 1675 >= 0 @ 9.37846
10.96/11.21	c bounds 1665 >= 0 @ 9.39288
10.96/11.21	c bounds 1634 >= 0 @ 9.48577
10.96/11.21	c bounds 1633 >= 0 @ 9.51731
10.96/11.21	c bounds 1628 >= 0 @ 9.5343
10.96/11.21	c bounds 1623 >= 0 @ 9.54726
10.96/11.21	c bounds 1621 >= 0 @ 9.65923
10.96/11.21	c bounds 1605 >= 0 @ 9.76433
10.96/11.21	c bounds 1583 >= 0 @ 9.80384
10.96/11.21	c bounds 1568 >= 0 @ 9.8143
10.96/11.21	c bounds 1566 >= 0 @ 9.82773
10.96/11.21	c bounds 1537 >= 0 @ 9.83994
10.96/11.21	c bounds 1533 >= 0 @ 9.86586
106.70/107.28	c bounds 1528 >= 0 @ 9.87557
106.70/107.28	c bounds 1516 >= 0 @ 9.90369
106.70/107.28	c bounds 1511 >= 0 @ 9.91488
106.70/107.28	c bounds 1507 >= 0 @ 9.92283
106.70/107.28	c bounds 1491 >= 0 @ 9.93904
106.70/107.28	c bounds 1483 >= 0 @ 9.94821
106.70/107.28	c bounds 1482 >= 0 @ 10.7072
106.70/107.28	c bounds 1473 >= 0 @ 10.7295
106.70/107.28	c bounds 1420 >= 0 @ 10.7367
106.70/107.28	c bounds 1405 >= 0 @ 10.7437
106.70/107.28	c bounds 1388 >= 0 @ 10.7539
106.70/107.28	c bounds 1357 >= 0 @ 10.7636
106.70/107.28	c #Conflicts:       2000 | #Constraints:     659062
106.70/107.28	c INPROCESSING
106.70/107.28	c GARBAGE COLLECT
106.70/107.28	c bounds 1354 >= 0 @ 27.2205
106.70/107.28	c bounds 1347 >= 0 @ 27.2308
106.70/107.28	c bounds 1346 >= 0 @ 27.727
106.70/107.28	c bounds 1339 >= 0 @ 27.7382
106.70/107.28	c bounds 1334 >= 0 @ 27.8827
106.70/107.28	c bounds 1331 >= 0 @ 27.8926
106.70/107.28	c bounds 1321 >= 0 @ 27.9949
106.70/107.28	c bounds 1224 >= 0 @ 28.0057
106.70/107.28	c bounds 1103 >= 0 @ 28.2108
106.70/107.28	c bounds 1087 >= 0 @ 28.2212
106.70/107.28	c bounds 1079 >= 0 @ 28.2323
106.70/107.28	c bounds 1078 >= 0 @ 28.2421
106.70/107.28	c bounds 1061 >= 0 @ 28.2555
106.70/107.28	c bounds 1058 >= 0 @ 28.2643
106.70/107.28	c bounds 1044 >= 0 @ 28.2775
106.70/107.28	c bounds 1039 >= 0 @ 28.2888
106.70/107.28	c bounds 1035 >= 0 @ 28.3406
106.70/107.28	c bounds 1026 >= 0 @ 28.3526
106.70/107.28	c bounds 1008 >= 0 @ 28.3655
106.70/107.28	c bounds 1004 >= 0 @ 28.3805
106.70/107.28	c bounds 1003 >= 0 @ 28.4553
106.70/107.29	c bounds 993 >= 0 @ 28.488
106.70/107.29	c bounds 980 >= 0 @ 28.5108
106.70/107.29	c bounds 957 >= 0 @ 28.5232
106.70/107.29	c bounds 934 >= 0 @ 28.5347
106.70/107.29	c bounds 933 >= 0 @ 29.6523
106.70/107.29	c #Conflicts:       3000 | #Constraints:     658949
106.70/107.29	c #Conflicts:       4000 | #Constraints:     659965
106.70/107.29	c INPROCESSING
106.70/107.29	c GARBAGE COLLECT
106.70/107.29	c bounds 921 >= 0 @ 67.0483
106.70/107.29	c bounds 904 >= 0 @ 67.0591
106.70/107.29	c bounds 895 >= 0 @ 67.0695
106.70/107.29	c bounds 892 >= 0 @ 67.0794
106.70/107.29	c bounds 888 >= 0 @ 67.173
106.70/107.29	c bounds 882 >= 0 @ 67.2798
106.70/107.29	c bounds 874 >= 0 @ 67.377
106.70/107.29	c bounds 871 >= 0 @ 67.3991
106.70/107.29	c bounds 869 >= 0 @ 67.4217
106.70/107.29	c bounds 862 >= 0 @ 67.4382
106.70/107.29	c bounds 861 >= 0 @ 67.454
106.70/107.29	c bounds 860 >= 0 @ 67.4723
106.70/107.29	c bounds 852 >= 0 @ 67.5905
106.70/107.29	c bounds 841 >= 0 @ 67.6275
106.70/107.29	c bounds 828 >= 0 @ 67.852
106.70/107.29	c bounds 817 >= 0 @ 67.8767
106.70/107.29	c bounds 813 >= 0 @ 68.1141
106.70/107.29	c bounds 810 >= 0 @ 68.1442
106.70/107.29	c bounds 808 >= 0 @ 68.1618
106.70/107.29	c bounds 807 >= 0 @ 68.3222
106.70/107.29	c bounds 802 >= 0 @ 68.3433
106.70/107.29	c bounds 799 >= 0 @ 68.5934
106.70/107.29	c bounds 797 >= 0 @ 69.1393
106.70/107.29	c bounds 783 >= 0 @ 69.3972
106.70/107.29	c bounds 782 >= 0 @ 72.6541
106.70/107.29	c bounds 775 >= 0 @ 72.7654
106.70/107.29	c bounds 773 >= 0 @ 73.1489
106.70/107.29	c bounds 760 >= 0 @ 73.1795
106.70/107.29	c bounds 740 >= 0 @ 73.3606
106.70/107.29	c #Conflicts:       5000 | #Constraints:     659390
106.70/107.29	c bounds 726 >= 0 @ 76.0398
106.70/107.29	c bounds 721 >= 0 @ 77.5368
106.70/107.29	c bounds 717 >= 0 @ 78.0667
106.70/107.29	c bounds 715 >= 0 @ 80.328
106.70/107.29	c #Conflicts:       6000 | #Constraints:     660416
106.70/107.29	c INPROCESSING
106.70/107.29	c GARBAGE COLLECT
106.70/107.29	c bounds 713 >= 0 @ 85.8662
106.70/107.29	c #Conflicts:       7000 | #Constraints:     659365
106.70/107.29	c bounds 712 >= 0 @ 93.8806
106.70/107.29	c bounds 706 >= 0 @ 94.7073
106.70/107.29	c bounds 694 >= 0 @ 94.7468
106.70/107.29	c bounds 651 >= 0 @ 94.7846
106.70/107.29	c bounds 617 >= 0 @ 95.0006
106.70/107.29	c #Conflicts:       8000 | #Constraints:     660382
106.70/107.29	c #Conflicts:       9000 | #Constraints:     661382
106.70/107.29	c bounds 570 >= 0 @ 97.876
106.70/107.29	c INPROCESSING
106.70/107.29	c GARBAGE COLLECT
106.70/107.29	c rational objective 165.75
120.46/121.04	c bounds 499 >= 0 @ 105.874
120.46/121.04	c #Conflicts:      10000 | #Constraints:     660043
120.46/121.04	c #Conflicts:      11000 | #Constraints:     661043
120.46/121.04	c #Conflicts:      12000 | #Constraints:     662043
120.46/121.04	c INPROCESSING
120.46/121.04	c rational objective 165.75
149.57/150.29	c bounds 495 >= 0 @ 118.451
149.57/150.29	c bounds 489 >= 0 @ 118.475
149.57/150.29	c bounds 483 >= 0 @ 118.52
149.57/150.29	c bounds 476 >= 0 @ 118.54
149.57/150.29	c bounds 475 >= 0 @ 118.555
149.57/150.29	c bounds 472 >= 0 @ 118.577
149.57/150.29	c bounds 469 >= 0 @ 120.431
149.57/150.29	c bounds 466 >= 0 @ 120.45
149.57/150.29	c bounds 461 >= 0 @ 121.039
149.57/150.29	c bounds 457 >= 0 @ 122.922
149.57/150.29	c #Conflicts:      13000 | #Constraints:     660505
149.57/150.29	c #Conflicts:      14000 | #Constraints:     661505
149.57/150.29	c #Conflicts:      15000 | #Constraints:     662505
149.57/150.29	c INPROCESSING
149.57/150.29	c GARBAGE COLLECT
149.57/150.29	c bounds 453 >= 0 @ 133.152
149.57/150.29	c #Conflicts:      16000 | #Constraints:     660714
149.57/150.29	c #Conflicts:      17000 | #Constraints:     661714
149.57/150.29	c #Conflicts:      18000 | #Constraints:     662714
149.57/150.29	c INPROCESSING
149.57/150.29	c GARBAGE COLLECT
149.57/150.29	c rational objective 165.75
177.20/177.98	c bounds 452 >= 0 @ 150.02
177.20/177.98	c bounds 452 >= 5 @ 151.37
177.20/177.98	c #Conflicts:      19000 | #Constraints:     660726
177.20/177.98	c #Conflicts:      20000 | #Constraints:     661726
177.20/177.98	c #Conflicts:      21000 | #Constraints:     662726
177.20/177.98	c INPROCESSING
177.20/177.98	c GARBAGE COLLECT
177.20/177.98	c rational objective 165.75
216.98/217.83	c bounds 451 >= 5 @ 174.311
216.98/217.83	c #Conflicts:      22000 | #Constraints:     660551
216.98/217.83	c #Conflicts:      23000 | #Constraints:     661560
216.98/217.83	c #Conflicts:      24000 | #Constraints:     662576
216.98/217.83	c bounds 450 >= 5 @ 202.097
216.98/217.83	c bounds 450 >= 9 @ 202.127
216.98/217.83	c #Conflicts:      25000 | #Constraints:     663581
216.98/217.83	c INPROCESSING
216.98/217.83	c GARBAGE COLLECT
216.98/217.83	c rational objective 167
231.74/232.62	c #Conflicts:      26000 | #Constraints:     661163
231.74/232.62	c #Conflicts:      27000 | #Constraints:     662163
231.74/232.62	c #Conflicts:      28000 | #Constraints:     663163
231.74/232.62	c #Conflicts:      29000 | #Constraints:     664163
231.74/232.62	c INPROCESSING
231.74/232.62	c rational objective 167
249.10/250.09	c #Conflicts:      30000 | #Constraints:     661545
249.10/250.09	c #Conflicts:      31000 | #Constraints:     662545
249.10/250.09	c #Conflicts:      32000 | #Constraints:     663545
249.10/250.09	c #Conflicts:      33000 | #Constraints:     664545
249.10/250.09	c INPROCESSING
249.10/250.09	c GARBAGE COLLECT
249.10/250.09	c rational objective 167
266.55/267.54	c #Conflicts:      34000 | #Constraints:     661754
266.55/267.54	c #Conflicts:      35000 | #Constraints:     662754
266.55/267.54	c #Conflicts:      36000 | #Constraints:     663754
266.55/267.54	c #Conflicts:      37000 | #Constraints:     664754
266.55/267.54	c INPROCESSING
266.55/267.54	c GARBAGE COLLECT
266.55/267.54	c rational objective 167
284.60/285.61	c #Conflicts:      38000 | #Constraints:     661756
284.60/285.61	c #Conflicts:      39000 | #Constraints:     662756
284.60/285.61	c #Conflicts:      40000 | #Constraints:     663756
284.60/285.61	c bounds 448 >= 9 @ 272.516
284.60/285.61	c #Conflicts:      41000 | #Constraints:     664757
284.60/285.61	c INPROCESSING
284.60/285.61	c GARBAGE COLLECT
284.60/285.61	c rational objective 167
304.84/305.96	c #Conflicts:      42000 | #Constraints:     661551
304.84/305.96	c #Conflicts:      43000 | #Constraints:     662551
304.84/305.96	c #Conflicts:      44000 | #Constraints:     663551
304.84/305.96	c #Conflicts:      45000 | #Constraints:     664551
304.84/305.96	c #Conflicts:      46000 | #Constraints:     665551
304.84/305.96	c INPROCESSING
304.84/305.96	c GARBAGE COLLECT
304.84/305.96	c rational objective 167
330.47/331.62	c #Conflicts:      47000 | #Constraints:     662154
330.47/331.62	c #Conflicts:      48000 | #Constraints:     663154
330.47/331.62	c #Conflicts:      49000 | #Constraints:     664154
330.47/331.62	c #Conflicts:      50000 | #Constraints:     665154
330.47/331.62	c #Conflicts:      51000 | #Constraints:     666154
330.47/331.62	c INPROCESSING
330.47/331.62	c GARBAGE COLLECT
330.47/331.62	c rational objective 167
350.71/351.96	c #Conflicts:      52000 | #Constraints:     662555
350.71/351.96	c #Conflicts:      53000 | #Constraints:     663555
350.71/351.96	c #Conflicts:      54000 | #Constraints:     664555
350.71/351.96	c #Conflicts:      55000 | #Constraints:     665555
350.71/351.96	c #Conflicts:      56000 | #Constraints:     666555
350.71/351.96	c INPROCESSING
350.71/351.96	c GARBAGE COLLECT
350.71/351.96	c rational objective 167
375.15/376.40	c #Conflicts:      57000 | #Constraints:     662761
375.15/376.40	c #Conflicts:      58000 | #Constraints:     663761
375.15/376.40	c #Conflicts:      59000 | #Constraints:     664761
375.15/376.40	c #Conflicts:      60000 | #Constraints:     665761
375.15/376.40	c #Conflicts:      61000 | #Constraints:     666761
375.15/376.40	c INPROCESSING
375.15/376.40	c GARBAGE COLLECT
375.15/376.40	c rational objective 167
398.98/400.32	c #Conflicts:      62000 | #Constraints:     662769
398.98/400.32	c #Conflicts:      63000 | #Constraints:     663769
398.98/400.32	c #Conflicts:      64000 | #Constraints:     664769
398.98/400.32	c #Conflicts:      65000 | #Constraints:     665769
398.98/400.32	c #Conflicts:      66000 | #Constraints:     666769
398.98/400.32	c INPROCESSING
398.98/400.32	c GARBAGE COLLECT
398.98/400.32	c rational objective 167
456.42/457.95	c bounds 442 >= 9 @ 393.702
456.42/457.95	c #Conflicts:      67000 | #Constraints:     662570
456.42/457.95	c #Conflicts:      68000 | #Constraints:     663592
456.42/457.95	c bounds 441 >= 9 @ 405.507
456.42/457.95	c bounds 441 >= 11 @ 405.518
456.42/457.95	c bounds 441 >= 13 @ 405.532
456.42/457.95	c bounds 441 >= 15 @ 405.547
456.42/457.95	c bounds 441 >= 17 @ 405.563
456.42/457.95	c bounds 441 >= 19 @ 405.576
456.42/457.95	c bounds 441 >= 21 @ 405.597
456.42/457.95	c bounds 441 >= 23 @ 405.617
456.42/457.95	c bounds 441 >= 25 @ 405.637
456.42/457.95	c bounds 441 >= 27 @ 406.95
456.42/457.95	c bounds 441 >= 29 @ 407.818
456.42/457.95	c #Conflicts:      69000 | #Constraints:     664647
456.42/457.95	c bounds 441 >= 31 @ 416.969
456.42/457.95	c #Conflicts:      70000 | #Constraints:     665664
456.42/457.95	c #Conflicts:      71000 | #Constraints:     666664
456.42/457.95	c #Conflicts:      72000 | #Constraints:     667664
456.42/457.95	c INPROCESSING
456.42/457.95	c GARBAGE COLLECT
456.42/457.95	c rational objective 167
551.86/553.63	c bounds 440 >= 31 @ 451.099
551.86/553.63	c bounds 437 >= 31 @ 451.204
551.86/553.63	c bounds 435 >= 31 @ 453.993
551.86/553.63	c bounds 434 >= 31 @ 455.199
551.86/553.63	c bounds 427 >= 31 @ 455.362
551.86/553.63	c bounds 422 >= 31 @ 455.723
551.86/553.63	c bounds 420 >= 31 @ 455.861
551.86/553.63	c bounds 414 >= 31 @ 456.092
551.86/553.63	c bounds 413 >= 31 @ 457.147
551.86/553.63	c bounds 412 >= 31 @ 457.972
551.86/553.63	c #Conflicts:      73000 | #Constraints:     663286
551.86/553.63	c bounds 411 >= 31 @ 459.371
551.86/553.63	c #Conflicts:      74000 | #Constraints:     664311
551.86/553.63	c #Conflicts:      75000 | #Constraints:     665322
551.86/553.63	c #Conflicts:      76000 | #Constraints:     666329
551.86/553.63	c #Conflicts:      77000 | #Constraints:     667353
551.86/553.63	c bounds 408 >= 31 @ 526.711
551.86/553.63	c bounds 408 >= 32 @ 526.755
551.86/553.63	c bounds 408 >= 33 @ 526.81
551.86/553.63	c bounds 408 >= 34 @ 526.87
551.86/553.63	c bounds 408 >= 35 @ 526.933
551.86/553.63	c bounds 408 >= 36 @ 526.99
551.86/553.63	c bounds 408 >= 37 @ 527.04
551.86/553.63	c bounds 408 >= 38 @ 527.088
551.86/553.63	c bounds 408 >= 39 @ 527.144
551.86/553.63	c bounds 408 >= 40 @ 527.197
551.86/553.63	c bounds 408 >= 41 @ 527.262
551.86/553.63	c bounds 408 >= 42 @ 527.325
551.86/553.63	c bounds 408 >= 43 @ 527.383
551.86/553.63	c bounds 408 >= 44 @ 527.45
551.86/553.63	c bounds 408 >= 45 @ 527.523
551.86/553.63	c bounds 408 >= 46 @ 527.593
551.86/553.63	c bounds 408 >= 47 @ 527.679
551.86/553.63	c bounds 408 >= 48 @ 527.815
551.86/553.63	c bounds 408 >= 49 @ 528.03
551.86/553.63	c bounds 408 >= 50 @ 532.012
551.86/553.63	c bounds 408 >= 51 @ 532.211
551.86/553.63	c bounds 408 >= 52 @ 532.296
551.86/553.63	c bounds 408 >= 53 @ 532.588
551.86/553.63	c bounds 408 >= 54 @ 532.832
551.86/553.63	c bounds 408 >= 55 @ 533.37
551.86/553.63	c bounds 408 >= 56 @ 533.974
551.86/553.63	c bounds 408 >= 57 @ 534.794
551.86/553.63	c bounds 408 >= 58 @ 537.518
551.86/553.63	c bounds 408 >= 59 @ 540.925
551.86/553.63	c #Conflicts:      78000 | #Constraints:     668587
551.86/553.63	c INPROCESSING
551.86/553.63	c GARBAGE COLLECT
551.86/553.63	c rational objective 167
596.34/598.25	c bounds 408 >= 60 @ 545.409
596.34/598.25	c bounds 408 >= 61 @ 548.165
596.34/598.25	c #Conflicts:      79000 | #Constraints:     663962
596.34/598.25	c bounds 408 >= 62 @ 552.185
596.34/598.25	c #Conflicts:      80000 | #Constraints:     664985
596.34/598.25	c bounds 408 >= 63 @ 554.73
596.34/598.25	c bounds 408 >= 64 @ 559.883
596.34/598.25	c #Conflicts:      81000 | #Constraints:     666037
596.34/598.25	c bounds 408 >= 65 @ 566.699
596.34/598.25	c #Conflicts:      82000 | #Constraints:     667060
596.34/598.25	c bounds 408 >= 66 @ 571.612
596.34/598.25	c #Conflicts:      83000 | #Constraints:     668083
596.34/598.25	c bounds 408 >= 67 @ 580.893
596.34/598.25	c #Conflicts:      84000 | #Constraints:     669106
596.34/598.25	c INPROCESSING
596.34/598.25	c GARBAGE COLLECT
596.34/598.25	c rational objective 167
651.48/653.55	c bounds 408 >= 68 @ 590.823
651.48/653.55	c #Conflicts:      85000 | #Constraints:     664321
651.48/653.55	c bounds 408 >= 69 @ 601.214
651.48/653.55	c #Conflicts:      86000 | #Constraints:     665344
651.48/653.55	c #Conflicts:      87000 | #Constraints:     666344
651.48/653.55	c bounds 408 >= 70 @ 616.138
651.48/653.55	c #Conflicts:      88000 | #Constraints:     667364
651.48/653.55	c #Conflicts:      89000 | #Constraints:     668364
651.48/653.55	c #Conflicts:      90000 | #Constraints:     669364
651.48/653.55	c INPROCESSING
651.48/653.55	c GARBAGE COLLECT
651.48/653.55	c rational objective 167
748.42/750.78	c #Conflicts:      91000 | #Constraints:     664366
748.42/750.78	c #Conflicts:      92000 | #Constraints:     665366
748.42/750.78	c #Conflicts:      93000 | #Constraints:     666366
748.42/750.78	c #Conflicts:      94000 | #Constraints:     667366
748.42/750.78	c #Conflicts:      95000 | #Constraints:     668366
748.42/750.78	c #Conflicts:      96000 | #Constraints:     669366
748.42/750.78	c INPROCESSING
748.42/750.78	c GARBAGE COLLECT
748.42/750.78	c rational objective 167
810.84/813.30	c bounds 408 >= 71 @ 739.917
810.84/813.30	c #Conflicts:      97000 | #Constraints:     664210
810.84/813.30	c #Conflicts:      98000 | #Constraints:     665210
810.84/813.30	c #Conflicts:      99000 | #Constraints:     666210
810.84/813.30	c bounds 408 >= 72 @ 759.465
810.84/813.30	c #Conflicts:     100000 | #Constraints:     667242
810.84/813.30	c #Conflicts:     101000 | #Constraints:     668242
810.84/813.30	c bounds 408 >= 73 @ 778.778
810.84/813.30	c #Conflicts:     102000 | #Constraints:     669268
810.84/813.30	c #Conflicts:     103000 | #Constraints:     670268
810.84/813.30	c INPROCESSING
810.84/813.30	c GARBAGE COLLECT
810.84/813.30	c rational objective 167
875.87/878.54	c #Conflicts:     104000 | #Constraints:     664847
875.87/878.54	c #Conflicts:     105000 | #Constraints:     665847
875.87/878.54	c #Conflicts:     106000 | #Constraints:     666847
875.87/878.54	c #Conflicts:     107000 | #Constraints:     667847
875.87/878.54	c bounds 408 >= 74 @ 830.46
875.87/878.54	c #Conflicts:     108000 | #Constraints:     668885
875.87/878.54	c #Conflicts:     109000 | #Constraints:     669885
875.87/878.54	c #Conflicts:     110000 | #Constraints:     670885
875.87/878.54	c INPROCESSING
875.87/878.54	c GARBAGE COLLECT
875.87/878.54	c rational objective 167.35
968.90/971.82	c bounds 406 >= 74 @ 871.774
968.90/971.82	c bounds 405 >= 74 @ 872.112
968.90/971.82	c bounds 404 >= 74 @ 872.405
968.90/971.82	c bounds 401 >= 74 @ 872.465
968.90/971.82	c bounds 397 >= 74 @ 873.645
968.90/971.82	c #Conflicts:     111000 | #Constraints:     665300
968.90/971.82	c bounds 386 >= 74 @ 874.397
968.90/971.82	c bounds 385 >= 74 @ 876.834
968.90/971.82	c bounds 381 >= 74 @ 878.385
968.90/971.82	c #Conflicts:     112000 | #Constraints:     666325
968.90/971.82	c bounds 380 >= 74 @ 887.312
968.90/971.82	c #Conflicts:     113000 | #Constraints:     667336
968.90/971.82	c bounds 379 >= 74 @ 902.339
968.90/971.82	c #Conflicts:     114000 | #Constraints:     668342
968.90/971.82	c #Conflicts:     115000 | #Constraints:     669342
968.90/971.82	c #Conflicts:     116000 | #Constraints:     670342
968.90/971.82	c bounds 379 >= 75 @ 944.164
968.90/971.82	c #Conflicts:     117000 | #Constraints:     671383
968.90/971.82	c INPROCESSING
968.90/971.82	c GARBAGE COLLECT
968.90/971.82	c rational objective 167.45
1050.47/1053.65	c #Conflicts:     118000 | #Constraints:     665548
1050.47/1053.65	c #Conflicts:     119000 | #Constraints:     666548
1050.47/1053.65	c #Conflicts:     120000 | #Constraints:     667548
1050.47/1053.65	c #Conflicts:     121000 | #Constraints:     668548
1050.47/1053.65	c #Conflicts:     122000 | #Constraints:     669548
1050.47/1053.65	c #Conflicts:     123000 | #Constraints:     670548
1050.47/1053.65	c bounds 379 >= 76 @ 1019.03
1050.47/1053.65	c bounds 378 >= 76 @ 1020.15
1050.47/1053.65	c #Conflicts:     124000 | #Constraints:     671586
1050.47/1053.65	c INPROCESSING
1050.47/1053.65	c GARBAGE COLLECT
1050.47/1053.65	c rational objective 167.481
1174.44/1177.99	c bounds 373 >= 76 @ 1034.88
1174.44/1177.99	c bounds 371 >= 76 @ 1035.39
1174.44/1177.99	c #Conflicts:     125000 | #Constraints:     665583
1174.44/1177.99	c #Conflicts:     126000 | #Constraints:     666596
1174.44/1177.99	c #Conflicts:     127000 | #Constraints:     667603
1174.44/1177.99	c #Conflicts:     128000 | #Constraints:     668614
1174.44/1177.99	c bounds 370 >= 76 @ 1103.04
1174.44/1177.99	c #Conflicts:     129000 | #Constraints:     669616
1174.44/1177.99	c #Conflicts:     130000 | #Constraints:     670616
1174.44/1177.99	c #Conflicts:     131000 | #Constraints:     671616
1174.44/1177.99	c INPROCESSING
1174.44/1177.99	c GARBAGE COLLECT
1174.44/1177.99	c rational objective 167.481
1263.69/1267.45	c #Conflicts:     132000 | #Constraints:     665389
1263.69/1267.45	c #Conflicts:     133000 | #Constraints:     666389
1263.69/1267.45	c #Conflicts:     134000 | #Constraints:     667389
1263.69/1267.45	c #Conflicts:     135000 | #Constraints:     668389
1263.69/1267.45	c #Conflicts:     136000 | #Constraints:     669389
1263.69/1267.45	c #Conflicts:     137000 | #Constraints:     670389
1263.69/1267.45	c bounds 370 >= 77 @ 1222.24
1263.69/1267.45	c #Conflicts:     138000 | #Constraints:     671445
1263.69/1267.45	c #Conflicts:     139000 | #Constraints:     672445
1263.69/1267.45	c INPROCESSING
1263.69/1267.45	c GARBAGE COLLECT
1263.69/1267.45	c rational objective 167.481
1357.16/1361.19	c #Conflicts:     140000 | #Constraints:     666053
1357.16/1361.19	c #Conflicts:     141000 | #Constraints:     667053
1357.16/1361.19	c #Conflicts:     142000 | #Constraints:     668053
1357.16/1361.19	c #Conflicts:     143000 | #Constraints:     669053
1357.16/1361.19	c #Conflicts:     144000 | #Constraints:     670053
1357.16/1361.19	c bounds 370 >= 78 @ 1304.66
1357.16/1361.19	c #Conflicts:     145000 | #Constraints:     671088
1357.16/1361.19	c #Conflicts:     146000 | #Constraints:     672088
1357.16/1361.19	c #Conflicts:     147000 | #Constraints:     673089
1357.16/1361.19	c INPROCESSING
1357.16/1361.19	c GARBAGE COLLECT
1357.16/1361.19	c rational objective 167.481
1628.73/1633.46	c #Conflicts:     148000 | #Constraints:     666467
1628.73/1633.46	c #Conflicts:     149000 | #Constraints:     667467
1628.73/1633.46	c #Conflicts:     150000 | #Constraints:     668467
1628.73/1633.46	c #Conflicts:     151000 | #Constraints:     669480
1628.73/1633.46	c #Conflicts:     152000 | #Constraints:     670488
1628.73/1633.46	c #Conflicts:     153000 | #Constraints:     671502
1628.73/1633.46	c #Conflicts:     154000 | #Constraints:     672512
1628.73/1633.46	c #Conflicts:     155000 | #Constraints:     673520
1628.73/1633.46	c INPROCESSING
1628.73/1633.46	c GARBAGE COLLECT
1628.73/1633.46	c #Conflicts:     156000 | #Constraints:     666696
1628.73/1633.46	c #Conflicts:     157000 | #Constraints:     667696
1628.73/1633.46	c #Conflicts:     158000 | #Constraints:     668696
1628.73/1633.46	c #Conflicts:     159000 | #Constraints:     669696
1628.73/1633.46	c #Conflicts:     160000 | #Constraints:     670696
1628.73/1633.46	c #Conflicts:     161000 | #Constraints:     671696
1628.73/1633.46	c #Conflicts:     162000 | #Constraints:     672696
1628.73/1633.46	c #Conflicts:     163000 | #Constraints:     673696
1628.73/1633.46	c INPROCESSING
1628.73/1633.46	c GARBAGE COLLECT
1628.73/1633.46	c rational objective 167.481
1734.24/1739.25	c #Conflicts:     164000 | #Constraints:     666700
1734.24/1739.25	c bounds 370 >= 79 @ 1618.81
1734.24/1739.25	c #Conflicts:     165000 | #Constraints:     667747
1734.24/1739.25	c #Conflicts:     166000 | #Constraints:     668747
1734.24/1739.25	c #Conflicts:     167000 | #Constraints:     669747
1734.24/1739.25	c #Conflicts:     168000 | #Constraints:     670747
1734.24/1739.25	c #Conflicts:     169000 | #Constraints:     671747
1734.24/1739.25	c #Conflicts:     170000 | #Constraints:     672747
1734.24/1739.25	c #Conflicts:     171000 | #Constraints:     673747
1734.24/1739.25	c INPROCESSING
1734.24/1739.25	c GARBAGE COLLECT
1734.24/1739.25	c rational objective 167.481
1846.45/1851.79	c #Conflicts:     172000 | #Constraints:     666538
1846.45/1851.79	c #Conflicts:     173000 | #Constraints:     667538
1846.45/1851.79	c #Conflicts:     174000 | #Constraints:     668538
1846.45/1851.79	c #Conflicts:     175000 | #Constraints:     669538
1846.45/1851.79	c #Conflicts:     176000 | #Constraints:     670538
1846.45/1851.79	c #Conflicts:     177000 | #Constraints:     671538
1846.45/1851.79	c #Conflicts:     178000 | #Constraints:     672538
1846.45/1851.79	c #Conflicts:     179000 | #Constraints:     673538
1846.45/1851.79	c bounds 370 >= 80 @ 1798.15
1846.45/1851.79	c #Conflicts:     180000 | #Constraints:     674558
1846.45/1851.79	c INPROCESSING
1846.45/1851.79	c GARBAGE COLLECT
1846.45/1851.79	c rational objective 167.481
1963.54/1969.14	c #Conflicts:     181000 | #Constraints:     667151
1963.54/1969.14	c #Conflicts:     182000 | #Constraints:     668151
1963.54/1969.14	c #Conflicts:     183000 | #Constraints:     669151
1963.54/1969.14	c #Conflicts:     184000 | #Constraints:     670151
1963.54/1969.14	c #Conflicts:     185000 | #Constraints:     671151
1963.54/1969.14	c #Conflicts:     186000 | #Constraints:     672151
1963.54/1969.14	c #Conflicts:     187000 | #Constraints:     673151
1963.54/1969.14	c #Conflicts:     188000 | #Constraints:     674151
1963.54/1969.14	c #Conflicts:     189000 | #Constraints:     675151
1963.54/1969.14	c INPROCESSING
1963.54/1969.14	c GARBAGE COLLECT
1963.54/1969.14	c rational objective 167.481
2109.73/2115.73	c bounds 368 >= 80 @ 1935.51
2109.73/2115.73	c #Conflicts:     190000 | #Constraints:     667570
2109.73/2115.73	c #Conflicts:     191000 | #Constraints:     668577
2109.73/2115.73	c #Conflicts:     192000 | #Constraints:     669589
2109.73/2115.73	c bounds 366 >= 80 @ 1990.56
2109.73/2115.73	c #Conflicts:     193000 | #Constraints:     670597
2109.73/2115.73	c #Conflicts:     194000 | #Constraints:     671597
2109.73/2115.73	c #Conflicts:     195000 | #Constraints:     672597
2109.73/2115.73	c #Conflicts:     196000 | #Constraints:     673597
2109.73/2115.73	c #Conflicts:     197000 | #Constraints:     674597
2109.73/2115.73	c #Conflicts:     198000 | #Constraints:     675597
2109.73/2115.73	c INPROCESSING
2109.73/2115.73	c GARBAGE COLLECT
2109.73/2115.73	c rational objective 167.481
3600.06/3610.22	c #Conflicts:     199000 | #Constraints:     667780
3600.06/3610.22	c #Conflicts:     200000 | #Constraints:     668789
3600.06/3610.22	c #Conflicts:     201000 | #Constraints:     669805
3600.06/3610.22	c #Conflicts:     202000 | #Constraints:     670820
3600.06/3610.22	c #Conflicts:     203000 | #Constraints:     671831
3600.06/3610.22	c #Conflicts:     204000 | #Constraints:     672844
3600.06/3610.22	c #Conflicts:     205000 | #Constraints:     673854
3600.06/3610.22	c bounds 365 >= 80 @ 2186.19
3600.06/3610.22	c #Conflicts:     206000 | #Constraints:     674865
3600.06/3610.22	c #Conflicts:     207000 | #Constraints:     675865
3600.06/3610.22	c #Conflicts:     208000 | #Constraints:     676865
3600.06/3610.22	c #Conflicts:     209000 | #Constraints:     677865
3600.06/3610.22	c #Conflicts:     210000 | #Constraints:     678865
3600.06/3610.22	c #Conflicts:     211000 | #Constraints:     679865
3600.06/3610.22	c #Conflicts:     212000 | #Constraints:     680865
3600.06/3610.22	c #Conflicts:     213000 | #Constraints:     681865
3600.06/3610.22	c #Conflicts:     214000 | #Constraints:     682865
3600.06/3610.22	c #Conflicts:     215000 | #Constraints:     683865
3600.06/3610.22	c #Conflicts:     216000 | #Constraints:     684865
3600.06/3610.22	c #Conflicts:     217000 | #Constraints:     685865
3600.06/3610.22	c #Conflicts:     218000 | #Constraints:     686865
3600.06/3610.22	c bounds 365 >= 81 @ 2578.83
3600.06/3610.22	c bounds 364 >= 81 @ 2579.2
3600.06/3610.22	c #Conflicts:     219000 | #Constraints:     687915
3600.06/3610.22	c #Conflicts:     220000 | #Constraints:     688923
3600.06/3610.22	c #Conflicts:     221000 | #Constraints:     689930
3600.06/3610.22	c #Conflicts:     222000 | #Constraints:     690937
3600.06/3610.22	c #Conflicts:     223000 | #Constraints:     691943
3600.06/3610.22	c #Conflicts:     224000 | #Constraints:     692949
3600.06/3610.22	c #Conflicts:     225000 | #Constraints:     693956
3600.06/3610.22	c #Conflicts:     226000 | #Constraints:     694962
3600.06/3610.22	c #Conflicts:     227000 | #Constraints:     695970
3600.06/3610.22	c #Conflicts:     228000 | #Constraints:     696977
3600.06/3610.22	c #Conflicts:     229000 | #Constraints:     697985
3600.06/3610.22	c #Conflicts:     230000 | #Constraints:     698993
3600.06/3610.22	c #Conflicts:     231000 | #Constraints:     700002
3600.06/3610.22	c bounds 362 >= 81 @ 2901
3600.06/3610.22	c #Conflicts:     232000 | #Constraints:     701005
3600.06/3610.22	c #Conflicts:     233000 | #Constraints:     702005
3600.06/3610.22	c #Conflicts:     234000 | #Constraints:     703005
3600.06/3610.22	c #Conflicts:     235000 | #Constraints:     704005
3600.06/3610.22	c #Conflicts:     236000 | #Constraints:     705005
3600.06/3610.22	c #Conflicts:     237000 | #Constraints:     706005
3600.06/3610.22	c #Conflicts:     238000 | #Constraints:     707005
3600.06/3610.22	c #Conflicts:     239000 | #Constraints:     708005
3600.06/3610.22	c #Conflicts:     240000 | #Constraints:     709005
3600.06/3610.22	c Program interrupted by user.
3600.06/3610.22	c cpu time 3558.82 s
3600.06/3610.22	c deterministic time 343923508750 3.44e+11
3600.06/3610.22	c optimization time 658.75 s
3600.06/3610.22	c total solve time 2898.36 s
3600.06/3610.22	c core-guided solve time 1827.74 s
3600.06/3610.22	c propagation time 2191.23 s
3600.06/3610.22	c conflict analysis time 1069.84 s
3600.06/3610.22	c propagations 89873818
3600.06/3610.22	c resolve steps 3650074
3600.06/3610.22	c decisions 14094420
3600.06/3610.22	c conflicts 240086
3600.06/3610.22	c restarts 551
3600.06/3610.22	c inprocessing phases 36
3600.06/3610.22	c input clauses 657177
3600.06/3610.22	c input cardinalities 63
3600.06/3610.22	c input general constraints 881
3600.06/3610.22	c input average constraint length 7.14
3600.06/3610.22	c input average constraint degree 201.18
3600.06/3610.22	c learned clauses 109751
3600.06/3610.22	c learned cardinalities 14
3600.06/3610.22	c learned general constraints 130969
3600.06/3610.22	c learned average constraint length 3801.36
3600.06/3610.22	c learned average constraint degree 68242838485.11
3600.06/3610.22	c watched constraints 25395
3600.06/3610.22	c counting constraints 106455
3600.06/3610.22	c gcd simplifications 3845
3600.06/3610.22	c detected cardinalities 0
3600.06/3610.22	c weakened non-implied lits 329004044
3600.06/3610.22	c weakened non-implying lits 80377
3600.06/3610.22	c original variables 10000
3600.06/3610.22	c clausal propagations 21013934
3600.06/3610.22	c cardinality propagations 102473
3600.06/3610.22	c watched propagations 2622996
3600.06/3610.22	c counting propagations 65382944
3600.06/3610.22	c watch lookups 31861635392
3600.06/3610.22	c watch backjump lookups 31680671182
3600.06/3610.22	c watch checks 121824881563
3600.06/3610.22	c propagation checks 153768656622
3600.06/3610.22	c constraint additions 4579174292
3600.06/3610.22	c trail pops 104198467
3600.06/3610.22	c formula constraints 656900
3600.06/3610.22	c learned constraints 239450
3600.06/3610.22	c bound constraints 267
3600.06/3610.22	c core-guided constraints 954
3600.06/3610.22	c encountered formula constraints 1932666
3600.06/3610.22	c encountered learned constraints 1479796
3600.06/3610.22	c encountered bound constraints 4613
3600.06/3610.22	c encountered core-guided constraints 427309
3600.06/3610.22	c LP total time 581.224 s
3600.06/3610.22	c LP solve time 554.86 s
3600.06/3610.22	c LP constraints added 656915
3600.06/3610.22	c LP constraints removed 4
3600.06/3610.22	c LP pivots internal 240381
3600.06/3610.22	c LP pivots root 82612
3600.06/3610.22	c LP calls 1310
3600.06/3610.22	c LP optimalities 664
3600.06/3610.22	c LP no pivot count 199
3600.06/3610.22	c LP infeasibilities 642
3600.06/3610.22	c LP valid Farkas constraints 642
3600.06/3610.22	c LP learned Farkas constraints 642
3600.06/3610.22	c LP basis resets 0
3600.06/3610.22	c LP cycling count 0
3600.06/3610.22	c LP singular count 0
3600.06/3610.22	c LP no primal count 0
3600.06/3610.22	c LP no farkas count 0
3600.06/3610.22	c LP other issue count 0
3600.06/3610.22	c LP Gomory cuts 0
3600.06/3610.22	c LP learned cuts 15
3600.06/3610.22	c LP deleted cuts 4
3600.06/3610.22	c LP encountered Gomory constraints 0
3600.06/3610.22	c LP encountered Farkas constraints 43740
3600.06/3610.22	c LP encountered learned Farkas constraints 1394
3600.06/3610.22	c CG auxiliary variables introduced 339
3600.06/3610.22	c CG solutions found 267
3600.06/3610.22	c CG cores constructed 63
3600.06/3610.22	c CG core cardinality constraints returned 0
3600.06/3610.22	c CG unit cores 0
3600.06/3610.22	c CG single cores 59
3600.06/3610.22	c CG blocks removed during cardinality reduction 0
3600.06/3610.22	c CG first core best 0
3600.06/3610.22	c CG decision core best 0
3600.06/3610.22	c CG core reduction tie 4
3600.06/3610.22	c CG core degree average 1.00
3600.06/3610.22	c CG core slack average 840.25
3600.06/3610.22	s SATISFIABLE
3600.06/3610.22	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 -x9

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10008 s]*
/proc/loadavg: 0.43 0.15 0.11 3/258 7329
/proc/meminfo: memFree=130369028/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/7328/stat : 7328 (roundingsat) D 7325 7328 7255 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 676665 38273024 670 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.204203 s]*
/proc/loadavg: 0.43 0.15 0.11 4/258 7329
/proc/meminfo: memFree=130367040/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=41856 memory=9528 CPUtime=0 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 1410 0 0 0 0 0 0 0 20 0 1 0 676665 42860544 2382 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 10464 2382 1364 992 0 2322 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 41856 KiB
Current children cumulated memory: 9528 KiB

[startup+0.304309 s]*
/proc/loadavg: 0.43 0.15 0.11 5/255 7333
/proc/meminfo: memFree=130358740/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=41212 memory=11640 CPUtime=0.1 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 1580 0 0 0 7 3 0 0 20 0 1 0 676665 42201088 2910 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 10303 2910 1396 992 0 2161 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11640 KiB

[startup+0.700164 s]
/proc/loadavg: 0.43 0.15 0.11 4/253 7337
/proc/meminfo: memFree=130344264/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=52364 memory=20500 CPUtime=0.48 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 3759 0 0 0 35 13 0 0 20 0 1 0 676665 53620736 5125 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 13091 5125 1396 992 0 4949 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 52364 KiB
Current children cumulated memory: 20500 KiB

[startup+1.50017 s]
/proc/loadavg: 0.43 0.15 0.11 4/253 7337
/proc/meminfo: memFree=130313872/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=79476 memory=40588 CPUtime=1.28 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 7247 0 0 0 95 33 0 0 20 0 1 0 676665 81383424 10147 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 19869 10147 1396 992 0 11727 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 79476 KiB
Current children cumulated memory: 40588 KiB

[startup+3.10563 s]
/proc/loadavg: 0.43 0.15 0.11 4/256 7376
/proc/meminfo: memFree=129713220/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=361156 memory=329560 CPUtime=2.89 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 59440 0 0 0 230 59 0 0 20 0 1 0 676665 369823744 82390 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 90289 82390 1746 992 0 82147 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 329560 KiB

[startup+6.30018 s]
/proc/loadavg: 0.71 0.22 0.13 4/258 7613
/proc/meminfo: memFree=129686704/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=372376 memory=320496 CPUtime=6.07 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 60646 0 0 0 535 72 0 0 20 0 1 0 676665 381313024 80124 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 93094 80124 1894 992 0 84952 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 372376 KiB
Current children cumulated memory: 320496 KiB

[startup+12.7002 s]
/proc/loadavg: 0.98 0.28 0.15 5/258 7660
/proc/meminfo: memFree=129290812/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=459008 memory=411088 CPUtime=12.45 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 72728 0 0 0 1122 123 0 0 20 0 1 0 676665 470024192 102772 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 114752 102772 1894 992 0 106610 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 459008 KiB
Current children cumulated memory: 411088 KiB

[startup+25.5002 s]
/proc/loadavg: 1.65 0.46 0.22 5/261 7666
/proc/meminfo: memFree=129088544/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=475900 memory=446748 CPUtime=25.22 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 76588 0 0 0 2395 127 0 0 20 0 1 0 676665 487321600 111687 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 118975 111687 1894 992 0 110833 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 475900 KiB
Current children cumulated memory: 446748 KiB

[startup+51.1056 s]
/proc/loadavg: 2.52 0.77 0.32 5/261 7669
/proc/meminfo: memFree=127833052/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=578216 memory=545860 CPUtime=50.76 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 86637 0 0 0 4905 171 0 0 20 0 1 0 676665 592093184 136465 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 144554 136465 1894 992 0 136412 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 578216 KiB
Current children cumulated memory: 545860 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.27 0.52 5/261 7828
/proc/meminfo: memFree=126734084/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=780692 memory=713240 CPUtime=101.82 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 103726 0 0 0 9929 253 0 0 20 0 1 0 676665 799428608 178310 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 195173 178310 1894 992 0 187031 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 780692 KiB
Current children cumulated memory: 713240 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.78 0.74 5/261 7838
/proc/meminfo: memFree=126289784/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=890500 memory=781020 CPUtime=161.64 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 107304 0 0 0 15825 339 0 0 20 0 1 0 676665 911872000 195255 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 222625 195255 1910 992 0 214483 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 890500 KiB
Current children cumulated memory: 781020 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.22 0.96 5/261 7849
/proc/meminfo: memFree=124786500/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=1242752 memory=1124724 CPUtime=221.47 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 148410 0 0 0 21705 442 0 0 20 0 1 0 676665 1272578048 281181 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 310688 281181 1910 992 0 302546 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1242752 KiB
Current children cumulated memory: 1124724 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.56 1.16 5/260 7859
/proc/meminfo: memFree=123434944/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=1247888 memory=1125016 CPUtime=281.31 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 148537 0 0 0 27631 500 0 0 20 0 1 0 676665 1277837312 281254 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 311972 281254 1910 992 0 303830 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1247888 KiB
Current children cumulated memory: 1125016 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.84 1.35 5/259 7870
/proc/meminfo: memFree=122573480/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=1247888 memory=1125028 CPUtime=341.14 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 148714 0 0 0 33554 560 0 0 20 0 1 0 676665 1277837312 281257 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 311972 281257 1910 992 0 303830 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 1247888 KiB
Current children cumulated memory: 1125028 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.07 1.52 5/258 7881
/proc/meminfo: memFree=122226648/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=1247888 memory=1125032 CPUtime=400.97 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 148897 0 0 0 39474 623 0 0 20 0 1 0 676665 1277837312 281258 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 311972 281258 1910 992 0 303830 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1247888 KiB
Current children cumulated memory: 1125032 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.26 1.68 5/258 7891
/proc/meminfo: memFree=121127796/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=1553184 memory=1279988 CPUtime=460.81 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 165971 0 0 0 45355 726 0 0 20 0 1 0 676665 1590460416 319997 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 388296 319997 1910 992 0 380154 0

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


[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.05 5/260 8993
/proc/meminfo: memFree=65419552/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5310432 memory=4386760 CPUtime=3093.61 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 551590 0 0 0 305437 3924 0 0 20 0 1 0 676665 5437882368 1096690 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1327608 1096690 1910 992 0 1319466 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 5310432 KiB
Current children cumulated memory: 4386760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.05 5/260 9003
/proc/meminfo: memFree=64439748/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5322492 memory=4424540 CPUtime=3153.44 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 556294 0 0 0 311398 3946 0 0 20 0 1 0 676665 5450231808 1106135 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1330623 1106135 1910 992 0 1322481 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 5322492 KiB
Current children cumulated memory: 4424540 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.05 5/259 9013
/proc/meminfo: memFree=63515704/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5346432 memory=4466544 CPUtime=3213.27 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 561562 0 0 0 317354 3973 0 0 20 0 1 0 676665 5474746368 1116636 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1336608 1116636 1910 992 0 1328466 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 5346432 KiB
Current children cumulated memory: 4466544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/259 9023
/proc/meminfo: memFree=62782896/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5359744 memory=4509468 CPUtime=3273.1 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 564510 0 0 0 323311 3999 0 0 20 0 1 0 676665 5488377856 1127367 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1339936 1127367 1910 992 0 1331794 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 5359744 KiB
Current children cumulated memory: 4509468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.05 5/260 9035
/proc/meminfo: memFree=62417868/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5373080 memory=4543532 CPUtime=3332.92 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 567089 0 0 0 329271 4021 0 0 20 0 1 0 676665 5502033920 1135883 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1343270 1135883 1910 992 0 1335128 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 5373080 KiB
Current children cumulated memory: 4543532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/259 9428
/proc/meminfo: memFree=61788920/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5382552 memory=4577744 CPUtime=3392.76 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 570248 0 0 0 335234 4042 0 0 20 0 1 0 676665 5511733248 1144436 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1345638 1144436 1910 992 0 1337496 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 5382552 KiB
Current children cumulated memory: 4577744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/259 9438
/proc/meminfo: memFree=61336264/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5397400 memory=4614444 CPUtime=3452.58 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 573058 0 0 0 341195 4063 0 0 20 0 1 0 676665 5526937600 1153611 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1349350 1153611 1910 992 0 1341208 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 5397400 KiB
Current children cumulated memory: 4614444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/259 9450
/proc/meminfo: memFree=60881096/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5411740 memory=4650060 CPUtime=3512.41 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 577662 0 0 0 347156 4085 0 0 20 0 1 0 676665 5541621760 1162515 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1352935 1162515 1910 992 0 1344793 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 5411740 KiB
Current children cumulated memory: 4650060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.15 4.08 5/261 9630
/proc/meminfo: memFree=60434816/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5416604 memory=4677348 CPUtime=3572.24 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 580225 0 0 0 353112 4112 0 0 20 0 1 0 676665 5546602496 1169337 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1354151 1169337 1910 992 0 1346009 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 5416604 KiB
Current children cumulated memory: 4677348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.26 4.16 4.08 5/260 9650
/proc/meminfo: memFree=62974136/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5427100 memory=4690488 CPUtime=3600.06 cores=1,3
/proc/7328/stat : 7328 (roundingsat) R 7325 7328 7255 0 -1 4194304 584492 0 0 0 355882 4124 0 0 20 0 1 0 676665 5557350400 1172622 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1356775 1172622 1910 992 0 1348633 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5427100 KiB
Current children cumulated memory: 4690488 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.24 4.15 4.08 3/256 9662
/proc/meminfo: memFree=62967484/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5427100 memory=4690488 CPUtime=3600.07 cores=1,3
/proc/7328/stat : 7328 (roundingsat) D 7325 7328 7255 0 -1 4194304 584501 0 1 0 355882 4125 0 0 20 0 1 0 676665 5557350400 1172622 134679101440 4194304 8255733 140734274154736 0 0 256 0 0 25182210 0 0 0 17 1 0 0 378 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1356775 1172622 1910 992 0 1348633 0
??? kill 7328 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3558.83 s, system=41.2829 s

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

[startup+3611.2 s]
/proc/loadavg: 4.24 4.15 4.08 4/260 9650
/proc/meminfo: memFree=62966340/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5427100 memory=4690488 CPUtime=3600.07 cores=1,3
/proc/7328/stat : 7328 (roundingsat) D 7325 7328 7255 0 -1 4194304 584501 0 1 0 355882 4125 0 0 20 0 1 0 676665 5557350400 1172622 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 90 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1356775 1172622 1910 992 0 1348633 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5427100 KiB
Current children cumulated memory: 4690488 KiB

[startup+3612 s]*
/proc/loadavg: 4.24 4.15 4.08 3/256 9662
/proc/meminfo: memFree=62967432/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5427100 memory=4690488 CPUtime=3600.07 cores=1,3
/proc/7328/stat : 7328 (roundingsat) D 7325 7328 7255 0 -1 4194304 584501 0 1 0 355882 4125 0 0 20 0 1 0 676665 5557350400 1172622 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 90 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1356775 1172622 1910 992 0 1348633 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5427100 KiB
Current children cumulated memory: 4690488 KiB

[startup+3612.2 s]
/proc/loadavg: 4.24 4.15 4.08 3/256 9662
/proc/meminfo: memFree=62967432/131524600 swapFree=131071996/131071996
[pid=7328] ppid=7325 vsize=5427100 memory=4690488 CPUtime=3600.07 cores=1,3
/proc/7328/stat : 7328 (roundingsat) D 7325 7328 7255 0 -1 4194304 584501 0 1 0 355882 4125 0 0 20 0 1 0 676665 5557350400 1172622 134679101440 4194304 8255733 140734274154736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 378 0 0 9037040 9046032 36761600 140734274159454 140734274159716 140734274159716 140734274166729 0
/proc/7328/statm: 1356775 1172622 1910 992 0 1348633 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5427100 KiB
Current children cumulated memory: 4690488 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3634.39
CPU time (s): 3600.11
CPU user time (s): 3558.83
CPU system time (s): 41.2829
CPU usage (%): 99.0566
Max. virtual memory (cumulated for all children) (KiB): 5427100
Max. memory (cumulated for all children) (KiB): 4690488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.83
system time used= 41.2829
maximum resident set size= 4691120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584501
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 84214248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1842
involuntary context switches= 5044


# summary of solver processes directly reported to runsolver:
#   pid: 7328
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3558.83
#   total CPU system time (s): 41.2829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10513 second user time and 17.1811 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-30 13:59:25
IDJOB=4462578
IDBENCH=147563
IDSOLVER=3089
FILE ID=nodeC026/4462578-1722340764
RUNJOBID= nodeC026-1722340763-7268
SLURM_JOB_ID= 8248999
Free space on /tmp= 890032 MiB

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

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130373208 kB
MemAvailable:   129953028 kB
Buffers:           39872 kB
Cached:           334656 kB
SwapCached:            0 kB
Active:           128384 kB
Inactive:         568996 kB
Active(anon):       1504 kB
Inactive(anon):   342684 kB
Active(file):     126880 kB
Inactive(file):   226312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             57556 kB
Writeback:           188 kB
AnonPages:        322980 kB
Mapped:            95396 kB
Shmem:             21336 kB
KReclaimable:      42924 kB
Slab:             116652 kB
SReclaimable:      42924 kB
SUnreclaim:        73728 kB
KernelStack:        4160 kB
PageTables:         9676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     700836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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:      178900 kB
DirectMap2M:    10080256 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC026 at 2024-07-30 14:59:59